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/8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/8b0e7c16-bab4-11e0-a883-00163e1e087d.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.16 1.09 1.08 5/37 29018
/proc/meminfo: memFree=331928/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=11360 CPUtime=0.01
/proc/29017/stat : 29017 (java) R 29016 29016 1511 34817 1511 4202496 919 0 0 0 0 1 0 0 25 0 2 0 4939959 11632640 651 1283457024 134512640 134550932 4291126624 18446744073709551615 4159352424 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 2840 651 285 10 0 1186 0
[pid=29017/tid=29018] ppid=29016 vsize=11360 CPUtime=0
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 4939960 11632640 651 1283457024 134512640 134550932 4291126624 18446744073709551615 4159352424 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.185097 s]
/proc/loadavg: 1.16 1.09 1.08 5/37 29018
/proc/meminfo: memFree=331928/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=410100 CPUtime=0.19
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 4496 0 1 0 15 4 0 0 25 0 9 0 4939959 419942400 3923 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102525 3923 1934 10 0 96673 0
[pid=29017/tid=29018] ppid=29016 vsize=410100 CPUtime=0.16
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 3301 0 1 0 14 2 0 0 25 0 9 0 4939960 419942400 3923 1283457024 134512640 134550932 4291126624 18446744073709551615 4149603746 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412672

[startup+0.205125 s]
/proc/loadavg: 1.16 1.09 1.08 5/37 29018
/proc/meminfo: memFree=331928/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=410100 CPUtime=0.21
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 4622 0 1 0 17 4 0 0 25 0 9 0 4939959 419942400 4049 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102525 4049 1934 10 0 96673 0
[pid=29017/tid=29018] ppid=29016 vsize=410100 CPUtime=0.18
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 3427 0 1 0 16 2 0 0 25 0 9 0 4939960 419942400 4049 1283457024 134512640 134550932 4291126624 18446744073709551615 4115123777 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412672

[startup+0.305113 s]
/proc/loadavg: 1.16 1.09 1.08 5/37 29018
/proc/meminfo: memFree=331928/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=410100 CPUtime=0.31
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 5282 0 1 0 27 4 0 0 25 0 9 0 4939959 419942400 4708 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102525 4708 1940 10 0 96673 0
[pid=29017/tid=29018] ppid=29016 vsize=410100 CPUtime=0.27
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 3515 0 1 0 25 2 0 0 25 0 9 0 4939960 419942400 4708 1283457024 134512640 134550932 4291126624 18446744073709551615 4114682749 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412672

[startup+0.705214 s]
/proc/loadavg: 1.16 1.09 1.08 5/37 29018
/proc/meminfo: memFree=331928/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=410684 CPUtime=0.71
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 12808 0 1 0 65 6 0 0 25 0 9 0 4939959 420540416 12047 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102671 12047 2901 10 0 96819 0
[pid=29017/tid=29018] ppid=29016 vsize=410684 CPUtime=0.48
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 4187 0 1 0 46 2 0 0 25 0 9 0 4939960 420540416 12047 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413256

[startup+1.50539 s]
/proc/loadavg: 1.16 1.09 1.08 2/45 29026
/proc/meminfo: memFree=274316/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=410684 CPUtime=1.5
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 26806 0 1 0 139 11 0 0 25 0 9 0 4939959 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102671 26045 2901 10 0 96819 0
[pid=29017/tid=29018] ppid=29016 vsize=410684 CPUtime=0.8
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 6731 0 1 0 78 2 0 0 24 0 9 0 4939960 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=410684 CPUtime=0.64
/proc/29017/task/29020/stat : 29020 (java) R 29016 29016 1511 34817 1511 4202560 18693 0 0 0 57 7 0 0 18 0 9 0 4939960 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4150958008 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=410684 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4939961 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=410684 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4939961 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=410684 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4939962 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=410684 CPUtime=0.04
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 440 0 0 0 4 0 0 0 21 0 9 0 4939962 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=410684 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4939962 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=410684 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4939962 420540416 26045 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413256

