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/rand763.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand763.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand763.cudf.user-upgrades.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

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


[startup+0 s]
/proc/loadavg: 1.03 1.03 1.00 5/34 30374
/proc/meminfo: memFree=526800/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=11044 CPUtime=0
/proc/30374/stat : 30374 (java) R 30373 30373 22717 34817 22717 4202496 762 0 0 0 0 0 0 0 25 0 1 0 72759053 11309056 498 1283457024 134512640 134550932 4289211280 18446744073709551615 4159653604 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30374/statm: 2761 498 189 10 0 1103 0

[startup+0.165743 s]
/proc/loadavg: 1.03 1.03 1.00 5/34 30374
/proc/meminfo: memFree=526800/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=409924 CPUtime=0.16
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 3992 0 1 0 14 2 0 0 25 0 9 0 72759053 419762176 3419 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102481 3419 1918 10 0 96629 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412492

[startup+0.205737 s]
/proc/loadavg: 1.03 1.03 1.00 5/34 30374
/proc/meminfo: memFree=526800/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=409924 CPUtime=0.2
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 4079 0 1 0 18 2 0 0 25 0 9 0 72759053 419762176 3506 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102481 3506 1918 10 0 96629 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412492

[startup+0.305796 s]
/proc/loadavg: 1.03 1.03 1.00 5/34 30374
/proc/meminfo: memFree=526800/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=410344 CPUtime=0.3
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 4426 0 1 0 28 2 0 0 25 0 9 0 72759053 420192256 3853 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102586 3853 1945 10 0 96734 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412912

[startup+0.70588 s]
/proc/loadavg: 1.03 1.03 1.00 5/34 30374
/proc/meminfo: memFree=526800/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=410616 CPUtime=0.7
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 11685 0 1 0 64 6 0 0 25 0 9 0 72759053 420470784 10925 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102654 10925 2901 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50603 s]
/proc/loadavg: 1.03 1.03 1.00 2/43 30383
/proc/meminfo: memFree=469396/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=410748 CPUtime=1.5
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 26729 0 1 0 136 14 0 0 25 0 9 0 72759053 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102687 25969 2901 10 0 96835 0
[pid=30374/tid=30376] ppid=30373 vsize=410748 CPUtime=0.79
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 6712 0 1 0 76 3 0 0 25 0 9 0 72759054 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=410748 CPUtime=0.64
/proc/30374/task/30377/stat : 30377 (java) R 30373 30373 22717 34817 22717 4202560 18630 0 0 0 54 10 0 0 18 0 9 0 72759055 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4150829984 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=410748 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72759055 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=410748 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72759055 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=410748 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72759056 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=410748 CPUtime=0.05
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 446 0 0 0 5 0 0 0 16 0 9 0 72759056 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=410748 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72759056 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=410748 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72759056 420605952 25969 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10662 s]
/proc/loadavg: 1.03 1.03 1.00 2/43 30383
/proc/meminfo: memFree=397600/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=410880 CPUtime=3.1
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 48420 0 1 0 291 19 0 0 25 0 9 0 72759053 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102720 47660 2901 10 0 96868 0
[pid=30374/tid=30376] ppid=30373 vsize=410880 CPUtime=1.42
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 13865 0 1 0 137 5 0 0 25 0 9 0 72759054 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=410880 CPUtime=1.6
/proc/30374/task/30377/stat : 30377 (java) R 30373 30373 22717 34817 22717 4202560 33165 0 0 0 147 13 0 0 16 0 9 0 72759055 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4150529053 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=410880 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72759055 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=410880 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72759055 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=410880 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72759056 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=410880 CPUtime=0.05
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 449 0 0 0 5 0 0 0 15 0 9 0 72759056 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=410880 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72759056 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=410880 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72759056 420741120 47660 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.30748 s]
/proc/loadavg: 1.11 1.05 1.01 3/43 30383
/proc/meminfo: memFree=263564/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=439920 CPUtime=6.29
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 78237 0 1 0 601 28 0 0 25 0 9 0 72759053 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 109980 77471 2902 10 0 104128 0
[pid=30374/tid=30376] ppid=30373 vsize=439920 CPUtime=2.3
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 13882 0 1 0 224 6 0 0 25 0 9 0 72759054 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=439920 CPUtime=3.9
/proc/30374/task/30377/stat : 30377 (java) R 30373 30373 22717 34817 22717 4202560 62947 0 0 0 369 21 0 0 16 0 9 0 72759055 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4152641909 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=439920 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72759055 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=439920 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72759055 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=439920 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72759056 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=439920 CPUtime=0.06
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 467 0 0 0 6 0 0 0 15 0 9 0 72759056 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=439920 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72759056 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=439920 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72759056 450478080 77471 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 442488

[startup+12.7095 s]
/proc/loadavg: 1.18 1.06 1.01 2/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=12.69
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99923 0 1 0 1230 39 0 0 25 0 10 0 72759053 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70648 2919 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=4.34
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 426 8 0 0 25 0 10 0 72759054 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4115117725 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.21
/proc/30374/task/30377/stat : 30377 (java) S 30373 30373 22717 34817 22717 4202560 84305 0 0 0 790 31 0 0 16 0 10 0 72759055 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.12
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 538 0 0 0 12 0 0 0 16 0 10 0 72759056 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70648 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414456

[startup+25.5043 s]
/proc/loadavg: 1.14 1.06 1.01 2/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=25.47
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99944 0 1 0 2507 40 0 0 25 0 10 0 72759053 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70669 2921 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=17
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 1691 9 0 0 25 0 10 0 72759054 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4115276869 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.32
/proc/30374/task/30377/stat : 30377 (java) S 30373 30373 22717 34817 22717 4202560 84307 0 0 0 801 31 0 0 15 0 10 0 72759055 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.13
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 557 0 0 0 13 0 0 0 15 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 414456

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

