runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481763-1307576967/watcher-3481763-1307576967 -o /tmp/evaluation-result-3481763-1307576967/solver-3481763-1307576967 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481763-1307576967.opb -seed 823630656 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 1.87 1.01 3/650 23551
/proc/meminfo: memFree=21457828/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/23551/stat : 23551 (python) R 23549 23551 23102 0 -1 4202496 1038 0 0 0 0 0 0 0 25 0 1 0 869293874 16625664 910 33554432000 4194304 5683644 140737075405536 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23551/statm: 4059 910 380 364 0 546 0
[startup+0.040419 s]
/proc/loadavg: 2.23 1.87 1.01 3/650 23551
/proc/meminfo: memFree=21457828/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/23551/stat : 23551 (python) R 23549 23551 23102 0 -1 4202496 1278 0 0 0 1 0 0 0 25 0 1 0 869293874 19337216 1131 33554432000 4194304 5683644 140737075405536 18446744073709551615 4867501 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23551/statm: 4721 1131 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.10045 s]
/proc/loadavg: 2.23 1.87 1.01 3/650 23551
/proc/meminfo: memFree=21457828/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=85616 CPUtime=0.05 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 2663 0 0 0 4 1 0 0 25 0 1 0 869293874 87670784 2381 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/23551/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300384 s]
/proc/loadavg: 2.23 1.87 1.01 3/650 23551
/proc/meminfo: memFree=21457828/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=123736 CPUtime=0.19 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 5356 932 1 0 13 6 0 0 17 0 1 0 869293874 126705664 3743 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476690949 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/23551/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123736
[startup+0.700313 s]
/proc/loadavg: 2.23 1.87 1.01 3/650 23551
/proc/meminfo: memFree=21457828/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=285440 CPUtime=0.45 cores=0,2,4,6
/proc/23551/stat : 23551 (python) R 23549 23551 23102 0 -1 4202496 9822 932 1 0 33 12 0 0 16 0 1 0 869293874 292290560 7685 33554432000 4194304 5683644 140737075405536 18446744073709551615 47876615809362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23551/statm: 71360 7685 1781 364 0 6253 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 285440
[startup+1.50116 s]
/proc/loadavg: 2.23 1.87 1.01 3/651 23556
/proc/meminfo: memFree=21419628/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=300900 CPUtime=1.24 cores=0,2,4,6
/proc/23551/stat : 23551 (python) R 23549 23551 23102 0 -1 4202496 16933 932 1 0 112 12 0 0 16 0 1 0 869293874 308121600 11573 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476350399 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/23551/statm: 75225 11573 1816 364 0 10118 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 300900
[startup+3.10086 s]
/proc/loadavg: 2.23 1.87 1.01 3/654 23559
/proc/meminfo: memFree=21400756/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=312876 CPUtime=1.7 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 17644 932 1 0 157 13 0 0 19 0 2 0 869293874 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23551/statm: 78219 12058 1870 364 0 13106 0
[pid=23557] ppid=23551 vsize=302632 CPUtime=0 cores=0,2,4,6
/proc/23557/stat : 23557 (python) S 23551 23551 23102 0 -1 4202560 735 0 0 0 0 0 0 0 17 0 1 0 869294069 309895168 10535 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476715023 0 0 16781312 33554946 4417496291978739969 0 0 17 6 0 0 0
/proc/23557/statm: 75658 10535 351 364 0 10545 0
[pid=23559] ppid=23557 vsize=10832 CPUtime=1.14 cores=0,2,4,6
/proc/23559/stat : 23559 (wbo1.4a) R 23557 23559 23559 0 -1 4202496 6839 0 0 0 114 0 0 0 22 0 1 0 869294069 11091968 2236 33554432000 134512640 135751879 4290593088 18446744073709551615 135204837 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23559/statm: 2708 2236 142 303 0 2403 0
[pid=23551/tid=23558] ppid=23549 vsize=312876 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (python) S 23549 23551 23102 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869294069 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 626340
[startup+6.30125 s]
/proc/loadavg: 2.45 1.92 1.03 3/654 23559
/proc/meminfo: memFree=21394560/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=312876 CPUtime=1.7 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 17644 932 1 0 157 13 0 0 19 0 2 0 869293874 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23551/statm: 78219 12058 1870 364 0 13106 0
[pid=23557] ppid=23551 vsize=302632 CPUtime=0.02 cores=0,2,4,6
/proc/23557/stat : 23557 (python) S 23551 23551 23102 0 -1 4202560 891 0 0 0 1 1 0 0 15 0 1 0 869294069 309895168 10559 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476715023 0 0 16781312 33554946 774080413864788225 0 0 17 6 0 0 0
/proc/23557/statm: 75658 10559 375 364 0 10545 0
[pid=23559] ppid=23557 vsize=11228 CPUtime=4.34 cores=0,2,4,6
/proc/23559/stat : 23559 (wbo1.4a) R 23557 23559 23559 0 -1 4202496 18712 0 0 0 433 1 0 0 25 0 1 0 869294069 11497472 2337 33554432000 134512640 135751879 4290593088 18446744073709551615 134637626 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23559/statm: 2807 2337 142 303 0 2502 0
[pid=23551/tid=23558] ppid=23549 vsize=312876 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (python) S 23549 23551 23102 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869294069 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 626736
[startup+12.701 s]
/proc/loadavg: 2.41 1.93 1.03 3/654 23559
/proc/meminfo: memFree=21387772/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=312876 CPUtime=1.7 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 17644 932 1 0 157 13 0 0 19 0 2 0 869293874 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23551/statm: 78219 12058 1870 364 0 13106 0
[pid=23557] ppid=23551 vsize=302632 CPUtime=0.04 cores=0,2,4,6
/proc/23557/stat : 23557 (python) S 23551 23551 23102 0 -1 4202560 896 0 0 0 2 2 0 0 15 0 1 0 869294069 309895168 10559 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476715023 0 0 16781312 33554946 72556772316949387 0 0 17 6 0 0 0
/proc/23557/statm: 75658 10559 375 364 0 10545 0
[pid=23559] ppid=23557 vsize=13044 CPUtime=10.74 cores=0,2,4,6
/proc/23559/stat : 23559 (wbo1.4a) R 23557 23559 23559 0 -1 4202496 40158 0 0 0 1069 5 0 0 25 0 1 0 869294069 13357056 2746 33554432000 134512640 135751879 4290593088 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23559/statm: 3261 2746 142 303 0 2956 0
[pid=23551/tid=23558] ppid=23549 vsize=312876 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (python) S 23549 23551 23102 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869294069 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 628552
[startup+25.5006 s]
/proc/loadavg: 2.32 1.93 1.05 3/654 23560
/proc/meminfo: memFree=21383704/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=312876 CPUtime=1.7 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 17644 932 1 0 157 13 0 0 19 0 2 0 869293874 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23551/statm: 78219 12058 1870 364 0 13106 0
[pid=23557] ppid=23551 vsize=302632 CPUtime=0.11 cores=0,2,4,6
/proc/23557/stat : 23557 (python) S 23551 23551 23102 0 -1 4202560 904 0 0 0 5 6 0 0 15 0 1 0 869294069 309895168 10559 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476715023 0 0 16781312 33554946 72556772316949387 0 0 17 6 0 0 0
/proc/23557/statm: 75658 10559 375 364 0 10545 0
[pid=23559] ppid=23557 vsize=17500 CPUtime=23.54 cores=0,2,4,6
/proc/23559/stat : 23559 (wbo1.4a) R 23557 23559 23559 0 -1 4202496 75990 0 0 0 2344 10 0 0 25 0 1 0 869294069 17920000 3879 33554432000 134512640 135751879 4290593088 18446744073709551615 135200324 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23559/statm: 4375 3879 142 303 0 4070 0
[pid=23551/tid=23558] ppid=23549 vsize=312876 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (python) S 23549 23551 23102 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 2 0 869294069 320385024 12058 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 633008
[startup+51.1016 s]
/proc/loadavg: 2.21 1.93 1.07 3/680 23586
/proc/meminfo: memFree=21189692/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=323132 CPUtime=1.72 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 18549 932 1 0 159 13 0 0 20 0 3 0 869293874 330887168 12065 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/23551/statm: 80783 12065 1873 364 0 15667 0
[pid=23557] ppid=23551 vsize=312876 CPUtime=0.31 cores=0,2,4,6
/proc/23557/stat : 23557 (python) S 23551 23551 23102 0 -1 4202560 1165 0 0 0 17 14 0 0 17 0 2 0 869294069 320385024 10600 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23557/statm: 78219 10600 411 364 0 13106 0
[pid=23559] ppid=23557 vsize=24132 CPUtime=46.98 cores=0,2,4,6
/proc/23559/stat : 23559 (wbo1.4a) T 23557 23559 23559 0 -1 4202496 132802 0 0 0 4675 23 0 0 25 0 1 0 869294069 24711168 5570 33554432000 134512640 135751879 4290593088 18446744073709551615 135202571 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/23559/statm: 6033 5570 146 303 0 5728 0
[pid=23557/tid=23565] ppid=23551 vsize=312876 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23565/stat : 23565 (python) S 23551 23551 23102 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 869298769 320385024 10600 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554946 18446604443696869696 0 0 -1 6 0 0 0
[pid=23566] ppid=23551 vsize=312888 CPUtime=0 cores=0,2,4,6
/proc/23566/stat : 23566 (python) S 23551 23551 23102 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 869298771 320397312 10536 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476715078 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/23566/statm: 78222 10536 348 364 0 13106 0
[pid=23568] ppid=23566 vsize=8538560 CPUtime=3.07 cores=0,2,4,6
/proc/23568/stat : 23568 (java) S 23566 23568 23568 0 -1 4202496 44501 0 1 0 300 7 0 0 20 0 19 0 869298771 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23568/statm: 2134640 40471 2246 9 0 2125381 0
[pid=23568/tid=23569] ppid=23566 vsize=8538560 CPUtime=2.1 cores=0,2,4,6
/proc/23568/task/23569/stat : 23569 (java) R 23566 23568 23568 0 -1 4202560 35219 0 1 0 205 5 0 0 21 0 19 0 869298772 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 46912505944437 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23568/tid=23570] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23570/stat : 23570 (java) S 23566 23568 23568 0 -1 4202560 305 0 0 0 0 0 0 0 16 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 4 0 0 0
[pid=23568/tid=23571] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23571/stat : 23571 (java) S 23566 23568 23568 0 -1 4202560 340 0 0 0 0 0 0 0 17 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 0 0 0 0
[pid=23568/tid=23572] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23572/stat : 23572 (java) S 23566 23568 23568 0 -1 4202560 252 0 0 0 0 0 0 0 18 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 6 0 0 0
[pid=23568/tid=23573] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23573/stat : 23573 (java) S 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 0 0 0 0
[pid=23568/tid=23574] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23574/stat : 23574 (java) S 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 6 0 0 0
[pid=23568/tid=23575] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23575/stat : 23575 (java) S 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 0 0 0 0
[pid=23568/tid=23576] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23576/stat : 23576 (java) S 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 0 0 0 0
[pid=23568/tid=23577] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23577/stat : 23577 (java) S 23566 23568 23568 0 -1 4202560 193 0 0 0 0 0 0 0 19 0 19 0 869298773 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 0 0 0 0
[pid=23568/tid=23578] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23578/stat : 23578 (java) S 23566 23568 23568 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869298774 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488511488 0 0 0 16800975 18446604443171824896 0 0 -1 2 0 0 0
[pid=23568/tid=23579] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23579/stat : 23579 (java) S 23566 23568 23568 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869298774 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 4 0 0 0
[pid=23568/tid=23580] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23580/stat : 23580 (java) S 23566 23568 23568 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 869298774 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 4 0 0 0
[pid=23568/tid=23581] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23581/stat : 23581 (java) S 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869298776 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488518577 0 4 0 16800975 18446604443171824896 0 0 -1 4 0 0 0
[pid=23568/tid=23582] ppid=23566 vsize=8538560 CPUtime=0.47 cores=0,2,4,6
/proc/23568/task/23582/stat : 23582 (java) S 23566 23568 23568 0 -1 4202560 3878 0 0 0 47 0 0 0 15 0 19 0 869298776 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 4 0 0 0
[pid=23568/tid=23583] ppid=23566 vsize=8538560 CPUtime=0.46 cores=0,2,4,6
/proc/23568/task/23583/stat : 23583 (java) S 23566 23568 23568 0 -1 4202560 2910 0 0 0 46 0 0 0 15 0 19 0 869298776 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 2 0 0 0
[pid=23568/tid=23584] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23584/stat : 23584 (java) S 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869298776 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446604443171824896 0 0 -1 0 0 0 0
[pid=23568/tid=23585] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23585/stat : 23585 (java) S 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869298776 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488511488 0 4 0 16800975 18446604443171824896 0 0 -1 6 0 0 0
[pid=23568/tid=23586] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23586/stat : 23586 (java) S 23566 23568 23568 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869298856 8743485440 40471 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488511488 0 4 0 16800975 18446604443171824896 0 0 -1 2 0 0 0
[pid=23551/tid=23558] ppid=23549 vsize=323132 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (python) S 23549 23551 23102 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 3 0 869294069 330887168 12065 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
[pid=23551/tid=23567] ppid=23549 vsize=323132 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23674/stat : 23674 (clasp-1.3.7-x86) T 23672 23674 23674 0 -1 4202496 51480 0 0 0 9232 7 0 0 25 0 1 0 869308011 209367040 50800 33554432000 134512640 136139019 4291641392 18446744073709551615 134833163 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/23674/statm: 51115 50800 187 398 0 50715 0
[pid=23672/tid=23681] ppid=23551 vsize=323144 CPUtime=0 cores=0,2,4,6
/proc/23672/task/23681/stat : 23681 (python) S 23551 23551 23102 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869317251 330899456 10589 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554946 18446604451566219584 0 0 -1 0 0 0 0
[pid=23682] ppid=23551 vsize=333400 CPUtime=0.26 cores=0,2,4,6
/proc/23682/stat : 23682 (python) S 23551 23551 23102 0 -1 4202560 1135 0 0 0 13 13 0 0 16 0 2 0 869317254 341401600 10593 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/23682/statm: 83350 10593 396 364 0 18228 0
[pid=23684] ppid=23682 vsize=538984 CPUtime=48.36 cores=0,2,4,6
/proc/23684/stat : 23684 (pbct-0.1.2-linu) T 23682 23684 23684 0 -1 4202496 136596 0 0 0 4782 54 0 0 25 0 1 0 869317254 551919616 132539 33554432000 134512640 136422188 4286628192 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 6 0 0 0
/proc/23684/statm: 134746 132539 236 467 0 134277 0
[pid=23551/tid=23558] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (python) S 23549 23551 23102 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 6 0 869294069 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
[pid=23551/tid=23567] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23567/stat : 23567 (python) S 23549 23551 23102 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 869298771 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 0 0 0 0
[pid=23551/tid=23673] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23673/stat : 23673 (python) S 23549 23551 23102 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 6 0 869308011 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
[pid=23551/tid=23683] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23683/stat : 23683 (python) S 23549 23551 23102 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 6 0 869317254 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 285.06
Current children cumulated vsize (KiB) 10942344
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+282.602 s]
/proc/loadavg: 2.04 2.03 1.31 6/727 23707
/proc/meminfo: memFree=19328180/32950928 swapFree=67056572/67111528
[pid=23551] ppid=23549 vsize=353900 CPUtime=1.81 cores=0,2,4,6
/proc/23551/stat : 23551 (python) S 23549 23551 23102 0 -1 4202496 21230 932 1 0 167 14 0 0 20 0 6 0 869293874 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/23551/statm: 88475 12083 1879 364 0 23350 0
[pid=23557] ppid=23551 vsize=312876 CPUtime=0.31 cores=0,2,4,6
/proc/23557/stat : 23557 (python) S 23551 23551 23102 0 -1 4202560 1165 0 0 0 17 14 0 0 17 0 2 0 869294069 320385024 10600 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23557/statm: 78219 10600 411 364 0 13106 0
[pid=23559] ppid=23557 vsize=24132 CPUtime=46.98 cores=0,2,4,6
/proc/23559/stat : 23559 (wbo1.4a) T 23557 23559 23559 0 -1 4202496 132802 0 0 0 4675 23 0 0 25 0 1 0 869294069 24711168 5570 33554432000 134512640 135751879 4290593088 18446744073709551615 135202571 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/23559/statm: 6033 5570 146 303 0 5728 0
[pid=23557/tid=23565] ppid=23551 vsize=312876 CPUtime=0 cores=0,2,4,6
/proc/23557/task/23565/stat : 23565 (python) S 23551 23551 23102 0 -1 4202560 40 0 0 0 0 0 0 0 17 0 2 0 869298769 320385024 10600 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554946 18446604443696869696 0 0 -1 6 0 0 0
[pid=23566] ppid=23551 vsize=312888 CPUtime=0.47 cores=0,2,4,6
/proc/23566/stat : 23566 (python) S 23551 23551 23102 0 -1 4202560 1129 0 0 0 24 23 0 0 16 0 2 0 869298771 320397312 10585 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23566/statm: 78222 10585 396 364 0 13106 0
[pid=23568] ppid=23566 vsize=8538560 CPUtime=94.04 cores=0,2,4,6
/proc/23568/stat : 23568 (java) T 23566 23568 23568 0 -1 4202496 119802 0 1 0 9383 21 0 0 18 0 19 0 869298771 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23568/statm: 2134640 100154 2258 9 0 2125381 0
[pid=23568/tid=23569] ppid=23566 vsize=8538560 CPUtime=91.21 cores=0,2,4,6
/proc/23568/task/23569/stat : 23569 (java) T 23566 23568 23568 0 -1 4202560 35245 0 1 0 9116 5 0 0 25 0 19 0 869298772 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 46912505890875 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23568/tid=23570] ppid=23566 vsize=8538560 CPUtime=0.06 cores=0,2,4,6
/proc/23568/task/23570/stat : 23570 (java) T 23566 23568 23568 0 -1 4202560 7995 0 0 0 5 1 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23568/tid=23571] ppid=23566 vsize=8538560 CPUtime=0.1 cores=0,2,4,6
/proc/23568/task/23571/stat : 23571 (java) T 23566 23568 23568 0 -1 4202560 5006 0 0 0 10 0 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23568/tid=23572] ppid=23566 vsize=8538560 CPUtime=0.11 cores=0,2,4,6
/proc/23568/task/23572/stat : 23572 (java) T 23566 23568 23568 0 -1 4202560 9265 0 0 0 10 1 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23568/tid=23573] ppid=23566 vsize=8538560 CPUtime=0.07 cores=0,2,4,6
/proc/23568/task/23573/stat : 23573 (java) T 23566 23568 23568 0 -1 4202560 5546 0 0 0 7 0 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23568/tid=23574] ppid=23566 vsize=8538560 CPUtime=0.09 cores=0,2,4,6
/proc/23568/task/23574/stat : 23574 (java) T 23566 23568 23568 0 -1 4202560 8207 0 0 0 8 1 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23568/tid=23575] ppid=23566 vsize=8538560 CPUtime=0.11 cores=0,2,4,6
/proc/23568/task/23575/stat : 23575 (java) T 23566 23568 23568 0 -1 4202560 11541 0 0 0 9 2 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23568/tid=23576] ppid=23566 vsize=8538560 CPUtime=0.09 cores=0,2,4,6
/proc/23568/task/23576/stat : 23576 (java) T 23566 23568 23568 0 -1 4202560 7667 0 0 0 8 1 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23568/tid=23577] ppid=23566 vsize=8538560 CPUtime=0.12 cores=0,2,4,6
/proc/23568/task/23577/stat : 23577 (java) T 23566 23568 23568 0 -1 4202560 12046 0 0 0 10 2 0 0 15 0 19 0 869298773 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23568/tid=23578] ppid=23566 vsize=8538560 CPUtime=0.81 cores=0,2,4,6
/proc/23568/task/23578/stat : 23578 (java) T 23566 23568 23568 0 -1 4202560 8499 0 0 0 81 0 0 0 15 0 19 0 869298774 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23568/tid=23579] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23579/stat : 23579 (java) T 23566 23568 23568 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869298774 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23568/tid=23580] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23580/stat : 23580 (java) T 23566 23568 23568 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869298774 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23568/tid=23581] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23581/stat : 23581 (java) T 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869298776 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23568/tid=23582] ppid=23566 vsize=8538560 CPUtime=0.6 cores=0,2,4,6
/proc/23568/task/23582/stat : 23582 (java) T 23566 23568 23568 0 -1 4202560 4457 0 0 0 59 1 0 0 15 0 19 0 869298776 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23568/tid=23583] ppid=23566 vsize=8538560 CPUtime=0.55 cores=0,2,4,6
/proc/23568/task/23583/stat : 23583 (java) T 23566 23568 23568 0 -1 4202560 2931 0 0 0 55 0 0 0 15 0 19 0 869298776 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23568/tid=23584] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23584/stat : 23584 (java) T 23566 23568 23568 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869298776 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23568/tid=23585] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23585/stat : 23585 (java) T 23566 23568 23568 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869298776 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23568/tid=23586] ppid=23566 vsize=8538560 CPUtime=0 cores=0,2,4,6
/proc/23568/task/23586/stat : 23586 (java) T 23566 23568 23568 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869298856 8743485440 100154 33554432000 1073741824 1073778376 140735216144784 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23566/tid=23671] ppid=23551 vsize=312888 CPUtime=0 cores=0,2,4,6
/proc/23566/task/23671/stat : 23671 (python) S 23551 23551 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869308008 320397312 10585 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554946 18446604448176201984 0 0 -1 6 0 0 0
[pid=23672] ppid=23551 vsize=323144 CPUtime=0.44 cores=0,2,4,6
/proc/23672/stat : 23672 (python) S 23551 23551 23102 0 -1 4202560 1135 0 0 0 22 22 0 0 17 0 2 0 869308010 330899456 10589 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23672/statm: 80786 10589 396 364 0 15667 0
[pid=23674] ppid=23672 vsize=204460 CPUtime=92.39 cores=0,2,4,6
/proc/23674/stat : 23674 (clasp-1.3.7-x86) T 23672 23674 23674 0 -1 4202496 51480 0 0 0 9232 7 0 0 25 0 1 0 869308011 209367040 50800 33554432000 134512640 136139019 4291641392 18446744073709551615 134833163 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/23674/statm: 51115 50800 187 398 0 50715 0
[pid=23672/tid=23681] ppid=23551 vsize=323144 CPUtime=0 cores=0,2,4,6
/proc/23672/task/23681/stat : 23681 (python) S 23551 23551 23102 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869317251 330899456 10589 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554946 18446604451566219584 0 0 -1 0 0 0 0
[pid=23682] ppid=23551 vsize=333400 CPUtime=0.26 cores=0,2,4,6
/proc/23682/stat : 23682 (python) S 23551 23551 23102 0 -1 4202560 1135 0 0 0 13 13 0 0 16 0 2 0 869317254 341401600 10593 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/23682/statm: 83350 10593 396 364 0 18228 0
[pid=23684] ppid=23682 vsize=538984 CPUtime=48.36 cores=0,2,4,6
/proc/23684/stat : 23684 (pbct-0.1.2-linu) T 23682 23684 23684 0 -1 4202496 136596 0 0 0 4782 54 0 0 25 0 1 0 869317254 551919616 132539 33554432000 134512640 136422188 4286628192 18446744073709551615 134862222 0 0 16781312 16387 18446744071562691360 0 0 17 6 0 0 0
/proc/23684/statm: 134746 132539 236 467 0 134277 0
[pid=23682/tid=23687] ppid=23551 vsize=333400 CPUtime=0 cores=0,2,4,6
/proc/23682/task/23687/stat : 23687 (python) S 23551 23551 23102 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869322097 341401600 10593 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554946 18446604445330844352 0 0 -1 6 0 0 0
[pid=23688] ppid=23551 vsize=343656 CPUtime=0 cores=0,2,4,6
/proc/23688/stat : 23688 (python) S 23551 23551 23102 0 -1 4202560 789 0 0 0 0 0 0 0 18 0 1 0 869322099 351903744 10548 33554432000 4194304 5683644 140737075405536 18446744073709551615 239476715078 0 0 16781312 33554946 9620523784360395009 0 0 17 0 0 0 0
/proc/23688/statm: 85914 10548 348 364 0 20789 0
[pid=23690] ppid=23688 vsize=8534516 CPUtime=0.67 cores=0,2,4,6
/proc/23690/stat : 23690 (java) S 23688 23690 23690 0 -1 4202496 13570 0 1 0 65 2 0 0 20 0 18 0 869322100 8739344384 11904 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23690/statm: 2133629 11904 2204 9 0 2124370 0
[pid=23690/tid=23691] ppid=23688 vsize=8534760 CPUtime=0.36 cores=0,2,4,6
/proc/23690/task/23691/stat : 23691 (java) R 23688 23690 23690 0 -1 4202560 8670 0 1 0 35 1 0 0 18 0 18 0 869322101 8739594240 11975 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 46912505629515 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23690/tid=23692] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23692/stat : 23692 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869322101 8739594240 11975 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 2 0 0 0
[pid=23690/tid=23693] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23693/stat : 23693 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869322101 8739594240 11975 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 2 0 0 0
[pid=23690/tid=23694] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23694/stat : 23694 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869322101 8739594240 11975 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 2 0 0 0
[pid=23690/tid=23695] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23695/stat : 23695 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322101 8739594240 11975 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 0 0 0 0
[pid=23690/tid=23696] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23696/stat : 23696 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322101 8739594240 11975 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 0 0 0 0
[pid=23690/tid=23697] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23697/stat : 23697 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322101 8739594240 11975 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 0 0 0 0
[pid=23690/tid=23698] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23698/stat : 23698 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322101 8739594240 11980 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 0 0 0 0
[pid=23690/tid=23699] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23699/stat : 23699 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322101 8739594240 11996 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 0 0 0 0
[pid=23690/tid=23700] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23700/stat : 23700 (java) S 23688 23690 23690 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869322102 8739594240 11996 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488511488 0 0 0 16800975 18446604448176202880 0 0 -1 2 0 0 0
[pid=23690/tid=23701] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23701/stat : 23701 (java) S 23688 23690 23690 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869322103 8739594240 11996 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 2 0 0 0
[pid=23690/tid=23702] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23702/stat : 23702 (java) S 23688 23690 23690 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869322103 8739594240 11996 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 0 0 0 0
[pid=23690/tid=23703] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23703/stat : 23703 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322105 8739594240 12002 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488518577 0 4 0 16800975 18446604448176202880 0 0 -1 2 0 0 0
[pid=23690/tid=23704] ppid=23688 vsize=8534760 CPUtime=0.17 cores=0,2,4,6
/proc/23690/task/23704/stat : 23704 (java) R 23688 23690 23690 0 -1 4202560 2376 0 0 0 17 0 0 0 16 0 18 0 869322105 8739594240 12002 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 47524721249370 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23690/tid=23705] ppid=23688 vsize=8534760 CPUtime=0.14 cores=0,2,4,6
/proc/23690/task/23705/stat : 23705 (java) R 23688 23690 23690 0 -1 4202560 1231 0 0 0 14 0 0 0 16 0 18 0 869322105 8739594240 12002 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 47524720739938 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23690/tid=23706] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23706/stat : 23706 (java) S 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869322105 8739594240 12002 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488510873 0 4 0 16800975 18446604448176202880 0 0 -1 2 0 0 0
[pid=23690/tid=23707] ppid=23688 vsize=8534760 CPUtime=0 cores=0,2,4,6
/proc/23690/task/23707/stat : 23707 (java) R 23688 23690 23690 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869322105 8739594240 12002 33554432000 1073741824 1073778376 140734689656624 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23551/tid=23558] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23558/stat : 23558 (python) S 23549 23551 23102 0 -1 4202560 25 932 0 0 0 0 0 0 19 0 6 0 869294069 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
[pid=23551/tid=23567] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23567/stat : 23567 (python) S 23549 23551 23102 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 6 0 869298771 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 0 0 0 0
[pid=23551/tid=23673] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23673/stat : 23673 (python) S 23549 23551 23102 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 6 0 869308011 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
[pid=23551/tid=23683] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23683/stat : 23683 (python) S 23549 23551 23102 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 6 0 869317254 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 6 0 0 0
[pid=23551/tid=23689] ppid=23549 vsize=353900 CPUtime=0 cores=0,2,4,6
/proc/23551/task/23689/stat : 23689 (python) S 23549 23551 23102 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 6 0 869322100 362393600 12083 33554432000 4194304 5683644 140737075405536 18446744073709551615 239488518577 0 0 16781312 33554434 18446604445330842560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.73
Current children cumulated vsize (KiB) 19820516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23551 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=672745
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=145977
# CPU time returned by wait4() is 1.81872
# while last known CPU time is 285.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 282.739
CPU time (s): 285.73
CPU user time (s): 283.8
CPU system time (s): 1.93
CPU usage (%): 101.058
Max. virtual memory (cumulated for all children) (KiB): 19820516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.67274
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22165
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2867
involuntary context switches= 19
runsolver used 2.12768 second user time and 4.02239 second system time
The end