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/dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf.dudf-real.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.54 1.50 1.37 5/36 29181
/proc/meminfo: memFree=272828/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) R 29179 29180 4778 34817 4778 4202496 354 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 267 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29180/statm: 641 267 228 194 0 28 0
[pid=29181] ppid=29180 vsize=2564 CPUtime=0
/proc/29181/stat : 29181 (gj-paranoid-sol) R 29180 29180 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 39 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29181/statm: 641 39 0 194 0 28 0

[startup+0.105692 s]
/proc/loadavg: 1.54 1.50 1.37 5/36 29181
/proc/meminfo: memFree=272828/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=409796 CPUtime=0.1
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 3847 0 1 0 5 5 0 0 25 0 9 0 11248298 419631104 3275 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102449 3275 1922 10 0 96597 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 412360

[startup+0.205728 s]
/proc/loadavg: 1.54 1.50 1.37 5/36 29181
/proc/meminfo: memFree=272828/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=409796 CPUtime=0.2
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 4068 0 1 0 15 5 0 0 25 0 9 0 11248298 419631104 3496 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102449 3496 1922 10 0 96597 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412360

[startup+0.305745 s]
/proc/loadavg: 1.54 1.50 1.37 5/36 29181
/proc/meminfo: memFree=272828/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=410244 CPUtime=0.3
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 4407 0 1 0 25 5 0 0 25 0 9 0 11248298 420089856 3835 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102561 3835 1944 10 0 96709 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412808

[startup+0.705871 s]
/proc/loadavg: 1.54 1.50 1.37 5/36 29181
/proc/meminfo: memFree=272828/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=410652 CPUtime=0.7
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 12263 0 1 0 62 8 0 0 25 0 9 0 11248298 420507648 11504 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102663 11504 2901 10 0 96811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413216

[startup+1.50617 s]
/proc/loadavg: 1.54 1.50 1.37 2/45 29190
/proc/meminfo: memFree=213348/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=410784 CPUtime=1.5
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 26140 0 1 0 140 10 0 0 25 0 9 0 11248298 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102696 25381 2901 10 0 96844 0
[pid=29181/tid=29183] ppid=29180 vsize=410784 CPUtime=0.83
/proc/29181/task/29183/stat : 29183 (java) R 29180 29180 4778 34817 4778 4202560 6832 0 1 0 78 5 0 0 25 0 9 0 11248299 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29184] ppid=29180 vsize=410784 CPUtime=0.61
/proc/29181/task/29184/stat : 29184 (java) R 29180 29180 4778 34817 4778 4202560 17921 0 0 0 57 4 0 0 18 0 9 0 11248300 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4151276448 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29185] ppid=29180 vsize=410784 CPUtime=0
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11248300 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29186] ppid=29180 vsize=410784 CPUtime=0
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11248300 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29187] ppid=29180 vsize=410784 CPUtime=0
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11248301 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29188] ppid=29180 vsize=410784 CPUtime=0.04
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 4778 34817 4778 4202560 448 0 0 0 4 0 0 0 18 0 9 0 11248301 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29189] ppid=29180 vsize=410784 CPUtime=0
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11248301 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29190] ppid=29180 vsize=410784 CPUtime=0
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11248301 420642816 25381 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413348

[startup+3.11787 s]
/proc/loadavg: 1.54 1.50 1.37 2/45 29190
/proc/meminfo: memFree=138204/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=410928 CPUtime=3.09
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 48920 0 1 0 293 16 0 0 25 0 9 0 11248298 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102732 48080 2923 10 0 96877 0
[pid=29181/tid=29183] ppid=29180 vsize=410928 CPUtime=1.42
/proc/29181/task/29183/stat : 29183 (java) R 29180 29180 4778 34817 4778 4202560 14324 0 1 0 135 7 0 0 25 0 9 0 11248299 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29184] ppid=29180 vsize=410928 CPUtime=1.56
/proc/29181/task/29184/stat : 29184 (java) R 29180 29180 4778 34817 4778 4202560 33166 0 0 0 149 7 0 0 15 0 9 0 11248300 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4153085882 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29185] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11248300 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29186] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11248300 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29187] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11248301 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29188] ppid=29180 vsize=410928 CPUtime=0.08
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 4778 34817 4778 4202560 491 0 0 0 8 0 0 0 15 0 9 0 11248301 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29189] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11248301 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29190] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11248301 420790272 48080 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413492

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