[startup+25.6043 s]
/proc/loadavg: 1.14 1.06 1.01 2/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=25.57
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99944 0 1 0 2517 40 0 0 25 0 10 0 72759053 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70669 2921 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=17.1
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 1701 9 0 0 25 0 10 0 72759054 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4115049904 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.32
/proc/30374/task/30377/stat : 30377 (java) S 30373 30373 22717 34817 22717 4202560 84307 0 0 0 801 31 0 0 15 0 10 0 72759055 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.13
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 557 0 0 0 13 0 0 0 15 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70669 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 414456

[startup+28.8052 s]
/proc/loadavg: 1.14 1.06 1.01 2/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=28.77
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99945 0 1 0 2837 40 0 0 25 0 10 0 72759053 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70670 2921 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=20.28
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 2019 9 0 0 25 0 10 0 72759054 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4115221856 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.34
/proc/30374/task/30377/stat : 30377 (java) S 30373 30373 22717 34817 22717 4202560 84307 0 0 0 803 31 0 0 16 0 10 0 72759055 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.13
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 558 0 0 0 13 0 0 0 15 0 10 0 72759056 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70670 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.77
Current children cumulated vsize (KiB) 414456

[startup+29.6155 s]
/proc/loadavg: 1.14 1.06 1.01 2/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=29.58
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99947 0 1 0 2918 40 0 0 25 0 10 0 72759053 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70672 2921 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=21.02
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 2093 9 0 0 25 0 10 0 72759054 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.41
/proc/30374/task/30377/stat : 30377 (java) R 30373 30373 22717 34817 22717 4202560 84307 0 0 0 810 31 0 0 15 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4152225434 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.13
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 560 0 0 0 13 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) R 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 29.58
Current children cumulated vsize (KiB) 414456

[startup+30.4057 s]
/proc/loadavg: 1.14 1.06 1.01 3/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=30.37
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99947 0 1 0 2997 40 0 0 25 0 10 0 72759053 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70672 2921 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=21.63
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 2154 9 0 0 25 0 10 0 72759054 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4115276869 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.59
/proc/30374/task/30377/stat : 30377 (java) S 30373 30373 22717 34817 22717 4202560 84307 0 0 0 828 31 0 0 16 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.13
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 560 0 0 0 13 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.37
Current children cumulated vsize (KiB) 414456

[startup+30.6058 s]
/proc/loadavg: 1.14 1.06 1.01 3/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=30.57
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99947 0 1 0 3017 40 0 0 25 0 10 0 72759053 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70672 2921 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=21.83
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 2174 9 0 0 25 0 10 0 72759054 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4115276856 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.59
/proc/30374/task/30377/stat : 30377 (java) S 30373 30373 22717 34817 22717 4202560 84307 0 0 0 828 31 0 0 16 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.13
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 560 0 0 0 13 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.57
Current children cumulated vsize (KiB) 414456

[startup+30.7058 s]
/proc/loadavg: 1.14 1.06 1.01 3/44 30384
/proc/meminfo: memFree=255620/1048576 swapFree=0/0
[pid=30373] ppid=30372 vsize=2568 CPUtime=0
/proc/30373/stat : 30373 (gj-user-solver-) S 30372 30373 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72759053 2629632 270 1283457024 134512640 135304128 4288205632 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30373/statm: 642 270 229 194 0 29 0
[pid=30374] ppid=30373 vsize=411888 CPUtime=30.67
/proc/30374/stat : 30374 (java) S 30373 30373 22717 34817 22717 4202496 99947 0 1 0 3027 40 0 0 25 0 10 0 72759053 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30374/statm: 102972 70672 2921 10 0 97117 0
[pid=30374/tid=30376] ppid=30373 vsize=411888 CPUtime=21.93
/proc/30374/task/30376/stat : 30376 (java) R 30373 30373 22717 34817 22717 4202560 14135 0 1 0 2184 9 0 0 25 0 10 0 72759054 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4115272137 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30374/tid=30377] ppid=30373 vsize=411888 CPUtime=8.59
/proc/30374/task/30377/stat : 30377 (java) S 30373 30373 22717 34817 22717 4202560 84307 0 0 0 828 31 0 0 16 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30378] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30378/stat : 30378 (java) S 30373 30373 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30379] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30379/stat : 30379 (java) S 30373 30373 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72759055 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30380] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30380/stat : 30380 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30381] ppid=30373 vsize=411888 CPUtime=0.13
/proc/30374/task/30381/stat : 30381 (java) S 30373 30373 22717 34817 22717 4202560 560 0 0 0 13 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30382] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30382/stat : 30382 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30383] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30383/stat : 30383 (java) S 30373 30373 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72759056 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=30374/tid=30384] ppid=30373 vsize=411888 CPUtime=0
/proc/30374/task/30384/stat : 30384 (java) S 30373 30373 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72760190 421773312 70672 1283457024 134512640 134550932 4289211280 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.67
Current children cumulated vsize (KiB) 414456

Child status: 0
Real time (s): 30.8099
CPU time (s): 30.7299
CPU user time (s): 30.3139
CPU system time (s): 0.416026
CPU usage (%): 99.7405
Max. virtual memory (cumulated for all children) (KiB): 442512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3139
system time used= 0.416026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100337
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= 1456
involuntary context switches= 1954

runsolver used 0 second user time and 0 second system time

The end