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/rand609.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand609.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand609.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.00 1.00 1.00 4/34 29427
/proc/meminfo: memFree=675828/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=11048 CPUtime=0.01
/proc/29427/stat : 29427 (java) R 29426 29426 22717 34817 22717 4202496 687 0 0 0 0 1 0 0 25 0 1 0 72646965 11313152 423 1283457024 134512640 134550932 4287775280 18446744073709551615 4160259810 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29427/statm: 2762 423 179 10 0 1104 0

[startup+0.155439 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 29427
/proc/meminfo: memFree=675828/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=409928 CPUtime=0.15
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 3973 0 1 0 14 1 0 0 25 0 9 0 72646965 419766272 3400 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102482 3400 1918 10 0 96630 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 412500

[startup+0.205451 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 29427
/proc/meminfo: memFree=675828/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=409928 CPUtime=0.21
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 4081 0 1 0 20 1 0 0 25 0 9 0 72646965 419766272 3508 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102482 3508 1918 10 0 96630 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412500

[startup+0.30547 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 29427
/proc/meminfo: memFree=675828/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=410484 CPUtime=0.31
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 4452 0 1 0 30 1 0 0 25 0 9 0 72646965 420335616 3879 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102621 3879 1945 10 0 96769 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 413056

[startup+0.705625 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 29427
/proc/meminfo: memFree=675828/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=410620 CPUtime=0.7
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 11917 0 1 0 64 6 0 0 25 0 9 0 72646965 420474880 11157 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102655 11157 2901 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413192

[startup+1.50585 s]
/proc/loadavg: 1.08 1.02 1.01 2/43 29436
/proc/meminfo: memFree=618272/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=410752 CPUtime=1.51
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 26949 0 1 0 140 11 0 0 25 0 9 0 72646965 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102688 26189 2901 10 0 96836 0
[pid=29427/tid=29429] ppid=29426 vsize=410752 CPUtime=0.83
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 6712 0 1 0 79 4 0 0 25 0 9 0 72646966 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=410752 CPUtime=0.63
/proc/29427/task/29430/stat : 29430 (java) R 29426 29426 22717 34817 22717 4202560 18849 0 0 0 58 5 0 0 18 0 9 0 72646967 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4151436148 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=410752 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72646967 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=410752 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72646967 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=410752 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72646968 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=410752 CPUtime=0.02
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 446 0 0 0 2 0 0 0 16 0 9 0 72646968 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=410752 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72646968 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=410752 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72646968 420610048 26189 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413324

[startup+3.10627 s]
/proc/loadavg: 1.08 1.02 1.01 2/43 29436
/proc/meminfo: memFree=546476/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=410884 CPUtime=3.1
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 49814 0 1 0 292 18 0 0 25 0 9 0 72646965 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102721 49054 2901 10 0 96869 0
[pid=29427/tid=29429] ppid=29426 vsize=410884 CPUtime=1.46
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 13865 0 1 0 140 6 0 0 25 0 9 0 72646966 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=410884 CPUtime=1.6
/proc/29427/task/29430/stat : 29430 (java) R 29426 29426 22717 34817 22717 4202560 34558 0 0 0 150 10 0 0 16 0 9 0 72646967 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4151436192 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=410884 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72646967 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=410884 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72646967 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=410884 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72646968 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=410884 CPUtime=0.02
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 449 0 0 0 2 0 0 0 15 0 9 0 72646968 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=410884 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72646968 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=410884 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72646968 420745216 49054 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413456

[startup+6.3071 s]
/proc/loadavg: 1.08 1.02 1.01 3/43 29436
/proc/meminfo: memFree=409580/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=439924 CPUtime=6.3
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 78237 0 1 0 599 31 0 0 25 0 9 0 72646965 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 109981 77471 2902 10 0 104129 0
[pid=29427/tid=29429] ppid=29426 vsize=439924 CPUtime=2.33
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 13882 0 1 0 225 8 0 0 25 0 9 0 72646966 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=439924 CPUtime=3.92
/proc/29427/task/29430/stat : 29430 (java) R 29426 29426 22717 34817 22717 4202560 62946 0 0 0 371 21 0 0 16 0 9 0 72646967 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4153247215 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=439924 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72646967 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=439924 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72646967 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=439924 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72646968 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=439924 CPUtime=0.02
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 467 0 0 0 2 0 0 0 15 0 9 0 72646968 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=439924 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72646968 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=439924 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72646968 450482176 77471 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442496

[startup+12.7118 s]
/proc/loadavg: 1.22 1.05 1.02 2/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=12.69
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99905 0 1 0 1228 41 0 0 25 0 10 0 72646965 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70629 2918 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=4.38
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14133 0 1 0 430 8 0 0 25 0 10 0 72646966 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4115781358 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=8.23
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84299 0 0 0 792 31 0 0 16 0 10 0 72646967 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.06
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 526 0 0 0 6 0 0 0 15 0 10 0 72646968 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70629 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414440

[startup+25.5054 s]
/proc/loadavg: 1.19 1.05 1.01 2/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=25.48
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99941 0 1 0 2507 41 0 0 25 0 10 0 72646965 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70665 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=16.82
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14137 0 1 0 1674 8 0 0 25 0 10 0 72646966 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4115805176 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=8.52
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 821 31 0 0 15 0 10 0 72646967 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 556 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70665 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 414440

[startup+51.1079 s]
/proc/loadavg: 1.12 1.04 1.01 2/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=51.07
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99944 0 1 0 5065 42 0 0 25 0 10 0 72646965 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70668 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=42.04
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14137 0 1 0 4196 8 0 0 25 0 10 0 72646966 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4115805189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=8.89
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 858 31 0 0 16 0 10 0 72646967 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 559 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70668 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 414440

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

[startup+63.9112 s]
/proc/loadavg: 1.09 1.04 1.01 2/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=63.87
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99946 0 1 0 6344 43 0 0 25 0 10 0 72646965 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70670 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=54.76
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14138 0 1 0 5467 9 0 0 25 0 10 0 72646966 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4115711800 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=8.97
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 866 31 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 560 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) R 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 414440

[startup+67.112 s]
/proc/loadavg: 1.09 1.04 1.01 2/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=67.07
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99946 0 1 0 6664 43 0 0 25 0 10 0 72646965 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70670 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=57.94
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14138 0 1 0 5785 9 0 0 25 0 10 0 72646966 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4115794377 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=8.99
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 868 31 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 560 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 67.07
Current children cumulated vsize (KiB) 414440

[startup+68.7123 s]
/proc/loadavg: 1.09 1.04 1.01 3/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=68.67
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99946 0 1 0 6824 43 0 0 25 0 10 0 72646965 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70670 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=59.53
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14138 0 1 0 5944 9 0 0 25 0 10 0 72646966 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4115805189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=8.99
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 868 31 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 560 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) R 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 68.67
Current children cumulated vsize (KiB) 414440

[startup+70.3127 s]
/proc/loadavg: 1.09 1.04 1.01 2/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=70.27
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99946 0 1 0 6984 43 0 0 25 0 10 0 72646965 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70670 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=61.12
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14138 0 1 0 6103 9 0 0 25 0 10 0 72646966 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4115805189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=9
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 869 31 0 0 16 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 560 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 414440

[startup+71.1128 s]
/proc/loadavg: 1.09 1.04 1.01 2/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=71.07
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99946 0 1 0 7064 43 0 0 25 0 10 0 72646965 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70670 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=61.92
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14138 0 1 0 6183 9 0 0 25 0 10 0 72646966 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4115805189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=9
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 869 31 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 560 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) R 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 71.07
Current children cumulated vsize (KiB) 414440

[startup+71.5129 s]
/proc/loadavg: 1.08 1.04 1.01 3/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=411868 CPUtime=71.47
/proc/29427/stat : 29427 (java) S 29426 29426 22717 34817 22717 4202496 99946 0 1 0 7104 43 0 0 25 0 10 0 72646965 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 102967 70670 2921 10 0 97112 0
[pid=29427/tid=29429] ppid=29426 vsize=411868 CPUtime=62.32
/proc/29427/task/29429/stat : 29429 (java) R 29426 29426 22717 34817 22717 4202560 14138 0 1 0 6223 9 0 0 25 0 10 0 72646966 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4115805189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29427/tid=29430] ppid=29426 vsize=411868 CPUtime=9
/proc/29427/task/29430/stat : 29430 (java) S 29426 29426 22717 34817 22717 4202560 84301 0 0 0 869 31 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29431] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29431/stat : 29431 (java) S 29426 29426 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29432] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29432/stat : 29432 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72646967 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29433] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29433/stat : 29433 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29434] ppid=29426 vsize=411868 CPUtime=0.11
/proc/29427/task/29434/stat : 29434 (java) S 29426 29426 22717 34817 22717 4202560 560 0 0 0 11 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29435/stat : 29435 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29436] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29436/stat : 29436 (java) S 29426 29426 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72646968 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=29427/tid=29437] ppid=29426 vsize=411868 CPUtime=0
/proc/29427/task/29437/stat : 29437 (java) S 29426 29426 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72648106 421752832 70670 1283457024 134512640 134550932 4287775280 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 71.47
Current children cumulated vsize (KiB) 414440

