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/201108241238/p2cudf-trendy-1.13/rand105.cudf.user-upgrades.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/user-upgrades/rand105.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand105.cudf.user-upgrades.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.08 1.02 0.96 5/36 3316
/proc/meminfo: memFree=684916/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2568 CPUtime=0
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 354 0 0 0 0 0 0 0 18 0 1 0 954707 2629632 272 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/3314/statm: 642 272 231 194 0 29 0
[pid=3315] ppid=3314 vsize=2568 CPUtime=0
/proc/3315/stat : 3315 (p2cudf) R 3314 3313 1511 34817 1511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 954707 2629632 119 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/3315/statm: 642 119 77 194 0 29 0
[pid=3316] ppid=3315 vsize=2568 CPUtime=0
/proc/3316/stat : 3316 (p2cudf) R 3315 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 954707 2629632 42 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/3316/statm: 642 42 0 194 0 29 0

[startup+0.105872 s]
/proc/loadavg: 1.08 1.02 0.96 5/36 3316
/proc/meminfo: memFree=684916/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.205882 s]
/proc/loadavg: 1.08 1.02 0.96 5/36 3316
/proc/meminfo: memFree=684916/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.305891 s]
/proc/loadavg: 1.08 1.02 0.96 5/36 3316
/proc/meminfo: memFree=684916/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+0.706007 s]
/proc/loadavg: 1.08 1.02 0.96 5/36 3316
/proc/meminfo: memFree=684916/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5136

[startup+1.50625 s]
/proc/loadavg: 1.08 1.02 0.96 4/45 3336
/proc/meminfo: memFree=645348/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=880628 CPUtime=1.46
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 21615 0 1 0 139 7 0 0 25 0 10 0 954710 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 220157 18623 1724 10 0 217248 0
[pid=3327/tid=3328] ppid=3314 vsize=880628 CPUtime=0.79
/proc/3327/task/3328/stat : 3328 (java) R 3314 3313 1511 34817 1511 4202560 11486 0 1 0 74 5 0 0 25 0 10 0 954711 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4094913996 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=880628 CPUtime=0
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 954712 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=880628 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 954713 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=880628 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 954713 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=880628 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 954715 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=880628 CPUtime=0.53
/proc/3327/task/3333/stat : 3333 (java) R 3314 3313 1511 34817 1511 4202560 8174 0 0 0 51 2 0 0 21 0 10 0 954715 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4151195249 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=880628 CPUtime=0.12
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 12 0 0 0 24 0 10 0 954715 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=880628 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 954715 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=880628 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 954715 901763072 18623 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 885764

[startup+3.11281 s]
/proc/loadavg: 1.08 1.02 0.96 3/45 3336
/proc/meminfo: memFree=530896/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=879772 CPUtime=3.05
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 71113 0 1 0 277 28 0 0 25 0 10 0 954710 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 219943 67757 1740 10 0 217034 0
[pid=3327/tid=3328] ppid=3314 vsize=879772 CPUtime=1.89
/proc/3327/task/3328/stat : 3328 (java) R 3314 3313 1511 34817 1511 4202560 50057 0 1 0 166 23 0 0 25 0 10 0 954711 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=879772 CPUtime=0.21
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 10470 0 0 0 18 3 0 0 16 0 10 0 954712 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=879772 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 954713 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=879772 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 954713 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=879772 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 954715 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=879772 CPUtime=0.78
/proc/3327/task/3333/stat : 3333 (java) S 3314 3313 1511 34817 1511 4202560 8635 0 0 0 76 2 0 0 15 0 10 0 954715 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=879772 CPUtime=0.14
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 14 0 0 0 21 0 10 0 954715 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=879772 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 954715 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=879772 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 954715 900886528 67757 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 884908

