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 (6470 MiB free)
memory of node 1: 16384 MiB (5425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304931-1534068759/watcher-4304931-1534068759 -o /tmp/evaluation-result-4304931-1534068759/solver-4304931-1534068759 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1002407548 HOME/instance-4304931-1534068759.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
solver pid=21654, runsolver pid=21651
Current StackSize limit: 8192 KiB
[startup+0.100113 s]*
/proc/loadavg: 1.31 1.46 1.46 5/206 21711
/proc/meminfo: memFree=12172904/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=10021560 memory=17336 CPUtime=0.08 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 4515 12841 0 0 1 0 5 2 20 0 6 0 224439145 10262077440 4334 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2505390 4334 1957 1 0 2493828 0
[pid=21654/tid=21707] ppid=21651 vsize=10022588 memory=4279135704013701262 CPUtime=0.08 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) S 21651 21654 20569 0 -1 1077944384 2329 12841 0 0 1 0 5 2 20 0 7 0 224439154 10263130112 4400 33554432000 4194304 4196468 140730069786784 140409768737408 140409796904661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=10088124 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 7 0 224439155 10330238976 4400 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=10088124 memory=140576576816768 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 7 0 224439155 10330238976 4400 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 7 0 224439155 10330238976 4400 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 7 0 224439155 10330238976 4400 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=10088124 memory=140576576816768 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 7 0 224439156 10330238976 4400 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 17336 KiB
[startup+0.210496 s]*
/proc/loadavg: 1.31 1.46 1.46 4/215 21720
/proc/meminfo: memFree=12141848/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=10985364 memory=47288 CPUtime=0.25 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 8475 12841 0 0 16 2 5 2 20 0 15 0 224439145 11249012736 11822 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2746341 11822 2983 1 0 2708764 0
[pid=21654/tid=21707] ppid=21651 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) R 21651 21654 20569 0 -1 4202560 5156 12841 0 0 10 1 5 2 20 0 15 0 224439154 11249012736 11954 33554432000 4194304 4196468 140730069786784 140409768719264 140409789574173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=10985364 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439155 11249012736 11954 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=10985364 memory=140576578016008 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439155 11249012736 11954 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439155 11249012736 12020 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439155 11249012736 12020 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=10985364 memory=140576576816768 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439156 11249012736 12020 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 13 12841 0 0 0 0 5 2 20 0 15 0 224439157 11249012736 12020 33554432000 4194304 4196468 140730069786784 140408601437472 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439157 11249012736 12086 33554432000 4194304 4196468 140730069786784 140408453588592 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11249012736 12086 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) S 21651 21654 20569 0 -1 1077944384 541 12841 0 0 1 0 5 2 20 0 15 0 224439160 11249012736 12086 33554432000 4194304 4196468 140730069786784 140409221814384 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) S 21651 21654 20569 0 -1 1077944384 71 12841 0 0 0 0 5 2 20 0 15 0 224439160 11249012736 12086 33554432000 4194304 4196468 140730069786784 140409220761584 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=10985364 memory=140576576816768 CPUtime=0.1 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 611 12841 0 0 3 0 5 2 20 0 15 0 224439160 11249012736 12086 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11249012736 12092 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=10985364 memory=140576576816768 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439160 11249012736 11734 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 47288 KiB
[startup+0.310254 s]*
/proc/loadavg: 1.31 1.46 1.46 3/215 21720
/proc/meminfo: memFree=12130540/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=10983192 memory=56404 CPUtime=0.38 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 10599 12841 0 0 28 3 5 2 20 0 15 0 224439145 11246788608 14101 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2745798 14101 3102 1 0 2708109 0
[pid=21654/tid=21707] ppid=21651 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) R 21651 21654 20569 0 -1 4202560 7148 12841 0 0 19 2 5 2 20 0 15 0 224439154 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409768706464 140409780974942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439156 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 13 12841 0 0 0 0 5 2 20 0 15 0 224439157 11246788608 14101 33554432000 4194304 4196468 140730069786784 140408601437472 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439157 11246788608 14101 33554432000 4194304 4196468 140730069786784 140408453588592 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11246788608 14101 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) S 21651 21654 20569 0 -1 1077944384 541 12841 0 0 1 0 5 2 20 0 15 0 224439160 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409221814384 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) S 21651 21654 20569 0 -1 1077944384 72 12841 0 0 1 0 5 2 20 0 15 0 224439160 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409220761584 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=10983192 memory=140576576816768 CPUtime=0.11 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 617 12841 0 0 4 0 5 2 20 0 15 0 224439160 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11246788608 14101 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=10983192 memory=140576576816768 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439160 11246788608 14101 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56404 KiB
[startup+0.700697 s]
/proc/loadavg: 1.31 1.46 1.46 3/215 21720
/proc/meminfo: memFree=12119872/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=10983192 memory=88680 CPUtime=0.99 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 16779 12841 0 0 87 5 5 2 20 0 15 0 224439145 11246788608 22170 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2745798 22170 3247 1 0 2708109 0
[pid=21654/tid=21707] ppid=21651 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) R 21651 21654 20569 0 -1 4202560 12297 12841 0 0 55 4 5 2 20 0 15 0 224439154 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409768715280 140409782060103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439155 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=10983192 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 5 12841 0 0 0 0 5 2 20 0 15 0 224439156 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=10983192 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 13 12841 0 0 0 0 5 2 20 0 15 0 224439157 11246788608 22170 33554432000 4194304 4196468 140730069786784 140408601437472 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439157 11246788608 22170 33554432000 4194304 4196468 140730069786784 140408453588592 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11246788608 22170 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) S 21651 21654 20569 0 -1 1077944384 1096 12841 0 0 9 0 5 2 20 0 15 0 224439160 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409221814384 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) S 21651 21654 20569 0 -1 1077944384 472 12841 0 0 7 0 5 2 20 0 15 0 224439160 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409220761584 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 689 12841 0 0 13 0 5 2 20 0 15 0 224439160 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11246788608 22170 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439160 11246788608 22170 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88680 KiB
[startup+1.5095 s]
/proc/loadavg: 1.31 1.46 1.46 3/215 21720
/proc/meminfo: memFree=12073788/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=10991948 memory=236352 CPUtime=3.17 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 23272 12841 0 0 301 9 5 2 20 0 15 0 224439145 11255754752 59088 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2747987 59088 3479 1 0 2709645 0
[pid=21654/tid=21707] ppid=21651 vsize=10991948 memory=-5153075247754915967 CPUtime=1.44 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) R 21651 21654 20569 0 -1 4202560 15006 12841 0 0 131 6 5 2 20 0 15 0 224439154 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409768725792 140409345328291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=10991948 memory=-9108342670015380890 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 95 12841 0 0 0 0 5 2 20 0 15 0 224439155 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=10991948 memory=6720696446780543624 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 8 12841 0 0 0 0 5 2 20 0 15 0 224439155 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=10991948 memory=-5153075247754915967 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 8 12841 0 0 0 0 5 2 20 0 15 0 224439155 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=10991948 memory=126304 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 227 12841 0 0 0 0 5 2 20 0 15 0 224439155 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 95 12841 0 0 0 0 5 2 20 0 15 0 224439156 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 13 12841 0 0 0 0 5 2 20 0 15 0 224439157 11255754752 59088 33554432000 4194304 4196468 140730069786784 140408601437472 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=10991948 memory=281152854230720 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 2 12841 0 0 0 0 5 2 20 0 15 0 224439157 11255754752 59088 33554432000 4194304 4196468 140730069786784 140408453588592 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=10991948 memory=281152854644944 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11255754752 59088 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=10991948 memory=140576427125072 CPUtime=0.69 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) R 21651 21654 20569 0 -1 4202560 2426 12841 0 0 62 0 5 2 20 0 15 0 224439160 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409221800480 140409780800621 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=10991948 memory=140576576819281 CPUtime=0.67 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) R 21651 21654 20569 0 -1 4202560 1711 12841 0 0 60 0 5 2 20 0 15 0 224439160 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409220753232 140409782958592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=10991948 memory=8017 CPUtime=0.49 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 1482 12841 0 0 42 0 5 2 20 0 15 0 224439160 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=10991948 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11255754752 59088 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1 12841 0 0 0 0 5 2 20 0 15 0 224439160 11255754752 59088 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
################
# More data... #
################
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 18112 12841 0 0 135 4 5 2 20 0 15 0 224439156 11272552448 798710 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=11008352 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 20 12841 0 0 0 0 5 2 20 0 15 0 224439157 11272552448 798710 33554432000 4194304 4196468 140730069786784 140408601437536 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=11008352 memory=860 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 9 12841 0 0 0 0 5 2 20 0 15 0 224439157 11272552448 798710 33554432000 4194304 4196468 140730069786784 140408453588608 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=11008352 memory=12604 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11272552448 798710 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=11008352 memory=756 CPUtime=3.32 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) S 21651 21654 20569 0 -1 1077944384 8670 12841 0 0 322 3 5 2 20 0 15 0 224439160 11272552448 798710 33554432000 4194304 4196468 140730069786784 140409221814384 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=11008352 memory=1624 CPUtime=3.11 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) S 21651 21654 20569 0 -1 1077944384 5978 12841 0 0 302 2 5 2 20 0 15 0 224439160 11272552448 798710 33554432000 4194304 4196468 140730069786784 140409220761584 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=11008352 memory=1836 CPUtime=1.74 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 10074 12841 0 0 163 4 5 2 20 0 15 0 224439160 11272552448 798710 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=11008352 memory=1132 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 15 0 224439160 11272552448 798710 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=11008352 memory=6648 CPUtime=1.51 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1785 12841 0 0 64 80 5 2 20 0 15 0 224439160 11272552448 798710 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 3194840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2485.43 s]
# the end of solver process 21654 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.1 s, system=3.96745 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2484.8 s]
/proc/loadavg: 2.25 1.84 1.73 3/219 22054
/proc/meminfo: memFree=8875120/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=11270504 memory=3199032 CPUtime=2521.41 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 348010 12841 0 0 251743 391 5 2 20 0 17 0 224439145 11540996096 799758 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2817626 799758 3522 1 0 2779279 0
[pid=21654/tid=21707] ppid=21651 vsize=11270504 memory=14204 CPUtime=2474.32 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) R 21651 21654 20569 0 -1 4202560 123238 12841 0 0 247378 47 5 2 20 0 17 0 224439154 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409768728768 140409354474663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=11270504 memory=0 CPUtime=9.14 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 48542 12841 0 0 840 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=11270504 memory=7593460743201175361 CPUtime=9.1 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 42473 12841 0 0 836 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=11270504 memory=-6010757748217335745 CPUtime=9.17 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 43234 12841 0 0 843 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=11270504 memory=6791534058613427641 CPUtime=9.08 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 43555 12841 0 0 835 66 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=11270504 memory=2212 CPUtime=1.46 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 18112 12841 0 0 135 4 5 2 20 0 17 0 224439156 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=11270504 memory=3988 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 20 12841 0 0 0 0 5 2 20 0 17 0 224439157 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408601437536 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=11270504 memory=2048 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 9 12841 0 0 0 0 5 2 20 0 17 0 224439157 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408453588608 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=11270504 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 73 12841 0 0 0 0 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=11270504 memory=2704 CPUtime=3.32 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) S 21651 21654 20569 0 -1 1077944384 8670 12841 0 0 322 3 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409221814384 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=11270504 memory=2612 CPUtime=3.11 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) S 21651 21654 20569 0 -1 1077944384 5978 12841 0 0 302 2 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409220761584 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=11270504 memory=1408 CPUtime=1.74 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 10074 12841 0 0 163 4 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=11270504 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=11270504 memory=8099842034285832549 CPUtime=1.51 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1785 12841 0 0 64 80 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=22053] ppid=21651 vsize=11270504 memory=7596282115741279081 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/22053/stat : 22053 (java) S 21651 21654 20569 0 -1 1077944384 33 12841 0 0 0 0 5 2 20 0 17 0 224687486 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407514063344 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=22054] ppid=21651 vsize=11270504 memory=7662420020830431339 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/22054/stat : 22054 (java) S 21651 21654 20569 0 -1 1077944384 17 12841 0 0 0 0 5 2 20 0 17 0 224687486 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407312738144 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 2521.41 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3199032 KiB
[startup+2485.2 s]
/proc/loadavg: 2.25 1.84 1.73 3/219 22054
/proc/meminfo: memFree=8872916/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=11270504 memory=3199032 CPUtime=2521.82 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 348010 12841 0 0 251784 391 5 2 20 0 17 0 224439145 11540996096 799758 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2817626 799758 3522 1 0 2779279 0
[pid=21654/tid=21707] ppid=21651 vsize=11270504 memory=756 CPUtime=2474.72 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) R 21651 21654 20569 0 -1 4202560 123238 12841 0 0 247418 47 5 2 20 0 17 0 224439154 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409768728768 140409347482350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=11270504 memory=1624 CPUtime=9.14 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 48542 12841 0 0 840 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=11270504 memory=1836 CPUtime=9.1 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 42473 12841 0 0 836 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=11270504 memory=3199032 CPUtime=9.17 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 43234 12841 0 0 843 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=11270504 memory=14694093276057294 CPUtime=9.08 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 43555 12841 0 0 835 66 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=11270504 memory=912 CPUtime=1.46 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 18112 12841 0 0 135 4 5 2 20 0 17 0 224439156 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=11270504 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 20 12841 0 0 0 0 5 2 20 0 17 0 224439157 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408601437536 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=11270504 memory=2704 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 9 12841 0 0 0 0 5 2 20 0 17 0 224439157 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408453588608 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=11270504 memory=2612 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 73 12841 0 0 0 0 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=11270504 memory=1408 CPUtime=3.32 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) S 21651 21654 20569 0 -1 1077944384 8670 12841 0 0 322 3 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409221814384 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=11270504 memory=3232 CPUtime=3.11 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) S 21651 21654 20569 0 -1 1077944384 5978 12841 0 0 302 2 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409220761584 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=11270504 memory=3194840 CPUtime=1.74 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 10074 12841 0 0 163 4 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=11270504 memory=4104 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=11270504 memory=1408 CPUtime=1.51 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1785 12841 0 0 64 80 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=22053] ppid=21651 vsize=11270504 memory=2748 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/22053/stat : 22053 (java) S 21651 21654 20569 0 -1 1077944384 33 12841 0 0 0 0 5 2 20 0 17 0 224687486 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407514063344 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=22054] ppid=21651 vsize=11270504 memory=739512 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/22054/stat : 22054 (java) S 21651 21654 20569 0 -1 1077944384 17 12841 0 0 0 0 5 2 20 0 17 0 224687486 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407312738144 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 2521.82 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3199032 KiB
[startup+2485.4 s]
/proc/loadavg: 2.25 1.84 1.73 3/219 22054
/proc/meminfo: memFree=8872916/32770624 swapFree=67108496/67108860
[pid=21654] ppid=21651 vsize=11270504 memory=3199032 CPUtime=2522.02 cores=1,3,5,7
/proc/21654/stat : 21654 (java) S 21651 21654 20569 0 -1 1077944320 348010 12841 0 0 251804 391 5 2 20 0 17 0 224439145 11540996096 799758 33554432000 4194304 4196468 140730069786784 140730069769328 140409796894455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
/proc/21654/statm: 2817626 799758 3522 1 0 2779279 0
[pid=21654/tid=21707] ppid=21651 vsize=11270504 memory=290763857956438330 CPUtime=2474.92 cores=1,3,5,7
/proc/21654/task/21707/stat : 21707 (java) R 21651 21654 20569 0 -1 4202560 123238 12841 0 0 247438 47 5 2 20 0 17 0 224439154 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409768728768 140409347482350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21708] ppid=21651 vsize=11270504 memory=14694093276057294 CPUtime=9.14 cores=1,3,5,7
/proc/21654/task/21708/stat : 21708 (java) S 21651 21654 20569 0 -1 1077944384 48542 12841 0 0 840 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409801136528 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21709] ppid=21651 vsize=11270504 memory=4000 CPUtime=9.1 cores=1,3,5,7
/proc/21654/task/21709/stat : 21709 (java) S 21651 21654 20569 0 -1 1077944384 42473 12841 0 0 836 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409666472208 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21710] ppid=21651 vsize=11270504 memory=14204 CPUtime=9.17 cores=1,3,5,7
/proc/21654/task/21710/stat : 21710 (java) S 21651 21654 20569 0 -1 1077944384 43234 12841 0 0 843 67 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409665419920 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21711] ppid=21651 vsize=11270504 memory=34192 CPUtime=9.08 cores=1,3,5,7
/proc/21654/task/21711/stat : 21711 (java) S 21651 21654 20569 0 -1 1077944384 43555 12841 0 0 835 66 5 2 20 0 17 0 224439155 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409664367120 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21712] ppid=21651 vsize=11270504 memory=1180 CPUtime=1.46 cores=1,3,5,7
/proc/21654/task/21712/stat : 21712 (java) S 21651 21654 20569 0 -1 1077944384 18112 12841 0 0 135 4 5 2 20 0 17 0 224439156 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409222867568 140409796905602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21713] ppid=21651 vsize=11270504 memory=504 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21713/stat : 21713 (java) S 21651 21654 20569 0 -1 1077944384 20 12841 0 0 0 0 5 2 20 0 17 0 224439157 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408601437536 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21714] ppid=21651 vsize=11270504 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21714/stat : 21714 (java) S 21651 21654 20569 0 -1 1077944384 9 12841 0 0 0 0 5 2 20 0 17 0 224439157 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408453588608 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21715] ppid=21651 vsize=11270504 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21715/stat : 21715 (java) S 21651 21654 20569 0 -1 1077944384 73 12841 0 0 0 0 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140408146188880 140409796913051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21716] ppid=21651 vsize=11270504 memory=2288 CPUtime=3.32 cores=1,3,5,7
/proc/21654/task/21716/stat : 21716 (java) S 21651 21654 20569 0 -1 1077944384 8670 12841 0 0 322 3 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409221814384 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21717] ppid=21651 vsize=11270504 memory=932 CPUtime=3.11 cores=1,3,5,7
/proc/21654/task/21717/stat : 21717 (java) S 21651 21654 20569 0 -1 1077944384 5978 12841 0 0 302 2 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409220761584 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21718] ppid=21651 vsize=11270504 memory=1564 CPUtime=1.74 cores=1,3,5,7
/proc/21654/task/21718/stat : 21718 (java) S 21651 21654 20569 0 -1 1077944384 10074 12841 0 0 163 4 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409219709296 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21719] ppid=21651 vsize=11270504 memory=2212 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/21719/stat : 21719 (java) S 21651 21654 20569 0 -1 1077944384 3 12841 0 0 0 0 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407715391968 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=21720] ppid=21651 vsize=11270504 memory=4104 CPUtime=1.51 cores=1,3,5,7
/proc/21654/task/21720/stat : 21720 (java) S 21651 21654 20569 0 -1 1077944384 1785 12841 0 0 64 80 5 2 20 0 17 0 224439160 11540996096 799758 33554432000 4194304 4196468 140730069786784 140409218657200 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=22053] ppid=21651 vsize=11270504 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/22053/stat : 22053 (java) S 21651 21654 20569 0 -1 1077944384 33 12841 0 0 0 0 5 2 20 0 17 0 224687486 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407514063344 140409796904661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
[pid=21654/tid=22054] ppid=21651 vsize=11270504 memory=2772 CPUtime=0.07 cores=1,3,5,7
/proc/21654/task/22054/stat : 22054 (java) S 21651 21654 20569 0 -1 1077944384 17 12841 0 0 0 0 5 2 20 0 17 0 224687486 11540996096 799758 33554432000 4194304 4196468 140730069786784 140407312738144 140409796905602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12931072 140730069789292 140730069792092 140730069792092 140730069794767 0
Current children cumulated CPU time: 2522.02 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3199032 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2485.43
CPU time (s): 2522.07
CPU user time (s): 2518.1
CPU system time (s): 3.96745
CPU usage (%): 101.474
Max. virtual memory (cumulated for all children) (KiB): 11270504
Max. memory (cumulated for all children) (KiB): 3199032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.1
system time used= 3.96745
maximum resident set size= 3199900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61751
involuntary context switches= 1285
# summary of solver processes directly reported to runsolver:
# pid: 21654
# total CPU time (s): 2522.07
# total CPU user time (s): 2518.1
# total CPU system time (s): 3.96745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5714 second user time and 24.9581 second system time
The end