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 (3031 MiB free)
memory of node 1: 16384 MiB (12600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293797-1532326188/watcher-4293797-1532326188 -o /tmp/evaluation-result-4293797-1532326188/solver-4293797-1532326188 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1128281693 -superng HOME/instance-4293797-1532326188.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=10443, runsolver pid=10440
[startup+0.100168 s]*
/proc/loadavg: 2.12 1.76 1.73 3/206 10500
/proc/meminfo: memFree=15997700/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 4274 13143 0 0 1 0 5 2 20 0 6 0 50182037 10212057088 4648 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2493178 4648 1934 1 0 2481616 0
[pid=10443/tid=10496] ppid=10440 vsize=9972712 memory=4279135703946986127 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 2098 13143 0 0 1 0 5 2 20 0 6 0 50182046 10212057088 4648 33554432000 4194304 4196468 140729289846176 140401495601744 140401508795216 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=9977852 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 6 0 50182047 10217320448 4648 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=9983652 memory=140296088438400 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 6 0 50182047 10223259648 4648 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 6 0 50182047 10228523008 4714 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 6 0 50182047 10228523008 4714 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.209794 s]*
/proc/loadavg: 2.12 1.76 1.73 3/215 10509
/proc/meminfo: memFree=15979024/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=10818904 memory=45088 CPUtime=0.25 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 9136 13143 0 0 16 2 5 2 20 0 15 0 50182037 11078557696 11272 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2704726 11272 2967 1 0 2667149 0
[pid=10443/tid=10496] ppid=10440 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 5770 13143 0 0 10 1 5 2 20 0 15 0 50182046 11078557696 11272 33554432000 4194304 4196468 140729289846176 140401495589792 140401523786909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11078557696 11272 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10818904 memory=288370672240150144 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11078557696 11272 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11078557696 11272 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182047 11078557696 11272 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10818904 memory=140296088438400 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182048 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 33 13143 0 0 0 0 5 2 20 0 15 0 50182048 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400981377952 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182049 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400400524272 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 498 13143 0 0 1 0 5 2 20 0 15 0 50182051 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 87 13143 0 0 1 0 5 2 20 0 15 0 50182051 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10818904 memory=140296088438400 CPUtime=0.1 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) R 10440 10443 4818 0 -1 4202560 548 13143 0 0 3 0 5 2 20 0 15 0 50182051 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400945715952 140401507927157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10818904 memory=140296088438400 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182052 11078557696 11272 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45088 KiB
[startup+0.310232 s]*
/proc/loadavg: 2.12 1.76 1.73 3/215 10509
/proc/meminfo: memFree=15966992/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=10819352 memory=52964 CPUtime=0.38 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 10340 13143 0 0 28 3 5 2 20 0 15 0 50182037 11079016448 13241 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2704838 13241 3086 1 0 2667149 0
[pid=10443/tid=10496] ppid=10440 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 6958 13143 0 0 19 2 5 2 20 0 15 0 50182046 11079016448 13241 33554432000 4194304 4196468 140729289846176 140401495553152 140401506951792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 13241 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 13241 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 13241 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 13241 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182048 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 33 13143 0 0 0 0 5 2 20 0 15 0 50182048 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400981377952 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182049 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400400524272 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 499 13143 0 0 1 0 5 2 20 0 15 0 50182051 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 87 13143 0 0 1 0 5 2 20 0 15 0 50182051 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10819352 memory=140296088438400 CPUtime=0.12 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) S 10440 10443 4818 0 -1 1077944384 560 13143 0 0 5 0 5 2 20 0 15 0 50182051 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400945715952 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10819352 memory=140296088438400 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182052 11079016448 13241 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52964 KiB
[startup+0.700805 s]
/proc/loadavg: 2.12 1.76 1.73 3/215 10509
/proc/meminfo: memFree=15958420/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=10819352 memory=85284 CPUtime=0.98 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 16426 13143 0 0 86 5 5 2 20 0 15 0 50182037 11079016448 21321 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2704838 21321 3240 1 0 2667149 0
[pid=10443/tid=10496] ppid=10440 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 12023 13143 0 0 56 3 5 2 20 0 15 0 50182046 11079016448 21321 33554432000 4194304 4196468 140729289846176 140401495585808 140401505328543 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 21321 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 21321 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10819352 memory=140295979283216 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 21321 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10819352 memory=140299401691744 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182047 11079016448 21321 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10819352 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 6 13143 0 0 0 0 5 2 20 0 15 0 50182048 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10819352 memory=4639098309541126758 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 33 13143 0 0 0 0 5 2 20 0 15 0 50182048 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400981377952 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182049 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400400524272 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10819352 memory=10728 CPUtime=0.16 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 1069 13143 0 0 9 0 5 2 20 0 15 0 50182051 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10819352 memory=4052 CPUtime=0.14 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 480 13143 0 0 7 0 5 2 20 0 15 0 50182051 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10819352 memory=644 CPUtime=0.2 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) S 10440 10443 4818 0 -1 1077944384 614 13143 0 0 13 0 5 2 20 0 15 0 50182051 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400945715952 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10819352 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10819352 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182052 11079016448 21321 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85284 KiB
[startup+1.50067 s]
/proc/loadavg: 2.12 1.76 1.73 3/215 10509
/proc/meminfo: memFree=15912460/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=10834252 memory=179556 CPUtime=2.36 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 24048 13143 0 0 219 10 5 2 20 0 15 0 50182037 11094274048 44889 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2708563 44889 3477 1 0 2670221 0
[pid=10443/tid=10496] ppid=10440 vsize=10834252 memory=61752 CPUtime=1.42 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 17520 13143 0 0 129 6 5 2 20 0 15 0 50182046 11094274048 44889 33554432000 4194304 4196468 140729289846176 140401495595424 140401523776918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 54 13143 0 0 1 0 5 2 20 0 15 0 50182047 11094274048 44889 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10834252 memory=280591958597792 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 26 13143 0 0 1 0 5 2 20 0 15 0 50182047 11094274048 44889 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 22 13143 0 0 1 0 5 2 20 0 15 0 50182047 11094274048 44889 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 189 13143 0 0 1 0 5 2 20 0 15 0 50182047 11094274048 44889 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 331 13143 0 0 0 0 5 2 20 0 15 0 50182048 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 33 13143 0 0 0 0 5 2 20 0 15 0 50182048 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400981378016 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182049 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400400524288 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10834252 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10834252 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 1279 13143 0 0 24 0 5 2 20 0 15 0 50182051 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10834252 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 1018 13143 0 0 23 0 5 2 20 0 15 0 50182051 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10834252 memory=6791534058613427641 CPUtime=0.42 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) R 10440 10443 4818 0 -1 4202560 1379 13143 0 0 35 0 5 2 20 0 15 0 50182051 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400945715952 140401508930622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10834252 memory=280591958842240 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1 13143 0 0 0 0 5 2 20 0 15 0 50182052 11094274048 44889 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 92421 13143 0 0 236480 45 5 2 20 0 15 0 50182046 11176083456 275723 33554432000 4194304 4196468 140729289846176 140401495599344 140401104206560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10914144 memory=280591958768224 CPUtime=9.09 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 15448 13143 0 0 858 44 5 2 20 0 15 0 50182047 11176083456 275723 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10914144 memory=1708 CPUtime=9.11 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 18513 13143 0 0 861 43 5 2 20 0 15 0 50182047 11176083456 275723 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10914144 memory=1102864 CPUtime=9.14 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 10667 13143 0 0 865 42 5 2 20 0 15 0 50182047 11176083456 275723 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10914144 memory=1102864 CPUtime=9.1 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 21337 13143 0 0 861 42 5 2 20 0 15 0 50182047 11176083456 275723 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10914144 memory=1102864 CPUtime=5.27 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 17627 13143 0 0 487 33 5 2 20 0 15 0 50182048 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10914144 memory=1102892 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 50182048 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400981378080 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10914144 memory=1102892 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182049 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400400524288 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10914144 memory=1102892 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10914144 memory=1102892 CPUtime=6.24 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 29922 13143 0 0 612 5 5 2 20 0 15 0 50182051 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10914144 memory=1102892 CPUtime=5.7 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 24270 13143 0 0 560 3 5 2 20 0 15 0 50182051 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10914144 memory=1102892 CPUtime=2.74 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) S 10440 10443 4818 0 -1 1077944384 20945 13143 0 0 263 4 5 2 20 0 15 0 50182051 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400945715952 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10914144 memory=1102892 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10914144 memory=4136 CPUtime=1.33 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1056 13143 0 0 63 63 5 2 20 0 15 0 50182052 11176083456 275723 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 2422.52 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1102892 KiB
[startup+2442.3 s]
/proc/loadavg: 1.02 1.28 1.40 3/215 10719
/proc/meminfo: memFree=20599960/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=10914144 memory=1102956 CPUtime=2483.21 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 256389 13143 0 0 248021 293 5 2 20 0 15 0 50182037 11176083456 275739 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2728536 275739 3527 1 0 2690189 0
[pid=10443/tid=10496] ppid=10440 vsize=10914144 memory=1102864 CPUtime=2424.84 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 93060 13143 0 0 242431 46 5 2 20 0 15 0 50182046 11176083456 275739 33554432000 4194304 4196468 140729289846176 140401495599008 140401103615083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10914144 memory=1102924 CPUtime=9.34 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 15807 13143 0 0 883 44 5 2 20 0 15 0 50182047 11176083456 275739 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10914144 memory=1102948 CPUtime=9.36 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 18756 13143 0 0 885 44 5 2 20 0 15 0 50182047 11176083456 275739 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10914144 memory=1102948 CPUtime=9.39 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 10881 13143 0 0 889 43 5 2 20 0 15 0 50182047 11176083456 275739 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10914144 memory=1102956 CPUtime=9.35 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 21424 13143 0 0 885 43 5 2 20 0 15 0 50182047 11176083456 275739 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10914144 memory=1102956 CPUtime=5.42 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 18009 13143 0 0 501 34 5 2 20 0 15 0 50182048 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10914144 memory=1102956 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 50182048 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400981378080 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10914144 memory=1102956 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182049 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400400524288 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10914144 memory=1102956 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10914144 memory=1102956 CPUtime=6.24 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 29926 13143 0 0 612 5 5 2 20 0 15 0 50182051 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10914144 memory=1102956 CPUtime=5.7 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 24272 13143 0 0 560 3 5 2 20 0 15 0 50182051 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10914144 memory=1102956 CPUtime=2.74 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) S 10440 10443 4818 0 -1 1077944384 20947 13143 0 0 263 4 5 2 20 0 15 0 50182051 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400945715952 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10914144 memory=1102956 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10914144 memory=1102956 CPUtime=1.36 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1074 13143 0 0 64 65 5 2 20 0 15 0 50182052 11176083456 275739 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 2483.21 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1102956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.7 s]
/proc/loadavg: 1.09 1.28 1.40 3/215 10720
/proc/meminfo: memFree=20597980/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=10914144 memory=1102988 CPUtime=2520.05 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 257086 13143 0 0 251703 295 5 2 20 0 15 0 50182037 11176083456 275747 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2728536 275747 3527 1 0 2690189 0
[pid=10443/tid=10496] ppid=10440 vsize=10914144 memory=6944656592455097440 CPUtime=2460.95 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 93396 13143 0 0 246042 46 5 2 20 0 15 0 50182046 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401495599440 140401104122764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10914144 memory=1102988 CPUtime=9.5 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 15819 13143 0 0 898 45 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10914144 memory=1102988 CPUtime=9.51 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 19021 13143 0 0 900 44 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10914144 memory=1102988 CPUtime=9.55 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 10927 13143 0 0 904 44 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10914144 memory=1102956 CPUtime=9.5 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 21428 13143 0 0 900 43 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10914144 memory=1102956 CPUtime=5.51 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 18039 13143 0 0 510 34 5 2 20 0 15 0 50182048 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10914144 memory=1102988 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 50182048 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400981378080 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10914144 memory=1102988 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182049 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400400524288 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10914144 memory=1102988 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10914144 memory=1102988 CPUtime=6.24 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 29926 13143 0 0 612 5 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10914144 memory=1102956 CPUtime=5.7 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 24272 13143 0 0 560 3 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10914144 memory=4136 CPUtime=2.74 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) S 10440 10443 4818 0 -1 1077944384 20947 13143 0 0 263 4 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400945715952 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10914144 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10914144 memory=16564 CPUtime=1.39 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1078 13143 0 0 65 67 5 2 20 0 15 0 50182052 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1102988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.73 s]
# the end of solver process 10443 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.11 s, system=2.99488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.7 s]
/proc/loadavg: 1.09 1.28 1.40 3/215 10720
/proc/meminfo: memFree=20597980/32770624 swapFree=67108860/67108860
[pid=10443] ppid=10440 vsize=10914144 memory=1102988 CPUtime=2520.05 cores=1,3,5,7
/proc/10443/stat : 10443 (java) S 10440 10443 4818 0 -1 1077944320 257086 13143 0 0 251703 295 5 2 20 0 15 0 50182037 11176083456 275747 33554432000 4194304 4196468 140729289846176 140729289828720 140401523764983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
/proc/10443/statm: 2728536 275747 3527 1 0 2690189 0
[pid=10443/tid=10496] ppid=10440 vsize=10914144 memory=6944656592455097440 CPUtime=2460.95 cores=1,3,5,7
/proc/10443/task/10496/stat : 10496 (java) R 10440 10443 4818 0 -1 4202560 93396 13143 0 0 246042 46 5 2 20 0 15 0 50182046 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401495599440 140401104122764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10497] ppid=10440 vsize=10914144 memory=1102988 CPUtime=9.5 cores=1,3,5,7
/proc/10443/task/10497/stat : 10497 (java) S 10440 10443 4818 0 -1 1077944384 15819 13143 0 0 898 45 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401528007440 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10498] ppid=10440 vsize=10914144 memory=1102988 CPUtime=9.51 cores=1,3,5,7
/proc/10443/task/10498/stat : 10498 (java) S 10440 10443 4818 0 -1 1077944384 19021 13143 0 0 900 44 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401416280976 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10499] ppid=10440 vsize=10914144 memory=1102988 CPUtime=9.55 cores=1,3,5,7
/proc/10443/task/10499/stat : 10499 (java) S 10440 10443 4818 0 -1 1077944384 10927 13143 0 0 904 44 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401415228432 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10500] ppid=10440 vsize=10914144 memory=1102956 CPUtime=9.5 cores=1,3,5,7
/proc/10443/task/10500/stat : 10500 (java) S 10440 10443 4818 0 -1 1077944384 21428 13143 0 0 900 43 5 2 20 0 15 0 50182047 11176083456 275747 33554432000 4194304 4196468 140729289846176 140401414175888 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10501] ppid=10440 vsize=10914144 memory=1102956 CPUtime=5.51 cores=1,3,5,7
/proc/10443/task/10501/stat : 10501 (java) S 10440 10443 4818 0 -1 1077944384 18039 13143 0 0 510 34 5 2 20 0 15 0 50182048 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400982431728 140401523776130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10502] ppid=10440 vsize=10914144 memory=1102988 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10502/stat : 10502 (java) S 10440 10443 4818 0 -1 1077944384 37 13143 0 0 0 0 5 2 20 0 15 0 50182048 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400981378080 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10503] ppid=10440 vsize=10914144 memory=1102988 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10503/stat : 10503 (java) S 10440 10443 4818 0 -1 1077944384 2 13143 0 0 0 0 5 2 20 0 15 0 50182049 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400400524288 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10504] ppid=10440 vsize=10914144 memory=1102988 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10504/stat : 10504 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400093124816 140401523783579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10505] ppid=10440 vsize=10914144 memory=1102988 CPUtime=6.24 cores=1,3,5,7
/proc/10443/task/10505/stat : 10505 (java) S 10440 10443 4818 0 -1 1077944384 29926 13143 0 0 612 5 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400947821040 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10506] ppid=10440 vsize=10914144 memory=1102956 CPUtime=5.7 cores=1,3,5,7
/proc/10443/task/10506/stat : 10506 (java) S 10440 10443 4818 0 -1 1077944384 24272 13143 0 0 560 3 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400946768496 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10507] ppid=10440 vsize=10914144 memory=4136 CPUtime=2.74 cores=1,3,5,7
/proc/10443/task/10507/stat : 10507 (java) S 10440 10443 4818 0 -1 1077944384 20947 13143 0 0 263 4 5 2 20 0 15 0 50182051 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400945715952 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10508] ppid=10440 vsize=10914144 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/10443/task/10508/stat : 10508 (java) S 10440 10443 4818 0 -1 1077944384 3 13143 0 0 0 0 5 2 20 0 15 0 50182052 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400059567200 140401523775189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
[pid=10443/tid=10509] ppid=10440 vsize=10914144 memory=16564 CPUtime=1.39 cores=1,3,5,7
/proc/10443/task/10509/stat : 10509 (java) S 10440 10443 4818 0 -1 1077944384 1078 13143 0 0 65 67 5 2 20 0 15 0 50182052 11176083456 275747 33554432000 4194304 4196468 140729289846176 140400944662832 140401523776130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18042880 140729289853099 140729289856348 140729289856348 140729289859023 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1102988 KiB
Child status: 143
Real time (s): 2478.73
CPU time (s): 2520.11
CPU user time (s): 2517.11
CPU system time (s): 2.99488
CPU usage (%): 101.669
Max. virtual memory (cumulated for all children) (KiB): 10916856
Max. memory (cumulated for all children) (KiB): 2014292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.11
system time used= 2.99488
maximum resident set size= 2016272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 174572
involuntary context switches= 5911
# summary of solver processes directly reported to runsolver:
# pid: 10443
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.11
# total CPU system time (s): 2.99488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7343 second user time and 23.0432 second system time
The end