[startup+71.6037 s]
/proc/loadavg: 1.08 1.04 1.01 3/44 29437
/proc/meminfo: memFree=404496/1048576 swapFree=0/0
[pid=29426] ppid=29425 vsize=2572 CPUtime=0
/proc/29426/stat : 29426 (gj-user-solver-) S 29425 29426 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72646965 2633728 269 1283457024 134512640 135304128 4286796256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29426/statm: 643 269 229 194 0 30 0
[pid=29427] ppid=29426 vsize=0 CPUtime=71.54
/proc/29427/stat : 29427 (java) Z 29426 29426 22717 34817 22717 4202508 99952 0 1 0 7110 44 0 0 18 0 2 0 72646965 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29427/statm: 0 0 0 0 0 0 0
[pid=29427/tid=29435] ppid=29426 vsize=0 CPUtime=0.01
/proc/29427/task/29435/stat : 29435 (java) R 29426 29426 22717 34817 22717 4203588 1 0 0 0 0 1 0 0 18 0 2 0 72646968 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 71.54
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 71.6076
CPU time (s): 71.5445
CPU user time (s): 71.1004
CPU system time (s): 0.444027
CPU usage (%): 99.9118
Max. virtual memory (cumulated for all children) (KiB): 442496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.1004
system time used= 0.444027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100335
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= 2277
involuntary context switches= 3098

runsolver used 0 second user time and 0 second system time

The end