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 (9103 MiB free)
memory of node 1: 16384 MiB (2630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305126-1534118145/watcher-4305126-1534118145 -o /tmp/evaluation-result-4305126-1534118145/solver-4305126-1534118145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534096675-9345 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=953372911 -superng HOME/instance-4305126-1534118145.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=13404, runsolver pid=13401
[startup+0.100164 s]*
/proc/loadavg: 1.68 1.61 1.59 3/206 13457
/proc/meminfo: memFree=12011000/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=10005480 memory=18324 CPUtime=0.09 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 4205 13287 0 0 1 0 5 3 20 0 6 0 229377748 10245611520 4581 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2501370 4581 1930 1 0 2489808 0
[pid=13404/tid=13457] ppid=13401 vsize=10005480 memory=4279135703980081295 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 2025 13287 0 0 0 0 5 3 20 0 6 0 229377757 10245611520 4581 33554432000 4194304 4196468 140723238354896 140120804831824 140120818677589 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 6 0 229377758 10245611520 4581 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=10005480 memory=140618074945152 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 6 0 229377758 10245611520 4581 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 6 0 229377758 10245611520 4581 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 6 0 229377758 10245611520 4581 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18324 KiB
[startup+0.21029 s]*
/proc/loadavg: 1.68 1.61 1.59 3/219 13470
/proc/meminfo: memFree=11985156/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=10982696 memory=45988 CPUtime=0.26 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 8331 13287 0 0 16 2 5 3 20 0 15 0 229377748 11246280704 11497 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2745674 11497 2960 1 0 2708109 0
[pid=13404/tid=13457] ppid=13401 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 4843 13287 0 0 10 1 5 3 20 0 15 0 229377757 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120804792720 140120833016989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=10982696 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=10982696 memory=140618074958810 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=10982696 memory=140618074945152 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377759 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120258894704 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 229377760 11246280704 11497 33554432000 4194304 4196468 140723238354896 140119630669344 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377760 11246280704 11497 33554432000 4194304 4196468 140723238354896 140119482819952 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246280704 11497 33554432000 4194304 4196468 140723238354896 140119214385488 140120833013659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) S 13401 13404 9314 0 -1 1077944384 485 13287 0 0 1 0 5 3 20 0 15 0 229377763 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120257841520 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) S 13401 13404 9314 0 -1 1077944384 142 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120256788720 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=10982696 memory=140618074945152 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) R 13401 13404 9314 0 -1 4202560 650 13287 0 0 3 0 5 3 20 0 15 0 229377763 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120255735920 140120811621273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246280704 11497 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13470] ppid=13401 vsize=10982696 memory=140618074945152 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13470/stat : 13470 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246280704 11497 33554432000 4194304 4196468 140723238354896 140120254684336 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45988 KiB
[startup+0.310903 s]*
/proc/loadavg: 1.68 1.61 1.59 3/219 13470
/proc/meminfo: memFree=11972684/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=10983192 memory=55300 CPUtime=0.39 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 9787 13287 0 0 28 3 5 3 20 0 15 0 229377748 11246788608 13825 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2745798 13825 3106 1 0 2708109 0
[pid=13404/tid=13457] ppid=13401 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 6525 13287 0 0 19 2 5 3 20 0 15 0 229377757 11246788608 14023 33554432000 4194304 4196468 140723238354896 140120804807072 140120813270784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 14023 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377759 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120258894704 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 229377760 11246788608 14089 33554432000 4194304 4196468 140723238354896 140119630669344 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377760 11246788608 14089 33554432000 4194304 4196468 140723238354896 140119482819952 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246788608 14089 33554432000 4194304 4196468 140723238354896 140119214385488 140120833013659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) S 13401 13404 9314 0 -1 1077944384 485 13287 0 0 1 0 5 3 20 0 15 0 229377763 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120257841520 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) S 13401 13404 9314 0 -1 1077944384 145 13287 0 0 1 0 5 3 20 0 15 0 229377763 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120256788720 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=10983192 memory=140618074945152 CPUtime=0.12 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) S 13401 13404 9314 0 -1 1077944384 664 13287 0 0 4 0 5 3 20 0 15 0 229377763 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120255735920 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246788608 14089 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13470] ppid=13401 vsize=10983192 memory=140618074945152 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13470/stat : 13470 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246788608 14089 33554432000 4194304 4196468 140723238354896 140120254684336 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55300 KiB
[startup+0.700728 s]
/proc/loadavg: 1.68 1.61 1.59 3/219 13470
/proc/meminfo: memFree=11960652/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=10983192 memory=90488 CPUtime=1 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 16798 13287 0 0 87 5 5 3 20 0 15 0 229377748 11246788608 22622 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2745798 22622 3237 1 0 2708109 0
[pid=13404/tid=13457] ppid=13401 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 12325 13287 0 0 55 3 5 3 20 0 15 0 229377757 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120804815352 140120818160702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=10983192 memory=140617967612688 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=10983192 memory=140621524238959 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377758 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=10983192 memory=1832 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 5 13287 0 0 0 0 5 3 20 0 15 0 229377759 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120258894704 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=10983192 memory=7161944214934349376 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 229377760 11246788608 22622 33554432000 4194304 4196468 140723238354896 140119630669344 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=10983192 memory=6082220498227391592 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377760 11246788608 22622 33554432000 4194304 4196468 140723238354896 140119482819952 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=10983192 memory=16348 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246788608 22622 33554432000 4194304 4196468 140723238354896 140119214385488 140120833013659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=10983192 memory=1176 CPUtime=0.14 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) S 13401 13404 9314 0 -1 1077944384 715 13287 0 0 6 0 5 3 20 0 15 0 229377763 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120257841520 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=10983192 memory=34456 CPUtime=0.18 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) S 13401 13404 9314 0 -1 1077944384 785 13287 0 0 10 0 5 3 20 0 15 0 229377763 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120256788720 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=10983192 memory=4048 CPUtime=0.21 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) S 13401 13404 9314 0 -1 1077944384 750 13287 0 0 13 0 5 3 20 0 15 0 229377763 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120255735920 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=10983192 memory=508 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246788608 22622 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13470] ppid=13401 vsize=10983192 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13470/stat : 13470 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377763 11246788608 22622 33554432000 4194304 4196468 140723238354896 140120254684336 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90488 KiB
[startup+1.5008 s]
/proc/loadavg: 1.68 1.61 1.59 3/219 13470
/proc/meminfo: memFree=11916732/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=10998092 memory=181732 CPUtime=2.28 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 23899 13287 0 0 210 10 5 3 20 0 15 0 229377748 11262046208 45433 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2749523 45433 3467 1 0 2711181 0
[pid=13404/tid=13457] ppid=13401 vsize=10998092 memory=66904 CPUtime=1.43 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 17945 13287 0 0 129 6 5 3 20 0 15 0 229377757 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120804824976 140120814558615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 48 13287 0 0 1 0 5 3 20 0 15 0 229377758 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=10998092 memory=281235935256736 CPUtime=0.09 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 24 13287 0 0 1 0 5 3 20 0 15 0 229377758 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 25 13287 0 0 1 0 5 3 20 0 15 0 229377758 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 236 13287 0 0 0 0 5 3 20 0 15 0 229377758 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 45 13287 0 0 1 0 5 3 20 0 15 0 229377759 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120258894704 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 14 13287 0 0 0 0 5 3 20 0 15 0 229377760 11262046208 45433 33554432000 4194304 4196468 140723238354896 140119630669408 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377760 11262046208 45433 33554432000 4194304 4196468 140723238354896 140119482819968 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=10998092 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377763 11262046208 45433 33554432000 4194304 4196468 140723238354896 140119214385488 140120833013659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=10998092 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) S 13401 13404 9314 0 -1 1077944384 1181 13287 0 0 20 0 5 3 20 0 15 0 229377763 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120257841520 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=10998092 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) S 13401 13404 9314 0 -1 1077944384 896 13287 0 0 22 0 5 3 20 0 15 0 229377763 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120256788720 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=10998092 memory=6791534058613427641 CPUtime=0.39 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) S 13401 13404 9314 0 -1 1077944384 1286 13287 0 0 31 0 5 3 20 0 15 0 229377763 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120255735920 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 229377763 11262046208 45433 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13470] ppid=13401 vsize=10998092 memory=281235935501184 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13470/stat : 13470 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377763 11262046208 45433 33554432000 4194304 4196468 140723238354896 140120254684336 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
Current children cumulated memory: 267956 KiB
[startup+4.328 s]
# the end of solver process 13404 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.09542 s, system=0.25928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20576 s]
/proc/loadavg: 1.70 1.62 1.59 6/219 13470
/proc/meminfo: memFree=11784048/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=11010400 memory=267432 CPUtime=6.3 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 43282 13287 0 0 605 17 5 3 20 0 15 0 229377748 11274649600 66858 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2752600 66858 3492 1 0 2714253 0
[pid=13404/tid=13457] ppid=13401 vsize=11010400 memory=6935649255759568960 CPUtime=3.09 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 28714 13287 0 0 292 9 5 3 20 0 15 0 229377757 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120804824784 140120813017511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=11010400 memory=2984339746955739232 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 56 13287 0 0 3 0 5 3 20 0 15 0 229377758 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=11010400 memory=3467824627879784490 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 35 13287 0 0 3 0 5 3 20 0 15 0 229377758 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=11010400 memory=7588684550706915689 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 40 13287 0 0 3 0 5 3 20 0 15 0 229377758 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 238 13287 0 0 2 0 5 3 20 0 15 0 229377758 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 326 13287 0 0 3 0 5 3 20 0 15 0 229377759 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120258894704 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=11010400 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 14 13287 0 0 0 0 5 3 20 0 15 0 229377760 11274649600 66858 33554432000 4194304 4196468 140723238354896 140119630669408 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=11010400 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377760 11274649600 66858 33554432000 4194304 4196468 140723238354896 140119482819968 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377763 11274649600 66858 33554432000 4194304 4196468 140723238354896 140119214385488 140120833013659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=11010400 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) R 13401 13404 9314 0 -1 4202560 3502 13287 0 0 103 1 5 3 20 0 15 0 229377763 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120257826384 140120811005872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=11010400 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) R 13401 13404 9314 0 -1 4202560 3388 13287 0 0 80 1 5 3 20 0 15 0 229377763 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120256788720 140120817921235 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=11010400 memory=0 CPUtime=1.2 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) S 13401 13404 9314 0 -1 1077944384 4763 13287 0 0 111 1 5 3 20 0 15 0 229377763 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120255735920 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 229377763 11274649600 66858 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13470] ppid=13401 vsize=11010400 memory=245 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13470/stat : 13470 (java) S 13401 13404 9314 0 -1 1077944384 8 13287 0 0 0 0 5 3 20 0 15 0 229377763 11274649600 66858 33554432000 4194304 4196468 140723238354896 140120254684336 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 267432 KiB
[startup+4.0007 s]*
/proc/loadavg: 1.70 1.62 1.59 5/219 13470
/proc/meminfo: memFree=11738272/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=11012448 memory=291292 CPUtime=8.52 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 64706 13287 0 0 825 19 5 3 20 0 15 0 229377748 11276746752 72823 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2753112 72823 3500 1 0 2714765 0
[pid=13404/tid=13457] ppid=13401 vsize=11012448 memory=0 CPUtime=3.89 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 41265 13287 0 0 371 10 5 3 20 0 15 0 229377757 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120804810800 140120833008967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=11012448 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 56 13287 0 0 3 0 5 3 20 0 15 0 229377758 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=11012448 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 35 13287 0 0 3 0 5 3 20 0 15 0 229377758 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=11012448 memory=281235935024992 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 40 13287 0 0 3 0 5 3 20 0 15 0 229377758 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=11012448 memory=140617967661103 CPUtime=0.1 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 238 13287 0 0 2 0 5 3 20 0 15 0 229377758 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=11012448 memory=281236042606224 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 326 13287 0 0 3 0 5 3 20 0 15 0 229377759 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120258894704 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=11012448 memory=140617967665711 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 14 13287 0 0 0 0 5 3 20 0 15 0 229377760 11276746752 72823 33554432000 4194304 4196468 140723238354896 140119630669408 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=11012448 memory=281235935336032 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377760 11276746752 72823 33554432000 4194304 4196468 140723238354896 140119482819968 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=11012448 memory=281235935340640 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377763 11276746752 72823 33554432000 4194304 4196468 140723238354896 140119214385488 140120833013659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=11012448 memory=0 CPUtime=1.56 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) S 13401 13404 9314 0 -1 1077944384 4354 13287 0 0 147 1 5 3 20 0 15 0 229377763 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120257841520 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=11012448 memory=67 CPUtime=1.54 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) R 13401 13404 9314 0 -1 4202560 8426 13287 0 0 144 2 5 3 20 0 15 0 229377763 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120256768608 140120814539251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=11012448 memory=281236042617792 CPUtime=1.55 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) S 13401 13404 9314 0 -1 1077944384 7746 13287 0 0 145 2 5 3 20 0 15 0 229377763 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120255735920 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=11012448 memory=67 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 229377763 11276746752 72823 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13470] ppid=13401 vsize=11012448 memory=281236042624704 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13470/stat : 13470 (java) S 13401 13404 9314 0 -1 1077944384 8 13287 0 0 0 0 5 3 20 0 15 0 229377763 11276746752 72823 33554432000 4194304 4196468 140723238354896 140120254684336 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 291292 KiB
[startup+4.20319 s]
/proc/loadavg: 1.70 1.62 1.59 5/219 13470
/proc/meminfo: memFree=11738272/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=11082760 memory=328484 CPUtime=9.03 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 74161 13287 0 0 874 21 5 3 20 0 15 0 229377748 11348746240 82121 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2770690 82121 3501 1 0 2732343 0
[pid=13404/tid=13457] ppid=13401 vsize=11082760 memory=301741390705210731 CPUtime=4.08 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) R 13401 13404 9314 0 -1 4202560 49238 13287 0 0 389 11 5 3 20 0 15 0 229377757 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120804825280 140120833006998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=11082760 memory=297290490263797243 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 56 13287 0 0 3 0 5 3 20 0 15 0 229377758 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=11082760 memory=7234567026132867172 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 35 13287 0 0 3 0 5 3 20 0 15 0 229377758 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=11082760 memory=6935649255759568960 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 40 13287 0 0 3 0 5 3 20 0 15 0 229377758 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=11082760 memory=4715433313220523562 CPUtime=0.1 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 238 13287 0 0 2 0 5 3 20 0 15 0 229377758 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=11082760 memory=1329904169539632281 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 326 13287 0 0 3 0 5 3 20 0 15 0 229377759 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120258894704 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=11082760 memory=4206468019014099040 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 14 13287 0 0 0 0 5 3 20 0 15 0 229377760 11348746240 82121 33554432000 4194304 4196468 140723238354896 140119630669408 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=11082760 memory=7510432583741839257 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 229377760 11348746240 82121 33554432000 4194304 4196468 140723238354896 140119482819968 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=11082760 memory=8475934422144423578 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 229377763 11348746240 82121 33554432000 4194304 4196468 140723238354896 140119214385488 140120833013659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=11082760 memory=-7088785026379990432 CPUtime=1.61 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) R 13401 13404 9314 0 -1 1077944384 4401 13287 0 0 152 1 5 3 20 0 15 0 229377763 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120257841648 140120833005269 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=11082760 memory=-2541025661996457098 CPUtime=1.73 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) R 13401 13404 9314 0 -1 4202560 9698 13287 0 0 163 2 5 3 20 0 15 0 229377763 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120256774744 140120814520606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=11082760 memory=6944656592455097440 CPUtime=1.62 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) R 13401 13404 9314 0 -1 4202560 7908 13287 0 0 152 2 5 3 20 0 15 0 229377763 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120255733712 140120833006998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=11082760 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 229377763 11348746240 82121 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13470] ppid=13401 vsize=11082760 memory=67 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13470/stat : 13470 (java) S 13401 13404 9314 0 -1 1077944384 9 13287 0 0 0 0 5 3 20 0 15 0 229377763 11348746240 82121 33554432000 4194304 4196468 140723238354896 140120254684336 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 9.03 s
Current children cumulated vsize: 11082760 KiB
Current children cumulated memory: 328484 KiB
[startup+4.30076 s]
/proc/loadavg: 1.70 1.62 1.59 5/219 13470
/proc/meminfo: memFree=11738272/32770624 swapFree=67108688/67108860
[pid=13404] ppid=13401 vsize=11148304 memory=329476 CPUtime=9.31 cores=0,2,4,6
/proc/13404/stat : 13404 (java) S 13401 13404 9314 0 -1 1077944320 75326 13287 0 0 902 21 5 3 20 0 14 0 229377748 11415863296 82369 33554432000 4194304 4196468 140723238354896 140723238337440 140120832995063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
/proc/13404/statm: 2787076 82369 3504 1 0 2748729 0
[pid=13404/tid=13457] ppid=13401 vsize=11148304 memory=8 CPUtime=4.16 cores=0,2,4,6
/proc/13404/task/13457/stat : 13457 (java) S 13401 13404 9314 0 -1 1077944384 49457 13287 0 0 397 11 5 3 20 0 14 0 229377757 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120804838544 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13458] ppid=13401 vsize=11148304 memory=267956 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13458/stat : 13458 (java) S 13401 13404 9314 0 -1 1077944384 56 13287 0 0 3 0 5 3 20 0 14 0 229377758 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120837237392 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13459] ppid=13401 vsize=11148304 memory=3824 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13459/stat : 13459 (java) S 13401 13404 9314 0 -1 1077944384 35 13287 0 0 3 0 5 3 20 0 14 0 229377758 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120691956240 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13460] ppid=13401 vsize=11148304 memory=62460 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13460/stat : 13460 (java) S 13401 13404 9314 0 -1 1077944384 40 13287 0 0 3 0 5 3 20 0 14 0 229377758 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120372013456 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13461] ppid=13401 vsize=11148304 memory=269336 CPUtime=0.1 cores=0,2,4,6
/proc/13404/task/13461/stat : 13461 (java) S 13401 13404 9314 0 -1 1077944384 238 13287 0 0 2 0 5 3 20 0 14 0 229377758 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120370960656 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13462] ppid=13401 vsize=11148304 memory=1 CPUtime=0.11 cores=0,2,4,6
/proc/13404/task/13462/stat : 13462 (java) S 13401 13404 9314 0 -1 1077944384 465 13287 0 0 3 0 5 3 20 0 14 0 229377759 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120258894912 140120833006210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13463] ppid=13401 vsize=11148304 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13463/stat : 13463 (java) S 13401 13404 9314 0 -1 1077944384 14 13287 0 0 0 0 5 3 20 0 14 0 229377760 11415863296 82369 33554432000 4194304 4196468 140723238354896 140119630669408 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13464] ppid=13401 vsize=11148304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13464/stat : 13464 (java) S 13401 13404 9314 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 14 0 229377760 11415863296 82369 33554432000 4194304 4196468 140723238354896 140119482819968 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13465] ppid=13401 vsize=11148304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13465/stat : 13465 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 14 0 229377763 11415863296 82369 33554432000 4194304 4196468 140723238354896 140119214384544 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13466] ppid=13401 vsize=11148304 memory=-3472574513799858008 CPUtime=1.68 cores=0,2,4,6
/proc/13404/task/13466/stat : 13466 (java) S 13401 13404 9314 0 -1 1077944384 4440 13287 0 0 159 1 5 3 20 0 14 0 229377763 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120257828672 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13467] ppid=13401 vsize=11148304 memory=6944656575208382560 CPUtime=1.83 cores=0,2,4,6
/proc/13404/task/13467/stat : 13467 (java) R 13401 13404 9314 0 -1 4202560 10383 13287 0 0 173 2 5 3 20 0 14 0 229377763 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120256774880 140120833008927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13468] ppid=13401 vsize=11148304 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/13404/task/13468/stat : 13468 (java) S 13401 13404 9314 0 -1 1077944384 7974 13287 0 0 155 2 5 3 20 0 14 0 229377763 11415863296 82369 33554432000 4194304 4196468 140723238354896 140120255735920 140120833006210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
[pid=13404/tid=13469] ppid=13401 vsize=11148304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13404/task/13469/stat : 13469 (java) S 13401 13404 9314 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 14 0 229377763 11415863296 82369 33554432000 4194304 4196468 140723238354896 140118744623328 140120833005269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22548480 140723238357604 140723238360412 140723238360412 140723238363087 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 11148304 KiB
Current children cumulated memory: 329476 KiB
Child status: 0
Real time (s): 4.32804
CPU time (s): 9.3547
CPU user time (s): 9.09542
CPU system time (s): 0.25928
CPU usage (%): 216.141
Max. virtual memory (cumulated for all children) (KiB): 11148304
Max. memory (cumulated for all children) (KiB): 329476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.09541
system time used= 0.25928
maximum resident set size= 331496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6993
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 13404
# total CPU time (s): 9.3547
# total CPU user time (s): 9.09542
# total CPU system time (s): 0.25928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055018 second user time and 0.080026 second system time
The end