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-3482460-1307576357/watcher-3482460-1307576357 -o /tmp/evaluation-result-3482460-1307576357/solver-3482460-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482460-1307576357.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.64 0.14 0.05 3/527 2622
/proc/meminfo: memFree=17371516/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2622/stat : 2622 (runsolver) S 2620 2622 2587 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 1 0 869236262 12079104 50 33554432000 4194304 5432328 140736812833408 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699870519 0 0 17 6 0 0 0
/proc/2622/statm: 2949 50 31 303 0 2643 0
[startup+0.0817119 s]
/proc/loadavg: 0.64 0.14 0.05 3/527 2622
/proc/meminfo: memFree=17371516/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2622/stat : 2622 (runsolver) S 2620 2622 2587 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 869236262 12079104 53 33554432000 4194304 5432328 140736812833408 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699109054 0 0 17 4 0 0 0
/proc/2622/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100707 s]
/proc/loadavg: 0.64 0.14 0.05 3/527 2622
/proc/meminfo: memFree=17371516/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/2622/stat : 2622 (runsolver) S 2620 2622 2587 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 869236262 12079104 53 33554432000 4194304 5432328 140736812833408 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699109054 0 0 17 4 0 0 0
/proc/2622/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.300639 s]
/proc/loadavg: 0.64 0.14 0.05 3/527 2622
/proc/meminfo: memFree=17371516/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 650 0 0 0 0 0 0 0 18 0 1 0 869236262 15441920 545 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/2622/statm: 3770 545 312 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700618 s]
/proc/loadavg: 0.64 0.14 0.05 3/527 2622
/proc/meminfo: memFree=17371516/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 845 0 0 0 0 0 0 0 15 0 1 0 869236262 16138240 727 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/2622/statm: 3940 727 334 364 0 427 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15760
[startup+1.50048 s]
/proc/loadavg: 0.64 0.14 0.05 2/531 2626
/proc/meminfo: memFree=17365028/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 1122 0 0 0 1 0 0 0 16 0 1 0 869236262 16789504 989 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970546021 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/2622/statm: 4099 989 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10121 s]
/proc/loadavg: 0.64 0.14 0.05 1/531 2626
/proc/meminfo: memFree=17361608/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=18888 CPUtime=0.01 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 1238 0 1 0 1 0 0 0 16 0 1 0 869236262 19341312 1094 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 8
/proc/2622/statm: 4722 1094 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18888
heavy processes:
[startup+6.30067 s]
/proc/loadavg: 0.75 0.18 0.06 1/531 2626
/proc/meminfo: memFree=17358028/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=29788 CPUtime=0.04 cores=0,2,4,6
/proc/2622/stat : 2622 (python) D 2620 2622 2587 0 -1 4202496 1437 0 5 0 3 1 0 0 16 0 1 0 869236262 30502912 1284 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970548224 0 0 16781312 2 0 0 0 17 4 0 0 18
/proc/2622/statm: 7447 1284 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
heavy processes:
[startup+12.7006 s]
/proc/loadavg: 0.85 0.21 0.07 1/531 2626
/proc/meminfo: memFree=17348996/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=85364 CPUtime=0.09 cores=0,2,4,6
/proc/2622/stat : 2622 (python) D 2620 2622 2587 0 -1 4202496 2586 0 10 0 5 4 0 0 16 0 1 0 869236262 87412736 2317 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970546021 0 0 16781312 2 0 0 0 17 4 0 0 84
/proc/2622/statm: 21341 2317 715 364 0 1558 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85364
heavy processes:
[startup+26.4532 s]
/proc/loadavg: 2.06 0.50 0.17 4/537 2642
/proc/meminfo: memFree=17229244/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=293232 CPUtime=0.62 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 9545 924 100 8 36 26 0 0 18 0 2 0 869236262 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 335
/proc/2622/statm: 73308 7149 1862 364 0 8195 0
[pid=2638] ppid=2622 vsize=282988 CPUtime=0 cores=0,2,4,6
/proc/2638/stat : 2638 (python) S 2622 2622 2587 0 -1 4202560 755 0 0 0 0 0 0 0 16 0 1 0 869238787 289779712 5635 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970570255 0 0 16781312 33554946 388232307317669888 0 0 17 6 0 0 0
/proc/2638/statm: 70747 5635 352 364 0 5634 0
[pid=2642] ppid=2638 vsize=36192 CPUtime=1.19 cores=0,2,4,6
/proc/2642/stat : 2642 (scip-2.0.1.linu) R 2638 2642 2642 0 -1 4202496 7475 0 0 0 116 3 0 0 22 0 1 0 869238787 37060608 6848 33554432000 4194304 13684479 140735491385392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2642/statm: 9048 6848 816 2317 0 6726 0
[pid=2622/tid=2640] ppid=2620 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/2622/task/2640/stat : 2640 (python) S 2620 2622 2587 0 -1 4202560 27 924 0 8 0 0 0 0 18 0 2 0 869238787 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982373809 0 0 16781312 33554434 18446604456899299456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 612412
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+32.7011 s]
/proc/loadavg: 2.30 0.58 0.19 3/537 2642
/proc/meminfo: memFree=17219540/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=293232 CPUtime=0.62 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 9545 924 100 8 36 26 0 0 18 0 2 0 869236262 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 335
/proc/2622/statm: 73308 7149 1862 364 0 8195 0
[pid=2638] ppid=2622 vsize=282988 CPUtime=0.02 cores=0,2,4,6
/proc/2638/stat : 2638 (python) S 2622 2622 2587 0 -1 4202560 981 0 0 0 1 1 0 0 15 0 1 0 869238787 289779712 5664 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970570255 0 0 16781312 33554946 8167241610287874307 0 0 17 6 0 0 0
/proc/2638/statm: 70747 5664 381 364 0 5634 0
[pid=2642] ppid=2638 vsize=41536 CPUtime=7.43 cores=0,2,4,6
/proc/2642/stat : 2642 (scip-2.0.1.linu) R 2638 2642 2642 0 -1 4202496 9581 0 0 0 731 12 0 0 25 0 1 0 869238787 42532864 8203 33554432000 4194304 13684479 140735491385392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2642/statm: 10384 8203 824 2317 0 8062 0
[pid=2622/tid=2640] ppid=2620 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/2622/task/2640/stat : 2640 (python) S 2620 2622 2587 0 -1 4202560 27 924 0 8 0 0 0 0 18 0 2 0 869238787 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982373809 0 0 16781312 33554434 18446604456899299456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 617756
[startup+35.9005 s]
/proc/loadavg: 2.51 0.65 0.22 3/537 2642
/proc/meminfo: memFree=17219224/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=293232 CPUtime=0.62 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 9545 924 100 8 36 26 0 0 18 0 2 0 869236262 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 335
/proc/2622/statm: 73308 7149 1862 364 0 8195 0
[pid=2638] ppid=2622 vsize=282988 CPUtime=0.04 cores=0,2,4,6
/proc/2638/stat : 2638 (python) S 2622 2622 2587 0 -1 4202560 983 0 0 0 2 2 0 0 15 0 1 0 869238787 289779712 5664 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970570255 0 0 16781312 33554946 1751439422236131328 0 0 17 6 0 0 0
/proc/2638/statm: 70747 5664 381 364 0 5634 0
[pid=2642] ppid=2638 vsize=41536 CPUtime=10.64 cores=0,2,4,6
/proc/2642/stat : 2642 (scip-2.0.1.linu) R 2638 2642 2642 0 -1 4202496 9582 0 0 0 1045 19 0 0 18 0 1 0 869238787 42532864 8204 33554432000 4194304 13684479 140735491385392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2642/statm: 10384 8204 825 2317 0 8062 0
[pid=2622/tid=2640] ppid=2620 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/2622/task/2640/stat : 2640 (python) S 2620 2622 2587 0 -1 4202560 27 924 0 8 0 0 0 0 18 0 2 0 869238787 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982373809 0 0 16781312 33554434 18446604456899299456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.3
Current children cumulated vsize (KiB) 617756
[startup+37.5003 s]
/proc/loadavg: 2.51 0.65 0.22 3/537 2642
/proc/meminfo: memFree=17219472/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=293232 CPUtime=0.62 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 9545 924 100 8 36 26 0 0 18 0 2 0 869236262 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 335
/proc/2622/statm: 73308 7149 1862 364 0 8195 0
[pid=2638] ppid=2622 vsize=282988 CPUtime=0.04 cores=0,2,4,6
/proc/2638/stat : 2638 (python) S 2622 2622 2587 0 -1 4202560 985 0 0 0 2 2 0 0 15 0 1 0 869238787 289779712 5664 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970570255 0 0 16781312 33554946 401573609610412032 0 0 17 6 0 0 0
/proc/2638/statm: 70747 5664 381 364 0 5634 0
[pid=2642] ppid=2638 vsize=41536 CPUtime=12.23 cores=0,2,4,6
/proc/2642/stat : 2642 (scip-2.0.1.linu) R 2638 2642 2642 0 -1 4202496 9582 0 0 0 1201 22 0 0 19 0 1 0 869238787 42532864 8204 33554432000 4194304 13684479 140735491385392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2642/statm: 10384 8204 825 2317 0 8062 0
[pid=2622/tid=2640] ppid=2620 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/2622/task/2640/stat : 2640 (python) S 2620 2622 2587 0 -1 4202560 27 924 0 8 0 0 0 0 18 0 2 0 869238787 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982373809 0 0 16781312 33554434 18446604456899299456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 617756
[startup+37.9012 s]
/proc/loadavg: 2.51 0.65 0.22 2/530 2644
/proc/meminfo: memFree=17277060/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=293232 CPUtime=0.62 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 9545 924 100 8 36 26 0 0 18 0 2 0 869236262 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 335
/proc/2622/statm: 73308 7149 1862 364 0 8195 0
[pid=2638] ppid=2622 vsize=282988 CPUtime=0.07 cores=0,2,4,6
/proc/2638/stat : 2638 (python) S 2622 2622 2587 0 -1 4202560 992 0 0 0 4 3 0 0 15 0 1 0 869238787 289779712 5664 33554432000 4194304 5683644 140734708496016 18446744073709551615 242970570255 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/2638/statm: 70747 5664 381 364 0 5634 0
[pid=2642] ppid=2638 vsize=41536 CPUtime=12.63 cores=0,2,4,6
/proc/2642/stat : 2642 (scip-2.0.1.linu) R 2638 2642 2642 0 -1 4202496 9582 0 0 0 1240 23 0 0 20 0 1 0 869238787 42532864 8204 33554432000 4194304 13684479 140735491385392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/2642/statm: 10384 8204 825 2317 0 8062 0
[pid=2622/tid=2640] ppid=2620 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/2622/task/2640/stat : 2640 (python) S 2620 2622 2587 0 -1 4202560 27 924 0 8 0 0 0 0 18 0 2 0 869238787 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982373809 0 0 16781312 33554434 18446604456899299456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.32
Current children cumulated vsize (KiB) 617756
[startup+38.103 s]
/proc/loadavg: 2.51 0.65 0.22 2/530 2644
/proc/meminfo: memFree=17277060/32951132 swapFree=45426552/67111528
[pid=2622] ppid=2620 vsize=293232 CPUtime=0.62 cores=0,2,4,6
/proc/2622/stat : 2622 (python) S 2620 2622 2587 0 -1 4202496 9545 924 100 8 36 26 0 0 18 0 2 0 869236262 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 335
/proc/2622/statm: 73308 7149 1862 364 0 8195 0
[pid=2638] ppid=2622 vsize=293232 CPUtime=0.07 cores=0,2,4,6
/proc/2638/stat : 2638 (python) S 2622 2622 2587 0 -1 4202560 1175 0 0 0 4 3 0 0 15 0 2 0 869238787 300269568 5709 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982373809 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/2638/statm: 73308 5709 425 364 0 8195 0
[pid=2642] ppid=2638 vsize=0 CPUtime=12.83 cores=0,2,4,6
/proc/2642/stat : 2642 (scip-2.0.1.linu) Z 2638 2642 2642 0 -1 4202524 9591 0 0 0 1259 24 0 0 18 0 1 0 869238787 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/2642/statm: 0 0 0 0 0 0 0
[pid=2622/tid=2640] ppid=2620 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/2622/task/2640/stat : 2640 (python) S 2620 2622 2587 0 -1 4202560 27 924 0 8 0 0 0 0 18 0 2 0 869238787 300269568 7149 33554432000 4194304 5683644 140734708496016 18446744073709551615 242982373809 0 0 16781312 33554434 18446604456899299456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.52
Current children cumulated vsize (KiB) 586464
Child status: 0
Real time (s): 38.127
CPU time (s): 13.5789
CPU user time (s): 13.026
CPU system time (s): 0.552915
CPU usage (%): 35.615
Max. virtual memory (cumulated for all children) (KiB): 617756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.026
system time used= 0.552915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25719
page faults= 108
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14711
involuntary context switches= 52
runsolver used 0.167974 second user time and 0.343947 second system time
The end