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 (6676 MiB free)
memory of node 1: 16384 MiB (9957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296003-1532605030/watcher-4296003-1532605030 -o /tmp/evaluation-result-4296003-1532605030/solver-4296003-1532605030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32591 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1017504070 -superng HOME/instance-4296003-1532605030.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4096, runsolver pid=4093
[startup+0.100126 s]*
/proc/loadavg: 1.29 1.28 1.30 3/203 4150
/proc/meminfo: memFree=17028092/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=9972712 memory=18456 CPUtime=0.09 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 4267 13176 0 0 0 1 5 3 20 0 6 0 78066226 10212057088 4614 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2493178 4614 1918 1 0 2481616 0
[pid=4096/tid=4149] ppid=4093 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) R 4093 4096 32560 0 -1 4202560 2132 13176 0 0 0 0 5 3 20 0 6 0 78066236 10212057088 4680 33554432000 4194304 4196468 140724759877552 140030607610448 140030619854174 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 6 0 78066236 10212057088 4680 33554432000 4194304 4196468 140724759877552 140030640016528 140030635783893 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=9972712 memory=140192011781760 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 6 0 78066237 10212057088 4680 33554432000 4194304 4196468 140724759877552 140030565321744 140030635783893 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 6 0 78066237 10212057088 4680 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 6 0 78066237 10212057088 4680 33554432000 4194304 4196468 140724759877552 140030206724880 140030635783893 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18456 KiB
[startup+0.210083 s]*
/proc/loadavg: 1.29 1.28 1.30 3/215 4162
/proc/meminfo: memFree=16999468/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=10818904 memory=48236 CPUtime=0.26 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 7663 13176 0 0 16 2 5 3 20 0 15 0 78066226 11078557696 11993 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2704726 11993 2970 1 0 2667149 0
[pid=4096/tid=4149] ppid=4093 vsize=10818904 memory=-8171376296011865461 CPUtime=0.19 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) R 4093 4096 32560 0 -1 4202560 4581 13176 0 0 10 1 5 3 20 0 15 0 78066236 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030607566088 140030635785622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066236 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030640016528 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10818904 memory=140192011781760 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066237 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030565321744 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066237 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066237 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030206724880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10818904 memory=140192011781760 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066238 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030162418032 140030635784834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 13 13176 0 0 0 0 5 3 20 0 15 0 78066238 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030093812768 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066239 11078557696 12257 33554432000 4194304 4196468 140724759877552 140029959594864 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11078557696 12257 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) S 4093 4096 32560 0 -1 1077944384 465 13176 0 0 1 0 5 3 20 0 15 0 78066241 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030060256112 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) S 4093 4096 32560 0 -1 1077944384 89 13176 0 0 1 0 5 3 20 0 15 0 78066241 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030059203312 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10818904 memory=140192011781760 CPUtime=0.11 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) R 4093 4096 32560 0 -1 4202560 562 13176 0 0 3 0 5 3 20 0 15 0 78066241 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030058150512 140030614142356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11078557696 12257 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10818904 memory=140192011781760 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066242 11078557696 12257 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 48236 KiB
[startup+0.310134 s]*
/proc/loadavg: 1.29 1.28 1.30 3/215 4162
/proc/meminfo: memFree=16988304/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=10819352 memory=59692 CPUtime=0.38 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 10408 13176 0 0 27 3 5 3 20 0 15 0 78066226 11079016448 14923 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2704838 14923 3089 1 0 2667149 0
[pid=4096/tid=4149] ppid=4093 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) R 4093 4096 32560 0 -1 4202560 7066 13176 0 0 18 2 5 3 20 0 15 0 78066236 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030607585696 140030616049568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10819352 memory=-8389222452898340213 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066236 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030640016528 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10819352 memory=1328725297981317182 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066237 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030565321744 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066237 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066237 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030206724880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066238 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030162418032 140030635784834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 13 13176 0 0 0 0 5 3 20 0 15 0 78066238 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030093812768 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066239 11079016448 14923 33554432000 4194304 4196468 140724759877552 140029959594864 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11079016448 14923 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) S 4093 4096 32560 0 -1 1077944384 465 13176 0 0 1 0 5 3 20 0 15 0 78066241 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030060256112 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) S 4093 4096 32560 0 -1 1077944384 90 13176 0 0 1 0 5 3 20 0 15 0 78066241 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030059203312 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) S 4093 4096 32560 0 -1 1077944384 571 13176 0 0 5 0 5 3 20 0 15 0 78066241 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030058150512 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11079016448 14923 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066242 11079016448 14923 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 59692 KiB
[startup+0.700743 s]
/proc/loadavg: 1.29 1.28 1.30 4/215 4162
/proc/meminfo: memFree=16977020/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=10819352 memory=92624 CPUtime=1 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 16710 13176 0 0 87 5 5 3 20 0 15 0 78066226 11079016448 23156 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2704838 23156 3247 1 0 2667149 0
[pid=4096/tid=4149] ppid=4093 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) R 4093 4096 32560 0 -1 4202560 12291 13176 0 0 55 3 5 3 20 0 15 0 78066236 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030607594512 140030635795034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066236 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030640016528 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10819352 memory=7886766292050524213 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066237 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030565321744 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10819352 memory=5860705218891763792 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066237 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10819352 memory=6226596351323422817 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066237 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030206724880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10819352 memory=2319389199337275488 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 5 13176 0 0 0 0 5 3 20 0 15 0 78066238 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030162418032 140030635784834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 13 13176 0 0 0 0 5 3 20 0 15 0 78066238 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030093812768 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10819352 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066239 11079016448 23156 33554432000 4194304 4196468 140724759877552 140029959594864 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11079016448 23156 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10819352 memory=2244 CPUtime=0.17 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) S 4093 4096 32560 0 -1 1077944384 1088 13176 0 0 9 0 5 3 20 0 15 0 78066241 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030060256112 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) S 4093 4096 32560 0 -1 1077944384 462 13176 0 0 7 0 5 3 20 0 15 0 78066241 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030059203312 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) S 4093 4096 32560 0 -1 1077944384 652 13176 0 0 13 0 5 3 20 0 15 0 78066241 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030058150512 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11079016448 23156 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10819352 memory=30305 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066242 11079016448 23156 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 92624 KiB
[startup+1.50129 s]
/proc/loadavg: 1.29 1.28 1.30 3/215 4162
/proc/meminfo: memFree=16931804/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=10828108 memory=244156 CPUtime=3.04 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 22742 13176 0 0 285 11 5 3 20 0 15 0 78066226 11087982592 61039 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2707027 61039 3465 1 0 2668685 0
[pid=4096/tid=4149] ppid=4093 vsize=10828108 memory=125 CPUtime=1.44 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) R 4093 4096 32560 0 -1 4202560 15066 13176 0 0 130 6 5 3 20 0 15 0 78066236 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030607605416 140030619879812 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10828108 memory=78 CPUtime=0.09 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) S 4093 4096 32560 0 -1 1077944384 21 13176 0 0 1 0 5 3 20 0 15 0 78066236 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030640016528 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10828108 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 34 13176 0 0 1 0 5 3 20 0 15 0 78066237 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030565321744 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10828108 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 249 13176 0 0 1 0 5 3 20 0 15 0 78066237 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 37 13176 0 0 0 0 5 3 20 0 15 0 78066237 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030206724880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 93 13176 0 0 0 0 5 3 20 0 15 0 78066238 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030162418032 140030635784834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 13 13176 0 0 0 0 5 3 20 0 15 0 78066238 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030093812768 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10828108 memory=-7591201286991560646 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066239 11087982592 61039 33554432000 4194304 4196468 140724759877552 140029959594864 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10828108 memory=-2127765394513485815 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11087982592 61039 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10828108 memory=-2897801490638248331 CPUtime=0.62 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) R 4093 4096 32560 0 -1 4202560 1799 13176 0 0 54 0 5 3 20 0 15 0 78066241 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030060242880 140030616522288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10828108 memory=-6940428038089893272 CPUtime=0.62 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) R 4093 4096 32560 0 -1 4202560 1954 13176 0 0 54 0 5 3 20 0 15 0 78066241 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030059194592 140030617293403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10828108 memory=-2746958450906831519 CPUtime=0.47 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) R 4093 4096 32560 0 -1 4202560 1280 13176 0 0 39 0 5 3 20 0 15 0 78066241 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030058150512 140030635795034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10828108 memory=64 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11087982592 61039 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10828108 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1 13176 0 0 0 0 5 3 20 0 15 0 78066242 11087982592 61039 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/4096/task/4149/stat : 4149 (java) R 4093 4096 32560 0 -1 4202560 298453 13176 0 0 230152 81 5 3 20 0 15 0 78066236 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030607608960 140030259944404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10852704 memory=4643156 CPUtime=18.89 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) S 4093 4096 32560 0 -1 1077944384 45176 13176 0 0 1826 55 5 3 20 0 15 0 78066236 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030640016528 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10852704 memory=4643156 CPUtime=18.93 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 52741 13176 0 0 1825 60 5 3 20 0 15 0 78066237 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030565321744 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10852704 memory=1800 CPUtime=18.9 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 37124 13176 0 0 1823 59 5 3 20 0 15 0 78066237 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10852704 memory=4639056 CPUtime=18.88 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 47415 13176 0 0 1823 57 5 3 20 0 15 0 78066237 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030206724880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10852704 memory=832 CPUtime=0.67 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 44569 13176 0 0 51 8 5 3 20 0 15 0 78066238 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030162418032 140030635784834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10852704 memory=23112 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 17 13176 0 0 0 0 5 3 20 0 15 0 78066238 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030093812832 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10852704 memory=4643156 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066239 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140029959594880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10852704 memory=1800 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10852704 memory=7020 CPUtime=16.71 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) S 4093 4096 32560 0 -1 1077944384 60636 13176 0 0 1655 8 5 3 20 0 15 0 78066241 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030060256112 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10852704 memory=4643152 CPUtime=16.89 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) S 4093 4096 32560 0 -1 1077944384 61656 13176 0 0 1672 9 5 3 20 0 15 0 78066241 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030059203312 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10852704 memory=4643152 CPUtime=4.71 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) S 4093 4096 32560 0 -1 1077944384 50484 13176 0 0 454 9 5 3 20 0 15 0 78066241 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030058150512 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10852704 memory=4643156 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10852704 memory=1040 CPUtime=1.48 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1389 13176 0 0 71 69 5 3 20 0 15 0 78066242 11113168896 1160789 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 2417.86 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4643156 KiB
[startup+2382.3 s]
/proc/loadavg: 1.82 1.83 1.78 3/215 4517
/proc/meminfo: memFree=7457836/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=10852704 memory=4645228 CPUtime=2478.2 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 710800 13176 0 0 247412 400 5 3 20 0 15 0 78066226 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2713176 1161307 3539 1 0 2674829 0
[pid=4096/tid=4149] ppid=4093 vsize=10852704 memory=4645228 CPUtime=2362.29 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) R 4093 4096 32560 0 -1 4202560 302086 13176 0 0 236140 81 5 3 20 0 15 0 78066236 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030607607504 140030262667660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10852704 memory=4645228 CPUtime=18.99 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) S 4093 4096 32560 0 -1 1077944384 47140 13176 0 0 1836 55 5 3 20 0 15 0 78066236 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030640016528 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10852704 memory=4645228 CPUtime=19.03 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 53719 13176 0 0 1835 60 5 3 20 0 15 0 78066237 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030565321744 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10852704 memory=4645228 CPUtime=19 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 38169 13176 0 0 1833 59 5 3 20 0 15 0 78066237 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10852704 memory=1891 CPUtime=18.98 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 48362 13176 0 0 1833 57 5 3 20 0 15 0 78066237 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030206724880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10852704 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 44892 13176 0 0 52 8 5 3 20 0 15 0 78066238 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030162418032 140030635784834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10852704 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 17 13176 0 0 0 0 5 3 20 0 15 0 78066238 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030093812832 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10852704 memory=23112 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066239 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140029959594880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10852704 memory=4645228 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10852704 memory=4645228 CPUtime=16.71 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) S 4093 4096 32560 0 -1 1077944384 60641 13176 0 0 1655 8 5 3 20 0 15 0 78066241 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030060256112 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10852704 memory=3708 CPUtime=16.9 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) S 4093 4096 32560 0 -1 1077944384 61662 13176 0 0 1672 10 5 3 20 0 15 0 78066241 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030059203312 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10852704 memory=23112 CPUtime=4.71 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) S 4093 4096 32560 0 -1 1077944384 50489 13176 0 0 454 9 5 3 20 0 15 0 78066241 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030058150512 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10852704 memory=3212 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10852704 memory=4645228 CPUtime=1.52 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1427 13176 0 0 73 71 5 3 20 0 15 0 78066242 11113168896 1161307 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 2478.2 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4645228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2423.9 s]
/proc/loadavg: 1.84 1.83 1.78 3/215 4517
/proc/meminfo: memFree=7458236/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=10852704 memory=4645248 CPUtime=2520.01 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 719404 13176 0 0 251590 403 5 3 20 0 15 0 78066226 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2713176 1161312 3539 1 0 2674829 0
[pid=4096/tid=4149] ppid=4093 vsize=10852704 memory=4645248 CPUtime=2403.83 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) S 4093 4096 32560 0 -1 1077944384 305606 13176 0 0 240293 82 5 3 20 0 15 0 78066236 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030607607984 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10852704 memory=4645228 CPUtime=19.05 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) R 4093 4096 32560 0 -1 1077944384 49142 13176 0 0 1842 55 5 3 20 0 15 0 78066236 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030640016592 140030635783893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10852704 memory=4645248 CPUtime=19.09 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 54564 13176 0 0 1841 60 5 3 20 0 15 0 78066237 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030565321760 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10852704 memory=4645228 CPUtime=19.06 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 39111 13176 0 0 1839 59 5 3 20 0 15 0 78066237 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10852704 memory=4645248 CPUtime=19.04 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 49302 13176 0 0 1839 57 5 3 20 0 15 0 78066237 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030206724960 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.69 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 45209 13176 0 0 52 9 5 3 20 0 15 0 78066238 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030162416544 140030635783893 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 17 13176 0 0 0 0 5 3 20 0 15 0 78066238 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030093812832 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066239 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140029959594880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10852704 memory=2664 CPUtime=16.71 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) S 4093 4096 32560 0 -1 1077944384 60647 13176 0 0 1655 8 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030060256112 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10852704 memory=4645248 CPUtime=16.9 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) S 4093 4096 32560 0 -1 1077944384 61666 13176 0 0 1672 10 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030059203312 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10852704 memory=4645248 CPUtime=4.71 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) S 4093 4096 32560 0 -1 1077944384 50494 13176 0 0 454 9 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030058150512 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10852704 memory=4645248 CPUtime=1.55 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1450 13176 0 0 75 72 5 3 20 0 15 0 78066242 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4645248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2423.99 s]
# the end of solver process 4096 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.01 s, system=4.09945 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2423.9 s]
/proc/loadavg: 1.84 1.83 1.78 3/215 4517
/proc/meminfo: memFree=7458236/32770624 swapFree=67108796/67108860
[pid=4096] ppid=4093 vsize=10852704 memory=4645248 CPUtime=2520.01 cores=0,2,4,6
/proc/4096/stat : 4096 (java) S 4093 4096 32560 0 -1 1077944320 719404 13176 0 0 251590 403 5 3 20 0 15 0 78066226 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140724759860096 140030635773687 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
/proc/4096/statm: 2713176 1161312 3539 1 0 2674829 0
[pid=4096/tid=4149] ppid=4093 vsize=10852704 memory=4645248 CPUtime=2403.83 cores=0,2,4,6
/proc/4096/task/4149/stat : 4149 (java) S 4093 4096 32560 0 -1 1077944384 305606 13176 0 0 240293 82 5 3 20 0 15 0 78066236 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030607607984 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4150] ppid=4093 vsize=10852704 memory=4645228 CPUtime=19.05 cores=0,2,4,6
/proc/4096/task/4150/stat : 4150 (java) R 4093 4096 32560 0 -1 1077944384 49142 13176 0 0 1842 55 5 3 20 0 15 0 78066236 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030640016592 140030635783893 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4151] ppid=4093 vsize=10852704 memory=4645248 CPUtime=19.09 cores=0,2,4,6
/proc/4096/task/4151/stat : 4151 (java) S 4093 4096 32560 0 -1 1077944384 54564 13176 0 0 1841 60 5 3 20 0 15 0 78066237 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030565321760 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4152] ppid=4093 vsize=10852704 memory=4645228 CPUtime=19.06 cores=0,2,4,6
/proc/4096/task/4152/stat : 4152 (java) S 4093 4096 32560 0 -1 1077944384 39111 13176 0 0 1839 59 5 3 20 0 15 0 78066237 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030207777680 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4153] ppid=4093 vsize=10852704 memory=4645248 CPUtime=19.04 cores=0,2,4,6
/proc/4096/task/4153/stat : 4153 (java) S 4093 4096 32560 0 -1 1077944384 49302 13176 0 0 1839 57 5 3 20 0 15 0 78066237 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030206724960 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4154] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.69 cores=0,2,4,6
/proc/4096/task/4154/stat : 4154 (java) S 4093 4096 32560 0 -1 1077944384 45209 13176 0 0 52 9 5 3 20 0 15 0 78066238 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030162416544 140030635783893 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4155] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4155/stat : 4155 (java) S 4093 4096 32560 0 -1 1077944384 17 13176 0 0 0 0 5 3 20 0 15 0 78066238 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030093812832 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4156] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4156/stat : 4156 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066239 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140029959594880 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4157] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4157/stat : 4157 (java) S 4093 4096 32560 0 -1 1077944384 2 13176 0 0 0 0 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140029355616080 140030635792283 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4158] ppid=4093 vsize=10852704 memory=2664 CPUtime=16.71 cores=0,2,4,6
/proc/4096/task/4158/stat : 4158 (java) S 4093 4096 32560 0 -1 1077944384 60647 13176 0 0 1655 8 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030060256112 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4159] ppid=4093 vsize=10852704 memory=4645248 CPUtime=16.9 cores=0,2,4,6
/proc/4096/task/4159/stat : 4159 (java) S 4093 4096 32560 0 -1 1077944384 61666 13176 0 0 1672 10 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030059203312 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4160] ppid=4093 vsize=10852704 memory=4645248 CPUtime=4.71 cores=0,2,4,6
/proc/4096/task/4160/stat : 4160 (java) S 4093 4096 32560 0 -1 1077944384 50494 13176 0 0 454 9 5 3 20 0 15 0 78066241 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030058150512 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4161] ppid=4093 vsize=10852704 memory=4645248 CPUtime=0.08 cores=0,2,4,6
/proc/4096/task/4161/stat : 4161 (java) S 4093 4096 32560 0 -1 1077944384 3 13176 0 0 0 0 5 3 20 0 15 0 78066242 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140028885854944 140030635783893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
[pid=4096/tid=4162] ppid=4093 vsize=10852704 memory=4645248 CPUtime=1.55 cores=0,2,4,6
/proc/4096/task/4162/stat : 4162 (java) S 4093 4096 32560 0 -1 1077944384 1450 13176 0 0 75 72 5 3 20 0 15 0 78066242 11113168896 1161312 33554432000 4194304 4196468 140724759877552 140030057097904 140030635784834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 19394560 140724759881899 140724759885148 140724759885148 140724759887823 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4645248 KiB
Child status: 143
Real time (s): 2423.99
CPU time (s): 2520.11
CPU user time (s): 2516.01
CPU system time (s): 4.09945
CPU usage (%): 103.965
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 4645248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.01
system time used= 4.09945
maximum resident set size= 4649404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 736758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74345
involuntary context switches= 3468
# summary of solver processes directly reported to runsolver:
# pid: 4096
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.01
# total CPU system time (s): 4.09945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2726 second user time and 21.8436 second system time
The end