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/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.dudf-real.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: 0.85 0.97 0.99 4/37 27462
/proc/meminfo: memFree=387328/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=11044 CPUtime=0
/proc/27462/stat : 27462 (java) R 27461 27461 22717 34817 22717 4202496 539 0 0 0 0 0 0 0 25 0 1 0 72296665 11309056 274 1283457024 134512640 134550932 4291274080 18446744073709551615 4159641314 0 0 0 0 0 0 0 17 0 0 0 0
/proc/27462/statm: 2761 274 165 10 0 1103 0

[startup+0.184888 s]
/proc/loadavg: 0.85 0.97 0.99 4/37 27462
/proc/meminfo: memFree=387328/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=409920 CPUtime=0.18
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 4001 0 1 0 18 0 0 0 25 0 9 0 72296665 419758080 3428 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102480 3428 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412492

[startup+0.204899 s]
/proc/loadavg: 0.85 0.97 0.99 4/37 27462
/proc/meminfo: memFree=387328/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=409920 CPUtime=0.2
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 4042 0 1 0 20 0 0 0 25 0 9 0 72296665 419758080 3469 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102480 3469 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412492

[startup+0.30492 s]
/proc/loadavg: 0.85 0.97 0.99 4/37 27462
/proc/meminfo: memFree=387328/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=410340 CPUtime=0.3
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 4382 0 1 0 30 0 0 0 25 0 9 0 72296665 420188160 3809 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102585 3809 1934 10 0 96733 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412912

[startup+0.705043 s]
/proc/loadavg: 0.85 0.97 0.99 4/37 27462
/proc/meminfo: memFree=387328/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=410616 CPUtime=0.7
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 12433 0 1 0 67 3 0 0 25 0 9 0 72296665 420470784 11675 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102654 11675 2896 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413188

[startup+1.50523 s]
/proc/loadavg: 0.85 0.97 0.99 3/46 27471
/proc/meminfo: memFree=328780/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=410748 CPUtime=1.5
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 25579 0 1 0 144 6 0 0 25 0 9 0 72296665 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102687 24821 2896 10 0 96835 0
[pid=27462/tid=27464] ppid=27461 vsize=410748 CPUtime=0.8
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 6744 0 1 0 78 2 0 0 25 0 9 0 72296666 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=410748 CPUtime=0.63
/proc/27462/task/27465/stat : 27465 (java) R 27461 27461 22717 34817 22717 4202560 17447 0 0 0 60 3 0 0 18 0 9 0 72296666 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4150898770 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=410748 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72296666 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=410748 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72296666 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=410748 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72296668 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=410748 CPUtime=0.05
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 446 0 0 0 5 0 0 0 16 0 9 0 72296668 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=410748 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72296668 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=410748 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72296668 420605952 24821 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413320

[startup+3.11578 s]
/proc/loadavg: 0.85 0.97 0.99 2/46 27471
/proc/meminfo: memFree=256240/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=410880 CPUtime=3.11
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 48132 0 1 0 298 13 0 0 25 0 9 0 72296665 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102720 47374 2896 10 0 96868 0
[pid=27462/tid=27464] ppid=27461 vsize=410880 CPUtime=1.44
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 13928 0 1 0 137 7 0 0 25 0 9 0 72296666 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=410880 CPUtime=1.6
/proc/27462/task/27465/stat : 27465 (java) R 27461 27461 22717 34817 22717 4202560 32812 0 0 0 156 4 0 0 15 0 9 0 72296666 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4150898920 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=410880 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72296666 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=410880 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72296666 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=410880 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72296668 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=410880 CPUtime=0.05
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 450 0 0 0 5 0 0 0 16 0 9 0 72296668 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=410880 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72296668 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=410880 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72296668 420741120 47374 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413452

[startup+6.30668 s]
/proc/loadavg: 0.86 0.97 0.99 3/46 27471
/proc/meminfo: memFree=116740/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=6.3
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71298 0 1 0 608 22 0 0 25 0 10 0 72296665 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 70449 2913 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=2.99
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15293 0 1 0 291 8 0 0 25 0 10 0 72296666 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4115115293 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=3.16
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54535 0 0 0 304 12 0 0 16 0 10 0 72296666 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.13
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 524 0 0 0 12 1 0 0 15 0 10 0 72296668 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 70449 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413920

[startup+12.7084 s]
/proc/loadavg: 0.87 0.97 0.99 3/47 27472
/proc/meminfo: memFree=116236/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=12.69
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71340 0 1 0 1247 22 0 0 25 0 10 0 72296665 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 70491 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=9.31
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 923 8 0 0 25 0 10 0 72296666 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4115115270 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=3.2
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 308 12 0 0 16 0 10 0 72296666 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 557 0 0 0 16 1 0 0 16 0 10 0 72296668 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) R 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 70491 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413920

[startup+25.511 s]
/proc/loadavg: 0.90 0.97 0.99 2/47 27472
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=25.48
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71344 0 1 0 2524 24 0 0 25 0 10 0 72296665 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69972 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=21.61
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 2151 10 0 0 25 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4115271941 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=3.68
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 356 12 0 0 15 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 561 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413920

[startup+51.107 s]
/proc/loadavg: 0.93 0.97 0.99 2/49 27474
/proc/meminfo: memFree=117700/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=51.04
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71344 0 1 0 5079 25 0 0 25 0 10 0 72296665 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69972 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=46.66
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 4655 11 0 0 25 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4115263356 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=4.2
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 408 12 0 0 16 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 561 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 413920

