runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand14ba69.cudf.difficult.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/difficult//rand14ba69.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand14ba69.cudf.difficult.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.48 1.15 1.07 5/46 7858
/proc/meminfo: memFree=641580/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2572 CPUtime=0
/proc/7858/stat : 7858 (p2cudf) R 7857 7857 2059 34821 2220 4202496 350 0 0 0 0 0 0 0 25 0 1 0 874951911 2633728 275 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/7858/statm: 643 275 234 194 0 29 0
[pid=7859] ppid=7858 vsize=2572 CPUtime=0
/proc/7859/stat : 7859 (p2cudf) R 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 874951911 2633728 41 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/7859/statm: 643 41 0 194 0 29 0

[startup+0.147536 s]
/proc/loadavg: 1.48 1.15 1.07 5/46 7858
/proc/meminfo: memFree=641580/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+0.207542 s]
/proc/loadavg: 1.48 1.15 1.07 5/46 7858
/proc/meminfo: memFree=641580/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+0.307555 s]
/proc/loadavg: 1.48 1.15 1.07 5/46 7858
/proc/meminfo: memFree=641580/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+0.707625 s]
/proc/loadavg: 1.48 1.15 1.07 5/46 7858
/proc/meminfo: memFree=641580/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5152

[startup+1.50757 s]
/proc/loadavg: 1.48 1.15 1.07 5/57 7880
/proc/meminfo: memFree=602116/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=868728 CPUtime=1.42
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 21601 0 1 0 138 4 0 0 25 0 10 0 874951916 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217182 19661 1741 10 0 214272 0
[pid=7871/tid=7872] ppid=7858 vsize=868728 CPUtime=0.68
/proc/7871/task/7872/stat : 7872 (java) R 7858 7857 2059 34821 2220 4202560 15128 0 1 0 66 2 0 0 25 0 10 0 874951916 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4095254971 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=868728 CPUtime=0
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874951918 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=868728 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 874951918 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=868728 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 874951918 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=868728 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874951921 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=868728 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 10 0 874951921 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=868728 CPUtime=0.39
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 2503 0 0 0 38 1 0 0 25 0 10 0 874951921 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=868728 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874951921 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=868728 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874951921 889577472 19661 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 873880

[startup+3.10958 s]
/proc/loadavg: 1.48 1.15 1.07 2/57 7880
/proc/meminfo: memFree=447608/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=871768 CPUtime=2.88
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 58076 0 1 0 276 12 0 0 25 0 10 0 874951916 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217942 54930 1762 10 0 215032 0
[pid=7871/tid=7872] ppid=7858 vsize=871768 CPUtime=1.49
/proc/7871/task/7872/stat : 7872 (java) R 7858 7857 2059 34821 2220 4202560 49717 0 1 0 140 9 0 0 25 0 10 0 874951916 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=871768 CPUtime=0
/proc/7871/task/7873/stat : 7873 (java) R 7858 7857 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874951918 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=871768 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 874951918 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=871768 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 874951918 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=871768 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874951921 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=871768 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 10 0 874951921 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=871768 CPUtime=1.04
/proc/7871/task/7878/stat : 7878 (java) R 7858 7857 2059 34821 2220 4202560 4389 0 0 0 102 2 0 0 16 0 10 0 874951921 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4158708664 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=871768 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874951921 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=871768 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) R 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874951921 892690432 54930 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 876920

[startup+6.31039 s]
/proc/loadavg: 1.44 1.14 1.07 4/60 7893
/proc/meminfo: memFree=357008/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=872800 CPUtime=6.09
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 79613 0 1 0 588 21 0 0 25 0 11 0 874951916 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 218200 76464 1793 10 0 215290 0
[pid=7871/tid=7872] ppid=7858 vsize=872800 CPUtime=3.1
/proc/7871/task/7872/stat : 7872 (java) R 7858 7857 2059 34821 2220 4202560 50457 0 1 0 300 10 0 0 25 0 11 0 874951916 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4095910987 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=872800 CPUtime=0.64
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 20612 0 0 0 59 5 0 0 16 0 11 0 874951918 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=872800 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 18 0 11 0 874951918 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=872800 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 874951918 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=872800 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874951921 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=872800 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 11 0 874951921 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=872800 CPUtime=1.98
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 4557 0 0 0 194 4 0 0 15 0 11 0 874951921 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=872800 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874951921 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=872800 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874951921 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7893] ppid=7858 vsize=872800 CPUtime=0
/proc/7871/task/7893/stat : 7893 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874952429 893747200 76464 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 877952

