Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | ? | 1798.05 | 1798.58 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb |
MD5SUM | 6a25ee38adc43f783b18badd1224270c |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13480 |
Total number of constraints | 26619 |
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 | 26619 |
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 | 2843 |
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: Cardinality Constraint 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-1876970-1245170844.opb 0.00/0.00 c File size is 7804237 bytes. 1.00/1.05 c Highest Coefficient sum: 2843 1.00/1.05 c Parsing was ok!! 1.00/1.05 c Total parsing time: 1.048 s 1.00/1.08 c Var: 13480 Constr: 26619 0/0/26619 Lit: 916142 Watch. Lit: 130416 1.00/1.08 c Obj. Vars: 9 (0.0667656 % of total variables) 7.48/7.58 c Pre-processing Time: 7.574 s 7.48/7.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.48/7.58 c 0 13480 26619 916142 34 228629 500000 0 0 7.57 7.48/7.58 c Switching off lower bounding mode. 1797.96/1798.53 c 101 13480 26789 922381 34 564875 550001 170 9 10.76 1797.96/1798.53 c 252 13480 27008 931666 34 542761 605002 389 16 15.07 1797.96/1798.53 c 477 13480 27310 944689 34 545168 665503 691 25 18.47 1797.96/1798.53 c 815 13480 27760 964463 34 508466 732054 1141 38 21.04 1797.96/1798.53 c 1323 13480 28425 989362 34 514484 805260 1806 55 23.76 1797.96/1798.53 c 2087 13480 29494 1034339 35 484350 885787 2875 77 26.90 1797.96/1798.53 c 3233 13480 31040 1123721 36 508036 974366 4421 88 36.51 1797.96/1798.53 c 4955 13480 33302 1263984 37 502432 500000 6683 106 46.48 1797.96/1798.53 c 7539 13480 36676 1408040 38 441262 550001 10057 142 53.03 1797.96/1798.53 c 11418 13480 41905 1691036 40 462971 605002 15286 177 64.19 1797.96/1798.53 c 17242 13480 49687 2022480 40 434346 665503 23068 232 74.10 1797.96/1798.53 c 25979 13480 61757 2895279 46 585124 732054 35138 126 205.42 1797.96/1798.53 c 39090 13480 79536 3641979 45 557818 805260 52917 151 258.67 1797.96/1798.53 c 58760 13480 106175 4700726 44 615141 885787 79556 185 316.48 1797.96/1798.53 c 88270 13480 145389 7803884 53 742139 974366 118770 147 597.20 1797.96/1798.53 c 132541 13480 206941 10983155 53 830825 500000 180322 135 974.89 1797.96/1798.53 c Resources Exceeded 1797.96/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.53 c 16 188596 25964 239145 284413 16837915 257794 104 1798.00 1797.96/1798.53 s UNKNOWN 1797.96/1798.53 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-1876970-1245170844/watcher-1876970-1245170844 -o /tmp/evaluation-result-1876970-1245170844/solver-1876970-1245170844 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876970-1245170844.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.97 0.99 3/64 12762 /proc/meminfo: memFree=1915456/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=33952 CPUtime=0 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 238 0 0 0 0 0 0 0 18 0 1 0 184684824 34766848 222 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 6535 222 175 640 0 3985 0 [startup+0.00753597 s] /proc/loadavg: 0.91 0.97 0.99 3/64 12762 /proc/meminfo: memFree=1915456/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=18328 CPUtime=0 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 184684824 18767872 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 4582 236 180 640 0 2032 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18328 [startup+0.101543 s] /proc/loadavg: 0.91 0.97 0.99 3/64 12762 /proc/meminfo: memFree=1915456/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=19628 CPUtime=0.09 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 748 0 0 0 9 0 0 0 18 0 1 0 184684824 20099072 732 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 4907 732 357 640 0 2357 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19628 [startup+0.301564 s] /proc/loadavg: 0.91 0.97 0.99 3/64 12762 /proc/meminfo: memFree=1915456/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=22244 CPUtime=0.29 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 1794 0 0 0 29 0 0 0 19 0 1 0 184684824 22777856 1778 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 5561 1778 724 640 0 3011 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22244 [startup+0.701605 s] /proc/loadavg: 0.91 0.97 0.99 3/64 12762 /proc/meminfo: memFree=1915456/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=27724 CPUtime=0.69 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 3878 0 0 0 68 1 0 0 22 0 1 0 184684824 28389376 3862 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 6931 3862 1449 640 0 4381 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27724 [startup+1.50169 s] /proc/loadavg: 0.91 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1901496/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=31124 CPUtime=1.49 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 7226 0 0 0 146 3 0 0 25 0 1 0 184684824 31870976 5304 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 7781 5304 188 640 0 7137 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31124 [startup+3.10186 s] /proc/loadavg: 0.91 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1879544/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=46184 CPUtime=3.09 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 11005 0 0 0 303 6 0 0 25 0 1 0 184684824 47292416 9083 1992294400 134512640 137136520 4294956256 18446744073709551615 134540276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/12762/statm: 11546 9083 190 640 0 10902 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46184 [startup+6.30118 s] /proc/loadavg: 0.92 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1879288/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=46184 CPUtime=6.28 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 11005 0 0 0 621 7 0 0 25 0 1 0 184684824 47292416 9083 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 11546 9083 190 640 0 10902 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 46184 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1884600/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=41076 CPUtime=12.68 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 13384 0 0 0 1258 10 0 0 25 0 1 0 184684824 42061824 7814 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 10269 7814 196 640 0 9625 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41076 [startup+25.5012 s] /proc/loadavg: 0.94 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1884280/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=41504 CPUtime=25.47 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 13505 0 0 0 2537 10 0 0 25 0 1 0 184684824 42500096 7935 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 10376 7935 197 640 0 9732 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 41504 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1880440/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=45540 CPUtime=51.06 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 14487 0 0 0 5093 13 0 0 25 0 1 0 184684824 46632960 8917 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 11385 8917 197 640 0 10741 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 45540 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1864888/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=60832 CPUtime=102.25 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 18335 0 0 0 10207 18 0 0 25 0 1 0 184684824 62291968 12765 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 15208 12765 197 640 0 14564 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 60832 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1859576/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=66040 CPUtime=162.23 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 19641 0 0 0 16203 20 0 0 25 0 1 0 184684824 67624960 14071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 16510 14071 197 640 0 15866 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 66040 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12763 /proc/meminfo: memFree=1852536/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=73196 CPUtime=222.21 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 21401 0 0 0 22198 23 0 0 25 0 1 0 184684824 74952704 15831 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 18299 15831 197 640 0 17655 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 73196 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12765 /proc/meminfo: memFree=1838200/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=87684 CPUtime=282.19 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 25023 0 0 0 28190 29 0 0 25 0 1 0 184684824 89788416 19453 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 21921 19453 197 640 0 21277 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 87684 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12765 /proc/meminfo: memFree=1824312/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=101132 CPUtime=342.18 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 28412 0 0 0 34183 35 0 0 25 0 1 0 184684824 103559168 22842 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 25283 22842 197 640 0 24639 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 101132 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12765 /proc/meminfo: memFree=1816568/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=109140 CPUtime=402.16 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 30387 0 0 0 40178 38 0 0 25 0 1 0 184684824 111759360 24817 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 27285 24817 197 640 0 26641 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 109140 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12765 /proc/meminfo: memFree=1804664/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=120872 CPUtime=462.14 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 33328 0 0 0 46172 42 0 0 25 0 1 0 184684824 123772928 27758 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 30218 27758 197 640 0 29574 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 120872 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12765 /proc/meminfo: memFree=1794040/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=131504 CPUtime=522.12 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 35978 0 0 0 52167 45 0 0 25 0 1 0 184684824 134660096 30408 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 32876 30408 197 640 0 32232 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 131504 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12765 /proc/meminfo: memFree=1783992/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=141584 CPUtime=582.11 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 38498 0 0 0 58162 49 0 0 25 0 1 0 184684824 144982016 32928 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 35396 32928 197 640 0 34752 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 141584 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12765 /proc/meminfo: memFree=1776184/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=149252 CPUtime=642.09 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 40415 0 0 0 64156 53 0 0 25 0 1 0 184684824 152834048 34845 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 37313 34845 197 640 0 36669 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 149252 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1720944/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=204064 CPUtime=1061.96 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 54144 0 0 0 106120 76 0 0 25 0 1 0 184684824 208961536 48574 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 51016 48574 197 640 0 50372 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 204064 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1713328/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=211516 CPUtime=1121.95 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 56007 0 0 0 112116 79 0 0 25 0 1 0 184684824 216592384 50437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 52879 50437 197 640 0 52235 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 211516 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1706040/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=218888 CPUtime=1181.93 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 57850 0 0 0 118112 81 0 0 25 0 1 0 184684824 224141312 52280 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 54722 52280 197 640 0 54078 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 218888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1699896/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=225052 CPUtime=1241.92 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 59365 0 0 0 124108 84 0 0 25 0 1 0 184684824 230453248 53795 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 56263 53795 197 640 0 55619 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 225052 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1693176/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=231648 CPUtime=1301.9 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 61014 0 0 0 130104 86 0 0 25 0 1 0 184684824 237207552 55444 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 57912 55444 197 640 0 57268 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 231648 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1685752/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=238884 CPUtime=1361.89 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 62850 0 0 0 136100 89 0 0 25 0 1 0 184684824 244617216 57280 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 59721 57280 197 640 0 59077 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 238884 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1678840/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=245860 CPUtime=1421.87 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 64567 0 0 0 142097 90 0 0 25 0 1 0 184684824 251760640 58997 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 61465 58997 197 640 0 60821 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 245860 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1673336/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=251260 CPUtime=1481.85 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 65947 0 0 0 148092 93 0 0 25 0 1 0 184684824 257290240 60377 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 62815 60377 197 640 0 62171 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 251260 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1667832/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=257040 CPUtime=1541.83 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 67362 0 0 0 154089 94 0 0 25 0 1 0 184684824 263208960 61792 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 64260 61792 197 640 0 63616 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 257040 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1662328/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=262404 CPUtime=1601.81 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 68732 0 0 0 160085 96 0 0 25 0 1 0 184684824 268701696 63162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 65601 63162 197 640 0 64957 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 262404 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1656760/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=267892 CPUtime=1661.8 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 70075 0 0 0 166082 98 0 0 25 0 1 0 184684824 274321408 64505 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 66973 64505 197 640 0 66329 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 267892 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1651192/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=273536 CPUtime=1721.78 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 71486 0 0 0 172078 100 0 0 25 0 1 0 184684824 280100864 65916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 68384 65916 197 640 0 67740 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 273536 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1645240/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=279292 CPUtime=1781.76 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 72925 0 0 0 178074 102 0 0 25 0 1 0 184684824 285995008 67355 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 69823 67355 197 640 0 69179 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 279292 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1644536/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=279876 CPUtime=1791.37 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 73098 0 0 0 179034 103 0 0 25 0 1 0 184684824 286593024 67528 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 69969 67528 197 640 0 69325 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 279876 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1644216/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=280308 CPUtime=1794.56 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 73179 0 0 0 179353 103 0 0 25 0 1 0 184684824 287035392 67609 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 70077 67609 197 640 0 69433 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 280308 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1644088/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=280532 CPUtime=1796.16 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 73235 0 0 0 179513 103 0 0 25 0 1 0 184684824 287264768 67665 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 70133 67665 197 640 0 69489 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 280532 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1643960/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=280532 CPUtime=1796.95 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 73236 0 0 0 179592 103 0 0 25 0 1 0 184684824 287264768 67666 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 70133 67666 197 640 0 69489 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 280532 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1643960/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=280532 CPUtime=1797.75 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 73266 0 0 0 179672 103 0 0 25 0 1 0 184684824 287264768 67696 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 70133 67696 197 640 0 69489 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 280532 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.99 2/65 12771 /proc/meminfo: memFree=1643832/2055920 swapFree=4181836/4192956 [pid=12762] ppid=12760 vsize=280532 CPUtime=1797.96 /proc/12762/stat : 12762 (bsolo) R 12760 12762 12269 0 -1 4194304 73266 0 0 0 179693 103 0 0 25 0 1 0 184684824 287264768 67696 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12762/statm: 70133 67696 197 640 0 69489 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 280532 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798.05 CPU user time (s): 1796.96 CPU system time (s): 1.08383 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 280532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.96 system time used= 1.08384 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73267 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= 2761 runsolver used 1.2788 second user time and 3.85941 second system time The end
Begin job on node24 at 2009-06-16 18:47:25 IDJOB=1876970 IDBENCH=2639 IDSOLVER=699 FILE ID=node24/1876970-1245170844 PBS_JOBID= 9363831 Free space on /tmp= 66356 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876970-1245170844/watcher-1876970-1245170844 -o /tmp/evaluation-result-1876970-1245170844/solver-1876970-1245170844 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876970-1245170844.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c RANDOM SEED=1261038502 node24.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.231 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.231 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: 1915872 kB Buffers: 32456 kB Cached: 65144 kB SwapCached: 5284 kB Active: 59960 kB Inactive: 45384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1915872 kB SwapTotal: 4192956 kB SwapFree: 4181836 kB Dirty: 11560 kB Writeback: 0 kB Mapped: 12924 kB Slab: 20592 kB Committed_AS: 192000 kB PageTables: 1448 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-1876970-1245170844.opb Free space on /tmp at the end= 66352 MiB End job on node24 at 2009-06-16 19:17:24