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/rand533.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand533.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand533.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.03 1.03 1.01 5/34 28524
/proc/meminfo: memFree=247284/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) R 28522 28523 22717 34817 22717 4202496 354 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 268 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/28523/statm: 642 268 228 194 0 29 0
[pid=28524] ppid=28523 vsize=2568 CPUtime=0
/proc/28524/stat : 28524 (gj-user-solver-) R 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 72484558 2629632 40 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/28524/statm: 642 40 0 194 0 29 0

[startup+0.16536 s]
/proc/loadavg: 1.03 1.03 1.01 5/34 28524
/proc/meminfo: memFree=247284/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=410940 CPUtime=0.17
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 3993 0 1 0 15 2 0 0 25 0 9 0 72484558 420802560 3421 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 102735 3421 1918 10 0 96883 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 413508

[startup+0.205368 s]
/proc/loadavg: 1.03 1.03 1.01 5/34 28524
/proc/meminfo: memFree=247284/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=410940 CPUtime=0.21
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 4080 0 1 0 19 2 0 0 25 0 9 0 72484558 420802560 3508 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 102735 3508 1918 10 0 96883 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 413508

[startup+0.305393 s]
/proc/loadavg: 1.03 1.03 1.01 5/34 28524
/proc/meminfo: memFree=247284/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=411496 CPUtime=0.31
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 4455 0 1 0 29 2 0 0 25 0 9 0 72484558 421371904 3883 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 102874 3883 1945 10 0 97022 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 414064

[startup+0.705559 s]
/proc/loadavg: 1.03 1.03 1.01 5/34 28524
/proc/meminfo: memFree=247284/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=411776 CPUtime=0.71
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 12388 0 1 0 64 7 0 0 25 0 9 0 72484558 421658624 11629 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 102944 11629 2901 10 0 97092 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 414344

[startup+1.50579 s]
/proc/loadavg: 1.03 1.03 1.01 3/43 28533
/proc/meminfo: memFree=188920/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=411776 CPUtime=1.5
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 26993 0 1 0 140 10 0 0 25 0 9 0 72484558 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 102944 26234 2901 10 0 97092 0
[pid=28524/tid=28526] ppid=28523 vsize=411776 CPUtime=0.79
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 6712 0 1 0 75 4 0 0 25 0 9 0 72484558 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=411776 CPUtime=0.65
/proc/28524/task/28527/stat : 28527 (java) R 28523 28523 22717 34817 22717 4202560 18893 0 0 0 60 5 0 0 18 0 9 0 72484559 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4151003048 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72484559 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 20 0 9 0 72484559 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72484560 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=411776 CPUtime=0.04
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 16 0 9 0 72484560 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72484560 421658624 26234 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72484560 421658624 26234 1283457024 134512640 134550932 4287027584 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) 414344

[startup+3.10629 s]
/proc/loadavg: 1.03 1.03 1.01 2/43 28533
/proc/meminfo: memFree=117124/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=411776 CPUtime=3.1
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 50269 0 1 0 289 21 0 0 25 0 9 0 72484558 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 102944 49510 2901 10 0 97092 0
[pid=28524/tid=28526] ppid=28523 vsize=411776 CPUtime=1.42
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 13865 0 1 0 130 12 0 0 25 0 9 0 72484558 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=411776 CPUtime=1.62
/proc/28524/task/28527/stat : 28527 (java) R 28523 28523 22717 34817 22717 4202560 35013 0 0 0 154 8 0 0 16 0 9 0 72484559 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4153119193 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72484559 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 20 0 9 0 72484559 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72484560 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=411776 CPUtime=0.04
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 452 0 0 0 4 0 0 0 15 0 9 0 72484560 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72484560 421658624 49510 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=411776 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72484560 421658624 49510 1283457024 134512640 134550932 4287027584 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) 414344

