Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong UNSAT | 180.913 | 180.962 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
MD5SUM | c19ad978a977652a94fc03b8ce63204a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 78 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 74 |
Optimality of the best value was proved | NO |
Number of variables | 1288 |
Total number of constraints | 2431 |
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 | 2430 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 175 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 802 |
Number of bits of the biggest sum of numbers | 10 |
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-2656039-1276619882.opb. 0.00/0.00 c Instance file HOME/instance-2656039-1276619882.opb 0.00/0.00 c File size is 481988 bytes. 0.02/0.08 c Highest Coefficient sum: 802 0.02/0.08 c ============================[ Problem Statistics ]============================= 0.02/0.08 c | | 0.02/0.08 c | Parsing time: 0.08 s | 0.02/0.08 c | Number Variables: 1288 | 0.02/0.08 c | Number Clauses: 1 | 0.02/0.08 c | Number Cardinality: 0 | 0.02/0.08 c | Number PB Constraints: 2430 | 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 1287 2431 61850 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 100 | 1287 2431 61850 | 5500 100 22 | 0.078 % | 0.29/0.39 c | 252 | 1287 2431 61850 | 6050 252 24 | 0.078 % | 0.49/0.58 c | 477 | 1287 2431 61850 | 6655 477 27 | 0.078 % | 0.69/0.76 c | 815 | 1287 2431 61850 | 7320 815 27 | 0.078 % | 0.99/1.02 c | 1322 | 1287 2431 61850 | 8052 1322 26 | 0.078 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c New solution: 120 1.19/1.21 o 120 1.19/1.21 c Elapsed CPU time: 1.20282 s Remaining CPU time: 178.797 s 1.19/1.21 c =============================================================================== 1.19/1.21 c | 1707 | 1287 2432 61858 | 5000 1707 25 | 0.078 % | 1.29/1.30 c | 1808 | 1287 2432 61858 | 5500 1808 25 | 0.078 % | 1.29/1.38 c | 1958 | 1287 2432 61858 | 6050 1958 25 | 0.078 % | 1.49/1.54 c | 2184 | 1287 2432 61858 | 6655 2184 25 | 0.078 % | 1.69/1.73 c | 2522 | 1287 2432 61858 | 7320 2522 25 | 0.078 % | 2.10/2.19 c | 3028 | 1287 2432 61858 | 8052 3028 26 | 0.078 % | 2.59/2.68 c | 3787 | 1287 2432 61858 | 8857 3787 27 | 0.078 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c New solution: 116 2.89/2.95 o 116 2.89/2.95 c Elapsed CPU time: 2.93755 s Remaining CPU time: 177.062 s 2.89/2.95 c =============================================================================== 2.89/2.95 c | 4099 | 1287 2433 61866 | 5000 4099 27 | 0.078 % | 2.99/3.03 c | 4199 | 1286 2433 61866 | 5500 4156 27 | 0.155 % | 3.09/3.14 c | 4349 | 1286 2433 61866 | 6050 4306 27 | 0.155 % | 3.29/3.32 c | 4575 | 1286 2433 61866 | 6655 4532 27 | 0.155 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c New solution: 115 3.49/3.51 o 115 3.49/3.51 c Elapsed CPU time: 3.49447 s Remaining CPU time: 176.506 s 3.49/3.51 c =============================================================================== 3.49/3.51 c | 4795 | 1286 2434 61874 | 5000 4752 28 | 0.155 % | 3.59/3.60 c | 4896 | 1286 2434 61874 | 5500 4853 28 | 0.155 % | 3.69/3.72 c | 5046 | 1286 2434 61874 | 6050 5003 28 | 0.155 % | 3.79/3.88 c | 5272 | 1286 2434 61874 | 6655 5229 28 | 0.155 % | 4.19/4.22 c | 5611 | 1286 2434 61874 | 7320 5568 28 | 0.155 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c New solution: 102 4.29/4.36 o 102 4.29/4.36 c Elapsed CPU time: 4.33734 s Remaining CPU time: 175.663 s 4.29/4.36 c =============================================================================== 4.29/4.36 c | 5810 | 1286 2435 61882 | 5000 5767 28 | 0.155 % | 4.39/4.45 c | 5910 | 1286 2435 61882 | 5500 2984 29 | 0.155 % | 4.48/4.59 c | 6060 | 1286 2435 61882 | 6050 3134 29 | 0.155 % | 4.68/4.76 c | 6285 | 1286 2435 61882 | 6655 3359 29 | 0.155 % | 4.99/5.05 c | 6622 | 1286 2435 61882 | 7320 3696 29 | 0.155 % | 5.40/5.47 c | 7129 | 1285 2435 61882 | 8052 3984 28 | 0.233 % | 5.99/6.03 c | 7888 | 1285 2435 61882 | 8857 4743 28 | 0.233 % | 7.09/7.11 c | 9028 | 1285 2435 61882 | 9743 5883 29 | 0.233 % | 8.28/8.39 c | 10736 | 1285 2435 61882 | 10717 7591 28 | 0.233 % | 8.38/8.44 c =============================================================================== 8.38/8.44 c New solution: 101 8.38/8.44 o 101 8.38/8.44 c Elapsed CPU time: 8.39272 s Remaining CPU time: 171.607 s 8.38/8.44 c =============================================================================== 8.38/8.44 c | 10787 | 1285 2436 61890 | 5000 7642 28 | 0.233 % | 8.48/8.53 c | 10888 | 1285 2436 61890 | 5500 3922 27 | 0.233 % | 8.58/8.64 c | 11040 | 1285 2436 61890 | 6050 4074 27 | 0.233 % | 8.79/8.83 c | 11265 | 1285 2436 61890 | 6655 4299 27 | 0.233 % | 8.88/8.92 c =============================================================================== 8.88/8.92 c New solution: 99 8.88/8.92 o 99 8.88/8.92 c Elapsed CPU time: 8.87665 s Remaining CPU time: 171.123 s 8.88/8.92 c =============================================================================== 8.88/8.92 c | 11399 | 1285 2437 61898 | 5000 4433 28 | 0.233 % | 8.88/8.98 c | 11499 | 1285 2437 61898 | 5500 4533 27 | 0.233 % | 9.08/9.11 c | 11649 | 1285 2437 61898 | 6050 4683 27 | 0.233 % | 9.08/9.13 c =============================================================================== 9.08/9.13 c New solution: 97 9.08/9.13 o 97 9.08/9.13 c Elapsed CPU time: 9.07862 s Remaining CPU time: 170.921 s 9.08/9.13 c =============================================================================== 9.08/9.13 c | 11669 | 1285 2438 61906 | 5000 4703 27 | 0.233 % | 9.08/9.20 c | 11770 | 1285 2438 61906 | 5500 4804 27 | 0.233 % | 9.18/9.22 c =============================================================================== 9.18/9.22 c New solution: 94 9.18/9.22 o 94 9.18/9.22 c Elapsed CPU time: 9.17361 s Remaining CPU time: 170.826 s 9.18/9.22 c =============================================================================== 9.18/9.22 c | 11802 | 1285 2439 61914 | 5000 4836 27 | 0.233 % | 9.18/9.29 c | 11902 | 1285 2439 61914 | 5500 4936 27 | 0.233 % | 9.39/9.40 c | 12052 | 1285 2439 61914 | 6050 5086 27 | 0.233 % | 9.49/9.53 c | 12277 | 1285 2439 61914 | 6655 5311 27 | 0.233 % | 9.69/9.78 c | 12615 | 1284 2439 61914 | 7320 5636 28 | 0.311 % | 10.19/10.20 c | 13122 | 1284 2439 61914 | 8052 6143 28 | 0.311 % | 10.89/11.00 c | 13881 | 1284 2439 61914 | 8857 6902 27 | 0.311 % | 11.79/11.84 c =============================================================================== 11.79/11.84 c New solution: 91 11.79/11.84 o 91 11.79/11.84 c Elapsed CPU time: 11.7752 s Remaining CPU time: 168.225 s 11.79/11.84 c =============================================================================== 11.79/11.84 c | 14966 | 1284 2440 61922 | 5000 7987 28 | 0.311 % | 11.89/11.94 c | 15066 | 1284 2440 61922 | 5500 4094 27 | 0.311 % | 12.00/12.04 c | 15216 | 1284 2440 61922 | 6050 4244 27 | 0.311 % | 12.19/12.20 c | 15443 | 1284 2440 61922 | 6655 4471 27 | 0.311 % | 12.49/12.52 c | 15781 | 1284 2440 61922 | 7320 4809 28 | 0.311 % | 12.88/12.97 c | 16288 | 1284 2440 61922 | 8052 5316 27 | 0.311 % | 13.38/13.44 c | 17049 | 1283 2440 61922 | 8857 6072 27 | 0.388 % | 13.89/13.99 c =============================================================================== 13.89/13.99 c New solution: 88 13.89/13.99 o 88 13.89/13.99 c Elapsed CPU time: 13.9139 s Remaining CPU time: 166.086 s 13.89/13.99 c =============================================================================== 13.89/13.99 c | 17796 | 1283 2441 61930 | 5000 6819 29 | 0.388 % | 14.08/14.10 c | 17897 | 1283 2441 61930 | 5500 3511 30 | 0.388 % | 14.19/14.21 c | 18049 | 1283 2441 61930 | 6050 3663 30 | 0.388 % | 14.29/14.38 c | 18274 | 1283 2441 61930 | 6655 3888 30 | 0.388 % | 14.58/14.61 c | 18611 | 1283 2441 61930 | 7320 4225 29 | 0.388 % | 14.88/14.92 c | 19118 | 1283 2441 61930 | 8052 4732 29 | 0.388 % | 15.40/15.49 c | 19880 | 1283 2441 61930 | 8857 5494 29 | 0.388 % | 16.39/16.50 c | 21020 | 1283 2441 61930 | 9743 6634 31 | 0.388 % | 17.59/17.67 c | 22728 | 1283 2441 61930 | 10717 8342 31 | 0.388 % | 19.39/19.46 c | 25290 | 1283 2441 61930 | 11789 10904 30 | 0.388 % | 20.28/20.36 c =============================================================================== 20.28/20.36 c New solution: 86 20.28/20.36 o 86 20.28/20.36 c Elapsed CPU time: 20.2539 s Remaining CPU time: 159.746 s 20.28/20.36 c =============================================================================== 20.28/20.36 c | 26138 | 1283 2442 61938 | 5000 11752 30 | 0.388 % | 20.38/20.45 c | 26238 | 1281 2442 61938 | 5500 2992 29 | 0.544 % | 20.48/20.56 c | 26389 | 1281 2442 61938 | 6050 3143 30 | 0.544 % | 20.68/20.76 c | 26614 | 1281 2442 61938 | 6655 3368 30 | 0.544 % | 20.98/21.03 c | 26951 | 1281 2442 61938 | 7320 3705 30 | 0.544 % | 21.28/21.34 c | 27457 | 1281 2442 61938 | 8052 4211 29 | 0.544 % | 21.78/21.86 c | 28218 | 1281 2442 61938 | 8857 4972 29 | 0.544 % | 22.99/23.06 c | 29359 | 1281 2442 61938 | 9743 6113 30 | 0.544 % | 24.58/24.60 c | 31067 | 1281 2442 61938 | 10717 7821 30 | 0.544 % | 27.29/27.33 c | 33629 | 1281 2442 61938 | 11789 10383 32 | 0.544 % | 30.28/30.32 c | 37474 | 1281 2442 61938 | 12968 8191 32 | 0.544 % | 34.68/34.78 c =============================================================================== 34.68/34.78 c New solution: 84 34.68/34.78 o 84 34.68/34.78 c Elapsed CPU time: 34.6077 s Remaining CPU time: 145.392 s 34.68/34.78 c =============================================================================== 34.68/34.78 c | 42353 | 1281 2443 61946 | 5000 13070 34 | 0.544 % | 34.78/34.89 c | 42453 | 1281 2443 61946 | 5500 3368 37 | 0.544 % | 34.88/34.98 c | 42604 | 1281 2443 61946 | 6050 3519 37 | 0.544 % | 35.18/35.28 c | 42829 | 1281 2443 61946 | 6655 3744 36 | 0.544 % | 35.48/35.52 c | 43167 | 1281 2443 61946 | 7320 4082 36 | 0.544 % | 35.78/35.88 c | 43673 | 1281 2443 61946 | 8052 4588 35 | 0.544 % | 36.48/36.51 c | 44432 | 1281 2443 61946 | 8857 5347 34 | 0.544 % | 37.18/37.28 c | 45571 | 1281 2443 61946 | 9743 6486 34 | 0.544 % | 38.27/38.38 c | 47279 | 1281 2443 61946 | 10717 8194 33 | 0.544 % | 40.38/40.48 c | 49841 | 1280 2443 61946 | 11789 10755 33 | 0.621 % | 43.88/43.91 c | 53685 | 1280 2443 61946 | 12968 8429 33 | 0.621 % | 46.68/46.74 c =============================================================================== 46.68/46.74 c New solution: 80 46.68/46.74 o 80 46.68/46.74 c Elapsed CPU time: 46.5269 s Remaining CPU time: 133.473 s 46.68/46.74 c =============================================================================== 46.68/46.74 c | 56927 | 1280 2444 61954 | 5000 11671 34 | 0.621 % | 46.78/46.88 c | 57028 | 1280 2444 61954 | 5500 3019 34 | 0.621 % | 46.97/47.02 c | 57178 | 1280 2444 61954 | 6050 3169 34 | 0.621 % | 47.07/47.17 c | 57404 | 1280 2444 61954 | 6655 3395 34 | 0.621 % | 47.37/47.40 c | 57741 | 1280 2444 61954 | 7320 3732 33 | 0.621 % | 47.67/47.74 c | 58247 | 1280 2444 61954 | 8052 4238 33 | 0.621 % | 48.18/48.23 c | 59006 | 1280 2444 61954 | 8857 4997 32 | 0.621 % | 49.18/49.24 c | 60145 | 1280 2444 61954 | 9743 6136 33 | 0.621 % | 50.49/50.53 c | 61856 | 1280 2444 61954 | 10717 7847 31 | 0.621 % | 52.97/53.08 c | 64419 | 1280 2444 61954 | 11789 10410 32 | 0.621 % | 55.98/56.07 c | 68264 | 1280 2444 61954 | 12968 8220 32 | 0.621 % | 61.58/61.69 c | 74031 | 1280 2444 61954 | 14265 7303 36 | 0.621 % | 68.37/68.40 c | 82680 | 1280 2444 61954 | 15692 8658 32 | 0.621 % | 80.28/80.34 c | 95655 | 1280 2444 61954 | 17261 13472 35 | 0.621 % | 98.27/98.30 c | 115116 | 1280 2444 61954 | 18987 15405 31 | 0.621 % | 130.36/130.47 c | 144311 | 1279 2444 61954 | 20886 15353 36 | 0.699 % | 178.24/178.37 c | 188101 | 1279 2444 61954 | 22974 17048 36 | 0.699 % | 180.65/180.80 c There are 9 assigned variables. 3 in cost function. 180.85/180.95 c core #1 180.85/180.95 c Memory used : 45.40 MB 180.85/180.95 c CPU time : 180.159 s 180.85/180.95 c 180.85/180.95 s UNSATISFIABLE 180.85/180.95 c Total CPU time: 180.159 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-2656039-1276619882/watcher-2656039-1276619882 -o /tmp/evaluation-result-2656039-1276619882/solver-2656039-1276619882 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656039-1276619882.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: 1.01 1.47 1.52 2/106 12154 /proc/meminfo: memFree=1398768/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=3048 CPUtime=0 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 278 0 0 0 0 0 0 0 21 0 1 0 3279158 3121152 197 1992294400 134512640 135751879 4289604048 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 762 197 140 303 0 339 0 [startup+0.038194 s] /proc/loadavg: 1.01 1.47 1.52 2/106 12154 /proc/meminfo: memFree=1398768/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=3716 CPUtime=0.02 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 493 0 0 0 2 0 0 0 21 0 1 0 3279158 3805184 412 1992294400 134512640 135751879 4289604048 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 929 412 179 303 0 506 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3716 [startup+0.101185 s] /proc/loadavg: 1.01 1.47 1.52 2/106 12154 /proc/meminfo: memFree=1398768/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=4680 CPUtime=0.09 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 957 0 0 0 9 0 0 0 22 0 1 0 3279158 4792320 747 1992294400 134512640 135751879 4289604048 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 1170 747 146 303 0 865 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4680 [startup+0.301205 s] /proc/loadavg: 1.01 1.47 1.52 2/106 12154 /proc/meminfo: memFree=1398768/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=4680 CPUtime=0.29 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 958 0 0 0 29 0 0 0 22 0 1 0 3279158 4792320 748 1992294400 134512640 135751879 4289604048 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 1170 748 147 303 0 865 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4680 [startup+0.701243 s] /proc/loadavg: 1.01 1.47 1.52 2/106 12154 /proc/meminfo: memFree=1398768/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=4812 CPUtime=0.69 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 963 0 0 0 69 0 0 0 23 0 1 0 3279158 4927488 753 1992294400 134512640 135751879 4289604048 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 1203 753 147 303 0 898 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4812 [startup+1.50132 s] /proc/loadavg: 1.01 1.47 1.52 2/107 12155 /proc/meminfo: memFree=1396032/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=5076 CPUtime=1.49 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 1037 0 0 0 148 1 0 0 25 0 1 0 3279158 5197824 827 1992294400 134512640 135751879 4289604048 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 1269 827 147 303 0 964 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5076 [startup+3.10148 s] /proc/loadavg: 1.01 1.47 1.52 2/107 12155 /proc/meminfo: memFree=1395412/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=5604 CPUtime=3.09 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 1158 0 0 0 308 1 0 0 25 0 1 0 3279158 5738496 948 1992294400 134512640 135751879 4289604048 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 1401 948 147 303 0 1096 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5604 [startup+6.30079 s] /proc/loadavg: 1.01 1.46 1.52 2/107 12155 /proc/meminfo: memFree=1394304/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=6396 CPUtime=6.28 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 1356 0 0 0 625 3 0 0 25 0 1 0 3279158 6549504 1146 1992294400 134512640 135751879 4289604048 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 1599 1146 148 303 0 1294 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6396 [startup+12.7004 s] /proc/loadavg: 1.01 1.45 1.52 2/107 12155 /proc/meminfo: memFree=1392692/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=7852 CPUtime=12.69 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 1738 0 0 0 1263 6 0 0 25 0 1 0 3279158 8040448 1528 1992294400 134512640 135751879 4289604048 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 1963 1528 148 303 0 1658 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7852 [startup+25.5016 s] /proc/loadavg: 1.01 1.43 1.51 2/107 12157 /proc/meminfo: memFree=1389344/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=11152 CPUtime=25.48 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 2552 0 0 0 2536 12 0 0 25 0 1 0 3279158 11419648 2342 1992294400 134512640 135751879 4289604048 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 2788 2342 148 303 0 2483 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11152 [startup+51.1011 s] /proc/loadavg: 1.00 1.39 1.49 2/107 12157 /proc/meminfo: memFree=1383020/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=17488 CPUtime=51.08 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 4137 0 0 0 5086 22 0 0 25 0 1 0 3279158 17907712 3927 1992294400 134512640 135751879 4289604048 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 4372 3927 148 303 0 4067 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17488 [startup+102.308 s] /proc/loadavg: 1.00 1.33 1.47 2/107 12159 /proc/meminfo: memFree=1370868/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=29400 CPUtime=102.27 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 7124 0 0 0 10182 45 0 0 25 0 1 0 3279158 30105600 6914 1992294400 134512640 135751879 4289604048 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 7350 6914 148 303 0 7045 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29400 [startup+162.301 s] /proc/loadavg: 1.00 1.27 1.43 2/107 12159 /proc/meminfo: memFree=1358220/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=42092 CPUtime=162.25 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 10277 0 0 0 16158 67 0 0 25 0 1 0 3279158 43102208 10067 1992294400 134512640 135751879 4289604048 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 10523 10067 148 303 0 10218 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 42092 Solver just ended. Dumping a history of the last processes samples [startup+166.3 s] /proc/loadavg: 1.00 1.26 1.43 2/107 12159 /proc/meminfo: memFree=1357352/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=42884 CPUtime=166.24 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 10472 0 0 0 16556 68 0 0 25 0 1 0 3279158 43913216 10262 1992294400 134512640 135751879 4289604048 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 10721 10262 148 303 0 10416 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 42884 [startup+172.709 s] /proc/loadavg: 1.00 1.26 1.43 2/107 12161 /proc/meminfo: memFree=1356112/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=44072 CPUtime=172.65 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 10788 0 0 0 17194 71 0 0 25 0 1 0 3279158 45129728 10578 1992294400 134512640 135751879 4289604048 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 11018 10578 148 303 0 10713 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 44072 [startup+175.901 s] /proc/loadavg: 1.00 1.25 1.43 2/107 12161 /proc/meminfo: memFree=1355368/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=44732 CPUtime=175.85 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 10955 0 0 0 17513 72 0 0 25 0 1 0 3279158 45805568 10745 1992294400 134512640 135751879 4289604048 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 11183 10745 148 303 0 10878 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 44732 [startup+179.102 s] /proc/loadavg: 1.00 1.25 1.42 2/107 12161 /proc/meminfo: memFree=1354872/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=45544 CPUtime=179.04 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 11135 0 0 0 17830 74 0 0 25 0 1 0 3279158 46637056 10925 1992294400 134512640 135751879 4289604048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 11386 10925 148 303 0 11081 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 45544 [startup+179.902 s] /proc/loadavg: 1.00 1.25 1.42 2/107 12161 /proc/meminfo: memFree=1354624/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=45676 CPUtime=179.84 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 11175 0 0 0 17910 74 0 0 25 0 1 0 3279158 46772224 10965 1992294400 134512640 135751879 4289604048 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 11419 10965 148 303 0 11114 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 45676 [startup+180.702 s] /proc/loadavg: 1.00 1.25 1.42 2/107 12161 /proc/meminfo: memFree=1354500/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=45808 CPUtime=180.65 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 11211 0 0 0 17990 75 0 0 25 0 1 0 3279158 46907392 11001 1992294400 134512640 135751879 4289604048 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 11452 11001 148 303 0 11147 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 45808 [startup+180.902 s] /proc/loadavg: 1.00 1.25 1.42 2/107 12161 /proc/meminfo: memFree=1354500/2059040 swapFree=4192956/4192956 [pid=12154] ppid=12152 vsize=46488 CPUtime=180.85 /proc/12154/stat : 12154 (wbo1.4b) R 12152 12154 11923 0 -1 4202496 11388 0 0 0 18010 75 0 0 25 0 1 0 3279158 47603712 11178 1992294400 134512640 135751879 4289604048 18446744073709551615 135200330 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12154/statm: 11622 11178 149 303 0 11317 0 Current children cumulated CPU time (s) 180.85 Current children cumulated vsize (KiB) 46488 Child status: 0 Real time (s): 180.962 CPU time (s): 180.913 CPU user time (s): 180.159 CPU system time (s): 0.754885 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 46488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.159 system time used= 0.754885 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11390 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= 5 involuntary context switches= 687 runsolver used 0.303953 second user time and 0.861868 second system time The end
Begin job on node056 at 2010-06-15 18:38:02 IDJOB=2656039 IDBENCH=2940 IDSOLVER=1161 FILE ID=node056/2656039-1276619882 PBS_JOBID= 11172325 Free space on /tmp= 98636 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656039-1276619882/watcher-2656039-1276619882 -o /tmp/evaluation-result-2656039-1276619882/solver-2656039-1276619882 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656039-1276619882.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a RANDOM SEED=764905473 node056.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.215 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.43 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.215 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1399172 kB Buffers: 78552 kB Cached: 440204 kB SwapCached: 0 kB Active: 224168 kB Inactive: 353932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1399172 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3100 kB Writeback: 0 kB AnonPages: 59264 kB Mapped: 15316 kB Slab: 59924 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180544 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= 98636 MiB End job on node056 at 2010-06-15 18:41:03