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 (8166 MiB free)
memory of node 1: 16384 MiB (7343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295110-1532529443/watcher-4295110-1532529443 -o /tmp/evaluation-result-4295110-1532529443/solver-4295110-1532529443 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532524210-24416 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=791296839 HOME/instance-4295110-1532529443.xml
running on 4 cores: 0,2,4,6
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=25584, runsolver pid=25581
[startup+0.100093 s]*
/proc/loadavg: 1.21 1.62 1.64 3/206 25641
/proc/meminfo: memFree=15876416/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=9972712 memory=18324 CPUtime=0.08 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 4250 12982 0 0 1 0 5 2 20 0 6 0 70507511 10212057088 4581 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2493178 4581 1930 1 0 2481616 0
[pid=25584/tid=25637] ppid=25581 vsize=9972712 memory=4279135703980081295 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) R 25581 25584 24385 0 -1 4202560 2054 12982 0 0 0 0 5 2 20 0 6 0 70507520 10212057088 4581 33554432000 4194304 4196468 140737203192224 139846851478096 139846879663261 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) S 25581 25584 24385 0 -1 1077944384 2 12982 0 0 0 0 5 2 20 0 6 0 70507521 10212057088 4581 33554432000 4194304 4196468 140737203192224 139846883884176 139846879651541 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=9972712 memory=140277513504384 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 6 0 70507521 10212057088 4581 33554432000 4194304 4196468 140737203192224 139846772157456 139846879651541 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 6 0 70507521 10212057088 4581 33554432000 4194304 4196468 140737203192224 139846771104656 139846879651541 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 6 0 70507521 10212057088 4581 33554432000 4194304 4196468 140737203192224 139846770051856 139846879651541 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.210039 s]*
/proc/loadavg: 1.21 1.62 1.64 3/215 25650
/proc/meminfo: memFree=15854976/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=10818904 memory=42444 CPUtime=0.25 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 7765 12982 0 0 17 1 5 2 20 0 15 0 70507511 11078557696 10611 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2704726 10611 2986 1 0 2667149 0
[pid=25584/tid=25637] ppid=25581 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) R 25581 25584 24385 0 -1 4202560 4331 12982 0 0 10 1 5 2 20 0 15 0 70507520 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846851465008 139846859917149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=10818904 memory=331 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) S 25581 25584 24385 0 -1 1077944384 2 12982 0 0 0 0 5 2 20 0 15 0 70507521 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846883884176 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=10818904 memory=140277513528944 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846772157456 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846771104656 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846770051856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25642] ppid=25581 vsize=10818904 memory=140277513504384 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25642/stat : 25642 (java) S 25581 25584 24385 0 -1 1077944384 2 12982 0 0 0 0 5 2 20 0 15 0 70507523 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846204864880 139846879652482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25643] ppid=25581 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25643/stat : 25643 (java) S 25581 25584 24385 0 -1 1077944384 33 12982 0 0 0 0 5 2 20 0 15 0 70507523 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846203810848 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25644] ppid=25581 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25644/stat : 25644 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507523 11078557696 10611 33554432000 4194304 4196468 140737203192224 139845745763184 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25645] ppid=25581 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25645/stat : 25645 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11078557696 10611 33554432000 4194304 4196468 140737203192224 139845438363472 139846879659931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25646] ppid=25581 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25646/stat : 25646 (java) S 25581 25584 24385 0 -1 1077944384 541 12982 0 0 1 0 5 2 20 0 15 0 70507526 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846170254192 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25647] ppid=25581 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25647/stat : 25647 (java) S 25581 25584 24385 0 -1 1077944384 67 12982 0 0 1 0 5 2 20 0 15 0 70507526 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846169201392 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25648] ppid=25581 vsize=10818904 memory=140277513504384 CPUtime=0.1 cores=0,2,4,6
/proc/25584/task/25648/stat : 25648 (java) S 25581 25584 24385 0 -1 1077944384 609 12982 0 0 3 0 5 2 20 0 15 0 70507526 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846168148592 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25649] ppid=25581 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25649/stat : 25649 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11078557696 10611 33554432000 4194304 4196468 140737203192224 139845404805856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25650] ppid=25581 vsize=10818904 memory=140277513504384 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25650/stat : 25650 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507526 11078557696 10611 33554432000 4194304 4196468 140737203192224 139846167095984 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42444 KiB
[startup+0.310076 s]*
/proc/loadavg: 1.21 1.62 1.64 3/215 25650
/proc/meminfo: memFree=15834752/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=10819352 memory=53160 CPUtime=0.38 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 10309 12982 0 0 28 3 5 2 20 0 15 0 70507511 11079016448 13290 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2704838 13290 3105 1 0 2667149 0
[pid=25584/tid=25637] ppid=25581 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) R 25581 25584 24385 0 -1 4202560 6840 12982 0 0 19 2 5 2 20 0 15 0 70507520 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846851453344 139846879663261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) S 25581 25584 24385 0 -1 1077944384 2 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846883884176 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846772157456 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846771104656 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846770051856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25642] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25642/stat : 25642 (java) S 25581 25584 24385 0 -1 1077944384 2 12982 0 0 0 0 5 2 20 0 15 0 70507523 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846204864880 139846879652482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25643] ppid=25581 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25643/stat : 25643 (java) S 25581 25584 24385 0 -1 1077944384 33 12982 0 0 0 0 5 2 20 0 15 0 70507523 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846203810848 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25644] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25644/stat : 25644 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507523 11079016448 13290 33554432000 4194304 4196468 140737203192224 139845745763184 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25645] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25645/stat : 25645 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11079016448 13290 33554432000 4194304 4196468 140737203192224 139845438363472 139846879659931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25646] ppid=25581 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25646/stat : 25646 (java) S 25581 25584 24385 0 -1 1077944384 541 12982 0 0 1 0 5 2 20 0 15 0 70507526 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846170254192 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25647] ppid=25581 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25647/stat : 25647 (java) S 25581 25584 24385 0 -1 1077944384 68 12982 0 0 1 0 5 2 20 0 15 0 70507526 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846169201392 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25648] ppid=25581 vsize=10819352 memory=140277513504384 CPUtime=0.12 cores=0,2,4,6
/proc/25584/task/25648/stat : 25648 (java) S 25581 25584 24385 0 -1 1077944384 619 12982 0 0 5 0 5 2 20 0 15 0 70507526 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846168148592 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25649] ppid=25581 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25649/stat : 25649 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11079016448 13290 33554432000 4194304 4196468 140737203192224 139845404805856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25650] ppid=25581 vsize=10819352 memory=140277513504384 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25650/stat : 25650 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507526 11079016448 13290 33554432000 4194304 4196468 140737203192224 139846167095984 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53160 KiB
[startup+0.700729 s]
/proc/loadavg: 1.21 1.62 1.64 4/215 25650
/proc/meminfo: memFree=15823836/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=10819352 memory=84772 CPUtime=0.98 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 16430 12982 0 0 87 4 5 2 20 0 15 0 70507511 11079016448 21193 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2704838 21193 3237 1 0 2667149 0
[pid=25584/tid=25637] ppid=25581 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) R 25581 25584 24385 0 -1 4202560 11945 12982 0 0 55 3 5 2 20 0 15 0 70507520 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846851436120 139846865009482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) S 25581 25584 24385 0 -1 1077944384 2 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846883884176 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846772157456 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=10819352 memory=140277390127888 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846771104656 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=10819352 memory=140277926855252 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507521 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846770051856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25642] ppid=25581 vsize=10819352 memory=8540 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25642/stat : 25642 (java) S 25581 25584 24385 0 -1 1077944384 5 12982 0 0 0 0 5 2 20 0 15 0 70507523 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846204864880 139846879652482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25643] ppid=25581 vsize=10819352 memory=7662705889289527641 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25643/stat : 25643 (java) S 25581 25584 24385 0 -1 1077944384 33 12982 0 0 0 0 5 2 20 0 15 0 70507523 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846203810848 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25644] ppid=25581 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25644/stat : 25644 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507523 11079016448 21193 33554432000 4194304 4196468 140737203192224 139845745763184 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25645] ppid=25581 vsize=10819352 memory=16436 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25645/stat : 25645 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11079016448 21193 33554432000 4194304 4196468 140737203192224 139845438363472 139846879659931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25646] ppid=25581 vsize=10819352 memory=12696 CPUtime=0.16 cores=0,2,4,6
/proc/25584/task/25646/stat : 25646 (java) S 25581 25584 24385 0 -1 1077944384 1117 12982 0 0 9 0 5 2 20 0 15 0 70507526 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846170254192 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25647] ppid=25581 vsize=10819352 memory=4008 CPUtime=0.14 cores=0,2,4,6
/proc/25584/task/25647/stat : 25647 (java) S 25581 25584 24385 0 -1 1077944384 454 12982 0 0 7 0 5 2 20 0 15 0 70507526 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846169201392 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25648] ppid=25581 vsize=10819352 memory=1796 CPUtime=0.2 cores=0,2,4,6
/proc/25584/task/25648/stat : 25648 (java) S 25581 25584 24385 0 -1 1077944384 670 12982 0 0 13 0 5 2 20 0 15 0 70507526 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846168148592 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25649] ppid=25581 vsize=10819352 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25649/stat : 25649 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11079016448 21193 33554432000 4194304 4196468 140737203192224 139845404805856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25650] ppid=25581 vsize=10819352 memory=956 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25650/stat : 25650 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507526 11079016448 21193 33554432000 4194304 4196468 140737203192224 139846167095984 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84772 KiB
[startup+1.50078 s]
/proc/loadavg: 1.27 1.63 1.64 4/215 25650
/proc/meminfo: memFree=15778688/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=10834252 memory=173716 CPUtime=2.27 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 23796 12982 0 0 210 10 5 2 20 0 15 0 70507511 11094274048 43429 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2708563 43429 3473 1 0 2670221 0
[pid=25584/tid=25637] ppid=25581 vsize=10834252 memory=61760 CPUtime=1.42 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) R 25581 25584 24385 0 -1 4202560 17587 12982 0 0 129 6 5 2 20 0 15 0 70507520 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846851472576 139846879663261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) S 25581 25584 24385 0 -1 1077944384 67 12982 0 0 1 0 5 2 20 0 15 0 70507521 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846883884176 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=10834252 memory=280554780287136 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) S 25581 25584 24385 0 -1 1077944384 189 12982 0 0 1 0 5 2 20 0 15 0 70507521 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846772157456 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) S 25581 25584 24385 0 -1 1077944384 15 12982 0 0 1 0 5 2 20 0 15 0 70507521 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846771104656 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) S 25581 25584 24385 0 -1 1077944384 34 12982 0 0 0 0 5 2 20 0 15 0 70507521 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846770051856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25642] ppid=25581 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25642/stat : 25642 (java) S 25581 25584 24385 0 -1 1077944384 171 12982 0 0 1 0 5 2 20 0 15 0 70507523 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846204864880 139846879652482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25643] ppid=25581 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25643/stat : 25643 (java) S 25581 25584 24385 0 -1 1077944384 34 12982 0 0 0 0 5 2 20 0 15 0 70507523 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846203810912 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25644] ppid=25581 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25644/stat : 25644 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507523 11094274048 43429 33554432000 4194304 4196468 140737203192224 139845745763184 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25645] ppid=25581 vsize=10834252 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25645/stat : 25645 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11094274048 43429 33554432000 4194304 4196468 140737203192224 139845438363472 139846879659931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25646] ppid=25581 vsize=10834252 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/25584/task/25646/stat : 25646 (java) S 25581 25584 24385 0 -1 1077944384 1232 12982 0 0 20 0 5 2 20 0 15 0 70507526 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846170254192 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25647] ppid=25581 vsize=10834252 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/25584/task/25647/stat : 25647 (java) S 25581 25584 24385 0 -1 1077944384 931 12982 0 0 21 0 5 2 20 0 15 0 70507526 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846169201392 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25648] ppid=25581 vsize=10834252 memory=6791534058613427641 CPUtime=0.39 cores=0,2,4,6
/proc/25584/task/25648/stat : 25648 (java) S 25581 25584 24385 0 -1 1077944384 1335 12982 0 0 31 1 5 2 20 0 15 0 70507526 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846168148592 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25649] ppid=25581 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25649/stat : 25649 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11094274048 43429 33554432000 4194304 4196468 140737203192224 139845404805856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25650] ppid=25581 vsize=10834252 memory=280554780531584 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25650/stat : 25650 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507526 11094274048 43429 33554432000 4194304 4196468 140737203192224 139846167095984 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 173716 KiB
[startup+3.11024 s]
/proc/loadavg: 1.27 1.63 1.64 5/215 25650
/proc/meminfo: memFree=15669228/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=10844512 memory=224276 CPUtime=6.32 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 42302 12982 0 0 611 14 5 2 20 0 15 0 70507511 11104780288 56069 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2711128 56069 3497 1 0 2672781 0
[pid=25584/tid=25637] ppid=25581 vsize=10844512 memory=7 CPUtime=3.02 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) R 25581 25584 24385 0 -1 4202560 26761 12982 0 0 287 8 5 2 20 0 15 0 70507520 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846851472896 139846859857599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=10844512 memory=200352 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) S 25581 25584 24385 0 -1 1077944384 67 12982 0 0 1 0 5 2 20 0 15 0 70507521 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846883884176 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=10844512 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) S 25581 25584 24385 0 -1 1077944384 189 12982 0 0 1 0 5 2 20 0 15 0 70507521 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846772157456 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=10844512 memory=21396 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) S 25581 25584 24385 0 -1 1077944384 15 12982 0 0 1 0 5 2 20 0 15 0 70507521 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846771104656 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=10844512 memory=2436 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) S 25581 25584 24385 0 -1 1077944384 34 12982 0 0 0 0 5 2 20 0 15 0 70507521 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846770051856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25642] ppid=25581 vsize=10844512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25584/task/25642/stat : 25642 (java) S 25581 25584 24385 0 -1 1077944384 363 12982 0 0 1 0 5 2 20 0 15 0 70507523 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846204864880 139846879652482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25643] ppid=25581 vsize=10844512 memory=-3535359994705171299 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25643/stat : 25643 (java) S 25581 25584 24385 0 -1 1077944384 34 12982 0 0 0 0 5 2 20 0 15 0 70507523 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846203810912 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25644] ppid=25581 vsize=10844512 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25644/stat : 25644 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507523 11104780288 56069 33554432000 4194304 4196468 140737203192224 139845745763184 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25645] ppid=25581 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25645/stat : 25645 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11104780288 56069 33554432000 4194304 4196468 140737203192224 139845438363472 139846879659931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25646] ppid=25581 vsize=10844512 memory=0 CPUtime=0.99 cores=0,2,4,6
/proc/25584/task/25646/stat : 25646 (java) R 25581 25584 24385 0 -1 4202560 3403 12982 0 0 91 1 5 2 20 0 15 0 70507526 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846170254192 139846858018928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25647] ppid=25581 vsize=10844512 memory=3977135614405462101 CPUtime=1.16 cores=0,2,4,6
/proc/25584/task/25647/stat : 25647 (java) R 25581 25584 24385 0 -1 1077944384 3752 12982 0 0 109 0 5 2 20 0 15 0 70507526 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846169201392 139846879652482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25648] ppid=25581 vsize=10844512 memory=56 CPUtime=1.23 cores=0,2,4,6
/proc/25584/task/25648/stat : 25648 (java) R 25581 25584 24385 0 -1 4202560 5482 12982 0 0 115 1 5 2 20 0 15 0 70507526 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846168148592 139846879653270 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25649] ppid=25581 vsize=10844512 memory=2984339746955739232 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25649/stat : 25649 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11104780288 56069 33554432000 4194304 4196468 140737203192224 139845404805856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25650] ppid=25581 vsize=10844512 memory=6935649255759569216 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25650/stat : 25650 (java) S 25581 25584 24385 0 -1 1077944384 7 12982 0 0 0 0 5 2 20 0 15 0 70507526 11104780288 56069 33554432000 4194304 4196468 140737203192224 139846167095984 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 224276 KiB
[startup+4.43404 s]
# the end of solver process 25584 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.59028 s, system=0.235917 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20852 s]
/proc/loadavg: 1.27 1.63 1.64 5/215 25650
/proc/meminfo: memFree=15669228/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=10844512 memory=248364 CPUtime=6.53 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 44094 12982 0 0 631 15 5 2 20 0 15 0 70507511 11104780288 62091 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2711128 62091 3506 1 0 2672781 0
[pid=25584/tid=25637] ppid=25581 vsize=10844512 memory=6935649255759568960 CPUtime=3.08 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) S 25581 25584 24385 0 -1 1077944384 27065 12982 0 0 292 9 5 2 20 0 15 0 70507520 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846851464432 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=10844512 memory=2984339746955739232 CPUtime=0.09 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) R 25581 25584 24385 0 -1 4202560 84 12982 0 0 2 0 5 2 20 0 15 0 70507521 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846883884176 139846872269543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=10844512 memory=2867664571609120 CPUtime=0.1 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) R 25581 25584 24385 0 -1 4202560 216 12982 0 0 3 0 5 2 20 0 15 0 70507521 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846772157576 139846872269543 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=10844512 memory=6154282490091891024 CPUtime=0.1 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) R 25581 25584 24385 0 -1 4202560 62 12982 0 0 3 0 5 2 20 0 15 0 70507521 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846771104656 139846864342012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) R 25581 25584 24385 0 -1 4202560 97 12982 0 0 2 0 5 2 20 0 15 0 70507521 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846770051856 139846864341953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25642] ppid=25581 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25584/task/25642/stat : 25642 (java) S 25581 25584 24385 0 -1 1077944384 1636 12982 0 0 3 0 5 2 20 0 15 0 70507523 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846204863392 139846879651541 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25643] ppid=25581 vsize=10844512 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25643/stat : 25643 (java) S 25581 25584 24385 0 -1 1077944384 34 12982 0 0 0 0 5 2 20 0 15 0 70507523 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846203810912 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25644] ppid=25581 vsize=10844512 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25644/stat : 25644 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507523 11104780288 62091 33554432000 4194304 4196468 140737203192224 139845745763184 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25645] ppid=25581 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25645/stat : 25645 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11104780288 62091 33554432000 4194304 4196468 140737203192224 139845438363472 139846879659931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25646] ppid=25581 vsize=10844512 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/25584/task/25646/stat : 25646 (java) S 25581 25584 24385 0 -1 1077944384 3407 12982 0 0 93 1 5 2 20 0 15 0 70507526 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846170254192 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25647] ppid=25581 vsize=10844512 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/25584/task/25647/stat : 25647 (java) S 25581 25584 24385 0 -1 1077944384 3759 12982 0 0 110 0 5 2 20 0 15 0 70507526 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846169201392 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25648] ppid=25581 vsize=10844512 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/25584/task/25648/stat : 25648 (java) S 25581 25584 24385 0 -1 1077944384 5527 12982 0 0 117 1 5 2 20 0 15 0 70507526 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846168148592 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25649] ppid=25581 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25649/stat : 25649 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11104780288 62091 33554432000 4194304 4196468 140737203192224 139845404805856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25650] ppid=25581 vsize=10844512 memory=245 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25650/stat : 25650 (java) S 25581 25584 24385 0 -1 1077944384 7 12982 0 0 0 0 5 2 20 0 15 0 70507526 11104780288 62091 33554432000 4194304 4196468 140737203192224 139846167095984 139846879652482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 6.53 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 248364 KiB
[startup+4.00068 s]*
/proc/loadavg: 1.27 1.63 1.64 4/215 25650
/proc/meminfo: memFree=15558972/32770624 swapFree=67108860/67108860
[pid=25584] ppid=25581 vsize=10916904 memory=314700 CPUtime=8.65 cores=0,2,4,6
/proc/25584/stat : 25584 (java) S 25581 25584 24385 0 -1 1077944320 62038 12982 0 0 839 19 5 2 20 0 15 0 70507511 11178909696 78675 33554432000 4194304 4196468 140737203192224 140737203174768 139846879641335 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
/proc/25584/statm: 2729226 78675 3507 1 0 2690879 0
[pid=25584/tid=25637] ppid=25581 vsize=10916904 memory=6791534058613427641 CPUtime=3.87 cores=0,2,4,6
/proc/25584/task/25637/stat : 25637 (java) R 25581 25584 24385 0 -1 4202560 39916 12982 0 0 369 11 5 2 20 0 15 0 70507520 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846851477344 139846446745202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25638] ppid=25581 vsize=10916904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/25584/task/25638/stat : 25638 (java) S 25581 25584 24385 0 -1 1077944384 84 12982 0 0 2 0 5 2 20 0 15 0 70507521 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846883884176 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25639] ppid=25581 vsize=10916904 memory=280554903678384 CPUtime=0.1 cores=0,2,4,6
/proc/25584/task/25639/stat : 25639 (java) S 25581 25584 24385 0 -1 1077944384 216 12982 0 0 3 0 5 2 20 0 15 0 70507521 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846772157456 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25640] ppid=25581 vsize=10916904 memory=140277390174007 CPUtime=0.1 cores=0,2,4,6
/proc/25584/task/25640/stat : 25640 (java) S 25581 25584 24385 0 -1 1077944384 62 12982 0 0 3 0 5 2 20 0 15 0 70507521 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846771104656 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25641] ppid=25581 vsize=10916904 memory=140277390176281 CPUtime=0.09 cores=0,2,4,6
/proc/25584/task/25641/stat : 25641 (java) S 25581 25584 24385 0 -1 1077944384 97 12982 0 0 2 0 5 2 20 0 15 0 70507521 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846770051856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25642] ppid=25581 vsize=10916904 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/25584/task/25642/stat : 25642 (java) S 25581 25584 24385 0 -1 1077944384 1941 12982 0 0 3 0 5 2 20 0 15 0 70507523 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846204864880 139846879652482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25643] ppid=25581 vsize=10916904 memory=2240 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25643/stat : 25643 (java) S 25581 25584 24385 0 -1 1077944384 37 12982 0 0 0 0 5 2 20 0 15 0 70507523 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846203810912 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25644] ppid=25581 vsize=10916904 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25644/stat : 25644 (java) S 25581 25584 24385 0 -1 1077944384 1 12982 0 0 0 0 5 2 20 0 15 0 70507523 11178909696 78675 33554432000 4194304 4196468 140737203192224 139845745763200 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25645] ppid=25581 vsize=10916904 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25645/stat : 25645 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11178909696 78675 33554432000 4194304 4196468 140737203192224 139845438363472 139846879659931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25646] ppid=25581 vsize=10916904 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/25584/task/25646/stat : 25646 (java) D 25581 25584 24385 0 -1 4202560 3942 12982 0 0 136 1 5 2 20 0 15 0 70507526 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846170235000 139846872358487 0 4 0 16800975 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25647] ppid=25581 vsize=10916904 memory=9 CPUtime=1.81 cores=0,2,4,6
/proc/25584/task/25647/stat : 25647 (java) R 25581 25584 24385 0 -1 4202560 7450 12982 0 0 173 1 5 2 20 0 15 0 70507526 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846169187416 139846861185648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25648] ppid=25581 vsize=10916904 memory=140277583488532 CPUtime=1.51 cores=0,2,4,6
/proc/25584/task/25648/stat : 25648 (java) D 25581 25584 24385 0 -1 4202560 6086 12982 0 0 142 2 5 2 20 0 15 0 70507526 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846168148512 139846859565471 0 4 0 16800975 18446744072100359301 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25649] ppid=25581 vsize=10916904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25649/stat : 25649 (java) S 25581 25584 24385 0 -1 1077944384 3 12982 0 0 0 0 5 2 20 0 15 0 70507526 11178909696 78675 33554432000 4194304 4196468 140737203192224 139845404805856 139846879651541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
[pid=25584/tid=25650] ppid=25581 vsize=10916904 memory=140277583918992 CPUtime=0.07 cores=0,2,4,6
/proc/25584/task/25650/stat : 25650 (java) D 25581 25584 24385 0 -1 4202560 7 12982 0 0 0 0 5 2 20 0 15 0 70507526 11178909696 78675 33554432000 4194304 4196468 140737203192224 139846167095904 139846864497422 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 15843328 140737203194479 140737203197276 140737203197276 140737203199951 0
Current children cumulated CPU time: 8.65 s
Current children cumulated vsize: 10916904 KiB
Current children cumulated memory: 314700 KiB
[startup+4.40068 s]*
/proc/loadavg: 1.27 1.63 1.64 3/202 25651
/proc/meminfo: memFree=15869148/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.43409
CPU time (s): 8.82619
CPU user time (s): 8.59028
CPU system time (s): 0.235917
CPU usage (%): 199.053
Max. virtual memory (cumulated for all children) (KiB): 11015264
Max. memory (cumulated for all children) (KiB): 315016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.59028
system time used= 0.235917
maximum resident set size= 317000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6185
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 25584
# total CPU time (s): 8.82619
# total CPU user time (s): 8.59028
# total CPU system time (s): 0.235917
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04853 second user time and 0.084927 second system time
The end