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/201108300820/gj-user-solver-1.0/4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf.dudf-real.result +sum(installedsize) 

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.14 1.08 1.02 5/34 10192
/proc/meminfo: memFree=906548/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) R 10190 10191 2160 34817 2160 4202496 354 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 267 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/10191/statm: 642 267 228 194 0 29 0
[pid=10192] ppid=10191 vsize=2568 CPUtime=0
/proc/10192/stat : 10192 (gj-user-solver-) R 10191 10191 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 39 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/10192/statm: 642 39 0 194 0 29 0

[startup+0.115498 s]
/proc/loadavg: 1.14 1.08 1.02 5/34 10192
/proc/meminfo: memFree=906548/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=409924 CPUtime=0.11
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 3845 0 1 0 10 1 0 0 25 0 9 0 55088860 419762176 3277 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102481 3277 1910 10 0 96629 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 412492

[startup+0.205501 s]
/proc/loadavg: 1.14 1.08 1.02 5/34 10192
/proc/meminfo: memFree=906548/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=409924 CPUtime=0.2
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 4047 0 1 0 19 1 0 0 25 0 9 0 55088860 419762176 3479 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102481 3479 1910 10 0 96629 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412492

[startup+0.305479 s]
/proc/loadavg: 1.14 1.08 1.02 5/34 10192
/proc/meminfo: memFree=906548/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411100 CPUtime=0.29
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 4354 0 2 0 28 1 0 0 25 0 9 0 55088860 420966400 3786 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102775 3786 1936 10 0 96923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 413668

[startup+0.710886 s]
/proc/loadavg: 1.14 1.08 1.02 5/34 10192
/proc/meminfo: memFree=906548/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411648 CPUtime=0.69
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 11919 0 2 0 67 2 0 0 25 0 9 0 55088860 421527552 11166 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102912 11166 2900 10 0 97060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 414216

[startup+1.51107 s]
/proc/loadavg: 1.13 1.07 1.02 3/43 10201
/proc/meminfo: memFree=847260/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411780 CPUtime=1.49
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 26130 0 2 0 143 6 0 0 25 0 9 0 55088860 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102945 25377 2900 10 0 97093 0
[pid=10192/tid=10194] ppid=10191 vsize=411780 CPUtime=0.81
/proc/10192/task/10194/stat : 10194 (java) R 10191 10191 2160 34817 2160 4202560 6746 0 2 0 79 2 0 0 25 0 9 0 55088861 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10195] ppid=10191 vsize=411780 CPUtime=0.63
/proc/10192/task/10195/stat : 10195 (java) R 10191 10191 2160 34817 2160 4202560 18000 0 0 0 61 2 0 0 18 0 9 0 55088862 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4151367608 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10196] ppid=10191 vsize=411780 CPUtime=0
/proc/10192/task/10196/stat : 10196 (java) S 10191 10191 2160 34817 2160 4202560 15 0 0 0 0 0 0 0 20 0 9 0 55088862 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10197] ppid=10191 vsize=411780 CPUtime=0
/proc/10192/task/10197/stat : 10197 (java) S 10191 10191 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 20 0 9 0 55088862 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10198] ppid=10191 vsize=411780 CPUtime=0
/proc/10192/task/10198/stat : 10198 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10199] ppid=10191 vsize=411780 CPUtime=0.03
/proc/10192/task/10199/stat : 10199 (java) S 10191 10191 2160 34817 2160 4202560 444 0 0 0 3 0 0 0 17 0 9 0 55088863 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10200] ppid=10191 vsize=411780 CPUtime=0
/proc/10192/task/10200/stat : 10200 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10201] ppid=10191 vsize=411780 CPUtime=0
/proc/10192/task/10201/stat : 10201 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55088863 421662720 25377 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 414348

