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 (12179 MiB free)
memory of node 1: 16384 MiB (14428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301559-1532882178/watcher-4301559-1532882178 -o /tmp/evaluation-result-4301559-1532882178/solver-4301559-1532882178 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301559-1532882178.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
Current StackSize limit: 8192 KiB
solver pid=15849, runsolver pid=15846
[startup+0.100276 s]*
/proc/loadavg: 2.87 3.06 2.69 2/216 15864
/proc/meminfo: memFree=27229584/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10659012 memory=30068 CPUtime=0.12 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 6614 0 0 0 11 1 0 0 20 0 15 0 105781014 10914828288 7517 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2664753 7517 2844 1 0 2627263 0
[pid=15849/tid=15851] ppid=15846 vsize=10659012 memory=-8773748148829851523 CPUtime=0.09 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) R 15846 15849 13514 0 -1 4202560 4429 0 0 0 8 1 0 0 20 0 15 0 105781015 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039486392176 140039482199446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039424191504 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10659012 memory=139686548661888 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039423138960 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10659012 memory=139686548661888 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105781017 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105781017 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039040869536 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105781017 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039039816432 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) S 15846 15849 13514 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039037713136 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) S 15846 15849 13514 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039036660592 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10659012 memory=139686548661888 CPUtime=0.02 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) R 15846 15849 13514 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 105781020 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039035607536 140039482208858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10659012 memory=139686548661888 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 7517 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30068 KiB
[startup+0.21057 s]*
/proc/loadavg: 2.87 3.06 2.69 3/216 15864
/proc/meminfo: memFree=27218584/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10659012 memory=41768 CPUtime=0.33 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 8086 0 0 0 31 2 0 0 20 0 15 0 105781014 10914828288 10442 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2664753 10442 3003 1 0 2627263 0
[pid=15849/tid=15851] ppid=15846 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) R 15846 15849 13514 0 -1 4202560 5008 0 0 0 19 1 0 0 20 0 15 0 105781015 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039486424128 140039482208858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039424191504 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10659012 memory=139686549286922 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039423138960 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105781015 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10659012 memory=139686548661888 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105781017 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105781017 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039040869536 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105781017 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039039816432 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) S 15846 15849 13514 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 105781020 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039037713136 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) S 15846 15849 13514 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 15 0 105781020 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039036660592 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10659012 memory=139686548661888 CPUtime=0.07 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) R 15846 15849 13514 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 15 0 105781020 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039035607536 140039466267998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10659012 memory=139686548661888 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781020 10914828288 10507 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41768 KiB
[startup+0.314835 s]*
/proc/loadavg: 2.87 3.06 2.69 5/216 15864
/proc/meminfo: memFree=27212008/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10659088 memory=47396 CPUtime=0.53 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 8913 0 0 0 51 2 0 0 20 0 15 0 105781014 10914906112 11849 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2664772 11849 3053 1 0 2627263 0
[pid=15849/tid=15851] ppid=15846 vsize=10659088 memory=7022364594140610616 CPUtime=0.31 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) R 15846 15849 13514 0 -1 4202560 5613 0 0 0 29 2 0 0 20 0 15 0 105781015 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039486423664 140039103327062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10659088 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039424191504 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10659088 memory=139686549281237 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039423138960 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10659088 memory=139686548661888 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105781017 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105781017 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039040869536 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105781017 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039039816432 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) S 15846 15849 13514 0 -1 1077944384 564 0 0 0 4 0 0 0 20 0 15 0 105781020 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039037713136 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) S 15846 15849 13514 0 -1 1077944384 555 0 0 0 4 0 0 0 20 0 15 0 105781020 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039036660592 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10659088 memory=139686548661888 CPUtime=0.13 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) R 15846 15849 13514 0 -1 4202560 815 0 0 0 13 0 0 0 20 0 15 0 105781020 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039035607536 140039461205108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10659088 memory=139686548661888 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781020 10914906112 11849 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47396 KiB
[startup+0.700771 s]
/proc/loadavg: 2.87 3.06 2.69 5/216 15864
/proc/meminfo: memFree=27183428/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10659088 memory=148272 CPUtime=1.64 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 12224 0 0 0 159 5 0 0 20 0 15 0 105781014 10914906112 37068 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2664772 37068 3103 1 0 2627263 0
[pid=15849/tid=15851] ppid=15846 vsize=10659088 memory=16828 CPUtime=0.68 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) R 15846 15849 13514 0 -1 4202560 5970 0 0 0 65 3 0 0 20 0 15 0 105781015 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039486424032 140039106176429 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10659088 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039424191504 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10659088 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039423138960 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10659088 memory=496 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10659088 memory=928 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105781015 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10659088 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105781017 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10659088 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105781017 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039040869536 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10659088 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105781017 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039039816432 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10659088 memory=6081108994580573287 CPUtime=0.31 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) R 15846 15849 13514 0 -1 4202560 1670 0 0 0 31 0 0 0 20 0 15 0 105781020 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039037701728 140039463710492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10659088 memory=6220993253238723945 CPUtime=0.31 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) R 15846 15849 13514 0 -1 4202560 1385 0 0 0 31 0 0 0 20 0 15 0 105781020 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039036647792 140039463731599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10659088 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) R 15846 15849 13514 0 -1 1077944384 1829 0 0 0 30 0 0 0 20 0 15 0 105781020 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039035607536 140039482198658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105781020 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10659088 memory=756 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105781020 10914906112 37068 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 148272 KiB
[startup+1.50093 s]
/proc/loadavg: 2.87 3.06 2.69 6/216 15864
/proc/meminfo: memFree=27006772/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10659088 memory=521336 CPUtime=3.63 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 13380 0 0 0 324 39 0 0 20 0 15 0 105781014 10914906112 130334 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2664772 130334 3137 1 0 2627263 0
[pid=15849/tid=15851] ppid=15846 vsize=10659088 memory=352996 CPUtime=1.18 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) S 15846 15849 13514 0 -1 1077944384 6075 0 0 0 113 5 0 0 20 0 15 0 105781015 10914906112 130334 33554432000 4194304 4196468 140736108415664 140039486423920 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10659088 memory=33 CPUtime=0.28 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) R 15846 15849 13514 0 -1 4202560 202 0 0 0 21 7 0 0 20 0 15 0 105781015 10914906112 130334 33554432000 4194304 4196468 140736108415664 140039424191704 140039467214930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10659088 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) R 15846 15849 13514 0 -1 4202560 189 0 0 0 19 8 0 0 20 0 15 0 105781015 10914906112 130334 33554432000 4194304 4196468 140736108415664 140039423138960 140039467214930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10659088 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) R 15846 15849 13514 0 -1 4202560 195 0 0 0 21 7 0 0 20 0 15 0 105781015 10914906112 130334 33554432000 4194304 4196468 140736108415664 140039087250080 140039467214358 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10659088 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) R 15846 15849 13514 0 -1 4202560 199 0 0 0 21 7 0 0 20 0 15 0 105781015 10914906112 130334 33554432000 4194304 4196468 140736108415664 140039086197648 140039467215385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105781017 10914906112 130334 33554432000 4194304 4196468 140736108415664 140039041921824 140039482197717 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
################
# More data... #
################
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 997 0 0 0 194 18 0 0 20 0 16 0 105781015 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10727700 memory=1016916 CPUtime=2.13 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 1157 0 0 0 195 18 0 0 20 0 16 0 105781015 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10727700 memory=1021012 CPUtime=0.8 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 4229 0 0 0 80 0 0 0 20 0 16 0 105781017 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 105781017 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039040869600 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105781017 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039039816448 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10727700 memory=1010772 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105781020 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10727700 memory=1012820 CPUtime=1.23 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) S 15846 15849 13514 0 -1 1077944384 4995 0 0 0 123 0 0 0 20 0 16 0 105781020 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039037713136 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10727700 memory=928 CPUtime=1.38 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) S 15846 15849 13514 0 -1 1077944384 3772 0 0 0 138 0 0 0 20 0 16 0 105781020 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039036660592 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10727700 memory=1018964 CPUtime=0.47 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) S 15846 15849 13514 0 -1 1077944384 2856 0 0 0 46 1 0 0 20 0 16 0 105781020 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039035607536 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10727700 memory=1018964 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105781020 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10727700 memory=2236 CPUtime=0.06 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 513 0 0 0 4 2 0 0 20 0 16 0 105781020 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15865] ppid=15846 vsize=10727700 memory=1014868 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15865/stat : 15865 (java) S 15846 15849 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105781318 10985164800 255765 33554432000 4194304 4196468 140736108415664 140039030350896 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 171.83 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1023060 KiB
[startup+222.301 s]
/proc/loadavg: 3.83 3.26 2.83 6/216 16023
/proc/meminfo: memFree=19013544/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10727700 memory=1358204 CPUtime=232.3 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 37531 0 0 0 23112 118 0 0 20 0 16 0 105781014 10985164800 339551 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2681925 339551 3176 1 0 2644416 0
[pid=15849/tid=15851] ppid=15846 vsize=10727700 memory=4140 CPUtime=219.14 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) R 15846 15849 13514 0 -1 4202560 12810 0 0 0 21905 9 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039486426480 140039107974346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10727700 memory=1358204 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) S 15846 15849 13514 0 -1 1077944384 1779 0 0 0 203 24 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039424191504 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10727700 memory=1104980 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) S 15846 15849 13514 0 -1 1077944384 2115 0 0 0 202 25 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039423138960 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10727700 memory=1358204 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 1220 0 0 0 202 25 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10727700 memory=1358204 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 1370 0 0 0 202 25 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10727700 memory=1358204 CPUtime=0.8 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 4638 0 0 0 80 0 0 0 20 0 16 0 105781017 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10727700 memory=1358204 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 105781017 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039040869600 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10727700 memory=1358204 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105781017 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039039816448 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10727700 memory=1358204 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10727700 memory=1358204 CPUtime=1.23 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) S 15846 15849 13514 0 -1 1077944384 5003 0 0 0 123 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039037713136 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10727700 memory=1358204 CPUtime=1.38 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) S 15846 15849 13514 0 -1 1077944384 3775 0 0 0 138 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039036660592 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10727700 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) S 15846 15849 13514 0 -1 1077944384 2859 0 0 0 46 1 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039035607536 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10727700 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10727700 memory=279372860124080 CPUtime=0.09 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 552 0 0 0 5 4 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15865] ppid=15846 vsize=10727700 memory=56 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15865/stat : 15865 (java) S 15846 15849 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105781318 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039030350896 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 232.3 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1358204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+242.001 s]*
/proc/loadavg: 3.74 3.28 2.85 3/217 16106
/proc/meminfo: memFree=24144672/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10727700 memory=1358204 CPUtime=252.01 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 37624 0 0 0 25083 118 0 0 20 0 16 0 105781014 10985164800 339551 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2681925 339551 3176 1 0 2644416 0
[pid=15849/tid=15851] ppid=15846 vsize=10727700 memory=6791534058613427641 CPUtime=238.85 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) R 15846 15849 13514 0 -1 4202560 12903 0 0 0 23876 9 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039486426480 140039108125427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10727700 memory=4126316290023845779 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) S 15846 15849 13514 0 -1 1077944384 1779 0 0 0 203 24 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039424191504 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10727700 memory=1992 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) S 15846 15849 13514 0 -1 1077944384 2115 0 0 0 202 25 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039423138960 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10727700 memory=7528 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 1220 0 0 0 202 25 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10727700 memory=804 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 1370 0 0 0 202 25 0 0 20 0 16 0 105781015 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10727700 memory=1696 CPUtime=0.8 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 4638 0 0 0 80 0 0 0 20 0 16 0 105781017 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10727700 memory=916 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 105781017 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039040869600 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10727700 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105781017 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039039816448 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10727700 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10727700 memory=2592 CPUtime=1.23 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) S 15846 15849 13514 0 -1 1077944384 5003 0 0 0 123 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039037713136 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10727700 memory=4104 CPUtime=1.38 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) S 15846 15849 13514 0 -1 1077944384 3775 0 0 0 138 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039036660592 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10727700 memory=1408 CPUtime=0.47 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) S 15846 15849 13514 0 -1 1077944384 2859 0 0 0 46 1 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039035607536 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10727700 memory=3076 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10727700 memory=1358204 CPUtime=0.1 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 552 0 0 0 6 4 0 0 20 0 16 0 105781020 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15865] ppid=15846 vsize=10727700 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15865/stat : 15865 (java) S 15846 15849 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105781318 10985164800 339551 33554432000 4194304 4196468 140736108415664 140039030350896 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1358204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+242.25 s]
# the end of solver process 15849 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.1 s, system=1.20028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+242.201 s]
/proc/loadavg: 3.74 3.28 2.85 3/217 16106
/proc/meminfo: memFree=24144672/32770624 swapFree=67108860/67108860
[pid=15849] ppid=15846 vsize=10927392 memory=1358452 CPUtime=252.21 cores=0,2,4,6
/proc/15849/stat : 15849 (java) S 15846 15849 13514 0 -1 1077944320 39167 0 0 0 25103 118 0 0 20 0 17 0 105781014 11189649408 339613 33554432000 4194304 4196468 140736108415664 140736108398208 140039482187511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
/proc/15849/statm: 2731848 339613 3178 1 0 2694339 0
[pid=15849/tid=15851] ppid=15846 vsize=10927392 memory=288230613214036277 CPUtime=239.04 cores=0,2,4,6
/proc/15849/task/15851/stat : 15851 (java) R 15846 15849 13514 0 -1 4202560 13062 0 0 0 23895 9 0 0 20 0 17 0 105781015 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039486426480 140039108736816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15852] ppid=15846 vsize=10927392 memory=15535236834396114 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15852/stat : 15852 (java) S 15846 15849 13514 0 -1 1077944384 1779 0 0 0 203 24 0 0 20 0 17 0 105781015 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039424191504 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15853] ppid=15846 vsize=10927392 memory=7528 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15853/stat : 15853 (java) S 15846 15849 13514 0 -1 1077944384 2115 0 0 0 202 25 0 0 20 0 17 0 105781015 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039423138960 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15854] ppid=15846 vsize=10927392 memory=804 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15854/stat : 15854 (java) S 15846 15849 13514 0 -1 1077944384 1220 0 0 0 202 25 0 0 20 0 17 0 105781015 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039087250192 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15855] ppid=15846 vsize=10927392 memory=1696 CPUtime=2.27 cores=0,2,4,6
/proc/15849/task/15855/stat : 15855 (java) S 15846 15849 13514 0 -1 1077944384 1370 0 0 0 202 25 0 0 20 0 17 0 105781015 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039086197648 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15856] ppid=15846 vsize=10927392 memory=916 CPUtime=0.8 cores=0,2,4,6
/proc/15849/task/15856/stat : 15856 (java) S 15846 15849 13514 0 -1 1077944384 4638 0 0 0 80 0 0 0 20 0 17 0 105781017 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039041923312 140039482198658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15857] ppid=15846 vsize=10927392 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15857/stat : 15857 (java) S 15846 15849 13514 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 105781017 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039040869600 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15858] ppid=15846 vsize=10927392 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15858/stat : 15858 (java) S 15846 15849 13514 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 105781017 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039039816448 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15859] ppid=15846 vsize=10927392 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15859/stat : 15859 (java) S 15846 15849 13514 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 17 0 105781020 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039038765008 140039482206107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15860] ppid=15846 vsize=10927392 memory=4104 CPUtime=1.23 cores=0,2,4,6
/proc/15849/task/15860/stat : 15860 (java) S 15846 15849 13514 0 -1 1077944384 5146 0 0 0 123 0 0 0 20 0 17 0 105781020 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039037713136 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15861] ppid=15846 vsize=10927392 memory=1408 CPUtime=1.38 cores=0,2,4,6
/proc/15849/task/15861/stat : 15861 (java) S 15846 15849 13514 0 -1 1077944384 3943 0 0 0 138 0 0 0 20 0 17 0 105781020 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039036660592 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15862] ppid=15846 vsize=10927392 memory=3076 CPUtime=0.47 cores=0,2,4,6
/proc/15849/task/15862/stat : 15862 (java) S 15846 15849 13514 0 -1 1077944384 3429 0 0 0 46 1 0 0 20 0 17 0 105781020 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039035607536 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15863] ppid=15846 vsize=10927392 memory=1358204 CPUtime=0 cores=0,2,4,6
/proc/15849/task/15863/stat : 15863 (java) S 15846 15849 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105781020 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039034555232 140039482197717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
[pid=15849/tid=15864] ppid=15846 vsize=10927392 memory=2564 CPUtime=0.1 cores=0,2,4,6
/proc/15849/task/15864/stat : 15864 (java) S 15846 15849 13514 0 -1 1077944384 552 0 0 0 6 4 0 0 20 0 17 0 105781020 11189649408 339613 33554432000 4194304 4196468 140736108415664 140039033502256 140039482198658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10002432 140736108422262 140736108422414 140736108422414 140736108425167 0
Current children cumulated CPU time: 252.21 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1358452 KiB
Child status: 143
Real time (s): 242.25
CPU time (s): 252.3
CPU user time (s): 251.1
CPU system time (s): 1.20028
CPU usage (%): 104.148
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1358452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.1
system time used= 1.20029
maximum resident set size= 1359188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39679
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7793
involuntary context switches= 467
# summary of solver processes directly reported to runsolver:
# pid: 15849
# total CPU time (s): 252.3
# total CPU user time (s): 251.1
# total CPU system time (s): 1.20028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41862 second user time and 2.39241 second system time
The end