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 (15266 MiB free)
memory of node 1: 16384 MiB (14630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392027-1568305980/watcher-4392027-1568305980 -o /tmp/evaluation-result-4392027-1568305980/solver-4392027-1568305980 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5609 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=445186752 HOME/instance-4392027-1568305980.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6550, runsolver pid=6547
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.41 1.40 1.40 3/219 6607
/proc/meminfo: memFree=30609944/32770624 swapFree=66999716/67108860
[pid=6550] ppid=6547 vsize=9972712 memory=16552 CPUtime=0.09 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 4417 13123 0 0 1 0 5 3 20 0 6 0 406512044 10212057088 4138 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2493178 4138 1933 1 0 2481616 0
[pid=6550/tid=6603] ppid=6547 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 2248 13123 0 0 1 0 5 3 20 0 6 0 406512053 10212057088 4204 33554432000 4194304 4196468 140725533910560 140024517366352 140024545551517 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 6 0 406512054 10212057088 4204 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=9972712 memory=140204909762176 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 6 0 406512054 10212057088 4204 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 6 0 406512054 10212057088 4204 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 2 13123 0 0 0 0 5 3 20 0 6 0 406512054 10212057088 4204 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210147 s]*
/proc/loadavg: 1.41 1.40 1.40 3/228 6616
/proc/meminfo: memFree=30590540/32770624 swapFree=66999716/67108860
[pid=6550] ppid=6547 vsize=10818940 memory=38320 CPUtime=0.26 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 6863 13123 0 0 17 1 5 3 20 0 15 0 406512044 11078594560 9580 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2704735 9580 2983 1 0 2667149 0
[pid=6550/tid=6603] ppid=6547 vsize=10818940 memory=5450916389569530688 CPUtime=0.2 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 3392 13123 0 0 11 1 5 3 20 0 15 0 406512053 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024517362304 140024545551517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10818940 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10818940 memory=140204909762176 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 2 13123 0 0 0 0 5 3 20 0 15 0 406512054 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10818940 memory=140204909762176 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 2 13123 0 0 0 0 5 3 20 0 15 0 406512056 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 13 13123 0 0 0 0 5 3 20 0 15 0 406512056 11078594560 9580 33554432000 4194304 4196468 140725533910560 140023517144352 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512056 11078594560 9580 33554432000 4194304 4196468 140725533910560 140023315818096 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11078594560 9580 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) S 6547 6550 5578 0 -1 1077944384 474 13123 0 0 1 0 5 3 20 0 15 0 406512059 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024071116912 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 149 13123 0 0 1 0 5 3 20 0 15 0 406512059 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10818940 memory=140204909762176 CPUtime=0.11 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) S 6547 6550 5578 0 -1 1077944384 631 13123 0 0 3 0 5 3 20 0 15 0 406512059 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024069011824 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11078594560 9580 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10818940 memory=140204909762176 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512060 11078594560 9580 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38320 KiB
[startup+0.315597 s]*
/proc/loadavg: 1.41 1.40 1.40 3/228 6616
/proc/meminfo: memFree=30579728/32770624 swapFree=66999716/67108860
[pid=6550] ppid=6547 vsize=10820096 memory=49964 CPUtime=0.41 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 10682 13123 0 0 30 3 5 3 20 0 15 0 406512044 11079778304 12491 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2705024 12491 3285 1 0 2667149 0
[pid=6550/tid=6603] ppid=6547 vsize=10820244 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 7197 13123 0 0 20 2 5 3 20 0 15 0 406512053 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024517344712 140024545551517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10820244 memory=7519148154012265068 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10820244 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10820244 memory=7019607292701526982 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10820244 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 2 13123 0 0 0 0 5 3 20 0 15 0 406512054 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 2 13123 0 0 0 0 5 3 20 0 15 0 406512056 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 13 13123 0 0 0 0 5 3 20 0 15 0 406512056 11079929856 12557 33554432000 4194304 4196468 140725533910560 140023517144352 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512056 11079929856 12557 33554432000 4194304 4196468 140725533910560 140023315818096 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11079929856 12557 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10820244 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) S 6547 6550 5578 0 -1 1077944384 474 13123 0 0 1 0 5 3 20 0 15 0 406512059 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024071116912 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10820244 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 151 13123 0 0 2 0 5 3 20 0 15 0 406512059 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10820244 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) S 6547 6550 5578 0 -1 1077944384 660 13123 0 0 5 0 5 3 20 0 15 0 406512059 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024069011824 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11079929856 12557 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512060 11079929856 12557 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 49964 KiB
[startup+0.700732 s]
/proc/loadavg: 1.41 1.40 1.40 5/228 6616
/proc/meminfo: memFree=30566916/32770624 swapFree=66999716/67108860
[pid=6550] ppid=6547 vsize=10824340 memory=80488 CPUtime=1.14 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 14819 13123 0 0 102 4 5 3 20 0 15 0 406512044 11084124160 20122 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2706085 20122 3508 1 0 2668173 0
[pid=6550/tid=6603] ppid=6547 vsize=10824340 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 10469 13123 0 0 56 3 5 3 20 0 15 0 406512053 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024517359168 140024529610078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10824340 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512054 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 2 13123 0 0 0 0 5 3 20 0 15 0 406512054 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 5 13123 0 0 0 0 5 3 20 0 15 0 406512056 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 13 13123 0 0 0 0 5 3 20 0 15 0 406512056 11084124160 20122 33554432000 4194304 4196468 140725533910560 140023517144352 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512056 11084124160 20122 33554432000 4194304 4196468 140725533910560 140023315818096 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11084124160 20122 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10824340 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) R 6547 6550 5578 0 -1 4202560 830 13123 0 0 15 0 5 3 20 0 15 0 406512059 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024071116912 140024525184800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10824340 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 422 13123 0 0 12 0 5 3 20 0 15 0 406512059 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10824340 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) S 6547 6550 5578 0 -1 1077944384 858 13123 0 0 17 0 5 3 20 0 15 0 406512059 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024069011824 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10824340 memory=140204778227696 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11084124160 20122 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512060 11084124160 20122 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80488 KiB
[startup+1.5007 s]
/proc/loadavg: 1.41 1.40 1.40 3/228 6616
/proc/meminfo: memFree=30523552/32770624 swapFree=66999716/67108860
[pid=6550] ppid=6547 vsize=10834656 memory=165840 CPUtime=2.45 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 21340 13123 0 0 228 9 5 3 20 0 15 0 406512044 11094687744 41460 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2708664 41460 3569 1 0 2670733 0
[pid=6550/tid=6603] ppid=6547 vsize=10834656 memory=16 CPUtime=1.44 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 15329 13123 0 0 131 5 5 3 20 0 15 0 406512053 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024517329008 140024138027856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10834656 memory=27 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 64 13123 0 0 1 0 5 3 20 0 15 0 406512054 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 360 13123 0 0 0 0 5 3 20 0 15 0 406512054 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 65 13123 0 0 1 0 5 3 20 0 15 0 406512054 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10834656 memory=94292 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 32 13123 0 0 1 0 5 3 20 0 15 0 406512054 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 139 13123 0 0 1 0 5 3 20 0 15 0 406512056 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10834656 memory=7014751519717741926 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 13 13123 0 0 0 0 5 3 20 0 15 0 406512056 11094687744 41460 33554432000 4194304 4196468 140725533910560 140023517144416 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10834656 memory=7302983072790963801 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 2 13123 0 0 0 0 5 3 20 0 15 0 406512056 11094687744 41460 33554432000 4194304 4196468 140725533910560 140023315818096 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10834656 memory=7234859531222083687 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11094687744 41460 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10834656 memory=5571041044932614245 CPUtime=0.35 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) S 6547 6550 5578 0 -1 1077944384 1021 13123 0 0 27 0 5 3 20 0 15 0 406512059 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024071116912 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10834656 memory=7882516964238061409 CPUtime=0.29 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 506 13123 0 0 21 0 5 3 20 0 15 0 406512059 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10834656 memory=7014751519717741926 CPUtime=0.49 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) R 6547 6550 5578 0 -1 4202560 1594 13123 0 0 41 0 5 3 20 0 15 0 406512059 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024069011824 140024537766718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10834656 memory=7014751519717741926 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11094687744 41460 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10834656 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 1 13123 0 0 0 0 5 3 20 0 15 0 406512060 11094687744 41460 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 70999 13123 0 0 223650 48 5 3 20 0 15 0 406512053 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024517364304 140024528913590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10851072 memory=1003164 CPUtime=11.56 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 10604 13123 0 0 1095 53 5 3 20 0 15 0 406512054 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10851072 memory=1003164 CPUtime=11.55 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 12846 13123 0 0 1091 56 5 3 20 0 15 0 406512054 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10851072 memory=1003164 CPUtime=11.52 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 9917 13123 0 0 1095 49 5 3 20 0 15 0 406512054 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10851072 memory=1003164 CPUtime=11.55 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 12521 13123 0 0 1094 53 5 3 20 0 15 0 406512054 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10851072 memory=490 CPUtime=10.96 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 13328 13123 0 0 1040 48 5 3 20 0 15 0 406512056 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10851072 memory=1003164 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 19 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 250791 33554432000 4194304 4196468 140725533910560 140023517144480 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10851072 memory=1142 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 10 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 250791 33554432000 4194304 4196468 140725533910560 140023315818112 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10851072 memory=1003164 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 250791 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10851072 memory=55 CPUtime=6.17 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) S 6547 6550 5578 0 -1 1077944384 24388 13123 0 0 605 4 5 3 20 0 15 0 406512059 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024071116912 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10851072 memory=1003164 CPUtime=4.98 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 17133 13123 0 0 483 7 5 3 20 0 15 0 406512059 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10851072 memory=2257 CPUtime=3.82 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) S 6547 6550 5578 0 -1 1077944384 26775 13123 0 0 367 7 5 3 20 0 15 0 406512059 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024069011824 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10851072 memory=1003164 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 250791 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10851072 memory=1003164 CPUtime=1.43 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 814 13123 0 0 67 68 5 3 20 0 15 0 406512060 11111497728 250791 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 2309.98 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1003164 KiB
[startup+2322.31 s]
/proc/loadavg: 1.54 1.49 1.43 3/229 6985
/proc/meminfo: memFree=29496128/32770624 swapFree=66999732/67108860
[pid=6550] ppid=6547 vsize=10851072 memory=1005212 CPUtime=2370.95 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 203151 13123 0 0 236742 345 5 3 20 0 15 0 406512044 11111497728 251303 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2712768 251303 3625 1 0 2674829 0
[pid=6550/tid=6603] ppid=6547 vsize=10851072 memory=1005212 CPUtime=2296.41 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 71788 13123 0 0 229584 49 5 3 20 0 15 0 406512053 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024517365520 140024157091724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10851072 memory=1005212 CPUtime=11.89 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 10681 13123 0 0 1127 54 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10851072 memory=1005212 CPUtime=11.87 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 12898 13123 0 0 1122 57 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10851072 memory=1005212 CPUtime=11.84 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 9966 13123 0 0 1126 50 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10851072 memory=1005212 CPUtime=11.87 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 12893 13123 0 0 1124 55 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10851072 memory=1005212 CPUtime=11.25 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 13549 13123 0 0 1068 49 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 19 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023517144480 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 10 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023315818112 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10851072 memory=1005212 CPUtime=6.17 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) S 6547 6550 5578 0 -1 1077944384 24390 13123 0 0 605 4 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024071116912 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10851072 memory=1005212 CPUtime=4.98 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 17135 13123 0 0 483 7 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10851072 memory=55 CPUtime=3.82 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) S 6547 6550 5578 0 -1 1077944384 26777 13123 0 0 367 7 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024069011824 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10851072 memory=1005212 CPUtime=1.47 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 829 13123 0 0 68 71 5 3 20 0 15 0 406512060 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 2370.95 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1005212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2350.9 s]
/proc/loadavg: 1.46 1.48 1.42 3/230 6988
/proc/meminfo: memFree=29496296/32770624 swapFree=66999732/67108860
[pid=6550] ppid=6547 vsize=10851072 memory=1005212 CPUtime=2400 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 204393 13123 0 0 239644 348 5 3 20 0 15 0 406512044 11111497728 251303 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2712768 251303 3625 1 0 2674829 0
[pid=6550/tid=6603] ppid=6547 vsize=10851072 memory=239911 CPUtime=2324.65 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 72282 13123 0 0 232408 49 5 3 20 0 15 0 406512053 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024517365344 140024154091413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12.04 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 10812 13123 0 0 1142 54 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12.03 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 12924 13123 0 0 1138 57 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 10306 13123 0 0 1141 51 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12.03 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 12919 13123 0 0 1139 56 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10851072 memory=1005212 CPUtime=11.4 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 13753 13123 0 0 1082 50 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 19 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023517144480 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 10 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023315818112 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10851072 memory=1005212 CPUtime=6.17 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) S 6547 6550 5578 0 -1 1077944384 24392 13123 0 0 605 4 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024071116912 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10851072 memory=1005212 CPUtime=4.98 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 17138 13123 0 0 483 7 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10851072 memory=1005212 CPUtime=3.82 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) S 6547 6550 5578 0 -1 1077944384 26779 13123 0 0 367 7 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024069011824 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10851072 memory=1005212 CPUtime=1.49 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 843 13123 0 0 69 72 5 3 20 0 15 0 406512060 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1005212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2350.93 s]
# the end of solver process 6550 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.51 s, system=3.52908 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2350.9 s]
/proc/loadavg: 1.46 1.48 1.42 3/230 6988
/proc/meminfo: memFree=29496296/32770624 swapFree=66999732/67108860
[pid=6550] ppid=6547 vsize=10851072 memory=1005212 CPUtime=2400 cores=0,2,4,6
/proc/6550/stat : 6550 (java) S 6547 6550 5578 0 -1 1077944320 204393 13123 0 0 239644 348 5 3 20 0 15 0 406512044 11111497728 251303 33554432000 4194304 4196468 140725533910560 140725533893104 140024545529591 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
/proc/6550/statm: 2712768 251303 3625 1 0 2674829 0
[pid=6550/tid=6603] ppid=6547 vsize=10851072 memory=239911 CPUtime=2324.65 cores=0,2,4,6
/proc/6550/task/6603/stat : 6603 (java) R 6547 6550 5578 0 -1 4202560 72282 13123 0 0 232408 49 5 3 20 0 15 0 406512053 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024517365344 140024154091413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6604] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12.04 cores=0,2,4,6
/proc/6550/task/6604/stat : 6604 (java) S 6547 6550 5578 0 -1 1077944384 10812 13123 0 0 1142 54 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024549771664 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6605] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12.03 cores=0,2,4,6
/proc/6550/task/6605/stat : 6605 (java) S 6547 6550 5578 0 -1 1077944384 12924 13123 0 0 1138 57 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024464591120 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6606] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12 cores=0,2,4,6
/proc/6550/task/6606/stat : 6606 (java) S 6547 6550 5578 0 -1 1077944384 10306 13123 0 0 1141 51 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024463538832 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6607] ppid=6547 vsize=10851072 memory=1005212 CPUtime=12.03 cores=0,2,4,6
/proc/6550/task/6607/stat : 6607 (java) S 6547 6550 5578 0 -1 1077944384 12919 13123 0 0 1139 56 5 3 20 0 15 0 406512054 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024462486032 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6608] ppid=6547 vsize=10851072 memory=1005212 CPUtime=11.4 cores=0,2,4,6
/proc/6550/task/6608/stat : 6608 (java) S 6547 6550 5578 0 -1 1077944384 13753 13123 0 0 1082 50 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024072170096 140024545540738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6609] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6609/stat : 6609 (java) S 6547 6550 5578 0 -1 1077944384 19 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023517144480 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6610] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6610/stat : 6610 (java) S 6547 6550 5578 0 -1 1077944384 10 13123 0 0 0 0 5 3 20 0 15 0 406512056 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023315818112 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6611] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6611/stat : 6611 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023075527248 140024545548187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6612] ppid=6547 vsize=10851072 memory=1005212 CPUtime=6.17 cores=0,2,4,6
/proc/6550/task/6612/stat : 6612 (java) S 6547 6550 5578 0 -1 1077944384 24392 13123 0 0 605 4 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024071116912 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6613] ppid=6547 vsize=10851072 memory=1005212 CPUtime=4.98 cores=0,2,4,6
/proc/6550/task/6613/stat : 6613 (java) S 6547 6550 5578 0 -1 1077944384 17138 13123 0 0 483 7 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024070064112 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6614] ppid=6547 vsize=10851072 memory=1005212 CPUtime=3.82 cores=0,2,4,6
/proc/6550/task/6614/stat : 6614 (java) S 6547 6550 5578 0 -1 1077944384 26779 13123 0 0 367 7 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024069011824 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6615] ppid=6547 vsize=10851072 memory=1005212 CPUtime=0.08 cores=0,2,4,6
/proc/6550/task/6615/stat : 6615 (java) S 6547 6550 5578 0 -1 1077944384 3 13123 0 0 0 0 5 3 20 0 15 0 406512059 11111497728 251303 33554432000 4194304 4196468 140725533910560 140023041968608 140024545539797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
[pid=6550/tid=6616] ppid=6547 vsize=10851072 memory=1005212 CPUtime=1.49 cores=0,2,4,6
/proc/6550/task/6616/stat : 6616 (java) S 6547 6550 5578 0 -1 1077944384 843 13123 0 0 69 72 5 3 20 0 15 0 406512060 11111497728 251303 33554432000 4194304 4196468 140725533910560 140024067959728 140024545540738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37597184 140725533915894 140725533918405 140725533918405 140725533921231 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 1005212 KiB
Child status: 143
Real time (s): 2350.93
CPU time (s): 2400.04
CPU user time (s): 2396.51
CPU system time (s): 3.52908
CPU usage (%): 102.089
Max. virtual memory (cumulated for all children) (KiB): 10851072
Max. memory (cumulated for all children) (KiB): 1005212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.51
system time used= 3.52908
maximum resident set size= 1009436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275206
involuntary context switches= 8172
# summary of solver processes directly reported to runsolver:
# pid: 6550
# total CPU time (s): 2400.04
# total CPU user time (s): 2396.51
# total CPU system time (s): 3.52908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5669 second user time and 22.3559 second system time
The end