Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.03 | 1798.69 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657363-1276585690.opb 0.00/0.00 c File size is 6306000 bytes. 0.89/0.98 c Highest Coefficient sum: 2765 0.89/0.98 c Parsing was ok!! 0.89/0.98 c Total parsing time: 0.987 s 1.00/1.01 c Var: 11001 Constr: 21678 0/0/21678 Lit: 743262 Watch. Lit: 106263 1.00/1.01 c Obj. Vars: 9 (0.0818107 % of total variables) 5.69/5.71 c Pre-processing Time: 5.707 s 5.69/5.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.71 c 0 11001 21678 743262 34 189932 500000 0 0 5.71 5.69/5.71 c Switching off lower bounding mode. 1797.93/1798.66 c 101 11001 21779 748830 34 464254 550001 101 12 8.23 1797.93/1798.66 c 251 11001 21929 757264 34 446727 605002 251 22 11.17 1797.93/1798.66 c 479 11001 22157 769487 34 421911 665503 479 34 13.87 1797.93/1798.66 c 818 11001 22496 785850 34 390221 732054 818 48 17.01 1797.93/1798.66 c 1326 11001 23004 816162 35 413000 805260 1326 63 20.76 1797.93/1798.66 c 2090 11001 23768 849793 35 354146 885787 2090 93 22.29 1797.93/1798.66 c 3237 11001 24915 922164 37 406971 974366 3237 116 27.90 1797.93/1798.66 c 4958 11001 26636 1016960 38 436979 500000 4958 102 48.60 1797.93/1798.66 c 7542 11001 29220 1177445 40 451582 550001 7542 118 63.59 1797.93/1798.66 c 11423 11001 33101 1485536 44 433605 605002 11423 129 88.51 1797.93/1798.66 c 17246 11001 38924 1780021 45 465695 665503 17246 131 130.85 1797.93/1798.66 c 25984 11001 47662 2240676 47 472195 732054 25984 129 200.00 1797.93/1798.66 c 39095 11001 60773 3196339 52 480574 805260 39095 146 267.44 1797.93/1798.66 c 58765 11001 80443 4278502 53 490513 885787 58765 149 392.95 1797.93/1798.66 c 88277 11001 109955 7111525 64 570164 974366 88277 134 655.08 1797.93/1798.66 c 132548 11001 154226 10671194 69 674836 500000 132548 119 1113.33 1797.93/1798.66 c 198958 11001 220636 13947251 63 768347 550001 198958 120 1651.29 1797.93/1798.66 c Resources Exceeded 1797.93/1798.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.66 c 17 215457 28220 271455 237135 14748004 215457 119 1798.00 1797.93/1798.66 s UNKNOWN 1797.93/1798.66 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-2657363-1276585690/watcher-2657363-1276585690 -o /tmp/evaluation-result-2657363-1276585690/solver-2657363-1276585690 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657363-1276585690.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.98 0.97 0.99 3/106 32331 /proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=16948 CPUtime=0 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 316 0 0 0 0 0 0 0 23 0 1 0 32220885 17354752 234 1992294400 134512640 137138936 4287761696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 4237 234 176 642 0 2053 0 [startup+0.0967711 s] /proc/loadavg: 0.98 0.97 0.99 3/106 32331 /proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=17856 CPUtime=0.09 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 687 0 0 0 9 0 0 0 23 0 1 0 32220885 18284544 605 1992294400 134512640 137138936 4287761696 18446744073709551615 134517608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 4464 606 308 642 0 2280 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17856 [startup+0.10177 s] /proc/loadavg: 0.98 0.97 0.99 3/106 32331 /proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=17992 CPUtime=0.09 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 709 0 0 0 9 0 0 0 23 0 1 0 32220885 18423808 627 1992294400 134512640 137138936 4287761696 18446744073709551615 136671176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 4498 627 316 642 0 2314 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17992 [startup+0.301807 s] /proc/loadavg: 0.98 0.97 0.99 3/106 32331 /proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=20340 CPUtime=0.29 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 1612 0 0 0 29 0 0 0 23 0 1 0 32220885 20828160 1530 1992294400 134512640 137138936 4287761696 18446744073709551615 134516189 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 5085 1530 630 642 0 2901 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20340 [startup+0.701879 s] /proc/loadavg: 0.98 0.97 0.99 3/106 32331 /proc/meminfo: memFree=1836620/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=24784 CPUtime=0.69 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 3354 0 0 0 68 1 0 0 25 0 1 0 32220885 25378816 3272 1992294400 134512640 137138936 4287761696 18446744073709551615 136506707 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 6196 3272 1235 642 0 4012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24784 [startup+1.50103 s] /proc/loadavg: 0.98 0.97 0.99 2/107 32332 /proc/meminfo: memFree=1822972/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=36940 CPUtime=1.49 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 8378 0 0 0 146 3 0 0 25 0 1 0 32220885 37826560 6756 1992294400 134512640 137138936 4287761696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 9235 6758 185 642 0 8591 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36940 [startup+3.10132 s] /proc/loadavg: 1.06 0.99 0.99 2/107 32332 /proc/meminfo: memFree=1807348/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=39580 CPUtime=3.09 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 9057 0 0 0 304 5 0 0 25 0 1 0 32220885 40529920 7435 1992294400 134512640 137138936 4287761696 18446744073709551615 134540164 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 9895 7435 185 642 0 9251 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39580 [startup+6.3019 s] /proc/loadavg: 1.06 0.99 0.99 2/107 32332 /proc/meminfo: memFree=1806976/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=35048 CPUtime=6.28 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 10870 0 0 0 620 8 0 0 25 0 1 0 32220885 35889152 6294 1992294400 134512640 137138936 4287761696 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 8762 6294 190 642 0 8118 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35048 [startup+12.7011 s] /proc/loadavg: 1.20 1.02 1.01 2/107 32332 /proc/meminfo: memFree=1811068/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=35600 CPUtime=12.69 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 11011 0 0 0 1260 9 0 0 25 0 1 0 32220885 36454400 6435 1992294400 134512640 137138936 4287761696 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 8900 6435 190 642 0 8256 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35600 [startup+25.5014 s] /proc/loadavg: 1.33 1.05 1.02 2/107 32334 /proc/meminfo: memFree=1810448/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=36136 CPUtime=25.48 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 11156 0 0 0 2537 11 0 0 25 0 1 0 32220885 37003264 6580 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 9034 6580 190 642 0 8390 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36136 [startup+51.101 s] /proc/loadavg: 1.21 1.05 1.01 2/107 32334 /proc/meminfo: memFree=1807968/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=38736 CPUtime=51.07 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 11799 0 0 0 5094 13 0 0 25 0 1 0 32220885 39665664 7223 1992294400 134512640 137138936 4287761696 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 9684 7223 190 642 0 9040 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38736 [startup+102.309 s] /proc/loadavg: 1.08 1.04 1.01 2/107 32336 /proc/meminfo: memFree=1800404/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=46216 CPUtime=102.27 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 13668 0 0 0 10206 21 0 0 25 0 1 0 32220885 47325184 9092 1992294400 134512640 137138936 4287761696 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 11554 9092 190 642 0 10910 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 46216 [startup+162.301 s] /proc/loadavg: 1.03 1.03 1.00 2/107 32336 /proc/meminfo: memFree=1794576/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=52200 CPUtime=162.23 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 15174 0 0 0 16196 27 0 0 25 0 1 0 32220885 53452800 10598 1992294400 134512640 137138936 4287761696 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 13050 10598 190 642 0 12406 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 52200 [startup+222.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 32338 /proc/meminfo: memFree=1786764/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=59856 CPUtime=222.21 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 17102 0 0 0 22186 35 0 0 25 0 1 0 32220885 61292544 12526 1992294400 134512640 137138936 4287761696 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 14964 12526 190 642 0 14320 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 59856 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 32340 /proc/meminfo: memFree=1775356/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=71288 CPUtime=282.19 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 19943 0 0 0 28175 44 0 0 25 0 1 0 32220885 72998912 15367 1992294400 134512640 137138936 4287761696 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 17822 15367 190 642 0 17178 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 71288 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 32342 /proc/meminfo: memFree=1767544/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=79036 CPUtime=342.17 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 21876 0 0 0 34165 52 0 0 25 0 1 0 32220885 80932864 17300 1992294400 134512640 137138936 4287761696 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 19759 17300 190 642 0 19115 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 79036 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32344 /proc/meminfo: memFree=1760352/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=86332 CPUtime=402.15 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 23696 0 0 0 40158 57 0 0 25 0 1 0 32220885 88403968 19120 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 21583 19120 190 642 0 20939 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 86332 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32344 /proc/meminfo: memFree=1751052/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=95568 CPUtime=462.12 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 26007 0 0 0 46147 65 0 0 25 0 1 0 32220885 97861632 21431 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 23892 21431 190 642 0 23248 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 95568 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32346 /proc/meminfo: memFree=1741132/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=105388 CPUtime=522.1 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 28483 0 0 0 52137 73 0 0 25 0 1 0 32220885 107917312 23907 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 26347 23907 190 642 0 25703 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 105388 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32348 /proc/meminfo: memFree=1732576/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=113776 CPUtime=582.08 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 30587 0 0 0 58129 79 0 0 25 0 1 0 32220885 116506624 26011 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 28444 26011 190 642 0 27800 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 113776 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32350 /proc/meminfo: memFree=1723896/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=122428 CPUtime=642.06 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 32728 0 0 0 64121 85 0 0 25 0 1 0 32220885 125366272 28152 1992294400 134512640 137138936 4287761696 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 30607 28152 190 642 0 29963 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 122428 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1669708/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=176220 CPUtime=1121.88 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 46171 0 0 0 112059 129 0 0 25 0 1 0 32220885 180449280 41595 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 44055 41595 190 642 0 43411 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 176220 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32364 /proc/meminfo: memFree=1664748/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=181152 CPUtime=1181.86 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 47414 0 0 0 118050 136 0 0 25 0 1 0 32220885 185499648 42838 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 45288 42838 190 642 0 44644 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 181152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32366 /proc/meminfo: memFree=1659292/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=186424 CPUtime=1241.83 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 48740 0 0 0 124042 141 0 0 25 0 1 0 32220885 190898176 44164 1992294400 134512640 137138936 4287761696 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 46606 44164 190 642 0 45962 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 186424 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32368 /proc/meminfo: memFree=1654456/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=191160 CPUtime=1301.82 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 49908 0 0 0 130035 147 0 0 25 0 1 0 32220885 195747840 45332 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 47790 45332 190 642 0 47146 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 191160 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32368 /proc/meminfo: memFree=1649992/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=195624 CPUtime=1361.79 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 51040 0 0 0 136027 152 0 0 25 0 1 0 32220885 200318976 46464 1992294400 134512640 137138936 4287761696 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 48906 46464 190 642 0 48262 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 195624 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32370 /proc/meminfo: memFree=1644908/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=200332 CPUtime=1421.78 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 52199 0 0 0 142020 158 0 0 25 0 1 0 32220885 205139968 47623 1992294400 134512640 137138936 4287761696 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 50083 47623 190 642 0 49439 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 200332 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32372 /proc/meminfo: memFree=1639700/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=205456 CPUtime=1481.74 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 53493 0 0 0 148011 163 0 0 25 0 1 0 32220885 210386944 48917 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 51364 48917 190 642 0 50720 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 205456 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32374 /proc/meminfo: memFree=1632136/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=212920 CPUtime=1541.72 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 55346 0 0 0 154000 172 0 0 25 0 1 0 32220885 218030080 50770 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 53230 50770 190 642 0 52586 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 212920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32376 /proc/meminfo: memFree=1626432/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=218656 CPUtime=1601.7 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 56794 0 0 0 159993 177 0 0 25 0 1 0 32220885 223903744 52218 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 54664 52218 190 642 0 54020 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 218656 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32376 /proc/meminfo: memFree=1620604/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=224416 CPUtime=1661.68 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 58232 0 0 0 165985 183 0 0 25 0 1 0 32220885 229801984 53656 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 56104 53656 190 642 0 55460 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 224416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32378 /proc/meminfo: memFree=1613784/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=231256 CPUtime=1721.65 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 59937 0 0 0 171976 189 0 0 25 0 1 0 32220885 236806144 55361 1992294400 134512640 137138936 4287761696 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 57814 55361 190 642 0 57170 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 231256 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1609444/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=235296 CPUtime=1781.64 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 60953 0 0 0 177970 194 0 0 25 0 1 0 32220885 240943104 56377 1992294400 134512640 137138936 4287761696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 58824 56377 190 642 0 58180 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 235296 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1608452/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=236268 CPUtime=1791.24 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61187 0 0 0 178929 195 0 0 25 0 1 0 32220885 241938432 56611 1992294400 134512640 137138936 4287761696 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 59067 56611 190 642 0 58423 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 236268 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1608204/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=236536 CPUtime=1794.44 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61250 0 0 0 179249 195 0 0 25 0 1 0 32220885 242212864 56674 1992294400 134512640 137138936 4287761696 18446744073709551615 134623849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 59134 56674 190 642 0 58490 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (KiB) 236536 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1608080/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=236668 CPUtime=1796.03 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61281 0 0 0 179408 195 0 0 25 0 1 0 32220885 242348032 56705 1992294400 134512640 137138936 4287761696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 59167 56705 190 642 0 58523 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (KiB) 236668 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1608080/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=236668 CPUtime=1796.83 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61296 0 0 0 179488 195 0 0 25 0 1 0 32220885 242348032 56720 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 59167 56720 190 642 0 58523 0 Current children cumulated CPU time (s) 1796.83 Current children cumulated vsize (KiB) 236668 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1608080/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=236668 CPUtime=1797.63 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61310 0 0 0 179568 195 0 0 25 0 1 0 32220885 242348032 56734 1992294400 134512640 137138936 4287761696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 59167 56734 190 642 0 58523 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 236668 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1607956/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=236800 CPUtime=1797.84 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61314 0 0 0 179589 195 0 0 25 0 1 0 32220885 242483200 56738 1992294400 134512640 137138936 4287761696 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 59200 56738 190 642 0 58556 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 236800 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 32380 /proc/meminfo: memFree=1607956/2059040 swapFree=4140296/4192956 [pid=32331] ppid=32329 vsize=236800 CPUtime=1797.93 /proc/32331/stat : 32331 (bsolo_pb10) R 32329 32331 32136 0 -1 4202496 61315 0 0 0 179598 195 0 0 25 0 1 0 32220885 242483200 56739 1992294400 134512640 137138936 4287761696 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32331/statm: 59200 56739 190 642 0 58556 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 236800 Child status: 0 Real time (s): 1798.69 CPU time (s): 1798.03 CPU user time (s): 1796.05 CPU system time (s): 1.9797 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 236800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.05 system time used= 1.9797 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61317 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= 1 involuntary context switches= 23811 runsolver used 3.99539 second user time and 9.06562 second system time The end
Begin job on node027 at 2010-06-15 09:08:10 IDJOB=2657363 IDBENCH=2633 IDSOLVER=1163 FILE ID=node027/2657363-1276585690 PBS_JOBID= 11173539 Free space on /tmp= 62528 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657363-1276585690/watcher-2657363-1276585690 -o /tmp/evaluation-result-2657363-1276585690/solver-2657363-1276585690 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657363-1276585690.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67 RANDOM SEED=332587597 node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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 : 2800.261 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5600.52 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 : 2800.261 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1837148 kB Buffers: 18752 kB Cached: 124084 kB SwapCached: 5720 kB Active: 90680 kB Inactive: 64672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837148 kB SwapTotal: 4192956 kB SwapFree: 4140296 kB Dirty: 10076 kB Writeback: 4 kB AnonPages: 11028 kB Mapped: 13124 kB Slab: 44700 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182432 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node027 at 2010-06-15 09:38:09