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 (7388 MiB free)
memory of node 1: 16384 MiB (15499 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296186-1532613152/watcher-4296186-1532613152 -o /tmp/evaluation-result-4296186-1532613152/solver-4296186-1532613152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532594593-7269 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1738030435 -superng HOME/instance-4296186-1532613152.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10497, runsolver pid=10494
[startup+0.100232 s]*
/proc/loadavg: 1.20 1.37 1.61 3/207 10554
/proc/meminfo: memFree=23429816/32770624 swapFree=67077008/67108860
[pid=10497] ppid=10494 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 4419 12937 0 0 1 0 5 3 20 0 6 0 78878411 10212057088 4269 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2493178 4269 1934 1 0 2481616 0
[pid=10497/tid=10550] ppid=10494 vsize=9972712 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 2254 12937 0 0 0 0 5 3 20 0 6 0 78878420 10212057088 4269 33554432000 4194304 4196468 140723337788432 139958875316816 139958886826533 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 6 0 78878421 10212057088 4269 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=9972712 memory=140391400998528 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 6 0 78878421 10212057088 4269 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 6 0 78878421 10212057088 4335 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 6 0 78878421 10212057088 4335 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210383 s]*
/proc/loadavg: 1.20 1.37 1.61 4/216 10563
/proc/meminfo: memFree=23402240/32770624 swapFree=67077008/67108860
[pid=10497] ppid=10494 vsize=10818856 memory=46600 CPUtime=0.26 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 8556 12937 0 0 17 1 5 3 20 0 15 0 78878411 11078508544 11650 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2704714 11650 2919 1 0 2667149 0
[pid=10497/tid=10550] ppid=10494 vsize=10818856 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 5302 12937 0 0 10 1 5 3 20 0 15 0 78878420 11078508544 11715 33554432000 4194304 4196468 140723337788432 139958875277712 139958883755815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10818856 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11078508544 11715 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10818856 memory=3473316411107575456 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11078508544 11715 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878421 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10818856 memory=140391400998528 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878422 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 13 12937 0 0 0 0 5 3 20 0 15 0 78878422 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958354437280 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878423 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958220219120 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11078508544 11781 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) S 10494 10497 5667 0 -1 1077944384 521 12937 0 0 1 0 5 3 20 0 15 0 78878425 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958429088496 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 54 12937 0 0 0 0 5 3 20 0 15 0 78878425 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10818856 memory=140391400998528 CPUtime=0.11 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) S 10494 10497 5667 0 -1 1077944384 566 12937 0 0 3 0 5 3 20 0 15 0 78878425 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958426982896 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11078508544 11781 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10818856 memory=140391400998528 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878426 11078508544 11781 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 46600 KiB
[startup+0.310257 s]*
/proc/loadavg: 1.20 1.37 1.61 3/216 10563
/proc/meminfo: memFree=23392192/32770624 swapFree=67077008/67108860
[pid=10497] ppid=10494 vsize=10819352 memory=57940 CPUtime=0.39 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 10601 12937 0 0 29 2 5 3 20 0 15 0 78878411 11079016448 14485 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2704838 14485 3050 1 0 2667149 0
[pid=10497/tid=10550] ppid=10494 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 7233 12937 0 0 19 2 5 3 20 0 15 0 78878420 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958875292064 139958887560542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878422 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 13 12937 0 0 0 0 5 3 20 0 15 0 78878422 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958354437280 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878423 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958220219120 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11079016448 14485 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) S 10494 10497 5667 0 -1 1077944384 521 12937 0 0 2 0 5 3 20 0 15 0 78878425 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958429088496 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 55 12937 0 0 1 0 5 3 20 0 15 0 78878425 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10819352 memory=140391400998528 CPUtime=0.13 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) R 10494 10497 5667 0 -1 4202560 574 12937 0 0 5 0 5 3 20 0 15 0 78878425 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958426982896 139958882918340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11079016448 14485 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10819352 memory=140391400998528 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878426 11079016448 14485 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57940 KiB
[startup+0.700776 s]
/proc/loadavg: 1.20 1.37 1.61 4/216 10563
/proc/meminfo: memFree=23382516/32770624 swapFree=67077008/67108860
[pid=10497] ppid=10494 vsize=10819352 memory=90840 CPUtime=0.99 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 16829 12937 0 0 87 4 5 3 20 0 15 0 78878411 11079016448 22710 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2704838 22710 3239 1 0 2667149 0
[pid=10497/tid=10550] ppid=10494 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 12520 12937 0 0 55 3 5 3 20 0 15 0 78878420 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958875300880 139958883755364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10819352 memory=140391273870096 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10819352 memory=140393890972233 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878421 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10819352 memory=796 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 5 12937 0 0 0 0 5 3 20 0 15 0 78878422 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10819352 memory=7014751519650764113 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 13 12937 0 0 0 0 5 3 20 0 15 0 78878422 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958354437280 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10819352 memory=7597123233646858610 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878423 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958220219120 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10819352 memory=3604 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11079016448 22710 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10819352 memory=10936 CPUtime=0.18 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) S 10494 10497 5667 0 -1 1077944384 1131 12937 0 0 10 0 5 3 20 0 15 0 78878425 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958429088496 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10819352 memory=15128 CPUtime=0.15 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 324 12937 0 0 7 0 5 3 20 0 15 0 78878425 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10819352 memory=640 CPUtime=0.21 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) S 10494 10497 5667 0 -1 1077944384 632 12937 0 0 13 0 5 3 20 0 15 0 78878425 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958426982896 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10819352 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11079016448 22710 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10819352 memory=960 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878426 11079016448 22710 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90840 KiB
[startup+1.50108 s]
/proc/loadavg: 1.20 1.37 1.61 3/216 10563
/proc/meminfo: memFree=23336084/32770624 swapFree=67077008/67108860
[pid=10497] ppid=10494 vsize=10832204 memory=238880 CPUtime=2.98 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 24265 12937 0 0 280 10 5 3 20 0 15 0 78878411 11092176896 59720 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2708051 59720 3455 1 0 2669709 0
[pid=10497/tid=10550] ppid=10494 vsize=10832204 memory=67236 CPUtime=1.45 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 16778 12937 0 0 130 7 5 3 20 0 15 0 78878420 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958875309280 139958885044702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10832204 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 314 12937 0 0 0 0 5 3 20 0 15 0 78878421 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10832204 memory=280782547771552 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 34 12937 0 0 0 0 5 3 20 0 15 0 78878421 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 51 12937 0 0 0 0 5 3 20 0 15 0 78878421 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 10 12937 0 0 0 0 5 3 20 0 15 0 78878421 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 31 12937 0 0 0 0 5 3 20 0 15 0 78878422 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 13 12937 0 0 0 0 5 3 20 0 15 0 78878422 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958354437280 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878423 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958220219120 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10832204 memory=-2746958450906831424 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11092176896 59720 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10832204 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) R 10494 10497 5667 0 -1 4202560 1901 12937 0 0 55 0 5 3 20 0 15 0 78878425 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958429070064 139958888588008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10832204 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 1085 12937 0 0 47 0 5 3 20 0 15 0 78878425 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10832204 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) S 10494 10497 5667 0 -1 1077944384 1848 12937 0 0 42 0 5 3 20 0 15 0 78878425 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958426982896 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10832204 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11092176896 59720 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10832204 memory=280782548016000 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 1 12937 0 0 0 0 5 3 20 0 15 0 78878426 11092176896 59720 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 87091 12937 0 0 237369 39 5 3 20 0 15 0 78878420 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958875313968 139958522542162 0 4 0 16800975 0 0 0 -1 5 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10916192 memory=838968 CPUtime=4.41 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 14758 12937 0 0 407 26 5 3 20 0 15 0 78878421 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10916192 memory=838968 CPUtime=4.43 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 13058 12937 0 0 410 25 5 3 20 0 15 0 78878421 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10916192 memory=838968 CPUtime=4.44 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 9514 12937 0 0 410 26 5 3 20 0 15 0 78878421 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10916192 memory=838968 CPUtime=4.41 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 13100 12937 0 0 409 24 5 3 20 0 15 0 78878421 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10916192 memory=838968 CPUtime=2.69 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 10320 12937 0 0 240 21 5 3 20 0 15 0 78878422 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10916192 memory=838968 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 20 12937 0 0 0 0 5 3 20 0 15 0 78878422 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958354437344 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10916192 memory=838968 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 10 12937 0 0 0 0 5 3 20 0 15 0 78878423 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958220219136 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10916192 memory=838968 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11178180608 209742 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10916192 memory=838968 CPUtime=6.24 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) S 10494 10497 5667 0 -1 1077944384 31258 12937 0 0 612 4 5 3 20 0 15 0 78878425 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958429088496 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10916192 memory=140393890972090 CPUtime=6.2 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 35886 12937 0 0 608 4 5 3 20 0 15 0 78878425 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10916192 memory=257 CPUtime=2.24 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) S 10494 10497 5667 0 -1 1077944384 22734 12937 0 0 211 5 5 3 20 0 15 0 78878425 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958426982896 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10916192 memory=15128 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11178180608 209742 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10916192 memory=640 CPUtime=1.38 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 2731 12937 0 0 58 72 5 3 20 0 15 0 78878426 11178180608 209742 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 2409.99 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 838968 KiB
[startup+2442.3 s]
/proc/loadavg: 1.07 1.38 1.43 3/215 10790
/proc/meminfo: memFree=22467872/32770624 swapFree=67077020/67108860
[pid=10497] ppid=10494 vsize=10916192 memory=838980 CPUtime=2470.3 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 244038 12937 0 0 246797 225 5 3 20 0 15 0 78878411 11178180608 209745 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2729048 209745 3529 1 0 2690701 0
[pid=10497/tid=10550] ppid=10494 vsize=10916192 memory=6791534058613427641 CPUtime=2433.96 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 87555 12937 0 0 243349 39 5 3 20 0 15 0 78878420 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958875314176 139958523742223 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10916192 memory=838980 CPUtime=4.51 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 15178 12937 0 0 417 26 5 3 20 0 15 0 78878421 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10916192 memory=838980 CPUtime=4.53 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 13108 12937 0 0 420 25 5 3 20 0 15 0 78878421 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10916192 memory=838980 CPUtime=4.54 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 9567 12937 0 0 420 26 5 3 20 0 15 0 78878421 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10916192 memory=838968 CPUtime=4.51 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 13110 12937 0 0 419 24 5 3 20 0 15 0 78878421 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10916192 memory=838980 CPUtime=2.75 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 10415 12937 0 0 246 21 5 3 20 0 15 0 78878422 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10916192 memory=838980 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 20 12937 0 0 0 0 5 3 20 0 15 0 78878422 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958354437344 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10916192 memory=838980 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 10 12937 0 0 0 0 5 3 20 0 15 0 78878423 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958220219136 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10916192 memory=838980 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11178180608 209745 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10916192 memory=838980 CPUtime=6.24 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) S 10494 10497 5667 0 -1 1077944384 31260 12937 0 0 612 4 5 3 20 0 15 0 78878425 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958429088496 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10916192 memory=838980 CPUtime=6.21 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 35889 12937 0 0 608 5 5 3 20 0 15 0 78878425 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10916192 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) S 10494 10497 5667 0 -1 1077944384 22967 12937 0 0 212 5 5 3 20 0 15 0 78878425 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958426982896 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10916192 memory=838980 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11178180608 209745 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10916192 memory=838980 CPUtime=1.42 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 2762 12937 0 0 60 74 5 3 20 0 15 0 78878426 11178180608 209745 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 2470.3 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 838980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.7 s]
/proc/loadavg: 1.27 1.38 1.43 3/215 10790
/proc/meminfo: memFree=22483448/32770624 swapFree=67077020/67108860
[pid=10497] ppid=10494 vsize=10916192 memory=822596 CPUtime=2520.05 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 246227 12937 0 0 251768 229 5 3 20 0 15 0 78878411 11178180608 205649 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2729048 205649 3529 1 0 2690701 0
[pid=10497/tid=10550] ppid=10494 vsize=10916192 memory=823112 CPUtime=2483.19 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 88295 12937 0 0 248271 40 5 3 20 0 15 0 78878420 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958875313952 139958506887421 0 4 0 16800975 0 0 0 -1 3 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10916192 memory=823624 CPUtime=4.62 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 15365 12937 0 0 427 27 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10916192 memory=841064 CPUtime=4.63 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 13127 12937 0 0 430 25 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10916192 memory=827728 CPUtime=4.64 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 9631 12937 0 0 429 27 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10916192 memory=824648 CPUtime=4.62 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 13426 12937 0 0 430 24 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10916192 memory=823112 CPUtime=2.81 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 10509 12937 0 0 251 22 5 3 20 0 15 0 78878422 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10916192 memory=822596 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 20 12937 0 0 0 0 5 3 20 0 15 0 78878422 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958354437344 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10916192 memory=823112 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 10 12937 0 0 0 0 5 3 20 0 15 0 78878423 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958220219136 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10916192 memory=828752 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10916192 memory=3544 CPUtime=6.26 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) S 10494 10497 5667 0 -1 1077944384 31464 12937 0 0 614 4 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958429088496 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10916192 memory=823624 CPUtime=6.22 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 36055 12937 0 0 609 5 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10916192 memory=824648 CPUtime=2.25 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) S 10494 10497 5667 0 -1 1077944384 23336 12937 0 0 212 5 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958426982896 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10916192 memory=823624 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11178180608 205649 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10916192 memory=824648 CPUtime=1.44 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 2792 12937 0 0 61 75 5 3 20 0 15 0 78878426 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 822596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.74 s]
# the end of solver process 10497 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.76 s, system=2.33295 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2491.7 s]
/proc/loadavg: 1.27 1.38 1.43 3/215 10790
/proc/meminfo: memFree=22483448/32770624 swapFree=67077020/67108860
[pid=10497] ppid=10494 vsize=10916192 memory=822596 CPUtime=2520.05 cores=1,3,5,7
/proc/10497/stat : 10497 (java) S 10494 10497 5667 0 -1 1077944320 246227 12937 0 0 251768 229 5 3 20 0 15 0 78878411 11178180608 205649 33554432000 4194304 4196468 140723337788432 140723337770976 139958903480055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
/proc/10497/statm: 2729048 205649 3529 1 0 2690701 0
[pid=10497/tid=10550] ppid=10494 vsize=10916192 memory=823112 CPUtime=2483.19 cores=1,3,5,7
/proc/10497/task/10550/stat : 10550 (java) R 10494 10497 5667 0 -1 4202560 88295 12937 0 0 248271 40 5 3 20 0 15 0 78878420 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958875313952 139958506887421 0 4 0 16800975 0 0 0 -1 3 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10551] ppid=10494 vsize=10916192 memory=823624 CPUtime=4.62 cores=1,3,5,7
/proc/10497/task/10551/stat : 10551 (java) S 10494 10497 5667 0 -1 1077944384 15365 12937 0 0 427 27 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958907722768 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10552] ppid=10494 vsize=10916192 memory=841064 CPUtime=4.63 cores=1,3,5,7
/proc/10497/task/10552/stat : 10552 (java) S 10494 10497 5667 0 -1 1077944384 13127 12937 0 0 430 25 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958826474640 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10553] ppid=10494 vsize=10916192 memory=827728 CPUtime=4.64 cores=1,3,5,7
/proc/10497/task/10553/stat : 10553 (java) S 10494 10497 5667 0 -1 1077944384 9631 12937 0 0 429 27 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958825421584 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10554] ppid=10494 vsize=10916192 memory=824648 CPUtime=4.62 cores=1,3,5,7
/proc/10497/task/10554/stat : 10554 (java) S 10494 10497 5667 0 -1 1077944384 13426 12937 0 0 430 24 5 3 20 0 15 0 78878421 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958474955664 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10555] ppid=10494 vsize=10916192 memory=823112 CPUtime=2.81 cores=1,3,5,7
/proc/10497/task/10555/stat : 10555 (java) S 10494 10497 5667 0 -1 1077944384 10509 12937 0 0 251 22 5 3 20 0 15 0 78878422 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958430140656 139958903491202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10556] ppid=10494 vsize=10916192 memory=822596 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10556/stat : 10556 (java) S 10494 10497 5667 0 -1 1077944384 20 12937 0 0 0 0 5 3 20 0 15 0 78878422 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958354437344 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10557] ppid=10494 vsize=10916192 memory=823112 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10557/stat : 10557 (java) S 10494 10497 5667 0 -1 1077944384 10 12937 0 0 0 0 5 3 20 0 15 0 78878423 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958220219136 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10558] ppid=10494 vsize=10916192 memory=828752 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10558/stat : 10558 (java) S 10494 10497 5667 0 -1 1077944384 2 12937 0 0 0 0 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139957616240592 139958903498651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10559] ppid=10494 vsize=10916192 memory=3544 CPUtime=6.26 cores=1,3,5,7
/proc/10497/task/10559/stat : 10559 (java) S 10494 10497 5667 0 -1 1077944384 31464 12937 0 0 614 4 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958429088496 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10560] ppid=10494 vsize=10916192 memory=823624 CPUtime=6.22 cores=1,3,5,7
/proc/10497/task/10560/stat : 10560 (java) S 10494 10497 5667 0 -1 1077944384 36055 12937 0 0 609 5 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958428035952 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10561] ppid=10494 vsize=10916192 memory=824648 CPUtime=2.25 cores=1,3,5,7
/proc/10497/task/10561/stat : 10561 (java) S 10494 10497 5667 0 -1 1077944384 23336 12937 0 0 212 5 5 3 20 0 15 0 78878425 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958426982896 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10562] ppid=10494 vsize=10916192 memory=823624 CPUtime=0.08 cores=1,3,5,7
/proc/10497/task/10562/stat : 10562 (java) S 10494 10497 5667 0 -1 1077944384 3 12937 0 0 0 0 5 3 20 0 15 0 78878426 11178180608 205649 33554432000 4194304 4196468 140723337788432 139957146479456 139958903490261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
[pid=10497/tid=10563] ppid=10494 vsize=10916192 memory=824648 CPUtime=1.44 cores=1,3,5,7
/proc/10497/task/10563/stat : 10563 (java) S 10494 10497 5667 0 -1 1077944384 2792 12937 0 0 61 75 5 3 20 0 15 0 78878426 11178180608 205649 33554432000 4194304 4196468 140723337788432 139958425930288 139958903491202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 27488256 140723337795755 140723337799004 140723337799004 140723337801679 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 822596 KiB
Child status: 143
Real time (s): 2491.74
CPU time (s): 2520.09
CPU user time (s): 2517.76
CPU system time (s): 2.33295
CPU usage (%): 101.138
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1552452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.76
system time used= 2.33295
maximum resident set size= 1558788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115067
involuntary context switches= 2662
# summary of solver processes directly reported to runsolver:
# pid: 10497
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.76
# total CPU system time (s): 2.33295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7746 second user time and 23.9648 second system time
The end