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 (15279 MiB free)
memory of node 1: 16384 MiB (14119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396353-1568406905/watcher-4396353-1568406905 -o /tmp/evaluation-result-4396353-1568406905/solver-4396353-1568406905 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568393561-470 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1491536762 HOME/instance-4396353-1568406905.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
Current StackSize limit: 8192 KiB
solver pid=4175, runsolver pid=4172
[startup+0.100112 s]*
/proc/loadavg: 1.60 1.58 1.52 3/216 4229
/proc/meminfo: memFree=30104300/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=8381492 memory=9696 CPUtime=0.07 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 3199 13273 0 0 0 0 5 2 20 0 2 0 416941992 8582647808 2424 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2095630 2424 1181 1 0 2084541 0
[pid=4175/tid=4230] ppid=4172 vsize=9970504 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 1252 13273 0 0 0 0 5 2 20 0 6 0 416942002 10209796096 2699 33554432000 4194304 4196468 140721029663024 140592148764776 140592162756432 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=9970504 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 6 0 416942003 10209796096 2699 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=9970504 memory=140167873120125 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 6 0 416942003 10209796096 2699 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=9970504 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 6 0 416942003 10209796096 2699 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=9970504 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 6 0 416942003 10209796096 2699 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 8381492 KiB
Current children cumulated memory: 9696 KiB
[startup+0.210774 s]*
/proc/loadavg: 1.60 1.58 1.52 7/230 4243
/proc/meminfo: memFree=30080436/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=10819664 memory=37700 CPUtime=0.22 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 6753 13273 0 0 14 1 5 2 20 0 15 0 416941992 11079335936 9425 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2704916 9425 3157 1 0 2667149 0
[pid=4175/tid=4230] ppid=4172 vsize=10819664 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 3249 13273 0 0 9 1 5 2 20 0 15 0 416942002 11079335936 9425 33554432000 4194304 4196468 140721029663024 140592148753592 140591744757548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10819664 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079335936 9425 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10819664 memory=140167873120125 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079335936 9425 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079335936 9425 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079335936 9425 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10819664 memory=140167873107584 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 416942004 11079335936 9425 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 33 13273 0 0 0 0 5 2 20 0 15 0 416942004 11079335936 9425 33554432000 4194304 4196468 140721029663024 140591635285408 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942005 11079335936 9425 33554432000 4194304 4196468 140721029663024 140591056807408 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11079335936 9425 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) R 4172 4175 436 0 -1 1077944384 338 13273 0 0 1 0 5 2 20 0 15 0 416942007 11079335936 9425 33554432000 4194304 4196468 140721029663024 140591601727472 140592176933506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) R 4172 4175 436 0 -1 1077944384 315 13273 0 0 1 0 5 2 20 0 15 0 416942007 11079335936 9425 33554432000 4194304 4196468 140721029663024 140591600674928 140592176933506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10819664 memory=140167873107584 CPUtime=0.09 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) R 4172 4175 436 0 -1 1077944384 611 13273 0 0 2 0 5 2 20 0 15 0 416942007 11079335936 9425 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11079335936 9425 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10819664 memory=140167873107584 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942008 11079335936 9425 33554432000 4194304 4196468 140721029663024 140591598570288 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37700 KiB
[startup+0.310606 s]*
/proc/loadavg: 1.60 1.58 1.52 3/230 4243
/proc/meminfo: memFree=30066236/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=10820148 memory=50212 CPUtime=0.37 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 10287 13273 0 0 27 3 5 2 20 0 15 0 416941992 11079831552 12553 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2705037 12553 3293 1 0 2667149 0
[pid=4175/tid=4230] ppid=4172 vsize=10820148 memory=8317482817917895235 CPUtime=0.26 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 6740 13273 0 0 17 2 5 2 20 0 15 0 416942002 11079831552 12553 33554432000 4194304 4196468 140721029663024 140592148722272 140592160109168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079831552 12553 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079831552 12553 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079831552 12553 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11079831552 12553 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 416942004 11079831552 12553 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 33 13273 0 0 0 0 5 2 20 0 15 0 416942004 11079831552 12553 33554432000 4194304 4196468 140721029663024 140591635285408 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942005 11079831552 12553 33554432000 4194304 4196468 140721029663024 140591056807408 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11079831552 12553 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) S 4172 4175 436 0 -1 1077944384 349 13273 0 0 2 0 5 2 20 0 15 0 416942007 11079831552 12553 33554432000 4194304 4196468 140721029663024 140591601727472 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) S 4172 4175 436 0 -1 1077944384 316 13273 0 0 1 0 5 2 20 0 15 0 416942007 11079831552 12553 33554432000 4194304 4196468 140721029663024 140591600674928 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10820148 memory=140167873107584 CPUtime=0.12 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) S 4172 4175 436 0 -1 1077944384 624 13273 0 0 5 0 5 2 20 0 15 0 416942007 11079831552 12553 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11079831552 12553 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10820148 memory=140167873107584 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942008 11079831552 12553 33554432000 4194304 4196468 140721029663024 140591598570288 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50212 KiB
[startup+0.700756 s]
/proc/loadavg: 1.60 1.58 1.52 3/230 4243
/proc/meminfo: memFree=30054356/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=10824360 memory=80476 CPUtime=1.11 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 14333 13273 0 0 99 5 5 2 20 0 15 0 416941992 11084144640 20119 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2706090 20119 3510 1 0 2668173 0
[pid=4175/tid=4230] ppid=4172 vsize=10824360 memory=4639059877604708710 CPUtime=0.64 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 9561 13273 0 0 53 4 5 2 20 0 15 0 416942002 11084144640 20119 33554432000 4194304 4196468 140721029663024 140592148745712 140591744821129 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10824360 memory=21028 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11084144640 20119 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10824360 memory=280335468213728 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11084144640 20119 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10824360 memory=280335468256032 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 416942003 11084144640 20119 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10824360 memory=140167873106465 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942003 11084144640 20119 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 5 13273 0 0 0 0 5 2 20 0 15 0 416942004 11084144640 20119 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 33 13273 0 0 0 0 5 2 20 0 15 0 416942004 11084144640 20119 33554432000 4194304 4196468 140721029663024 140591635285408 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942005 11084144640 20119 33554432000 4194304 4196468 140721029663024 140591056807408 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11084144640 20119 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10824360 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) S 4172 4175 436 0 -1 1077944384 933 13273 0 0 15 0 5 2 20 0 15 0 416942007 11084144640 20119 33554432000 4194304 4196468 140721029663024 140591601727472 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10824360 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) S 4172 4175 436 0 -1 1077944384 746 13273 0 0 12 0 5 2 20 0 15 0 416942007 11084144640 20119 33554432000 4194304 4196468 140721029663024 140591600674928 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) S 4172 4175 436 0 -1 1077944384 832 13273 0 0 17 0 5 2 20 0 15 0 416942007 11084144640 20119 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11084144640 20119 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10824360 memory=3632 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942008 11084144640 20119 33554432000 4194304 4196468 140721029663024 140591598570288 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 80476 KiB
[startup+1.50074 s]
/proc/loadavg: 1.60 1.58 1.52 6/230 4243
/proc/meminfo: memFree=30001260/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=10834676 memory=206980 CPUtime=3.03 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 34478 13273 0 0 285 11 5 2 20 0 15 0 416941992 11094708224 51745 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2708669 51745 3582 1 0 2670733 0
[pid=4175/tid=4230] ppid=4172 vsize=10834676 memory=18223546241172 CPUtime=1.39 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 16499 13273 0 0 126 6 5 2 20 0 15 0 416942002 11094708224 51745 33554432000 4194304 4196468 140721029663024 140592148748208 140592158485919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10834676 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 19 13273 0 0 1 0 5 2 20 0 15 0 416942003 11094708224 51745 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10834676 memory=69243 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 312 13273 0 0 1 0 5 2 20 0 15 0 416942003 11094708224 51745 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 76 13273 0 0 1 0 5 2 20 0 15 0 416942003 11094708224 51745 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 86 13273 0 0 1 0 5 2 20 0 15 0 416942003 11094708224 51745 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10834676 memory=280335468221312 CPUtime=0.08 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 192 13273 0 0 1 0 5 2 20 0 15 0 416942004 11094708224 51745 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10834676 memory=280335468648512 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 34 13273 0 0 0 0 5 2 20 0 15 0 416942004 11094708224 51745 33554432000 4194304 4196468 140721029663024 140591635285472 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10834676 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942005 11094708224 51745 33554432000 4194304 4196468 140721029663024 140591056807424 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10834676 memory=5859271421084259688 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11094708224 51745 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10834676 memory=140167734211509 CPUtime=0.63 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) S 4172 4175 436 0 -1 1077944384 5218 13273 0 0 56 0 5 2 20 0 15 0 416942007 11094708224 51745 33554432000 4194304 4196468 140721029663024 140591601727472 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10834676 memory=-7384994778349281184 CPUtime=0.6 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) S 4172 4175 436 0 -1 1077944384 7489 13273 0 0 53 0 5 2 20 0 15 0 416942007 11094708224 51745 33554432000 4194304 4196468 140721029663024 140591600674928 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10834676 memory=8761640388971749472 CPUtime=0.48 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) S 4172 4175 436 0 -1 1077944384 2335 13273 0 0 41 0 5 2 20 0 15 0 416942007 11094708224 51745 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10834676 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11094708224 51745 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10834676 memory=6944656592452938395 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942008 11094708224 51745 33554432000 4194304 4196468 140721029663024 140591598570288 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 20396 13273 0 0 279 9 5 2 20 0 15 0 416942002 11105214464 70220 33554432000 4194304 4196468 140721029663024 140592148756848 140592176934294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10844936 memory=55 CPUtime=0.11 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 48 13273 0 0 4 0 5 2 20 0 15 0 416942003 11105214464 70220 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10844936 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 325 13273 0 0 3 0 5 2 20 0 15 0 416942003 11105214464 70220 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10844936 memory=280335468221312 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 86 13273 0 0 3 0 5 2 20 0 15 0 416942003 11105214464 70220 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10844936 memory=280335468648512 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 90 13273 0 0 3 0 5 2 20 0 15 0 416942003 11105214464 70220 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10844936 memory=664 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 1261 13273 0 0 3 0 5 2 20 0 15 0 416942004 11105214464 70220 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10844936 memory=1156 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 37 13273 0 0 0 0 5 2 20 0 15 0 416942004 11105214464 70220 33554432000 4194304 4196468 140721029663024 140591635285472 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10844936 memory=1000 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942005 11105214464 70220 33554432000 4194304 4196468 140721029663024 140591056807424 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10844936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11105214464 70220 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10844936 memory=0 CPUtime=1.64 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) R 4172 4175 436 0 -1 4202560 7166 13273 0 0 156 1 5 2 20 0 15 0 416942007 11105214464 70220 33554432000 4194304 4196468 140721029663024 140591601714256 140592160453838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10844936 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) R 4172 4175 436 0 -1 4202560 8348 13273 0 0 133 1 5 2 20 0 15 0 416942007 11105214464 70220 33554432000 4194304 4196468 140721029663024 140591600664720 140592154939347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10844936 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) R 4172 4175 436 0 -1 1077944384 4526 13273 0 0 122 1 5 2 20 0 15 0 416942007 11105214464 70220 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10844936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11105214464 70220 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10844936 memory=81 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942008 11105214464 70220 33554432000 4194304 4196468 140721029663024 140591598570288 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 280880 KiB
[startup+4.81082 s]
# the end of solver process 4175 was just reported to runsolver
# cumulated CPU time of all completed processes: user=12.3684 s, system=0.2815 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20212 s]
/proc/loadavg: 1.60 1.58 1.52 3/230 4243
/proc/meminfo: memFree=29847832/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=10844936 memory=282260 CPUtime=7.64 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 44850 13273 0 0 741 16 5 2 20 0 15 0 416941992 11105214464 70565 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2711234 70565 3605 1 0 2673293 0
[pid=4175/tid=4230] ppid=4172 vsize=10844936 memory=0 CPUtime=3.04 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 20593 13273 0 0 288 9 5 2 20 0 15 0 416942002 11105214464 70565 33554432000 4194304 4196468 140721029663024 140592148743200 140592176934294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10844936 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 48 13273 0 0 4 0 5 2 20 0 15 0 416942003 11105214464 70565 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10844936 memory=8049867166153220215 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 325 13273 0 0 3 0 5 2 20 0 15 0 416942003 11105214464 70565 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10844936 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 86 13273 0 0 3 0 5 2 20 0 15 0 416942003 11105214464 70565 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10844936 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 90 13273 0 0 3 0 5 2 20 0 15 0 416942003 11105214464 70565 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10844936 memory=55 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 1261 13273 0 0 3 0 5 2 20 0 15 0 416942004 11105214464 70565 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10844936 memory=8551153264016725886 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 37 13273 0 0 0 0 5 2 20 0 15 0 416942004 11105214464 70565 33554432000 4194304 4196468 140721029663024 140591635285472 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10844936 memory=-7606742951091920751 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942005 11105214464 70565 33554432000 4194304 4196468 140721029663024 140591056807424 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10844936 memory=7451576580233063783 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11105214464 70565 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10844936 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) R 4172 4175 436 0 -1 4202560 7178 13273 0 0 164 1 5 2 20 0 15 0 416942007 11105214464 70565 33554432000 4194304 4196468 140721029663024 140591601712784 140592176943706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10844936 memory=7311146985107750967 CPUtime=1.49 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) R 4172 4175 436 0 -1 4202560 8388 13273 0 0 141 1 5 2 20 0 15 0 416942007 11105214464 70565 33554432000 4194304 4196468 140721029663024 140591600661776 140592160333373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10844936 memory=2809213 CPUtime=1.34 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) R 4172 4175 436 0 -1 1077944384 4624 13273 0 0 126 1 5 2 20 0 15 0 416942007 11105214464 70565 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10844936 memory=2813170 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11105214464 70565 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10844936 memory=1399103955520229747 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942008 11105214464 70565 33554432000 4194304 4196468 140721029663024 140591598570288 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 7.64 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 282260 KiB
[startup+4.0055 s]*
/proc/loadavg: 1.79 1.62 1.53 5/230 4243
/proc/meminfo: memFree=29793460/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=10851728 memory=310716 CPUtime=10.26 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 60578 13273 0 0 999 20 5 2 20 0 15 0 416941992 11112169472 77679 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2712932 77679 3612 1 0 2674991 0
[pid=4175/tid=4230] ppid=4172 vsize=10851728 memory=7822038051842263955 CPUtime=3.84 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 24436 13273 0 0 367 10 5 2 20 0 15 0 416942002 11112169472 77679 33554432000 4194304 4196468 140721029663024 140592148753224 140591759025052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10851728 memory=-7025452035940392864 CPUtime=0.11 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 48 13273 0 0 4 0 5 2 20 0 15 0 416942003 11112169472 77679 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10851728 memory=2321239146627877305 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 325 13273 0 0 3 0 5 2 20 0 15 0 416942003 11112169472 77679 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10851728 memory=7523094322651424064 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 86 13273 0 0 3 0 5 2 20 0 15 0 416942003 11112169472 77679 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10851728 memory=2320815197295489073 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 90 13273 0 0 3 0 5 2 20 0 15 0 416942003 11112169472 77679 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10851728 memory=2321239146627877305 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 2612 13273 0 0 3 0 5 2 20 0 15 0 416942004 11112169472 77679 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10851728 memory=3833463921246876728 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 37 13273 0 0 0 0 5 2 20 0 15 0 416942004 11112169472 77679 33554432000 4194304 4196468 140721029663024 140591635285472 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10851728 memory=4640767367890096226 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 416942005 11112169472 77679 33554432000 4194304 4196468 140721029663024 140591056807424 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10851728 memory=7594856135109603927 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11112169472 77679 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10851728 memory=0 CPUtime=2.52 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) R 4172 4175 436 0 -1 4202560 12408 13273 0 0 243 2 5 2 20 0 15 0 416942007 11112169472 77679 33554432000 4194304 4196468 140721029663024 140591601713208 140592156166153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10851728 memory=140167734339759 CPUtime=2.18 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) D 4172 4175 436 0 -1 4202560 10928 13273 0 0 210 1 5 2 20 0 15 0 416942007 11112169472 77679 33554432000 4194304 4196468 140721029663024 140591600655208 140592169639511 0 4 0 16800975 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10851728 memory=140167873108520 CPUtime=1.66 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) R 4172 4175 436 0 -1 1077944384 7383 13273 0 0 157 2 5 2 20 0 15 0 416942007 11112169472 77679 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10851728 memory=3977294413102592300 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11112169472 77679 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10851728 memory=3546216029069919927 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) D 4172 4175 436 0 -1 4202560 9 13273 0 0 0 0 5 2 20 0 15 0 416942008 11112169472 77679 33554432000 4194304 4196468 140721029663024 140591598570208 140592161778446 0 4 0 16800975 18446744072099896453 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 10.26 s
Current children cumulated vsize: 10851728 KiB
Current children cumulated memory: 310716 KiB
[startup+4.40068 s]
/proc/loadavg: 1.79 1.62 1.53 5/230 4243
/proc/meminfo: memFree=29793460/32770624 swapFree=66995268/67108860
[pid=4175] ppid=4172 vsize=10849032 memory=337328 CPUtime=11.37 cores=0,2,4,6
/proc/4175/stat : 4175 (java) S 4172 4175 436 0 -1 1077944320 62961 13273 0 0 1108 22 5 2 20 0 15 0 416941992 11109408768 84332 33554432000 4194304 4196468 140721029663024 140721029645568 140592176922359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
/proc/4175/statm: 2712258 84332 3616 1 0 2674317 0
[pid=4175/tid=4230] ppid=4172 vsize=10849032 memory=8112282956445269571 CPUtime=4.2 cores=0,2,4,6
/proc/4175/task/4230/stat : 4230 (java) R 4172 4175 436 0 -1 4202560 24458 13273 0 0 401 12 5 2 20 0 15 0 416942002 11109408768 84332 33554432000 4194304 4196468 140721029663024 140592148750816 140591759083783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4231] ppid=4172 vsize=10849032 memory=7810762809354839907 CPUtime=0.11 cores=0,2,4,6
/proc/4175/task/4231/stat : 4231 (java) S 4172 4175 436 0 -1 1077944384 51 13273 0 0 4 0 5 2 20 0 15 0 416942003 11109408768 84332 33554432000 4194304 4196468 140721029663024 140592181164304 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4232] ppid=4172 vsize=10849032 memory=7519148084804674902 CPUtime=0.11 cores=0,2,4,6
/proc/4175/task/4232/stat : 4232 (java) S 4172 4175 436 0 -1 1077944384 466 13273 0 0 4 0 5 2 20 0 15 0 416942003 11109408768 84332 33554432000 4194304 4196468 140721029663024 140592069437840 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4233] ppid=4172 vsize=10849032 memory=4639098309541126757 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4233/stat : 4233 (java) S 4172 4175 436 0 -1 1077944384 135 13273 0 0 3 0 5 2 20 0 15 0 416942003 11109408768 84332 33554432000 4194304 4196468 140721029663024 140592068385296 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4234] ppid=4172 vsize=10849032 memory=49 CPUtime=0.1 cores=0,2,4,6
/proc/4175/task/4234/stat : 4234 (java) S 4172 4175 436 0 -1 1077944384 93 13273 0 0 3 0 5 2 20 0 15 0 416942003 11109408768 84332 33554432000 4194304 4196468 140721029663024 140592067332752 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4235] ppid=4172 vsize=10849032 memory=280335468556864 CPUtime=0.11 cores=0,2,4,6
/proc/4175/task/4235/stat : 4235 (java) S 4172 4175 436 0 -1 1077944384 2637 13273 0 0 4 0 5 2 20 0 15 0 416942004 11109408768 84332 33554432000 4194304 4196468 140721029663024 140591636339184 140592176933506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4236] ppid=4172 vsize=10849032 memory=140167734284032 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4236/stat : 4236 (java) S 4172 4175 436 0 -1 1077944384 39 13273 0 0 0 0 5 2 20 0 15 0 416942004 11109408768 84332 33554432000 4194304 4196468 140721029663024 140591635285536 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4237] ppid=4172 vsize=10849032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4237/stat : 4237 (java) S 4172 4175 436 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 416942005 11109408768 84332 33554432000 4194304 4196468 140721029663024 140591056807424 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4238] ppid=4172 vsize=10849032 memory=7017823563811414887 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4238/stat : 4238 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11109408768 84332 33554432000 4194304 4196468 140721029663024 140590749407952 140592176940955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4239] ppid=4172 vsize=10849032 memory=6944652177228980320 CPUtime=2.89 cores=0,2,4,6
/proc/4175/task/4239/stat : 4239 (java) R 4172 4175 436 0 -1 4202560 13202 13273 0 0 280 2 5 2 20 0 15 0 416942007 11109408768 84332 33554432000 4194304 4196468 140721029663024 140591601716464 140592161844308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4240] ppid=4172 vsize=10849032 memory=5787213827046467687 CPUtime=2.53 cores=0,2,4,6
/proc/4175/task/4240/stat : 4240 (java) R 4172 4175 436 0 -1 4202560 12121 13273 0 0 245 1 5 2 20 0 15 0 416942007 11109408768 84332 33554432000 4194304 4196468 140721029663024 140591600655944 140592154168529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4241] ppid=4172 vsize=10849032 memory=-6168368575958768251 CPUtime=1.68 cores=0,2,4,6
/proc/4175/task/4241/stat : 4241 (java) S 4172 4175 436 0 -1 1077944384 7529 13273 0 0 159 2 5 2 20 0 15 0 416942007 11109408768 84332 33554432000 4194304 4196468 140721029663024 140591599622384 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4242] ppid=4172 vsize=10849032 memory=280335468200176 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4242/stat : 4242 (java) S 4172 4175 436 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 416942007 11109408768 84332 33554432000 4194304 4196468 140721029663024 140590715849312 140592176932565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
[pid=4175/tid=4243] ppid=4172 vsize=10849032 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/4175/task/4243/stat : 4243 (java) S 4172 4175 436 0 -1 1077944384 12 13273 0 0 0 0 5 2 20 0 15 0 416942008 11109408768 84332 33554432000 4194304 4196468 140721029663024 140591598570288 140592176933506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35786752 140721029671663 140721029674181 140721029674181 140721029677007 0
Current children cumulated CPU time: 11.37 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 337328 KiB
[startup+4.80066 s]*
/proc/loadavg: 1.79 1.62 1.53 3/217 4244
/proc/meminfo: memFree=29970748/32770624 swapFree=66995268/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.81087
CPU time (s): 12.6499
CPU user time (s): 12.3684
CPU system time (s): 0.2815
CPU usage (%): 262.944
Max. virtual memory (cumulated for all children) (KiB): 10851728
Max. memory (cumulated for all children) (KiB): 342264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3684
system time used= 0.2815
maximum resident set size= 344528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76911
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6414
involuntary context switches= 50
# summary of solver processes directly reported to runsolver:
# pid: 4175
# total CPU time (s): 12.6499
# total CPU user time (s): 12.3684
# total CPU system time (s): 0.2815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050929 second user time and 0.089126 second system time
The end