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 (10643 MiB free)
memory of node 1: 16384 MiB (11896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289884-1532212095/watcher-4289884-1532212095 -o /tmp/evaluation-result-4289884-1532212095/solver-4289884-1532212095 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532209718-27132 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289884-1532212095.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27447, runsolver pid=27444
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 2.11 2.03 2.10 2/216 27462
/proc/meminfo: memFree=23062664/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10659012 memory=31504 CPUtime=0.13 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 6443 0 0 0 11 2 0 0 20 0 15 0 38772712 10914828288 7876 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2664753 7876 2822 1 0 2627263 0
[pid=27447/tid=27449] ppid=27444 vsize=10659012 memory=-8701690554791925118 CPUtime=0.09 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 4270 0 0 0 8 1 0 0 20 0 15 0 38772712 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316666714048 140316662514845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10659012 memory=139641673479808 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10659012 memory=139641673479808 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38772714 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38772715 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38772715 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772717 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 24904 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 38772717 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316016293872 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772717 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316015241328 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10659012 memory=139641673479808 CPUtime=0.02 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) R 27444 27447 24904 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 38772717 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316014188784 140316662514266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772718 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10659012 memory=139641673479808 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772718 10914828288 7876 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31504 KiB
[startup+0.210699 s]*
/proc/loadavg: 2.11 2.03 2.10 4/216 27462
/proc/meminfo: memFree=23052520/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10659012 memory=42224 CPUtime=0.33 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 7669 0 0 0 31 2 0 0 20 0 15 0 38772712 10914828288 10556 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2664753 10556 2992 1 0 2627263 0
[pid=27447/tid=27449] ppid=27444 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 4616 0 0 0 19 1 0 0 20 0 15 0 38772712 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316666724176 140316646573406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10659012 memory=288370017825191552 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38772713 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10659012 memory=139641673479808 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38772714 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38772715 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38772715 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772717 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 24904 0 -1 1077944384 791 0 0 0 2 0 0 0 20 0 15 0 38772717 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316016293872 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) R 27444 27447 24904 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 15 0 38772717 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316015241328 140316662504066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10659012 memory=139641673479808 CPUtime=0.08 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 24904 0 -1 1077944384 689 0 0 0 8 0 0 0 20 0 15 0 38772717 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316014188784 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772718 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10659012 memory=139641673479808 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772718 10914828288 10556 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42224 KiB
[startup+0.310491 s]*
/proc/loadavg: 2.11 2.03 2.10 5/216 27462
/proc/meminfo: memFree=23046192/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10659088 memory=46868 CPUtime=0.53 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 8281 0 0 0 51 2 0 0 20 0 15 0 38772712 10914906112 11717 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2664772 11717 3035 1 0 2627263 0
[pid=27447/tid=27449] ppid=27444 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 5102 0 0 0 28 1 0 0 20 0 15 0 38772712 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316666728384 140316262943568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10659088 memory=4294979967 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10659088 memory=288370017825191552 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10659088 memory=139641673479808 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38772714 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38772715 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38772715 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772717 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 24904 0 -1 1077944384 827 0 0 0 5 0 0 0 20 0 15 0 38772717 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316016293872 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 24904 0 -1 1077944384 224 0 0 0 4 0 0 0 20 0 15 0 38772717 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316015241328 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10659088 memory=139641673479808 CPUtime=0.12 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) R 27444 27447 24904 0 -1 4202560 759 0 0 0 12 0 0 0 20 0 15 0 38772717 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316014188912 140316646573406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772718 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10659088 memory=139641673479808 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772718 10914906112 11717 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46868 KiB
[startup+0.701649 s]
/proc/loadavg: 2.10 2.03 2.10 7/216 27462
/proc/meminfo: memFree=23015296/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10659088 memory=122992 CPUtime=1.82 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 11604 0 0 0 177 5 0 0 20 0 15 0 38772712 10914906112 30748 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2664772 30748 3114 1 0 2627263 0
[pid=27447/tid=27449] ppid=27444 vsize=10659088 memory=8536 CPUtime=0.68 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 5544 0 0 0 65 3 0 0 20 0 15 0 38772712 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316666730704 140316267090335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10659088 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10659088 memory=644 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10659088 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10659088 memory=952 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38772713 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10659088 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38772714 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10659088 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38772715 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10659088 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38772715 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772717 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10659088 memory=7013340940837610608 CPUtime=0.38 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) R 27444 27447 24904 0 -1 4202560 1814 0 0 0 38 0 0 0 20 0 15 0 38772717 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316016279752 140316641663958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10659088 memory=5860705283049084265 CPUtime=0.38 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) R 27444 27447 24904 0 -1 4202560 1202 0 0 0 38 0 0 0 20 0 15 0 38772717 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316015221824 140316642672078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10659088 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 24904 0 -1 1077944384 1672 0 0 0 36 0 0 0 20 0 15 0 38772717 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316014188784 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38772718 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10659088 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38772718 10914906112 30748 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 122992 KiB
[startup+1.50078 s]
/proc/loadavg: 2.10 2.03 2.10 5/217 27463
/proc/meminfo: memFree=22960244/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10727700 memory=138056 CPUtime=3.76 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 16348 0 0 0 370 6 0 0 20 0 16 0 38772712 10985164800 34514 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2681925 34514 3121 1 0 2644416 0
[pid=27447/tid=27449] ppid=27444 vsize=10727700 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 6016 0 0 0 144 3 0 0 20 0 16 0 38772712 10985164800 34514 33554432000 4194304 4196468 140730744057088 140316666729584 140316267956888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38772713 10985164800 34514 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10727700 memory=-2247047206207641111 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38772713 10985164800 34514 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10727700 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 38772713 10985164800 34514 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 38772713 10985164800 34514 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 38772714 10985164800 34514 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
################
# More data... #
################
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 16250 0 0 0 733 44 0 0 20 0 16 0 38772713 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10727700 memory=438488 CPUtime=7.76 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 14689 0 0 0 733 43 0 0 20 0 16 0 38772713 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10727700 memory=438488 CPUtime=1 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 30644 0 0 0 91 9 0 0 20 0 16 0 38772714 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10727700 memory=438488 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 38772715 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10727700 memory=434392 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 38772715 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10727700 memory=413916 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38772717 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10727700 memory=402324 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 24904 0 -1 1077944384 6453 0 0 0 127 0 0 0 20 0 16 0 38772717 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316016293872 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10727700 memory=1296 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 24904 0 -1 1077944384 9512 0 0 0 126 1 0 0 20 0 16 0 38772717 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316015241328 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10727700 memory=2412 CPUtime=0.5 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 24904 0 -1 1077944384 4111 0 0 0 49 1 0 0 20 0 16 0 38772717 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316014188784 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10727700 memory=434392 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38772718 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10727700 memory=8384 CPUtime=1.05 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1774 0 0 0 51 54 0 0 20 0 16 0 38772718 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27463] ppid=27444 vsize=10727700 memory=400272 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27463/stat : 27463 (java) S 27444 27447 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38772784 10985164800 109622 33554432000 4194304 4196468 140730744057088 140316011029808 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 2289.58 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 438488 KiB
[startup+2322.3 s]
/proc/loadavg: 1.78 1.86 2.35 3/217 27800
/proc/meminfo: memFree=20866976/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10727700 memory=476400 CPUtime=2350.68 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 145356 0 0 0 234817 251 0 0 20 0 16 0 38772712 10985164800 119100 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2681925 119100 3177 1 0 2644416 0
[pid=27447/tid=27449] ppid=27444 vsize=10727700 memory=436464 CPUtime=2312.91 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 27051 0 0 0 231285 6 0 0 20 0 16 0 38772712 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316666732096 140316267661859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10727700 memory=446704 CPUtime=8.13 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 15478 0 0 0 766 47 0 0 20 0 16 0 38772713 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10727700 memory=462064 CPUtime=8.12 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 16839 0 0 0 765 47 0 0 20 0 16 0 38772713 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10727700 memory=466160 CPUtime=8.13 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 16735 0 0 0 766 47 0 0 20 0 16 0 38772713 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10727700 memory=476400 CPUtime=8.14 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 14964 0 0 0 767 47 0 0 20 0 16 0 38772713 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10727700 memory=442608 CPUtime=1.04 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 30973 0 0 0 95 9 0 0 20 0 16 0 38772714 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10727700 memory=372644 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 38772715 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10727700 memory=455920 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 38772715 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10727700 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38772717 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10727700 memory=428160 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 24904 0 -1 1077944384 6455 0 0 0 127 0 0 0 20 0 16 0 38772717 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316016293872 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10727700 memory=428160 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 24904 0 -1 1077944384 9514 0 0 0 126 1 0 0 20 0 16 0 38772717 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316015241328 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10727700 memory=4140 CPUtime=0.5 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 24904 0 -1 1077944384 4113 0 0 0 49 1 0 0 20 0 16 0 38772717 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316014188784 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10727700 memory=13900 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38772718 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10727700 memory=472304 CPUtime=1.08 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1792 0 0 0 53 55 0 0 20 0 16 0 38772718 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27463] ppid=27444 vsize=10727700 memory=446704 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27463/stat : 27463 (java) S 27444 27447 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38772784 10985164800 119100 33554432000 4194304 4196468 140730744057088 140316011029808 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 2350.68 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 476400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2370.6 s]
/proc/loadavg: 1.59 1.80 2.31 3/217 27801
/proc/meminfo: memFree=20982956/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10727700 memory=361652 CPUtime=2400.01 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 148763 0 0 0 239741 260 0 0 20 0 16 0 38772712 10985164800 90413 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2681925 90413 3177 1 0 2644416 0
[pid=27447/tid=27449] ppid=27444 vsize=10727700 memory=1296 CPUtime=2360.82 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 28766 0 0 0 236075 7 0 0 20 0 16 0 38772712 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316666732096 140316267939663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10727700 memory=2412 CPUtime=8.47 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 15700 0 0 0 799 48 0 0 20 0 16 0 38772713 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10727700 memory=1724 CPUtime=8.46 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 17069 0 0 0 797 49 0 0 20 0 16 0 38772713 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10727700 memory=1228 CPUtime=8.46 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 17225 0 0 0 797 49 0 0 20 0 16 0 38772713 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10727700 memory=1428 CPUtime=8.48 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 15107 0 0 0 799 49 0 0 20 0 16 0 38772713 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10727700 memory=6791534058613427641 CPUtime=1.1 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 31576 0 0 0 100 10 0 0 20 0 16 0 38772714 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10727700 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 38772715 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10727700 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 38772715 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10727700 memory=8384 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38772717 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10727700 memory=15872 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 24904 0 -1 1077944384 6455 0 0 0 127 0 0 0 20 0 16 0 38772717 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316016293872 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10727700 memory=6791534058613427641 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 24904 0 -1 1077944384 9514 0 0 0 126 1 0 0 20 0 16 0 38772717 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316015241328 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10727700 memory=8568 CPUtime=0.5 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 24904 0 -1 1077944384 4113 0 0 0 49 1 0 0 20 0 16 0 38772717 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316014188784 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10727700 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38772718 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10727700 memory=644 CPUtime=1.11 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1796 0 0 0 54 57 0 0 20 0 16 0 38772718 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27463] ppid=27444 vsize=10727700 memory=361020 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27463/stat : 27463 (java) S 27444 27447 24904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38772784 10985164800 90413 33554432000 4194304 4196468 140730744057088 140316011029808 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 361652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2370.86 s]
# the end of solver process 27447 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.72 s, system=2.61372 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2370.8 s]
/proc/loadavg: 1.59 1.80 2.31 3/217 27801
/proc/meminfo: memFree=20982956/32770624 swapFree=67108860/67108860
[pid=27447] ppid=27444 vsize=10927392 memory=361704 CPUtime=2400.22 cores=1,3,5,7
/proc/27447/stat : 27447 (java) S 27444 27447 24904 0 -1 1077944320 149054 0 0 0 239762 260 0 0 20 0 17 0 38772712 11189649408 90426 33554432000 4194304 4196468 140730744057088 140730744039632 140316662492919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
/proc/27447/statm: 2731848 90426 3180 1 0 2694339 0
[pid=27447/tid=27449] ppid=27444 vsize=10927392 memory=6791534058613427641 CPUtime=2361.02 cores=1,3,5,7
/proc/27447/task/27449/stat : 27449 (java) R 27444 27447 24904 0 -1 4202560 28774 0 0 0 236095 7 0 0 20 0 17 0 38772712 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316666732096 140316268371799 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27450] ppid=27444 vsize=10927392 memory=290763896594366775 CPUtime=8.47 cores=1,3,5,7
/proc/27447/task/27450/stat : 27450 (java) S 27444 27447 24904 0 -1 1077944384 15700 0 0 0 799 48 0 0 20 0 17 0 38772713 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316588566800 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27451] ppid=27444 vsize=10927392 memory=13572582825790009 CPUtime=8.46 cores=1,3,5,7
/proc/27447/task/27451/stat : 27451 (java) S 27444 27447 24904 0 -1 1077944384 17069 0 0 0 797 49 0 0 20 0 17 0 38772713 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316587514256 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27452] ppid=27444 vsize=10927392 memory=1228 CPUtime=8.46 cores=1,3,5,7
/proc/27447/task/27452/stat : 27452 (java) S 27444 27447 24904 0 -1 1077944384 17225 0 0 0 797 49 0 0 20 0 17 0 38772713 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316586461712 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27453] ppid=27444 vsize=10927392 memory=1428 CPUtime=8.48 cores=1,3,5,7
/proc/27447/task/27453/stat : 27453 (java) S 27444 27447 24904 0 -1 1077944384 15107 0 0 0 799 49 0 0 20 0 17 0 38772713 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316585409168 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27454] ppid=27444 vsize=10927392 memory=6791534058613427641 CPUtime=1.1 cores=1,3,5,7
/proc/27447/task/27454/stat : 27454 (java) S 27444 27447 24904 0 -1 1077944384 31576 0 0 0 100 10 0 0 20 0 17 0 38772714 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316020505072 140316662504066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27455] ppid=27444 vsize=10927392 memory=5300 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27455/stat : 27455 (java) S 27444 27447 24904 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 38772715 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316019451296 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27456] ppid=27444 vsize=10927392 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27456/stat : 27456 (java) S 27444 27447 24904 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 17 0 38772715 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316018398704 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27457] ppid=27444 vsize=10927392 memory=11960 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27457/stat : 27457 (java) S 27444 27447 24904 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 38772717 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316017347280 140316662511515 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27458] ppid=27444 vsize=10927392 memory=1008 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27458/stat : 27458 (java) S 27444 27447 24904 0 -1 1077944384 6495 0 0 0 127 0 0 0 20 0 17 0 38772717 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316016293872 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27459] ppid=27444 vsize=10927392 memory=361020 CPUtime=1.27 cores=1,3,5,7
/proc/27447/task/27459/stat : 27459 (java) S 27444 27447 24904 0 -1 1077944384 9529 0 0 0 126 1 0 0 20 0 17 0 38772717 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316015241328 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27460] ppid=27444 vsize=10927392 memory=14689686622849938 CPUtime=0.5 cores=1,3,5,7
/proc/27447/task/27460/stat : 27460 (java) S 27444 27447 24904 0 -1 1077944384 4188 0 0 0 49 1 0 0 20 0 17 0 38772717 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316014188784 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27461] ppid=27444 vsize=10927392 memory=14689686622849938 CPUtime=0 cores=1,3,5,7
/proc/27447/task/27461/stat : 27461 (java) S 27444 27447 24904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38772718 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316013136480 140316662503125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
[pid=27447/tid=27462] ppid=27444 vsize=10927392 memory=279283068479056 CPUtime=1.11 cores=1,3,5,7
/proc/27447/task/27462/stat : 27462 (java) S 27444 27447 24904 0 -1 1077944384 1796 0 0 0 54 57 0 0 20 0 17 0 38772718 11189649408 90426 33554432000 4194304 4196468 140730744057088 140316012084016 140316662504066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28164096 140730744063089 140730744063241 140730744063241 140730744065999 0
Current children cumulated CPU time: 2400.22 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 361704 KiB
Child status: 143
Real time (s): 2370.86
CPU time (s): 2400.34
CPU user time (s): 2397.72
CPU system time (s): 2.61372
CPU usage (%): 101.243
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 671524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.72
system time used= 2.61372
maximum resident set size= 671528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62946
involuntary context switches= 1974
# summary of solver processes directly reported to runsolver:
# pid: 27447
# total CPU time (s): 2400.34
# total CPU user time (s): 2397.72
# total CPU system time (s): 2.61372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8403 second user time and 22.7829 second system time
The end