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/201108251442/gj-paranoid-solver-1.0/rand315.cudf.s-e.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e/rand315.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand315.cudf.s-e.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.27 1.10 1.05 4/34 10148
/proc/meminfo: memFree=362828/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=11040 CPUtime=0
/proc/10148/stat : 10148 (java) R 10147 10147 4778 34817 4778 4202496 746 0 0 0 0 0 0 0 25 0 1 0 10433965 11304960 483 1283457024 134512640 134550932 4287437360 18446744073709551615 4159846100 0 0 0 0 0 0 0 17 0 0 0 0
/proc/10148/statm: 2760 483 186 10 0 1102 0

[startup+0.165711 s]
/proc/loadavg: 1.27 1.10 1.05 4/34 10148
/proc/meminfo: memFree=362828/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=409928 CPUtime=0.16
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 3965 0 1 0 15 1 0 0 25 0 9 0 10433965 419766272 3397 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102482 3397 1909 10 0 96630 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412496

[startup+0.205708 s]
/proc/loadavg: 1.27 1.10 1.05 4/34 10148
/proc/meminfo: memFree=362828/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=409928 CPUtime=0.2
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 4058 0 1 0 19 1 0 0 25 0 9 0 10433965 419766272 3490 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102482 3490 1909 10 0 96630 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412496

[startup+0.305743 s]
/proc/loadavg: 1.27 1.10 1.05 4/34 10148
/proc/meminfo: memFree=362828/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=410344 CPUtime=0.3
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 4400 0 1 0 29 1 0 0 25 0 9 0 10433965 420192256 3832 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102586 3832 1926 10 0 96734 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412912

[startup+0.705892 s]
/proc/loadavg: 1.27 1.10 1.05 4/34 10148
/proc/meminfo: memFree=362828/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=410648 CPUtime=0.7
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 12856 0 1 0 67 3 0 0 25 0 9 0 10433965 420503552 12103 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102662 12103 2895 10 0 96810 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413216

[startup+1.50615 s]
/proc/loadavg: 1.27 1.10 1.05 3/43 10157
/proc/meminfo: memFree=304528/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=410780 CPUtime=1.5
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 26924 0 1 0 138 12 0 0 25 0 9 0 10433965 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102695 26171 2896 10 0 96843 0
[pid=10148/tid=10150] ppid=10147 vsize=410780 CPUtime=0.78
/proc/10148/task/10150/stat : 10150 (java) R 10147 10147 4778 34817 4778 4202560 6774 0 1 0 74 4 0 0 25 0 9 0 10433966 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10148/tid=10151] ppid=10147 vsize=410780 CPUtime=0.68
/proc/10148/task/10151/stat : 10151 (java) R 10147 10147 4778 34817 4778 4202560 18772 0 0 0 60 8 0 0 19 0 9 0 10433966 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4151022496 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=10148/tid=10152] ppid=10147 vsize=410780 CPUtime=0
/proc/10148/task/10152/stat : 10152 (java) S 10147 10147 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10433966 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10153] ppid=10147 vsize=410780 CPUtime=0
/proc/10148/task/10153/stat : 10153 (java) S 10147 10147 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10433966 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10154] ppid=10147 vsize=410780 CPUtime=0
/proc/10148/task/10154/stat : 10154 (java) S 10147 10147 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10433967 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10155] ppid=10147 vsize=410780 CPUtime=0.02
/proc/10148/task/10155/stat : 10155 (java) S 10147 10147 4778 34817 4778 4202560 440 0 0 0 2 0 0 0 16 0 9 0 10433968 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10156] ppid=10147 vsize=410780 CPUtime=0
/proc/10148/task/10156/stat : 10156 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 10433968 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10157] ppid=10147 vsize=410780 CPUtime=0
/proc/10148/task/10157/stat : 10157 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10433968 420638720 26171 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413348

[startup+3.10635 s]
/proc/loadavg: 1.32 1.11 1.06 2/43 10157
/proc/meminfo: memFree=239924/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=411116 CPUtime=3.1
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 37287 0 1 0 295 15 0 0 25 0 10 0 10433965 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102779 36452 2919 10 0 96924 0
[pid=10148/tid=10150] ppid=10147 vsize=411116 CPUtime=1.88
/proc/10148/task/10150/stat : 10150 (java) R 10147 10147 4778 34817 4778 4202560 9757 0 1 0 181 7 0 0 25 0 10 0 10433966 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4115297578 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10148/tid=10151] ppid=10147 vsize=411116 CPUtime=1.1
/proc/10148/task/10151/stat : 10151 (java) S 10147 10147 4778 34817 4778 4202560 26066 0 0 0 102 8 0 0 16 0 10 0 10433966 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10152] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10152/stat : 10152 (java) S 10147 10147 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10153] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10153/stat : 10153 (java) S 10147 10147 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10154] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10154/stat : 10154 (java) S 10147 10147 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10433967 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10155] ppid=10147 vsize=411116 CPUtime=0.1
/proc/10148/task/10155/stat : 10155 (java) S 10147 10147 4778 34817 4778 4202560 521 0 0 0 10 0 0 0 15 0 10 0 10433968 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10156] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10156/stat : 10156 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10433968 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10157] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10157/stat : 10157 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10433968 420982784 36452 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413684

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