[startup+3.13147 s]
/proc/loadavg: 1.13 1.07 1.02 2/43 10201
/proc/meminfo: memFree=773604/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411912 CPUtime=3.12
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 48689 0 2 0 298 14 0 0 25 0 9 0 55088860 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102978 47936 2900 10 0 97126 0
[pid=10192/tid=10194] ppid=10191 vsize=411912 CPUtime=1.46
/proc/10192/task/10194/stat : 10194 (java) R 10191 10191 2160 34817 2160 4202560 14107 0 2 0 139 7 0 0 25 0 9 0 55088861 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10195] ppid=10191 vsize=411912 CPUtime=1.61
/proc/10192/task/10195/stat : 10195 (java) R 10191 10191 2160 34817 2160 4202560 33195 0 0 0 155 6 0 0 15 0 9 0 55088862 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4153475066 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10196] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10196/stat : 10196 (java) S 10191 10191 2160 34817 2160 4202560 15 0 0 0 0 0 0 0 20 0 9 0 55088862 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10197] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10197/stat : 10197 (java) S 10191 10191 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 20 0 9 0 55088862 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10198] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10198/stat : 10198 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10199] ppid=10191 vsize=411912 CPUtime=0.03
/proc/10192/task/10199/stat : 10199 (java) S 10191 10191 2160 34817 2160 4202560 447 0 0 0 3 0 0 0 15 0 9 0 55088863 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10200] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10200/stat : 10200 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10201] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10201/stat : 10201 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55088863 421797888 47936 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 414480

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

[startup+3.2315 s]
/proc/loadavg: 1.13 1.07 1.02 2/43 10201
/proc/meminfo: memFree=773604/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411912 CPUtime=3.22
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 51942 0 2 0 308 14 0 0 25 0 9 0 55088860 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102978 51189 2900 10 0 97126 0
[pid=10192/tid=10194] ppid=10191 vsize=411912 CPUtime=1.46
/proc/10192/task/10194/stat : 10194 (java) R 10191 10191 2160 34817 2160 4202560 14107 0 2 0 139 7 0 0 25 0 9 0 55088861 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10195] ppid=10191 vsize=411912 CPUtime=1.71
/proc/10192/task/10195/stat : 10195 (java) R 10191 10191 2160 34817 2160 4202560 36448 0 0 0 165 6 0 0 15 0 9 0 55088862 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4151367597 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10196] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10196/stat : 10196 (java) S 10191 10191 2160 34817 2160 4202560 15 0 0 0 0 0 0 0 20 0 9 0 55088862 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10197] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10197/stat : 10197 (java) S 10191 10191 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 20 0 9 0 55088862 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10198] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10198/stat : 10198 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10199] ppid=10191 vsize=411912 CPUtime=0.03
/proc/10192/task/10199/stat : 10199 (java) S 10191 10191 2160 34817 2160 4202560 447 0 0 0 3 0 0 0 15 0 9 0 55088863 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10200] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10200/stat : 10200 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10201] ppid=10191 vsize=411912 CPUtime=0
/proc/10192/task/10201/stat : 10201 (java) R 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55088863 421797888 51189 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 414480

[startup+4.00583 s]
/proc/loadavg: 1.13 1.07 1.02 4/43 10201
/proc/meminfo: memFree=693128/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411924 CPUtime=3.98
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 64868 0 3 0 382 16 0 0 25 0 9 0 55088860 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102981 64032 2921 10 0 97126 0
[pid=10192/tid=10194] ppid=10191 vsize=411924 CPUtime=1.9
/proc/10192/task/10194/stat : 10194 (java) R 10191 10191 2160 34817 2160 4202560 14359 0 3 0 182 8 0 0 25 0 9 0 55088861 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4115585500 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10195] ppid=10191 vsize=411924 CPUtime=1.97
/proc/10192/task/10195/stat : 10195 (java) S 10191 10191 2160 34817 2160 4202560 49088 0 0 0 190 7 0 0 16 0 9 0 55088862 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10196] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10196/stat : 10196 (java) S 10191 10191 2160 34817 2160 4202560 15 0 0 0 0 0 0 0 20 0 9 0 55088862 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10197] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10197/stat : 10197 (java) S 10191 10191 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 20 0 9 0 55088862 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10198] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10198/stat : 10198 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10199] ppid=10191 vsize=411924 CPUtime=0.08
/proc/10192/task/10199/stat : 10199 (java) S 10191 10191 2160 34817 2160 4202560 481 0 0 0 8 0 0 0 15 0 9 0 55088863 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10200] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10200/stat : 10200 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10201] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10201/stat : 10201 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55088863 421810176 64032 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 414492

