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-3481612-1307578532/watcher-3481612-1307578532 -o /tmp/evaluation-result-3481612-1307578532/solver-3481612-1307578532 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481612-1307578532.opb -seed 795265712 -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.34 2.17 1.88 2/630 32596
/proc/meminfo: memFree=23794212/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=16248 CPUtime=0 cores=0,2,4,6
/proc/32596/stat : 32596 (python) R 32594 32596 31366 0 -1 4202496 1063 0 0 0 0 0 0 0 21 0 1 0 869451246 16637952 935 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122713856 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 4062 935 381 364 0 549 0
[startup+0.074224 s]
/proc/loadavg: 2.34 2.17 1.88 2/630 32596
/proc/meminfo: memFree=23794212/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=84440 CPUtime=0.05 cores=0,2,4,6
/proc/32596/stat : 32596 (python) R 32594 32596 31366 0 -1 4202496 2338 0 0 0 4 1 0 0 18 0 1 0 869451246 86466560 2068 33554432000 4194304 5683644 140737240811280 18446744073709551615 228319265492 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 21110 2070 672 364 0 1327 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84440
[startup+0.100208 s]
/proc/loadavg: 2.34 2.17 1.88 2/630 32596
/proc/meminfo: memFree=23794212/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=96128 CPUtime=0.07 cores=0,2,4,6
/proc/32596/stat : 32596 (python) R 32594 32596 31366 0 -1 4202496 3168 931 1 0 5 2 0 0 18 0 1 0 869451246 98435072 2483 33554432000 4194304 5683644 140737240811280 18446744073709551615 5158141 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.30018 s]
/proc/loadavg: 2.34 2.17 1.88 2/630 32596
/proc/meminfo: memFree=23794212/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=202996 CPUtime=0.22 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 6677 931 1 0 16 6 0 0 17 0 1 0 869451246 207867904 4962 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/32596/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202996
[startup+0.701128 s]
/proc/loadavg: 2.34 2.17 1.88 2/630 32596
/proc/meminfo: memFree=23794212/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=294848 CPUtime=0.56 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 10973 1351 1 0 44 9 3 0 20 0 2 0 869451246 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/32596/statm: 73712 7550 1871 364 0 8599 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 294848
[startup+1.50098 s]
/proc/loadavg: 2.34 2.17 1.88 3/634 32605
/proc/meminfo: memFree=23733652/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=294848 CPUtime=0.56 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 10973 1351 1 0 44 9 3 0 20 0 2 0 869451246 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/32596/statm: 73712 7550 1871 364 0 8599 0
[pid=32603] ppid=32596 vsize=284604 CPUtime=0 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 703 0 0 0 0 0 0 0 17 0 1 0 869451312 291434496 5994 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734095 0 0 16781312 33554946 9656797360155492610 0 0 17 2 0 0 0
/proc/32603/statm: 71151 5994 319 364 0 6038 0
[pid=32605] ppid=32603 vsize=46300 CPUtime=0.83 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) R 32603 32605 32605 0 -1 4202496 9970 0 0 0 75 8 0 0 23 0 1 0 869451313 47411200 9172 33554432000 4194304 13684479 140736353422512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32605/statm: 11575 9172 738 2317 0 9253 0
[pid=32596/tid=32604] ppid=32594 vsize=294848 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 2 0 869451313 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 625752
[startup+3.10068 s]
/proc/loadavg: 2.34 2.17 1.88 3/634 32605
/proc/meminfo: memFree=23731668/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=294848 CPUtime=0.56 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 10973 1351 1 0 44 9 3 0 20 0 2 0 869451246 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/32596/statm: 73712 7550 1871 364 0 8599 0
[pid=32603] ppid=32596 vsize=284604 CPUtime=0 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 711 0 0 0 0 0 0 0 15 0 1 0 869451312 291434496 5994 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734095 0 0 16781312 33554946 301839289266733056 0 0 17 2 0 0 0
/proc/32603/statm: 71151 5994 319 364 0 6038 0
[pid=32605] ppid=32603 vsize=73000 CPUtime=2.43 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) R 32603 32605 32605 0 -1 4202496 17597 0 0 0 233 10 0 0 25 0 1 0 869451313 74752000 16093 33554432000 4194304 13684479 140736353422512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32605/statm: 18250 16093 795 2317 0 15928 0
[pid=32596/tid=32604] ppid=32594 vsize=294848 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 2 0 869451313 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 652452
[startup+6.30112 s]
/proc/loadavg: 2.40 2.18 1.88 3/634 32605
/proc/meminfo: memFree=23703844/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=294848 CPUtime=0.56 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 10973 1351 1 0 44 9 3 0 20 0 2 0 869451246 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/32596/statm: 73712 7550 1871 364 0 8599 0
[pid=32603] ppid=32596 vsize=284604 CPUtime=0.01 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 849 0 0 0 0 1 0 0 15 0 1 0 869451312 291434496 6018 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734095 0 0 16781312 33554946 3379210329245351936 0 0 17 2 0 0 0
/proc/32603/statm: 71151 6018 343 364 0 6038 0
[pid=32605] ppid=32603 vsize=79596 CPUtime=5.63 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) R 32603 32605 32605 0 -1 4202496 18865 0 0 0 549 14 0 0 25 0 1 0 869451313 81506304 17361 33554432000 4194304 13684479 140736353422512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32605/statm: 19899 17361 830 2317 0 17577 0
[pid=32596/tid=32604] ppid=32594 vsize=294848 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 2 0 869451313 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 659048
[startup+12.701 s]
/proc/loadavg: 2.36 2.18 1.88 3/634 32605
/proc/meminfo: memFree=23697808/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=294848 CPUtime=0.56 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 10973 1351 1 0 44 9 3 0 20 0 2 0 869451246 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/32596/statm: 73712 7550 1871 364 0 8599 0
[pid=32603] ppid=32596 vsize=284604 CPUtime=0.03 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 855 0 0 0 2 1 0 0 15 0 1 0 869451312 291434496 6018 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734095 0 0 16781312 33554946 3713768327185694720 0 0 17 2 0 0 0
/proc/32603/statm: 71151 6018 343 364 0 6038 0
[pid=32605] ppid=32603 vsize=79596 CPUtime=12.02 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) R 32603 32605 32605 0 -1 4202496 18925 0 0 0 1184 18 0 0 25 0 1 0 869451313 81506304 17402 33554432000 4194304 13684479 140736353422512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32605/statm: 19899 17402 834 2317 0 17577 0
[pid=32596/tid=32604] ppid=32594 vsize=294848 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 2 0 869451313 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 659048
[startup+25.5006 s]
/proc/loadavg: 2.36 2.18 1.89 3/634 32606
/proc/meminfo: memFree=23697292/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=294848 CPUtime=0.56 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 10973 1351 1 0 44 9 3 0 20 0 2 0 869451246 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/32596/statm: 73712 7550 1871 364 0 8599 0
[pid=32603] ppid=32596 vsize=284604 CPUtime=0.09 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 862 0 0 0 5 4 0 0 15 0 1 0 869451312 291434496 6018 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734095 0 0 16781312 33554946 72262103200705221 0 0 17 2 0 0 0
/proc/32603/statm: 71151 6018 343 364 0 6038 0
[pid=32605] ppid=32603 vsize=79596 CPUtime=24.83 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) R 32603 32605 32605 0 -1 4202496 18928 0 0 0 2459 24 0 0 25 0 1 0 869451313 81506304 17405 33554432000 4194304 13684479 140736353422512 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32605/statm: 19899 17405 837 2317 0 17577 0
[pid=32596/tid=32604] ppid=32594 vsize=294848 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 2 0 869451313 301924352 7550 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 659048
[startup+51.101 s]
/proc/loadavg: 2.24 2.17 1.89 3/638 32611
/proc/meminfo: memFree=23653248/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=305104 CPUtime=0.58 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 11851 1351 1 0 46 9 3 0 20 0 3 0 869451246 312426496 7557 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/32596/statm: 76276 7557 1874 364 0 11160 0
[pid=32603] ppid=32596 vsize=294848 CPUtime=0.19 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 1067 0 0 0 9 10 0 0 16 0 2 0 869451312 301924352 6086 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32603/statm: 73712 6086 406 364 0 8599 0
[pid=32605] ppid=32603 vsize=79596 CPUtime=47.64 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) T 32603 32605 32605 0 -1 4202496 18928 0 0 0 4726 38 0 0 25 0 1 0 869451313 81506304 17405 33554432000 4194304 13684479 140736353422512 18446744073709551615 7012150 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/32605/statm: 19899 17405 837 2317 0 17577 0
[pid=32603/tid=32607] ppid=32596 vsize=294848 CPUtime=0 cores=0,2,4,6
/proc/32603/task/32607/stat : 32607 (python) S 32596 32596 31366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869456078 301924352 6086 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554946 18446604447427946368 0 0 -1 6 0 0 0
[pid=32608] ppid=32596 vsize=294860 CPUtime=0 cores=0,2,4,6
/proc/32608/stat : 32608 (python) S 32596 32596 31366 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 869456080 301936640 5999 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734150 0 0 16781312 33554946 491363951087419652 0 0 17 2 0 0 0
/proc/32608/statm: 73715 5999 320 364 0 8599 0
[pid=32610] ppid=32608 vsize=48596 CPUtime=2.74 cores=0,2,4,6
/proc/32610/stat : 32610 (scip-2.0.1.linu) R 32608 32610 32610 0 -1 4202496 11168 0 0 0 268 6 0 0 25 0 1 0 869456080 49762304 9015 33554432000 4194304 15243407 140734072109136 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32610/statm: 12149 9015 838 2698 0 9444 0
[pid=32596/tid=32604] ppid=32594 vsize=305104 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 3 0 869451313 312426496 7557 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
[pid=32596/tid=32609] ppid=32594 vsize=305104 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32609/stat : 32609 (python) S 32594 32596 31366 0 -1 4202560 25 1351 0 0 0 0 3 0 20 0 3 0 869456080 312426496 7557 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 1023004
[startup+102.302 s]
/proc/loadavg: 2.10 2.14 1.90 3/660 32634
/proc/meminfo: memFree=23296124/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=315360 CPUtime=0.62 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 12723 1351 1 0 49 10 3 0 20 0 4 0 869451246 322928640 7563 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/32596/statm: 78840 7563 1876 364 0 13721 0
[pid=32603] ppid=32596 vsize=294848 CPUtime=0.19 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 1067 0 0 0 9 10 0 0 16 0 2 0 869451312 301924352 6086 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32603/statm: 73712 6086 406 364 0 8599 0
[pid=32605] ppid=32603 vsize=79596 CPUtime=47.64 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) T 32603 32605 32605 0 -1 4202496 18928 0 0 0 4726 38 0 0 25 0 1 0 869451313 81506304 17405 33554432000 4194304 13684479 140736353422512 18446744073709551615 7012150 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/32605/statm: 19899 17405 837 2317 0 17577 0
[pid=32603/tid=32607] ppid=32596 vsize=294848 CPUtime=0 cores=0,2,4,6
/proc/32603/task/32607/stat : 32607 (python) S 32596 32596 31366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869456078 301924352 6086 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554946 18446604447427946368 0 0 -1 6 0 0 0
[pid=32608] ppid=32596 vsize=294860 CPUtime=0.19 cores=0,2,4,6
/proc/32608/stat : 32608 (python) S 32596 32596 31366 0 -1 4202560 1114 0 0 0 10 9 0 0 16 0 2 0 869456080 301936640 6071 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32608/statm: 73715 6071 391 364 0 8599 0
[pid=32610] ppid=32608 vsize=83848 CPUtime=47.23 cores=0,2,4,6
/proc/32610/stat : 32610 (scip-2.0.1.linu) T 32608 32610 32610 0 -1 4202496 25036 0 0 0 4706 17 0 0 25 0 1 0 869456080 85860352 18088 33554432000 4194304 15243407 140734072109136 18446744073709551615 8135473 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/32610/statm: 20962 18088 942 2698 0 18257 0
[pid=32608/tid=32613] ppid=32596 vsize=294860 CPUtime=0 cores=0,2,4,6
/proc/32608/task/32613/stat : 32613 (python) S 32596 32596 31366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869460804 301936640 6071 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554946 18446604453937865728 0 0 -1 6 0 0 0
[pid=32614] ppid=32596 vsize=305116 CPUtime=0.02 cores=0,2,4,6
/proc/32614/stat : 32614 (python) S 32596 32596 31366 0 -1 4202560 899 0 0 0 1 1 0 0 15 0 1 0 869460807 312438784 6027 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734150 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
################
# More data... #
################
[pid=32642/tid=32650] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32650/stat : 32650 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465577 8749670400 25894 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 4 0 0 0
[pid=32642/tid=32651] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32651/stat : 32651 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465577 8749670400 25896 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 6 0 0 0
[pid=32642/tid=32652] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32652/stat : 32652 (java) S 32640 32642 32642 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869465578 8749670400 25897 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134530560 0 0 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32653] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32653/stat : 32653 (java) S 32640 32642 32642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869465578 8749670400 25898 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32654] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32654/stat : 32654 (java) S 32640 32642 32642 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869465578 8749670400 25899 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32655] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32655/stat : 32655 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465580 8749670400 25900 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134537649 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32656] ppid=32640 vsize=8544600 CPUtime=0.61 cores=0,2,4,6
/proc/32642/task/32656/stat : 32656 (java) R 32640 32642 32642 0 -1 4202560 6550 0 0 0 60 1 0 0 25 0 19 0 869465580 8749670400 25901 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 47957493797403 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32642/tid=32657] ppid=32640 vsize=8544600 CPUtime=0.6 cores=0,2,4,6
/proc/32642/task/32657/stat : 32657 (java) R 32640 32642 32642 0 -1 4202560 7854 0 0 0 59 1 0 0 25 0 19 0 869465580 8749670400 25902 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 47957497600168 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32642/tid=32658] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32658/stat : 32658 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465580 8749670400 25903 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32659] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32659/stat : 32659 (java) R 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869465580 8749670400 25905 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32642/tid=32660] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32660/stat : 32660 (java) S 32640 32642 32642 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869465612 8749670400 25906 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134530560 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32596/tid=32604] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 5 0 869451313 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
[pid=32596/tid=32609] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32609/stat : 32609 (python) S 32594 32596 31366 0 -1 4202560 25 1351 0 0 0 0 3 0 20 0 5 0 869456080 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 2 0 0 0
[pid=32596/tid=32615] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32615/stat : 32615 (python) S 32594 32596 31366 0 -1 4202560 29 1351 0 0 0 0 3 0 20 0 5 0 869460807 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 4 0 0 0
[pid=32596/tid=32641] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32641/stat : 32641 (python) S 32594 32596 31366 0 -1 4202560 29 1351 0 0 0 0 3 0 20 0 5 0 869465575 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 147
Current children cumulated vsize (KiB) 18788912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+144.101 s]
/proc/loadavg: 2.05 2.12 1.90 6/685 32660
/proc/meminfo: memFree=23172880/32951124 swapFree=41082008/67111528
[pid=32596] ppid=32594 vsize=325616 CPUtime=0.64 cores=0,2,4,6
/proc/32596/stat : 32596 (python) S 32594 32596 31366 0 -1 4202496 13681 1351 1 0 51 10 3 0 20 0 5 0 869451246 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/32596/statm: 81404 7569 1878 364 0 16282 0
[pid=32603] ppid=32596 vsize=294848 CPUtime=0.19 cores=0,2,4,6
/proc/32603/stat : 32603 (python) S 32596 32596 31366 0 -1 4202560 1067 0 0 0 9 10 0 0 16 0 2 0 869451312 301924352 6086 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32603/statm: 73712 6086 406 364 0 8599 0
[pid=32605] ppid=32603 vsize=79596 CPUtime=47.64 cores=0,2,4,6
/proc/32605/stat : 32605 (scip-2.0.1.linu) T 32603 32605 32605 0 -1 4202496 18928 0 0 0 4726 38 0 0 25 0 1 0 869451313 81506304 17405 33554432000 4194304 13684479 140736353422512 18446744073709551615 7012150 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/32605/statm: 19899 17405 837 2317 0 17577 0
[pid=32603/tid=32607] ppid=32596 vsize=294848 CPUtime=0 cores=0,2,4,6
/proc/32603/task/32607/stat : 32607 (python) S 32596 32596 31366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869456078 301924352 6086 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554946 18446604447427946368 0 0 -1 6 0 0 0
[pid=32608] ppid=32596 vsize=294860 CPUtime=0.19 cores=0,2,4,6
/proc/32608/stat : 32608 (python) S 32596 32596 31366 0 -1 4202560 1114 0 0 0 10 9 0 0 16 0 2 0 869456080 301936640 6071 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32608/statm: 73715 6071 391 364 0 8599 0
[pid=32610] ppid=32608 vsize=83848 CPUtime=47.23 cores=0,2,4,6
/proc/32610/stat : 32610 (scip-2.0.1.linu) T 32608 32610 32610 0 -1 4202496 25036 0 0 0 4706 17 0 0 25 0 1 0 869456080 85860352 18088 33554432000 4194304 15243407 140734072109136 18446744073709551615 8135473 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/32610/statm: 20962 18088 942 2698 0 18257 0
[pid=32608/tid=32613] ppid=32596 vsize=294860 CPUtime=0 cores=0,2,4,6
/proc/32608/task/32613/stat : 32613 (python) S 32596 32596 31366 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869460804 301936640 6071 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554946 18446604453937865728 0 0 -1 6 0 0 0
[pid=32614] ppid=32596 vsize=305116 CPUtime=0.22 cores=0,2,4,6
/proc/32614/stat : 32614 (python) S 32596 32596 31366 0 -1 4202560 1100 0 0 0 11 11 0 0 17 0 2 0 869460807 312438784 6075 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32614/statm: 76279 6075 391 364 0 11160 0
[pid=32616] ppid=32614 vsize=8545056 CPUtime=48.83 cores=0,2,4,6
/proc/32616/stat : 32616 (java) T 32614 32616 32616 0 -1 4202496 91425 0 1 0 4872 11 0 0 18 0 19 0 869460807 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32616/statm: 2136264 70757 2259 9 0 2127005 0
[pid=32616/tid=32617] ppid=32614 vsize=8545056 CPUtime=47.24 cores=0,2,4,6
/proc/32616/task/32617/stat : 32617 (java) T 32614 32616 32616 0 -1 4202560 65950 0 1 0 4718 6 0 0 25 0 19 0 869460808 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 46912505782814 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32618] ppid=32614 vsize=8545056 CPUtime=0.03 cores=0,2,4,6
/proc/32616/task/32618/stat : 32618 (java) T 32614 32616 32616 0 -1 4202560 2389 0 0 0 3 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32619] ppid=32614 vsize=8545056 CPUtime=0.02 cores=0,2,4,6
/proc/32616/task/32619/stat : 32619 (java) T 32614 32616 32616 0 -1 4202560 1718 0 0 0 2 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32620] ppid=32614 vsize=8545056 CPUtime=0 cores=0,2,4,6
/proc/32616/task/32620/stat : 32620 (java) T 32614 32616 32616 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32616/tid=32621] ppid=32614 vsize=8545056 CPUtime=0.02 cores=0,2,4,6
/proc/32616/task/32621/stat : 32621 (java) T 32614 32616 32616 0 -1 4202560 981 0 0 0 2 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32616/tid=32622] ppid=32614 vsize=8545056 CPUtime=0.01 cores=0,2,4,6
/proc/32616/task/32622/stat : 32622 (java) T 32614 32616 32616 0 -1 4202560 737 0 0 0 1 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32623] ppid=32614 vsize=8545056 CPUtime=0.01 cores=0,2,4,6
/proc/32616/task/32623/stat : 32623 (java) T 32614 32616 32616 0 -1 4202560 540 0 0 0 1 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32624] ppid=32614 vsize=8545056 CPUtime=0.01 cores=0,2,4,6
/proc/32616/task/32624/stat : 32624 (java) T 32614 32616 32616 0 -1 4202560 416 0 0 0 1 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32616/tid=32625] ppid=32614 vsize=8545056 CPUtime=0.02 cores=0,2,4,6
/proc/32616/task/32625/stat : 32625 (java) T 32614 32616 32616 0 -1 4202560 1594 0 0 0 2 0 0 0 15 0 19 0 869460809 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32626] ppid=32614 vsize=8545056 CPUtime=0.22 cores=0,2,4,6
/proc/32616/task/32626/stat : 32626 (java) T 32614 32616 32616 0 -1 4202560 2050 0 0 0 22 0 0 0 15 0 19 0 869460810 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134530560 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32616/tid=32627] ppid=32614 vsize=8545056 CPUtime=0 cores=0,2,4,6
/proc/32616/task/32627/stat : 32627 (java) T 32614 32616 32616 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869460810 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32616/tid=32628] ppid=32614 vsize=8545056 CPUtime=0 cores=0,2,4,6
/proc/32616/task/32628/stat : 32628 (java) T 32614 32616 32616 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869460810 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32616/tid=32629] ppid=32614 vsize=8545056 CPUtime=0 cores=0,2,4,6
/proc/32616/task/32629/stat : 32629 (java) T 32614 32616 32616 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869460812 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134537649 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32616/tid=32630] ppid=32614 vsize=8545056 CPUtime=0.61 cores=0,2,4,6
/proc/32616/task/32630/stat : 32630 (java) T 32614 32616 32616 0 -1 4202560 7348 0 0 0 60 1 0 0 15 0 19 0 869460812 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32631] ppid=32614 vsize=8545056 CPUtime=0.53 cores=0,2,4,6
/proc/32616/task/32631/stat : 32631 (java) T 32614 32616 32616 0 -1 4202560 6125 0 0 0 53 0 0 0 15 0 19 0 869460812 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32616/tid=32632] ppid=32614 vsize=8545056 CPUtime=0 cores=0,2,4,6
/proc/32616/task/32632/stat : 32632 (java) T 32614 32616 32616 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869460812 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32616/tid=32633] ppid=32614 vsize=8545056 CPUtime=0 cores=0,2,4,6
/proc/32616/task/32633/stat : 32633 (java) T 32614 32616 32616 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869460812 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32616/tid=32634] ppid=32614 vsize=8545056 CPUtime=0 cores=0,2,4,6
/proc/32616/task/32634/stat : 32634 (java) T 32614 32616 32616 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869460844 8750137344 70757 33554432000 1073741824 1073778376 140735619965904 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32614/tid=32639] ppid=32596 vsize=305116 CPUtime=0 cores=0,2,4,6
/proc/32614/task/32639/stat : 32639 (python) S 32596 32596 31366 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869465573 312438784 6075 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554946 18446604448285788224 0 0 -1 6 0 0 0
[pid=32640] ppid=32596 vsize=315372 CPUtime=0 cores=0,2,4,6
/proc/32640/stat : 32640 (python) S 32596 32596 31366 0 -1 4202560 790 0 0 0 0 0 0 0 15 0 1 0 869465575 322940928 6007 33554432000 4194304 5683644 140737240811280 18446744073709551615 228122734150 0 0 16781312 33554946 1886796008059273474 0 0 17 4 0 0 0
/proc/32640/statm: 78843 6007 320 364 0 13721 0
[pid=32642] ppid=32640 vsize=8544600 CPUtime=2.06 cores=0,2,4,6
/proc/32642/stat : 32642 (java) S 32640 32642 32642 0 -1 4202496 32906 0 1 0 201 5 0 0 20 0 19 0 869465576 8749670400 25844 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32642/statm: 2136150 25845 2226 9 0 2126891 0
[pid=32642/tid=32643] ppid=32640 vsize=8544600 CPUtime=0.82 cores=0,2,4,6
/proc/32642/task/32643/stat : 32643 (java) R 32640 32642 32642 0 -1 4202560 17148 0 1 0 80 2 0 0 19 0 19 0 869465576 8749670400 25885 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 46912505819237 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32642/tid=32644] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32644/stat : 32644 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869465577 8749670400 25886 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32645] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32645/stat : 32645 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869465577 8749670400 25888 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32646] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32646/stat : 32646 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869465577 8749670400 25890 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32647] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32647/stat : 32647 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465577 8749670400 25891 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 4 0 0 0
[pid=32642/tid=32648] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32648/stat : 32648 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465577 8749670400 25892 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 6 0 0 0
[pid=32642/tid=32649] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32649/stat : 32649 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465577 8749670400 25893 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 4 0 0 0
[pid=32642/tid=32650] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32650/stat : 32650 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465577 8749670400 25894 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 4 0 0 0
[pid=32642/tid=32651] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32651/stat : 32651 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465577 8749670400 25896 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 6 0 0 0
[pid=32642/tid=32652] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32652/stat : 32652 (java) S 32640 32642 32642 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869465578 8749670400 25897 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134530560 0 0 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32653] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32653/stat : 32653 (java) S 32640 32642 32642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869465578 8749670400 25898 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32654] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32654/stat : 32654 (java) S 32640 32642 32642 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869465578 8749670400 25899 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32655] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32655/stat : 32655 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465580 8749670400 25900 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134537649 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32656] ppid=32640 vsize=8544600 CPUtime=0.61 cores=0,2,4,6
/proc/32642/task/32656/stat : 32656 (java) R 32640 32642 32642 0 -1 4202560 6550 0 0 0 60 1 0 0 25 0 19 0 869465580 8749670400 25901 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 47957493797403 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32642/tid=32657] ppid=32640 vsize=8544600 CPUtime=0.6 cores=0,2,4,6
/proc/32642/task/32657/stat : 32657 (java) R 32640 32642 32642 0 -1 4202560 7854 0 0 0 59 1 0 0 25 0 19 0 869465580 8749670400 25902 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 47957497600168 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32642/tid=32658] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32658/stat : 32658 (java) S 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869465580 8749670400 25903 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134529945 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32642/tid=32659] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32659/stat : 32659 (java) R 32640 32642 32642 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869465580 8749670400 25905 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134530560 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32642/tid=32660] ppid=32640 vsize=8544600 CPUtime=0 cores=0,2,4,6
/proc/32642/task/32660/stat : 32660 (java) S 32640 32642 32642 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869465612 8749670400 25906 33554432000 1073741824 1073778376 140736129262320 18446744073709551615 228134530560 0 4 0 16800975 18446604444385043776 0 0 -1 2 0 0 0
[pid=32596/tid=32604] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32604/stat : 32604 (python) S 32594 32596 31366 0 -1 4202560 28 1351 0 0 0 0 3 0 20 0 5 0 869451313 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
[pid=32596/tid=32609] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32609/stat : 32609 (python) S 32594 32596 31366 0 -1 4202560 25 1351 0 0 0 0 3 0 20 0 5 0 869456080 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 2 0 0 0
[pid=32596/tid=32615] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32615/stat : 32615 (python) S 32594 32596 31366 0 -1 4202560 29 1351 0 0 0 0 3 0 20 0 5 0 869460807 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 4 0 0 0
[pid=32596/tid=32641] ppid=32594 vsize=325616 CPUtime=0.03 cores=0,2,4,6
/proc/32596/task/32641/stat : 32641 (python) S 32594 32596 31366 0 -1 4202560 29 1351 0 0 0 0 3 0 20 0 5 0 869465575 333430784 7569 33554432000 4194304 5683644 140737240811280 18446744073709551615 228134537649 0 0 16781312 33554434 18446604443864017024 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 147
Current children cumulated vsize (KiB) 18788912
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32596 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=552915
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=108983
# CPU time returned by wait4() is 0.661898
# while last known CPU time is 147
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 144.178
CPU time (s): 147
CPU user time (s): 145.89
CPU system time (s): 1.11
CPU usage (%): 101.958
Max. virtual memory (cumulated for all children) (KiB): 18788912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.552915
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15034
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= 3273
involuntary context switches= 23
runsolver used 0.940856 second user time and 1.69874 second system time
The end