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/201108311143/gj-user-solver-1.0/rand283.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand283.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand283.cudf.user-upgrades.result -sum(installedsize) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 2/38 22928
/proc/meminfo: memFree=684244/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=3024 CPUtime=0
/proc/22928/stat : 22928 (runsolver) R 22927 22928 19908 34817 19908 4202560 73 0 0 0 0 0 0 0 25 0 1 0 62237345 3096576 94 1283457024 134512640 134586868 4293134208 18446744073709551615 4294960130 0 0 0 24578 0 0 0 17 0 0 0 0
/proc/22928/statm: 756 94 62 19 0 55 0

[startup+0.124593 s]
/proc/loadavg: 0.85 0.97 0.99 2/38 22928
/proc/meminfo: memFree=684244/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.204601 s]
/proc/loadavg: 0.85 0.97 0.99 2/38 22928
/proc/meminfo: memFree=684244/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.305841 s]
/proc/loadavg: 0.85 0.97 0.99 2/38 22928
/proc/meminfo: memFree=684244/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.705281 s]
/proc/loadavg: 0.85 0.97 0.99 2/38 22928
/proc/meminfo: memFree=684244/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.50556 s]
/proc/loadavg: 0.94 0.98 0.99 2/48 22938
/proc/meminfo: memFree=620384/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=411548 CPUtime=1.15
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 24052 0 68 0 106 9 0 0 25 0 9 0 62237345 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 102887 23364 2900 10 0 97035 0
[pid=22930/tid=22931] ppid=22928 vsize=411548 CPUtime=0.52
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 6643 0 37 0 50 2 0 0 25 0 9 0 62237346 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=411548 CPUtime=0.56
/proc/22930/task/22932/stat : 22932 (java) R 22928 22928 19908 34817 19908 4202560 16024 0 27 0 50 6 0 0 18 0 9 0 62237347 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4150842272 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=411548 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 62237347 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=411548 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 62237347 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=411548 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=411548 CPUtime=0.06
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 444 0 4 0 6 0 0 0 15 0 9 0 62237348 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=411548 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=411548 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 62237349 421425152 23364 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 414116

[startup+3.10611 s]
/proc/loadavg: 0.94 0.98 0.99 2/48 22938
/proc/meminfo: memFree=548712/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=411680 CPUtime=2.75
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 48025 0 68 0 255 20 0 0 25 0 9 0 62237345 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 102920 47337 2900 10 0 97068 0
[pid=22930/tid=22931] ppid=22928 vsize=411680 CPUtime=1.12
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 13747 0 37 0 105 7 0 0 25 0 9 0 62237346 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=411680 CPUtime=1.56
/proc/22930/task/22932/stat : 22932 (java) R 22928 22928 19908 34817 19908 4202560 32889 0 27 0 143 13 0 0 16 0 9 0 62237347 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4150544312 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=411680 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 62237347 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=411680 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 62237347 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=411680 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=411680 CPUtime=0.06
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 448 0 4 0 6 0 0 0 15 0 9 0 62237348 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=411680 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=411680 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 62237349 421560320 47337 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 414248

[startup+6.30908 s]
/proc/loadavg: 1.02 1.00 1.00 3/48 22938
/proc/meminfo: memFree=411692/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=440720 CPUtime=5.94
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 78126 0 69 0 564 30 0 0 25 0 9 0 62237345 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 110180 77433 2901 10 0 104328 0
[pid=22930/tid=22931] ppid=22928 vsize=440720 CPUtime=1.98
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 13763 0 38 0 190 8 0 0 25 0 9 0 62237346 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=440720 CPUtime=3.87
/proc/22930/task/22932/stat : 22932 (java) R 22928 22928 19908 34817 19908 4202560 62955 0 27 0 366 21 0 0 16 0 9 0 62237347 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4152654434 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=440720 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 19 0 9 0 62237347 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=440720 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 19 0 9 0 62237347 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=440720 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=440720 CPUtime=0.08
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 467 0 4 0 8 0 0 0 15 0 9 0 62237348 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=440720 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=440720 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 62237349 451297280 77433 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 443288

[startup+12.7113 s]
/proc/loadavg: 1.02 1.00 1.00 2/49 22940
/proc/meminfo: memFree=406064/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=12.22
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92605 0 75 0 1184 38 0 0 25 0 10 0 62237345 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 70545 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=5.22
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 514 8 0 0 25 0 10 0 62237346 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4115181449 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=6.88
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 659 29 0 0 15 0 10 0 62237347 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 530 0 4 0 10 0 0 0 16 0 10 0 62237348 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 70545 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 414968

[startup+25.5137 s]
/proc/loadavg: 1.02 1.00 1.00 2/49 22941
/proc/meminfo: memFree=495716/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=25.03
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 2462 41 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=17.54
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 1746 8 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115205366 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=7.36
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 704 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 414968

