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-3482453-1307576356/watcher-3482453-1307576356 -o /tmp/evaluation-result-3482453-1307576356/solver-3482453-1307576356 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482453-1307576356.opb -seed 611056974 -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: 0.41 0.09 0.03 2/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/3055/stat : 3055 (runsolver) S 3051 3055 3014 0 -1 4202560 43 0 0 0 0 0 0 0 18 0 1 0 869236225 12079104 50 33554432000 4194304 5432328 140735124311120 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071700214583 0 0 17 2 0 0 0
/proc/3055/statm: 2949 50 31 303 0 2643 0
[startup+0.027426 s]
/proc/loadavg: 0.41 0.09 0.03 2/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/3055/stat : 3055 (runsolver) D 3051 3055 3014 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 1 0 869236225 12079104 53 33554432000 4194304 5432328 140735124311120 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/3055/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100443 s]
/proc/loadavg: 0.41 0.09 0.03 2/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/3055/stat : 3055 (python) D 3051 3055 3014 0 -1 4194304 47 0 0 0 0 0 0 0 19 0 1 0 869236225 1884160 1 33554432000 0 0 140736984377000 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 0
/proc/3055/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300473 s]
/proc/loadavg: 0.41 0.09 0.03 2/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/3055/stat : 3055 (python) D 3051 3055 3014 0 -1 4194304 97 0 2 0 0 0 0 0 18 0 1 0 869236225 6389760 51 33554432000 4194304 5683644 140736984371904 18446744073709551615 255372377735 0 0 4096 0 0 0 0 17 4 0 0 15
/proc/3055/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.700388 s]
/proc/loadavg: 0.41 0.09 0.03 2/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 610 0 7 0 0 0 0 0 16 0 1 0 869236225 15441920 513 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 34
/proc/3055/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+1.50115 s]
/proc/loadavg: 0.41 0.09 0.03 2/437 3057
/proc/meminfo: memFree=21033532/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 804 0 7 0 0 0 0 0 15 0 1 0 869236225 15749120 696 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 44
/proc/3055/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+3.10086 s]
/proc/loadavg: 0.41 0.09 0.03 2/437 3057
/proc/meminfo: memFree=21030064/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 1111 0 7 0 1 0 0 0 16 0 1 0 869236225 16789504 985 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 93
/proc/3055/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 0.46 0.11 0.04 2/437 3057
/proc/meminfo: memFree=21025604/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=30116 CPUtime=0.06 cores=0,2,4,6
/proc/3055/stat : 3055 (python) D 3051 3055 3014 0 -1 4202496 1499 0 12 0 4 2 0 0 16 0 1 0 869236225 30838784 1348 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377297253 0 0 16781312 2 0 0 0 17 4 0 0 107
/proc/3055/statm: 7529 1348 443 364 0 899 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30116
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 0.58 0.14 0.05 2/437 3065
/proc/meminfo: memFree=20987696/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=175632 CPUtime=0.38 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 6182 922 60 9 22 16 0 0 15 0 1 0 869236225 179847168 4551 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377297332 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 258
/proc/3055/statm: 43908 4551 1236 364 0 3535 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 175632
heavy processes:
[startup+25.5007 s]
/proc/loadavg: 0.83 0.21 0.07 4/443 3072
/proc/meminfo: memFree=20876052/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=293292 CPUtime=0.64 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 9561 922 106 9 42 22 0 0 17 0 2 0 869236225 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 330
/proc/3055/statm: 73323 7176 1862 364 0 8210 0
[pid=3066] ppid=3055 vsize=283048 CPUtime=0.03 cores=0,2,4,6
/proc/3066/stat : 3066 (python) S 3055 3055 3014 0 -1 4202560 981 0 0 0 2 1 0 0 15 0 1 0 869237853 289841152 5691 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377321487 0 0 16781312 33554946 2034851132844539904 0 0 17 6 0 0 0
/proc/3066/statm: 70762 5691 381 364 0 5649 0
[pid=3071] ppid=3066 vsize=44736 CPUtime=9.21 cores=0,2,4,6
/proc/3071/stat : 3071 (scip-2.0.1.linu) R 3066 3071 3071 0 -1 4202496 10485 0 0 0 908 13 0 0 18 0 1 0 869237853 45809664 9007 33554432000 4194304 13684479 140736014300096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3071/statm: 11184 9007 820 2317 0 8862 0
[pid=3055/tid=3069] ppid=3051 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (python) S 3051 3055 3014 0 -1 4202560 25 922 0 9 0 0 0 0 18 0 2 0 869237853 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389125041 0 0 16781312 33554434 18446604440955560256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (KiB) 621076
heavy processes:
[startup+51.101 s]
/proc/loadavg: 1.23 0.36 0.12 4/443 3072
/proc/meminfo: memFree=20876672/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=293292 CPUtime=0.64 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 9561 922 106 9 42 22 0 0 17 0 2 0 869236225 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 330
/proc/3055/statm: 73323 7176 1862 364 0 8210 0
[pid=3066] ppid=3055 vsize=283048 CPUtime=0.14 cores=0,2,4,6
/proc/3066/stat : 3066 (python) S 3055 3055 3014 0 -1 4202560 1024 0 0 0 8 6 0 0 15 0 1 0 869237853 289841152 5691 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377321487 0 0 16781312 33554946 670095476057440256 0 0 17 4 0 0 0
/proc/3066/statm: 70762 5691 381 364 0 5649 0
[pid=3071] ppid=3066 vsize=44916 CPUtime=34.81 cores=0,2,4,6
/proc/3071/stat : 3071 (scip-2.0.1.linu) R 3066 3071 3071 0 -1 4202496 10560 0 0 0 3415 66 0 0 19 0 1 0 869237853 45993984 9082 33554432000 4194304 13684479 140736014300096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3071/statm: 11229 9082 821 2317 0 8907 0
[pid=3055/tid=3069] ppid=3051 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (python) S 3051 3055 3014 0 -1 4202560 25 922 0 9 0 0 0 0 18 0 2 0 869237853 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389125041 0 0 16781312 33554434 18446604440955560256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 35.59
Current children cumulated vsize (KiB) 621256
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+54.3004 s]
/proc/loadavg: 1.29 0.38 0.13 4/443 3072
/proc/meminfo: memFree=20875804/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=293292 CPUtime=0.64 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 9561 922 106 9 42 22 0 0 17 0 2 0 869236225 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 330
/proc/3055/statm: 73323 7176 1862 364 0 8210 0
[pid=3066] ppid=3055 vsize=283048 CPUtime=0.14 cores=0,2,4,6
/proc/3066/stat : 3066 (python) S 3055 3055 3014 0 -1 4202560 1028 0 0 0 8 6 0 0 15 0 1 0 869237853 289841152 5692 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377321487 0 0 16781312 33554946 1161539107378167808 0 0 17 4 0 0 0
/proc/3066/statm: 70762 5692 381 364 0 5649 0
[pid=3071] ppid=3066 vsize=44916 CPUtime=38 cores=0,2,4,6
/proc/3071/stat : 3071 (scip-2.0.1.linu) R 3066 3071 3071 0 -1 4202496 10560 0 0 0 3728 72 0 0 20 0 1 0 869237853 45993984 9082 33554432000 4194304 13684479 140736014300096 18446744073709551615 4833138 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3071/statm: 11229 9082 821 2317 0 8907 0
[pid=3055/tid=3069] ppid=3051 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (python) S 3051 3055 3014 0 -1 4202560 25 922 0 9 0 0 0 0 18 0 2 0 869237853 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389125041 0 0 16781312 33554434 18446604440955560256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38.78
Current children cumulated vsize (KiB) 621256
[startup+55.1012 s]
/proc/loadavg: 1.29 0.38 0.13 4/443 3072
/proc/meminfo: memFree=20875400/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=293292 CPUtime=0.64 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 9561 922 106 9 42 22 0 0 17 0 2 0 869236225 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 330
/proc/3055/statm: 73323 7176 1862 364 0 8210 0
[pid=3066] ppid=3055 vsize=283048 CPUtime=0.16 cores=0,2,4,6
/proc/3066/stat : 3066 (python) S 3055 3055 3014 0 -1 4202560 1030 0 0 0 9 7 0 0 15 0 1 0 869237853 289841152 5692 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377321487 0 0 16781312 33554946 2707440997058478080 0 0 17 4 0 0 0
/proc/3066/statm: 70762 5692 381 364 0 5649 0
[pid=3071] ppid=3066 vsize=45048 CPUtime=38.81 cores=0,2,4,6
/proc/3071/stat : 3071 (scip-2.0.1.linu) R 3066 3071 3071 0 -1 4202496 10601 0 0 0 3807 74 0 0 22 0 1 0 869237853 46129152 9123 33554432000 4194304 13684479 140736014300096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3071/statm: 11262 9123 821 2317 0 8940 0
[pid=3055/tid=3069] ppid=3051 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (python) S 3051 3055 3014 0 -1 4202560 25 922 0 9 0 0 0 0 18 0 2 0 869237853 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389125041 0 0 16781312 33554434 18446604440955560256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (KiB) 621388
[startup+55.9011 s]
/proc/loadavg: 1.29 0.38 0.13 4/443 3072
/proc/meminfo: memFree=20875400/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=293292 CPUtime=0.64 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 9561 922 106 9 42 22 0 0 17 0 2 0 869236225 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 330
/proc/3055/statm: 73323 7176 1862 364 0 8210 0
[pid=3066] ppid=3055 vsize=283048 CPUtime=0.16 cores=0,2,4,6
/proc/3066/stat : 3066 (python) S 3055 3055 3014 0 -1 4202560 1030 0 0 0 9 7 0 0 15 0 1 0 869237853 289841152 5692 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377321487 0 0 16781312 33554946 4110839836112322560 0 0 17 4 0 0 0
/proc/3066/statm: 70762 5692 381 364 0 5649 0
[pid=3071] ppid=3066 vsize=45048 CPUtime=39.6 cores=0,2,4,6
/proc/3071/stat : 3071 (scip-2.0.1.linu) R 3066 3071 3071 0 -1 4202496 10601 0 0 0 3885 75 0 0 18 0 1 0 869237853 46129152 9123 33554432000 4194304 13684479 140736014300096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3071/statm: 11262 9123 821 2317 0 8940 0
[pid=3055/tid=3069] ppid=3051 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (python) S 3051 3055 3014 0 -1 4202560 25 922 0 9 0 0 0 0 18 0 2 0 869237853 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389125041 0 0 16781312 33554434 18446604440955560256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40.4
Current children cumulated vsize (KiB) 621388
[startup+56.301 s]
/proc/loadavg: 1.29 0.38 0.13 4/443 3072
/proc/meminfo: memFree=20875276/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=293292 CPUtime=0.64 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 9561 922 106 9 42 22 0 0 17 0 2 0 869236225 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 330
/proc/3055/statm: 73323 7176 1862 364 0 8210 0
[pid=3066] ppid=3055 vsize=283048 CPUtime=0.16 cores=0,2,4,6
/proc/3066/stat : 3066 (python) S 3055 3055 3014 0 -1 4202560 1030 0 0 0 9 7 0 0 15 0 1 0 869237853 289841152 5692 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377321487 0 0 16781312 33554946 1400421975746150400 0 0 17 4 0 0 0
/proc/3066/statm: 70762 5692 381 364 0 5649 0
[pid=3071] ppid=3066 vsize=45048 CPUtime=40 cores=0,2,4,6
/proc/3071/stat : 3071 (scip-2.0.1.linu) R 3066 3071 3071 0 -1 4202496 10601 0 0 0 3924 76 0 0 18 0 1 0 869237853 46129152 9123 33554432000 4194304 13684479 140736014300096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3071/statm: 11262 9123 821 2317 0 8940 0
[pid=3055/tid=3069] ppid=3051 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (python) S 3051 3055 3014 0 -1 4202560 25 922 0 9 0 0 0 0 18 0 2 0 869237853 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389125041 0 0 16781312 33554434 18446604440955560256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40.8
Current children cumulated vsize (KiB) 621388
[startup+56.401 s]
/proc/loadavg: 1.29 0.38 0.13 4/443 3072
/proc/meminfo: memFree=20875276/32951124 swapFree=60787360/67111528
[pid=3055] ppid=3051 vsize=293292 CPUtime=0.64 cores=0,2,4,6
/proc/3055/stat : 3055 (python) S 3051 3055 3014 0 -1 4202496 9561 922 106 9 42 22 0 0 17 0 2 0 869236225 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 330
/proc/3055/statm: 73323 7176 1862 364 0 8210 0
[pid=3066] ppid=3055 vsize=283048 CPUtime=0.16 cores=0,2,4,6
/proc/3066/stat : 3066 (python) S 3055 3055 3014 0 -1 4202560 1030 0 0 0 9 7 0 0 15 0 1 0 869237853 289841152 5692 33554432000 4194304 5683644 140736984371904 18446744073709551615 255377321487 0 0 16781312 33554946 2010194387023167488 0 0 17 4 0 0 0
/proc/3066/statm: 70762 5692 381 364 0 5649 0
[pid=3071] ppid=3066 vsize=45048 CPUtime=40.1 cores=0,2,4,6
/proc/3071/stat : 3071 (scip-2.0.1.linu) R 3066 3071 3071 0 -1 4202496 10601 0 0 0 3934 76 0 0 18 0 1 0 869237853 46129152 9123 33554432000 4194304 13684479 140736014300096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/3071/statm: 11262 9123 821 2317 0 8940 0
[pid=3055/tid=3069] ppid=3051 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/3055/task/3069/stat : 3069 (python) S 3051 3055 3014 0 -1 4202560 25 922 0 9 0 0 0 0 18 0 2 0 869237853 300331008 7176 33554432000 4194304 5683644 140736984371904 18446744073709551615 255389125041 0 0 16781312 33554434 18446604440955560256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40.9
Current children cumulated vsize (KiB) 621388
Child status: 0
Real time (s): 56.4703
CPU time (s): 41.0198
CPU user time (s): 39.9359
CPU system time (s): 1.08383
CPU usage (%): 72.6395
Max. virtual memory (cumulated for all children) (KiB): 621388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9359
system time used= 1.08384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26811
page faults= 115
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20132
involuntary context switches= 106
runsolver used 0.280957 second user time and 0.629904 second system time
The end