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/201109011757/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/201109011757/gj-user-solver-1.0/rand283.cudf.user-upgrades.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

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.01 1.02 0.95 4/38 25321
/proc/meminfo: memFree=523680/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=11044 CPUtime=0
/proc/25321/stat : 25321 (java) R 25320 25320 22717 34817 22717 4202496 737 0 0 0 0 0 0 0 25 0 1 0 71990816 11309056 473 1283457024 134512640 134550932 4294094912 18446744073709551615 4159932130 0 0 0 0 0 0 0 17 0 0 0 0
/proc/25321/statm: 2761 473 185 10 0 1103 0

[startup+0.195674 s]
/proc/loadavg: 1.01 1.02 0.95 4/38 25321
/proc/meminfo: memFree=523680/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=409924 CPUtime=0.19
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 4061 0 1 0 17 2 0 0 25 0 9 0 71990816 419762176 3488 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102481 3488 1918 10 0 96629 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412492

[startup+0.205672 s]
/proc/loadavg: 1.01 1.02 0.95 4/38 25321
/proc/meminfo: memFree=523680/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=409924 CPUtime=0.2
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 4082 0 1 0 18 2 0 0 25 0 9 0 71990816 419762176 3509 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102481 3509 1918 10 0 96629 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412492

[startup+0.305723 s]
/proc/loadavg: 1.01 1.02 0.95 4/38 25321
/proc/meminfo: memFree=523680/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=410480 CPUtime=0.3
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 4455 0 1 0 28 2 0 0 25 0 9 0 71990816 420331520 3882 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102620 3882 1945 10 0 96768 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413048

[startup+0.70585 s]
/proc/loadavg: 1.01 1.02 0.95 4/38 25321
/proc/meminfo: memFree=523680/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=410616 CPUtime=0.7
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 11629 0 1 0 65 5 0 0 25 0 9 0 71990816 420470784 10869 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102654 10869 2901 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50609 s]
/proc/loadavg: 1.01 1.02 0.95 2/47 25330
/proc/meminfo: memFree=466248/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=410748 CPUtime=1.5
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 26572 0 1 0 142 8 0 0 25 0 9 0 71990816 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102687 25812 2901 10 0 96835 0
[pid=25321/tid=25323] ppid=25320 vsize=410748 CPUtime=0.83
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 6712 0 1 0 81 2 0 0 25 0 9 0 71990817 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=410748 CPUtime=0.62
/proc/25321/task/25324/stat : 25324 (java) R 25320 25320 22717 34817 22717 4202560 18472 0 0 0 58 4 0 0 18 0 9 0 71990817 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4153310739 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=410748 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71990817 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=410748 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71990817 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=410748 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=410748 CPUtime=0.03
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 446 0 0 0 3 0 0 0 16 0 9 0 71990819 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=410748 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=410748 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71990819 420605952 25812 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10643 s]
/proc/loadavg: 1.01 1.02 0.95 2/47 25330
/proc/meminfo: memFree=394452/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=410880 CPUtime=3.1
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 50153 0 1 0 298 12 0 0 25 0 9 0 71990816 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102720 49393 2901 10 0 96868 0
[pid=25321/tid=25323] ppid=25320 vsize=410880 CPUtime=1.46
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 13865 0 1 0 142 4 0 0 25 0 9 0 71990817 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=410880 CPUtime=1.6
/proc/25321/task/25324/stat : 25324 (java) R 25320 25320 22717 34817 22717 4202560 34897 0 0 0 152 8 0 0 16 0 9 0 71990817 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4151108512 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=410880 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71990817 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=410880 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71990817 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=410880 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=410880 CPUtime=0.03
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 449 0 0 0 3 0 0 0 15 0 9 0 71990819 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=410880 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=410880 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71990819 420741120 49393 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.30727 s]
/proc/loadavg: 1.01 1.02 0.95 2/47 25330
/proc/meminfo: memFree=257556/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=439920 CPUtime=6.3
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 78237 0 1 0 610 20 0 0 25 0 9 0 71990816 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 109980 77471 2902 10 0 104128 0
[pid=25321/tid=25323] ppid=25320 vsize=439920 CPUtime=2.33
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 13882 0 1 0 227 6 0 0 25 0 9 0 71990817 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=439920 CPUtime=3.91
/proc/25321/task/25324/stat : 25324 (java) R 25320 25320 22717 34817 22717 4202560 62946 0 0 0 378 13 0 0 16 0 9 0 71990817 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4152302137 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=439920 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71990817 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=439920 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71990817 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=439920 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=439920 CPUtime=0.04
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 467 0 0 0 4 0 0 0 15 0 9 0 71990819 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=439920 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=439920 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71990819 450478080 77471 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442488

[startup+12.7089 s]
/proc/loadavg: 1.08 1.03 0.95 2/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=12.69
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99924 0 1 0 1236 33 0 0 25 0 10 0 71990816 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70649 2919 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=4.46
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 14135 0 1 0 440 6 0 0 25 0 10 0 71990817 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4115488806 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.1
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84296 0 0 0 784 26 0 0 16 0 10 0 71990817 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.12
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 546 0 0 0 12 0 0 0 16 0 10 0 71990819 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71990819 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25331] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25331/stat : 25331 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71991939 421740544 70649 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414424

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