[startup+6.30752 s]
/proc/loadavg: 1.15 1.04 0.97 2/46 3337
/proc/meminfo: memFree=358916/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=880096 CPUtime=6.25
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 87008 0 1 0 587 38 0 0 25 0 11 0 954710 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 220024 83098 1778 10 0 217115 0
[pid=3327/tid=3328] ppid=3314 vsize=880096 CPUtime=3.21
/proc/3327/task/3328/stat : 3328 (java) R 3314 3313 1511 34817 1511 4202560 50291 0 1 0 296 25 0 0 25 0 11 0 954711 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4095566796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=880096 CPUtime=0.57
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 25327 0 0 0 47 10 0 0 16 0 11 0 954712 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 954713 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 954713 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=880096 CPUtime=2.3
/proc/3327/task/3333/stat : 3333 (java) S 3314 3313 1511 34817 1511 4202560 9434 0 0 0 227 3 0 0 16 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=880096 CPUtime=0.14
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 14 0 0 0 21 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3337] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3337/stat : 3337 (java) S 3314 3313 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 955233 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 885232

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

[startup+6.40755 s]
/proc/loadavg: 1.15 1.04 0.97 2/46 3337
/proc/meminfo: memFree=358916/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=880096 CPUtime=6.35
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 87008 0 1 0 597 38 0 0 25 0 11 0 954710 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 220024 83098 1778 10 0 217115 0
[pid=3327/tid=3328] ppid=3314 vsize=880096 CPUtime=3.31
/proc/3327/task/3328/stat : 3328 (java) R 3314 3313 1511 34817 1511 4202560 50291 0 1 0 306 25 0 0 25 0 11 0 954711 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4095603032 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=880096 CPUtime=0.57
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 25327 0 0 0 47 10 0 0 16 0 11 0 954712 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 954713 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 954713 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=880096 CPUtime=2.3
/proc/3327/task/3333/stat : 3333 (java) S 3314 3313 1511 34817 1511 4202560 9434 0 0 0 227 3 0 0 16 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=880096 CPUtime=0.14
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 14 0 0 0 21 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 954715 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3337] ppid=3314 vsize=880096 CPUtime=0
/proc/3327/task/3337/stat : 3337 (java) S 3314 3313 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 955233 901218304 83098 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 885232

[startup+9.60814 s]
/proc/loadavg: 1.14 1.04 0.97 2/46 3337
/proc/meminfo: memFree=358792/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=879236 CPUtime=9.54
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 87049 0 1 0 916 38 0 0 25 0 11 0 954710 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 219809 82956 1783 10 0 216900 0
[pid=3327/tid=3328] ppid=3314 vsize=879236 CPUtime=6.21
/proc/3327/task/3328/stat : 3328 (java) R 3314 3313 1511 34817 1511 4202560 50293 0 1 0 596 25 0 0 25 0 11 0 954711 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4095599342 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=879236 CPUtime=0.57
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 25327 0 0 0 47 10 0 0 15 0 11 0 954712 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 954713 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 954713 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=879236 CPUtime=2.59
/proc/3327/task/3333/stat : 3333 (java) S 3314 3313 1511 34817 1511 4202560 9473 0 0 0 256 3 0 0 15 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=879236 CPUtime=0.14
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 14 0 0 0 21 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3337] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3337/stat : 3337 (java) S 3314 3313 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 955233 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.57
Current children cumulated vsize (KiB) 884372

[startup+10.4083 s]
/proc/loadavg: 1.14 1.04 0.97 2/46 3337
/proc/meminfo: memFree=358792/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=879236 CPUtime=10.34
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 87049 0 1 0 996 38 0 0 25 0 11 0 954710 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 219809 82956 1783 10 0 216900 0
[pid=3327/tid=3328] ppid=3314 vsize=879236 CPUtime=7.01
/proc/3327/task/3328/stat : 3328 (java) R 3314 3313 1511 34817 1511 4202560 50293 0 1 0 676 25 0 0 25 0 11 0 954711 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4094791516 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=879236 CPUtime=0.57
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 25327 0 0 0 47 10 0 0 15 0 11 0 954712 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 954713 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 954713 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=879236 CPUtime=2.59
/proc/3327/task/3333/stat : 3333 (java) S 3314 3313 1511 34817 1511 4202560 9473 0 0 0 256 3 0 0 15 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=879236 CPUtime=0.14
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 14 0 0 0 21 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 954715 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3337] ppid=3314 vsize=879236 CPUtime=0
/proc/3327/task/3337/stat : 3337 (java) S 3314 3313 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 955233 900337664 82956 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.37
Current children cumulated vsize (KiB) 884372

