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 (3708 MiB free)
memory of node 1: 16384 MiB (1861 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402698-1568973311/watcher-4402698-1568973311 -o /var/tmp/evaluation-result-4402698-1568973311/solver-4402698-1568973311 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402698-1568973311.xml
running on 4 cores: 0,2,4,6
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
solver pid=1256, runsolver pid=1253
Current StackSize limit: 8192 KiB
[startup+0.101548 s]*
/proc/loadavg: 1.56 1.39 1.36 3/218 1313
/proc/meminfo: memFree=5692728/32770624 swapFree=66972108/67108860
[pid=1256] ppid=1253 vsize=9972712 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 4315 13278 0 0 1 0 5 2 20 0 6 0 473272973 10212057088 4582 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2493178 4582 1930 1 0 2481616 0
[pid=1256/tid=1309] ppid=1253 vsize=9972712 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 2160 13278 0 0 1 0 5 2 20 0 6 0 473272982 10212057088 4648 33554432000 4194304 4196468 140722713792672 140161912562256 140161925848432 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=9972712 memory=4294967638 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 6 0 473272983 10212057088 4648 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=9972712 memory=140262789916432 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 6 0 473272983 10212057088 4648 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 6 0 473272983 10212057088 4648 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 6 0 473272983 10212057088 4648 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210198 s]*
/proc/loadavg: 1.56 1.39 1.36 3/227 1322
/proc/meminfo: memFree=5678616/32770624 swapFree=66972108/67108860
[pid=1256] ppid=1253 vsize=10819840 memory=40660 CPUtime=0.25 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 7103 13278 0 0 17 1 5 2 20 0 15 0 473272973 11079516160 10165 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2704960 10165 3187 1 0 2667149 0
[pid=1256/tid=1309] ppid=1253 vsize=10820196 memory=8389772277269004345 CPUtime=0.18 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 3730 13278 0 0 11 0 5 2 20 0 15 0 473272982 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161912536528 140161940747421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10820196 memory=4294967638 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10820196 memory=140262789916432 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10820196 memory=140262788044416 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272984 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 33 13278 0 0 0 0 5 2 20 0 15 0 473272985 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161398690848 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272985 11079880704 10296 33554432000 4194304 4196468 140722713792672 140160821879664 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11079880704 10296 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) R 1253 1256 31341 0 -1 4202560 349 13278 0 0 1 0 5 2 20 0 15 0 473272987 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161365134192 140161924222283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) S 1253 1256 31341 0 -1 1077944384 307 13278 0 0 1 0 5 2 20 0 15 0 473272987 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10820196 memory=140262788044416 CPUtime=0.1 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) R 1253 1256 31341 0 -1 1077944384 598 13278 0 0 3 0 5 2 20 0 15 0 473272987 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161363028592 140161940736642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11079880704 10296 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10820196 memory=140262788044416 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272988 11079880704 10296 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819840 KiB
Current children cumulated memory: 40660 KiB
[startup+0.319591 s]*
/proc/loadavg: 1.56 1.39 1.36 3/227 1322
/proc/meminfo: memFree=5665384/32770624 swapFree=66972108/67108860
[pid=1256] ppid=1253 vsize=10820196 memory=49628 CPUtime=0.41 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 10610 13278 0 0 31 3 5 2 20 0 15 0 473272973 11079880704 12407 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2705049 12407 3313 1 0 2667149 0
[pid=1256/tid=1309] ppid=1253 vsize=10820268 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 7108 13278 0 0 20 2 5 2 20 0 15 0 473272982 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161912546896 140161926451198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10820268 memory=140262626124240 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10820268 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272983 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272984 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 33 13278 0 0 0 0 5 2 20 0 15 0 473272985 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161398690848 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272985 11079954432 12407 33554432000 4194304 4196468 140722713792672 140160821879664 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11079954432 12407 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10820268 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) S 1253 1256 31341 0 -1 1077944384 359 13278 0 0 2 0 5 2 20 0 15 0 473272987 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161365134192 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10820268 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) S 1253 1256 31341 0 -1 1077944384 307 13278 0 0 1 0 5 2 20 0 15 0 473272987 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10820268 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) S 1253 1256 31341 0 -1 1077944384 607 13278 0 0 5 0 5 2 20 0 15 0 473272987 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161363028592 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11079954432 12407 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10820268 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272988 11079954432 12407 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49628 KiB
[startup+0.701031 s]
/proc/loadavg: 1.56 1.39 1.36 3/227 1322
/proc/meminfo: memFree=5652696/32770624 swapFree=66972108/67108860
[pid=1256] ppid=1253 vsize=10824364 memory=80948 CPUtime=1.15 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 14486 13278 0 0 103 5 5 2 20 0 15 0 473272973 11084148736 20237 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2706091 20237 3508 1 0 2668173 0
[pid=1256/tid=1309] ppid=1253 vsize=10824364 memory=3612 CPUtime=0.67 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 9899 13278 0 0 56 4 5 2 20 0 15 0 473272982 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161912552656 140161924805982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10824364 memory=42540 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10824364 memory=992 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272983 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10824364 memory=280525252748384 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272983 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10824364 memory=280525252092448 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 5 13278 0 0 0 0 5 2 20 0 15 0 473272984 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10824364 memory=740 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 33 13278 0 0 0 0 5 2 20 0 15 0 473272985 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161398690848 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10824364 memory=1056 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272985 11084148736 20237 33554432000 4194304 4196468 140722713792672 140160821879664 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10824364 memory=1552 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11084148736 20237 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10824364 memory=3612 CPUtime=0.21 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) S 1253 1256 31341 0 -1 1077944384 739 13278 0 0 14 0 5 2 20 0 15 0 473272987 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161365134192 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10824364 memory=6657 CPUtime=0.21 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) R 1253 1256 31341 0 -1 1077944384 846 13278 0 0 14 0 5 2 20 0 15 0 473272987 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10824364 memory=4420 CPUtime=0.24 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) R 1253 1256 31341 0 -1 4202560 749 13278 0 0 17 0 5 2 20 0 15 0 473272987 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161363023168 140161940746842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10824364 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11084148736 20237 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10824364 memory=6660 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 1 13278 0 0 0 0 5 2 20 0 15 0 473272988 11084148736 20237 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 80948 KiB
[startup+1.50072 s]
/proc/loadavg: 1.56 1.39 1.36 5/227 1322
/proc/meminfo: memFree=5597700/32770624 swapFree=66972108/67108860
[pid=1256] ppid=1253 vsize=10828536 memory=214732 CPUtime=3.41 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 22376 13278 0 0 324 10 5 2 20 0 15 0 473272973 11088420864 53683 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2707134 53683 3578 1 0 2669197 0
[pid=1256/tid=1309] ppid=1253 vsize=10828536 memory=740 CPUtime=1.44 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 12580 13278 0 0 131 6 5 2 20 0 15 0 473272982 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161912555696 140161940747421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10828536 memory=1056 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 62 13278 0 0 0 0 5 2 20 0 15 0 473272983 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10828536 memory=1552 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 59 13278 0 0 0 0 5 2 20 0 15 0 473272983 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 69 13278 0 0 0 0 5 2 20 0 15 0 473272983 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10828536 memory=280525252748384 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 316 13278 0 0 0 0 5 2 20 0 15 0 473272983 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10828536 memory=280525252092448 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 103 13278 0 0 0 0 5 2 20 0 15 0 473272984 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10828536 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 54 13278 0 0 0 0 5 2 20 0 15 0 473272985 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161398690848 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272985 11088420864 53683 33554432000 4194304 4196468 140722713792672 140160821879664 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11088420864 53683 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10828536 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) S 1253 1256 31341 0 -1 1077944384 2412 13278 0 0 73 0 5 2 20 0 15 0 473272987 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161365134192 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10828536 memory=6083067237959428961 CPUtime=0.8 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) S 1253 1256 31341 0 -1 1077944384 2431 13278 0 0 73 0 5 2 20 0 15 0 473272987 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10828536 memory=5938938842490757996 CPUtime=0.49 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) S 1253 1256 31341 0 -1 1077944384 2076 13278 0 0 42 0 5 2 20 0 15 0 473272987 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161363028592 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10828536 memory=7589244120605353828 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11088420864 53683 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10828536 memory=6153983487069806957 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11088420864 53683 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 10828536 KiB
################
# More data... #
################
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 103052 13278 0 0 235777 66 5 2 20 0 15 0 473272982 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161912560480 140161515435392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10846988 memory=2182888 CPUtime=13.41 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 37141 13278 0 0 1284 50 5 2 20 0 15 0 473272983 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10846988 memory=2187992 CPUtime=13.44 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 32768 13278 0 0 1292 45 5 2 20 0 15 0 473272983 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10846988 memory=164 CPUtime=13.4 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 32533 13278 0 0 1287 46 5 2 20 0 15 0 473272983 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10846988 memory=2182884 CPUtime=13.39 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 41466 13278 0 0 1285 47 5 2 20 0 15 0 473272983 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10846988 memory=2182884 CPUtime=7.84 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 31415 13278 0 0 730 47 5 2 20 0 15 0 473272984 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10846988 memory=2182888 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 63 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161398690912 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10846988 memory=2182892 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 545723 33554432000 4194304 4196468 140722713792672 140160821879680 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10846988 memory=2182888 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11107315712 545723 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10846988 memory=2182892 CPUtime=8.14 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) S 1253 1256 31341 0 -1 1077944384 20027 13278 0 0 804 3 5 2 20 0 15 0 473272987 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161365134192 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10846988 memory=140265041953341 CPUtime=8.3 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) S 1253 1256 31341 0 -1 1077944384 19073 13278 0 0 820 3 5 2 20 0 15 0 473272987 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10846988 memory=2182892 CPUtime=2.45 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) S 1253 1256 31341 0 -1 1077944384 12134 13278 0 0 233 5 5 2 20 0 15 0 473272987 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161363028592 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10846988 memory=2182892 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11107315712 545723 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10846988 memory=4100 CPUtime=1.44 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 1581 13278 0 0 65 72 5 2 20 0 15 0 473272988 11107315712 545723 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 2439.79 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2182892 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.43 1.82 3/228 2108
/proc/meminfo: memFree=8333436/32770624 swapFree=66972124/67108860
[pid=1256] ppid=1253 vsize=10846988 memory=2184956 CPUtime=2500.9 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 337017 13278 0 0 249731 352 5 2 20 0 15 0 473272973 11107315712 546239 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2711747 546239 3641 1 0 2673805 0
[pid=1256/tid=1309] ppid=1253 vsize=10846988 memory=2184956 CPUtime=2417.83 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 104262 13278 0 0 241710 66 5 2 20 0 15 0 473272982 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161912560864 140161510090272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10846988 memory=2184956 CPUtime=13.78 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 37493 13278 0 0 1320 51 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10846988 memory=2182888 CPUtime=13.81 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 33472 13278 0 0 1328 46 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10846988 memory=2182892 CPUtime=13.79 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 33052 13278 0 0 1324 48 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10846988 memory=2187992 CPUtime=13.77 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 41790 13278 0 0 1321 49 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10846988 memory=2182904 CPUtime=8.06 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 31816 13278 0 0 751 48 5 2 20 0 15 0 473272984 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10846988 memory=2182904 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 63 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161398690912 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10846988 memory=2184952 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160821879680 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10846988 memory=2184952 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10846988 memory=2184956 CPUtime=8.14 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) S 1253 1256 31341 0 -1 1077944384 20031 13278 0 0 804 3 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161365134192 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10846988 memory=2184956 CPUtime=8.3 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) S 1253 1256 31341 0 -1 1077944384 19077 13278 0 0 820 3 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10846988 memory=2184956 CPUtime=2.45 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) S 1253 1256 31341 0 -1 1077944384 12138 13278 0 0 233 5 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161363028592 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10846988 memory=2184956 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10846988 memory=2184956 CPUtime=1.48 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 1612 13278 0 0 67 74 5 2 20 0 15 0 473272988 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 2500.9 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2184956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.11 s]
/proc/loadavg: 1.34 1.44 1.81 3/227 2108
/proc/meminfo: memFree=8325360/32770624 swapFree=66972124/67108860
[pid=1256] ppid=1253 vsize=10846988 memory=2184956 CPUtime=2520.05 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 338616 13278 0 0 251645 353 5 2 20 0 15 0 473272973 11107315712 546239 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2711747 546239 3641 1 0 2673805 0
[pid=1256/tid=1309] ppid=1253 vsize=10846988 memory=2184956 CPUtime=2436.44 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 104698 13278 0 0 243570 67 5 2 20 0 15 0 473272982 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161912561024 140161515819036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10846988 memory=2184956 CPUtime=13.9 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 37671 13278 0 0 1332 51 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10846988 memory=2182904 CPUtime=13.94 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 33776 13278 0 0 1340 47 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10846988 memory=2184956 CPUtime=13.91 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 33166 13278 0 0 1336 48 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10846988 memory=164 CPUtime=13.89 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 42136 13278 0 0 1333 49 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10846988 memory=2184956 CPUtime=8.14 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 32015 13278 0 0 758 49 5 2 20 0 15 0 473272984 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10846988 memory=251936 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 63 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161398690912 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10846988 memory=251844 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160821879680 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10846988 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10846988 memory=1404 CPUtime=8.14 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) S 1253 1256 31341 0 -1 1077944384 20033 13278 0 0 804 3 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161365134192 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10846988 memory=3612 CPUtime=8.3 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) S 1253 1256 31341 0 -1 1077944384 19079 13278 0 0 820 3 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10846988 memory=0 CPUtime=2.45 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) S 1253 1256 31341 0 -1 1077944384 12140 13278 0 0 233 5 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161363028592 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10846988 memory=2184956 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10846988 memory=2184956 CPUtime=1.48 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 1628 13278 0 0 67 74 5 2 20 0 15 0 473272988 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2184956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.14 s]
# the end of solver process 1256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.53 s, system=3.58793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.11 s]
/proc/loadavg: 1.34 1.44 1.81 3/227 2108
/proc/meminfo: memFree=8325360/32770624 swapFree=66972124/67108860
[pid=1256] ppid=1253 vsize=10846988 memory=2184956 CPUtime=2520.05 cores=0,2,4,6
/proc/1256/stat : 1256 (java) S 1253 1256 31341 0 -1 1077944320 338616 13278 0 0 251645 353 5 2 20 0 15 0 473272973 11107315712 546239 33554432000 4194304 4196468 140722713792672 140722713775216 140161940725495 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
/proc/1256/statm: 2711747 546239 3641 1 0 2673805 0
[pid=1256/tid=1309] ppid=1253 vsize=10846988 memory=2184956 CPUtime=2436.44 cores=0,2,4,6
/proc/1256/task/1309/stat : 1309 (java) R 1253 1256 31341 0 -1 4202560 104698 13278 0 0 243570 67 5 2 20 0 15 0 473272982 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161912561024 140161515819036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1310] ppid=1253 vsize=10846988 memory=2184956 CPUtime=13.9 cores=0,2,4,6
/proc/1256/task/1310/stat : 1310 (java) S 1253 1256 31341 0 -1 1077944384 37671 13278 0 0 1332 51 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161944968336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1311] ppid=1253 vsize=10846988 memory=2182904 CPUtime=13.94 cores=0,2,4,6
/proc/1256/task/1311/stat : 1311 (java) S 1253 1256 31341 0 -1 1077944384 33776 13278 0 0 1340 47 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161833241616 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1312] ppid=1253 vsize=10846988 memory=2184956 CPUtime=13.91 cores=0,2,4,6
/proc/1256/task/1312/stat : 1312 (java) S 1253 1256 31341 0 -1 1077944384 33166 13278 0 0 1336 48 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161832188816 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1313] ppid=1253 vsize=10846988 memory=164 CPUtime=13.89 cores=0,2,4,6
/proc/1256/task/1313/stat : 1313 (java) S 1253 1256 31341 0 -1 1077944384 42136 13278 0 0 1333 49 5 2 20 0 15 0 473272983 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161831136016 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1314] ppid=1253 vsize=10846988 memory=2184956 CPUtime=8.14 cores=0,2,4,6
/proc/1256/task/1314/stat : 1314 (java) S 1253 1256 31341 0 -1 1077944384 32015 13278 0 0 758 49 5 2 20 0 15 0 473272984 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161399744880 140161940736642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1315] ppid=1253 vsize=10846988 memory=251936 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1315/stat : 1315 (java) S 1253 1256 31341 0 -1 1077944384 63 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161398690912 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1316] ppid=1253 vsize=10846988 memory=251844 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1316/stat : 1316 (java) S 1253 1256 31341 0 -1 1077944384 2 13278 0 0 0 0 5 2 20 0 15 0 473272985 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160821879680 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1317] ppid=1253 vsize=10846988 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1317/stat : 1317 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160514479952 140161940744091 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1318] ppid=1253 vsize=10846988 memory=1404 CPUtime=8.14 cores=0,2,4,6
/proc/1256/task/1318/stat : 1318 (java) S 1253 1256 31341 0 -1 1077944384 20033 13278 0 0 804 3 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161365134192 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1319] ppid=1253 vsize=10846988 memory=3612 CPUtime=8.3 cores=0,2,4,6
/proc/1256/task/1319/stat : 1319 (java) S 1253 1256 31341 0 -1 1077944384 19079 13278 0 0 820 3 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161364081392 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1320] ppid=1253 vsize=10846988 memory=0 CPUtime=2.45 cores=0,2,4,6
/proc/1256/task/1320/stat : 1320 (java) S 1253 1256 31341 0 -1 1077944384 12140 13278 0 0 233 5 5 2 20 0 15 0 473272987 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161363028592 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1321] ppid=1253 vsize=10846988 memory=2184956 CPUtime=0.07 cores=0,2,4,6
/proc/1256/task/1321/stat : 1321 (java) S 1253 1256 31341 0 -1 1077944384 3 13278 0 0 0 0 5 2 20 0 15 0 473272988 11107315712 546239 33554432000 4194304 4196468 140722713792672 140160480922336 140161940735701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
[pid=1256/tid=1322] ppid=1253 vsize=10846988 memory=2184956 CPUtime=1.48 cores=0,2,4,6
/proc/1256/task/1322/stat : 1322 (java) S 1253 1256 31341 0 -1 1077944384 1628 13278 0 0 67 74 5 2 20 0 15 0 473272988 11107315712 546239 33554432000 4194304 4196468 140722713792672 140161361975984 140161940736642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8597504 140722713799267 140722713801909 140722713801909 140722713804751 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2184956 KiB
Child status: 143
Real time (s): 2461.14
CPU time (s): 2520.11
CPU user time (s): 2516.53
CPU system time (s): 3.58793
CPU usage (%): 102.396
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2417984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.53
system time used= 3.58793
maximum resident set size= 2420032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227574
involuntary context switches= 9128
# summary of solver processes directly reported to runsolver:
# pid: 1256
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.53
# total CPU system time (s): 3.58793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.859 second user time and 23.9601 second system time
The end