[startup+3.12589 s]
/proc/loadavg: 1.16 1.09 1.08 2/45 29026
/proc/meminfo: memFree=200908/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=410816 CPUtime=3.13
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 48607 0 1 0 295 18 0 0 25 0 9 0 4939959 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102704 47846 2901 10 0 96852 0
[pid=29017/tid=29018] ppid=29016 vsize=410816 CPUtime=1.47
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 14108 0 1 0 138 9 0 0 25 0 9 0 4939960 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=410816 CPUtime=1.59
/proc/29017/task/29020/stat : 29020 (java) R 29016 29016 1511 34817 1511 4202560 33113 0 0 0 152 7 0 0 15 0 9 0 4939960 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4152652046 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=410816 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4939961 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=410816 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4939961 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=410816 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4939962 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=410816 CPUtime=0.04
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 444 0 0 0 4 0 0 0 15 0 9 0 4939962 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=410816 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4939962 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=410816 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4939962 420675584 47846 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 413388

[startup+6.30805 s]
/proc/loadavg: 1.14 1.09 1.08 3/45 29027
/proc/meminfo: memFree=66492/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=411284 CPUtime=6.28
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 71007 0 1 0 604 24 0 0 25 0 10 0 4939959 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102821 70152 2917 10 0 96966 0
[pid=29017/tid=29018] ppid=29016 vsize=411284 CPUtime=2.88
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 14374 0 1 0 278 10 0 0 25 0 10 0 4939960 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4115585392 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=411284 CPUtime=3.31
/proc/29017/task/29020/stat : 29020 (java) S 29016 29016 1511 34817 1511 4202560 55173 0 0 0 319 12 0 0 16 0 10 0 4939960 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=411284 CPUtime=0.06
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 513 0 0 0 6 0 0 0 15 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 413856

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

[startup+6.40808 s]
/proc/loadavg: 1.14 1.09 1.08 3/45 29027
/proc/meminfo: memFree=66492/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=411284 CPUtime=6.38
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 71007 0 1 0 614 24 0 0 25 0 10 0 4939959 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102821 70152 2917 10 0 96966 0
[pid=29017/tid=29018] ppid=29016 vsize=411284 CPUtime=2.98
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 14374 0 1 0 288 10 0 0 25 0 10 0 4939960 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4115575714 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=411284 CPUtime=3.31
/proc/29017/task/29020/stat : 29020 (java) S 29016 29016 1511 34817 1511 4202560 55173 0 0 0 319 12 0 0 16 0 10 0 4939960 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=411284 CPUtime=0.06
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 513 0 0 0 6 0 0 0 15 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4939962 421154816 70152 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 413856

[startup+9.60891 s]
/proc/loadavg: 1.13 1.09 1.08 2/46 29028
/proc/meminfo: memFree=63268/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=411284 CPUtime=9.58
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 71049 0 1 0 933 25 0 0 25 0 10 0 4939959 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102821 70194 2919 10 0 96966 0
[pid=29017/tid=29018] ppid=29016 vsize=411284 CPUtime=5.73
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 14382 0 1 0 563 10 0 0 25 0 10 0 4939960 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4115175916 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=411284 CPUtime=3.73
/proc/29017/task/29020/stat : 29020 (java) S 29016 29016 1511 34817 1511 4202560 55173 0 0 0 361 12 0 0 15 0 10 0 4939960 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=411284 CPUtime=0.09
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 547 0 0 0 9 0 0 0 15 0 10 0 4939962 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4939962 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29028] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29028/stat : 29028 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4940543 421154816 70194 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 413856

[startup+10.4091 s]
/proc/loadavg: 1.13 1.09 1.08 2/46 29028
/proc/meminfo: memFree=63268/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=411284 CPUtime=10.37
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 71084 0 1 0 1012 25 0 0 25 0 10 0 4939959 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102821 70229 2921 10 0 96966 0
[pid=29017/tid=29018] ppid=29016 vsize=411284 CPUtime=6.5
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 14382 0 1 0 640 10 0 0 25 0 10 0 4939960 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4115508075 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=411284 CPUtime=3.75
/proc/29017/task/29020/stat : 29020 (java) S 29016 29016 1511 34817 1511 4202560 55207 0 0 0 363 12 0 0 16 0 10 0 4939960 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=411284 CPUtime=0.09
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 548 0 0 0 9 0 0 0 15 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29028] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29028/stat : 29028 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4940543 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.37
Current children cumulated vsize (KiB) 413856

