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/gj-trendy-solver-1.0/rand144.cudf.s.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s/rand144.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand144.cudf.s.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.14 1.06 1.01 5/36 5008
/proc/meminfo: memFree=567128/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=11356 CPUtime=0
/proc/5007/stat : 5007 (java) R 5006 5006 1511 34817 1511 4202496 917 0 0 0 0 0 0 0 25 0 2 0 1299510 11628544 651 1283457024 134512640 134550932 4293634064 18446744073709551615 4159741544 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 2839 651 285 10 0 1185 0
[pid=5007/tid=5008] ppid=5006 vsize=11356 CPUtime=0
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1299511 11628544 651 1283457024 134512640 134550932 4293634064 18446744073709551615 4159741544 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.145863 s]
/proc/loadavg: 1.14 1.06 1.01 5/36 5008
/proc/meminfo: memFree=567128/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=409796 CPUtime=0.14
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 3803 0 1 0 13 1 0 0 25 0 9 0 1299510 419631104 3232 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102449 3232 1791 10 0 96597 0
[pid=5007/tid=5008] ppid=5006 vsize=409796 CPUtime=0.13
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 2837 0 1 0 12 1 0 0 25 0 9 0 1299511 419631104 3232 1283457024 134512640 134550932 4293634064 18446744073709551615 4115071844 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412360

[startup+0.205874 s]
/proc/loadavg: 1.14 1.06 1.01 5/36 5008
/proc/meminfo: memFree=567128/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=410100 CPUtime=0.2
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 4364 0 1 0 19 1 0 0 25 0 9 0 1299510 419942400 3793 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102525 3793 1932 10 0 96673 0
[pid=5007/tid=5008] ppid=5006 vsize=410100 CPUtime=0.18
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 3172 0 1 0 17 1 0 0 25 0 9 0 1299511 419942400 3793 1283457024 134512640 134550932 4293634064 18446744073709551615 4115081534 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412664

[startup+0.305902 s]
/proc/loadavg: 1.14 1.06 1.01 5/36 5008
/proc/meminfo: memFree=567128/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=410388 CPUtime=0.3
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 5390 0 1 0 29 1 0 0 25 0 9 0 1299510 420237312 4818 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102597 4818 1945 10 0 96745 0
[pid=5007/tid=5008] ppid=5006 vsize=410388 CPUtime=0.25
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 3514 0 1 0 24 1 0 0 25 0 9 0 1299511 420237312 4818 1283457024 134512640 134550932 4293634064 18446744073709551615 4115491911 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412952

[startup+0.706013 s]
/proc/loadavg: 1.14 1.06 1.01 5/36 5008
/proc/meminfo: memFree=567128/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=410784 CPUtime=0.7
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 12711 0 1 0 65 5 0 0 25 0 9 0 1299510 420642816 11955 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102696 11955 2896 10 0 96844 0
[pid=5007/tid=5008] ppid=5006 vsize=410784 CPUtime=0.44
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 4154 0 1 0 42 2 0 0 25 0 9 0 1299511 420642816 11955 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413348

[startup+1.50623 s]
/proc/loadavg: 1.21 1.07 1.02 4/44 5016
/proc/meminfo: memFree=510200/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=1.5
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 22959 0 1 0 145 5 0 0 25 0 10 0 1299510 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 22121 2921 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=0.81
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6937 0 1 0 79 2 0 0 25 0 10 0 1299511 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4115073400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=0.54
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 14553 0 0 0 52 2 0 0 19 0 10 0 1299512 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.13
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 525 0 0 0 13 0 0 0 16 0 10 0 1299513 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 22121 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413684

[startup+3.10647 s]
/proc/loadavg: 1.21 1.07 1.02 2/45 5017
/proc/meminfo: memFree=488492/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=3.1
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23642 0 1 0 304 6 0 0 25 0 10 0 1299510 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 22804 2921 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=2.39
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 237 2 0 0 25 0 10 0 1299511 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4116041379 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=0.57
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15228 0 0 0 53 4 0 0 15 0 10 0 1299512 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.13
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 532 0 0 0 13 0 0 0 16 0 10 0 1299513 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 22804 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413684

[startup+6.30708 s]
/proc/loadavg: 1.21 1.07 1.02 2/45 5017
/proc/meminfo: memFree=488368/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=6.3
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 623 7 0 0 25 0 10 0 1299510 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 22643 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=5.44
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 542 2 0 0 25 0 10 0 1299511 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4116032933 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=0.7
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 66 4 0 0 15 0 10 0 1299512 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 22643 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413684

[startup+12.7083 s]
/proc/loadavg: 1.18 1.07 1.01 2/45 5017
/proc/meminfo: memFree=493336/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=12.7
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 1263 7 0 0 25 0 10 0 1299510 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21292 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=11.64
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 1162 2 0 0 25 0 10 0 1299511 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4115073400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=0.89
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 85 4 0 0 16 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413684