[startup+6.30725 s]
/proc/loadavg: 1.03 1.03 1.01 3/43 28533
/proc/meminfo: memFree=5908/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=440948 CPUtime=6.3
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 78235 0 1 0 598 32 0 0 25 0 9 0 72484558 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 110237 77470 2902 10 0 104385 0
[pid=28524/tid=28526] ppid=28523 vsize=440948 CPUtime=2.29
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 13882 0 1 0 217 12 0 0 25 0 9 0 72484558 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=440948 CPUtime=3.92
/proc/28524/task/28527/stat : 28527 (java) R 28523 28523 22717 34817 22717 4202560 62944 0 0 0 375 17 0 0 16 0 9 0 72484559 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4153111888 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=440948 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72484559 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=440948 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 20 0 9 0 72484559 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=440948 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72484560 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=440948 CPUtime=0.05
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 470 0 0 0 5 0 0 0 15 0 9 0 72484560 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=440948 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72484560 451530752 77470 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=440948 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72484560 451530752 77470 1283457024 134512640 134550932 4287027584 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) 443516

[startup+12.7094 s]
/proc/loadavg: 1.10 1.05 1.02 2/44 28534
/proc/meminfo: memFree=33948/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=412884 CPUtime=12.7
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 99921 0 1 0 1228 42 0 0 25 0 10 0 72484558 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 103221 70649 2919 10 0 97366 0
[pid=28524/tid=28526] ppid=28523 vsize=412884 CPUtime=4.32
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 14135 0 1 0 420 12 0 0 25 0 10 0 72484558 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4115579188 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=412884 CPUtime=8.23
/proc/28524/task/28527/stat : 28527 (java) S 28523 28523 22717 34817 22717 4202560 84294 0 0 0 796 27 0 0 16 0 10 0 72484559 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=412884 CPUtime=0.12
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 549 0 0 0 12 0 0 0 16 0 10 0 72484560 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72484560 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28534] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28534/stat : 28534 (java) S 28523 28523 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72485694 422793216 70649 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 415452

[startup+25.5136 s]
/proc/loadavg: 1.08 1.05 1.02 3/44 28534
/proc/meminfo: memFree=33948/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=412884 CPUtime=25.48
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 99937 0 1 0 2504 44 0 0 25 0 10 0 72484558 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 103221 70665 2922 10 0 97366 0
[pid=28524/tid=28526] ppid=28523 vsize=412884 CPUtime=16.92
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 14137 0 1 0 1678 14 0 0 25 0 10 0 72484558 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4115745605 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=412884 CPUtime=8.37
/proc/28524/task/28527/stat : 28527 (java) S 28523 28523 22717 34817 22717 4202560 84296 0 0 0 810 27 0 0 15 0 10 0 72484559 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=412884 CPUtime=0.16
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 561 0 0 0 16 0 0 0 15 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28534] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28534/stat : 28534 (java) S 28523 28523 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72485694 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 415452

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

[startup+25.6036 s]
/proc/loadavg: 1.08 1.05 1.02 3/44 28534
/proc/meminfo: memFree=33948/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=412884 CPUtime=25.58
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 99937 0 1 0 2514 44 0 0 25 0 10 0 72484558 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 103221 70665 2922 10 0 97366 0
[pid=28524/tid=28526] ppid=28523 vsize=412884 CPUtime=17.02
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 14137 0 1 0 1688 14 0 0 25 0 10 0 72484558 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4115588644 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=412884 CPUtime=8.37
/proc/28524/task/28527/stat : 28527 (java) S 28523 28523 22717 34817 22717 4202560 84296 0 0 0 810 27 0 0 15 0 10 0 72484559 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=412884 CPUtime=0.16
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 561 0 0 0 16 0 0 0 15 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72484560 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28534] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28534/stat : 28534 (java) S 28523 28523 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72485694 422793216 70665 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 415452

[startup+27.2038 s]
/proc/loadavg: 1.08 1.05 1.02 2/44 28534
/proc/meminfo: memFree=33948/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=412884 CPUtime=27.18
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 99938 0 1 0 2674 44 0 0 25 0 10 0 72484558 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 103221 70666 2922 10 0 97366 0
[pid=28524/tid=28526] ppid=28523 vsize=412884 CPUtime=18.6
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 14137 0 1 0 1846 14 0 0 25 0 10 0 72484558 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4115618158 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=412884 CPUtime=8.39
/proc/28524/task/28527/stat : 28527 (java) S 28523 28523 22717 34817 22717 4202560 84296 0 0 0 812 27 0 0 16 0 10 0 72484559 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=412884 CPUtime=0.16
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 562 0 0 0 16 0 0 0 15 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28534] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28534/stat : 28534 (java) S 28523 28523 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72485694 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.18
Current children cumulated vsize (KiB) 415452

