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 (10402 MiB free)
memory of node 1: 16384 MiB (5656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304956-1534096949/watcher-4304956-1534096949 -o /tmp/evaluation-result-4304956-1534096949/solver-4304956-1534096949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534096288-2750 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=295845869 -superng HOME/instance-4304956-1534096949.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3016, runsolver pid=3013
[startup+0.100058 s]*
/proc/loadavg: 1.04 1.21 1.38 4/208 3073
/proc/meminfo: memFree=16439552/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=10005480 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 4221 13245 0 0 1 0 5 3 20 0 6 0 227258081 10245611520 4582 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2501370 4582 1930 1 0 2489808 0
[pid=3016/tid=3069] ppid=3013 vsize=10005480 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 2046 13245 0 0 0 0 5 3 20 0 6 0 227258090 10245611520 4582 33554432000 4194304 4196468 140730652722656 140493530526288 140493558711453 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=10005480 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 6 0 227258091 10245611520 4582 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=10005480 memory=140311869499008 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 6 0 227258091 10245611520 4582 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 6 0 227258091 10245611520 4582 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 6 0 227258091 10245611520 4582 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210649 s]*
/proc/loadavg: 1.04 1.21 1.38 3/217 3082
/proc/meminfo: memFree=16413972/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=10982744 memory=43100 CPUtime=0.26 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 6945 13245 0 0 17 1 5 3 20 0 15 0 227258081 11246329856 10775 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2745686 10775 2952 1 0 2708109 0
[pid=3016/tid=3069] ppid=3013 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 3503 13245 0 0 10 1 5 3 20 0 15 0 227258090 11246329856 10775 33554432000 4194304 4196468 140730652722656 140493530508728 140493540063064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246329856 10775 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=10982744 memory=288370688021210752 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246329856 10775 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246329856 10775 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246329856 10775 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=10982744 memory=140311869499008 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 227258092 11246329856 10775 33554432000 4194304 4196468 140730652722656 140492984506736 140493558700674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 13 13245 0 0 0 0 5 3 20 0 15 0 227258093 11246329856 10775 33554432000 4194304 4196468 140730652722656 140492406776864 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258093 11246329856 10775 33554432000 4194304 4196468 140730652722656 140492205450096 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11246329856 10775 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 418 13245 0 0 1 0 5 3 20 0 15 0 227258096 11246329856 10775 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 194 13245 0 0 1 0 5 3 20 0 15 0 227258096 11246329856 10775 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=10982744 memory=140311869499008 CPUtime=0.11 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 610 13245 0 0 3 0 5 3 20 0 15 0 227258096 11246329856 10775 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11246329856 10775 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=10982744 memory=140311869499008 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258096 11246329856 10841 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43100 KiB
[startup+0.310323 s]*
/proc/loadavg: 1.04 1.21 1.38 3/217 3082
/proc/meminfo: memFree=16403056/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=10983192 memory=55744 CPUtime=0.38 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 9990 13245 0 0 28 2 5 3 20 0 15 0 227258081 11246788608 13936 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2745798 13936 3071 1 0 2708109 0
[pid=3016/tid=3069] ppid=3013 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 6799 13245 0 0 19 2 5 3 20 0 15 0 227258090 11246788608 14200 33554432000 4194304 4196468 140730652722656 140493530501536 140493537114669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 14200 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 14200 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 14200 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 14200 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 227258092 11246788608 14200 33554432000 4194304 4196468 140730652722656 140492984506736 140493558700674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 13 13245 0 0 0 0 5 3 20 0 15 0 227258093 11246788608 14200 33554432000 4194304 4196468 140730652722656 140492406776864 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258093 11246788608 14200 33554432000 4194304 4196468 140730652722656 140492205450096 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11246788608 14200 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 421 13245 0 0 1 0 5 3 20 0 15 0 227258096 11246788608 14200 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 194 13245 0 0 1 0 5 3 20 0 15 0 227258096 11246788608 14200 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 621 13245 0 0 5 0 5 3 20 0 15 0 227258096 11246788608 14200 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11246788608 14200 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258096 11246788608 14200 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55744 KiB
[startup+0.700735 s]
/proc/loadavg: 1.04 1.21 1.38 3/217 3082
/proc/meminfo: memFree=16392016/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=10983192 memory=89140 CPUtime=0.99 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 16372 13245 0 0 87 4 5 3 20 0 15 0 227258081 11246788608 22285 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2745798 22285 3247 1 0 2708109 0
[pid=3016/tid=3069] ppid=3013 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 11924 13245 0 0 55 3 5 3 20 0 15 0 227258090 11246788608 22285 33554432000 4194304 4196468 140730652722656 140493530512528 140493558703391 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 22285 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 22285 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=10983192 memory=17 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 22285 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=10983192 memory=2 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 227258091 11246788608 22285 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 5 13245 0 0 0 0 5 3 20 0 15 0 227258092 11246788608 22285 33554432000 4194304 4196468 140730652722656 140492984506736 140493558700674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 13 13245 0 0 0 0 5 3 20 0 15 0 227258093 11246788608 22285 33554432000 4194304 4196468 140730652722656 140492406776864 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258093 11246788608 22285 33554432000 4194304 4196468 140730652722656 140492205450096 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=10983192 memory=140311869497873 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11246788608 22285 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 798 13245 0 0 7 0 5 3 20 0 15 0 227258096 11246788608 22285 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 752 13245 0 0 9 0 5 3 20 0 15 0 227258096 11246788608 22285 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 675 13245 0 0 13 0 5 3 20 0 15 0 227258096 11246788608 22285 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11246788608 22285 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258096 11246788608 22285 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89140 KiB
[startup+1.50262 s]
/proc/loadavg: 1.04 1.21 1.38 3/217 3082
/proc/meminfo: memFree=16348976/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=10991948 memory=271324 CPUtime=2.96 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 22688 13245 0 0 274 14 5 3 20 0 15 0 227258081 11255754752 67831 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2747987 67831 3468 1 0 2709645 0
[pid=3016/tid=3069] ppid=3013 vsize=10991948 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) S 3013 3016 31211 0 -1 1077944384 14610 13245 0 0 128 5 5 3 20 0 15 0 227258090 11255754752 67831 33554432000 4194304 4196468 140730652722656 140493530525344 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=10991948 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) R 3013 3016 31211 0 -1 4202560 194 13245 0 0 2 1 5 3 20 0 15 0 227258091 11255754752 67831 33554432000 4194304 4196468 140730652722656 140493562932368 140493551786363 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=10991948 memory=280623499529344 CPUtime=0.1 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) R 3013 3016 31211 0 -1 4202560 19 13245 0 0 1 1 5 3 20 0 15 0 227258091 11255754752 67831 33554432000 4194304 4196468 140730652722656 140493417651416 140493551786363 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=10991948 memory=280623499515840 CPUtime=0.11 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) R 3013 3016 31211 0 -1 4202560 94 13245 0 0 2 1 5 3 20 0 15 0 227258091 11255754752 67831 33554432000 4194304 4196468 140730652722656 140493416598416 140493543717383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=10991948 memory=280623499520256 CPUtime=0.11 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) R 3013 3016 31211 0 -1 4202560 79 13245 0 0 2 1 5 3 20 0 15 0 227258091 11255754752 67831 33554432000 4194304 4196468 140730652722656 140493415545616 140493543717392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 95 13245 0 0 0 0 5 3 20 0 15 0 227258092 11255754752 67831 33554432000 4194304 4196468 140730652722656 140492984505248 140493558699733 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=10991948 memory=4209901635113022117 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 13 13245 0 0 0 0 5 3 20 0 15 0 227258093 11255754752 67831 33554432000 4194304 4196468 140730652722656 140492406776928 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=10991948 memory=4785444462595826533 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 2 13245 0 0 0 0 5 3 20 0 15 0 227258093 11255754752 67831 33554432000 4194304 4196468 140730652722656 140492205450096 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=10991948 memory=-6677054403954519489 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11255754752 67831 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=10991948 memory=5865973979861379945 CPUtime=0.56 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 2246 13245 0 0 48 0 5 3 20 0 15 0 227258096 11255754752 67831 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=10991948 memory=7084216366484645986 CPUtime=0.6 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 1856 13245 0 0 52 0 5 3 20 0 15 0 227258096 11255754752 67831 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=10991948 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 1282 13245 0 0 34 0 5 3 20 0 15 0 227258096 11255754752 67831 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=10991948 memory=317 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11255754752 67831 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1 13245 0 0 0 0 5 3 20 0 15 0 227258096 11255754752 67831 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 2.96 s
################
# More data... #
################
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 252516 13245 0 0 222344 78 5 3 20 0 15 0 227258090 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140493530524352 140493117635028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=11080032 memory=5162668 CPUtime=36.6 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 59230 13245 0 0 3567 85 5 3 20 0 15 0 227258091 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=11080032 memory=5162668 CPUtime=36.48 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 52021 13245 0 0 3552 88 5 3 20 0 15 0 227258091 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=11080032 memory=1256 CPUtime=36.55 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 52250 13245 0 0 3564 83 5 3 20 0 15 0 227258091 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=11080032 memory=5162684 CPUtime=36.6 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 52725 13245 0 0 3568 84 5 3 20 0 15 0 227258091 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=11080032 memory=0 CPUtime=1.16 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 66513 13245 0 0 96 12 5 3 20 0 15 0 227258092 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140492984506736 140493558700674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=11080032 memory=5162668 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 28 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140492406776928 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=11080032 memory=5162668 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 7 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140492205450112 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=11080032 memory=5162668 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=11080032 memory=5162668 CPUtime=17.5 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 41326 13245 0 0 1734 8 5 3 20 0 15 0 227258096 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=11080032 memory=280623500503552 CPUtime=18 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 37229 13245 0 0 1783 9 5 3 20 0 15 0 227258096 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=11080032 memory=5162668 CPUtime=4.7 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 31434 13245 0 0 453 9 5 3 20 0 15 0 227258096 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=11080032 memory=1808 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=11080032 memory=5162668 CPUtime=1.35 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1895 13245 0 0 60 67 5 3 20 0 15 0 227258096 11345952768 1290667 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 2412.63 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5162668 KiB
[startup+2322.3 s]
/proc/loadavg: 0.98 1.15 1.37 2/195 3202
/proc/meminfo: memFree=12276348/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=11080032 memory=5162620 CPUtime=2472.76 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 660587 13245 0 0 246755 513 5 3 20 0 15 0 227258081 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2770008 1290655 3537 1 0 2731661 0
[pid=3016/tid=3069] ppid=3013 vsize=11080032 memory=5162620 CPUtime=2284.26 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 257824 13245 0 0 228339 79 5 3 20 0 15 0 227258090 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140493530524352 140493117635647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=11080032 memory=0 CPUtime=36.64 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 61731 13245 0 0 3571 85 5 3 20 0 15 0 227258091 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=11080032 memory=5162648 CPUtime=36.51 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 53275 13245 0 0 3555 88 5 3 20 0 15 0 227258091 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=11080032 memory=5162632 CPUtime=36.58 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 53111 13245 0 0 3567 83 5 3 20 0 15 0 227258091 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=11080032 memory=5162620 CPUtime=36.63 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 53672 13245 0 0 3571 84 5 3 20 0 15 0 227258091 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=11080032 memory=5162620 CPUtime=1.17 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 66819 13245 0 0 97 12 5 3 20 0 15 0 227258092 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140492984506736 140493558700674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=11080032 memory=5162620 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 28 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140492406776928 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=11080032 memory=5162620 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 7 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140492205450112 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=11080032 memory=5162620 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=11080032 memory=4140 CPUtime=17.5 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 41331 13245 0 0 1734 8 5 3 20 0 15 0 227258096 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=11080032 memory=61684 CPUtime=18 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 37233 13245 0 0 1783 9 5 3 20 0 15 0 227258096 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=11080032 memory=5162620 CPUtime=4.7 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 31439 13245 0 0 453 9 5 3 20 0 15 0 227258096 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=11080032 memory=4121694379207447911 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=11080032 memory=928 CPUtime=1.39 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1919 13245 0 0 62 69 5 3 20 0 15 0 227258096 11345952768 1290655 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 2472.76 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5162620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2369.11 s]
/proc/loadavg: 0.92 1.11 1.34 2/195 3203
/proc/meminfo: memFree=12219328/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=11080032 memory=5220080 CPUtime=2520.09 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 672284 13245 0 0 251479 522 5 3 20 0 15 0 227258081 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2770008 1305020 3537 1 0 2731661 0
[pid=3016/tid=3069] ppid=3013 vsize=11080032 memory=5220080 CPUtime=2330.89 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 262577 13245 0 0 233001 80 5 3 20 0 15 0 227258090 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493530524352 140493108918613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=11080032 memory=5220080 CPUtime=36.8 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 62097 13245 0 0 3585 87 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=11080032 memory=5219952 CPUtime=36.67 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 54838 13245 0 0 3569 90 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=11080032 memory=5220080 CPUtime=36.74 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 54132 13245 0 0 3581 85 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=11080032 memory=5220080 CPUtime=36.8 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 55428 13245 0 0 3586 86 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=11080032 memory=5220080 CPUtime=1.18 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 67189 13245 0 0 98 12 5 3 20 0 15 0 227258092 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492984506736 140493558700674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=11080032 memory=280623500251744 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 28 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492406776928 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 7 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492205450112 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=11080032 memory=5220080 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=11080032 memory=756 CPUtime=17.5 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 41334 13245 0 0 1734 8 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=11080032 memory=2305 CPUtime=18.01 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 39067 13245 0 0 1784 9 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=11080032 memory=5220080 CPUtime=4.7 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 31442 13245 0 0 453 9 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=11080032 memory=1700 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=11080032 memory=5220080 CPUtime=1.42 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1947 13245 0 0 64 70 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5220080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2369.16 s]
# the end of solver process 3016 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.86 s, system=5.29533 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2369.11 s]
/proc/loadavg: 0.92 1.11 1.34 2/195 3203
/proc/meminfo: memFree=12219328/32770624 swapFree=67108844/67108860
[pid=3016] ppid=3013 vsize=11080032 memory=5220080 CPUtime=2520.09 cores=0,2,4,6
/proc/3016/stat : 3016 (java) S 3013 3016 31211 0 -1 1077944320 672284 13245 0 0 251479 522 5 3 20 0 15 0 227258081 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140730652705200 140493558689527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
/proc/3016/statm: 2770008 1305020 3537 1 0 2731661 0
[pid=3016/tid=3069] ppid=3013 vsize=11080032 memory=5220080 CPUtime=2330.89 cores=0,2,4,6
/proc/3016/task/3069/stat : 3069 (java) R 3013 3016 31211 0 -1 4202560 262577 13245 0 0 233001 80 5 3 20 0 15 0 227258090 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493530524352 140493108918613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3070] ppid=3013 vsize=11080032 memory=5220080 CPUtime=36.8 cores=0,2,4,6
/proc/3016/task/3070/stat : 3070 (java) S 3013 3016 31211 0 -1 1077944384 62097 13245 0 0 3585 87 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493562932368 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3071] ppid=3013 vsize=11080032 memory=5219952 CPUtime=36.67 cores=0,2,4,6
/proc/3016/task/3071/stat : 3071 (java) S 3013 3016 31211 0 -1 1077944384 54838 13245 0 0 3569 90 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493417651216 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3072] ppid=3013 vsize=11080032 memory=5220080 CPUtime=36.74 cores=0,2,4,6
/proc/3016/task/3072/stat : 3072 (java) S 3013 3016 31211 0 -1 1077944384 54132 13245 0 0 3581 85 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493416598416 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3073] ppid=3013 vsize=11080032 memory=5220080 CPUtime=36.8 cores=0,2,4,6
/proc/3016/task/3073/stat : 3073 (java) S 3013 3016 31211 0 -1 1077944384 55428 13245 0 0 3586 86 5 3 20 0 15 0 227258091 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140493415545616 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3074] ppid=3013 vsize=11080032 memory=5220080 CPUtime=1.18 cores=0,2,4,6
/proc/3016/task/3074/stat : 3074 (java) S 3013 3016 31211 0 -1 1077944384 67189 13245 0 0 98 12 5 3 20 0 15 0 227258092 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492984506736 140493558700674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3075] ppid=3013 vsize=11080032 memory=280623500251744 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3075/stat : 3075 (java) S 3013 3016 31211 0 -1 1077944384 28 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492406776928 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3076] ppid=3013 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3076/stat : 3076 (java) S 3013 3016 31211 0 -1 1077944384 7 13245 0 0 0 0 5 3 20 0 15 0 227258093 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492205450112 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3077] ppid=3013 vsize=11080032 memory=5220080 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3077/stat : 3077 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258095 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140491898050384 140493558708123 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3078] ppid=3013 vsize=11080032 memory=756 CPUtime=17.5 cores=0,2,4,6
/proc/3016/task/3078/stat : 3078 (java) S 3013 3016 31211 0 -1 1077944384 41334 13245 0 0 1734 8 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492983454576 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3079] ppid=3013 vsize=11080032 memory=2305 CPUtime=18.01 cores=0,2,4,6
/proc/3016/task/3079/stat : 3079 (java) S 3013 3016 31211 0 -1 1077944384 39067 13245 0 0 1784 9 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492982401776 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3080] ppid=3013 vsize=11080032 memory=5220080 CPUtime=4.7 cores=0,2,4,6
/proc/3016/task/3080/stat : 3080 (java) S 3013 3016 31211 0 -1 1077944384 31442 13245 0 0 453 9 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492981348976 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3081] ppid=3013 vsize=11080032 memory=1700 CPUtime=0.08 cores=0,2,4,6
/proc/3016/task/3081/stat : 3081 (java) S 3013 3016 31211 0 -1 1077944384 3 13245 0 0 0 0 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140491467254496 140493558699733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
[pid=3016/tid=3082] ppid=3013 vsize=11080032 memory=5220080 CPUtime=1.42 cores=0,2,4,6
/proc/3016/task/3082/stat : 3082 (java) S 3013 3016 31211 0 -1 1077944384 1947 13245 0 0 64 70 5 3 20 0 15 0 227258096 11345952768 1305020 33554432000 4194304 4196468 140730652722656 140492980296368 140493558700674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15577088 140730652727908 140730652730716 140730652730716 140730652733391 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5220080 KiB
Child status: 143
Real time (s): 2369.16
CPU time (s): 2520.16
CPU user time (s): 2514.86
CPU system time (s): 5.29533
CPU usage (%): 106.373
Max. virtual memory (cumulated for all children) (KiB): 11080616
Max. memory (cumulated for all children) (KiB): 5384548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.86
system time used= 5.29533
maximum resident set size= 5384552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74009
involuntary context switches= 4691
# summary of solver processes directly reported to runsolver:
# pid: 3016
# total CPU time (s): 2520.16
# total CPU user time (s): 2514.86
# total CPU system time (s): 5.29533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9843 second user time and 22.6119 second system time
The end