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-3481542-1307578106/watcher-3481542-1307578106 -o /tmp/evaluation-result-3481542-1307578106/solver-3481542-1307578106 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481542-1307578106.opb -seed 1843381376 -budget 1800
running on 4 cores: 1,3,5,7
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.05 2.13 1.78 2/735 9018
/proc/meminfo: memFree=14667720/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/9018/stat : 9018 (python) R 9016 9018 7805 0 -1 4202496 794 0 0 0 0 0 0 0 20 0 1 0 850226578 15749120 681 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510295552 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/9018/statm: 3845 681 322 364 0 332 0
[startup+0.056748 s]
/proc/loadavg: 2.05 2.13 1.78 2/735 9018
/proc/meminfo: memFree=14667720/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=29436 CPUtime=0.03 cores=1,3,5,7
/proc/9018/stat : 9018 (python) R 9016 9018 7805 0 -1 4202496 1371 0 0 0 3 0 0 0 17 0 1 0 850226578 30142464 1215 33554432000 4194304 5683644 140735473131056 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9018/statm: 7446 1219 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29436
[startup+0.100742 s]
/proc/loadavg: 2.05 2.13 1.78 2/735 9018
/proc/meminfo: memFree=14667720/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/9018/stat : 9018 (python) R 9016 9018 7805 0 -1 4202496 2661 0 0 0 5 1 0 0 17 0 1 0 850226578 87670784 2381 33554432000 4194304 5683644 140735473131056 18446744073709551615 5375376 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9018/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300713 s]
/proc/loadavg: 2.05 2.13 1.78 2/735 9018
/proc/meminfo: memFree=14667720/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=123740 CPUtime=0.18 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 5356 929 1 0 12 6 0 0 16 0 1 0 850226578 126709760 3744 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510293509 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/9018/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700607 s]
/proc/loadavg: 2.05 2.13 1.78 2/735 9018
/proc/meminfo: memFree=14667720/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=275828 CPUtime=0.43 cores=1,3,5,7
/proc/9018/stat : 9018 (python) R 9016 9018 7805 0 -1 4202496 8905 929 1 0 31 12 0 0 15 0 1 0 850226578 282447872 6829 33554432000 4194304 5683644 140735473131056 18446744073709551615 5319745 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/9018/statm: 68957 6832 1727 364 0 5462 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 275828
[startup+1.50046 s]
/proc/loadavg: 2.05 2.13 1.78 3/736 9024
/proc/meminfo: memFree=14637944/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=291440 CPUtime=1.32 cores=1,3,5,7
/proc/9018/stat : 9018 (python) R 9016 9018 7805 0 -1 4202496 14473 1457 1 0 93 19 16 4 16 0 1 0 850226578 298434560 9203 33554432000 4194304 5683644 140735473131056 18446744073709551615 4862068 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/9018/statm: 72860 9203 1817 364 0 7753 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 291440
[startup+3.10118 s]
/proc/loadavg: 2.05 2.13 1.78 3/739 9027
/proc/meminfo: memFree=14551120/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=302348 CPUtime=1.44 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 15295 1457 1 0 105 19 16 4 18 0 2 0 850226578 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 75587 9427 1871 364 0 10474 0
[pid=9025] ppid=9018 vsize=292104 CPUtime=0 cores=1,3,5,7
/proc/9025/stat : 9025 (python) S 9018 9018 7805 0 -1 4202560 719 0 0 0 0 0 0 0 15 0 1 0 850226740 299114496 7870 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510317583 0 0 16781312 33554946 3240931061126922240 0 0 17 7 0 0 0
/proc/9025/statm: 73026 7870 318 364 0 7913 0
[pid=9027] ppid=9025 vsize=102988 CPUtime=1.47 cores=1,3,5,7
/proc/9027/stat : 9027 (scip-2.0.1.linu) R 9025 9027 9027 0 -1 4202496 24167 0 0 0 129 18 0 0 18 0 1 0 850226740 105459712 22881 33554432000 4194304 13684479 140734220134832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9027/statm: 25747 22881 793 2317 0 23425 0
[pid=9018/tid=9026] ppid=9016 vsize=302348 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 25 1457 0 0 0 0 16 4 18 0 2 0 850226740 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 697440
[startup+6.3006 s]
/proc/loadavg: 2.05 2.12 1.78 3/739 9027
/proc/meminfo: memFree=14529448/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=302348 CPUtime=1.44 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 15295 1457 1 0 105 19 16 4 18 0 2 0 850226578 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 75587 9427 1871 364 0 10474 0
[pid=9025] ppid=9018 vsize=292104 CPUtime=0.02 cores=1,3,5,7
/proc/9025/stat : 9025 (python) S 9018 9018 7805 0 -1 4202560 859 0 0 0 1 1 0 0 15 0 1 0 850226740 299114496 7894 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510317583 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/9025/statm: 73026 7894 342 364 0 7913 0
[pid=9027] ppid=9025 vsize=113516 CPUtime=4.67 cores=1,3,5,7
/proc/9027/stat : 9027 (scip-2.0.1.linu) R 9025 9027 9027 0 -1 4202496 27204 0 0 0 440 27 0 0 21 0 1 0 850226740 116240384 25663 33554432000 4194304 13684479 140734220134832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9027/statm: 28379 25663 780 2317 0 26057 0
[pid=9018/tid=9026] ppid=9016 vsize=302348 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 25 1457 0 0 0 0 16 4 18 0 2 0 850226740 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 707968
[startup+12.7004 s]
/proc/loadavg: 2.04 2.12 1.78 3/739 9028
/proc/meminfo: memFree=14508484/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=302348 CPUtime=1.44 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 15295 1457 1 0 105 19 16 4 18 0 2 0 850226578 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 75587 9427 1871 364 0 10474 0
[pid=9025] ppid=9018 vsize=292104 CPUtime=0.05 cores=1,3,5,7
/proc/9025/stat : 9025 (python) S 9018 9018 7805 0 -1 4202560 870 0 0 0 2 3 0 0 15 0 1 0 850226740 299114496 7894 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510317583 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/9025/statm: 73026 7894 342 364 0 7913 0
[pid=9027] ppid=9025 vsize=136592 CPUtime=11.07 cores=1,3,5,7
/proc/9027/stat : 9027 (scip-2.0.1.linu) R 9025 9027 9027 0 -1 4202496 33014 0 0 0 1066 41 0 0 18 0 1 0 850226740 139870208 31438 33554432000 4194304 13684479 140734220134832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9027/statm: 34148 31438 759 2317 0 31826 0
[pid=9018/tid=9026] ppid=9016 vsize=302348 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 25 1457 0 0 0 0 16 4 18 0 2 0 850226740 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 731044
[startup+25.5011 s]
/proc/loadavg: 2.11 2.13 1.79 3/739 9028
/proc/meminfo: memFree=14524868/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=302348 CPUtime=1.44 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 15295 1457 1 0 105 19 16 4 18 0 2 0 850226578 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/9018/statm: 75587 9427 1871 364 0 10474 0
[pid=9025] ppid=9018 vsize=292104 CPUtime=0.12 cores=1,3,5,7
/proc/9025/stat : 9025 (python) S 9018 9018 7805 0 -1 4202560 878 0 0 0 5 7 0 0 15 0 1 0 850226740 299114496 7894 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510317583 0 0 16781312 33554946 2979188194966241280 0 0 17 3 0 0 0
/proc/9025/statm: 73026 7894 342 364 0 7913 0
[pid=9027] ppid=9025 vsize=156460 CPUtime=23.87 cores=1,3,5,7
/proc/9027/stat : 9027 (scip-2.0.1.linu) R 9025 9027 9027 0 -1 4202496 37881 0 0 0 2324 63 0 0 25 0 1 0 850226740 160215040 36103 33554432000 4194304 13684479 140734220134832 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9027/statm: 39115 36103 768 2317 0 36793 0
[pid=9018/tid=9026] ppid=9016 vsize=302348 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 25 1457 0 0 0 0 16 4 18 0 2 0 850226740 309604352 9427 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 750912
[startup+51.1006 s]
/proc/loadavg: 2.07 2.12 1.79 3/743 9033
/proc/meminfo: memFree=14392076/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=312604 CPUtime=1.47 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 16204 1457 1 0 107 20 16 4 20 0 3 0 850226578 320106496 9434 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/9018/statm: 78151 9434 1874 364 0 13035 0
[pid=9025] ppid=9018 vsize=302348 CPUtime=0.26 cores=1,3,5,7
/proc/9025/stat : 9025 (python) S 9018 9018 7805 0 -1 4202560 1095 0 0 0 11 15 0 0 16 0 2 0 850226740 309604352 7962 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9025/statm: 75587 7962 405 364 0 10474 0
[pid=9027] ppid=9025 vsize=197580 CPUtime=46.9 cores=1,3,5,7
/proc/9027/stat : 9027 (scip-2.0.1.linu) T 9025 9027 9027 0 -1 4202496 47975 0 0 0 4593 97 0 0 23 0 1 0 850226740 202321920 46166 33554432000 4194304 13684479 140734220134832 18446744073709551615 7361315 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9027/statm: 49395 46166 762 2317 0 47073 0
[pid=9025/tid=9030] ppid=9018 vsize=302348 CPUtime=0 cores=1,3,5,7
/proc/9025/task/9030/stat : 9030 (python) S 9018 9018 7805 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850231431 309604352 7962 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604465870680384 0 0 -1 7 0 0 0
[pid=9031] ppid=9018 vsize=302360 CPUtime=0 cores=1,3,5,7
/proc/9031/stat : 9031 (python) S 9018 9018 7805 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 850231433 309616640 7875 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510317638 0 0 16781312 33554946 3062189022076993536 0 0 17 5 0 0 0
/proc/9031/statm: 75590 7875 319 364 0 10474 0
[pid=9033] ppid=9031 vsize=106960 CPUtime=2.54 cores=1,3,5,7
/proc/9033/stat : 9033 (scip-2.0.1.linu) R 9031 9033 9033 0 -1 4202496 24982 0 0 0 235 19 0 0 18 0 1 0 850231433 109527040 23363 33554432000 4194304 15243407 140733315526832 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/9033/statm: 26740 23363 852 2698 0 24035 0
[pid=9018/tid=9026] ppid=9016 vsize=312604 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 25 1457 0 0 0 0 16 4 18 0 3 0 850226740 320106496 9434 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
[pid=9018/tid=9032] ppid=9016 vsize=312604 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9032/stat : 9032 (python) S 9016 9018 7805 0 -1 4202560 32 1457 0 0 0 0 16 4 20 0 3 0 850231433 320106496 9434 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 1221852
[startup+102.321 s]
/proc/loadavg: 2.16 2.13 1.81 3/747 9038
/proc/meminfo: memFree=14208732/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=322860 CPUtime=1.49 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 17109 1457 1 0 109 20 16 4 20 0 4 0 850226578 330608640 9440 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/9018/statm: 80715 9440 1876 364 0 15596 0
[pid=9025] ppid=9018 vsize=302348 CPUtime=0.26 cores=1,3,5,7
/proc/9025/stat : 9025 (python) S 9018 9018 7805 0 -1 4202560 1095 0 0 0 11 15 0 0 16 0 2 0 850226740 309604352 7962 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9025/statm: 75587 7962 405 364 0 10474 0
[pid=9027] ppid=9025 vsize=197580 CPUtime=46.9 cores=1,3,5,7
/proc/9027/stat : 9027 (scip-2.0.1.linu) T 9025 9027 9027 0 -1 4202496 47975 0 0 0 4593 97 0 0 23 0 1 0 850226740 202321920 46166 33554432000 4194304 13684479 140734220134832 18446744073709551615 7361315 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9027/statm: 49395 46166 762 2317 0 47073 0
[pid=9025/tid=9030] ppid=9018 vsize=302348 CPUtime=0 cores=1,3,5,7
/proc/9025/task/9030/stat : 9030 (python) S 9018 9018 7805 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850231431 309604352 7962 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604465870680384 0 0 -1 7 0 0 0
[pid=9031] ppid=9018 vsize=302360 CPUtime=0.26 cores=1,3,5,7
/proc/9031/stat : 9031 (python) S 9018 9018 7805 0 -1 4202560 1125 0 0 0 12 14 0 0 16 0 2 0 850231433 309616640 7947 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9031/statm: 75590 7947 390 364 0 10474 0
[pid=9033] ppid=9031 vsize=161144 CPUtime=47.29 cores=1,3,5,7
/proc/9033/stat : 9033 (scip-2.0.1.linu) T 9031 9033 9033 0 -1 4202496 39343 0 0 0 4696 33 0 0 19 0 1 0 850231433 165011456 36036 33554432000 4194304 15243407 140733315526832 18446744073709551615 6054234 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9033/statm: 40286 36036 866 2698 0 37581 0
[pid=9031/tid=9035] ppid=9018 vsize=302360 CPUtime=0 cores=1,3,5,7
/proc/9031/task/9035/stat : 9035 (python) S 9018 9018 7805 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 850236164 309616640 7947 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604454826220480 0 0 -1 7 0 0 0
[pid=9036] ppid=9018 vsize=312616 CPUtime=0.01 cores=1,3,5,7
/proc/9036/stat : 9036 (python) S 9018 9018 7805 0 -1 4202560 894 0 0 0 0 1 0 0 18 0 1 0 850236166 320118784 7903 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510317638 0 0 16781312 33554946 5599027226579271943 0 0 17 5 0 0 0
/proc/9036/statm: 78154 7903 343 364 0 13035 0
[pid=9038] ppid=9036 vsize=127216 CPUtime=6.42 cores=1,3,5,7
/proc/9038/stat : 9038 (wbo1.4a) R 9036 9038 9038 0 -1 4202496 32424 0 0 0 639 3 0 0 25 0 1 0 850236167 130269184 31265 33554432000 134512640 135751879 4291255568 18446744073709551615 135206219 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/9038/statm: 31804 31265 143 303 0 31499 0
[pid=9018/tid=9026] ppid=9016 vsize=322860 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 25 1457 0 0 0 0 16 4 18 0 4 0 850226740 330608640 9440 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
[pid=9018/tid=9032] ppid=9016 vsize=322860 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9032/stat : 9032 (python) S 9016 9018 7805 0 -1 4202560 32 1457 0 0 0 0 16 4 20 0 4 0 850231433 330608640 9440 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=9018/tid=9026] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 35 1457 0 0 0 0 16 4 18 0 7 0 850226740 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
[pid=9018/tid=9032] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9032/stat : 9032 (python) S 9016 9018 7805 0 -1 4202560 39 1457 0 0 0 0 16 4 18 0 7 0 850231433 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 3 0 0 0
[pid=9018/tid=9037] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9037/stat : 9037 (python) S 9016 9018 7805 0 -1 4202560 31 1457 0 0 0 0 16 4 20 0 7 0 850236167 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 1 0 0 0
[pid=9018/tid=9042] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9042/stat : 9042 (python) S 9016 9018 7805 0 -1 4202560 30 1457 0 0 0 0 16 4 20 0 7 0 850240922 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 1 0 0 0
[pid=9018/tid=9125] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9125/stat : 9125 (python) S 9016 9018 7805 0 -1 4202560 29 1457 0 0 0 0 16 4 20 0 7 0 850250457 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 7 0 0 0
[pid=9018/tid=9432] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9432/stat : 9432 (python) S 9016 9018 7805 0 -1 4202560 28 1457 0 0 0 0 16 4 20 0 7 0 850296503 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 706.06
Current children cumulated vsize (KiB) 20206828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+699.502 s]
/proc/loadavg: 2.03 2.08 1.92 5/836 9450
/proc/meminfo: memFree=10924524/32951124 swapFree=64303752/67111528
[pid=9018] ppid=9016 vsize=353628 CPUtime=1.65 cores=1,3,5,7
/proc/9018/stat : 9018 (python) S 9016 9018 7805 0 -1 4202496 20107 1457 1 0 124 21 16 4 20 0 7 0 850226578 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/9018/statm: 88407 9458 1882 364 0 23279 0
[pid=9025] ppid=9018 vsize=302348 CPUtime=1.73 cores=1,3,5,7
/proc/9025/stat : 9025 (python) S 9018 9018 7805 0 -1 4202560 1191 0 0 0 83 90 0 0 15 0 2 0 850226740 309604352 7963 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9025/statm: 75587 7963 406 364 0 10474 0
[pid=9027] ppid=9025 vsize=214752 CPUtime=325.69 cores=1,3,5,7
/proc/9027/stat : 9027 (scip-2.0.1.linu) T 9025 9027 9027 0 -1 4202496 52192 0 0 0 32209 360 0 0 19 0 1 0 850226740 219906048 50255 33554432000 4194304 13684479 140734220134832 18446744073709551615 4963164 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9027/statm: 53688 50255 760 2317 0 51366 0
[pid=9025/tid=9030] ppid=9018 vsize=302348 CPUtime=0 cores=1,3,5,7
/proc/9025/task/9030/stat : 9030 (python) S 9018 9018 7805 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 850231431 309604352 7963 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604465870680384 0 0 -1 1 0 0 0
[pid=9031] ppid=9018 vsize=302360 CPUtime=1.03 cores=1,3,5,7
/proc/9031/stat : 9031 (python) S 9018 9018 7805 0 -1 4202560 1198 0 0 0 47 56 0 0 16 0 2 0 850231433 309616640 7947 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9031/statm: 75590 7947 390 364 0 10474 0
[pid=9033] ppid=9031 vsize=198128 CPUtime=183.27 cores=1,3,5,7
/proc/9033/stat : 9033 (scip-2.0.1.linu) T 9031 9033 9033 0 -1 4202496 51455 0 0 0 18257 70 0 0 18 0 1 0 850231433 202883072 45946 33554432000 4194304 15243407 140733315526832 18446744073709551615 12487556 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/9033/statm: 49532 45946 866 2698 0 46827 0
[pid=9031/tid=9035] ppid=9018 vsize=302360 CPUtime=0 cores=1,3,5,7
/proc/9031/task/9035/stat : 9035 (python) S 9018 9018 7805 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 850236164 309616640 7947 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604454826220480 0 0 -1 7 0 0 0
[pid=9036] ppid=9018 vsize=312616 CPUtime=0.26 cores=1,3,5,7
/proc/9036/stat : 9036 (python) S 9018 9018 7805 0 -1 4202560 1115 0 0 0 12 14 0 0 16 0 2 0 850236166 320118784 7951 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9036/statm: 78154 7951 390 364 0 13035 0
[pid=9038] ppid=9036 vsize=418044 CPUtime=47.51 cores=1,3,5,7
/proc/9038/stat : 9038 (wbo1.4a) T 9036 9038 9038 0 -1 4202496 105161 0 0 0 4709 42 0 0 25 0 1 0 850236167 428077056 104002 33554432000 134512640 135751879 4291255568 18446744073709551615 134616776 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/9038/statm: 104511 104002 146 303 0 104206 0
[pid=9036/tid=9040] ppid=9018 vsize=312616 CPUtime=0 cores=1,3,5,7
/proc/9036/task/9040/stat : 9040 (python) S 9018 9018 7805 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850240919 320118784 7951 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604465870681280 0 0 -1 1 0 0 0
[pid=9041] ppid=9018 vsize=322872 CPUtime=0.23 cores=1,3,5,7
/proc/9041/stat : 9041 (python) S 9018 9018 7805 0 -1 4202560 1205 0 0 0 10 13 0 0 17 0 2 0 850240922 330620928 7961 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/9041/statm: 80718 7961 396 364 0 15596 0
[pid=9043] ppid=9041 vsize=8546244 CPUtime=50.26 cores=1,3,5,7
/proc/9043/stat : 9043 (java) T 9041 9043 9043 0 -1 4202496 334095 0 1 0 4988 38 0 0 18 0 19 0 850240922 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9043/statm: 2136561 327528 2253 9 0 2127302 0
[pid=9043/tid=9044] ppid=9041 vsize=8546244 CPUtime=46.87 cores=1,3,5,7
/proc/9043/task/9044/stat : 9044 (java) T 9041 9043 9043 0 -1 4202560 233415 0 1 0 4663 24 0 0 25 0 19 0 850240923 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 46912506031860 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9043/tid=9045] ppid=9041 vsize=8546244 CPUtime=0.09 cores=1,3,5,7
/proc/9043/task/9045/stat : 9045 (java) T 9041 9043 9043 0 -1 4202560 9254 0 0 0 9 0 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9043/tid=9046] ppid=9041 vsize=8546244 CPUtime=0.03 cores=1,3,5,7
/proc/9043/task/9046/stat : 9046 (java) T 9041 9043 9043 0 -1 4202560 2133 0 0 0 3 0 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9043/tid=9047] ppid=9041 vsize=8546244 CPUtime=0.1 cores=1,3,5,7
/proc/9043/task/9047/stat : 9047 (java) T 9041 9043 9043 0 -1 4202560 8839 0 0 0 10 0 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9043/tid=9048] ppid=9041 vsize=8546244 CPUtime=0.16 cores=1,3,5,7
/proc/9043/task/9048/stat : 9048 (java) T 9041 9043 9043 0 -1 4202560 13753 0 0 0 14 2 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9043/tid=9049] ppid=9041 vsize=8546244 CPUtime=0.19 cores=1,3,5,7
/proc/9043/task/9049/stat : 9049 (java) T 9041 9043 9043 0 -1 4202560 16234 0 0 0 17 2 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9043/tid=9050] ppid=9041 vsize=8546244 CPUtime=0.1 cores=1,3,5,7
/proc/9043/task/9050/stat : 9050 (java) T 9041 9043 9043 0 -1 4202560 8891 0 0 0 10 0 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9043/tid=9051] ppid=9041 vsize=8546244 CPUtime=0.13 cores=1,3,5,7
/proc/9043/task/9051/stat : 9051 (java) T 9041 9043 9043 0 -1 4202560 11725 0 0 0 12 1 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9043/tid=9052] ppid=9041 vsize=8546244 CPUtime=0.16 cores=1,3,5,7
/proc/9043/task/9052/stat : 9052 (java) T 9041 9043 9043 0 -1 4202560 15099 0 0 0 15 1 0 0 15 0 19 0 850240924 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9043/tid=9053] ppid=9041 vsize=8546244 CPUtime=0 cores=1,3,5,7
/proc/9043/task/9053/stat : 9053 (java) T 9041 9043 9043 0 -1 4202560 1008 0 0 0 0 0 0 0 15 0 19 0 850240925 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522114048 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9043/tid=9054] ppid=9041 vsize=8546244 CPUtime=0 cores=1,3,5,7
/proc/9043/task/9054/stat : 9054 (java) T 9041 9043 9043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850240925 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9043/tid=9055] ppid=9041 vsize=8546244 CPUtime=0 cores=1,3,5,7
/proc/9043/task/9055/stat : 9055 (java) T 9041 9043 9043 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850240925 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9043/tid=9056] ppid=9041 vsize=8546244 CPUtime=0 cores=1,3,5,7
/proc/9043/task/9056/stat : 9056 (java) T 9041 9043 9043 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850240928 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9043/tid=9057] ppid=9041 vsize=8546244 CPUtime=1.2 cores=1,3,5,7
/proc/9043/task/9057/stat : 9057 (java) T 9041 9043 9043 0 -1 4202560 3601 0 0 0 120 0 0 0 15 0 19 0 850240928 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=9043/tid=9058] ppid=9041 vsize=8546244 CPUtime=1.1 cores=1,3,5,7
/proc/9043/task/9058/stat : 9058 (java) T 9041 9043 9043 0 -1 4202560 8742 0 0 0 109 1 0 0 15 0 19 0 850240928 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9043/tid=9059] ppid=9041 vsize=8546244 CPUtime=0 cores=1,3,5,7
/proc/9043/task/9059/stat : 9059 (java) T 9041 9043 9043 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850240928 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=9043/tid=9060] ppid=9041 vsize=8546244 CPUtime=0 cores=1,3,5,7
/proc/9043/task/9060/stat : 9060 (java) T 9041 9043 9043 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 850240928 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9043/tid=9061] ppid=9041 vsize=8546244 CPUtime=0 cores=1,3,5,7
/proc/9043/task/9061/stat : 9061 (java) T 9041 9043 9043 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850240996 8751353856 327528 33554432000 1073741824 1073778376 140736842404304 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=9041/tid=9063] ppid=9018 vsize=322872 CPUtime=0 cores=1,3,5,7
/proc/9041/task/9063/stat : 9063 (python) S 9018 9018 7805 0 -1 4202560 100 0 0 0 0 0 0 0 17 0 2 0 850245648 330620928 7961 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604462888009856 0 0 -1 1 0 0 0
[pid=9124] ppid=9018 vsize=333128 CPUtime=0.43 cores=1,3,5,7
/proc/9124/stat : 9124 (python) S 9018 9018 7805 0 -1 4202560 1232 0 0 0 19 24 0 0 17 0 2 0 850250457 341123072 7965 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/9124/statm: 83282 7965 396 364 0 18157 0
[pid=9126] ppid=9124 vsize=23612 CPUtime=93.63 cores=1,3,5,7
/proc/9126/stat : 9126 (clasp-1.3.7-x86) T 9124 9126 9126 0 -1 4202496 6389 0 0 0 9363 0 0 0 25 0 1 0 850250457 24178688 5667 33554432000 134512640 136139019 4293851712 18446744073709551615 134877177 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/9126/statm: 5903 5667 187 398 0 5503 0
[pid=9124/tid=9155] ppid=9018 vsize=333128 CPUtime=0 cores=1,3,5,7
/proc/9124/task/9155/stat : 9155 (python) S 9018 9018 7805 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850259822 341123072 7965 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554946 18446604468309046528 0 0 -1 7 0 0 0
[pid=9431] ppid=9018 vsize=343384 CPUtime=0 cores=1,3,5,7
/proc/9431/stat : 9431 (python) S 9018 9018 7805 0 -1 4202560 821 0 0 0 0 0 0 0 18 0 1 0 850296503 351625216 7891 33554432000 4194304 5683644 140735473131056 18446744073709551615 233510317638 0 0 16781312 33554946 427246948420943872 0 0 17 1 0 0 0
/proc/9431/statm: 85846 7891 319 364 0 20718 0
[pid=9433] ppid=9431 vsize=8535712 CPUtime=0.37 cores=1,3,5,7
/proc/9433/stat : 9433 (java) S 9431 9433 9433 0 -1 4202496 7522 0 1 0 36 1 0 0 20 0 18 0 850296503 8740569088 6862 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/9433/statm: 2133928 6862 2184 9 0 2124669 0
[pid=9433/tid=9434] ppid=9431 vsize=8535712 CPUtime=0.23 cores=1,3,5,7
/proc/9433/task/9434/stat : 9434 (java) R 9431 9433 9433 0 -1 4202560 4560 0 1 0 23 0 0 0 25 0 18 0 850296505 8740569088 7014 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9433/tid=9435] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9435/stat : 9435 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850296505 8740569088 7015 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 7 0 0 0
[pid=9433/tid=9436] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9436/stat : 9436 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850296505 8740569088 7015 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 7 0 0 0
[pid=9433/tid=9437] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9437/stat : 9437 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850296505 8740569088 7015 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 7 0 0 0
[pid=9433/tid=9438] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9438/stat : 9438 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850296505 8740569088 7015 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9439] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9439/stat : 9439 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850296505 8740569088 7016 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9440] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9440/stat : 9440 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850296505 8740569088 7016 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9441] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9441/stat : 9441 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850296505 8740569088 7016 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9442] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9442/stat : 9442 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850296505 8740569088 7017 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9443] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9443/stat : 9443 (java) S 9431 9433 9433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850296506 8740569088 7017 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522114048 0 0 0 16800975 18446604454944807744 0 0 -1 7 0 0 0
[pid=9433/tid=9444] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9444/stat : 9444 (java) S 9431 9433 9433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850296507 8740569088 7017 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 7 0 0 0
[pid=9433/tid=9445] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9445/stat : 9445 (java) S 9431 9433 9433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850296507 8740569088 7017 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 7 0 0 0
[pid=9433/tid=9446] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9446/stat : 9446 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850296509 8740569088 7018 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522121137 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9447] ppid=9431 vsize=8535712 CPUtime=0.03 cores=1,3,5,7
/proc/9433/task/9447/stat : 9447 (java) S 9431 9433 9433 0 -1 4202560 326 0 0 0 3 0 0 0 24 0 18 0 850296509 8740569088 7018 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9448] ppid=9431 vsize=8535712 CPUtime=0.11 cores=1,3,5,7
/proc/9433/task/9448/stat : 9448 (java) S 9431 9433 9433 0 -1 4202560 1388 0 0 0 11 0 0 0 25 0 18 0 850296509 8740569088 7018 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9433/tid=9449] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9449/stat : 9449 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850296509 8740569088 7019 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522113433 0 4 0 16800975 18446604454944807744 0 0 -1 7 0 0 0
[pid=9433/tid=9450] ppid=9431 vsize=8535712 CPUtime=0 cores=1,3,5,7
/proc/9433/task/9450/stat : 9450 (java) S 9431 9433 9433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 850296509 8740569088 7019 33554432000 1073741824 1073778376 140733224733408 18446744073709551615 233522114048 0 4 0 16800975 18446604454944807744 0 0 -1 1 0 0 0
[pid=9018/tid=9026] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9026/stat : 9026 (python) S 9016 9018 7805 0 -1 4202560 35 1457 0 0 0 0 16 4 18 0 7 0 850226740 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 5 0 0 0
[pid=9018/tid=9032] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9032/stat : 9032 (python) S 9016 9018 7805 0 -1 4202560 39 1457 0 0 0 0 16 4 18 0 7 0 850231433 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 3 0 0 0
[pid=9018/tid=9037] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9037/stat : 9037 (python) S 9016 9018 7805 0 -1 4202560 31 1457 0 0 0 0 16 4 20 0 7 0 850236167 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 1 0 0 0
[pid=9018/tid=9042] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9042/stat : 9042 (python) S 9016 9018 7805 0 -1 4202560 30 1457 0 0 0 0 16 4 20 0 7 0 850240922 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 1 0 0 0
[pid=9018/tid=9125] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9125/stat : 9125 (python) S 9016 9018 7805 0 -1 4202560 29 1457 0 0 0 0 16 4 20 0 7 0 850250457 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 7 0 0 0
[pid=9018/tid=9432] ppid=9016 vsize=353628 CPUtime=0.2 cores=1,3,5,7
/proc/9018/task/9432/stat : 9432 (python) S 9016 9018 7805 0 -1 4202560 28 1457 0 0 0 0 16 4 20 0 7 0 850296503 362115072 9458 33554432000 4194304 5683644 140735473131056 18446744073709551615 233522121137 0 0 16781312 33554434 18446604466687355712 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 706.06
Current children cumulated vsize (KiB) 20206828
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9018 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=412785
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=260960
# CPU time returned by wait4() is 1.67375
# while last known CPU time is 706.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 699.594
CPU time (s): 706.06
CPU user time (s): 698.73
CPU system time (s): 7.33
CPU usage (%): 100.924
Max. virtual memory (cumulated for all children) (KiB): 20206828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41278
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21568
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= 14317
involuntary context switches= 36
runsolver used 5.69913 second user time and 12.6241 second system time
The end