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/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//33bb2fbc-9512-11e0-9181-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/33bb2fbc-9512-11e0-9181-00163e1e087d.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/39 27015
/proc/meminfo: memFree=456220/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=11040 CPUtime=0
/proc/27015/stat : 27015 (java) R 27014 27014 22717 34817 22717 4202496 532 0 0 0 0 0 0 0 25 0 1 0 72224424 11304960 269 1283457024 134512640 134550932 4288055872 18446744073709551615 4160263906 0 0 0 0 0 0 0 17 0 0 0 0
/proc/27015/statm: 2760 269 165 10 0 1102 0

[startup+0.134801 s]
/proc/loadavg: 0.85 0.97 0.99 4/39 27015
/proc/meminfo: memFree=456220/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=409920 CPUtime=0.13
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 3901 0 1 0 8 5 0 0 25 0 9 0 72224424 419758080 3330 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102480 3330 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412484

[startup+0.20481 s]
/proc/loadavg: 0.85 0.97 0.99 4/39 27015
/proc/meminfo: memFree=456220/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=409920 CPUtime=0.2
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 4073 0 1 0 15 5 0 0 25 0 9 0 72224424 419758080 3501 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102480 3501 1918 10 0 96628 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412484

[startup+0.304834 s]
/proc/loadavg: 0.85 0.97 0.99 4/39 27015
/proc/meminfo: memFree=456220/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=410472 CPUtime=0.3
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 4438 0 1 0 24 6 0 0 25 0 9 0 72224424 420323328 3866 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102618 3866 1945 10 0 96766 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413036

[startup+0.704969 s]
/proc/loadavg: 0.85 0.97 0.99 4/39 27015
/proc/meminfo: memFree=456220/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=410620 CPUtime=0.7
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 12102 0 1 0 62 8 0 0 25 0 9 0 72224424 420474880 11343 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102655 11343 2901 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50519 s]
/proc/loadavg: 0.94 0.98 0.99 2/48 27024
/proc/meminfo: memFree=397052/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=410752 CPUtime=1.5
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 25552 0 1 0 137 13 0 0 25 0 9 0 72224424 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102688 24793 2901 10 0 96836 0
[pid=27015/tid=27017] ppid=27014 vsize=410752 CPUtime=0.84
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 6792 0 1 0 78 6 0 0 25 0 9 0 72224424 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=410752 CPUtime=0.61
/proc/27015/task/27018/stat : 27018 (java) R 27014 27014 22717 34817 22717 4202560 17376 0 0 0 56 5 0 0 18 0 9 0 72224425 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4151142328 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=410752 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72224425 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=410752 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72224425 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=410752 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72224426 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=410752 CPUtime=0.03
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 445 0 0 0 2 1 0 0 17 0 9 0 72224426 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=410752 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72224427 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=410752 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72224427 420610048 24793 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10535 s]
/proc/loadavg: 0.94 0.98 0.99 2/48 27024
/proc/meminfo: memFree=322900/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=410884 CPUtime=3.1
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 47027 0 1 0 290 20 0 0 25 0 9 0 72224424 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102721 46262 2902 10 0 96869 0
[pid=27015/tid=27017] ppid=27014 vsize=410884 CPUtime=1.47
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 12416 0 1 0 139 8 0 0 25 0 9 0 72224424 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4115531109 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=410884 CPUtime=1.57
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 33216 0 0 0 148 9 0 0 16 0 9 0 72224425 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=410884 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72224425 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=410884 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72224425 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=410884 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72224426 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=410884 CPUtime=0.03
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 456 0 0 0 2 1 0 0 15 0 9 0 72224426 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=410884 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72224427 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=410884 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72224427 420745216 46262 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.30684 s]
/proc/loadavg: 0.94 0.98 0.99 2/49 27025
/proc/meminfo: memFree=216996/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=6.3
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 63456 0 1 0 606 24 0 0 25 0 10 0 72224424 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 62612 2927 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=4.2
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14504 0 1 0 412 8 0 0 25 0 10 0 72224424 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4115839756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=1.95
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 47465 0 0 0 182 13 0 0 16 0 10 0 72224425 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.13
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 543 0 0 0 12 1 0 0 15 0 10 0 72224426 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 62612 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413784