[startup+11.2066 s]
/proc/loadavg: 1.14 1.04 0.97 2/46 3337
/proc/meminfo: memFree=358792/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=879560 CPUtime=10.97
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 87067 0 1 0 1059 38 0 0 25 0 11 0 954710 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 219890 82974 1784 10 0 216981 0
[pid=3327/tid=3328] ppid=3314 vsize=879560 CPUtime=7.59
/proc/3327/task/3328/stat : 3328 (java) S 3314 3313 1511 34817 1511 4202560 50301 0 1 0 734 25 0 0 25 0 11 0 954711 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=879560 CPUtime=0.57
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 25327 0 0 0 47 10 0 0 16 0 11 0 954712 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 954713 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 954713 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 954715 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=879560 CPUtime=2.65
/proc/3327/task/3333/stat : 3333 (java) S 3314 3313 1511 34817 1511 4202560 9478 0 0 0 262 3 0 0 15 0 11 0 954715 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=879560 CPUtime=0.14
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 14 0 0 0 21 0 11 0 954715 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 954715 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 954715 900669440 82974 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 884696

[startup+11.6124 s]
/proc/loadavg: 1.14 1.04 0.97 2/46 3337
/proc/meminfo: memFree=358792/1048576 swapFree=0/0
[pid=3313] ppid=3312 vsize=2564 CPUtime=0
/proc/3313/stat : 3313 (p2cudf-trendy-1) S 3312 3313 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 954707 2625536 270 1283457024 134512640 135304128 4294920720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3313/statm: 641 270 230 194 0 28 0
[pid=3314] ppid=3313 vsize=2572 CPUtime=0.03
/proc/3314/stat : 3314 (p2cudf) S 3313 3313 1511 34817 1511 4202496 392 3014 0 1 0 0 3 0 25 0 1 0 954707 2633728 281 1283457024 134512640 135304128 4291249808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3314/statm: 643 281 239 194 0 30 0
[pid=3327] ppid=3314 vsize=879560 CPUtime=11.02
/proc/3327/stat : 3327 (java) S 3314 3313 1511 34817 1511 4202496 87068 0 1 0 1061 41 0 0 25 0 10 0 954710 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3327/statm: 219890 82975 1784 10 0 216981 0
[pid=3327/tid=3328] ppid=3314 vsize=879560 CPUtime=7.59
/proc/3327/task/3328/stat : 3328 (java) S 3314 3313 1511 34817 1511 4202560 50301 0 1 0 734 25 0 0 20 0 10 0 954711 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3329] ppid=3314 vsize=879560 CPUtime=0.57
/proc/3327/task/3329/stat : 3329 (java) S 3314 3313 1511 34817 1511 4202560 25327 0 0 0 47 10 0 0 16 0 10 0 954712 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3330] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3330/stat : 3330 (java) S 3314 3313 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 954713 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3331] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3331/stat : 3331 (java) S 3314 3313 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 954713 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3332] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3332/stat : 3332 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 954715 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3333] ppid=3314 vsize=879560 CPUtime=2.65
/proc/3327/task/3333/stat : 3333 (java) S 3314 3313 1511 34817 1511 4202560 9478 0 0 0 262 3 0 0 16 0 10 0 954715 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3334] ppid=3314 vsize=879560 CPUtime=0.14
/proc/3327/task/3334/stat : 3334 (java) S 3314 3313 1511 34817 1511 4202560 878 0 0 0 14 0 0 0 21 0 10 0 954715 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3335] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3335/stat : 3335 (java) S 3314 3313 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 954715 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=3327/tid=3336] ppid=3314 vsize=879560 CPUtime=0
/proc/3327/task/3336/stat : 3336 (java) S 3314 3313 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 954715 900669440 82975 1283457024 134512640 134550932 4290964704 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 884696

Child status: 0
Real time (s): 11.6567
CPU time (s): 11.0727
CPU user time (s): 10.6447
CPU system time (s): 0.428026
CPU usage (%): 94.9902
Max. virtual memory (cumulated for all children) (KiB): 886412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.6447
system time used= 0.428026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90874
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= 1003
involuntary context switches= 1032

runsolver used 0.004 second user time and 0 second system time

The end