[startup+12.7119 s]
/proc/loadavg: 1.65 1.19 1.09 3/58 7897
/proc/meminfo: memFree=327264/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=871540 CPUtime=12.49
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 79981 0 1 0 1228 21 0 0 25 0 11 0 874951916 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217885 76527 1793 10 0 214975 0
[pid=7871/tid=7872] ppid=7858 vsize=871540 CPUtime=8.68
/proc/7871/task/7872/stat : 7872 (java) R 7858 7857 2059 34821 2220 4202560 50457 0 1 0 858 10 0 0 25 0 11 0 874951916 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4095910648 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=871540 CPUtime=1.35
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 20975 0 0 0 130 5 0 0 16 0 11 0 874951918 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=871540 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 11 0 874951921 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=871540 CPUtime=2.09
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 4562 0 0 0 205 4 0 0 15 0 11 0 874951921 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874951921 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7897] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7897/stat : 7897 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874953090 892456960 76527 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 876692

Solver just ended. Dumping a history of the last processes samples

[startup+14.3123 s]
/proc/loadavg: 1.60 1.19 1.09 3/58 7898
/proc/meminfo: memFree=328008/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=871540 CPUtime=14.09
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 80048 0 1 0 1388 21 0 0 25 0 11 0 874951916 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217885 76594 1793 10 0 214975 0
[pid=7871/tid=7872] ppid=7858 vsize=871540 CPUtime=10.05
/proc/7871/task/7872/stat : 7872 (java) R 7858 7857 2059 34821 2220 4202560 50457 0 1 0 995 10 0 0 25 0 11 0 874951916 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4095855136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=871540 CPUtime=1.58
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 21042 0 0 0 153 5 0 0 16 0 11 0 874951918 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=871540 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=871540 CPUtime=2.09
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 4562 0 0 0 205 4 0 0 15 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7898] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7898/stat : 7898 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874953329 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.11
Current children cumulated vsize (KiB) 876692

[startup+15.1125 s]
/proc/loadavg: 1.60 1.19 1.09 3/58 7898
/proc/meminfo: memFree=328008/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=871540 CPUtime=14.89
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 80048 0 1 0 1468 21 0 0 25 0 11 0 874951916 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217885 76594 1793 10 0 214975 0
[pid=7871/tid=7872] ppid=7858 vsize=871540 CPUtime=10.85
/proc/7871/task/7872/stat : 7872 (java) R 7858 7857 2059 34821 2220 4202560 50457 0 1 0 1075 10 0 0 25 0 11 0 874951916 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4095855224 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=871540 CPUtime=1.58
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 21042 0 0 0 153 5 0 0 16 0 11 0 874951918 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=871540 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=871540 CPUtime=2.09
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 4562 0 0 0 205 4 0 0 15 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) R 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874951921 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7871/tid=7898] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7898/stat : 7898 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874953329 892456960 76594 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.91
Current children cumulated vsize (KiB) 876692

[startup+15.9045 s]
/proc/loadavg: 1.60 1.19 1.09 2/58 7898
/proc/meminfo: memFree=328008/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=871540 CPUtime=15.37
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 80055 0 1 0 1516 21 0 0 25 0 11 0 874951916 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217885 76601 1793 10 0 214975 0
[pid=7871/tid=7872] ppid=7858 vsize=871540 CPUtime=11.3
/proc/7871/task/7872/stat : 7872 (java) S 7858 7857 2059 34821 2220 4202560 50462 0 1 0 1120 10 0 0 25 0 11 0 874951916 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=871540 CPUtime=1.58
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 21042 0 0 0 153 5 0 0 16 0 11 0 874951918 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=871540 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=871540 CPUtime=2.12
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 4564 0 0 0 208 4 0 0 15 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 876692