[startup+12.7084 s]
/proc/loadavg: 0.95 0.98 0.99 2/49 27026
/proc/meminfo: memFree=209184/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=12.7
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65362 0 1 0 1245 25 0 0 25 0 10 0 72224424 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 64509 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=10.29
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 1021 8 0 0 25 0 10 0 72224424 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4115723005 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=2.24
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 210 14 0 0 15 0 10 0 72224425 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.14
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 546 0 0 0 13 1 0 0 15 0 10 0 72224426 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 64509 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413784

[startup+25.512 s]
/proc/loadavg: 0.95 0.98 0.99 2/49 27027
/proc/meminfo: memFree=219104/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=25.49
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65366 0 1 0 2524 25 0 0 25 0 10 0 72224424 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 61859 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=22.7
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 2262 8 0 0 25 0 10 0 72224424 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4115815264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=2.62
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 248 14 0 0 15 0 10 0 72224425 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.14
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 550 0 0 0 13 1 0 0 15 0 10 0 72224426 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 61859 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413784

[startup+51.1085 s]
/proc/loadavg: 0.97 0.98 0.99 2/49 27030
/proc/meminfo: memFree=243904/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=51.08
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65366 0 1 0 5083 25 0 0 25 0 10 0 72224424 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55719 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=47.71
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 4763 8 0 0 25 0 10 0 72224424 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4115734776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.21
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 307 14 0 0 16 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.14
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 550 0 0 0 13 1 0 0 15 0 10 0 72224426 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 413784

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

[startup+51.2085 s]
/proc/loadavg: 0.97 0.98 0.99 2/49 27030
/proc/meminfo: memFree=243904/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=51.18
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65366 0 1 0 5093 25 0 0 25 0 10 0 72224424 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55719 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=47.81
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 4773 8 0 0 25 0 10 0 72224424 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4115748761 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.21
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 307 14 0 0 16 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.14
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 550 0 0 0 13 1 0 0 15 0 10 0 72224426 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) R 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 413784

[startup+76.8061 s]
/proc/loadavg: 0.98 0.98 0.99 2/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=76.75
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65366 0 1 0 7650 25 0 0 25 0 10 0 72224424 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55719 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=73.11
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 7303 8 0 0 25 0 10 0 72224424 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4115728088 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.47
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 333 14 0 0 16 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.14
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 550 0 0 0 13 1 0 0 15 0 10 0 72224426 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55719 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 76.75
Current children cumulated vsize (KiB) 413784

[startup+89.6092 s]
/proc/loadavg: 0.98 0.98 0.99 2/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=89.54
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65370 0 1 0 8928 26 0 0 25 0 10 0 72224424 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55723 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=85.83
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 8573 10 0 0 25 0 10 0 72224424 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4115757592 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.56
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 342 14 0 0 16 0 10 0 72224425 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72224425 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.14
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 554 0 0 0 13 1 0 0 15 0 10 0 72224426 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55723 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 89.54
Current children cumulated vsize (KiB) 413784

[startup+96.0104 s]
/proc/loadavg: 0.98 0.98 0.99 2/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=95.94
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65377 0 1 0 9568 26 0 0 25 0 10 0 72224424 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55730 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=92.16
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 9206 10 0 0 25 0 10 0 72224424 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4115832393 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.61
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 347 14 0 0 16 0 10 0 72224425 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72224425 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.15
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 561 0 0 0 14 1 0 0 15 0 10 0 72224426 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55730 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 95.94
Current children cumulated vsize (KiB) 413784

[startup+97.6108 s]
/proc/loadavg: 0.98 0.98 0.99 2/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=97.54
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65379 0 1 0 9728 26 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55732 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=93.74
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 9364 10 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4115832397 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.63
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 349 14 0 0 16 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.15
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 563 0 0 0 14 1 0 0 15 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) R 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 97.54
Current children cumulated vsize (KiB) 413784

