runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14584 MiB free)
memory of node 1: 16384 MiB (15377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395892-1568396703/watcher-4395892-1568396703 -o /tmp/evaluation-result-4395892-1568396703/solver-4395892-1568396703 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568390158-11189 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=792087647 HOME/instance-4395892-1568396703.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12208, runsolver pid=12205
[startup+0.108089 s]*
/proc/loadavg: 1.81 1.54 1.53 3/218 12265
/proc/meminfo: memFree=30672064/32770624 swapFree=66922328/67108860
[pid=12208] ppid=12205 vsize=10153664 memory=20444 CPUtime=0.09 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 4839 13002 0 0 2 0 4 3 20 0 8 0 415926325 10397351936 5111 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2538416 5111 2077 1 0 2526854 0
[pid=12208/tid=12261] ppid=12205 vsize=10186436 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 2628 13002 0 0 2 0 4 3 20 0 8 0 415926334 10430910464 5111 33554432000 4194304 4196468 140726269183408 139723817267632 139723845425412 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10186436 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 8 0 415926335 10430910464 5111 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10186436 memory=140109327932854 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 8 0 415926335 10430910464 5111 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10186436 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 8 0 415926335 10430910464 5111 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10186436 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 8 0 415926335 10430910464 5111 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10186436 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 8 0 415926336 10430910464 5111 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10186436 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 8 0 415926337 10430910464 5111 33554432000 4194304 4196468 140726269183408 139723204977696 139723845437141 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 20444 KiB
[startup+0.210157 s]*
/proc/loadavg: 1.81 1.54 1.53 3/227 12274
/proc/meminfo: memFree=30654940/32770624 swapFree=66922328/67108860
[pid=12208] ppid=12205 vsize=10819664 memory=39464 CPUtime=0.25 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 7187 13002 0 0 17 1 4 3 20 0 15 0 415926325 11079335936 9866 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2704916 9866 3164 1 0 2667149 0
[pid=12208/tid=12261] ppid=12205 vsize=10819664 memory=720575944405811505 CPUtime=0.18 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 3693 13002 0 0 11 0 4 3 20 0 15 0 415926334 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723817260368 139723845438870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10819664 memory=140109327932854 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 415926336 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 15 0 415926337 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723204977696 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926337 11079335936 9866 33554432000 4194304 4196468 140726269183408 139722600997744 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11079335936 9866 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 8521 0 -1 1077944384 352 13002 0 0 1 0 4 3 20 0 15 0 415926340 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723303304048 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 8521 0 -1 1077944384 308 13002 0 0 1 0 4 3 20 0 15 0 415926340 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723302251248 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10819664 memory=140109325096576 CPUtime=0.1 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) R 12205 12208 8521 0 -1 4202560 605 13002 0 0 3 0 4 3 20 0 15 0 415926340 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723301198448 139723825347844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11079335936 9866 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12274] ppid=12205 vsize=10819664 memory=140109325096576 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926340 11079335936 9866 33554432000 4194304 4196468 140726269183408 139723300145840 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39464 KiB
[startup+0.310336 s]*
/proc/loadavg: 1.81 1.54 1.53 4/227 12274
/proc/meminfo: memFree=30641872/32770624 swapFree=66922328/67108860
[pid=12208] ppid=12205 vsize=10820148 memory=50576 CPUtime=0.4 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 10885 13002 0 0 30 3 4 3 20 0 15 0 415926325 11079831552 12644 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2705037 12644 3296 1 0 2667149 0
[pid=12208/tid=12261] ppid=12205 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 7368 13002 0 0 20 2 4 3 20 0 15 0 415926334 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723817226848 139723845448861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10820148 memory=4638776076339624391 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10820148 memory=140109325103569 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 415926335 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 415926336 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 15 0 415926337 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723204977696 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926337 11079831552 12644 33554432000 4194304 4196468 140726269183408 139722600997744 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11079831552 12644 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 8521 0 -1 1077944384 361 13002 0 0 1 0 4 3 20 0 15 0 415926340 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723303304048 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 8521 0 -1 1077944384 309 13002 0 0 1 0 4 3 20 0 15 0 415926340 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723302251248 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10820148 memory=140109325096576 CPUtime=0.12 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 8521 0 -1 1077944384 614 13002 0 0 5 0 4 3 20 0 15 0 415926340 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723301198448 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10820148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11079831552 12644 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12274] ppid=12205 vsize=10820148 memory=140109325096576 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926340 11079831552 12644 33554432000 4194304 4196468 140726269183408 139723300145840 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50576 KiB
[startup+0.700738 s]
/proc/loadavg: 1.81 1.54 1.53 3/227 12274
/proc/meminfo: memFree=30627344/32770624 swapFree=66922328/67108860
[pid=12208] ppid=12205 vsize=10824360 memory=83576 CPUtime=1.13 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 15131 13002 0 0 101 5 4 3 20 0 15 0 415926325 11084144640 20894 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2706090 20894 3512 1 0 2668173 0
[pid=12208/tid=12261] ppid=12205 vsize=10824360 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 10375 13002 0 0 56 3 4 3 20 0 15 0 415926334 11084144640 20894 33554432000 4194304 4196468 140726269183408 139723817256480 139723829507422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11084144640 20894 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11084144640 20894 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926335 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 415926335 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 5 13002 0 0 0 0 4 3 20 0 15 0 415926336 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10824360 memory=8040 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 13 13002 0 0 0 0 4 3 20 0 15 0 415926337 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723204977696 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10824360 memory=3444 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926337 11084144640 20944 33554432000 4194304 4196468 140726269183408 139722600997744 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10824360 memory=1556 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11084144640 20944 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10824360 memory=2832 CPUtime=0.19 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) R 12205 12208 8521 0 -1 4202560 868 13002 0 0 12 0 4 3 20 0 15 0 415926340 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723303304048 139723830335839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10824360 memory=984 CPUtime=0.22 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 8521 0 -1 1077944384 800 13002 0 0 15 0 4 3 20 0 15 0 415926340 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723302251248 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10824360 memory=14012 CPUtime=0.23 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 8521 0 -1 1077944384 856 13002 0 0 16 0 4 3 20 0 15 0 415926340 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723301198448 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10824360 memory=6376 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11084144640 20944 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12274] ppid=12205 vsize=10824360 memory=19988 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 8521 0 -1 1077944384 1 13002 0 0 0 0 4 3 20 0 15 0 415926340 11084144640 20944 33554432000 4194304 4196468 140726269183408 139723300145840 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83576 KiB
[startup+1.50568 s]
/proc/loadavg: 1.81 1.54 1.53 3/227 12274
/proc/meminfo: memFree=30582800/32770624 swapFree=66922328/67108860
[pid=12208] ppid=12205 vsize=10834676 memory=169560 CPUtime=2.46 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 20578 13002 0 0 230 9 4 3 20 0 15 0 415926325 11094708224 42390 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2708669 42390 3571 1 0 2670733 0
[pid=12208/tid=12261] ppid=12205 vsize=10834676 memory=8040 CPUtime=1.44 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 14914 13002 0 0 132 5 4 3 20 0 15 0 415926334 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723817243040 139723845438870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10834676 memory=3444 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 36 13002 0 0 1 0 4 3 20 0 15 0 415926335 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10834676 memory=5792825811789107810 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 22 13002 0 0 0 0 4 3 20 0 15 0 415926335 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 20 13002 0 0 1 0 4 3 20 0 15 0 415926335 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 23 13002 0 0 1 0 4 3 20 0 15 0 415926335 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10834676 memory=280218430660960 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 43 13002 0 0 1 0 4 3 20 0 15 0 415926336 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 14 13002 0 0 0 0 4 3 20 0 15 0 415926337 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723204977760 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10834676 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 2 13002 0 0 0 0 4 3 20 0 15 0 415926337 11094708224 42390 33554432000 4194304 4196468 140726269183408 139722600997760 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10834676 memory=-5345911727066483670 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11094708224 42390 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10834676 memory=4951091520832052596 CPUtime=0.3 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 8521 0 -1 1077944384 932 13002 0 0 23 0 4 3 20 0 15 0 415926340 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723303304048 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10834676 memory=-7395679465411340892 CPUtime=0.34 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) R 12205 12208 8521 0 -1 4202560 853 13002 0 0 27 0 4 3 20 0 15 0 415926340 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723302239840 139723826991948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10834676 memory=-7374466869519807680 CPUtime=0.48 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 8521 0 -1 1077944384 1506 13002 0 0 40 1 4 3 20 0 15 0 415926340 11094708224 42390 33554432000 4194304 4196468 140726269183408 139723301198448 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10834676 memory=8326441112149131687 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11094708224 42390 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
################
# More data... #
################
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 62355 13002 0 0 235469 42 4 3 20 0 15 0 415926334 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723817262480 139723436348402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10849044 memory=674208 CPUtime=13.04 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 11231 13002 0 0 1237 60 4 3 20 0 15 0 415926335 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10849044 memory=674208 CPUtime=13.08 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 12141 13002 0 0 1242 59 4 3 20 0 15 0 415926335 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10849044 memory=674208 CPUtime=13.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 13866 13002 0 0 1247 53 4 3 20 0 15 0 415926335 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10849044 memory=674208 CPUtime=13.08 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 15017 13002 0 0 1244 57 4 3 20 0 15 0 415926335 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10849044 memory=674208 CPUtime=10.59 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 11483 13002 0 0 994 58 4 3 20 0 15 0 415926336 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10849044 memory=674208 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 19 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723204977824 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10849044 memory=674208 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 21 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 168552 33554432000 4194304 4196468 140726269183408 139722600997760 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10849044 memory=674208 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 168552 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10849044 memory=7 CPUtime=5.39 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 8521 0 -1 1077944384 24663 13002 0 0 527 5 4 3 20 0 15 0 415926340 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723303304048 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10849044 memory=674208 CPUtime=5.56 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 8521 0 -1 1077944384 29992 13002 0 0 543 6 4 3 20 0 15 0 415926340 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723302251248 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10849044 memory=674208 CPUtime=4.86 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 8521 0 -1 1077944384 27962 13002 0 0 472 7 4 3 20 0 15 0 415926340 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723301198448 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10849044 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 168552 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12274] ppid=12205 vsize=10849044 memory=20072 CPUtime=1.45 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 8521 0 -1 1077944384 913 13002 0 0 60 78 4 3 20 0 15 0 415926340 11109421056 168552 33554432000 4194304 4196468 140726269183408 139723300145840 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 2434.78 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 674208 KiB
[startup+2442.3 s]
/proc/loadavg: 1.51 1.47 1.42 3/227 12901
/proc/meminfo: memFree=28331248/32770624 swapFree=66922372/67108860
[pid=12208] ppid=12205 vsize=10849044 memory=676256 CPUtime=2495.82 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 212927 13002 0 0 249204 371 4 3 20 0 15 0 415926325 11109421056 169064 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2712261 169064 3627 1 0 2674317 0
[pid=12208/tid=12261] ppid=12205 vsize=10849044 memory=674208 CPUtime=2414.45 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 62874 13002 0 0 241396 42 4 3 20 0 15 0 415926334 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723817261632 139723436359072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.41 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 11319 13002 0 0 1271 63 4 3 20 0 15 0 415926335 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.45 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 12210 13002 0 0 1278 60 4 3 20 0 15 0 415926335 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.43 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 13896 13002 0 0 1282 54 4 3 20 0 15 0 415926335 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.45 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 15145 13002 0 0 1279 59 4 3 20 0 15 0 415926335 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10849044 memory=676256 CPUtime=10.86 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 11691 13002 0 0 1019 60 4 3 20 0 15 0 415926336 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 19 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723204977824 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 21 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 169064 33554432000 4194304 4196468 140726269183408 139722600997760 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 169064 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10849044 memory=676256 CPUtime=5.39 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 8521 0 -1 1077944384 24665 13002 0 0 527 5 4 3 20 0 15 0 415926340 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723303304048 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10849044 memory=676256 CPUtime=5.56 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 8521 0 -1 1077944384 29994 13002 0 0 543 6 4 3 20 0 15 0 415926340 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723302251248 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10849044 memory=676256 CPUtime=4.86 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 8521 0 -1 1077944384 27962 13002 0 0 472 7 4 3 20 0 15 0 415926340 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723301198448 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 169064 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12274] ppid=12205 vsize=10849044 memory=676256 CPUtime=1.49 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 8521 0 -1 1077944384 919 13002 0 0 62 80 4 3 20 0 15 0 415926340 11109421056 169064 33554432000 4194304 4196468 140726269183408 139723300145840 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 2495.82 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 676256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.11 s]
/proc/loadavg: 1.55 1.48 1.43 3/227 12905
/proc/meminfo: memFree=28224076/32770624 swapFree=66922372/67108860
[pid=12208] ppid=12205 vsize=10849044 memory=678304 CPUtime=2520.04 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 213497 13002 0 0 251623 374 4 3 20 0 15 0 415926325 11109421056 169576 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2712261 169576 3627 1 0 2674317 0
[pid=12208/tid=12261] ppid=12205 vsize=10849044 memory=678304 CPUtime=2437.95 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 63185 13002 0 0 243745 43 4 3 20 0 15 0 415926334 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723817262448 139723435036296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10849044 memory=164 CPUtime=13.56 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 11356 13002 0 0 1286 63 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10849044 memory=678304 CPUtime=13.6 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 12213 13002 0 0 1292 61 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.58 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 14064 13002 0 0 1297 54 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.59 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 15157 13002 0 0 1293 59 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10849044 memory=10881 CPUtime=10.97 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 11720 13002 0 0 1030 60 4 3 20 0 15 0 415926336 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 19 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723204977824 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 21 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 169576 33554432000 4194304 4196468 140726269183408 139722600997760 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10849044 memory=678304 CPUtime=5.39 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 8521 0 -1 1077944384 24667 13002 0 0 527 5 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723303304048 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10849044 memory=1284 CPUtime=5.56 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 8521 0 -1 1077944384 29996 13002 0 0 543 6 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723302251248 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10849044 memory=1044 CPUtime=4.86 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 8521 0 -1 1077944384 27964 13002 0 0 472 7 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723301198448 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10849044 memory=678304 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12274] ppid=12205 vsize=10849044 memory=678304 CPUtime=1.5 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 8521 0 -1 1077944384 923 13002 0 0 62 81 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723300145840 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 678304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.13 s]
# the end of solver process 12208 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.3 s, system=3.78048 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.11 s]
/proc/loadavg: 1.55 1.48 1.43 3/227 12905
/proc/meminfo: memFree=28224076/32770624 swapFree=66922372/67108860
[pid=12208] ppid=12205 vsize=10849044 memory=678304 CPUtime=2520.04 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 8521 0 -1 1077944320 213497 13002 0 0 251623 374 4 3 20 0 15 0 415926325 11109421056 169576 33554432000 4194304 4196468 140726269183408 140726269165952 139723845426935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
/proc/12208/statm: 2712261 169576 3627 1 0 2674317 0
[pid=12208/tid=12261] ppid=12205 vsize=10849044 memory=678304 CPUtime=2437.95 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 8521 0 -1 4202560 63185 13002 0 0 243745 43 4 3 20 0 15 0 415926334 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723817262448 139723435036296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12262] ppid=12205 vsize=10849044 memory=164 CPUtime=13.56 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 8521 0 -1 1077944384 11356 13002 0 0 1286 63 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723849669776 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12263] ppid=12205 vsize=10849044 memory=678304 CPUtime=13.6 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 8521 0 -1 1077944384 12213 13002 0 0 1292 61 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723748559888 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12264] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.58 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 8521 0 -1 1077944384 14064 13002 0 0 1297 54 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723747507088 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12265] ppid=12205 vsize=10849044 memory=676256 CPUtime=13.59 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 8521 0 -1 1077944384 15157 13002 0 0 1293 59 4 3 20 0 15 0 415926335 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723746454288 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12266] ppid=12205 vsize=10849044 memory=10881 CPUtime=10.97 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 8521 0 -1 1077944384 11720 13002 0 0 1030 60 4 3 20 0 15 0 415926336 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723304356208 139723845438082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12267] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 8521 0 -1 1077944384 19 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723204977824 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12268] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 8521 0 -1 1077944384 21 13002 0 0 0 0 4 3 20 0 15 0 415926337 11109421056 169576 33554432000 4194304 4196468 140726269183408 139722600997760 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12269] ppid=12205 vsize=10849044 memory=676256 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139722360706896 139723845445531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12270] ppid=12205 vsize=10849044 memory=678304 CPUtime=5.39 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 8521 0 -1 1077944384 24667 13002 0 0 527 5 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723303304048 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12271] ppid=12205 vsize=10849044 memory=1284 CPUtime=5.56 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 8521 0 -1 1077944384 29996 13002 0 0 543 6 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723302251248 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12272] ppid=12205 vsize=10849044 memory=1044 CPUtime=4.86 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 8521 0 -1 1077944384 27964 13002 0 0 472 7 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723301198448 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12273] ppid=12205 vsize=10849044 memory=678304 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 8521 0 -1 1077944384 3 13002 0 0 0 0 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139722327149280 139723845437141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
[pid=12208/tid=12274] ppid=12205 vsize=10849044 memory=678304 CPUtime=1.5 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 8521 0 -1 1077944384 923 13002 0 0 62 81 4 3 20 0 15 0 415926340 11109421056 169576 33554432000 4194304 4196468 140726269183408 139723300145840 139723845438082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27881472 140726269188848 140726269191365 140726269191365 140726269194191 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10849044 KiB
Current children cumulated memory: 678304 KiB
Child status: 143
Real time (s): 2466.13
CPU time (s): 2520.08
CPU user time (s): 2516.3
CPU system time (s): 3.78048
CPU usage (%): 102.187
Max. virtual memory (cumulated for all children) (KiB): 10851996
Max. memory (cumulated for all children) (KiB): 729656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.78049
maximum resident set size= 730452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227168
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302440
involuntary context switches= 8335
# summary of solver processes directly reported to runsolver:
# pid: 12208
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.3
# total CPU system time (s): 3.78048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7316 second user time and 23.3861 second system time
The end