[startup+16.1045 s]
/proc/loadavg: 1.60 1.19 1.09 2/58 7898
/proc/meminfo: memFree=328008/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=871540 CPUtime=15.37
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 80055 0 1 0 1516 21 0 0 25 0 11 0 874951916 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217885 76601 1793 10 0 214975 0
[pid=7871/tid=7872] ppid=7858 vsize=871540 CPUtime=11.3
/proc/7871/task/7872/stat : 7872 (java) S 7858 7857 2059 34821 2220 4202560 50462 0 1 0 1120 10 0 0 25 0 11 0 874951916 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=871540 CPUtime=1.58
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 21042 0 0 0 153 5 0 0 16 0 11 0 874951918 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 11 0 874951918 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=871540 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=871540 CPUtime=2.12
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 4564 0 0 0 208 4 0 0 15 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874951921 892456960 76601 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 876692

[startup+16.2045 s]
/proc/loadavg: 1.60 1.19 1.09 2/58 7898
/proc/meminfo: memFree=328008/1048576 swapFree=2078760/2097144
[pid=7857] ppid=7856 vsize=2576 CPUtime=0
/proc/7857/stat : 7857 (p2cudf-paranoid) S 7856 7857 2059 34821 2220 4202496 379 0 0 0 0 0 0 0 25 0 1 0 874951911 2637824 274 1283457024 134512640 135304128 4290323888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7857/statm: 644 274 233 194 0 30 0
[pid=7858] ppid=7857 vsize=2576 CPUtime=0.02
/proc/7858/stat : 7858 (p2cudf) S 7857 7857 2059 34821 2220 4202496 395 2862 0 1 0 0 2 0 25 0 1 0 874951911 2637824 283 1283457024 134512640 135304128 4289643808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7858/statm: 644 283 241 194 0 30 0
[pid=7871] ppid=7858 vsize=871540 CPUtime=15.43
/proc/7871/stat : 7871 (java) S 7858 7857 2059 34821 2220 4202496 80057 0 1 0 1518 25 0 0 25 0 10 0 874951916 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7871/statm: 217885 76603 1793 10 0 214975 0
[pid=7871/tid=7872] ppid=7858 vsize=871540 CPUtime=11.3
/proc/7871/task/7872/stat : 7872 (java) S 7858 7857 2059 34821 2220 4202560 50462 0 1 0 1120 10 0 0 20 0 10 0 874951916 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7873] ppid=7858 vsize=871540 CPUtime=1.58
/proc/7871/task/7873/stat : 7873 (java) S 7858 7857 2059 34821 2220 4202560 21042 0 0 0 153 5 0 0 16 0 10 0 874951918 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7874] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7874/stat : 7874 (java) S 7858 7857 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 15 0 10 0 874951918 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7875] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7875/stat : 7875 (java) S 7858 7857 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 15 0 10 0 874951918 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7876] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7876/stat : 7876 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874951921 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7877] ppid=7858 vsize=871540 CPUtime=0.34
/proc/7871/task/7877/stat : 7877 (java) S 7858 7857 2059 34821 2220 4202560 2857 0 0 0 34 0 0 0 23 0 10 0 874951921 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7878] ppid=7858 vsize=871540 CPUtime=2.12
/proc/7871/task/7878/stat : 7878 (java) S 7858 7857 2059 34821 2220 4202560 4564 0 0 0 208 4 0 0 15 0 10 0 874951921 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7879] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7879/stat : 7879 (java) S 7858 7857 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874951921 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=7871/tid=7880] ppid=7858 vsize=871540 CPUtime=0
/proc/7871/task/7880/stat : 7880 (java) S 7858 7857 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874951921 892456960 76603 1283457024 134512640 134550932 4288273008 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.45
Current children cumulated vsize (KiB) 876692

Child status: 0
Real time (s): 16.2338
CPU time (s): 15.485
CPU user time (s): 15.205
CPU system time (s): 0.280017
CPU usage (%): 95.387
Max. virtual memory (cumulated for all children) (KiB): 877952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.205
system time used= 0.280017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83716
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1372
involuntary context switches= 1401

runsolver used 0 second user time and 0.008 second system time

The end