Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong UNSAT | 180.578 | 180.626 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_15.opb |
MD5SUM | 76cbd1f5f345389511b95f4555e7fed1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 178 |
Best CPU time to get the best result obtained on this benchmark | 1798.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 179 |
Optimality of the best value was proved | NO |
Number of variables | 4320 |
Total number of constraints | 8415 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8414 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 105 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 232 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 329 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1558 |
Number of bits of the biggest sum of numbers | 11 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656045-1276618919.opb. 0.00/0.00 c Instance file HOME/instance-2656045-1276618919.opb 0.00/0.00 c File size is 2031953 bytes. 0.29/0.34 c Highest Coefficient sum: 1558 0.29/0.34 c ============================[ Problem Statistics ]============================= 0.29/0.34 c | | 0.29/0.34 c | Parsing time: 0.33 s | 0.29/0.34 c | Number Variables: 4320 | 0.29/0.34 c | Number Clauses: 1 | 0.29/0.34 c | Number Cardinality: 0 | 0.29/0.34 c | Number PB Constraints: 8414 | 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 4319 8415 250193 | 5000 0 nan | 0.000 % | 1.19/1.21 c | 101 | 4319 8415 250193 | 5500 101 35 | 0.023 % | 1.99/2.04 c | 251 | 4319 8415 250193 | 6050 251 37 | 0.023 % | 2.49/2.57 c | 476 | 4319 8415 250193 | 6655 476 36 | 0.023 % | 3.49/3.54 c | 813 | 4319 8415 250193 | 7320 813 34 | 0.023 % | 4.59/4.64 c | 1320 | 4319 8415 250193 | 8052 1320 33 | 0.023 % | 7.29/7.36 c | 2081 | 4319 8415 250193 | 8857 2081 32 | 0.023 % | 11.09/11.11 c | 3220 | 4319 8415 250193 | 9743 3220 34 | 0.023 % | 15.09/15.14 c =============================================================================== 15.09/15.14 c New solution: 224 15.09/15.14 o 224 15.09/15.14 c Elapsed CPU time: 15.0967 s Remaining CPU time: 164.903 s 15.09/15.14 c =============================================================================== 15.09/15.14 c | 4177 | 4319 8416 250201 | 5000 4177 35 | 0.023 % | 15.40/15.48 c | 4280 | 4319 8416 250201 | 5500 4280 35 | 0.023 % | 15.99/16.00 c | 4431 | 4319 8416 250201 | 6050 4431 35 | 0.023 % | 16.50/16.58 c | 4656 | 4319 8416 250201 | 6655 4656 35 | 0.023 % | 17.60/17.61 c | 4994 | 4319 8416 250201 | 7320 4994 35 | 0.023 % | 19.28/19.38 c | 5502 | 4319 8416 250201 | 8052 5502 35 | 0.023 % | 22.39/22.49 c | 6262 | 4319 8416 250201 | 8857 6262 36 | 0.023 % | 25.48/25.58 c | 7401 | 4319 8416 250201 | 9743 7401 35 | 0.023 % | 32.28/32.33 c | 9110 | 4319 8416 250201 | 10717 9110 38 | 0.023 % | 39.38/39.45 c | 11674 | 4319 8416 250201 | 11789 11674 36 | 0.023 % | 54.77/54.85 c | 15518 | 4319 8416 250201 | 12968 8819 41 | 0.023 % | 73.07/73.11 c | 21284 | 4319 8416 250201 | 14265 8042 36 | 0.023 % | 91.17/91.28 c =============================================================================== 91.17/91.28 c New solution: 221 91.17/91.28 o 221 91.17/91.28 c Elapsed CPU time: 91.0702 s Remaining CPU time: 88.9298 s 91.17/91.28 c =============================================================================== 91.17/91.28 c | 28184 | 4319 8417 250209 | 5000 14942 35 | 0.023 % | 91.66/91.73 c | 28285 | 4319 8417 250209 | 5500 3837 38 | 0.023 % | 92.28/92.33 c | 28435 | 4319 8417 250209 | 6050 3987 38 | 0.023 % | 93.07/93.10 c | 28661 | 4319 8417 250209 | 6655 4213 38 | 0.023 % | 94.16/94.21 c | 28998 | 4319 8417 250209 | 7320 4550 37 | 0.023 % | 97.37/97.43 c | 29504 | 4319 8417 250209 | 8052 5056 36 | 0.023 % | 100.26/100.38 c | 30263 | 4319 8417 250209 | 8857 5815 37 | 0.023 % | 103.76/103.89 c | 31402 | 4319 8417 250209 | 9743 6954 38 | 0.023 % | 108.46/108.52 c | 33110 | 4319 8417 250209 | 10717 8662 36 | 0.023 % | 118.06/118.18 c | 35672 | 4319 8417 250209 | 11789 11224 37 | 0.023 % | 129.06/129.13 c =============================================================================== 129.06/129.13 c New solution: 217 129.06/129.13 o 217 129.06/129.13 c Elapsed CPU time: 128.814 s Remaining CPU time: 51.1856 s 129.06/129.13 c =============================================================================== 129.06/129.13 c | 39328 | 4319 8418 250217 | 5000 8334 39 | 0.023 % | 129.46/129.58 c | 39428 | 4319 8418 250217 | 5500 4267 42 | 0.023 % | 130.06/130.15 c | 39579 | 4319 8418 250217 | 6050 4418 42 | 0.023 % | 130.76/130.89 c | 39805 | 4319 8418 250217 | 6655 4644 41 | 0.023 % | 131.75/131.83 c | 40146 | 4319 8418 250217 | 7320 4985 40 | 0.023 % | 133.96/134.06 c | 40652 | 4319 8418 250217 | 8052 5491 41 | 0.023 % | 136.65/136.72 c | 41411 | 4319 8418 250217 | 8857 6250 40 | 0.023 % | 140.55/140.64 c | 42550 | 4319 8418 250217 | 9743 7389 39 | 0.023 % | 147.26/147.36 c | 44259 | 4319 8418 250217 | 10717 9098 40 | 0.023 % | 155.15/155.20 c | 46822 | 4319 8418 250217 | 11789 11661 40 | 0.023 % | 167.15/167.29 c | 50667 | 4319 8418 250217 | 12968 9051 40 | 0.023 % | 180.35/180.48 c There are 1 assigned variables. 1 in cost function. 180.54/180.62 c core #1 180.54/180.62 c Memory used : 25.71 MB 180.54/180.62 c CPU time : 180.156 s 180.54/180.62 c 180.54/180.62 s UNSATISFIABLE 180.54/180.62 c Total CPU time: 180.156 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-2656045-1276618919/watcher-2656045-1276618919 -o /tmp/evaluation-result-2656045-1276618919/solver-2656045-1276618919 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656045-1276618919.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/107 3351 /proc/meminfo: memFree=1766316/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=4560 CPUtime=0 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 294 0 0 0 0 0 0 0 19 0 1 0 35547628 4669440 212 1992294400 134512640 135751879 4292530224 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 1140 213 144 303 0 338 0 [startup+0.0172869 s] /proc/loadavg: 0.92 0.98 0.99 3/107 3351 /proc/meminfo: memFree=1766316/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=4824 CPUtime=0.01 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 354 0 0 0 1 0 0 0 19 0 1 0 35547628 4939776 272 1992294400 134512640 135751879 4292530224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 1206 273 156 303 0 404 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4824 [startup+0.101294 s] /proc/loadavg: 0.92 0.98 0.99 3/107 3351 /proc/meminfo: memFree=1766316/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=6832 CPUtime=0.09 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 977 0 0 0 9 0 0 0 20 0 1 0 35547628 6995968 895 1992294400 134512640 135751879 4292530224 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 1708 896 276 303 0 906 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6832 [startup+0.301312 s] /proc/loadavg: 0.92 0.98 0.99 3/107 3351 /proc/meminfo: memFree=1766316/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=11668 CPUtime=0.29 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 2462 0 0 0 28 1 0 0 20 0 1 0 35547628 11948032 2380 1992294400 134512640 135751879 4292530224 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 2917 2381 565 303 0 2115 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11668 [startup+0.701347 s] /proc/loadavg: 0.92 0.98 0.99 3/107 3351 /proc/meminfo: memFree=1766316/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=10876 CPUtime=0.69 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 2959 0 0 0 68 1 0 0 21 0 1 0 35547628 11137024 2273 1992294400 134512640 135751879 4292530224 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 2719 2273 146 303 0 2414 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10876 [startup+1.50142 s] /proc/loadavg: 0.92 0.98 0.99 2/108 3352 /proc/meminfo: memFree=1757256/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=10876 CPUtime=1.49 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 2960 0 0 0 148 1 0 0 23 0 1 0 35547628 11137024 2274 1992294400 134512640 135751879 4292530224 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 2719 2274 147 303 0 2414 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10876 [startup+3.10156 s] /proc/loadavg: 0.92 0.98 0.99 2/108 3352 /proc/meminfo: memFree=1757008/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=11008 CPUtime=3.09 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 2969 0 0 0 307 2 0 0 25 0 1 0 35547628 11272192 2283 1992294400 134512640 135751879 4292530224 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 2752 2283 147 303 0 2447 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11008 [startup+6.30085 s] /proc/loadavg: 0.93 0.98 0.99 2/108 3352 /proc/meminfo: memFree=1756760/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=11144 CPUtime=6.29 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 3019 0 0 0 627 2 0 0 25 0 1 0 35547628 11411456 2333 1992294400 134512640 135751879 4292530224 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 2786 2333 147 303 0 2481 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11144 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/108 3352 /proc/meminfo: memFree=1756388/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=11672 CPUtime=12.68 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 3144 0 0 0 1265 3 0 0 25 0 1 0 35547628 11952128 2458 1992294400 134512640 135751879 4292530224 18446744073709551615 134611078 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 2918 2458 147 303 0 2613 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11672 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 0.99 2/108 3352 /proc/meminfo: memFree=1755520/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=12596 CPUtime=25.48 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 3374 0 0 0 2543 5 0 0 25 0 1 0 35547628 12898304 2688 1992294400 134512640 135751879 4292530224 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 3149 2688 147 303 0 2844 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12596 [startup+51.1009 s] /proc/loadavg: 0.96 0.98 0.99 2/108 3352 /proc/meminfo: memFree=1753784/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=14448 CPUtime=51.08 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 3838 0 0 0 5098 10 0 0 25 0 1 0 35547628 14794752 3152 1992294400 134512640 135751879 4292530224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 3612 3152 148 303 0 3307 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14448 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/108 3354 /proc/meminfo: memFree=1749940/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=18016 CPUtime=102.27 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 4729 0 0 0 10206 21 0 0 25 0 1 0 35547628 18448384 4043 1992294400 134512640 135751879 4292530224 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 4504 4043 148 303 0 4199 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18016 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1745724/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=22244 CPUtime=162.25 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 5778 0 0 0 16189 36 0 0 25 0 1 0 35547628 22777856 5092 1992294400 134512640 135751879 4292530224 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 5561 5092 148 303 0 5256 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22244 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1745352/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=22508 CPUtime=166.25 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 5862 0 0 0 16588 37 0 0 25 0 1 0 35547628 23048192 5176 1992294400 134512640 135751879 4292530224 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 5627 5176 148 303 0 5322 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 22508 [startup+172.709 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1744856/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=23036 CPUtime=172.65 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 5974 0 0 0 17226 39 0 0 25 0 1 0 35547628 23588864 5288 1992294400 134512640 135751879 4292530224 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 5759 5288 148 303 0 5454 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 23036 [startup+175.902 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1744608/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=23300 CPUtime=175.85 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 6035 0 0 0 17545 40 0 0 25 0 1 0 35547628 23859200 5349 1992294400 134512640 135751879 4292530224 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 5825 5349 148 303 0 5520 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 23300 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1744360/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=23432 CPUtime=179.04 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 6098 0 0 0 17863 41 0 0 25 0 1 0 35547628 23994368 5412 1992294400 134512640 135751879 4292530224 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 5858 5412 148 303 0 5553 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 23432 [startup+179.901 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1744360/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=23564 CPUtime=179.84 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 6111 0 0 0 17943 41 0 0 25 0 1 0 35547628 24129536 5425 1992294400 134512640 135751879 4292530224 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 5891 5425 148 303 0 5586 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 23564 [startup+180.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1744236/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=23564 CPUtime=180.25 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 6124 0 0 0 17984 41 0 0 25 0 1 0 35547628 24129536 5438 1992294400 134512640 135751879 4292530224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 5891 5438 148 303 0 5586 0 Current children cumulated CPU time (s) 180.25 Current children cumulated vsize (KiB) 23564 [startup+180.501 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1744236/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=25532 CPUtime=180.44 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 6575 0 0 0 18003 41 0 0 25 0 1 0 35547628 26144768 5889 1992294400 134512640 135751879 4292530224 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 6383 5890 148 303 0 6078 0 Current children cumulated CPU time (s) 180.44 Current children cumulated vsize (KiB) 25532 [startup+180.602 s] /proc/loadavg: 0.99 0.98 0.99 2/108 3356 /proc/meminfo: memFree=1744236/2059040 swapFree=4140108/4192956 [pid=3351] ppid=3349 vsize=26456 CPUtime=180.54 /proc/3351/stat : 3351 (wbo1.4b) R 3349 3351 3162 0 -1 4202496 6825 0 0 0 18013 41 0 0 25 0 1 0 35547628 27090944 6139 1992294400 134512640 135751879 4292530224 18446744073709551615 135200512 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3351/statm: 6614 6139 149 303 0 6309 0 Current children cumulated CPU time (s) 180.54 Current children cumulated vsize (KiB) 26456 Child status: 0 Real time (s): 180.626 CPU time (s): 180.578 CPU user time (s): 180.156 CPU system time (s): 0.421935 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 26456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.156 system time used= 0.421935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6844 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= 3 involuntary context switches= 166 runsolver used 0.275958 second user time and 0.886865 second system time The end
Begin job on node025 at 2010-06-15 18:21:59 IDJOB=2656045 IDBENCH=2935 IDSOLVER=1161 FILE ID=node025/2656045-1276618919 PBS_JOBID= 11172301 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656045-1276618919/watcher-2656045-1276618919 -o /tmp/evaluation-result-2656045-1276618919/solver-2656045-1276618919 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656045-1276618919.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1 RANDOM SEED=1746154292 node025.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 : 3000.242 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 : 6000.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1766720 kB Buffers: 79084 kB Cached: 123044 kB SwapCached: 7076 kB Active: 111768 kB Inactive: 104588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1766720 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 4628 kB Writeback: 0 kB AnonPages: 11932 kB Mapped: 13076 kB Slab: 53992 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181932 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node025 at 2010-06-15 18:25:00