[startup+98.4109 s]
/proc/loadavg: 0.98 0.98 0.99 3/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=98.34
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65379 0 1 0 9808 26 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55732 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=94.52
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 9442 10 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4115813410 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.65
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 351 14 0 0 16 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.15
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 563 0 0 0 14 1 0 0 15 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.34
Current children cumulated vsize (KiB) 413784

[startup+99.2112 s]
/proc/loadavg: 0.98 0.98 0.99 2/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=99.14
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65379 0 1 0 9888 26 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55732 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=95.31
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 9521 10 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4115659101 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.66
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 352 14 0 0 16 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.15
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 563 0 0 0 14 1 0 0 15 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.14
Current children cumulated vsize (KiB) 413784

[startup+99.6114 s]
/proc/loadavg: 0.98 0.98 0.99 2/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=99.54
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65379 0 1 0 9928 26 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55732 2921 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=95.71
/proc/27015/task/27017/stat : 27017 (java) R 27014 27014 22717 34817 22717 4202560 14505 0 1 0 9561 10 0 0 25 0 10 0 72224424 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4115728135 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.66
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 352 14 0 0 16 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72224425 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.15
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 563 0 0 0 14 1 0 0 15 0 10 0 72224426 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) S 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72224427 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27025] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27025/stat : 27025 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72224814 421089280 55732 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.54
Current children cumulated vsize (KiB) 413784

[startup+99.707 s]
/proc/loadavg: 0.98 0.98 0.99 2/48 27031
/proc/meminfo: memFree=243920/1048576 swapFree=0/0
[pid=27014] ppid=27013 vsize=2564 CPUtime=0
/proc/27014/stat : 27014 (gj-user-solver-) S 27013 27014 22717 34817 22717 4202496 370 0 0 0 0 0 0 0 18 0 1 0 72224424 2625536 268 1283457024 134512640 135304128 4290788736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27014/statm: 641 268 229 194 0 28 0
[pid=27015] ppid=27014 vsize=411220 CPUtime=99.58
/proc/27015/stat : 27015 (java) S 27014 27014 22717 34817 22717 4202496 65380 0 1 0 9932 26 0 0 25 0 9 0 72224424 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27015/statm: 102805 55733 2922 10 0 96950 0
[pid=27015/tid=27017] ppid=27014 vsize=411220 CPUtime=95.75
/proc/27015/task/27017/stat : 27017 (java) S 27014 27014 22717 34817 22717 4202560 14505 0 1 0 9565 10 0 0 25 0 9 0 72224424 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27018] ppid=27014 vsize=411220 CPUtime=3.66
/proc/27015/task/27018/stat : 27018 (java) S 27014 27014 22717 34817 22717 4202560 49367 0 0 0 352 14 0 0 16 0 9 0 72224425 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 0 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27019] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27019/stat : 27019 (java) S 27014 27014 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 72224425 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27020] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27020/stat : 27020 (java) S 27014 27014 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72224425 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27021] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27021/stat : 27021 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72224426 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27022] ppid=27014 vsize=411220 CPUtime=0.15
/proc/27015/task/27022/stat : 27022 (java) S 27014 27014 22717 34817 22717 4202560 563 0 0 0 14 1 0 0 15 0 9 0 72224426 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27023] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27023/stat : 27023 (java) S 27014 27014 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72224427 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 18446612133256534208 0 0 -1 0 0 0 0
[pid=27015/tid=27024] ppid=27014 vsize=411220 CPUtime=0
/proc/27015/task/27024/stat : 27024 (java) R 27014 27014 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72224427 421089280 55733 1283457024 134512640 134550932 4288055872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.58
Current children cumulated vsize (KiB) 413784

Child status: 0
Real time (s): 99.7227
CPU time (s): 99.5982
CPU user time (s): 99.3262
CPU system time (s): 0.272017
CPU usage (%): 99.8751
Max. virtual memory (cumulated for all children) (KiB): 413784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.3262
system time used= 0.272017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65765
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= 2847
involuntary context switches= 4073

runsolver used 0 second user time and 0 second system time

The end