[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/49 27479
/proc/meminfo: memFree=117700/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=102.19
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71344 0 1 0 10193 26 0 0 25 0 10 0 72296665 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69972 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=97.03
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 9691 12 0 0 25 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4115271928 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=4.97
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 485 12 0 0 15 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 561 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 413920

[startup+162.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/48 27483
/proc/meminfo: memFree=117716/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=162.14
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71344 0 1 0 16187 27 0 0 25 0 10 0 72296665 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69972 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=156.16
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 15603 13 0 0 25 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4115263369 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=5.79
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 567 12 0 0 15 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 561 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69972 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 413920

[startup+222.315 s]
/proc/loadavg: 0.99 0.97 0.99 2/47 27483
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=222.09
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71346 0 1 0 22182 27 0 0 25 0 10 0 72296665 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69974 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=215.55
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 21542 13 0 0 25 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4115143174 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=6.35
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 623 12 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 563 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 413920

[startup+282.307 s]
/proc/loadavg: 0.99 0.97 0.99 2/47 27483
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=282.04
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71346 0 1 0 28177 27 0 0 25 0 10 0 72296665 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69974 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=275.13
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 27500 13 0 0 25 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4115106634 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=6.72
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 660 12 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 563 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 413920

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

[startup+283.208 s]
/proc/loadavg: 0.99 0.97 0.99 2/47 27483
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=282.94
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71346 0 1 0 28267 27 0 0 25 0 10 0 72296665 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69974 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=276.03
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 27590 13 0 0 25 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4115271948 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=6.72
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 660 12 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 563 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.94
Current children cumulated vsize (KiB) 413920

[startup+284.008 s]
/proc/loadavg: 0.99 0.97 0.99 2/47 27483
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=283.74
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71346 0 1 0 28347 27 0 0 25 0 10 0 72296665 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69974 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=276.83
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 27670 13 0 0 25 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4115115492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=6.72
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 660 12 0 0 16 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 563 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.74
Current children cumulated vsize (KiB) 413920

[startup+284.808 s]
/proc/loadavg: 0.99 0.97 0.99 2/47 27483
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=284.55
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71346 0 1 0 28428 27 0 0 25 0 10 0 72296665 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69974 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=277.64
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 27751 13 0 0 25 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4115136278 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=6.72
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 660 12 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 563 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.55
Current children cumulated vsize (KiB) 413920

[startup+285.008 s]
/proc/loadavg: 0.99 0.97 0.99 3/47 27483
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=284.75
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71346 0 1 0 28448 27 0 0 25 0 10 0 72296665 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69974 2916 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=277.84
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 27771 13 0 0 25 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4115271941 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=6.72
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 660 12 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72296666 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 563 0 0 0 16 1 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72296668 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27472] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27472/stat : 27472 (java) S 27461 27461 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72297233 421220352 69974 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.75
Current children cumulated vsize (KiB) 413920

[startup+285.108 s]
/proc/loadavg: 0.99 0.97 0.99 3/47 27483
/proc/meminfo: memFree=117724/1048576 swapFree=0/0
[pid=27461] ppid=27460 vsize=2572 CPUtime=0
/proc/27461/stat : 27461 (gj-user-solver-) S 27460 27461 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72296665 2633728 269 1283457024 134512640 135304128 4287578736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27461/statm: 643 269 229 194 0 30 0
[pid=27462] ppid=27461 vsize=411348 CPUtime=284.85
/proc/27462/stat : 27462 (java) S 27461 27461 22717 34817 22717 4202496 71347 0 1 0 28458 27 0 0 25 0 9 0 72296665 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 102837 69975 2917 10 0 96982 0
[pid=27462/tid=27464] ppid=27461 vsize=411348 CPUtime=277.94
/proc/27462/task/27464/stat : 27464 (java) R 27461 27461 22717 34817 22717 4202560 15300 0 1 0 27781 13 0 0 25 0 9 0 72296666 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4115226262 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27462/tid=27465] ppid=27461 vsize=411348 CPUtime=6.72
/proc/27462/task/27465/stat : 27465 (java) S 27461 27461 22717 34817 22717 4202560 54537 0 0 0 660 12 0 0 15 0 9 0 72296666 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27466] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27466/stat : 27466 (java) S 27461 27461 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 72296666 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27467] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27467/stat : 27467 (java) S 27461 27461 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72296666 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27468] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27468/stat : 27468 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72296668 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27469] ppid=27461 vsize=411348 CPUtime=0.17
/proc/27462/task/27469/stat : 27469 (java) S 27461 27461 22717 34817 22717 4202560 563 0 0 0 16 1 0 0 15 0 9 0 72296668 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27470] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27470/stat : 27470 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72296668 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=27462/tid=27471] ppid=27461 vsize=411348 CPUtime=0
/proc/27462/task/27471/stat : 27471 (java) S 27461 27461 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72296668 421220352 69975 1283457024 134512640 134550932 4291274080 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.85
Current children cumulated vsize (KiB) 413920

Child status: 0
Real time (s): 285.159
CPU time (s): 284.874
CPU user time (s): 284.59
CPU system time (s): 0.284017
CPU usage (%): 99.9001
Max. virtual memory (cumulated for all children) (KiB): 413920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.59
system time used= 0.284017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71734
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= 6000
involuntary context switches= 8818

runsolver used 0 second user time and 0 second system time

The end