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 (14953 MiB free)
memory of node 1: 16384 MiB (9361 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293870-1532379811/watcher-4293870-1532379811 -o /tmp/evaluation-result-4293870-1532379811/solver-4293870-1532379811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1906646768 -superng HOME/instance-4293870-1532379811.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
solver pid=18694, runsolver pid=18691
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 1.62 1.68 1.80 3/208 18751
/proc/meminfo: memFree=24893628/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=9972712 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 4371 13237 0 0 1 0 5 3 20 0 6 0 55544299 10212057088 4715 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2493178 4715 1934 1 0 2481616 0
[pid=18694/tid=18747] ppid=18691 vsize=9972712 memory=4279135703913235855 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 2185 13237 0 0 0 0 5 3 20 0 6 0 55544308 10212057088 4715 33554432000 4194304 4196468 140728154307136 139772592435792 139772620620957 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 55544308 10212057088 4715 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=9972712 memory=139950596163200 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 55544308 10212057088 4715 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 6 0 55544308 10212057088 4715 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 6 0 55544308 10212057088 4715 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210362 s]*
/proc/loadavg: 1.62 1.68 1.80 3/217 18760
/proc/meminfo: memFree=24873432/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=10818936 memory=45144 CPUtime=0.26 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 9159 13237 0 0 16 2 5 3 20 0 15 0 55544299 11078590464 11220 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2704734 11286 2934 1 0 2667157 0
[pid=18694/tid=18747] ppid=18691 vsize=10818936 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 5890 13237 0 0 10 1 5 3 20 0 15 0 55544308 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772592423840 139772613278749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10818936 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10818936 memory=288370326747874944 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 55544308 11078557696 11339 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10818904 memory=139950596163200 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 55544310 11078557696 11339 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 13 13237 0 0 0 0 5 3 20 0 15 0 55544310 11078557696 11339 33554432000 4194304 4196468 140728154307136 139772060230944 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544310 11078557696 11339 33554432000 4194304 4196468 140728154307136 139771456251504 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11078590464 11339 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10818936 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 518 13237 0 0 1 0 5 3 20 0 15 0 55544313 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 56 13237 0 0 0 0 5 3 20 0 15 0 55544313 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10818936 memory=139950596163200 CPUtime=0.11 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 555 13237 0 0 3 0 5 3 20 0 15 0 55544313 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11078590464 11339 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10818936 memory=139950596163200 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544314 11078590464 11339 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 45144 KiB
[startup+0.310484 s]*
/proc/loadavg: 1.62 1.68 1.80 4/217 18760
/proc/meminfo: memFree=24860144/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=10819352 memory=53232 CPUtime=0.39 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 10442 13237 0 0 29 2 5 3 20 0 15 0 55544299 11079016448 13308 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2704838 13308 3053 1 0 2667149 0
[pid=18694/tid=18747] ppid=18691 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 7087 13237 0 0 19 2 5 3 20 0 15 0 55544308 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772592411040 139772612836158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 55544310 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 13 13237 0 0 0 0 5 3 20 0 15 0 55544310 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772060230944 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544310 11079016448 13308 33554432000 4194304 4196468 140728154307136 139771456251504 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11079016448 13308 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 518 13237 0 0 1 0 5 3 20 0 15 0 55544313 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 57 13237 0 0 1 0 5 3 20 0 15 0 55544313 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10819352 memory=139950596163200 CPUtime=0.13 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 567 13237 0 0 5 0 5 3 20 0 15 0 55544313 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11079016448 13308 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10819352 memory=139950596163200 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544314 11079016448 13308 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53232 KiB
[startup+0.70072 s]
/proc/loadavg: 1.62 1.68 1.80 3/217 18760
/proc/meminfo: memFree=24850156/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=10819352 memory=86592 CPUtime=0.98 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 16743 13237 0 0 87 3 5 3 20 0 15 0 55544299 11079016448 21648 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2704838 21648 3244 1 0 2667149 0
[pid=18694/tid=18747] ppid=18691 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 12318 13237 0 0 56 3 5 3 20 0 15 0 55544308 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772592419856 139772600874834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 55544308 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10819352 memory=6935649255861544529 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 5 13237 0 0 0 0 5 3 20 0 15 0 55544310 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10819352 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 13 13237 0 0 0 0 5 3 20 0 15 0 55544310 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772060230944 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544310 11079016448 21648 33554432000 4194304 4196468 140728154307136 139771456251504 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11079016448 21648 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 939 13237 0 0 7 0 5 3 20 0 15 0 55544313 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 616 13237 0 0 9 0 5 3 20 0 15 0 55544313 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 651 13237 0 0 13 0 5 3 20 0 15 0 55544313 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11079016448 21648 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544314 11079016448 21648 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86592 KiB
[startup+1.5007 s]
/proc/loadavg: 1.62 1.68 1.80 3/217 18760
/proc/meminfo: memFree=24804476/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=10834252 memory=218796 CPUtime=2.74 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 24418 13237 0 0 256 10 5 3 20 0 15 0 55544299 11094274048 54699 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2708563 54699 3477 1 0 2670221 0
[pid=18694/tid=18747] ppid=18691 vsize=10834252 memory=4951091520830867572 CPUtime=1.41 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 16985 13237 0 0 129 4 5 3 20 0 15 0 55544308 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772592416160 139772620620957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10834252 memory=4134606225630022328 CPUtime=0.1 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 55 13237 0 0 2 0 5 3 20 0 15 0 55544308 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10834252 memory=-5153189914156492648 CPUtime=0.1 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 32 13237 0 0 2 0 5 3 20 0 15 0 55544308 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10834252 memory=-7523482799008355997 CPUtime=0.1 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 181 13237 0 0 2 0 5 3 20 0 15 0 55544308 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10834252 memory=126368 CPUtime=0.1 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 39 13237 0 0 1 1 5 3 20 0 15 0 55544308 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 56 13237 0 0 1 0 5 3 20 0 15 0 55544310 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 13 13237 0 0 0 0 5 3 20 0 15 0 55544310 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772060231008 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10834252 memory=279900871262496 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 2 13237 0 0 0 0 5 3 20 0 15 0 55544310 11094274048 54699 33554432000 4194304 4196468 140728154307136 139771456251520 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10834252 memory=279900871677440 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11094274048 54699 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10834252 memory=139950435640960 CPUtime=0.46 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 1957 13237 0 0 38 0 5 3 20 0 15 0 55544313 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10834252 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 1534 13237 0 0 40 0 5 3 20 0 15 0 55544313 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10834252 memory=1200 CPUtime=0.43 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 1370 13237 0 0 35 0 5 3 20 0 15 0 55544313 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10834252 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11094274048 54699 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10834252 memory=11368 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1 13237 0 0 0 0 5 3 20 0 15 0 55544314 11094274048 54699 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 93487 13237 0 0 237021 34 5 3 20 0 15 0 55544308 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772592416368 139772216508145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10916192 memory=926736 CPUtime=5.1 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 13384 13237 0 0 477 25 5 3 20 0 15 0 55544308 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10916192 memory=926796 CPUtime=5.12 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 10875 13237 0 0 478 26 5 3 20 0 15 0 55544308 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10916192 memory=279900873276064 CPUtime=5.08 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 8568 13237 0 0 472 28 5 3 20 0 15 0 55544308 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10916192 memory=928844 CPUtime=5.1 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 12853 13237 0 0 473 29 5 3 20 0 15 0 55544308 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10916192 memory=928844 CPUtime=4.74 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 14517 13237 0 0 444 22 5 3 20 0 15 0 55544310 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10916192 memory=926716 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 20 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772060231008 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10916192 memory=715 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232211 33554432000 4194304 4196468 140728154307136 139771456251520 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10916192 memory=279900872976704 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232211 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10916192 memory=926736 CPUtime=7.23 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 59201 13237 0 0 710 5 5 3 20 0 15 0 55544313 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10916192 memory=928844 CPUtime=6.85 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 50862 13237 0 0 671 6 5 3 20 0 15 0 55544313 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10916192 memory=928844 CPUtime=2.41 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 40437 13237 0 0 227 6 5 3 20 0 15 0 55544313 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10916192 memory=640 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232211 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10916192 memory=926796 CPUtime=1.19 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1294 13237 0 0 60 51 5 3 20 0 15 0 55544314 11178180608 232211 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 2412.82 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 928844 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.41 1.41 3/216 18964
/proc/meminfo: memFree=25837172/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=10916192 memory=928916 CPUtime=2473.15 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 310184 13237 0 0 247101 206 5 3 20 0 15 0 55544299 11178180608 232229 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2729048 232229 3534 1 0 2690701 0
[pid=18694/tid=18747] ppid=18691 vsize=10916192 memory=928916 CPUtime=2430.4 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 94002 13237 0 0 242998 34 5 3 20 0 15 0 55544308 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772592415680 139772227409879 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10916192 memory=928916 CPUtime=5.19 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 13722 13237 0 0 486 25 5 3 20 0 15 0 55544308 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10916192 memory=928916 CPUtime=5.22 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 10959 13237 0 0 488 26 5 3 20 0 15 0 55544308 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10916192 memory=928844 CPUtime=5.19 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 8682 13237 0 0 482 29 5 3 20 0 15 0 55544308 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10916192 memory=928888 CPUtime=5.2 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 12875 13237 0 0 483 29 5 3 20 0 15 0 55544308 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10916192 memory=928916 CPUtime=4.83 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 14710 13237 0 0 453 22 5 3 20 0 15 0 55544310 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10916192 memory=928916 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 20 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772060231008 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10916192 memory=928916 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232229 33554432000 4194304 4196468 140728154307136 139771456251520 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10916192 memory=928916 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232229 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10916192 memory=928916 CPUtime=7.24 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 59825 13237 0 0 711 5 5 3 20 0 15 0 55544313 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10916192 memory=928844 CPUtime=6.86 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 50975 13237 0 0 672 6 5 3 20 0 15 0 55544313 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10916192 memory=928916 CPUtime=2.41 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 40898 13237 0 0 227 6 5 3 20 0 15 0 55544313 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10916192 memory=928916 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232229 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10916192 memory=6791534058613427641 CPUtime=1.22 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1313 13237 0 0 62 52 5 3 20 0 15 0 55544314 11178180608 232229 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 2473.15 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 928916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.9 s]
/proc/loadavg: 1.22 1.34 1.39 3/216 18965
/proc/meminfo: memFree=25835028/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=10916192 memory=928932 CPUtime=2520.04 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 311170 13237 0 0 251787 209 5 3 20 0 15 0 55544299 11178180608 232233 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2729048 232233 3534 1 0 2690701 0
[pid=18694/tid=18747] ppid=18691 vsize=10916192 memory=279900872699264 CPUtime=2476.81 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 94334 13237 0 0 247639 34 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772592409840 139772227408104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.28 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 13745 13237 0 0 494 26 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.31 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 10982 13237 0 0 496 27 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.27 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 9010 13237 0 0 490 29 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.29 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 12914 13237 0 0 491 30 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10916192 memory=928932 CPUtime=4.91 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 14740 13237 0 0 461 22 5 3 20 0 15 0 55544310 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10916192 memory=928932 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 20 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772060231008 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10916192 memory=928932 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232233 33554432000 4194304 4196468 140728154307136 139771456251520 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10916192 memory=928920 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10916192 memory=928932 CPUtime=7.25 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 59844 13237 0 0 712 5 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10916192 memory=1728 CPUtime=6.87 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 51058 13237 0 0 673 6 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10916192 memory=928932 CPUtime=2.42 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 41003 13237 0 0 228 6 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10916192 memory=928932 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10916192 memory=928932 CPUtime=1.24 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1317 13237 0 0 64 52 5 3 20 0 15 0 55544314 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 928932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.95 s]
# the end of solver process 18694 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.95 s, system=2.13126 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2488.9 s]
/proc/loadavg: 1.22 1.34 1.39 3/216 18965
/proc/meminfo: memFree=25835028/32770624 swapFree=67108860/67108860
[pid=18694] ppid=18691 vsize=10916192 memory=928932 CPUtime=2520.04 cores=0,2,4,6
/proc/18694/stat : 18694 (java) S 18691 18694 17273 0 -1 1077944320 311170 13237 0 0 251787 209 5 3 20 0 15 0 55544299 11178180608 232233 33554432000 4194304 4196468 140728154307136 140728154289680 139772620599031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
/proc/18694/statm: 2729048 232233 3534 1 0 2690701 0
[pid=18694/tid=18747] ppid=18691 vsize=10916192 memory=279900872699264 CPUtime=2476.81 cores=0,2,4,6
/proc/18694/task/18747/stat : 18747 (java) R 18691 18694 17273 0 -1 4202560 94334 13237 0 0 247639 34 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772592409840 139772227408104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18748] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.28 cores=0,2,4,6
/proc/18694/task/18748/stat : 18748 (java) S 18691 18694 17273 0 -1 1077944384 13745 13237 0 0 494 26 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772624841104 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18749] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.31 cores=0,2,4,6
/proc/18694/task/18749/stat : 18749 (java) S 18691 18694 17273 0 -1 1077944384 10982 13237 0 0 496 27 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772539660560 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18750] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.27 cores=0,2,4,6
/proc/18694/task/18750/stat : 18750 (java) S 18691 18694 17273 0 -1 1077944384 9010 13237 0 0 490 29 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772538608272 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18751] ppid=18691 vsize=10916192 memory=928932 CPUtime=5.29 cores=0,2,4,6
/proc/18694/task/18751/stat : 18751 (java) S 18691 18694 17273 0 -1 1077944384 12914 13237 0 0 491 30 5 3 20 0 15 0 55544308 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772537555472 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18752] ppid=18691 vsize=10916192 memory=928932 CPUtime=4.91 cores=0,2,4,6
/proc/18694/task/18752/stat : 18752 (java) S 18691 18694 17273 0 -1 1077944384 14740 13237 0 0 461 22 5 3 20 0 15 0 55544310 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772147194480 139772620610178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18753] ppid=18691 vsize=10916192 memory=928932 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18753/stat : 18753 (java) S 18691 18694 17273 0 -1 1077944384 20 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772060231008 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18754] ppid=18691 vsize=10916192 memory=928932 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18754/stat : 18754 (java) S 18691 18694 17273 0 -1 1077944384 9 13237 0 0 0 0 5 3 20 0 15 0 55544310 11178180608 232233 33554432000 4194304 4196468 140728154307136 139771456251520 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18755] ppid=18691 vsize=10916192 memory=928920 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18755/stat : 18755 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139771148851792 139772620617627 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18756] ppid=18691 vsize=10916192 memory=928932 CPUtime=7.25 cores=0,2,4,6
/proc/18694/task/18756/stat : 18756 (java) S 18691 18694 17273 0 -1 1077944384 59844 13237 0 0 712 5 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772146141296 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18757] ppid=18691 vsize=10916192 memory=1728 CPUtime=6.87 cores=0,2,4,6
/proc/18694/task/18757/stat : 18757 (java) S 18691 18694 17273 0 -1 1077944384 51058 13237 0 0 673 6 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772145088496 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18758] ppid=18691 vsize=10916192 memory=928932 CPUtime=2.42 cores=0,2,4,6
/proc/18694/task/18758/stat : 18758 (java) S 18691 18694 17273 0 -1 1077944384 41003 13237 0 0 228 6 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772144036208 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18759] ppid=18691 vsize=10916192 memory=928932 CPUtime=0.08 cores=0,2,4,6
/proc/18694/task/18759/stat : 18759 (java) S 18691 18694 17273 0 -1 1077944384 3 13237 0 0 0 0 5 3 20 0 15 0 55544313 11178180608 232233 33554432000 4194304 4196468 140728154307136 139771115293152 139772620609237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
[pid=18694/tid=18760] ppid=18691 vsize=10916192 memory=928932 CPUtime=1.24 cores=0,2,4,6
/proc/18694/task/18760/stat : 18760 (java) S 18691 18694 17273 0 -1 1077944384 1317 13237 0 0 64 52 5 3 20 0 15 0 55544314 11178180608 232233 33554432000 4194304 4196468 140728154307136 139772142984112 139772620610178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36319232 140728154310827 140728154314076 140728154314076 140728154316751 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 928932 KiB
Child status: 143
Real time (s): 2488.95
CPU time (s): 2520.09
CPU user time (s): 2517.95
CPU system time (s): 2.13126
CPU usage (%): 101.251
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 1149928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.95
system time used= 2.13126
maximum resident set size= 1151476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 153269
involuntary context switches= 5688
# summary of solver processes directly reported to runsolver:
# pid: 18694
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.95
# total CPU system time (s): 2.13126
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0039 second user time and 24.4855 second system time
The end