[startup+27.6039 s]
/proc/loadavg: 1.08 1.05 1.02 2/44 28534
/proc/meminfo: memFree=33948/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=412884 CPUtime=27.58
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 99938 0 1 0 2714 44 0 0 25 0 10 0 72484558 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 103221 70666 2922 10 0 97366 0
[pid=28524/tid=28526] ppid=28523 vsize=412884 CPUtime=19
/proc/28524/task/28526/stat : 28526 (java) R 28523 28523 22717 34817 22717 4202560 14137 0 1 0 1886 14 0 0 25 0 10 0 72484558 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4115740873 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=412884 CPUtime=8.39
/proc/28524/task/28527/stat : 28527 (java) S 28523 28523 22717 34817 22717 4202560 84296 0 0 0 812 27 0 0 15 0 10 0 72484559 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 18 0 10 0 72484559 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=412884 CPUtime=0.16
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 562 0 0 0 16 0 0 0 15 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72484560 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28534] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28534/stat : 28534 (java) S 28523 28523 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72485694 422793216 70666 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.58
Current children cumulated vsize (KiB) 415452

[startup+28.0031 s]
/proc/loadavg: 1.08 1.05 1.02 2/44 28534
/proc/meminfo: memFree=33948/1048576 swapFree=0/0
[pid=28523] ppid=28522 vsize=2568 CPUtime=0
/proc/28523/stat : 28523 (gj-user-solver-) S 28522 28523 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72484557 2629632 269 1283457024 134512640 135304128 4286751200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28523/statm: 642 269 229 194 0 29 0
[pid=28524] ppid=28523 vsize=412884 CPUtime=27.94
/proc/28524/stat : 28524 (java) S 28523 28523 22717 34817 22717 4202496 99940 0 1 0 2750 44 0 0 25 0 9 0 72484558 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28524/statm: 103221 70668 2923 10 0 97366 0
[pid=28524/tid=28526] ppid=28523 vsize=412884 CPUtime=19.34
/proc/28524/task/28526/stat : 28526 (java) S 28523 28523 22717 34817 22717 4202560 14137 0 1 0 1920 14 0 0 25 0 9 0 72484558 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28527] ppid=28523 vsize=412884 CPUtime=8.41
/proc/28524/task/28527/stat : 28527 (java) S 28523 28523 22717 34817 22717 4202560 84296 0 0 0 814 27 0 0 16 0 9 0 72484559 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28528] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28528/stat : 28528 (java) S 28523 28523 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72484559 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28529] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28529/stat : 28529 (java) S 28523 28523 22717 34817 22717 4202560 6 0 0 0 0 0 0 0 18 0 9 0 72484559 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28530] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28530/stat : 28530 (java) S 28523 28523 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72484560 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28531] ppid=28523 vsize=412884 CPUtime=0.16
/proc/28524/task/28531/stat : 28531 (java) S 28523 28523 22717 34817 22717 4202560 563 0 0 0 16 0 0 0 15 0 9 0 72484560 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28532] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28532/stat : 28532 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72484560 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=28524/tid=28533] ppid=28523 vsize=412884 CPUtime=0
/proc/28524/task/28533/stat : 28533 (java) S 28523 28523 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72484560 422793216 70668 1283457024 134512640 134550932 4287027584 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.94
Current children cumulated vsize (KiB) 415452

Child status: 0
Real time (s): 28.0254
CPU time (s): 27.9577
CPU user time (s): 27.5017
CPU system time (s): 0.456028
CPU usage (%): 99.7584
Max. virtual memory (cumulated for all children) (KiB): 443516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.5017
system time used= 0.456028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100327
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= 1415
involuntary context switches= 1947

runsolver used 0 second user time and 0 second system time

The end