[startup+3.218 s]
/proc/loadavg: 1.54 1.50 1.37 2/45 29190
/proc/meminfo: memFree=138204/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=410928 CPUtime=3.19
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 51799 0 1 0 303 16 0 0 25 0 9 0 11248298 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102732 50959 2923 10 0 96877 0
[pid=29181/tid=29183] ppid=29180 vsize=410928 CPUtime=1.42
/proc/29181/task/29183/stat : 29183 (java) R 29180 29180 4778 34817 4778 4202560 14324 0 1 0 135 7 0 0 25 0 9 0 11248299 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29184] ppid=29180 vsize=410928 CPUtime=1.66
/proc/29181/task/29184/stat : 29184 (java) R 29180 29180 4778 34817 4778 4202560 36045 0 0 0 159 7 0 0 15 0 9 0 11248300 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4152672437 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29185] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11248300 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29186] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11248300 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29187] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11248301 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29188] ppid=29180 vsize=410928 CPUtime=0.08
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 4778 34817 4778 4202560 491 0 0 0 8 0 0 0 15 0 9 0 11248301 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29189] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11248301 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29190] ppid=29180 vsize=410928 CPUtime=0
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11248301 420790272 50959 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 413492

[startup+4.00811 s]
/proc/loadavg: 1.54 1.50 1.37 2/46 29191
/proc/meminfo: memFree=78428/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=411252 CPUtime=3.98
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 52233 0 1 0 382 16 0 0 25 0 10 0 11248298 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102813 51389 2925 10 0 96958 0
[pid=29181/tid=29183] ppid=29180 vsize=411252 CPUtime=2.2
/proc/29181/task/29183/stat : 29183 (java) R 29180 29180 4778 34817 4778 4202560 14347 0 1 0 213 7 0 0 25 0 10 0 11248299 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4115572560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29181/tid=29184] ppid=29180 vsize=411252 CPUtime=1.67
/proc/29181/task/29184/stat : 29184 (java) S 29180 29180 4778 34817 4778 4202560 36419 0 0 0 160 7 0 0 16 0 10 0 11248300 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29185] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 11248300 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29186] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 15 0 10 0 11248300 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29187] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11248301 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29188] ppid=29180 vsize=411252 CPUtime=0.08
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 4778 34817 4778 4202560 523 0 0 0 8 0 0 0 16 0 10 0 11248301 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29189] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11248301 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29190] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11248301 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29191] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29191/stat : 29191 (java) S 29180 29180 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11248627 421122048 51389 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 413816

[startup+4.20188 s]
/proc/loadavg: 1.54 1.50 1.37 2/46 29191
/proc/meminfo: memFree=78428/1048576 swapFree=0/0
[pid=29180] ppid=29179 vsize=2564 CPUtime=0
/proc/29180/stat : 29180 (gj-paranoid-sol) S 29179 29180 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11248298 2625536 268 1283457024 134512640 135304128 4294926800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29180/statm: 641 268 229 194 0 28 0
[pid=29181] ppid=29180 vsize=411252 CPUtime=4.15
/proc/29181/stat : 29181 (java) S 29180 29180 4778 34817 4778 4202496 52257 0 1 0 399 16 0 0 25 0 9 0 11248298 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29181/statm: 102813 51413 2926 10 0 96958 0
[pid=29181/tid=29183] ppid=29180 vsize=411252 CPUtime=2.37
/proc/29181/task/29183/stat : 29183 (java) S 29180 29180 4778 34817 4778 4202560 14349 0 1 0 230 7 0 0 25 0 9 0 11248299 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29184] ppid=29180 vsize=411252 CPUtime=1.67
/proc/29181/task/29184/stat : 29184 (java) S 29180 29180 4778 34817 4778 4202560 36419 0 0 0 160 7 0 0 16 0 9 0 11248300 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29185] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 9 0 11248300 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29186] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 15 0 9 0 11248300 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29187] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11248301 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29188] ppid=29180 vsize=411252 CPUtime=0.08
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 4778 34817 4778 4202560 544 0 0 0 8 0 0 0 16 0 9 0 11248301 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29189] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11248301 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=29181/tid=29190] ppid=29180 vsize=411252 CPUtime=0
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11248301 421122048 51413 1283457024 134512640 134550932 4294727920 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 413816

Child status: 0
Real time (s): 4.25262
CPU time (s): 4.16426
CPU user time (s): 3.99625
CPU system time (s): 0.16801
CPU usage (%): 97.9223
Max. virtual memory (cumulated for all children) (KiB): 413816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.99625
system time used= 0.16801
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52644
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= 740
involuntary context switches= 763

runsolver used 0 second user time and 0 second system time

The end