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 (8027 MiB free)
memory of node 1: 16384 MiB (11660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387403-1568303001/watcher-4387403-1568303001 -o /tmp/evaluation-result-4387403-1568303001/solver-4387403-1568303001 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568286041-32307 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1167746454 HOME/instance-4387403-1568303001.xml
running on 4 cores: 1,3,5,7
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=5044, runsolver pid=5041
[startup+0.100143 s]*
/proc/loadavg: 1.20 1.25 1.34 4/218 5101
/proc/meminfo: memFree=20153540/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=9972712 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 4470 13130 0 0 1 1 5 2 20 0 6 0 406566929 10212057088 4204 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2493178 4204 1935 1 0 2481616 0
[pid=5044/tid=5097] ppid=5041 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 2270 13130 0 0 0 0 5 2 20 0 6 0 406566938 10212057088 4716 33554432000 4194304 4196468 140736515009136 140234835350096 140234863535261 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 6 0 406566938 10212057088 4716 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=9972712 memory=140202658576000 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 6 0 406566938 10212057088 4716 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 6 0 406566938 10212057088 4716 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 6 0 406566938 10212057088 4716 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.209983 s]*
/proc/loadavg: 1.20 1.25 1.34 3/227 5110
/proc/meminfo: memFree=20131792/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=10818940 memory=42412 CPUtime=0.25 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 6884 13130 0 0 16 2 5 2 20 0 15 0 406566929 11078594560 10603 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2704735 10603 2987 1 0 2667149 0
[pid=5044/tid=5097] ppid=5041 vsize=10818940 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 3408 13130 0 0 10 1 5 2 20 0 15 0 406566938 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234835346192 140234844907066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10818940 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10818940 memory=3690618228690466464 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566938 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10818940 memory=140202658576000 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566940 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 13 13130 0 0 0 0 5 2 20 0 15 0 406566940 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234306086432 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566940 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234171868528 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11078594560 10603 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 349 13130 0 0 1 0 5 2 20 0 15 0 406566943 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 267 13130 0 0 1 0 5 2 20 0 15 0 406566943 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10818940 memory=140202658576000 CPUtime=0.1 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) R 5041 5044 31346 0 -1 4202560 640 13130 0 0 3 0 5 2 20 0 15 0 406566943 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234387003504 140234847593822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11078594560 10603 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10818940 memory=140202658576000 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566944 11078594560 10603 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42412 KiB
[startup+0.311245 s]*
/proc/loadavg: 1.20 1.25 1.34 3/227 5110
/proc/meminfo: memFree=20121800/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=10820096 memory=52256 CPUtime=0.39 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 10674 13130 0 0 28 4 5 2 20 0 15 0 406566929 11079778304 13064 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2705024 13064 3301 1 0 2667149 0
[pid=5044/tid=5097] ppid=5041 vsize=10820096 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 7156 13130 0 0 18 3 5 2 20 0 15 0 406566938 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234835325776 140234863535261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10820096 memory=-8960883171876192193 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10820096 memory=8693815914432465728 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10820096 memory=-8412656567334364540 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566938 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566940 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 13 13130 0 0 0 0 5 2 20 0 15 0 406566940 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234306086432 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566940 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234171868528 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11079778304 13576 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 351 13130 0 0 2 0 5 2 20 0 15 0 406566943 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 267 13130 0 0 1 0 5 2 20 0 15 0 406566943 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10820096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) S 5041 5044 31346 0 -1 1077944384 663 13130 0 0 5 0 5 2 20 0 15 0 406566943 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234387003504 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11079778304 13576 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566944 11079778304 13576 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 52256 KiB
[startup+0.700759 s]
/proc/loadavg: 1.20 1.25 1.34 5/227 5110
/proc/meminfo: memFree=20109112/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=10824340 memory=84784 CPUtime=1.13 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 14844 13130 0 0 101 5 5 2 20 0 15 0 406566929 11084124160 21142 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2706085 21196 3507 1 0 2668173 0
[pid=5044/tid=5097] ppid=5041 vsize=10824340 memory=2437125506817 CPUtime=0.66 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 10485 13130 0 0 55 4 5 2 20 0 15 0 406566938 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234835337760 140234847593822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10824340 memory=2450010408705 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10824340 memory=2471485245185 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10824340 memory=2475780212481 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566938 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10824340 memory=8730425 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566938 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10824340 memory=4639649383340284835 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 5 13130 0 0 0 0 5 2 20 0 15 0 406566940 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10824340 memory=5861826720752095312 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 13 13130 0 0 0 0 5 2 20 0 15 0 406566940 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234306086432 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10824340 memory=7013340846366745708 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566940 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234171868528 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10824340 memory=280404993549888 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11084124160 21196 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10824340 memory=140204912411233 CPUtime=0.19 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 612 13130 0 0 12 0 5 2 20 0 15 0 406566943 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10824340 memory=142670223639178 CPUtime=0.22 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 639 13130 0 0 15 0 5 2 20 0 15 0 406566943 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10824340 memory=140204912411513 CPUtime=0.24 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) S 5041 5044 31346 0 -1 1077944384 870 13130 0 0 17 0 5 2 20 0 15 0 406566943 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234387003504 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10824340 memory=140204912411515 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11084124160 21196 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10824340 memory=140204912411545 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 1 13130 0 0 0 0 5 2 20 0 15 0 406566944 11084124160 21196 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84784 KiB
[startup+1.50435 s]
/proc/loadavg: 1.20 1.25 1.34 5/227 5110
/proc/meminfo: memFree=20027716/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=10832608 memory=234900 CPUtime=2.88 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 23286 13130 0 0 268 13 5 2 20 0 15 0 406566929 11092590592 58725 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2708152 58725 3578 1 0 2670221 0
[pid=5044/tid=5097] ppid=5041 vsize=10832608 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 15104 13130 0 0 127 8 5 2 20 0 15 0 406566938 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234835342768 140234847593822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 69 13130 0 0 1 0 5 2 20 0 15 0 406566938 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 49 13130 0 0 1 0 5 2 20 0 15 0 406566938 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 313 13130 0 0 1 0 5 2 20 0 15 0 406566938 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 52 13130 0 0 1 0 5 2 20 0 15 0 406566938 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 1268 13130 0 0 1 0 5 2 20 0 15 0 406566940 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10832608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 13 13130 0 0 0 0 5 2 20 0 15 0 406566940 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234306086496 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10832608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566940 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234171868544 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10832608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11092590592 58725 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10832608 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 1357 13130 0 0 46 0 5 2 20 0 15 0 406566943 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10832608 memory=-7966001967407402336 CPUtime=0.55 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 1213 13130 0 0 48 0 5 2 20 0 15 0 406566943 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10832608 memory=6944938067432061290 CPUtime=0.43 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) S 5041 5044 31346 0 -1 1077944384 1627 13130 0 0 36 0 5 2 20 0 15 0 406566943 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234387003504 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10832608 memory=7100839870102598768 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11092590592 58725 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10832608 memory=4627829655977429107 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566944 11092590592 58725 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10832608 KiB
################
# More data... #
################
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 57937 13130 0 0 236655 39 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234835348288 140234474116990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.89 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 7686 13130 0 0 644 38 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10846964 memory=8112282956445269571 CPUtime=6.9 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 8399 13130 0 0 643 40 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10846964 memory=288230574492221466 CPUtime=6.89 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 11323 13130 0 0 642 40 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.92 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 6282 13130 0 0 647 38 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.09 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 12005 13130 0 0 565 37 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 15 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234306086496 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 8 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234171868544 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10846964 memory=748004 CPUtime=5.98 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 34710 13130 0 0 584 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.34 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 31818 13130 0 0 620 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10846964 memory=748004 CPUtime=3.72 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) S 5041 5044 31346 0 -1 1077944384 24877 13130 0 0 357 8 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234387003504 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10846964 memory=748004 CPUtime=1.29 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 1055 13130 0 0 53 69 5 2 20 0 15 0 406566944 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 2417.5 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 748004 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.42 1.39 3/227 5483
/proc/meminfo: memFree=19173100/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=10846964 memory=748004 CPUtime=2477.94 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 199335 13130 0 0 247508 279 5 2 20 0 15 0 406566929 11107291136 187001 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2711741 187001 3626 1 0 2673805 0
[pid=5044/tid=5097] ppid=5041 vsize=10846964 memory=748004 CPUtime=2426.69 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 58363 13130 0 0 242623 39 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234835348304 140234474114389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.04 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 7762 13130 0 0 658 39 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.04 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 8597 13130 0 0 657 40 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.04 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 11331 13130 0 0 656 41 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.06 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 6350 13130 0 0 661 38 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.23 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 12210 13130 0 0 578 38 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 15 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234306086496 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 8 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234171868544 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10846964 memory=2004 CPUtime=5.98 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 34712 13130 0 0 584 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.34 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 31820 13130 0 0 620 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10846964 memory=3620 CPUtime=3.72 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) S 5041 5044 31346 0 -1 1077944384 24879 13130 0 0 357 8 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234387003504 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10846964 memory=748004 CPUtime=1.32 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 1072 13130 0 0 55 70 5 2 20 0 15 0 406566944 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 2477.94 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 748004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2484.11 s]
/proc/loadavg: 1.26 1.39 1.38 3/228 5487
/proc/meminfo: memFree=19173500/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=10846964 memory=748004 CPUtime=2520.08 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 199524 13130 0 0 251719 282 5 2 20 0 15 0 406566929 11107291136 187001 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2711741 187001 3626 1 0 2673805 0
[pid=5044/tid=5097] ppid=5041 vsize=10846964 memory=748004 CPUtime=2468.26 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 58530 13130 0 0 246780 39 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234835349216 140234474118648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.16 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 7765 13130 0 0 669 40 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.16 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 8600 13130 0 0 668 41 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.15 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 11335 13130 0 0 667 41 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.18 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 6353 13130 0 0 672 39 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.33 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 12216 13130 0 0 587 39 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 15 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234306086496 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 8 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234171868544 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10846964 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10846964 memory=748004 CPUtime=5.98 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 34712 13130 0 0 584 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.34 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 31820 13130 0 0 620 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10846964 memory=748004 CPUtime=3.72 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) S 5041 5044 31346 0 -1 1077944384 24879 13130 0 0 357 8 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234387003504 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10846964 memory=748004 CPUtime=1.34 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 1075 13130 0 0 56 71 5 2 20 0 15 0 406566944 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 748004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2484.15 s]
# the end of solver process 5044 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.28 s, system=2.8659 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2484.11 s]
/proc/loadavg: 1.26 1.39 1.38 3/228 5487
/proc/meminfo: memFree=19173500/32770624 swapFree=66939716/67108860
[pid=5044] ppid=5041 vsize=10846964 memory=748004 CPUtime=2520.08 cores=1,3,5,7
/proc/5044/stat : 5044 (java) S 5041 5044 31346 0 -1 1077944320 199524 13130 0 0 251719 282 5 2 20 0 15 0 406566929 11107291136 187001 33554432000 4194304 4196468 140736515009136 140736514991680 140234863513335 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
/proc/5044/statm: 2711741 187001 3626 1 0 2673805 0
[pid=5044/tid=5097] ppid=5041 vsize=10846964 memory=748004 CPUtime=2468.26 cores=1,3,5,7
/proc/5044/task/5097/stat : 5097 (java) R 5041 5044 31346 0 -1 4202560 58530 13130 0 0 246780 39 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234835349216 140234474118648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5098] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.16 cores=1,3,5,7
/proc/5044/task/5098/stat : 5098 (java) S 5041 5044 31346 0 -1 1077944384 7765 13130 0 0 669 40 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234867755664 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5099] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.16 cores=1,3,5,7
/proc/5044/task/5099/stat : 5099 (java) S 5041 5044 31346 0 -1 1077944384 8600 13130 0 0 668 41 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234782575120 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5100] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.15 cores=1,3,5,7
/proc/5044/task/5100/stat : 5100 (java) S 5041 5044 31346 0 -1 1077944384 11335 13130 0 0 667 41 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234781522320 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5101] ppid=5041 vsize=10846964 memory=748004 CPUtime=7.18 cores=1,3,5,7
/proc/5044/task/5101/stat : 5101 (java) S 5041 5044 31346 0 -1 1077944384 6353 13130 0 0 672 39 5 2 20 0 15 0 406566938 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234780469520 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5102] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.33 cores=1,3,5,7
/proc/5044/task/5102/stat : 5102 (java) S 5041 5044 31346 0 -1 1077944384 12216 13130 0 0 587 39 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234390162288 140234863524482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5103] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5103/stat : 5103 (java) S 5041 5044 31346 0 -1 1077944384 15 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234306086496 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5104] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5104/stat : 5104 (java) S 5041 5044 31346 0 -1 1077944384 8 13130 0 0 0 0 5 2 20 0 15 0 406566940 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234171868544 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5105] ppid=5041 vsize=10846964 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5105/stat : 5105 (java) S 5041 5044 31346 0 -1 1077944384 2 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233567889744 140234863531931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5106] ppid=5041 vsize=10846964 memory=748004 CPUtime=5.98 cores=1,3,5,7
/proc/5044/task/5106/stat : 5106 (java) S 5041 5044 31346 0 -1 1077944384 34712 13130 0 0 584 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234389109104 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5107] ppid=5041 vsize=10846964 memory=748004 CPUtime=6.34 cores=1,3,5,7
/proc/5044/task/5107/stat : 5107 (java) S 5041 5044 31346 0 -1 1077944384 31820 13130 0 0 620 7 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234388056304 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5108] ppid=5041 vsize=10846964 memory=748004 CPUtime=3.72 cores=1,3,5,7
/proc/5044/task/5108/stat : 5108 (java) S 5041 5044 31346 0 -1 1077944384 24879 13130 0 0 357 8 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234387003504 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5109] ppid=5041 vsize=10846964 memory=748004 CPUtime=0.07 cores=1,3,5,7
/proc/5044/task/5109/stat : 5109 (java) S 5041 5044 31346 0 -1 1077944384 3 13130 0 0 0 0 5 2 20 0 15 0 406566943 11107291136 187001 33554432000 4194304 4196468 140736515009136 140233098127584 140234863523541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
[pid=5044/tid=5110] ppid=5041 vsize=10846964 memory=748004 CPUtime=1.34 cores=1,3,5,7
/proc/5044/task/5110/stat : 5110 (java) S 5041 5044 31346 0 -1 1077944384 1075 13130 0 0 56 71 5 2 20 0 15 0 406566944 11107291136 187001 33554432000 4194304 4196468 140736515009136 140234385951920 140234863524482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12898304 140736515017461 140736515019973 140736515019973 140736515022799 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 748004 KiB
Child status: 143
Real time (s): 2484.15
CPU time (s): 2520.14
CPU user time (s): 2517.28
CPU system time (s): 2.8659
CPU usage (%): 101.449
Max. virtual memory (cumulated for all children) (KiB): 10849612
Max. memory (cumulated for all children) (KiB): 1066756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.28
system time used= 2.8659
maximum resident set size= 1068804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 198804
involuntary context switches= 5423
# summary of solver processes directly reported to runsolver:
# pid: 5044
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.28
# total CPU system time (s): 2.8659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5448 second user time and 21.0987 second system time
The end