[startup+25.5108 s]
/proc/loadavg: 1.15 1.07 1.01 2/45 5017
/proc/meminfo: memFree=493708/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=25.49
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 2542 7 0 0 25 0 10 0 1299510 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21292 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=24.25
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 2423 2 0 0 25 0 10 0 1299511 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4115073264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=1.08
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 104 4 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413684

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

[startup+25.6108 s]
/proc/loadavg: 1.15 1.07 1.01 2/45 5017
/proc/meminfo: memFree=493708/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=25.59
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 2552 7 0 0 25 0 10 0 1299510 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21292 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=24.35
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 2433 2 0 0 25 0 10 0 1299511 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4115909373 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=1.08
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 104 4 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 413684

[startup+27.2111 s]
/proc/loadavg: 1.14 1.06 1.01 2/45 5017
/proc/meminfo: memFree=493708/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=27.19
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 2712 7 0 0 25 0 10 0 1299510 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21292 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=25.88
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 2586 2 0 0 25 0 10 0 1299511 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4115918331 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=1.15
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 111 4 0 0 16 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.19
Current children cumulated vsize (KiB) 413684

[startup+28.8115 s]
/proc/loadavg: 1.14 1.06 1.01 2/45 5017
/proc/meminfo: memFree=493708/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=28.79
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 2872 7 0 0 25 0 10 0 1299510 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21292 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=27.48
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 2746 2 0 0 25 0 10 0 1299511 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4115826918 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=1.15
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 111 4 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 413684

[startup+29.6117 s]
/proc/loadavg: 1.14 1.06 1.01 2/45 5017
/proc/meminfo: memFree=493708/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=29.59
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 2952 7 0 0 25 0 10 0 1299510 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21292 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=28.28
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 2826 2 0 0 25 0 10 0 1299511 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4115890148 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=1.15
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 111 4 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.59
Current children cumulated vsize (KiB) 413684

[startup+29.8117 s]
/proc/loadavg: 1.14 1.06 1.01 2/45 5017
/proc/meminfo: memFree=493708/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=29.79
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23667 0 1 0 2972 7 0 0 25 0 10 0 1299510 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21292 2915 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=28.48
/proc/5007/task/5008/stat : 5008 (java) R 5006 5006 1511 34817 1511 4202560 6938 0 1 0 2846 2 0 0 25 0 10 0 1299511 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4150763016 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=1.15
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 111 4 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 10 0 1299512 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 537 0 0 0 14 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 1299513 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5017] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5017/stat : 5017 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 1299645 420986880 21292 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (KiB) 413684

[startup+29.9077 s]
/proc/loadavg: 1.14 1.06 1.01 2/45 5017
/proc/meminfo: memFree=493708/1048576 swapFree=0/0
[pid=5006] ppid=5005 vsize=2564 CPUtime=0
/proc/5006/stat : 5006 (gj-trendy-solve) S 5005 5006 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 18 0 1 0 1299510 2625536 269 1283457024 134512640 135304128 4294396320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5006/statm: 641 269 229 194 0 28 0
[pid=5007] ppid=5006 vsize=411120 CPUtime=29.86
/proc/5007/stat : 5007 (java) S 5006 5006 1511 34817 1511 4202496 23669 0 1 0 2979 7 0 0 25 0 9 0 1299510 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5007/statm: 102780 21294 2916 10 0 96925 0
[pid=5007/tid=5008] ppid=5006 vsize=411120 CPUtime=28.54
/proc/5007/task/5008/stat : 5008 (java) S 5006 5006 1511 34817 1511 4202560 6938 0 1 0 2852 2 0 0 25 0 9 0 1299511 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5010] ppid=5006 vsize=411120 CPUtime=1.15
/proc/5007/task/5010/stat : 5010 (java) S 5006 5006 1511 34817 1511 4202560 15248 0 0 0 111 4 0 0 15 0 9 0 1299512 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5011] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5011/stat : 5011 (java) S 5006 5006 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 15 0 9 0 1299512 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5012] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5012/stat : 5012 (java) S 5006 5006 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 15 0 9 0 1299512 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5013] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5013/stat : 5013 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1299513 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5014] ppid=5006 vsize=411120 CPUtime=0.14
/proc/5007/task/5014/stat : 5014 (java) S 5006 5006 1511 34817 1511 4202560 538 0 0 0 14 0 0 0 15 0 9 0 1299513 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5015] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5015/stat : 5015 (java) S 5006 5006 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 1299513 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=5007/tid=5016] ppid=5006 vsize=411120 CPUtime=0
/proc/5007/task/5016/stat : 5016 (java) S 5006 5006 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 1299513 420986880 21294 1283457024 134512640 134550932 4293634064 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (KiB) 413684

Child status: 0
Real time (s): 29.922
CPU time (s): 29.8659
CPU user time (s): 29.7939
CPU system time (s): 0.072004
CPU usage (%): 99.8122
Max. virtual memory (cumulated for all children) (KiB): 413684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.7939
system time used= 0.072004
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24057
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= 1234
involuntary context switches= 1564

runsolver used 0 second user time and 0 second system time

The end