[startup+11.2093 s]
/proc/loadavg: 1.13 1.09 1.08 2/46 29028
/proc/meminfo: memFree=63144/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=411284 CPUtime=11.17
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 71084 0 1 0 1092 25 0 0 25 0 10 0 4939959 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102821 70229 2921 10 0 96966 0
[pid=29017/tid=29018] ppid=29016 vsize=411284 CPUtime=7.3
/proc/29017/task/29018/stat : 29018 (java) R 29016 29016 1511 34817 1511 4202560 14382 0 1 0 720 10 0 0 25 0 10 0 4939960 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4115646776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=411284 CPUtime=3.75
/proc/29017/task/29020/stat : 29020 (java) S 29016 29016 1511 34817 1511 4202560 55207 0 0 0 363 12 0 0 15 0 10 0 4939960 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4939961 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=411284 CPUtime=0.09
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 548 0 0 0 9 0 0 0 15 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4939962 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29028] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29028/stat : 29028 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4940543 421154816 70229 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 413856

[startup+11.6018 s]
/proc/loadavg: 1.13 1.09 1.08 2/46 29028
/proc/meminfo: memFree=63144/1048576 swapFree=0/0
[pid=29016] ppid=29015 vsize=2572 CPUtime=0
/proc/29016/stat : 29016 (gj-trendy-solve) S 29015 29016 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4939959 2633728 270 1283457024 134512640 135304128 4289803520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29016/statm: 643 270 229 194 0 30 0
[pid=29017] ppid=29016 vsize=411284 CPUtime=11.55
/proc/29017/stat : 29017 (java) S 29016 29016 1511 34817 1511 4202496 71094 0 1 0 1130 25 0 0 25 0 9 0 4939959 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29017/statm: 102821 70239 2922 10 0 96966 0
[pid=29017/tid=29018] ppid=29016 vsize=411284 CPUtime=7.64
/proc/29017/task/29018/stat : 29018 (java) S 29016 29016 1511 34817 1511 4202560 14382 0 1 0 754 10 0 0 25 0 9 0 4939960 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29020] ppid=29016 vsize=411284 CPUtime=3.78
/proc/29017/task/29020/stat : 29020 (java) S 29016 29016 1511 34817 1511 4202560 55207 0 0 0 366 12 0 0 16 0 9 0 4939960 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 0 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29021] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29021/stat : 29021 (java) S 29016 29016 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 4939961 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29022] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29022/stat : 29022 (java) S 29016 29016 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 4939961 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29023] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29023/stat : 29023 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4939962 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29024] ppid=29016 vsize=411284 CPUtime=0.09
/proc/29017/task/29024/stat : 29024 (java) S 29016 29016 1511 34817 1511 4202560 557 0 0 0 9 0 0 0 16 0 9 0 4939962 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29025] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29025/stat : 29025 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4939962 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
[pid=29017/tid=29026] ppid=29016 vsize=411284 CPUtime=0
/proc/29017/task/29026/stat : 29026 (java) S 29016 29016 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 4939962 421154816 70239 1283457024 134512640 134550932 4291126624 18446744073709551615 4294960130 0 4 0 16800975 18446612132479877440 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.55
Current children cumulated vsize (KiB) 413856

Child status: 0
Real time (s): 11.6357
CPU time (s): 11.5767
CPU user time (s): 11.3047
CPU system time (s): 0.272017
CPU usage (%): 99.4932
Max. virtual memory (cumulated for all children) (KiB): 413856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3047
system time used= 0.272017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71482
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= 927
involuntary context switches= 1105

runsolver used 0 second user time and 0 second system time

The end