Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798.05 | 1799 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb |
MD5SUM | 5a1b3155d98b6c4d8f9ab1b869fece67 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 355 |
Optimality of the best value was proved | NO |
Number of variables | 11001 |
Total number of constraints | 21678 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 21678 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2765 |
Number of bits of the biggest sum of numbers | 12 |
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-1878427-1245170501.opb 0.00/0.00 c File size is 6306000 bytes. 0.79/0.80 c Highest Coefficient sum: 2765 0.79/0.80 c Parsing was ok!! 0.79/0.80 c Total parsing time: 0.806 s 0.79/0.83 c Var: 11001 Constr: 21678 0/0/21678 Lit: 743262 Watch. Lit: 106263 0.79/0.83 c Obj. Vars: 9 (0.0818107 % of total variables) 5.29/5.38 c Pre-processing Time: 5.382 s 5.29/5.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.39 c 0 11001 21678 743262 34 189932 500000 0 0 5.38 5.29/5.39 c Switching off lower bounding mode. 1797.95/1798.96 c 101 11001 21779 748830 34 464254 550001 101 12 7.82 1797.95/1798.96 c 251 11001 21929 757264 34 446727 605002 251 23 10.68 1797.95/1798.96 c 479 11001 22157 769487 34 421911 665503 479 35 13.32 1797.95/1798.96 c 818 11001 22496 785850 34 390221 732054 818 50 16.35 1797.95/1798.96 c 1326 11001 23004 816162 35 413000 805260 1326 66 19.98 1797.95/1798.96 c 2090 11001 23768 849793 35 354146 885787 2090 97 21.45 1797.95/1798.96 c 3237 11001 24915 922164 37 406971 974366 3237 120 26.92 1797.95/1798.96 c 4958 11001 26636 1016960 38 436979 500000 4958 105 47.07 1797.95/1798.96 c 7542 11001 29220 1177445 40 451582 550001 7542 122 61.62 1797.95/1798.96 c 11423 11001 33101 1485536 44 433605 605002 11423 133 85.86 1797.95/1798.96 c 17246 11001 38924 1780021 45 465695 665503 17246 135 126.98 1797.95/1798.96 c 25984 11001 47662 2240676 47 472195 732054 25984 133 194.21 1797.95/1798.96 c 39095 11001 60773 3196339 52 480574 805260 39095 150 259.94 1797.95/1798.96 c 58765 11001 80443 4278502 53 490513 885787 58765 153 382.06 1797.95/1798.96 c 88277 11001 109955 7111525 64 570164 974366 88277 138 638.36 1797.95/1798.96 c 132548 11001 154226 10671194 69 674836 500000 132548 121 1086.97 1797.95/1798.96 c 198958 11001 220636 13947251 63 768347 550001 198958 123 1614.14 1797.95/1798.96 c Resources Exceeded 1797.95/1798.96 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.96 c 17 219496 28678 276163 241174 14980771 219496 122 1798.02 1797.95/1798.96 s UNKNOWN 1797.95/1798.96 c Total time: 1798.02 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-1878427-1245170501/watcher-1878427-1245170501 -o /tmp/evaluation-result-1878427-1245170501/solver-1878427-1245170501 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878427-1245170501.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.92 0.98 0.99 3/64 3734 /proc/meminfo: memFree=1842944/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=16864 CPUtime=0 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 184651014 17268736 226 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 4216 226 177 640 0 2032 0 [startup+0.087669 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3734 /proc/meminfo: memFree=1842944/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=17908 CPUtime=0.08 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 683 0 0 0 8 0 0 0 18 0 1 0 184651014 18337792 667 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 4477 667 333 640 0 2293 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17908 [startup+0.10167 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3734 /proc/meminfo: memFree=1842944/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=18164 CPUtime=0.09 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 760 0 0 0 9 0 0 0 18 0 1 0 184651014 18599936 744 1992294400 134512640 137136520 4294956256 18446744073709551615 134531528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 4541 745 360 640 0 2357 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18164 [startup+0.301708 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3734 /proc/meminfo: memFree=1842944/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=21040 CPUtime=0.29 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 1870 0 0 0 29 0 0 0 19 0 1 0 184651014 21544960 1854 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 5260 1855 748 640 0 3076 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21040 [startup+0.701785 s] /proc/loadavg: 0.92 0.98 0.99 3/64 3734 /proc/meminfo: memFree=1842944/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=26776 CPUtime=0.69 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 4050 0 0 0 68 1 0 0 23 0 1 0 184651014 27418624 4034 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 6694 4034 1503 640 0 4510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26776 [startup+1.50194 s] /proc/loadavg: 0.92 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1826552/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=39572 CPUtime=1.49 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 8995 0 0 0 146 3 0 0 25 0 1 0 184651014 40521728 7439 1992294400 134512640 137136520 4294956256 18446744073709551615 134540464 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 9893 7439 190 640 0 9249 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39572 [startup+3.10125 s] /proc/loadavg: 0.92 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1813688/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=39572 CPUtime=3.09 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 8995 0 0 0 306 3 0 0 25 0 1 0 184651014 40521728 7439 1992294400 134512640 137136520 4294956256 18446744073709551615 134540197 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 9893 7439 190 640 0 9249 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39572 [startup+6.30186 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1824952/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=35592 CPUtime=6.29 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 10949 0 0 0 623 6 0 0 25 0 1 0 184651014 36446208 6439 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 8898 6439 195 640 0 8254 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35592 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1817528/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=35592 CPUtime=12.69 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 10949 0 0 0 1263 6 0 0 25 0 1 0 184651014 36446208 6439 1992294400 134512640 137136520 4294956256 18446744073709551615 134575032 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 8898 6439 195 640 0 8254 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35592 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1817144/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=36264 CPUtime=25.48 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 11126 0 0 0 2542 6 0 0 25 0 1 0 184651014 37134336 6616 1992294400 134512640 137136520 4294956256 18446744073709551615 134576281 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 9066 6616 195 640 0 8422 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36264 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1814456/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=38864 CPUtime=51.05 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 11782 0 0 0 5098 7 0 0 25 0 1 0 184651014 39796736 7272 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 9716 7272 195 640 0 9072 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 38864 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1806840/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=46352 CPUtime=102.24 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 13669 0 0 0 10212 12 0 0 25 0 1 0 184651014 47464448 9159 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 11588 9159 195 640 0 10944 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 46352 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1800568/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=52748 CPUtime=162.21 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 15256 0 0 0 16204 17 0 0 25 0 1 0 184651014 54013952 10746 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 13187 10746 195 640 0 12543 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 52748 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1792056/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=61184 CPUtime=222.18 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 17352 0 0 0 22194 24 0 0 25 0 1 0 184651014 62652416 12842 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 15296 12842 195 640 0 14652 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 61184 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1780984/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=72208 CPUtime=282.15 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 20128 0 0 0 28185 30 0 0 25 0 1 0 184651014 73940992 15618 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 18052 15618 195 640 0 17408 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 72208 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1773112/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=80116 CPUtime=342.11 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 22093 0 0 0 34177 34 0 0 25 0 1 0 184651014 82038784 17583 1992294400 134512640 137136520 4294956256 18446744073709551615 134543924 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 20029 17583 195 640 0 19385 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 80116 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1765368/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=87940 CPUtime=402.08 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 24054 0 0 0 40170 38 0 0 25 0 1 0 184651014 90050560 19544 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 21985 19544 195 640 0 21341 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 87940 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1755448/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=97784 CPUtime=462.06 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 26518 0 0 0 46163 43 0 0 25 0 1 0 184651014 100130816 22008 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 24446 22008 195 640 0 23802 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 97784 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1745720/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=107628 CPUtime=522.03 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 28965 0 0 0 52155 48 0 0 25 0 1 0 184651014 110211072 24455 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 26907 24455 195 640 0 26263 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 107628 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3735 /proc/meminfo: memFree=1737080/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=116024 CPUtime=582.01 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 31074 0 0 0 58148 53 0 0 25 0 1 0 184651014 118808576 26564 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 29006 26564 195 640 0 28362 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 116024 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3737 /proc/meminfo: memFree=1727736/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=125352 CPUtime=641.98 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 33395 0 0 0 64140 58 0 0 25 0 1 0 184651014 128360448 28885 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 31338 28885 195 640 0 30694 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 125352 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1679352/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=173464 CPUtime=1061.78 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 45440 0 0 0 106096 82 0 0 25 0 1 0 184651014 177627136 40930 1992294400 134512640 137136520 4294956256 18446744073709551615 134600696 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 43366 40930 195 640 0 42722 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 173464 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3737 /proc/meminfo: memFree=1674232/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=178608 CPUtime=1121.74 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 46725 0 0 0 112089 85 0 0 25 0 1 0 184651014 182894592 42215 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 44652 42215 195 640 0 44008 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 178608 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1668856/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=183728 CPUtime=1181.69 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 48009 0 0 0 118079 90 0 0 25 0 1 0 184651014 188137472 43499 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 45932 43499 195 640 0 45288 0 Current children cumulated CPU time (s) 1181.69 Current children cumulated vsize (KiB) 183728 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1663928/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=188736 CPUtime=1241.67 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 49246 0 0 0 124074 93 0 0 25 0 1 0 184651014 193265664 44736 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 47184 44736 195 640 0 46540 0 Current children cumulated CPU time (s) 1241.67 Current children cumulated vsize (KiB) 188736 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1659064/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=193444 CPUtime=1301.64 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 50426 0 0 0 130068 96 0 0 25 0 1 0 184651014 198086656 45916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 48361 45916 195 640 0 47717 0 Current children cumulated CPU time (s) 1301.64 Current children cumulated vsize (KiB) 193444 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1654584/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=198068 CPUtime=1361.61 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 51570 0 0 0 136061 100 0 0 25 0 1 0 184651014 202821632 47060 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 49517 47060 195 640 0 48873 0 Current children cumulated CPU time (s) 1361.61 Current children cumulated vsize (KiB) 198068 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1649784/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=202768 CPUtime=1421.57 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 52751 0 0 0 142054 103 0 0 25 0 1 0 184651014 207634432 48241 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 50692 48241 195 640 0 50048 0 Current children cumulated CPU time (s) 1421.57 Current children cumulated vsize (KiB) 202768 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1642680/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=209900 CPUtime=1481.51 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 54540 0 0 0 148042 109 0 0 25 0 1 0 184651014 214937600 50030 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 52475 50030 195 640 0 51831 0 Current children cumulated CPU time (s) 1481.51 Current children cumulated vsize (KiB) 209900 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1636344/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=216080 CPUtime=1541.49 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 56093 0 0 0 154034 115 0 0 25 0 1 0 184651014 221265920 51583 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 54020 51583 195 640 0 53376 0 Current children cumulated CPU time (s) 1541.49 Current children cumulated vsize (KiB) 216080 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1630136/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=222412 CPUtime=1601.44 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 57678 0 0 0 160024 120 0 0 25 0 1 0 184651014 227749888 53168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544010 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 55603 53168 195 640 0 54959 0 Current children cumulated CPU time (s) 1601.44 Current children cumulated vsize (KiB) 222412 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1622648/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=229780 CPUtime=1661.41 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 59519 0 0 0 166017 124 0 0 25 0 1 0 184651014 235294720 55009 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 57445 55009 195 640 0 56801 0 Current children cumulated CPU time (s) 1661.41 Current children cumulated vsize (KiB) 229780 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1619128/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=233388 CPUtime=1721.38 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 60425 0 0 0 172010 128 0 0 25 0 1 0 184651014 238989312 55915 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 58347 55915 195 640 0 57703 0 Current children cumulated CPU time (s) 1721.38 Current children cumulated vsize (KiB) 233388 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1613944/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=238396 CPUtime=1781.35 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 61671 0 0 0 178003 132 0 0 25 0 1 0 184651014 244117504 57161 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 59599 57161 195 640 0 58955 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (KiB) 238396 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1613112/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=239236 CPUtime=1790.95 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 61863 0 0 0 178963 132 0 0 25 0 1 0 184651014 244977664 57353 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 59809 57353 195 640 0 59165 0 Current children cumulated CPU time (s) 1790.95 Current children cumulated vsize (KiB) 239236 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1612792/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=239504 CPUtime=1794.15 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 61940 0 0 0 179282 133 0 0 25 0 1 0 184651014 245252096 57430 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 59876 57430 195 640 0 59232 0 Current children cumulated CPU time (s) 1794.15 Current children cumulated vsize (KiB) 239504 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1612664/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=239636 CPUtime=1795.75 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 61977 0 0 0 179442 133 0 0 25 0 1 0 184651014 245387264 57467 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 59909 57467 195 640 0 59265 0 Current children cumulated CPU time (s) 1795.75 Current children cumulated vsize (KiB) 239636 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1612536/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=239796 CPUtime=1797.35 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 62017 0 0 0 179602 133 0 0 25 0 1 0 184651014 245551104 57507 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 59949 57507 195 640 0 59305 0 Current children cumulated CPU time (s) 1797.35 Current children cumulated vsize (KiB) 239796 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1612472/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=239796 CPUtime=1797.75 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 62025 0 0 0 179642 133 0 0 25 0 1 0 184651014 245551104 57515 1992294400 134512640 137136520 4294956256 18446744073709551615 136502148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 59949 57515 195 640 0 59305 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 239796 [startup+1798.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3743 /proc/meminfo: memFree=1612472/2055920 swapFree=4183064/4192956 [pid=3734] ppid=3732 vsize=239796 CPUtime=1797.95 /proc/3734/stat : 3734 (bsolo) R 3732 3734 3415 0 -1 4194304 62028 0 0 0 179662 133 0 0 25 0 1 0 184651014 245551104 57518 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3734/statm: 59949 57518 195 640 0 59305 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 239796 Child status: 0 Real time (s): 1799 CPU time (s): 1798.05 CPU user time (s): 1796.68 CPU system time (s): 1.37179 CPU usage (%): 99.9473 Max. virtual memory (cumulated for all children) (KiB): 239796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.68 system time used= 1.37179 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62030 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= 7130 runsolver used 1.63475 second user time and 4.91325 second system time The end
Begin job on node5 at 2009-06-16 18:41:41 IDJOB=1878427 IDBENCH=2633 IDSOLVER=700 FILE ID=node5/1878427-1245170501 PBS_JOBID= 9363854 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878427-1245170501/watcher-1878427-1245170501 -o /tmp/evaluation-result-1878427-1245170501/solver-1878427-1245170501 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878427-1245170501.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67 RANDOM SEED=25012362 node5.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.259 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 : 5931.00 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.259 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: 1843424 kB Buffers: 43824 kB Cached: 89036 kB SwapCached: 3684 kB Active: 54216 kB Inactive: 86580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843424 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 10096 kB Writeback: 0 kB Mapped: 14600 kB Slab: 57760 kB Committed_AS: 151984 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878427-1245170501.opb Free space on /tmp at the end= 66248 MiB End job on node5 at 2009-06-16 19:11:40