Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.53 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 38a2c469f9dc1120b8fe634a693ac03d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8691 |
Best CPU time to get the best result obtained on this benchmark | 0.656899 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10829 |
Optimality of the best value was proved | NO |
Number of variables | 548 |
Total number of constraints | 166 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 126 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 143 |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878553-1245133935.opb 0.00/0.00 c File size is 19885 bytes. 0.00/0.00 c Highest Coefficient sum: 96797 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 548 Constr: 166 41/22/103 Lit: 1592 Watch. Lit: 897 0.00/0.00 c Obj. Vars: 416 (75.9124 % of total variables) 0.00/0.00 c Formula reductions applied at preprocessing 0.00/0.00 c Pre-processing Time: 0.006 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 473 151 1456 9 1002 2655 0 0 0.01 0.00/0.02 c Initial Lower Bound: 4569 0.00/0.02 c Initial Path Cost: 0 1797.97/1798.52 c 100 473 251 9108 36 1182 2921 100 3225 0.03 1797.97/1798.52 c 250 473 401 19568 48 1497 3214 250 5952 0.04 1797.97/1798.52 c 475 473 626 35011 55 1947 3536 475 7661 0.06 1797.97/1798.52 c 814 473 965 58322 60 2624 3890 814 8140 0.10 1797.97/1798.52 c 1323 473 1474 93396 63 3645 4280 1323 7736 0.17 1797.97/1798.52 c 2088 473 2239 146159 65 5173 4709 2088 6779 0.31 1797.97/1798.52 c 3234 473 3385 225190 66 7464 5180 3234 5462 0.59 1797.97/1798.52 c 4956 473 5107 339323 66 10915 5699 4956 5130 0.97 1797.97/1798.52 c 7541 473 4681 301255 64 10067 6269 4530 3776 2.00 1797.97/1798.52 c 11420 473 5271 333670 63 11252 6896 5120 3269 3.49 1797.97/1798.52 c 17242 473 3866 239033 61 8454 7586 3715 2990 5.77 1797.97/1798.52 c 25980 473 4717 287469 60 10163 8345 4566 2705 9.60 1797.97/1798.52 c 39090 473 4839 294666 60 10406 9180 4688 2178 17.94 1797.97/1798.52 c 58761 473 5501 332765 60 11727 10099 5350 2177 26.98 1797.97/1798.52 c 88272 473 8917 548565 61 18555 11109 8766 2076 42.51 1797.97/1798.52 c 132542 473 7428 456107 61 15578 12220 7277 1943 68.19 1797.97/1798.52 c 198952 473 11051 674499 61 22823 13443 10900 1559 127.59 1797.97/1798.52 c 298573 473 7174 436365 60 15060 14788 7023 1368 218.21 1797.97/1798.52 c 448008 472 12826 778534 60 26371 16267 12675 1138 393.39 1797.97/1798.52 c 672166 471 13060 775021 59 26834 17894 12909 950 706.87 1797.97/1798.52 c 1008409 471 12146 702403 57 24988 19684 11995 969 1040.66 1797.97/1798.52 c Resources Exceeded 1797.97/1798.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.52 c 21 1496539 69211 1578231 10161 592770 10010 832 1798.00 1797.97/1798.52 s UNKNOWN 1797.97/1798.52 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878553-1245133935/watcher-1878553-1245133935 -o /tmp/evaluation-result-1878553-1245133935/solver-1878553-1245133935 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878553-1245133935.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7117 /proc/meminfo: memFree=1785096/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=10712 CPUtime=0 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 180990648 10969088 256 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 2678 256 188 640 0 2034 0 [startup+0.0376571 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7117 /proc/meminfo: memFree=1785096/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=11028 CPUtime=0.03 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 487 0 0 0 3 0 0 0 18 0 1 0 180990648 11292672 419 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 2757 419 289 640 0 2113 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11028 [startup+0.10165 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7117 /proc/meminfo: memFree=1785096/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=11688 CPUtime=0.09 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 649 0 0 0 9 0 0 0 18 0 1 0 180990648 11968512 581 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 2922 581 289 640 0 2278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11688 [startup+0.301671 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7117 /proc/meminfo: memFree=1785096/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=12888 CPUtime=0.29 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 956 0 0 0 29 0 0 0 19 0 1 0 180990648 13197312 888 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 3222 888 289 640 0 2578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12888 [startup+0.701715 s] /proc/loadavg: 0.91 0.95 0.98 3/64 7117 /proc/meminfo: memFree=1785096/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=14744 CPUtime=0.69 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 1425 0 0 0 69 0 0 0 22 0 1 0 180990648 15097856 1357 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 3686 1357 289 640 0 3042 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14744 [startup+1.5018 s] /proc/loadavg: 0.91 0.95 0.98 2/65 7118 /proc/meminfo: memFree=1779712/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=16600 CPUtime=1.49 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 1886 0 0 0 149 0 0 0 25 0 1 0 180990648 16998400 1818 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 4150 1818 289 640 0 3506 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16600 [startup+3.10197 s] /proc/loadavg: 0.91 0.95 0.98 2/65 7118 /proc/meminfo: memFree=1778816/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=17000 CPUtime=3.09 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 1985 0 0 0 308 1 0 0 25 0 1 0 180990648 17408000 1917 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 4250 1917 289 640 0 3606 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17000 [startup+6.30232 s] /proc/loadavg: 0.92 0.95 0.98 2/65 7118 /proc/meminfo: memFree=1777728/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=17544 CPUtime=6.29 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 2113 0 0 0 628 1 0 0 25 0 1 0 180990648 17965056 2045 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 4386 2045 289 640 0 3742 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17544 [startup+12.701 s] /proc/loadavg: 0.93 0.95 0.98 2/65 7118 /proc/meminfo: memFree=1776896/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=18624 CPUtime=12.69 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 2403 0 0 0 1266 3 0 0 25 0 1 0 180990648 19070976 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 4656 2335 289 640 0 4012 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18624 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.98 2/65 7118 /proc/meminfo: memFree=1775744/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=19420 CPUtime=25.49 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 2591 0 0 0 2543 6 0 0 25 0 1 0 180990648 19886080 2523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 4855 2523 289 640 0 4211 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19420 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.98 2/65 7118 /proc/meminfo: memFree=1774080/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=21144 CPUtime=51.07 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 3029 0 0 0 5095 12 0 0 25 0 1 0 180990648 21651456 2961 1992294400 134512640 137136520 4294956256 18446744073709551615 134543840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 5286 2961 289 640 0 4642 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21144 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/65 7118 /proc/meminfo: memFree=1772864/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=22340 CPUtime=102.26 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 3325 0 0 0 10205 21 0 0 25 0 1 0 180990648 22876160 3257 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 5585 3257 289 640 0 4941 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22340 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1771840/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=23268 CPUtime=162.24 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 3570 0 0 0 16194 30 0 0 25 0 1 0 180990648 23826432 3502 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 5817 3502 289 640 0 5173 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 23268 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1771776/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=23268 CPUtime=222.22 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 3575 0 0 0 22184 38 0 0 25 0 1 0 180990648 23826432 3507 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 5817 3507 289 640 0 5173 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 23268 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1770560/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=24508 CPUtime=282.21 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 3868 0 0 0 28174 47 0 0 25 0 1 0 180990648 25096192 3800 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6127 3800 289 640 0 5483 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 24508 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1770496/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=24508 CPUtime=342.19 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 3868 0 0 0 34166 53 0 0 25 0 1 0 180990648 25096192 3800 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6127 3800 289 640 0 5483 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 24508 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1769536/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=25576 CPUtime=402.18 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4147 0 0 0 40156 62 0 0 25 0 1 0 180990648 26189824 4079 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6394 4079 289 640 0 5750 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 25576 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1769408/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=25720 CPUtime=462.16 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4157 0 0 0 46146 70 0 0 25 0 1 0 180990648 26337280 4089 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6430 4089 289 640 0 5786 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 25720 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1769472/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=25720 CPUtime=522.14 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4157 0 0 0 52137 77 0 0 25 0 1 0 180990648 26337280 4089 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6430 4089 289 640 0 5786 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 25720 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1769408/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=25720 CPUtime=582.12 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4157 0 0 0 58128 84 0 0 25 0 1 0 180990648 26337280 4089 1992294400 134512640 137136520 4294956256 18446744073709551615 134540860 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6430 4089 289 640 0 5786 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 25720 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1769408/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=25720 CPUtime=642.11 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4157 0 0 0 64121 90 0 0 25 0 1 0 180990648 26337280 4089 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6430 4089 289 640 0 5786 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 25720 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1768000/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=26916 CPUtime=1061.98 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4456 0 0 0 106047 151 0 0 25 0 1 0 180990648 27561984 4388 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6729 4388 289 640 0 6085 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 26916 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1766848/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=27980 CPUtime=1121.97 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4743 0 0 0 112039 158 0 0 25 0 1 0 180990648 28651520 4675 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6995 4675 289 640 0 6351 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 27980 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7118 /proc/meminfo: memFree=1766784/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=27980 CPUtime=1181.94 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4752 0 0 0 118030 164 0 0 25 0 1 0 180990648 28651520 4684 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 6995 4684 289 640 0 6351 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 27980 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766528/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28124 CPUtime=1241.93 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4764 0 0 0 124023 170 0 0 25 0 1 0 180990648 28798976 4696 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7031 4696 289 640 0 6387 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 28124 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766464/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28124 CPUtime=1301.92 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4775 0 0 0 130015 177 0 0 25 0 1 0 180990648 28798976 4707 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7031 4707 289 640 0 6387 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 28124 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766464/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28124 CPUtime=1361.9 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4775 0 0 0 136006 184 0 0 25 0 1 0 180990648 28798976 4707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7031 4707 289 640 0 6387 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 28124 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766336/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28268 CPUtime=1421.88 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4798 0 0 0 141997 191 0 0 25 0 1 0 180990648 28946432 4730 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7067 4730 289 640 0 6423 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 28268 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766464/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28268 CPUtime=1481.86 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4798 0 0 0 147987 199 0 0 25 0 1 0 180990648 28946432 4730 1992294400 134512640 137136520 4294956256 18446744073709551615 135982513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7067 4730 289 640 0 6423 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 28268 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766144/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28592 CPUtime=1541.84 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4875 0 0 0 153976 208 0 0 25 0 1 0 180990648 29278208 4807 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7148 4807 289 640 0 6504 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 28592 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766080/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28592 CPUtime=1601.83 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 159965 218 0 0 25 0 1 0 180990648 29278208 4820 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7148 4820 289 640 0 6504 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 28592 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766016/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28592 CPUtime=1661.81 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 165956 225 0 0 25 0 1 0 180990648 29278208 4820 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7148 4820 289 640 0 6504 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 28592 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7120 /proc/meminfo: memFree=1766016/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1721.79 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 171949 230 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 28360 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7126 /proc/meminfo: memFree=1766008/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1781.77 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 177942 235 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 28360 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7126 /proc/meminfo: memFree=1766008/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1791.37 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 178900 237 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 28360 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7126 /proc/meminfo: memFree=1766008/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1794.57 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 179219 238 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 28360 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7126 /proc/meminfo: memFree=1766008/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1796.17 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 179379 238 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1796.17 Current children cumulated vsize (KiB) 28360 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7126 /proc/meminfo: memFree=1766008/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1796.97 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 179459 238 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1796.97 Current children cumulated vsize (KiB) 28360 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7126 /proc/meminfo: memFree=1766008/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1797.77 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 179539 238 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 28360 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7126 /proc/meminfo: memFree=1766008/2055920 swapFree=4191900/4192956 [pid=7117] ppid=7115 vsize=28360 CPUtime=1797.97 /proc/7117/stat : 7117 (bsolo) R 7115 7117 6911 0 -1 4194304 4888 0 0 0 179559 238 0 0 25 0 1 0 180990648 29040640 4781 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7117/statm: 7090 4781 289 640 0 6446 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 28360 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798 CPU user time (s): 1795.62 CPU system time (s): 2.38864 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 28592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.62 system time used= 2.38864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4889 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2353 runsolver used 1.39079 second user time and 3.9154 second system time The end
Begin job on node37 at 2009-06-16 08:32:15 IDJOB=1878553 IDBENCH=1866 IDSOLVER=700 FILE ID=node37/1878553-1245133935 PBS_JOBID= 9363691 Free space on /tmp= 66168 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878553-1245133935/watcher-1878553-1245133935 -o /tmp/evaluation-result-1878553-1245133935/solver-1878553-1245133935 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878553-1245133935.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d RANDOM SEED=1748836599 node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1785576 kB Buffers: 36916 kB Cached: 153904 kB SwapCached: 260 kB Active: 52376 kB Inactive: 151668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785576 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3960 kB Writeback: 0 kB Mapped: 21752 kB Slab: 52392 kB Committed_AS: 155108 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66164 MiB End job on node37 at 2009-06-16 09:02:13