[startup+3.20638 s]
/proc/loadavg: 1.32 1.11 1.06 2/43 10157
/proc/meminfo: memFree=239924/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=411116 CPUtime=3.2
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 38306 0 1 0 305 15 0 0 25 0 10 0 10433965 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102779 37471 2919 10 0 96924 0
[pid=10148/tid=10150] ppid=10147 vsize=411116 CPUtime=1.94
/proc/10148/task/10150/stat : 10150 (java) R 10147 10147 4778 34817 4778 4202560 9757 0 1 0 187 7 0 0 25 0 10 0 10433966 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4115340933 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10148/tid=10151] ppid=10147 vsize=411116 CPUtime=1.14
/proc/10148/task/10151/stat : 10151 (java) S 10147 10147 4778 34817 4778 4202560 27084 0 0 0 106 8 0 0 16 0 10 0 10433966 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10152] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10152/stat : 10152 (java) S 10147 10147 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10153] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10153/stat : 10153 (java) S 10147 10147 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10154] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10154/stat : 10154 (java) S 10147 10147 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10433967 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10155] ppid=10147 vsize=411116 CPUtime=0.1
/proc/10148/task/10155/stat : 10155 (java) S 10147 10147 4778 34817 4778 4202560 522 0 0 0 10 0 0 0 15 0 10 0 10433968 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10156] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10156/stat : 10156 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10433968 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10157] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10157/stat : 10157 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10433968 420982784 37471 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 413684

[startup+3.40638 s]
/proc/loadavg: 1.32 1.11 1.06 2/44 10158
/proc/meminfo: memFree=225160/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=411116 CPUtime=3.4
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 38307 0 1 0 325 15 0 0 25 0 10 0 10433965 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102779 37472 2919 10 0 96924 0
[pid=10148/tid=10150] ppid=10147 vsize=411116 CPUtime=2.14
/proc/10148/task/10150/stat : 10150 (java) R 10147 10147 4778 34817 4778 4202560 9757 0 1 0 207 7 0 0 25 0 10 0 10433966 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4115323977 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10148/tid=10151] ppid=10147 vsize=411116 CPUtime=1.14
/proc/10148/task/10151/stat : 10151 (java) S 10147 10147 4778 34817 4778 4202560 27084 0 0 0 106 8 0 0 16 0 10 0 10433966 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10152] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10152/stat : 10152 (java) S 10147 10147 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10153] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10153/stat : 10153 (java) S 10147 10147 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10154] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10154/stat : 10154 (java) S 10147 10147 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10433967 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10155] ppid=10147 vsize=411116 CPUtime=0.1
/proc/10148/task/10155/stat : 10155 (java) S 10147 10147 4778 34817 4778 4202560 523 0 0 0 10 0 0 0 15 0 10 0 10433968 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10156] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10156/stat : 10156 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10433968 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10157] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10157/stat : 10157 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10433968 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10158] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10158/stat : 10158 (java) S 10147 10147 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10434204 420982784 37472 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 413684

[startup+3.50642 s]
/proc/loadavg: 1.32 1.11 1.06 2/44 10158
/proc/meminfo: memFree=225160/1048576 swapFree=0/0
[pid=10147] ppid=10146 vsize=2568 CPUtime=0
/proc/10147/stat : 10147 (gj-paranoid-sol) S 10146 10147 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10433965 2629632 269 1283457024 134512640 135304128 4294736352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10147/statm: 642 269 229 194 0 29 0
[pid=10148] ppid=10147 vsize=411116 CPUtime=3.5
/proc/10148/stat : 10148 (java) S 10147 10147 4778 34817 4778 4202496 38308 0 1 0 335 15 0 0 25 0 10 0 10433965 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10148/statm: 102779 37473 2919 10 0 96924 0
[pid=10148/tid=10150] ppid=10147 vsize=411116 CPUtime=2.24
/proc/10148/task/10150/stat : 10150 (java) R 10147 10147 4778 34817 4778 4202560 9757 0 1 0 217 7 0 0 25 0 10 0 10433966 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4115226301 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10148/tid=10151] ppid=10147 vsize=411116 CPUtime=1.14
/proc/10148/task/10151/stat : 10151 (java) S 10147 10147 4778 34817 4778 4202560 27084 0 0 0 106 8 0 0 16 0 10 0 10433966 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10152] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10152/stat : 10152 (java) S 10147 10147 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10153] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10153/stat : 10153 (java) S 10147 10147 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10433966 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10154] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10154/stat : 10154 (java) S 10147 10147 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10433967 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10155] ppid=10147 vsize=411116 CPUtime=0.1
/proc/10148/task/10155/stat : 10155 (java) S 10147 10147 4778 34817 4778 4202560 524 0 0 0 10 0 0 0 15 0 10 0 10433968 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10156] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10156/stat : 10156 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10433968 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10157] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10157/stat : 10157 (java) S 10147 10147 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10433968 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=10148/tid=10158] ppid=10147 vsize=411116 CPUtime=0
/proc/10148/task/10158/stat : 10158 (java) S 10147 10147 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10434204 420982784 37473 1283457024 134512640 134550932 4287437360 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 413684

Child status: 0
Real time (s): 3.57644
CPU time (s): 3.55222
CPU user time (s): 3.39221
CPU system time (s): 0.16001
CPU usage (%): 99.3228
Max. virtual memory (cumulated for all children) (KiB): 413684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.39221
system time used= 0.16001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38698
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 673
involuntary context switches= 701

runsolver used 0 second user time and 0 second system time

The end