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-3482890-1307578647/watcher-3482890-1307578647 -o /tmp/evaluation-result-3482890-1307578647/solver-3482890-1307578647 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482890-1307578647.opb -seed 207202081 -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.46 2.15 1.94 2/517 4483
/proc/meminfo: memFree=19995504/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 792 0 0 0 0 0 0 0 20 0 1 0 602057193 15749120 679 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/4483/statm: 3845 679 322 364 0 332 0
[startup+0.0265449 s]
/proc/loadavg: 2.46 2.15 1.94 2/517 4483
/proc/meminfo: memFree=19995504/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 1117 0 0 0 1 0 0 0 20 0 1 0 602057193 16793600 984 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660658021 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4483/statm: 4100 984 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+0.101748 s]
/proc/loadavg: 2.46 2.15 1.94 2/517 4483
/proc/meminfo: memFree=19995504/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=87832 CPUtime=0.06 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 2692 0 0 0 5 1 0 0 17 0 1 0 602057193 89939968 2407 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4483/statm: 21958 2407 735 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87832
[startup+0.300455 s]
/proc/loadavg: 2.46 2.15 1.94 2/517 4483
/proc/meminfo: memFree=19995504/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=123744 CPUtime=0.17 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 5360 931 1 0 13 4 0 0 17 0 1 0 602057193 126713856 3746 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660658181 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/4483/statm: 30936 3746 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700389 s]
/proc/loadavg: 2.46 2.15 1.94 2/517 4483
/proc/meminfo: memFree=19995504/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=656464 CPUtime=0.46 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 36961 931 1 0 31 15 0 0 16 0 1 0 602057193 672219136 34822 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660662016 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/4483/statm: 164116 34822 1776 364 0 99009 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 656464
[startup+1.50028 s]
/proc/loadavg: 2.46 2.15 1.94 3/518 4488
/proc/meminfo: memFree=19556660/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=679016 CPUtime=1.26 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 108067 931 1 0 98 28 0 0 17 0 1 0 602057193 695312384 105928 33554432000 4194304 5683644 140734965299328 18446744073709551615 4571256 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4483/statm: 169754 105928 1781 364 0 104647 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 679016
[startup+3.11899 s]
/proc/loadavg: 2.66 2.19 1.95 3/518 4488
/proc/meminfo: memFree=19421280/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=734436 CPUtime=2.87 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 121665 931 1 0 257 30 0 0 19 0 1 0 602057193 752062464 119526 33554432000 4194304 5683644 140734965299328 18446744073709551615 4603065 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4483/statm: 183609 119526 1781 364 0 118502 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 734436
[startup+6.30043 s]
/proc/loadavg: 2.66 2.19 1.95 3/518 4489
/proc/meminfo: memFree=19204536/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=847416 CPUtime=6.06 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 148531 931 1 0 573 33 0 0 25 0 1 0 602057193 867753984 146392 33554432000 4194304 5683644 140734965299328 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4483/statm: 211854 146392 1781 364 0 146747 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 847416
[startup+12.7003 s]
/proc/loadavg: 2.56 2.19 1.95 3/518 4489
/proc/meminfo: memFree=18832172/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=1065768 CPUtime=12.44 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 202483 931 1 0 1203 41 0 0 25 0 1 0 602057193 1091346432 200344 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660323013 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4483/statm: 266442 200344 1781 364 0 201335 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 1065768
[startup+25.501 s]
/proc/loadavg: 2.55 2.20 1.96 3/518 4489
/proc/meminfo: memFree=17851140/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=1498588 CPUtime=25.25 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 310047 931 1 0 2469 56 0 0 25 0 1 0 602057193 1534554112 307908 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660023024 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4483/statm: 374647 307910 1781 364 0 309540 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 1498588
[startup+51.1005 s]
/proc/loadavg: 2.36 2.18 1.96 3/518 4490
/proc/meminfo: memFree=17031188/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=2510748 CPUtime=50.85 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 553638 931 1 0 4994 91 0 0 25 0 1 0 602057193 2571005952 551499 33554432000 4194304 5683644 140734965299328 18446744073709551615 47247971050089 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/4483/statm: 627687 551499 1781 364 0 562580 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 2510748
[startup+102.3 s]
/proc/loadavg: 2.14 2.15 1.96 3/518 4491
/proc/meminfo: memFree=16940616/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=2421736 CPUtime=102.05 cores=1,3,5,7
/proc/4483/stat : 4483 (python) R 4481 4483 3857 0 -1 4202496 951889 931 1 0 10065 140 0 0 25 0 1 0 602057193 2479857664 541781 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660329349 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/4483/statm: 605434 541781 1816 364 0 540327 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 2421736
[startup+162.301 s]
/proc/loadavg: 2.18 2.15 1.97 3/528 4503
/proc/meminfo: memFree=17089268/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=1901556 CPUtime=158.68 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 1108294 931 1 0 15702 166 0 0 25 0 2 0 602057193 1947193344 409244 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/4483/statm: 475389 409244 1872 364 0 410276 0
[pid=4501] ppid=4483 vsize=1892396 CPUtime=0.04 cores=1,3,5,7
/proc/4501/stat : 4501 (python) S 4483 4483 3857 0 -1 4202560 869 0 0 0 0 4 0 0 18 0 1 0 602073083 1937813504 407746 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660682255 0 0 16781312 33554946 807747322468335878 0 0 17 5 0 0 0
/proc/4501/statm: 473099 407746 377 364 0 407986 0
[pid=4503] ppid=4501 vsize=455248 CPUtime=3.33 cores=1,3,5,7
/proc/4503/stat : 4503 (wbo1.4b-fixed) R 4501 4503 4503 0 -1 4202496 31507 0 0 0 327 6 0 0 25 0 1 0 602073086 466173952 31179 33554432000 134512640 135752315 4292989808 18446744073709551615 135228897 0 0 16781312 3 0 0 0 17 7 0 0 0
/proc/4503/statm: 113812 31179 11667 303 0 19994 0
[pid=4483/tid=4502] ppid=4481 vsize=1901556 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4502/stat : 4502 (python) S 4481 4483 3857 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 2 0 602073085 1947193344 409244 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 4249200
[startup+222.301 s]
/proc/loadavg: 2.11 2.14 1.98 3/536 4512
/proc/meminfo: memFree=15278360/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=1912836 CPUtime=158.73 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 1109199 931 1 0 15704 169 0 0 20 0 3 0 602057193 1958744064 409395 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/4483/statm: 478209 409395 1875 364 0 413093 0
[pid=4501] ppid=4483 vsize=1902640 CPUtime=0.23 cores=1,3,5,7
/proc/4501/stat : 4501 (python) S 4483 4483 3857 0 -1 4202560 1122 0 0 0 9 14 0 0 16 0 2 0 602073083 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4501/statm: 475660 407786 412 364 0 410547 0
[pid=4503] ppid=4501 vsize=806404 CPUtime=46.37 cores=1,3,5,7
/proc/4503/stat : 4503 (wbo1.4b-fixed) T 4501 4503 4503 0 -1 4202496 301196 0 0 0 4597 40 0 0 25 0 1 0 602073086 825757696 197946 33554432000 134512640 135752315 4292989808 18446744073709551615 134611730 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/4503/statm: 201601 197946 146 303 0 201296 0
[pid=4501/tid=4509] ppid=4483 vsize=1902640 CPUtime=0 cores=1,3,5,7
/proc/4501/task/4509/stat : 4509 (python) S 4483 4483 3857 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 602077734 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604465715562624 0 0 -1 5 0 0 0
[pid=4510] ppid=4483 vsize=1903748 CPUtime=0.08 cores=1,3,5,7
/proc/4510/stat : 4510 (python) S 4483 4483 3857 0 -1 4202560 921 0 0 0 3 5 0 0 18 0 1 0 602077736 1949437952 407893 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660682310 0 0 16781312 33554946 5623753486446373624 0 0 17 7 0 0 0
/proc/4510/statm: 475937 407893 374 364 0 410821 0
[pid=4512] ppid=4510 vsize=207208 CPUtime=16.8 cores=1,3,5,7
/proc/4512/stat : 4512 (pbct-0.1.2-linu) R 4510 4512 4512 0 -1 4202496 53725 0 0 0 1668 12 0 0 25 0 1 0 602077739 212180992 51307 33554432000 134512640 136422188 4292486624 18446744073709551615 134517445 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/4512/statm: 51802 51308 144 467 0 51333 0
[pid=4483/tid=4502] ppid=4481 vsize=1912836 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4502/stat : 4502 (python) S 4481 4483 3857 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 3 0 602073085 1958744064 409395 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
[pid=4483/tid=4511] ppid=4481 vsize=1912836 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4511/stat : 4511 (python) S 4481 4483 3857 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 3 0 602077739 1958744064 409395 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 6732836
[startup+282.301 s]
/proc/loadavg: 2.04 2.11 1.98 3/544 4522
/proc/meminfo: memFree=12678060/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=1923092 CPUtime=158.78 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 1110085 931 1 0 15706 172 0 0 20 0 4 0 602057193 1969246208 409401 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4483/statm: 480773 409401 1877 364 0 415654 0
[pid=4501] ppid=4483 vsize=1902640 CPUtime=0.23 cores=1,3,5,7
/proc/4501/stat : 4501 (python) S 4483 4483 3857 0 -1 4202560 1122 0 0 0 9 14 0 0 16 0 2 0 602073083 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4501/statm: 475660 407786 412 364 0 410547 0
[pid=4503] ppid=4501 vsize=806404 CPUtime=46.37 cores=1,3,5,7
/proc/4503/stat : 4503 (wbo1.4b-fixed) T 4501 4503 4503 0 -1 4202496 301196 0 0 0 4597 40 0 0 25 0 1 0 602073086 825757696 197946 33554432000 134512640 135752315 4292989808 18446744073709551615 134611730 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/4503/statm: 201601 197946 146 303 0 201296 0
[pid=4501/tid=4509] ppid=4483 vsize=1902640 CPUtime=0 cores=1,3,5,7
/proc/4501/task/4509/stat : 4509 (python) S 4483 4483 3857 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 602077734 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604465715562624 0 0 -1 5 0 0 0
[pid=4510] ppid=4483 vsize=1903748 CPUtime=0.23 cores=1,3,5,7
/proc/4510/stat : 4510 (python) S 4483 4483 3857 0 -1 4202560 1104 0 0 0 9 14 0 0 19 0 2 0 602077736 1949437952 407917 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4510/statm: 475937 407917 397 364 0 410821 0
[pid=4512] ppid=4510 vsize=586804 CPUtime=47.22 cores=1,3,5,7
/proc/4512/stat : 4512 (pbct-0.1.2-linu) T 4510 4512 4512 0 -1 4202496 152484 0 0 0 4691 31 0 0 25 0 1 0 602077739 600887296 143150 33554432000 134512640 136422188 4292486624 18446744073709551615 135806236 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/4512/statm: 146701 143150 144 467 0 146232 0
[pid=4510/tid=4518] ppid=4483 vsize=1903748 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (python) S 4483 4483 3857 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 602082465 1949437952 407917 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604468027634752 0 0 -1 7 0 0 0
[pid=4519] ppid=4483 vsize=1914004 CPUtime=0.15 cores=1,3,5,7
/proc/4519/stat : 4519 (python) S 4483 4483 3857 0 -1 4202560 918 0 0 0 5 10 0 0 18 0 1 0 602082467 1959940096 407897 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660682310 0 0 16781312 33554946 5623753486446373624 0 0 17 7 0 0 0
/proc/4519/statm: 478501 407897 374 364 0 413382 0
[pid=4521] ppid=4519 vsize=954068 CPUtime=29.49 cores=1,3,5,7
/proc/4521/stat : 4521 (wbo1.4a) R 4519 4521 4521 0 -1 4202496 233923 0 0 0 2923 26 0 0 25 0 1 0 602082470 976965632 232249 33554432000 134512640 135751879 4287721600 18446744073709551615 135206651 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/4521/statm: 238517 232249 90944 303 0 144699 0
[pid=4483/tid=4502] ppid=4481 vsize=1923092 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4502/stat : 4502 (python) S 4481 4483 3857 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 4 0 602073085 1969246208 409401 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
[pid=4483/tid=4511] ppid=4481 vsize=1923092 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4511/stat : 4511 (python) S 4481 4483 3857 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 602077739 1969246208 409401 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 5 0 0 0
[pid=4483/tid=4520] ppid=4481 vsize=1923092 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4520/stat : 4520 (python) S 4481 4483 3857 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 4 0 602082470 1969246208 409401 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 282.47
Current children cumulated vsize (KiB) 9990760
[startup+342.301 s]
/proc/loadavg: 2.01 2.08 1.98 3/552 4532
/proc/meminfo: memFree=7236556/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=1933348 CPUtime=158.83 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 1110984 931 1 0 15708 175 0 0 20 0 5 0 602057193 1979748352 409407 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4483/statm: 483337 409407 1879 364 0 418215 0
[pid=4501] ppid=4483 vsize=1902640 CPUtime=0.23 cores=1,3,5,7
/proc/4501/stat : 4501 (python) S 4483 4483 3857 0 -1 4202560 1122 0 0 0 9 14 0 0 16 0 2 0 602073083 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4501/statm: 475660 407786 412 364 0 410547 0
[pid=4503] ppid=4501 vsize=806404 CPUtime=46.37 cores=1,3,5,7
/proc/4503/stat : 4503 (wbo1.4b-fixed) T 4501 4503 4503 0 -1 4202496 301196 0 0 0 4597 40 0 0 25 0 1 0 602073086 825757696 197946 33554432000 134512640 135752315 4292989808 18446744073709551615 134611730 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/4503/statm: 201601 197946 146 303 0 201296 0
[pid=4501/tid=4509] ppid=4483 vsize=1902640 CPUtime=0 cores=1,3,5,7
/proc/4501/task/4509/stat : 4509 (python) S 4483 4483 3857 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 602077734 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604465715562624 0 0 -1 5 0 0 0
[pid=4510] ppid=4483 vsize=1903748 CPUtime=0.23 cores=1,3,5,7
/proc/4510/stat : 4510 (python) S 4483 4483 3857 0 -1 4202560 1104 0 0 0 9 14 0 0 19 0 2 0 602077736 1949437952 407917 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4510/statm: 475937 407917 397 364 0 410821 0
[pid=4512] ppid=4510 vsize=586804 CPUtime=47.22 cores=1,3,5,7
/proc/4512/stat : 4512 (pbct-0.1.2-linu) T 4510 4512 4512 0 -1 4202496 152484 0 0 0 4691 31 0 0 25 0 1 0 602077739 600887296 143150 33554432000 134512640 136422188 4292486624 18446744073709551615 135806236 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/4512/statm: 146701 143150 144 467 0 146232 0
[pid=4510/tid=4518] ppid=4483 vsize=1903748 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (python) S 4483 4483 3857 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 602082465 1949437952 407917 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604468027634752 0 0 -1 7 0 0 0
[pid=4519] ppid=4483 vsize=1914004 CPUtime=0.23 cores=1,3,5,7
/proc/4519/stat : 4519 (python) S 4483 4483 3857 0 -1 4202560 1085 0 0 0 9 14 0 0 17 0 2 0 602082467 1959940096 407921 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4519/statm: 478501 407921 397 364 0 413382 0
[pid=4521] ppid=4519 vsize=667116 CPUtime=46.03 cores=1,3,5,7
/proc/4521/stat : 4521 (wbo1.4a) T 4519 4521 4521 0 -1 4202496 266385 0 0 0 4566 37 0 0 25 0 1 0 602082470 683126784 163128 33554432000 134512640 135751879 4287721600 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/4521/statm: 166779 163128 143 303 0 166474 0
[pid=4519/tid=4527] ppid=4483 vsize=1914004 CPUtime=0 cores=1,3,5,7
/proc/4519/task/4527/stat : 4527 (python) S 4483 4483 3857 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 602087077 1959940096 407921 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604454854550592 0 0 -1 7 0 0 0
[pid=4528] ppid=4483 vsize=1924260 CPUtime=0.21 cores=1,3,5,7
/proc/4528/stat : 4528 (python) S 4483 4483 3857 0 -1 4202560 960 0 0 0 7 14 0 0 18 0 1 0 602087080 1970442240 407901 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660682310 0 0 16781312 33554946 5623753486446373624 0 0 17 7 0 0 0
/proc/4528/statm: 481065 407901 374 364 0 415943 0
[pid=4530] ppid=4528 vsize=2359960 CPUtime=43.37 cores=1,3,5,7
/proc/4530/stat : 4530 (scip-2.0.1.linu) R 4528 4530 4530 0 -1 4202496 586986 0 0 0 4263 74 0 0 25 0 1 0 602087083 2416599040 586700 33554432000 4194304 15243407 140734509672768 18446744073709551615 12078768 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/4530/statm: 589990 586700 533 2698 0 587285 0
[pid=4483/tid=4502] ppid=4481 vsize=1933348 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4502/stat : 4502 (python) S 4481 4483 3857 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 5 0 602073085 1979748352 409407 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
[pid=4483/tid=4511] ppid=4481 vsize=1933348 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4511/stat : 4511 (python) S 4481 4483 3857 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 602077739 1979748352 409407 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 5 0 0 0
[pid=4483/tid=4520] ppid=4481 vsize=1933348 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4520/stat : 4520 (python) S 4481 4483 3857 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 5 0 602082470 1979748352 409407 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
[pid=4483/tid=4529] ppid=4481 vsize=1933348 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4529/stat : 4529 (python) S 4481 4483 3857 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 5 0 602087082 1979748352 409407 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 342.72
Current children cumulated vsize (KiB) 13998284
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+347.301 s]
/proc/loadavg: 2.01 2.08 1.98 4/557 4537
/proc/meminfo: memFree=6691832/32951124 swapFree=46575304/67111528
[pid=4483] ppid=4481 vsize=1943604 CPUtime=158.88 cores=1,3,5,7
/proc/4483/stat : 4483 (python) S 4481 4483 3857 0 -1 4202496 1111904 931 1 0 15710 178 0 0 20 0 6 0 602057193 1990250496 409413 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/4483/statm: 485901 409413 1881 364 0 420776 0
[pid=4501] ppid=4483 vsize=1902640 CPUtime=0.23 cores=1,3,5,7
/proc/4501/stat : 4501 (python) S 4483 4483 3857 0 -1 4202560 1122 0 0 0 9 14 0 0 16 0 2 0 602073083 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4501/statm: 475660 407786 412 364 0 410547 0
[pid=4503] ppid=4501 vsize=806404 CPUtime=46.37 cores=1,3,5,7
/proc/4503/stat : 4503 (wbo1.4b-fixed) T 4501 4503 4503 0 -1 4202496 301196 0 0 0 4597 40 0 0 25 0 1 0 602073086 825757696 197946 33554432000 134512640 135752315 4292989808 18446744073709551615 134611730 0 0 16781312 3 18446744071562691360 0 0 17 7 0 0 0
/proc/4503/statm: 201601 197946 146 303 0 201296 0
[pid=4501/tid=4509] ppid=4483 vsize=1902640 CPUtime=0 cores=1,3,5,7
/proc/4501/task/4509/stat : 4509 (python) S 4483 4483 3857 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 602077734 1948303360 407786 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604465715562624 0 0 -1 5 0 0 0
[pid=4510] ppid=4483 vsize=1903748 CPUtime=0.23 cores=1,3,5,7
/proc/4510/stat : 4510 (python) S 4483 4483 3857 0 -1 4202560 1104 0 0 0 9 14 0 0 19 0 2 0 602077736 1949437952 407917 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/4510/statm: 475937 407917 397 364 0 410821 0
[pid=4512] ppid=4510 vsize=586804 CPUtime=47.22 cores=1,3,5,7
/proc/4512/stat : 4512 (pbct-0.1.2-linu) T 4510 4512 4512 0 -1 4202496 152484 0 0 0 4691 31 0 0 25 0 1 0 602077739 600887296 143150 33554432000 134512640 136422188 4292486624 18446744073709551615 135806236 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/4512/statm: 146701 143150 144 467 0 146232 0
[pid=4510/tid=4518] ppid=4483 vsize=1903748 CPUtime=0 cores=1,3,5,7
/proc/4510/task/4518/stat : 4518 (python) S 4483 4483 3857 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 602082465 1949437952 407917 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604468027634752 0 0 -1 7 0 0 0
[pid=4519] ppid=4483 vsize=1914004 CPUtime=0.23 cores=1,3,5,7
/proc/4519/stat : 4519 (python) S 4483 4483 3857 0 -1 4202560 1085 0 0 0 9 14 0 0 17 0 2 0 602082467 1959940096 407921 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4519/statm: 478501 407921 397 364 0 413382 0
[pid=4521] ppid=4519 vsize=667116 CPUtime=46.03 cores=1,3,5,7
/proc/4521/stat : 4521 (wbo1.4a) T 4519 4521 4521 0 -1 4202496 266385 0 0 0 4566 37 0 0 25 0 1 0 602082470 683126784 163128 33554432000 134512640 135751879 4287721600 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/4521/statm: 166779 163128 143 303 0 166474 0
[pid=4519/tid=4527] ppid=4483 vsize=1914004 CPUtime=0 cores=1,3,5,7
/proc/4519/task/4527/stat : 4527 (python) S 4483 4483 3857 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 602087077 1959940096 407921 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604454854550592 0 0 -1 7 0 0 0
[pid=4528] ppid=4483 vsize=1924260 CPUtime=0.23 cores=1,3,5,7
/proc/4528/stat : 4528 (python) S 4483 4483 3857 0 -1 4202560 1122 0 0 0 8 15 0 0 19 0 2 0 602087080 1970442240 407925 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672488907 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/4528/statm: 481065 407925 397 364 0 415943 0
[pid=4530] ppid=4528 vsize=2622260 CPUtime=48.22 cores=1,3,5,7
/proc/4530/stat : 4530 (scip-2.0.1.linu) T 4528 4530 4530 0 -1 4202496 651423 0 0 0 4739 83 0 0 25 0 1 0 602087083 2685194240 651137 33554432000 4194304 15243407 140734509672768 18446744073709551615 4397064 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/4530/statm: 655565 651137 533 2698 0 652860 0
[pid=4528/tid=4534] ppid=4483 vsize=1924260 CPUtime=0 cores=1,3,5,7
/proc/4528/task/4534/stat : 4534 (python) S 4483 4483 3857 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 602091908 1970442240 407925 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554946 18446604462969161664 0 0 -1 7 0 0 0
[pid=4535] ppid=4483 vsize=1934516 CPUtime=0.02 cores=1,3,5,7
/proc/4535/stat : 4535 (python) S 4483 4483 3857 0 -1 4202560 776 0 0 0 0 2 0 0 19 0 1 0 602091911 1980944384 407881 33554432000 4194304 5683644 140734965299328 18446744073709551615 268660682310 0 0 16781312 33554946 2513522377535488264 0 0 17 7 0 0 0
/proc/4535/statm: 483629 407881 350 364 0 418504 0
[pid=4537] ppid=4535 vsize=22104 CPUtime=0.08 cores=1,3,5,7
/proc/4537/stat : 4537 (scip-2.0.1.linu) R 4535 4537 4537 0 -1 4202496 3534 0 0 0 6 2 0 0 18 0 1 0 602091913 22634496 3262 33554432000 4194304 13684479 140733543858432 18446744073709551615 6733904 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/4537/statm: 5526 3274 510 2317 0 3204 0
[pid=4483/tid=4502] ppid=4481 vsize=1943604 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4502/stat : 4502 (python) S 4481 4483 3857 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 6 0 602073085 1990250496 409413 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
[pid=4483/tid=4511] ppid=4481 vsize=1943604 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4511/stat : 4511 (python) S 4481 4483 3857 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 602077739 1990250496 409413 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 5 0 0 0
[pid=4483/tid=4520] ppid=4481 vsize=1943604 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4520/stat : 4520 (python) S 4481 4483 3857 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 6 0 602082470 1990250496 409413 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
[pid=4483/tid=4529] ppid=4481 vsize=1943604 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4529/stat : 4529 (python) S 4481 4483 3857 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 6 0 602087082 1990250496 409413 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
[pid=4483/tid=4536] ppid=4481 vsize=1943604 CPUtime=0 cores=1,3,5,7
/proc/4483/task/4536/stat : 4536 (python) S 4481 4483 3857 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 6 0 602091913 1990250496 409413 33554432000 4194304 5683644 140734965299328 18446744073709551615 268672485809 0 0 16781312 33554434 18446604469602360000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 347.74
Current children cumulated vsize (KiB) 16227460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4483 and gives
# childrusage.ru_utime.tv_sec=157
# childrusage.ru_utime.tv_usec=115114
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=843719
# CPU time returned by wait4() is 158.959
# while last known CPU time is 347.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 347.447
CPU time (s): 347.74
CPU user time (s): 343.44
CPU system time (s): 4.3
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 16227460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.115
system time used= 1.84372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1113310
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= 2557
involuntary context switches= 1828
runsolver used 1.67774 second user time and 4.01939 second system time
The end