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 (1481 MiB free)
memory of node 1: 16384 MiB (2005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403241-1568981435/watcher-4403241-1568981435 -o /var/tmp/evaluation-result-4403241-1568981435/solver-4403241-1568981435 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568967598-14413 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=801022688 HOME/instance-4403241-1568981435.xml
running on 4 cores: 1,3,5,7
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=18571, runsolver pid=18568
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.58 1.58 1.52 3/219 18628
/proc/meminfo: memFree=3562736/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=9972712 memory=17336 CPUtime=0.09 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 4557 13325 0 0 1 1 5 2 20 0 6 0 474058280 10212057088 4334 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2493178 4334 1957 1 0 2481616 0
[pid=18571/tid=18624] ppid=18568 vsize=9988792 memory=7892391828772250251 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 2399 13325 0 0 1 0 5 2 20 0 6 0 474058289 10228523008 4334 33554432000 4194304 4196468 140727560889920 140512496796240 140512086458489 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=9988792 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 6 0 474058290 10228523008 4334 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=9988792 memory=140476325361280 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 6 0 474058290 10228523008 4400 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=9989820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 7 0 474058290 10229575680 4400 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=9989820 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 7 0 474058290 10229575680 4400 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=9989820 memory=140476325361280 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) R 18568 18571 14381 0 -1 4202560 0 13325 0 0 0 0 5 2 20 0 7 0 474058291 10229575680 4400 33554432000 4194304 4196468 140727560889920 140512496796240 140512517699329 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17336 KiB
[startup+0.209932 s]*
/proc/loadavg: 1.62 1.59 1.52 3/228 18637
/proc/meminfo: memFree=3544532/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=10820196 memory=40520 CPUtime=0.26 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 7599 13325 0 0 17 2 5 2 20 0 15 0 474058280 11079880704 10130 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2705049 10130 3314 1 0 2667149 0
[pid=18571/tid=18624] ppid=18568 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 4091 13325 0 0 10 1 5 2 20 0 15 0 474058289 11079880704 10130 33554432000 4194304 4196468 140727560889920 140512496773664 140512086555110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10820196 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 10130 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10820196 memory=140476328912222 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 10130 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 10130 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 10130 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10820196 memory=140476325361280 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058291 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 33 13325 0 0 0 0 5 2 20 0 15 0 474058292 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511983379360 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058292 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511398585328 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 471 13325 0 0 1 0 5 2 20 0 15 0 474058295 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 199 13325 0 0 1 0 5 2 20 0 15 0 474058295 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10820196 memory=140476325361280 CPUtime=0.1 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 14381 0 -1 1077944384 586 13325 0 0 3 0 5 2 20 0 15 0 474058295 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511947717360 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10820196 memory=140476325361280 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058295 11079880704 10130 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40520 KiB
[startup+0.310465 s]*
/proc/loadavg: 1.62 1.59 1.52 3/228 18637
/proc/meminfo: memFree=3534372/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=10820196 memory=49224 CPUtime=0.4 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 10575 13325 0 0 30 3 5 2 20 0 15 0 474058280 11079880704 12306 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2705049 12306 3341 1 0 2667149 0
[pid=18571/tid=18624] ppid=18568 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 7058 13325 0 0 19 2 5 2 20 0 15 0 474058289 11079880704 12306 33554432000 4194304 4196468 140727560889920 140512496780880 140512524971414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10820196 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 12306 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 12306 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 12306 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058290 11079880704 12306 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058291 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 33 13325 0 0 0 0 5 2 20 0 15 0 474058292 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511983379360 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058292 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511398585328 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 471 13325 0 0 1 0 5 2 20 0 15 0 474058295 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 200 13325 0 0 2 0 5 2 20 0 15 0 474058295 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10820196 memory=140476325361280 CPUtime=0.12 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 14381 0 -1 1077944384 595 13325 0 0 5 0 5 2 20 0 15 0 474058295 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511947717360 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10820196 memory=140476325361280 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058295 11079880704 12306 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49224 KiB
[startup+0.70077 s]
/proc/loadavg: 1.62 1.59 1.52 3/228 18637
/proc/meminfo: memFree=3518740/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=10824364 memory=81720 CPUtime=1.16 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 15166 13325 0 0 104 5 5 2 20 0 15 0 474058280 11084148736 20430 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2706091 20430 3515 1 0 2668173 0
[pid=18571/tid=18624] ppid=18568 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 10571 13325 0 0 55 4 5 2 20 0 15 0 474058289 11084148736 20430 33554432000 4194304 4196468 140727560889920 140512496784736 140512524971414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058290 11084148736 20430 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10824364 memory=2577651468033 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058290 11084148736 20430 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10824364 memory=66508578 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058290 11084148736 20430 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10824364 memory=-8556736300054502512 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058290 11084148736 20430 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10824364 memory=7012475509138481746 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 6 13325 0 0 0 0 5 2 20 0 15 0 474058291 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10824364 memory=7079765693908151144 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 33 13325 0 0 0 0 5 2 20 0 15 0 474058292 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511983379360 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10824364 memory=14056 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058292 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511398585328 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10824364 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10824364 memory=520 CPUtime=0.23 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 928 13325 0 0 16 0 5 2 20 0 15 0 474058295 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10824364 memory=1560 CPUtime=0.2 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 639 13325 0 0 13 0 5 2 20 0 15 0 474058295 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10824364 memory=924 CPUtime=0.24 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) R 18568 18571 14381 0 -1 4202560 773 13325 0 0 17 0 5 2 20 0 15 0 474058295 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511947711936 140512518056196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10824364 memory=3688 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10824364 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058295 11084148736 20430 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81720 KiB
[startup+1.50707 s]
/proc/loadavg: 1.62 1.59 1.52 5/228 18637
/proc/meminfo: memFree=3474084/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=10834680 memory=167200 CPUtime=2.5 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 20576 13325 0 0 233 10 5 2 20 0 15 0 474058280 11094712320 41800 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2708670 41800 3573 1 0 2670733 0
[pid=18571/tid=18624] ppid=18568 vsize=10834680 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 15123 13325 0 0 131 6 5 2 20 0 15 0 474058289 11094712320 41800 33554432000 4194304 4196468 140727560889920 140512496771936 140512524971414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 17 13325 0 0 1 0 5 2 20 0 15 0 474058290 11094712320 41800 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10834680 memory=280952333226880 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 17 13325 0 0 1 0 5 2 20 0 15 0 474058290 11094712320 41800 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10834680 memory=140476166621808 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 40 13325 0 0 1 0 5 2 20 0 15 0 474058290 11094712320 41800 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 28 13325 0 0 1 0 5 2 20 0 15 0 474058290 11094712320 41800 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10834680 memory=280952333237856 CPUtime=0.08 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 43 13325 0 0 1 0 5 2 20 0 15 0 474058291 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10834680 memory=15607911156877 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 33 13325 0 0 0 0 5 2 20 0 15 0 474058292 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511983379424 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10834680 memory=4951091520023455828 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 2 13325 0 0 0 0 5 2 20 0 15 0 474058292 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511398585344 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10834680 memory=4134606225630022328 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10834680 memory=-5153075247926373247 CPUtime=0.35 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 991 13325 0 0 28 0 5 2 20 0 15 0 474058295 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10834680 memory=3763100769133923697 CPUtime=0.32 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 700 13325 0 0 25 0 5 2 20 0 15 0 474058295 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10834680 memory=6655300316396806240 CPUtime=0.48 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) R 18568 18571 14381 0 -1 4202560 1372 13325 0 0 41 0 5 2 20 0 15 0 474058295 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511947717360 140512524980826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10834680 memory=-5153075247754915967 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10834680 memory=-9122748475942012769 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 1 13325 0 0 0 0 5 2 20 0 15 0 474058295 11094712320 41800 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
################
# More data... #
################
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 60253 13325 0 0 223660 48 5 2 20 0 15 0 474058289 11107315712 192611 33554432000 4194304 4196468 140727560889920 140512496794368 140512098595884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10846988 memory=770444 CPUtime=11.68 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 12620 13325 0 0 1102 59 5 2 20 0 15 0 474058290 11107315712 192611 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10846988 memory=770444 CPUtime=11.73 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 11610 13325 0 0 1108 58 5 2 20 0 15 0 474058290 11107315712 192611 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10846988 memory=770444 CPUtime=11.68 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 12723 13325 0 0 1107 54 5 2 20 0 15 0 474058290 11107315712 192611 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10846988 memory=223451 CPUtime=11.71 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 14682 13325 0 0 1104 60 5 2 20 0 15 0 474058290 11107315712 192611 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10846988 memory=770444 CPUtime=10.64 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 12334 13325 0 0 1002 55 5 2 20 0 15 0 474058291 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10846988 memory=3504 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 41 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511983379424 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10846988 memory=770444 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 8 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511398585344 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10846988 memory=3504 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10846988 memory=55048 CPUtime=3.22 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 20908 13325 0 0 312 3 5 2 20 0 15 0 474058295 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10846988 memory=988 CPUtime=3.21 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 22800 13325 0 0 311 3 5 2 20 0 15 0 474058295 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10846988 memory=770444 CPUtime=1.65 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 14381 0 -1 1077944384 10886 13325 0 0 155 3 5 2 20 0 15 0 474058295 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511947717360 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10846988 memory=770444 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10846988 memory=770444 CPUtime=1.33 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 992 13325 0 0 56 70 5 2 20 0 15 0 474058295 11107315712 192611 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 2303.5 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 770444 KiB
[startup+2322.3 s]
/proc/loadavg: 1.05 1.35 1.40 3/228 18977
/proc/meminfo: memFree=1227980/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=10846988 memory=772492 CPUtime=2364.52 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 183615 13325 0 0 236087 358 5 2 20 0 15 0 474058280 11107315712 193123 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2711747 193123 3626 1 0 2673805 0
[pid=18571/tid=18624] ppid=18568 vsize=10846988 memory=772492 CPUtime=2296.47 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 61051 13325 0 0 229591 49 5 2 20 0 15 0 474058289 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512496794240 140512100245949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.02 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 12690 13325 0 0 1135 60 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.06 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 11658 13325 0 0 1140 59 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.03 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 12881 13325 0 0 1140 56 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10846988 memory=520 CPUtime=12.05 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 14941 13325 0 0 1137 61 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10846988 memory=772492 CPUtime=10.94 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 12527 13325 0 0 1031 56 5 2 20 0 15 0 474058291 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10846988 memory=772492 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 41 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511983379424 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10846988 memory=772492 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 8 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511398585344 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10846988 memory=772492 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10846988 memory=772492 CPUtime=3.22 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 20910 13325 0 0 312 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10846988 memory=772492 CPUtime=3.22 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 22802 13325 0 0 312 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10846988 memory=772492 CPUtime=1.65 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 14381 0 -1 1077944384 10888 13325 0 0 155 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511947717360 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10846988 memory=3504 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10846988 memory=6791534058613427641 CPUtime=1.36 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 1009 13325 0 0 58 71 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 2364.52 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 772492 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2357.3 s]
/proc/loadavg: 1.09 1.33 1.39 3/227 18980
/proc/meminfo: memFree=1269524/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=10846988 memory=772492 CPUtime=2400.07 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 183980 13325 0 0 239639 361 5 2 20 0 15 0 474058280 11107315712 193123 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2711747 193123 3626 1 0 2673805 0
[pid=18571/tid=18624] ppid=18568 vsize=10846988 memory=772492 CPUtime=2331.07 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 61319 13325 0 0 233051 49 5 2 20 0 15 0 474058289 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512496794816 140512099976415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.21 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 12699 13325 0 0 1154 60 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.26 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 11672 13325 0 0 1159 60 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.21 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 12901 13325 0 0 1158 56 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.25 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 14975 13325 0 0 1156 62 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10846988 memory=772492 CPUtime=11.11 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 12539 13325 0 0 1047 57 5 2 20 0 15 0 474058291 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10846988 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 41 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511983379424 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10846988 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 8 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511398585344 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10846988 memory=772492 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10846988 memory=15607911156877 CPUtime=3.22 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 20912 13325 0 0 312 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10846988 memory=8072 CPUtime=3.22 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 22804 13325 0 0 312 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10846988 memory=280952333103432 CPUtime=1.65 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 14381 0 -1 1077944384 10890 13325 0 0 155 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511947717360 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10846988 memory=772492 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10846988 memory=772492 CPUtime=1.38 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 1011 13325 0 0 59 72 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 772492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2357.33 s]
# the end of solver process 18571 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.47 s, system=3.65697 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2357.3 s]
/proc/loadavg: 1.09 1.33 1.39 3/227 18980
/proc/meminfo: memFree=1269524/32770624 swapFree=66953192/67108860
[pid=18571] ppid=18568 vsize=10846988 memory=772492 CPUtime=2400.07 cores=1,3,5,7
/proc/18571/stat : 18571 (java) S 18568 18571 14381 0 -1 1077944320 183980 13325 0 0 239639 361 5 2 20 0 15 0 474058280 11107315712 193123 33554432000 4194304 4196468 140727560889920 140727560872464 140512524959479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
/proc/18571/statm: 2711747 193123 3626 1 0 2673805 0
[pid=18571/tid=18624] ppid=18568 vsize=10846988 memory=772492 CPUtime=2331.07 cores=1,3,5,7
/proc/18571/task/18624/stat : 18624 (java) R 18568 18571 14381 0 -1 4202560 61319 13325 0 0 233051 49 5 2 20 0 15 0 474058289 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512496794816 140512099976415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18625] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.21 cores=1,3,5,7
/proc/18571/task/18625/stat : 18625 (java) S 18568 18571 14381 0 -1 1077944384 12699 13325 0 0 1154 60 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512529201936 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18626] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.26 cores=1,3,5,7
/proc/18571/task/18626/stat : 18626 (java) S 18568 18571 14381 0 -1 1077944384 11672 13325 0 0 1159 60 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512417475472 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18627] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.21 cores=1,3,5,7
/proc/18571/task/18627/stat : 18627 (java) S 18568 18571 14381 0 -1 1077944384 12901 13325 0 0 1158 56 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512416422928 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18628] ppid=18568 vsize=10846988 memory=772492 CPUtime=12.25 cores=1,3,5,7
/proc/18571/task/18628/stat : 18628 (java) S 18568 18571 14381 0 -1 1077944384 14975 13325 0 0 1156 62 5 2 20 0 15 0 474058290 11107315712 193123 33554432000 4194304 4196468 140727560889920 140512415370384 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18629] ppid=18568 vsize=10846988 memory=772492 CPUtime=11.11 cores=1,3,5,7
/proc/18571/task/18629/stat : 18629 (java) S 18568 18571 14381 0 -1 1077944384 12539 13325 0 0 1047 57 5 2 20 0 15 0 474058291 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511984433136 140512524970626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18630] ppid=18568 vsize=10846988 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18630/stat : 18630 (java) S 18568 18571 14381 0 -1 1077944384 41 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511983379424 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18631] ppid=18568 vsize=10846988 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18631/stat : 18631 (java) S 18568 18571 14381 0 -1 1077944384 8 13325 0 0 0 0 5 2 20 0 15 0 474058292 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511398585344 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18632] ppid=18568 vsize=10846988 memory=772492 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18632/stat : 18632 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511091185872 140512524978075 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18633] ppid=18568 vsize=10846988 memory=15607911156877 CPUtime=3.22 cores=1,3,5,7
/proc/18571/task/18633/stat : 18633 (java) S 18568 18571 14381 0 -1 1077944384 20912 13325 0 0 312 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511949822448 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18634] ppid=18568 vsize=10846988 memory=8072 CPUtime=3.22 cores=1,3,5,7
/proc/18571/task/18634/stat : 18634 (java) S 18568 18571 14381 0 -1 1077944384 22804 13325 0 0 312 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511948769904 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18635] ppid=18568 vsize=10846988 memory=280952333103432 CPUtime=1.65 cores=1,3,5,7
/proc/18571/task/18635/stat : 18635 (java) S 18568 18571 14381 0 -1 1077944384 10890 13325 0 0 155 3 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511947717360 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18636] ppid=18568 vsize=10846988 memory=772492 CPUtime=0.07 cores=1,3,5,7
/proc/18571/task/18636/stat : 18636 (java) S 18568 18571 14381 0 -1 1077944384 3 13325 0 0 0 0 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511057628256 140512524969685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
[pid=18571/tid=18637] ppid=18568 vsize=10846988 memory=772492 CPUtime=1.38 cores=1,3,5,7
/proc/18571/task/18637/stat : 18637 (java) S 18568 18571 14381 0 -1 1077944384 1011 13325 0 0 59 72 5 2 20 0 15 0 474058295 11107315712 193123 33554432000 4194304 4196468 140727560889920 140511946664240 140512524970626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140727560890980 140727560893621 140727560893621 140727560896463 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 772492 KiB
Child status: 143
Real time (s): 2357.33
CPU time (s): 2400.13
CPU user time (s): 2396.47
CPU system time (s): 3.65697
CPU usage (%): 101.816
Max. virtual memory (cumulated for all children) (KiB): 10849652
Max. memory (cumulated for all children) (KiB): 815052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.47
system time used= 3.65697
maximum resident set size= 817100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287243
involuntary context switches= 6077
# summary of solver processes directly reported to runsolver:
# pid: 18571
# total CPU time (s): 2400.13
# total CPU user time (s): 2396.47
# total CPU system time (s): 3.65697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0069 second user time and 22.6209 second system time
The end