[startup+4.4059 s]
/proc/loadavg: 1.13 1.07 1.02 3/43 10201
/proc/meminfo: memFree=661136/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411924 CPUtime=4.38
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 64896 0 3 0 422 16 0 0 25 0 9 0 55088860 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102981 64052 2917 10 0 97126 0
[pid=10192/tid=10194] ppid=10191 vsize=411924 CPUtime=1.94
/proc/10192/task/10194/stat : 10194 (java) R 10191 10191 2160 34817 2160 4202560 14359 0 3 0 186 8 0 0 25 0 9 0 55088861 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10195] ppid=10191 vsize=411924 CPUtime=2.33
/proc/10192/task/10195/stat : 10195 (java) R 10191 10191 2160 34817 2160 4202560 49116 0 0 0 226 7 0 0 16 0 9 0 55088862 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4153476628 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10196] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10196/stat : 10196 (java) S 10191 10191 2160 34817 2160 4202560 15 0 0 0 0 0 0 0 20 0 9 0 55088862 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10197] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10197/stat : 10197 (java) S 10191 10191 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 20 0 9 0 55088862 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10198] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10198/stat : 10198 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10199] ppid=10191 vsize=411924 CPUtime=0.08
/proc/10192/task/10199/stat : 10199 (java) S 10191 10191 2160 34817 2160 4202560 481 0 0 0 8 0 0 0 15 0 9 0 55088863 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10200] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10200/stat : 10200 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10201] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10201/stat : 10201 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55088863 421810176 64052 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 414492

[startup+4.80603 s]
/proc/loadavg: 1.13 1.07 1.02 3/43 10201
/proc/meminfo: memFree=661136/1048576 swapFree=0/0
[pid=10191] ppid=10190 vsize=2568 CPUtime=0
/proc/10191/stat : 10191 (gj-user-solver-) S 10190 10191 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 25 0 1 0 55088860 2629632 268 1283457024 134512640 135304128 4291575440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10191/statm: 642 268 229 194 0 29 0
[pid=10192] ppid=10191 vsize=411924 CPUtime=4.78
/proc/10192/stat : 10192 (java) S 10191 10191 2160 34817 2160 4202496 68589 0 3 0 462 16 0 0 25 0 9 0 55088860 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10192/statm: 102981 67745 2917 10 0 97126 0
[pid=10192/tid=10194] ppid=10191 vsize=411924 CPUtime=2.09
/proc/10192/task/10194/stat : 10194 (java) R 10191 10191 2160 34817 2160 4202560 14366 0 3 0 201 8 0 0 25 0 9 0 55088861 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4115893115 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10192/tid=10195] ppid=10191 vsize=411924 CPUtime=2.57
/proc/10192/task/10195/stat : 10195 (java) S 10191 10191 2160 34817 2160 4202560 52790 0 0 0 250 7 0 0 16 0 9 0 55088862 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 0 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10196] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10196/stat : 10196 (java) S 10191 10191 2160 34817 2160 4202560 15 0 0 0 0 0 0 0 18 0 9 0 55088862 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10197] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10197/stat : 10197 (java) S 10191 10191 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 55088862 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10198] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10198/stat : 10198 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10199] ppid=10191 vsize=411924 CPUtime=0.09
/proc/10192/task/10199/stat : 10199 (java) S 10191 10191 2160 34817 2160 4202560 493 0 0 0 9 0 0 0 15 0 9 0 55088863 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10200] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10200/stat : 10200 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 25 0 9 0 55088863 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
[pid=10192/tid=10201] ppid=10191 vsize=411924 CPUtime=0
/proc/10192/task/10201/stat : 10201 (java) S 10191 10191 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 55088863 421810176 67745 1283457024 134512640 134550932 4291175824 18446744073709551615 4294960130 0 4 0 16800975 18446612132371209152 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 414492

Child status: 0
Real time (s): 4.89896
CPU time (s): 4.8323
CPU user time (s): 4.66029
CPU system time (s): 0.17201
CPU usage (%): 98.6394
Max. virtual memory (cumulated for all children) (KiB): 414492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.66029
system time used= 0.17201
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68992
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 557
involuntary context switches= 559

runsolver used 0 second user time and 0 second system time

The end