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 (13338 MiB free)
memory of node 1: 16384 MiB (11994 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259371-1502649304/watcher-4259371-1502649304 -o /tmp/evaluation-result-4259371-1502649304/solver-4259371-1502649304 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9044 --watchdog 312 bin/concrete HOME/instance-4259371-1502649304.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13667, runsolver pid=13664
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 2.26 2.14 2.06 3/207 13721
/proc/meminfo: memFree=25934292/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=13362960 memory=15172 CPUtime=0.08 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 4442 12577 0 0 1 0 5 2 20 0 6 0 98011319 13683671040 3793 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3340740 3793 1934 1 0 3329178 0
[pid=13667/tid=13717] ppid=13664 vsize=13362960 memory=4279135703946854028 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) R 13664 13667 3242 0 -1 4202560 2307 12577 0 0 1 0 5 2 20 0 6 0 98011328 13683671040 3859 33554432000 4194304 4196468 140723053013424 139631240778320 139631220622686 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=13362960 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 6 0 98011329 13683671040 3859 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=13362960 memory=139663474452096 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 6 0 98011329 13683671040 3859 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=13362960 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 6 0 98011329 13683671040 3859 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=13362960 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 2 12577 0 0 0 0 5 2 20 0 6 0 98011329 13683671040 3859 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13362960 KiB
Current children cumulated memory: 15172 KiB
[startup+0.209861 s]*
/proc/loadavg: 2.26 2.14 2.06 3/216 13730
/proc/meminfo: memFree=25925688/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=13978600 memory=39520 CPUtime=0.25 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 8080 12577 0 0 17 1 5 2 20 0 15 0 98011319 14314086400 9880 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3494650 9880 2972 1 0 3482967 0
[pid=13667/tid=13717] ppid=13664 vsize=13978600 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) R 13664 13667 3242 0 -1 4202560 4585 12577 0 0 11 0 5 2 20 0 15 0 98011328 14314086400 9880 33554432000 4194304 4196468 140723053013424 139631240728944 139631216819024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=13978600 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=13978600 memory=139663475173872 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 2 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=13978600 memory=139663474452096 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13664 13667 3242 0 -1 1077944384 2 12577 0 0 0 0 5 2 20 0 15 0 98011330 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630710695920 139631236553346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 33 12577 0 0 0 0 5 2 20 0 15 0 98011330 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630709642144 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 21 12577 0 0 0 0 5 2 20 0 15 0 98011331 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630708589552 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011333 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=13978600 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 496 12577 0 0 1 0 5 2 20 0 15 0 98011333 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 252 12577 0 0 0 0 5 2 20 0 15 0 98011333 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=13978600 memory=139663474452096 CPUtime=0.1 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) S 13664 13667 3242 0 -1 1077944384 530 12577 0 0 3 0 5 2 20 0 15 0 98011333 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630704380656 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011334 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=13978600 memory=139663474452096 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011334 14314086400 9880 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 39520 KiB
[startup+0.310336 s]*
/proc/loadavg: 2.26 2.14 2.06 4/216 13730
/proc/meminfo: memFree=25910680/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=13979028 memory=50344 CPUtime=0.38 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 11153 12577 0 0 29 2 5 2 20 0 15 0 98011319 14314524672 12586 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3494757 12586 3087 1 0 3482967 0
[pid=13667/tid=13717] ppid=13664 vsize=13979028 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) R 13664 13667 3242 0 -1 4202560 7650 12577 0 0 20 1 5 2 20 0 15 0 98011328 14314524672 12586 33554432000 4194304 4196468 140723053013424 139631240763808 139631220622686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 2 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13664 13667 3242 0 -1 1077944384 2 12577 0 0 0 0 5 2 20 0 15 0 98011330 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630710695920 139631236553346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 33 12577 0 0 0 0 5 2 20 0 15 0 98011330 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630709642144 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 21 12577 0 0 0 0 5 2 20 0 15 0 98011331 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630708589552 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011333 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=13979028 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 499 12577 0 0 1 0 5 2 20 0 15 0 98011333 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=13979028 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 253 12577 0 0 1 0 5 2 20 0 15 0 98011333 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=13979028 memory=139663474452096 CPUtime=0.12 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) R 13664 13667 3242 0 -1 4202560 535 12577 0 0 5 0 5 2 20 0 15 0 98011333 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630704380656 139631220735078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011334 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=13979028 memory=139663474452096 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011334 14314524672 12586 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 50344 KiB
[startup+0.70071 s]
/proc/loadavg: 2.26 2.14 2.06 5/216 13730
/proc/meminfo: memFree=25903732/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=13979176 memory=80932 CPUtime=0.96 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 16981 12577 0 0 86 3 5 2 20 0 15 0 98011319 14314676224 20233 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3494794 20233 3267 1 0 3482967 0
[pid=13667/tid=13717] ppid=13664 vsize=13979176 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) R 13664 13667 3242 0 -1 4202560 12637 12577 0 0 56 2 5 2 20 0 15 0 98011328 14314676224 20233 33554432000 4194304 4196468 140723053013424 139631240761264 139631236564125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=13979176 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=13979176 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=13979176 memory=139663344022320 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=13979176 memory=139663746531938 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 2 12577 0 0 0 0 5 2 20 0 15 0 98011329 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=13979176 memory=4620 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13664 13667 3242 0 -1 1077944384 6 12577 0 0 0 0 5 2 20 0 15 0 98011330 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630710695920 139631236553346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=13979176 memory=4639098309541128805 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 33 12577 0 0 0 0 5 2 20 0 15 0 98011330 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630709642144 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=13979176 memory=7885635084775281009 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 21 12577 0 0 0 0 5 2 20 0 15 0 98011331 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630708589552 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=13979176 memory=18476 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011333 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=13979176 memory=16976 CPUtime=0.15 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 1016 12577 0 0 8 0 5 2 20 0 15 0 98011333 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=13979176 memory=4048 CPUtime=0.14 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 521 12577 0 0 7 0 5 2 20 0 15 0 98011333 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=13979176 memory=1792 CPUtime=0.2 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) S 13664 13667 3242 0 -1 1077944384 586 12577 0 0 13 0 5 2 20 0 15 0 98011333 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630704380656 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=13979176 memory=648 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011334 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=13979176 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 1 12577 0 0 0 0 5 2 20 0 15 0 98011334 14314676224 20233 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 13979176 KiB
Current children cumulated memory: 80932 KiB
[startup+1.50069 s]
/proc/loadavg: 2.26 2.14 2.06 3/216 13730
/proc/meminfo: memFree=25841860/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=13991700 memory=172288 CPUtime=2.16 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 27778 12577 0 0 199 10 5 2 20 0 15 0 98011319 14327500800 43072 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3497925 43072 3405 1 0 3486039 0
[pid=13667/tid=13717] ppid=13664 vsize=13991700 memory=57448 CPUtime=1.42 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) R 13664 13667 3242 0 -1 4202560 20106 12577 0 0 129 6 5 2 20 0 15 0 98011328 14327500800 43072 33554432000 4194304 4196468 140723053013424 139631240759632 139631236554134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=13991700 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 60 12577 0 0 0 0 5 2 20 0 15 0 98011329 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=13991700 memory=279326688075936 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 47 12577 0 0 1 0 5 2 20 0 15 0 98011329 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 50 12577 0 0 1 0 5 2 20 0 15 0 98011329 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 212 12577 0 0 1 0 5 2 20 0 15 0 98011329 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13664 13667 3242 0 -1 1077944384 1889 12577 0 0 1 0 5 2 20 0 15 0 98011330 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630710695920 139631236553346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=13991700 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 54 12577 0 0 0 0 5 2 20 0 15 0 98011330 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630709642208 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=13991700 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 46 12577 0 0 0 0 5 2 20 0 15 0 98011331 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630708589552 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=13991700 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011333 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=13991700 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 1234 12577 0 0 15 0 5 2 20 0 15 0 98011333 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=13991700 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 728 12577 0 0 17 0 5 2 20 0 15 0 98011333 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=13991700 memory=6791534058613427641 CPUtime=0.36 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) R 13664 13667 3242 0 -1 4202560 1191 12577 0 0 29 0 5 2 20 0 15 0 98011333 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630704380656 139631222554048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=13991700 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011334 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=13991700 memory=279326688320384 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 7 12577 0 0 0 0 5 2 20 0 15 0 98011334 14327500800 43072 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 13991700 KiB
################
# More data... #
################
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 3423 12577 0 0 205 28 5 2 20 0 15 0 98011329 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=14073808 memory=4253128 CPUtime=2.41 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 3520 12577 0 0 206 28 5 2 20 0 15 0 98011329 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=14073808 memory=4144 CPUtime=2.39 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 3370 12577 0 0 204 28 5 2 20 0 15 0 98011329 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=14073808 memory=1296 CPUtime=0.18 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13664 13667 3242 0 -1 1077944384 12197 12577 0 0 10 1 5 2 20 0 15 0 98011330 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630710695920 139631236553346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=14073808 memory=2408 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 56 12577 0 0 0 0 5 2 20 0 15 0 98011330 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630709642272 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=14073808 memory=4252100 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 46 12577 0 0 0 0 5 2 20 0 15 0 98011331 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630708589568 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=14073808 memory=4144 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011333 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=14073808 memory=4252100 CPUtime=7.23 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 15721 12577 0 0 713 3 5 2 20 0 15 0 98011333 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=14073808 memory=4144 CPUtime=7.59 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 16905 12577 0 0 750 2 5 2 20 0 15 0 98011333 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=14073808 memory=4253128 CPUtime=1.78 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) S 13664 13667 3242 0 -1 1077944384 7634 12577 0 0 168 3 5 2 20 0 15 0 98011333 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630704380656 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=14073808 memory=4144 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011334 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=14073808 memory=28648 CPUtime=0.18 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 354 12577 0 0 5 6 5 2 20 0 15 0 98011334 14411579392 1063025 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 245.75 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 4252100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+228.601 s]
/proc/loadavg: 1.94 2.06 2.05 3/216 13858
/proc/meminfo: memFree=17855824/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=14073808 memory=4252108 CPUtime=252.1 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 132902 12577 0 0 25013 190 5 2 20 0 15 0 98011319 14411579392 1063027 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3518452 1063027 3506 1 0 3506007 0
[pid=13667/tid=13717] ppid=13664 vsize=14073808 memory=28648 CPUtime=225.98 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) R 13664 13667 3242 0 -1 4202560 64265 12577 0 0 22533 58 5 2 20 0 15 0 98011328 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139631240776688 139630889404085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=14073808 memory=1296 CPUtime=2.41 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 3255 12577 0 0 206 28 5 2 20 0 15 0 98011329 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=14073808 memory=2408 CPUtime=2.41 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 3423 12577 0 0 206 28 5 2 20 0 15 0 98011329 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=14073808 memory=1732 CPUtime=2.43 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 3520 12577 0 0 208 28 5 2 20 0 15 0 98011329 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=14073808 memory=1224 CPUtime=2.41 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 3370 12577 0 0 206 28 5 2 20 0 15 0 98011329 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=14073808 memory=12032 CPUtime=0.18 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) S 13664 13667 3242 0 -1 1077944384 12198 12577 0 0 10 1 5 2 20 0 15 0 98011330 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630710695920 139631236553346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=14073808 memory=5792 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 56 12577 0 0 0 0 5 2 20 0 15 0 98011330 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630709642272 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=14073808 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 46 12577 0 0 0 0 5 2 20 0 15 0 98011331 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630708589568 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=14073808 memory=1436 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011333 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=14073808 memory=1012 CPUtime=7.23 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 15721 12577 0 0 713 3 5 2 20 0 15 0 98011333 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=14073808 memory=1712 CPUtime=7.59 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 16905 12577 0 0 750 2 5 2 20 0 15 0 98011333 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=14073808 memory=1952 CPUtime=1.78 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) S 13664 13667 3242 0 -1 1077944384 7634 12577 0 0 168 3 5 2 20 0 15 0 98011333 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630704380656 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=14073808 memory=8612 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 15 0 98011334 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=14073808 memory=4620 CPUtime=0.18 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 354 12577 0 0 5 6 5 2 20 0 15 0 98011334 14411579392 1063027 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 14073808 KiB
Current children cumulated memory: 4252108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+229.072 s]
# the end of solver process 13667 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.641 s, system=1.97622 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+228.801 s]
/proc/loadavg: 1.94 2.06 2.05 3/216 13858
/proc/meminfo: memFree=17855824/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=14206936 memory=4258480 CPUtime=252.79 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 145460 12577 0 0 25080 192 5 2 20 0 17 0 98011319 14547902464 1064620 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3551734 1064620 3506 1 0 3539289 0
[pid=13667/tid=13717] ppid=13664 vsize=14206936 memory=4252100 CPUtime=225.99 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) S 13664 13667 3242 0 -1 1077944384 65053 12577 0 0 22534 58 5 2 20 0 17 0 98011328 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139631240779920 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=14206936 memory=6791534058613427641 CPUtime=2.57 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 3297 12577 0 0 222 28 5 2 20 0 17 0 98011329 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=14206936 memory=2208 CPUtime=2.58 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 3505 12577 0 0 222 29 5 2 20 0 17 0 98011329 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=14206936 memory=6508 CPUtime=2.6 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 3618 12577 0 0 224 29 5 2 20 0 17 0 98011329 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=14206936 memory=844 CPUtime=2.57 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 3417 12577 0 0 222 28 5 2 20 0 17 0 98011329 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=14206936 memory=1692 CPUtime=0.22 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) R 13664 13667 3242 0 -1 4202560 23108 12577 0 0 13 2 5 2 20 0 17 0 98011330 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630710694320 139631222233899 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=14206936 memory=916 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 58 12577 0 0 0 0 5 2 20 0 17 0 98011330 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630709641872 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=14206936 memory=3832 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 46 12577 0 0 0 0 5 2 20 0 17 0 98011331 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630708589568 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=14206936 memory=28648 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 233 12577 0 0 0 0 5 2 20 0 17 0 98011333 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=14206936 memory=1296 CPUtime=7.23 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 15721 12577 0 0 713 3 5 2 20 0 17 0 98011333 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=14206936 memory=2408 CPUtime=7.59 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 16905 12577 0 0 750 2 5 2 20 0 17 0 98011333 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=14206936 memory=1732 CPUtime=1.78 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) S 13664 13667 3242 0 -1 1077944384 7634 12577 0 0 168 3 5 2 20 0 17 0 98011333 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630704380656 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=14206936 memory=1224 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 17 0 98011334 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=14206936 memory=12032 CPUtime=0.18 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 354 12577 0 0 5 6 5 2 20 0 17 0 98011334 14547902464 1064620 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 252.79 s
Current children cumulated vsize: 14206936 KiB
Current children cumulated memory: 4258480 KiB
[startup+229.001 s]*
/proc/loadavg: 1.94 2.06 2.05 4/218 13860
/proc/meminfo: memFree=17849540/32770624 swapFree=67108860/67108860
[pid=13667] ppid=13664 vsize=14206936 memory=4258524 CPUtime=253.47 cores=0,2,4,6
/proc/13667/stat : 13667 (java) S 13664 13667 3242 0 -1 1077944320 145475 12577 0 0 25148 192 5 2 20 0 17 0 98011319 14547902464 1064631 33554432000 4194304 4196468 140723053013424 140723052995968 139631236542199 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
/proc/13667/statm: 3551734 1064631 3506 1 0 3539289 0
[pid=13667/tid=13717] ppid=13664 vsize=14206936 memory=6299806260039079015 CPUtime=225.99 cores=0,2,4,6
/proc/13667/task/13717/stat : 13717 (java) S 13664 13667 3242 0 -1 1077944384 65053 12577 0 0 22534 58 5 2 20 0 17 0 98011328 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139631240779920 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13718] ppid=13664 vsize=14206936 memory=0 CPUtime=2.73 cores=0,2,4,6
/proc/13667/task/13718/stat : 13718 (java) S 13664 13667 3242 0 -1 1077944384 3301 12577 0 0 238 28 5 2 20 0 17 0 98011329 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630831921936 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13719] ppid=13664 vsize=14206936 memory=0 CPUtime=2.74 cores=0,2,4,6
/proc/13667/task/13719/stat : 13719 (java) S 13664 13667 3242 0 -1 1077944384 3509 12577 0 0 238 29 5 2 20 0 17 0 98011329 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630830869392 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13720] ppid=13664 vsize=14206936 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/13667/task/13720/stat : 13720 (java) S 13664 13667 3242 0 -1 1077944384 3618 12577 0 0 240 29 5 2 20 0 17 0 98011329 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630829816848 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13721] ppid=13664 vsize=14206936 memory=3906083434395869232 CPUtime=2.73 cores=0,2,4,6
/proc/13667/task/13721/stat : 13721 (java) S 13664 13667 3242 0 -1 1077944384 3420 12577 0 0 238 28 5 2 20 0 17 0 98011329 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630828764304 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13722] ppid=13664 vsize=14206936 memory=2320252329048619315 CPUtime=0.27 cores=0,2,4,6
/proc/13667/task/13722/stat : 13722 (java) R 13664 13667 3242 0 -1 4202560 23109 12577 0 0 18 2 5 2 20 0 17 0 98011330 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630710694320 139631221682328 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13723] ppid=13664 vsize=14206936 memory=7379549755321377888 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13723/stat : 13723 (java) S 13664 13667 3242 0 -1 1077944384 59 12577 0 0 0 0 5 2 20 0 17 0 98011330 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630709642352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13724] ppid=13664 vsize=14206936 memory=7525625394071889520 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13724/stat : 13724 (java) S 13664 13667 3242 0 -1 1077944384 46 12577 0 0 0 0 5 2 20 0 17 0 98011331 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630708589568 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13725] ppid=13664 vsize=14206936 memory=6154538792250073449 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13725/stat : 13725 (java) S 13664 13667 3242 0 -1 1077944384 233 12577 0 0 0 0 5 2 20 0 17 0 98011333 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630707538128 139631236560795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13726] ppid=13664 vsize=14206936 memory=0 CPUtime=7.23 cores=0,2,4,6
/proc/13667/task/13726/stat : 13726 (java) S 13664 13667 3242 0 -1 1077944384 15721 12577 0 0 713 3 5 2 20 0 17 0 98011333 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630706485744 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13727] ppid=13664 vsize=14206936 memory=3546075861196812342 CPUtime=7.59 cores=0,2,4,6
/proc/13667/task/13727/stat : 13727 (java) S 13664 13667 3242 0 -1 1077944384 16905 12577 0 0 750 2 5 2 20 0 17 0 98011333 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630705433200 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13728] ppid=13664 vsize=14206936 memory=3906503507728439200 CPUtime=1.78 cores=0,2,4,6
/proc/13667/task/13728/stat : 13728 (java) S 13664 13667 3242 0 -1 1077944384 7634 12577 0 0 168 3 5 2 20 0 17 0 98011333 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630704380656 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13729] ppid=13664 vsize=14206936 memory=2319389212051714335 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13729/stat : 13729 (java) S 13664 13667 3242 0 -1 1077944384 3 12577 0 0 0 0 5 2 20 0 17 0 98011334 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630703328352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13730] ppid=13664 vsize=14206936 memory=4121549290457831090 CPUtime=0.18 cores=0,2,4,6
/proc/13667/task/13730/stat : 13730 (java) S 13664 13667 3242 0 -1 1077944384 354 12577 0 0 5 6 5 2 20 0 17 0 98011334 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630702274864 139631236553346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13859] ppid=13664 vsize=14206936 memory=3905525982033944623 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13859/stat : 13859 (java) S 13664 13667 3242 0 -1 1077944384 329 12577 0 0 0 0 5 2 20 0 17 0 98034180 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630670602352 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
[pid=13667/tid=13860] ppid=13664 vsize=14206936 memory=2315025194292905609 CPUtime=0.07 cores=0,2,4,6
/proc/13667/task/13860/stat : 13860 (java) S 13664 13667 3242 0 -1 1077944384 31 12577 0 0 0 0 5 2 20 0 17 0 98034180 14547902464 1064631 33554432000 4194304 4196468 140723053013424 139630669550528 139631236552405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140723053017750 140723053020535 140723053020535 140723053023183 0
Current children cumulated CPU time: 253.47 s
Current children cumulated vsize: 14206936 KiB
Current children cumulated memory: 4258524 KiB
Child status: 143
Real time (s): 229.073
CPU time (s): 253.617
CPU user time (s): 251.641
CPU system time (s): 1.97622
CPU usage (%): 110.715
Max. virtual memory (cumulated for all children) (KiB): 14206936
Max. memory (cumulated for all children) (KiB): 4258532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.641
system time used= 1.97622
maximum resident set size= 4259036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13564
involuntary context switches= 1023
# summary of solver processes directly reported to runsolver:
# pid: 13667
# total CPU time (s): 253.617
# total CPU user time (s): 251.641
# total CPU system time (s): 1.97622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35222 second user time and 2.2443 second system time
The end