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-3482347-1307576555/watcher-3482347-1307576555 -o /tmp/evaluation-result-3482347-1307576555/solver-3482347-1307576555 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482347-1307576555.opb -seed 1256045641 -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.06 0.76 0.27 2/418 5713
/proc/meminfo: memFree=31266772/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/5713/stat : 5713 (python) R 5711 5713 5042 0 -1 4202496 870 0 0 0 0 0 0 0 22 0 1 0 325265003 16158720 751 33554432000 4194304 5683644 140735633131328 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/5713/statm: 3945 753 343 364 0 432 0
[startup+0.0821499 s]
/proc/loadavg: 2.06 0.76 0.27 2/418 5713
/proc/meminfo: memFree=31266772/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=85624 CPUtime=0.05 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 2664 0 0 0 4 1 0 0 17 0 1 0 325265003 87678976 2382 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5713/statm: 21406 2382 715 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624
[startup+0.107659 s]
/proc/loadavg: 2.06 0.76 0.27 2/418 5713
/proc/meminfo: memFree=31266772/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/5713/stat : 5713 (python) R 5711 5713 5042 0 -1 4202496 3169 933 1 0 6 2 0 0 18 0 1 0 325265003 98435072 2483 33554432000 4194304 5683644 140735633131328 18446744073709551615 5172176 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5713/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.301651 s]
/proc/loadavg: 2.06 0.76 0.27 2/418 5713
/proc/meminfo: memFree=31266772/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=200780 CPUtime=0.23 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 6649 933 1 0 16 7 0 0 17 0 1 0 325265003 205598720 4936 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/5713/statm: 50195 4936 1465 364 0 3677 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 200780
[startup+0.70049 s]
/proc/loadavg: 2.06 0.76 0.27 2/418 5713
/proc/meminfo: memFree=31266772/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=286096 CPUtime=0.63 cores=1,3,5,7
/proc/5713/stat : 5713 (python) R 5711 5713 5042 0 -1 4202496 11591 1383 1 0 41 14 7 1 17 0 1 0 325265003 292962304 7897 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880225819 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/5713/statm: 71524 7897 1816 364 0 6417 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 286096
[startup+1.50035 s]
/proc/loadavg: 2.06 0.76 0.27 3/422 5722
/proc/meminfo: memFree=31209068/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 715 0 0 0 0 0 0 0 17 0 1 0 325265093 293437440 6484 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 4582182036940226823 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6484 319 364 0 6527 0
[pid=5722] ppid=5720 vsize=81120 CPUtime=0.58 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 18671 0 0 0 39 19 0 0 23 0 1 0 325265094 83066880 17634 33554432000 4194304 13684479 140736453819568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5722/statm: 20280 17634 749 2317 0 17958 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 664484
[startup+3.10107 s]
/proc/loadavg: 2.06 0.76 0.27 3/422 5722
/proc/meminfo: memFree=31167032/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 721 0 0 0 0 0 0 0 15 0 1 0 325265093 293437440 6484 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 4582182036940226823 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6484 319 364 0 6527 0
[pid=5722] ppid=5720 vsize=84688 CPUtime=2.18 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 19741 0 0 0 198 20 0 0 19 0 1 0 325265094 86720512 18664 33554432000 4194304 13684479 140736453819568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5722/statm: 21172 18664 768 2317 0 18850 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 668052
[startup+6.30049 s]
/proc/loadavg: 2.14 0.80 0.29 3/422 5722
/proc/meminfo: memFree=31165552/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0.01 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 868 0 0 0 1 0 0 0 15 0 1 0 325265093 293437440 6507 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 4582176745540518151 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6507 342 364 0 6527 0
[pid=5722] ppid=5720 vsize=84688 CPUtime=5.39 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 19869 0 0 0 513 26 0 0 25 0 1 0 325265094 86720512 18788 33554432000 4194304 13684479 140736453819568 18446744073709551615 7415978 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5722/statm: 21172 18788 773 2317 0 18850 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 668052
Solver just ended. Dumping a history of the last processes samples
[startup+7.90119 s]
/proc/loadavg: 2.14 0.80 0.29 3/422 5722
/proc/meminfo: memFree=31166808/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0.01 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 868 0 0 0 1 0 0 0 15 0 1 0 325265093 293437440 6507 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 4582176745540518151 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6507 342 364 0 6527 0
[pid=5722] ppid=5720 vsize=84924 CPUtime=6.99 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 20013 0 0 0 672 27 0 0 25 0 1 0 325265094 86962176 18932 33554432000 4194304 13684479 140736453819568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5722/statm: 21231 18932 773 2317 0 18909 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 668288
[startup+8.70105 s]
/proc/loadavg: 2.14 0.80 0.29 3/422 5722
/proc/meminfo: memFree=31166216/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0.01 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 868 0 0 0 1 0 0 0 15 0 1 0 325265093 293437440 6507 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 4582176745540518151 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6507 342 364 0 6527 0
[pid=5722] ppid=5720 vsize=84924 CPUtime=7.79 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 20031 0 0 0 752 27 0 0 25 0 1 0 325265094 86962176 18950 33554432000 4194304 13684479 140736453819568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5722/statm: 21231 18950 773 2317 0 18909 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 668288
[startup+9.50091 s]
/proc/loadavg: 2.14 0.80 0.29 3/422 5722
/proc/meminfo: memFree=31166216/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0.01 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 868 0 0 0 1 0 0 0 15 0 1 0 325265093 293437440 6507 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 4582176745540518151 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6507 342 364 0 6527 0
[pid=5722] ppid=5720 vsize=110508 CPUtime=8.59 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 26081 0 0 0 830 29 0 0 25 0 1 0 325265094 113160192 24997 33554432000 4194304 13684479 140736453819568 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5722/statm: 27627 24997 777 2317 0 25305 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.43
Current children cumulated vsize (KiB) 693872
[startup+9.91584 s]
/proc/loadavg: 2.14 0.80 0.29 3/422 5722
/proc/meminfo: memFree=31125420/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0.02 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 871 0 0 0 1 1 0 0 15 0 1 0 325265093 293437440 6508 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 5623753486446373754 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6508 343 364 0 6527 0
[pid=5722] ppid=5720 vsize=132704 CPUtime=9 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 32176 0 0 0 869 31 0 0 25 0 1 0 325265094 135888896 30904 33554432000 4194304 13684479 140736453819568 18446744073709551615 6733904 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/5722/statm: 33176 30904 803 2317 0 30854 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (KiB) 716068
[startup+10.0008 s]
/proc/loadavg: 2.14 0.80 0.29 3/422 5722
/proc/meminfo: memFree=31125420/32950928 swapFree=51865260/67111528
[pid=5713] ppid=5711 vsize=296804 CPUtime=0.83 cores=1,3,5,7
/proc/5713/stat : 5713 (python) S 5711 5713 5042 0 -1 4202496 12381 1383 1 0 61 14 7 1 20 0 2 0 325265003 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/5713/statm: 74201 8040 1871 364 0 9088 0
[pid=5720] ppid=5713 vsize=286560 CPUtime=0.02 cores=1,3,5,7
/proc/5720/stat : 5720 (python) S 5713 5713 5042 0 -1 4202560 1001 0 0 0 1 1 0 0 16 0 1 0 325265093 293437440 6513 33554432000 4194304 5683644 140735633131328 18446744073709551615 218880585231 0 0 16781312 33554946 1904639793287921664 0 0 17 7 0 0 0
/proc/5720/statm: 71640 6513 348 364 0 6527 0
[pid=5722] ppid=5720 vsize=140176 CPUtime=9.09 cores=1,3,5,7
/proc/5722/stat : 5722 (scip-2.0.1.linu) R 5720 5722 5722 0 -1 4202496 33696 0 0 0 877 32 0 0 18 0 1 0 325265094 143540224 32424 33554432000 4194304 13684479 140736453819568 18446744073709551615 4819580 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/5722/statm: 35044 32424 816 2317 0 32722 0
[pid=5713/tid=5721] ppid=5711 vsize=296804 CPUtime=0.08 cores=1,3,5,7
/proc/5713/task/5721/stat : 5721 (python) S 5711 5713 5042 0 -1 4202560 28 1383 0 0 0 0 7 1 20 0 2 0 325265094 303927296 8040 33554432000 4194304 5683644 140735633131328 18446744073709551615 218892388785 0 0 16781312 33554434 18446604459681638272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (KiB) 723540
Child status: 0
Real time (s): 10.0681
CPU time (s): 10.0655
CPU user time (s): 9.54255
CPU system time (s): 0.52292
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 723540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.54255
system time used= 0.52292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54969
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= 6291
involuntary context switches= 120
runsolver used 0.045993 second user time and 0.105983 second system time
The end