[startup+12.809 s]
/proc/loadavg: 1.08 1.03 0.95 2/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=12.79
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99927 0 1 0 1246 33 0 0 25 0 10 0 71990816 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70652 2919 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=4.56
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 14135 0 1 0 450 6 0 0 25 0 10 0 71990817 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4115425646 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.1
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84296 0 0 0 784 26 0 0 16 0 10 0 71990817 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.12
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 549 0 0 0 12 0 0 0 15 0 10 0 71990819 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71990819 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25331] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25331/stat : 25331 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71991939 421740544 70652 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 414424

[startup+16.0103 s]
/proc/loadavg: 1.08 1.03 0.95 3/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=15.99
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99935 0 1 0 1566 33 0 0 25 0 10 0 71990816 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70660 2922 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=7.68
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 14136 0 1 0 762 6 0 0 25 0 10 0 71990817 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4115376556 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.16
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84298 0 0 0 790 26 0 0 16 0 10 0 71990817 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.14
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 554 0 0 0 14 0 0 0 15 0 10 0 71990819 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) R 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71990819 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25331] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25331/stat : 25331 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71991939 421740544 70660 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 414424

[startup+17.6112 s]
/proc/loadavg: 1.07 1.03 0.95 2/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=17.59
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99938 0 1 0 1726 33 0 0 25 0 10 0 71990816 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70663 2922 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=9.25
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 14136 0 1 0 919 6 0 0 25 0 10 0 71990817 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4115546172 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.18
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84298 0 0 0 792 26 0 0 16 0 10 0 71990817 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.14
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 557 0 0 0 14 0 0 0 15 0 10 0 71990819 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71990819 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25331] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25331/stat : 25331 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71991939 421740544 70663 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 414424

[startup+18.4114 s]
/proc/loadavg: 1.07 1.03 0.95 2/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=18.39
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99939 0 1 0 1806 33 0 0 25 0 10 0 71990816 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70664 2922 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=10.03
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 14136 0 1 0 997 6 0 0 25 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4115550930 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.2
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84298 0 0 0 794 26 0 0 16 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.14
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 558 0 0 0 14 0 0 0 15 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) R 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25331] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25331/stat : 25331 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71991939 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 414424

[startup+18.8116 s]
/proc/loadavg: 1.07 1.03 0.95 3/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=18.79
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99939 0 1 0 1846 33 0 0 25 0 10 0 71990816 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70664 2922 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=10.43
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 14136 0 1 0 1037 6 0 0 25 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4115425104 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.2
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84298 0 0 0 794 26 0 0 16 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.14
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 558 0 0 0 14 0 0 0 15 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25331] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25331/stat : 25331 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71991939 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.79
Current children cumulated vsize (KiB) 414424

[startup+19.0117 s]
/proc/loadavg: 1.07 1.03 0.95 3/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=18.99
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99939 0 1 0 1866 33 0 0 25 0 10 0 71990816 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70664 2922 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=10.63
/proc/25321/task/25323/stat : 25323 (java) R 25320 25320 22717 34817 22717 4202560 14136 0 1 0 1057 6 0 0 25 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4115484356 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.2
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84298 0 0 0 794 26 0 0 16 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71990817 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.14
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 558 0 0 0 14 0 0 0 15 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) R 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71990819 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25321/tid=25331] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25331/stat : 25331 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71991939 421740544 70664 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 414424

[startup+19.1068 s]
/proc/loadavg: 1.07 1.03 0.95 3/48 25331
/proc/meminfo: memFree=252588/1048576 swapFree=0/0
[pid=25320] ppid=25319 vsize=2568 CPUtime=0
/proc/25320/stat : 25320 (gj-user-solver-) S 25319 25320 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 71990816 2629632 268 1283457024 134512640 135304128 4291440208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25320/statm: 642 268 229 194 0 29 0
[pid=25321] ppid=25320 vsize=411856 CPUtime=19.07
/proc/25321/stat : 25321 (java) S 25320 25320 22717 34817 22717 4202496 99940 0 1 0 1874 33 0 0 25 0 9 0 71990816 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25321/statm: 102964 70665 2923 10 0 97109 0
[pid=25321/tid=25323] ppid=25320 vsize=411856 CPUtime=10.68
/proc/25321/task/25323/stat : 25323 (java) S 25320 25320 22717 34817 22717 4202560 14136 0 1 0 1062 6 0 0 25 0 9 0 71990817 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25324] ppid=25320 vsize=411856 CPUtime=8.22
/proc/25321/task/25324/stat : 25324 (java) S 25320 25320 22717 34817 22717 4202560 84298 0 0 0 796 26 0 0 16 0 9 0 71990817 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25325] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25325/stat : 25325 (java) S 25320 25320 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 71990817 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25326] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25326/stat : 25326 (java) S 25320 25320 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 71990817 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25327] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25327/stat : 25327 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25328] ppid=25320 vsize=411856 CPUtime=0.14
/proc/25321/task/25328/stat : 25328 (java) S 25320 25320 22717 34817 22717 4202560 558 0 0 0 14 0 0 0 15 0 9 0 71990819 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25329] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25329/stat : 25329 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71990819 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=25321/tid=25330] ppid=25320 vsize=411856 CPUtime=0
/proc/25321/task/25330/stat : 25330 (java) S 25320 25320 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71990819 421740544 70665 1283457024 134512640 134550932 4294094912 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 414424

Child status: 0
Real time (s): 19.1527
CPU time (s): 19.0772
CPU user time (s): 18.7412
CPU system time (s): 0.336021
CPU usage (%): 99.6057
Max. virtual memory (cumulated for all children) (KiB): 442488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7412
system time used= 0.336021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100326
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= 1207
involuntary context switches= 1533

runsolver used 0 second user time and 0 second system time

The end