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 (13438 MiB free)
memory of node 1: 16384 MiB (13071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299137-1532793914/watcher-4299137-1532793914 -o /tmp/evaluation-result-4299137-1532793914/solver-4299137-1532793914 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532774102-26074 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299137-1532793914.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
Current StackSize limit: 8192 KiB
solver pid=28343, runsolver pid=28340
[startup+0.100161 s]*
/proc/loadavg: 1.15 1.33 1.38 4/215 28358
/proc/meminfo: memFree=27130132/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10658972 memory=28192 CPUtime=0.12 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 4935 0 0 0 11 1 0 0 20 0 15 0 96954619 10914787328 7048 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664743 7048 2821 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10658972 memory=-8197568871503531138 CPUtime=0.09 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 2836 0 0 0 8 1 0 0 20 0 15 0 96954619 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833965914080 139833961704854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10658972 memory=140603288409728 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10658972 memory=140603288409728 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96954621 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96954622 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96954622 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) R 28340 28343 26043 0 -1 4202560 449 0 0 0 0 0 0 0 20 0 15 0 96954624 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833450104816 139833947110864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) R 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833449052272 139833961704066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10658972 memory=140603288409728 CPUtime=0.01 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) R 28340 28343 26043 0 -1 4202560 291 0 0 0 1 0 0 0 20 0 15 0 96954624 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833447999728 139833946858574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10658972 memory=140603288409728 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) R 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954625 10914787328 7048 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 28192 KiB
[startup+0.210588 s]*
/proc/loadavg: 1.15 1.33 1.38 4/215 28358
/proc/meminfo: memFree=27118704/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10658972 memory=40240 CPUtime=0.34 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 7609 0 0 0 32 2 0 0 20 0 15 0 96954619 10914787328 10060 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664743 10060 2998 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 4582 0 0 0 18 2 0 0 20 0 15 0 96954619 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833965932288 139833548885296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10658972 memory=345 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10658972 memory=140603288436060 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96954620 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10658972 memory=140603288409728 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96954621 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96954622 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96954622 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10658972 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) R 28340 28343 26043 0 -1 4202560 532 0 0 0 1 0 0 0 20 0 15 0 96954624 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833450104912 139833946819308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10658972 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) R 28340 28343 26043 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 15 0 96954624 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833449052272 139833961704066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10658972 memory=140603288409728 CPUtime=0.08 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) R 28340 28343 26043 0 -1 4202560 815 0 0 0 8 0 0 0 20 0 15 0 96954624 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833447997392 139833953930046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10658972 memory=140603288409728 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954625 10914787328 10060 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40240 KiB
[startup+0.310523 s]*
/proc/loadavg: 1.15 1.33 1.38 4/215 28358
/proc/meminfo: memFree=27114176/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10659048 memory=47072 CPUtime=0.58 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 8304 0 0 0 56 2 0 0 20 0 15 0 96954619 10914865152 11768 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664762 11768 3060 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 4954 0 0 0 28 2 0 0 20 0 15 0 96954619 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833965927952 139833945773406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10659048 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10659048 memory=140603288436055 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10659048 memory=140603288409728 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96954621 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10659048 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) R 28340 28343 26043 0 -1 4202560 670 0 0 0 5 0 0 0 20 0 15 0 96954624 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833450104816 139833941074346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10659048 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) R 28340 28343 26043 0 -1 1077944384 353 0 0 0 5 0 0 0 20 0 15 0 96954624 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833449052272 139833961704066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10659048 memory=140603288409728 CPUtime=0.16 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) R 28340 28343 26043 0 -1 4202560 960 0 0 0 16 0 0 0 20 0 15 0 96954624 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833447999856 139833954792766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10659048 memory=140603288409728 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 11768 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 47072 KiB
[startup+0.701185 s]
/proc/loadavg: 1.15 1.33 1.38 6/215 28358
/proc/meminfo: memFree=27080112/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10659048 memory=124016 CPUtime=1.88 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 11288 0 0 0 183 5 0 0 20 0 15 0 96954619 10914865152 31004 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664762 31004 3115 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10659048 memory=1784 CPUtime=0.68 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 5298 0 0 0 65 3 0 0 20 0 15 0 96954619 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833965926496 139833553235807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10659048 memory=5752 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10659048 memory=4588 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10659048 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10659048 memory=1852 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96954621 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10659048 memory=872 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10659048 memory=8068 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10659048 memory=7518026621751089001 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10659048 memory=7881696724453321575 CPUtime=0.4 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) R 28340 28343 26043 0 -1 4202560 1596 0 0 0 40 0 0 0 20 0 15 0 96954624 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833450092128 139833946819342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10659048 memory=5787213827063244903 CPUtime=0.39 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) R 28340 28343 26043 0 -1 4202560 1212 0 0 0 39 0 0 0 20 0 15 0 96954624 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833449038152 139833940949528 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10659048 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) S 28340 28343 26043 0 -1 1077944384 1811 0 0 0 38 0 0 0 20 0 15 0 96954624 10914865152 31004 33554432000 4194304 4196468 140722193083472 139833447999728 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 31516 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10659048 memory=33 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) S 28340 28343 26043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 31516 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 124016 KiB
[startup+1.50118 s]
/proc/loadavg: 1.15 1.33 1.38 5/215 28358
/proc/meminfo: memFree=27000068/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10659048 memory=216312 CPUtime=4.32 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 24461 0 0 0 423 9 0 0 20 0 15 0 96954619 10914865152 54078 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664762 54078 3150 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10659048 memory=6791534058613427641 CPUtime=1.45 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 6169 0 0 0 141 4 0 0 20 0 15 0 96954619 10914865152 54078 33554432000 4194304 4196468 140722193083472 139833965926544 139833953730500 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10659048 memory=-6951259422114956437 CPUtime=0.01 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 15 0 96954620 10914865152 54078 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10659048 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 54078 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10659048 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 54078 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10659048 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 96954620 10914865152 54078 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 96954621 10914865152 54078 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
################
# More data... #
################
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 53268 0 0 0 235448 62 0 0 20 0 15 0 96954619 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833965932416 139833553565570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10659048 memory=2051948 CPUtime=14.64 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 22664 0 0 0 1402 62 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10659048 memory=4140 CPUtime=14.66 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 24679 0 0 0 1402 64 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10659048 memory=2051948 CPUtime=14.59 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 21879 0 0 0 1404 55 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10659048 memory=2051948 CPUtime=14.62 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 19336 0 0 0 1395 67 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10659048 memory=2051948 CPUtime=8.08 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 27436 0 0 0 750 58 0 0 20 0 15 0 96954621 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2.13 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) S 28340 28343 26043 0 -1 1077944384 7405 0 0 0 212 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833450104816 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10659048 memory=1852 CPUtime=2.05 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) S 28340 28343 26043 0 -1 1077944384 10672 0 0 0 203 2 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833449052272 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0.48 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) S 28340 28343 26043 0 -1 1077944384 2548 0 0 0 47 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833447999728 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10659048 memory=56 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10659048 memory=2051948 CPUtime=1.67 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) S 28340 28343 26043 0 -1 1077944384 1945 0 0 0 75 92 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 2428.11 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2051948 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.33 1.35 3/215 28507
/proc/meminfo: memFree=24612108/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2489.17 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 196948 0 0 0 248518 399 0 0 20 0 15 0 96954619 10914865152 512987 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664762 512987 3171 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2414.36 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 54611 0 0 0 241374 62 0 0 20 0 15 0 96954619 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833965932240 139833554297815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.03 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 23000 0 0 0 1439 64 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.03 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 25247 0 0 0 1437 66 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10659048 memory=2051948 CPUtime=14.96 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 22208 0 0 0 1440 56 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10659048 memory=2051948 CPUtime=14.99 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 19702 0 0 0 1430 69 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10659048 memory=2051948 CPUtime=8.32 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 28127 0 0 0 772 60 0 0 20 0 15 0 96954621 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10659048 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10659048 memory=27996 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2.13 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) S 28340 28343 26043 0 -1 1077944384 7413 0 0 0 212 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833450104816 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10659048 memory=1228 CPUtime=2.05 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) S 28340 28343 26043 0 -1 1077944384 10680 0 0 0 203 2 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833449052272 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0.48 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) S 28340 28343 26043 0 -1 1077944384 2556 0 0 0 47 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833447999728 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10659048 memory=2051948 CPUtime=1.71 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) S 28340 28343 26043 0 -1 1077944384 1995 0 0 0 77 94 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 2489.17 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2051948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.7 s]
/proc/loadavg: 1.26 1.32 1.35 4/215 28508
/proc/meminfo: memFree=24608140/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2520.07 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 198981 0 0 0 251605 402 0 0 20 0 15 0 96954619 10914865152 512987 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664762 512987 3171 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2444.42 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 55390 0 0 0 244380 62 0 0 20 0 15 0 96954619 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833965932416 139833554299975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.2 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 23125 0 0 0 1455 65 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.2 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 25265 0 0 0 1454 66 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.14 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 22840 0 0 0 1457 57 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10659048 memory=4588 CPUtime=15.17 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 19800 0 0 0 1448 69 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10659048 memory=2051948 CPUtime=8.43 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 28467 0 0 0 782 61 0 0 20 0 15 0 96954621 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2.13 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) S 28340 28343 26043 0 -1 1077944384 7418 0 0 0 212 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833450104816 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10659048 memory=4140 CPUtime=2.06 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) S 28340 28343 26043 0 -1 1077944384 10684 0 0 0 204 2 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833449052272 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10659048 memory=27996 CPUtime=0.48 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) S 28340 28343 26043 0 -1 1077944384 2560 0 0 0 47 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833447999728 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10659048 memory=1852 CPUtime=1.74 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) S 28340 28343 26043 0 -1 1077944384 2023 0 0 0 79 95 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2051948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.72 s]
# the end of solver process 28343 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.07 s, system=4.03614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.7 s]
/proc/loadavg: 1.26 1.32 1.35 4/215 28508
/proc/meminfo: memFree=24608140/32770624 swapFree=67108436/67108860
[pid=28343] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2520.07 cores=0,2,4,6
/proc/28343/stat : 28343 (java) S 28340 28343 26043 0 -1 1077944320 198981 0 0 0 251605 402 0 0 20 0 15 0 96954619 10914865152 512987 33554432000 4194304 4196468 140722193083472 140722193066016 139833961692919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
/proc/28343/statm: 2664762 512987 3171 1 0 2627263 0
[pid=28343/tid=28345] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2444.42 cores=0,2,4,6
/proc/28343/task/28345/stat : 28345 (java) R 28340 28343 26043 0 -1 4202560 55390 0 0 0 244380 62 0 0 20 0 15 0 96954619 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833965932416 139833554299975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28346] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.2 cores=0,2,4,6
/proc/28343/task/28346/stat : 28346 (java) S 28340 28343 26043 0 -1 1077944384 23125 0 0 0 1455 65 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833887766800 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28347] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.2 cores=0,2,4,6
/proc/28343/task/28347/stat : 28347 (java) S 28340 28343 26043 0 -1 1077944384 25265 0 0 0 1454 66 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833886714256 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28348] ppid=28340 vsize=10659048 memory=2051948 CPUtime=15.14 cores=0,2,4,6
/proc/28343/task/28348/stat : 28348 (java) S 28340 28343 26043 0 -1 1077944384 22840 0 0 0 1457 57 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833885661712 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28349] ppid=28340 vsize=10659048 memory=4588 CPUtime=15.17 cores=0,2,4,6
/proc/28343/task/28349/stat : 28349 (java) S 28340 28343 26043 0 -1 1077944384 19800 0 0 0 1448 69 0 0 20 0 15 0 96954620 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833884609168 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28350] ppid=28340 vsize=10659048 memory=2051948 CPUtime=8.43 cores=0,2,4,6
/proc/28343/task/28350/stat : 28350 (java) S 28340 28343 26043 0 -1 1077944384 28467 0 0 0 782 61 0 0 20 0 15 0 96954621 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833454316016 139833961704066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28351] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28351/stat : 28351 (java) S 28340 28343 26043 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833453262240 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28352] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28352/stat : 28352 (java) S 28340 28343 26043 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 96954622 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833452209648 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28353] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28353/stat : 28353 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833451158224 139833961711515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28354] ppid=28340 vsize=10659048 memory=2051948 CPUtime=2.13 cores=0,2,4,6
/proc/28343/task/28354/stat : 28354 (java) S 28340 28343 26043 0 -1 1077944384 7418 0 0 0 212 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833450104816 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28355] ppid=28340 vsize=10659048 memory=4140 CPUtime=2.06 cores=0,2,4,6
/proc/28343/task/28355/stat : 28355 (java) S 28340 28343 26043 0 -1 1077944384 10684 0 0 0 204 2 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833449052272 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28356] ppid=28340 vsize=10659048 memory=27996 CPUtime=0.48 cores=0,2,4,6
/proc/28343/task/28356/stat : 28356 (java) S 28340 28343 26043 0 -1 1077944384 2560 0 0 0 47 1 0 0 20 0 15 0 96954624 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833447999728 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28357] ppid=28340 vsize=10659048 memory=2051948 CPUtime=0 cores=0,2,4,6
/proc/28343/task/28357/stat : 28357 (java) S 28340 28343 26043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833446947424 139833961703125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
[pid=28343/tid=28358] ppid=28340 vsize=10659048 memory=1852 CPUtime=1.74 cores=0,2,4,6
/proc/28343/task/28358/stat : 28358 (java) S 28340 28343 26043 0 -1 1077944384 2023 0 0 0 79 95 0 0 20 0 15 0 96954625 10914865152 512987 33554432000 4194304 4196468 140722193083472 139833445894960 139833961704066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10997760 140722193089709 140722193089801 140722193089801 140722193092559 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 2051948 KiB
Child status: 143
Real time (s): 2472.72
CPU time (s): 2520.11
CPU user time (s): 2516.07
CPU system time (s): 4.03614
CPU usage (%): 101.916
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2236132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 4.03614
maximum resident set size= 2237372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 290974
involuntary context switches= 9228
# summary of solver processes directly reported to runsolver:
# pid: 28343
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.07
# total CPU system time (s): 4.03614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1514 second user time and 23.2891 second system time
The end