[startup+51.1102 s]
/proc/loadavg: 1.01 1.00 1.00 3/48 22943
/proc/meminfo: memFree=495732/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=50.6
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 5019 41 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=42.39
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 4231 8 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115181893 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=8.1
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 778 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 414968

[startup+102.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/48 22943
/proc/meminfo: memFree=495732/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=101.72
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 10131 41 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=92.57
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 9249 8 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115205436 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=9.03
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 871 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 414968

[startup+162.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/47 22943
/proc/meminfo: memFree=495740/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=161.67
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 16126 41 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=151.74
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 15166 8 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115148896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=9.81
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 949 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 414968

[startup+222.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/47 22943
/proc/meminfo: memFree=495740/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=221.57
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 22116 41 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=210.98
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 21090 8 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115205344 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=10.46
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 1014 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 221.57
Current children cumulated vsize (KiB) 414968

[startup+282.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/47 22943
/proc/meminfo: memFree=495740/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=281.51
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 28109 42 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=270.25
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 27016 9 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115076852 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=11.14
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 1082 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.51
Current children cumulated vsize (KiB) 414968

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

[startup+283.205 s]
/proc/loadavg: 1.00 1.00 1.00 2/47 22943
/proc/meminfo: memFree=495740/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=282.41
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 28199 42 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=271.15
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 27106 9 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115148917 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=11.14
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 1082 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.41
Current children cumulated vsize (KiB) 414968

[startup+284.805 s]
/proc/loadavg: 1.00 1.00 1.00 2/47 22943
/proc/meminfo: memFree=495740/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=284.01
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 28359 42 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=272.75
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 27266 9 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115083876 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=11.14
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 1082 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.01
Current children cumulated vsize (KiB) 414968

[startup+285.205 s]
/proc/loadavg: 1.00 1.00 1.00 2/47 22943
/proc/meminfo: memFree=495740/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=284.41
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92609 0 75 0 28399 42 0 0 25 0 10 0 62237345 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48081 2917 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=273.15
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 27306 9 0 0 25 0 10 0 62237346 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4115083574 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=11.14
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 1082 32 0 0 15 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62237347 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62237348 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 62237349 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22940] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22940/stat : 22940 (java) S 22928 22928 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 62238302 422297600 48081 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.41
Current children cumulated vsize (KiB) 414968

[startup+285.405 s]
/proc/loadavg: 1.00 1.00 1.00 2/47 22943
/proc/meminfo: memFree=495740/1048576 swapFree=0/0
[pid=22928] ppid=22927 vsize=2568 CPUtime=0
/proc/22928/stat : 22928 (gj-user-solver-) S 22927 22928 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 62237345 2629632 269 1283457024 134512640 135304128 4288449472 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22928/statm: 642 269 229 194 0 29 0
[pid=22930] ppid=22928 vsize=412400 CPUtime=284.61
/proc/22930/stat : 22930 (java) S 22928 22928 19908 34817 19908 4202496 92610 0 75 0 28419 42 0 0 25 0 9 0 62237345 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22930/statm: 103100 48082 2918 10 0 97245 0
[pid=22930/tid=22931] ppid=22928 vsize=412400 CPUtime=273.35
/proc/22930/task/22931/stat : 22931 (java) R 22928 22928 19908 34817 19908 4202560 14013 0 44 0 27326 9 0 0 25 0 9 0 62237346 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4115234245 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22930/tid=22932] ppid=22928 vsize=412400 CPUtime=11.14
/proc/22930/task/22932/stat : 22932 (java) S 22928 22928 19908 34817 19908 4202560 77117 0 27 0 1082 32 0 0 15 0 9 0 62237347 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22933] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22933/stat : 22933 (java) S 22928 22928 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 62237347 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22934] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22934/stat : 22934 (java) S 22928 22928 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 62237347 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22935] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22935/stat : 22935 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22936] ppid=22928 vsize=412400 CPUtime=0.1
/proc/22930/task/22936/stat : 22936 (java) S 22928 22928 19908 34817 19908 4202560 534 0 4 0 10 0 0 0 15 0 9 0 62237348 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22937] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22937/stat : 22937 (java) S 22928 22928 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62237348 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=22930/tid=22938] ppid=22928 vsize=412400 CPUtime=0
/proc/22930/task/22938/stat : 22938 (java) S 22928 22928 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 62237349 422297600 48082 1283457024 134512640 134550932 4291757648 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.61
Current children cumulated vsize (KiB) 414968

Child status: 0
Real time (s): 285.452
CPU time (s): 284.622
CPU user time (s): 284.194
CPU system time (s): 0.428026
CPU usage (%): 99.7091
Max. virtual memory (cumulated for all children) (KiB): 443288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.194
system time used= 0.428026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92998
page faults= 75
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6143
involuntary context switches= 8702

runsolver used 0.004 second user time and 0 second system time

The end