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-3481660-1307577672/watcher-3481660-1307577672 -o /tmp/evaluation-result-3481660-1307577672/solver-3481660-1307577672 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481660-1307577672.opb -seed 933537351 -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.51 2.10 1.51 2/546 17716
/proc/meminfo: memFree=23629024/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 996 0 0 0 0 0 0 0 17 0 1 0 947997952 16629760 868 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020056773 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17716/statm: 4060 869 368 364 0 547 0
[startup+0.0597661 s]
/proc/loadavg: 2.51 2.10 1.51 2/546 17716
/proc/meminfo: memFree=23629024/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=38908 CPUtime=0.04 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 1660 0 0 0 3 1 0 0 17 0 1 0 947997952 39841792 1487 33554432000 4194304 5683644 140734196712288 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17716/statm: 9727 1490 455 364 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 38908
[startup+0.100743 s]
/proc/loadavg: 2.51 2.10 1.51 2/546 17716
/proc/meminfo: memFree=23629024/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 3167 927 1 0 5 2 0 0 18 0 1 0 947997952 98430976 2483 33554432000 4194304 5683644 140734196712288 18446744073709551615 5158290 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17716/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300714 s]
/proc/loadavg: 2.51 2.10 1.51 2/546 17716
/proc/meminfo: memFree=23629024/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=202996 CPUtime=0.23 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 6685 927 1 0 15 8 0 0 17 0 1 0 947997952 207867904 4969 33554432000 4194304 5683644 140734196712288 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17716/statm: 50748 4970 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202996
[startup+0.700643 s]
/proc/loadavg: 2.51 2.10 1.51 2/546 17716
/proc/meminfo: memFree=23629024/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=310232 CPUtime=0.62 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 16034 927 1 0 49 13 0 0 17 0 1 0 947997952 317677568 13777 33554432000 4194304 5683644 140734196712288 18446744073709551615 47531308384890 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17716/statm: 77558 13777 1781 364 0 12451 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 310232
[startup+1.50052 s]
/proc/loadavg: 2.51 2.10 1.51 3/547 17721
/proc/meminfo: memFree=23570468/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=337592 CPUtime=1.42 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 22578 927 1 0 128 14 0 0 18 0 1 0 947997952 345694208 20321 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020056773 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17716/statm: 84398 20321 1781 364 0 19291 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 337592
[startup+3.10021 s]
/proc/loadavg: 2.51 2.10 1.51 4/547 17721
/proc/meminfo: memFree=23528076/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=399172 CPUtime=3.01 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 36118 927 1 0 285 16 0 0 22 0 1 0 947997952 408752128 33861 33554432000 4194304 5683644 140734196712288 18446744073709551615 47531141900997 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17716/statm: 99793 33862 1781 364 0 34686 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 399172
[startup+6.31361 s]
/proc/loadavg: 2.63 2.13 1.52 3/547 17721
/proc/meminfo: memFree=23484844/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=401268 CPUtime=6.23 cores=0,2,4,6
/proc/17716/stat : 17716 (python) R 17714 17716 16077 0 -1 4202496 58166 927 1 0 604 19 0 0 25 0 1 0 947997952 410898432 36609 33554432000 4194304 5683644 140734196712288 18446744073709551615 260023804585 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/17716/statm: 100317 36609 1816 364 0 35210 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 401268
[startup+12.7005 s]
/proc/loadavg: 2.58 2.12 1.52 3/550 17724
/proc/meminfo: memFree=23218144/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=419684 CPUtime=8.74 cores=0,2,4,6
/proc/17716/stat : 17716 (python) S 17714 17716 16077 0 -1 4202496 60507 927 1 0 854 20 0 0 25 0 2 0 947997952 429756416 38725 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17716/statm: 104921 38725 1862 364 0 39808 0
[pid=17722] ppid=17716 vsize=409440 CPUtime=0.01 cores=0,2,4,6
/proc/17722/stat : 17722 (python) S 17716 17716 16077 0 -1 4202560 888 0 0 0 0 1 0 0 15 0 1 0 947998833 419266560 37237 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020416015 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/17722/statm: 102360 37237 375 364 0 37247 0
[pid=17724] ppid=17722 vsize=614932 CPUtime=3.86 cores=0,2,4,6
/proc/17724/stat : 17724 (scip-2.0.1.linu) R 17722 17724 17724 0 -1 4202496 151105 0 0 0 370 16 0 0 25 0 1 0 947998834 629690368 150481 33554432000 4194304 13684479 140733343155120 18446744073709551615 6737602 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17724/statm: 153733 150481 541 2317 0 151411 0
[pid=17716/tid=17723] ppid=17714 vsize=419684 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17723/stat : 17723 (python) S 17714 17716 16077 0 -1 4202560 26 927 0 0 0 0 0 0 25 0 2 0 947998834 429756416 38725 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 1444056
[startup+25.5011 s]
/proc/loadavg: 2.45 2.12 1.53 3/550 17724
/proc/meminfo: memFree=22576068/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=419684 CPUtime=8.74 cores=0,2,4,6
/proc/17716/stat : 17716 (python) S 17714 17716 16077 0 -1 4202496 60507 927 1 0 854 20 0 0 25 0 2 0 947997952 429756416 38725 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17716/statm: 104921 38725 1862 364 0 39808 0
[pid=17722] ppid=17716 vsize=409440 CPUtime=0.04 cores=0,2,4,6
/proc/17722/stat : 17722 (python) S 17716 17716 16077 0 -1 4202560 895 0 0 0 2 2 0 0 15 0 1 0 947998833 419266560 37237 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020416015 0 0 16781312 33554946 72556772316949306 0 0 17 6 0 0 0
/proc/17722/statm: 102360 37237 375 364 0 37247 0
[pid=17724] ppid=17722 vsize=919524 CPUtime=16.66 cores=0,2,4,6
/proc/17724/stat : 17724 (scip-2.0.1.linu) R 17722 17724 17724 0 -1 4202496 245857 0 0 0 1582 84 0 0 25 0 1 0 947998834 941592576 223517 33554432000 4194304 13684479 140733343155120 18446744073709551615 5688624 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17724/statm: 229881 223517 715 2317 0 227559 0
[pid=17716/tid=17723] ppid=17714 vsize=419684 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17723/stat : 17723 (python) S 17714 17716 16077 0 -1 4202560 26 927 0 0 0 0 0 0 25 0 2 0 947998834 429756416 38725 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 1748648
[startup+51.1004 s]
/proc/loadavg: 2.24 2.09 1.54 3/550 17865
/proc/meminfo: memFree=21756084/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=419684 CPUtime=8.74 cores=0,2,4,6
/proc/17716/stat : 17716 (python) S 17714 17716 16077 0 -1 4202496 60507 927 1 0 854 20 0 0 25 0 2 0 947997952 429756416 38725 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17716/statm: 104921 38725 1862 364 0 39808 0
[pid=17722] ppid=17716 vsize=409440 CPUtime=0.12 cores=0,2,4,6
/proc/17722/stat : 17722 (python) S 17716 17716 16077 0 -1 4202560 916 0 0 0 5 7 0 0 15 0 1 0 947998833 419266560 37237 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020416015 0 0 16781312 33554946 2580588652639813632 0 0 17 6 0 0 0
/proc/17722/statm: 102360 37237 375 364 0 37247 0
[pid=17724] ppid=17722 vsize=1398956 CPUtime=42.27 cores=0,2,4,6
/proc/17724/stat : 17724 (scip-2.0.1.linu) R 17722 17724 17724 0 -1 4202496 357041 0 0 0 4107 120 0 0 25 0 1 0 947998834 1432530944 326035 33554432000 4194304 13684479 140733343155120 18446744073709551615 7095800 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17724/statm: 349739 326035 1084 2317 0 347417 0
[pid=17716/tid=17723] ppid=17714 vsize=419684 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17723/stat : 17723 (python) S 17714 17716 16077 0 -1 4202560 26 927 0 0 0 0 0 0 25 0 2 0 947998834 429756416 38725 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 2228080
[startup+102.301 s]
/proc/loadavg: 2.10 2.08 1.56 3/558 17874
/proc/meminfo: memFree=20942404/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=429940 CPUtime=8.76 cores=0,2,4,6
/proc/17716/stat : 17716 (python) S 17714 17716 16077 0 -1 4202496 61395 927 1 0 856 20 0 0 20 0 3 0 947997952 440258560 38741 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17716/statm: 107485 38741 1873 364 0 42369 0
[pid=17722] ppid=17716 vsize=419684 CPUtime=0.16 cores=0,2,4,6
/proc/17722/stat : 17722 (python) S 17716 17716 16077 0 -1 4202560 1140 0 0 0 7 9 0 0 16 0 2 0 947998833 429756416 37279 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17722/statm: 104921 37279 412 364 0 39808 0
[pid=17724] ppid=17722 vsize=1398956 CPUtime=49.55 cores=0,2,4,6
/proc/17724/stat : 17724 (scip-2.0.1.linu) T 17722 17724 17724 0 -1 4202496 357208 0 0 0 4834 121 0 0 25 0 1 0 947998834 1432530944 326191 33554432000 4194304 13684479 140733343155120 18446744073709551615 11824713 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17724/statm: 349739 326191 1113 2317 0 347417 0
[pid=17722/tid=17866] ppid=17716 vsize=419684 CPUtime=0 cores=0,2,4,6
/proc/17722/task/17866/stat : 17866 (python) S 17716 17716 16077 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 948003790 429756416 37279 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604447309894656 0 0 -1 6 0 0 0
[pid=17867] ppid=17716 vsize=419696 CPUtime=0.12 cores=0,2,4,6
/proc/17867/stat : 17867 (python) S 17716 17716 16077 0 -1 4202560 951 0 0 0 6 6 0 0 15 0 1 0 948003793 429768704 37240 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020416070 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/17867/statm: 104924 37240 372 364 0 39808 0
[pid=17869] ppid=17867 vsize=115352 CPUtime=43.87 cores=0,2,4,6
/proc/17869/stat : 17869 (wbo1.4a) R 17867 17869 17869 0 -1 4202496 70676 0 0 0 4370 17 0 0 25 0 1 0 948003793 118120448 27164 33554432000 134512640 135751879 4294319856 18446744073709551615 134518470 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/17869/statm: 28838 27164 146 303 0 28533 0
[pid=17716/tid=17723] ppid=17714 vsize=429940 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17723/stat : 17723 (python) S 17714 17716 16077 0 -1 4202560 26 927 0 0 0 0 0 0 25 0 3 0 947998834 440258560 38741 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
[pid=17716/tid=17868] ppid=17714 vsize=429940 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17868/stat : 17868 (python) S 17714 17716 16077 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 3 0 948003793 440258560 38741 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 2783628
[startup+162.302 s]
/proc/loadavg: 2.12 2.09 1.59 3/588 17906
/proc/meminfo: memFree=19328396/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=450452 CPUtime=8.82 cores=0,2,4,6
/proc/17716/stat : 17716 (python) S 17714 17716 16077 0 -1 4202496 63121 927 1 0 861 21 0 0 20 0 5 0 947997952 461262848 38755 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17716/statm: 112613 38755 1877 364 0 47491 0
[pid=17722] ppid=17716 vsize=419684 CPUtime=0.16 cores=0,2,4,6
/proc/17722/stat : 17722 (python) S 17716 17716 16077 0 -1 4202560 1140 0 0 0 7 9 0 0 16 0 2 0 947998833 429756416 37279 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17722/statm: 104921 37279 412 364 0 39808 0
[pid=17724] ppid=17722 vsize=1398956 CPUtime=49.55 cores=0,2,4,6
/proc/17724/stat : 17724 (scip-2.0.1.linu) T 17722 17724 17724 0 -1 4202496 357208 0 0 0 4834 121 0 0 25 0 1 0 947998834 1432530944 326191 33554432000 4194304 13684479 140733343155120 18446744073709551615 11824713 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17724/statm: 349739 326191 1113 2317 0 347417 0
[pid=17722/tid=17866] ppid=17716 vsize=419684 CPUtime=0 cores=0,2,4,6
/proc/17722/task/17866/stat : 17866 (python) S 17716 17716 16077 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 948003790 429756416 37279 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604447309894656 0 0 -1 6 0 0 0
[pid=17867] ppid=17716 vsize=419696 CPUtime=0.16 cores=0,2,4,6
/proc/17867/stat : 17867 (python) S 17716 17716 16077 0 -1 4202560 1123 0 0 0 8 8 0 0 16 0 2 0 948003793 429768704 37265 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17867/statm: 104924 37265 396 364 0 39808 0
[pid=17869] ppid=17867 vsize=115352 CPUtime=49.71 cores=0,2,4,6
/proc/17869/stat : 17869 (wbo1.4a) T 17867 17869 17869 0 -1 4202496 70676 0 0 0 4953 18 0 0 25 0 1 0 948003793 118120448 27164 33554432000 134512640 135751879 4294319856 18446744073709551615 134606393 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17869/statm: 28838 27164 146 303 0 28533 0
[pid=17867/tid=17875] ppid=17716 vsize=419696 CPUtime=0 cores=0,2,4,6
/proc/17867/task/17875/stat : 17875 (python) S 17716 17716 16077 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948008765 429768704 37265 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441910179712 0 0 -1 6 0 0 0
[pid=17876] ppid=17716 vsize=429952 CPUtime=0.14 cores=0,2,4,6
/proc/17876/stat : 17876 (python) S 17716 17716 16077 0 -1 4202560 1094 0 0 0 7 7 0 0 16 0 2 0 948008768 440270848 37270 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17876/statm: 107488 37270 396 364 0 42369 0
[pid=17878] ppid=17876 vsize=8538220 CPUtime=48.81 cores=0,2,4,6
/proc/17878/stat : 17878 (java) T 17876 17878 17878 0 -1 4202496 162825 0 1 0 4859 22 0 0 18 0 19 0 948008768 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17878/statm: 2134555 159452 2246 9 0 2125296 0
[pid=17878/tid=17879] ppid=17876 vsize=8538220 CPUtime=46.89 cores=0,2,4,6
/proc/17878/task/17879/stat : 17879 (java) T 17876 17878 17878 0 -1 4202560 116730 0 1 0 4674 15 0 0 25 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 46912506050809 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17880] ppid=17876 vsize=8538220 CPUtime=0.09 cores=0,2,4,6
################
# More data... #
################
[pid=17878/tid=17882] ppid=17876 vsize=8538220 CPUtime=0.1 cores=0,2,4,6
/proc/17878/task/17882/stat : 17882 (java) T 17876 17878 17878 0 -1 4202560 7113 0 0 0 10 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17883] ppid=17876 vsize=8538220 CPUtime=0.03 cores=0,2,4,6
/proc/17878/task/17883/stat : 17883 (java) T 17876 17878 17878 0 -1 4202560 2044 0 0 0 3 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17884] ppid=17876 vsize=8538220 CPUtime=0.06 cores=0,2,4,6
/proc/17878/task/17884/stat : 17884 (java) T 17876 17878 17878 0 -1 4202560 4078 0 0 0 6 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17885] ppid=17876 vsize=8538220 CPUtime=0.03 cores=0,2,4,6
/proc/17878/task/17885/stat : 17885 (java) T 17876 17878 17878 0 -1 4202560 2574 0 0 0 3 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17886] ppid=17876 vsize=8538220 CPUtime=0.08 cores=0,2,4,6
/proc/17878/task/17886/stat : 17886 (java) T 17876 17878 17878 0 -1 4202560 5004 0 0 0 8 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17887] ppid=17876 vsize=8538220 CPUtime=0.1 cores=0,2,4,6
/proc/17878/task/17887/stat : 17887 (java) T 17876 17878 17878 0 -1 4202560 7225 0 0 0 10 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17888] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17888/stat : 17888 (java) T 17876 17878 17878 0 -1 4202560 476 0 0 0 0 0 0 0 15 0 19 0 948008771 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17889] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17889/stat : 17889 (java) T 17876 17878 17878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948008772 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17890] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17890/stat : 17890 (java) T 17876 17878 17878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948008772 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17891] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17891/stat : 17891 (java) T 17876 17878 17878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17892] ppid=17876 vsize=8538220 CPUtime=0.58 cores=0,2,4,6
/proc/17878/task/17892/stat : 17892 (java) T 17876 17878 17878 0 -1 4202560 2549 0 0 0 58 0 0 0 15 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17893] ppid=17876 vsize=8538220 CPUtime=0.66 cores=0,2,4,6
/proc/17878/task/17893/stat : 17893 (java) T 17876 17878 17878 0 -1 4202560 3077 0 0 0 66 0 0 0 15 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17894] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17894/stat : 17894 (java) T 17876 17878 17878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17895] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17895/stat : 17895 (java) T 17876 17878 17878 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17897] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17897/stat : 17897 (java) T 17876 17878 17878 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948009098 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17876/tid=17903] ppid=17716 vsize=429952 CPUtime=0 cores=0,2,4,6
/proc/17876/task/17903/stat : 17903 (python) S 17716 17716 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948013481 440270848 37270 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604442279085120 0 0 -1 6 0 0 0
[pid=17904] ppid=17716 vsize=440208 CPUtime=0.17 cores=0,2,4,6
/proc/17904/stat : 17904 (python) S 17716 17716 16077 0 -1 4202560 1129 0 0 0 7 10 0 0 17 0 2 0 948013484 450772992 37275 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17904/statm: 110052 37275 396 364 0 44930 0
[pid=17906] ppid=17904 vsize=1348484 CPUtime=49.65 cores=0,2,4,6
/proc/17906/stat : 17906 (scip-2.0.1.linu) T 17904 17906 17906 0 -1 4202496 319653 0 0 0 4848 117 0 0 25 0 1 0 948013484 1380847616 294686 33554432000 4194304 15243407 140734742288736 18446744073709551615 13225859 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17906/statm: 337121 294686 905 2698 0 334416 0
[pid=17904/tid=17930] ppid=17716 vsize=440208 CPUtime=0 cores=0,2,4,6
/proc/17904/task/17930/stat : 17930 (python) S 17716 17716 16077 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948018453 450772992 37275 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604444696869056 0 0 -1 0 0 0 0
[pid=17931] ppid=17716 vsize=450464 CPUtime=0.71 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17716 17716 16077 0 -1 4202560 1026 0 0 0 37 34 0 0 15 0 1 0 948018455 461275136 37255 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020416070 0 0 16781312 33554946 72556772316949306 0 0 17 6 0 0 0
/proc/17931/statm: 112616 37255 372 364 0 47491 0
[pid=17933] ppid=17931 vsize=1852388 CPUtime=234.46 cores=0,2,4,6
/proc/17933/stat : 17933 (bsolo_pb10) R 17931 17933 17933 0 -1 4202496 757837 0 0 0 23338 108 0 0 25 0 1 0 948018456 1896845312 460349 33554432000 134512640 137138936 4287684800 18446744073709551615 134606663 0 0 16781312 16384 0 0 0 17 4 0 0 0
/proc/17933/statm: 463097 460349 192 642 0 462453 0
[pid=17716/tid=17723] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17723/stat : 17723 (python) S 17714 17716 16077 0 -1 4202560 26 927 0 0 0 0 0 0 25 0 6 0 947998834 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
[pid=17716/tid=17868] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17868/stat : 17868 (python) S 17714 17716 16077 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 948003793 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
[pid=17716/tid=17877] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17877/stat : 17877 (python) S 17714 17716 16077 0 -1 4202560 33 927 0 0 0 0 0 0 20 0 6 0 948008768 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 6 0 0 0
[pid=17716/tid=17905] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17905/stat : 17905 (python) S 17714 17716 16077 0 -1 4202560 31 927 0 0 0 0 0 0 20 0 6 0 948013484 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
[pid=17716/tid=17932] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17932/stat : 17932 (python) S 17714 17716 16077 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 6 0 948018456 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 442.36
Current children cumulated vsize (KiB) 15874112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+439.501 s]
/proc/loadavg: 2.00 2.04 1.69 3/615 17940
/proc/meminfo: memFree=14824616/32951124 swapFree=67056304/67111528
[pid=17716] ppid=17714 vsize=460708 CPUtime=8.84 cores=0,2,4,6
/proc/17716/stat : 17716 (python) S 17714 17716 16077 0 -1 4202496 64039 927 1 0 863 21 0 0 20 0 6 0 947997952 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17716/statm: 115177 38762 1879 364 0 50052 0
[pid=17722] ppid=17716 vsize=419684 CPUtime=0.16 cores=0,2,4,6
/proc/17722/stat : 17722 (python) S 17716 17716 16077 0 -1 4202560 1140 0 0 0 7 9 0 0 16 0 2 0 947998833 429756416 37279 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17722/statm: 104921 37279 412 364 0 39808 0
[pid=17724] ppid=17722 vsize=1398956 CPUtime=49.55 cores=0,2,4,6
/proc/17724/stat : 17724 (scip-2.0.1.linu) T 17722 17724 17724 0 -1 4202496 357208 0 0 0 4834 121 0 0 25 0 1 0 947998834 1432530944 326191 33554432000 4194304 13684479 140733343155120 18446744073709551615 11824713 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17724/statm: 349739 326191 1113 2317 0 347417 0
[pid=17722/tid=17866] ppid=17716 vsize=419684 CPUtime=0 cores=0,2,4,6
/proc/17722/task/17866/stat : 17866 (python) S 17716 17716 16077 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 948003790 429756416 37279 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604447309894656 0 0 -1 6 0 0 0
[pid=17867] ppid=17716 vsize=419696 CPUtime=0.16 cores=0,2,4,6
/proc/17867/stat : 17867 (python) S 17716 17716 16077 0 -1 4202560 1123 0 0 0 8 8 0 0 16 0 2 0 948003793 429768704 37265 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17867/statm: 104924 37265 396 364 0 39808 0
[pid=17869] ppid=17867 vsize=115352 CPUtime=49.71 cores=0,2,4,6
/proc/17869/stat : 17869 (wbo1.4a) T 17867 17869 17869 0 -1 4202496 70676 0 0 0 4953 18 0 0 25 0 1 0 948003793 118120448 27164 33554432000 134512640 135751879 4294319856 18446744073709551615 134606393 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/17869/statm: 28838 27164 146 303 0 28533 0
[pid=17867/tid=17875] ppid=17716 vsize=419696 CPUtime=0 cores=0,2,4,6
/proc/17867/task/17875/stat : 17875 (python) S 17716 17716 16077 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 948008765 429768704 37265 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604441910179712 0 0 -1 6 0 0 0
[pid=17876] ppid=17716 vsize=429952 CPUtime=0.14 cores=0,2,4,6
/proc/17876/stat : 17876 (python) S 17716 17716 16077 0 -1 4202560 1094 0 0 0 7 7 0 0 16 0 2 0 948008768 440270848 37270 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17876/statm: 107488 37270 396 364 0 42369 0
[pid=17878] ppid=17876 vsize=8538220 CPUtime=48.81 cores=0,2,4,6
/proc/17878/stat : 17878 (java) T 17876 17878 17878 0 -1 4202496 162825 0 1 0 4859 22 0 0 18 0 19 0 948008768 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17878/statm: 2134555 159452 2246 9 0 2125296 0
[pid=17878/tid=17879] ppid=17876 vsize=8538220 CPUtime=46.89 cores=0,2,4,6
/proc/17878/task/17879/stat : 17879 (java) T 17876 17878 17878 0 -1 4202560 116730 0 1 0 4674 15 0 0 25 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 46912506050809 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17880] ppid=17876 vsize=8538220 CPUtime=0.09 cores=0,2,4,6
/proc/17878/task/17880/stat : 17880 (java) T 17876 17878 17878 0 -1 4202560 6322 0 0 0 9 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17881] ppid=17876 vsize=8538220 CPUtime=0.06 cores=0,2,4,6
/proc/17878/task/17881/stat : 17881 (java) T 17876 17878 17878 0 -1 4202560 4241 0 0 0 6 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17882] ppid=17876 vsize=8538220 CPUtime=0.1 cores=0,2,4,6
/proc/17878/task/17882/stat : 17882 (java) T 17876 17878 17878 0 -1 4202560 7113 0 0 0 10 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17883] ppid=17876 vsize=8538220 CPUtime=0.03 cores=0,2,4,6
/proc/17878/task/17883/stat : 17883 (java) T 17876 17878 17878 0 -1 4202560 2044 0 0 0 3 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17884] ppid=17876 vsize=8538220 CPUtime=0.06 cores=0,2,4,6
/proc/17878/task/17884/stat : 17884 (java) T 17876 17878 17878 0 -1 4202560 4078 0 0 0 6 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17885] ppid=17876 vsize=8538220 CPUtime=0.03 cores=0,2,4,6
/proc/17878/task/17885/stat : 17885 (java) T 17876 17878 17878 0 -1 4202560 2574 0 0 0 3 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17886] ppid=17876 vsize=8538220 CPUtime=0.08 cores=0,2,4,6
/proc/17878/task/17886/stat : 17886 (java) T 17876 17878 17878 0 -1 4202560 5004 0 0 0 8 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17878/tid=17887] ppid=17876 vsize=8538220 CPUtime=0.1 cores=0,2,4,6
/proc/17878/task/17887/stat : 17887 (java) T 17876 17878 17878 0 -1 4202560 7225 0 0 0 10 0 0 0 15 0 19 0 948008770 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17888] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17888/stat : 17888 (java) T 17876 17878 17878 0 -1 4202560 476 0 0 0 0 0 0 0 15 0 19 0 948008771 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032212480 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17889] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17889/stat : 17889 (java) T 17876 17878 17878 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948008772 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17890] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17890/stat : 17890 (java) T 17876 17878 17878 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948008772 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17891] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17891/stat : 17891 (java) T 17876 17878 17878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032219569 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17892] ppid=17876 vsize=8538220 CPUtime=0.58 cores=0,2,4,6
/proc/17878/task/17892/stat : 17892 (java) T 17876 17878 17878 0 -1 4202560 2549 0 0 0 58 0 0 0 15 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17893] ppid=17876 vsize=8538220 CPUtime=0.66 cores=0,2,4,6
/proc/17878/task/17893/stat : 17893 (java) T 17876 17878 17878 0 -1 4202560 3077 0 0 0 66 0 0 0 15 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17894] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17894/stat : 17894 (java) T 17876 17878 17878 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032211865 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17878/tid=17895] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17895/stat : 17895 (java) T 17876 17878 17878 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948008774 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17878/tid=17897] ppid=17876 vsize=8538220 CPUtime=0 cores=0,2,4,6
/proc/17878/task/17897/stat : 17897 (java) T 17876 17878 17878 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948009098 8743137280 159452 33554432000 1073741824 1073778376 140736791203200 18446744073709551615 260032212480 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17876/tid=17903] ppid=17716 vsize=429952 CPUtime=0 cores=0,2,4,6
/proc/17876/task/17903/stat : 17903 (python) S 17716 17716 16077 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 948013481 440270848 37270 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604442279085120 0 0 -1 6 0 0 0
[pid=17904] ppid=17716 vsize=440208 CPUtime=0.17 cores=0,2,4,6
/proc/17904/stat : 17904 (python) S 17716 17716 16077 0 -1 4202560 1129 0 0 0 7 10 0 0 17 0 2 0 948013484 450772992 37275 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17904/statm: 110052 37275 396 364 0 44930 0
[pid=17906] ppid=17904 vsize=1348484 CPUtime=49.65 cores=0,2,4,6
/proc/17906/stat : 17906 (scip-2.0.1.linu) T 17904 17906 17906 0 -1 4202496 319653 0 0 0 4848 117 0 0 25 0 1 0 948013484 1380847616 294686 33554432000 4194304 15243407 140734742288736 18446744073709551615 13225859 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17906/statm: 337121 294686 905 2698 0 334416 0
[pid=17904/tid=17930] ppid=17716 vsize=440208 CPUtime=0 cores=0,2,4,6
/proc/17904/task/17930/stat : 17930 (python) S 17716 17716 16077 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 948018453 450772992 37275 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554946 18446604444696869056 0 0 -1 0 0 0 0
[pid=17931] ppid=17716 vsize=450464 CPUtime=0.71 cores=0,2,4,6
/proc/17931/stat : 17931 (python) S 17716 17716 16077 0 -1 4202560 1026 0 0 0 37 34 0 0 15 0 1 0 948018455 461275136 37255 33554432000 4194304 5683644 140734196712288 18446744073709551615 260020416070 0 0 16781312 33554946 72556772316949306 0 0 17 6 0 0 0
/proc/17931/statm: 112616 37255 372 364 0 47491 0
[pid=17933] ppid=17931 vsize=1852388 CPUtime=234.46 cores=0,2,4,6
/proc/17933/stat : 17933 (bsolo_pb10) R 17931 17933 17933 0 -1 4202496 757837 0 0 0 23338 108 0 0 25 0 1 0 948018456 1896845312 460349 33554432000 134512640 137138936 4287684800 18446744073709551615 134606663 0 0 16781312 16384 0 0 0 17 4 0 0 0
/proc/17933/statm: 463097 460349 192 642 0 462453 0
[pid=17716/tid=17723] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17723/stat : 17723 (python) S 17714 17716 16077 0 -1 4202560 26 927 0 0 0 0 0 0 25 0 6 0 947998834 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
[pid=17716/tid=17868] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17868/stat : 17868 (python) S 17714 17716 16077 0 -1 4202560 28 927 0 0 0 0 0 0 20 0 6 0 948003793 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
[pid=17716/tid=17877] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17877/stat : 17877 (python) S 17714 17716 16077 0 -1 4202560 33 927 0 0 0 0 0 0 20 0 6 0 948008768 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 6 0 0 0
[pid=17716/tid=17905] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17905/stat : 17905 (python) S 17714 17716 16077 0 -1 4202560 31 927 0 0 0 0 0 0 20 0 6 0 948013484 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 0 0 0 0
[pid=17716/tid=17932] ppid=17714 vsize=460708 CPUtime=0 cores=0,2,4,6
/proc/17716/task/17932/stat : 17932 (python) S 17714 17716 16077 0 -1 4202560 29 927 0 0 0 0 0 0 20 0 6 0 948018456 471764992 38762 33554432000 4194304 5683644 140734196712288 18446744073709551615 260032219569 0 0 16781312 33554434 18446604441910178816 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 442.36
Current children cumulated vsize (KiB) 15874112
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17716 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=639686
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=225965
# CPU time returned by wait4() is 8.86565
# while last known CPU time is 442.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 439.559
CPU time (s): 442.36
CPU user time (s): 437.61
CPU system time (s): 4.75
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 15874112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.63969
system time used= 0.225965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64968
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= 1007
involuntary context switches= 38
runsolver used 2.6036 second user time and 5.45217 second system time
The end