Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong UNSAT | 181.134 | 181.201 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb |
MD5SUM | 824c01e4395cf59ee9d4081be7b21301 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 324.711 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 603 |
Total number of constraints | 1088 |
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 | 1088 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
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 | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 669 |
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-2655952-1276588232.opb. 0.00/0.00 c Instance file HOME/instance-2655952-1276588232.opb 0.00/0.00 c File size is 207165 bytes. 0.00/0.03 c Highest Coefficient sum: 669 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.04 s | 0.00/0.03 c | Number Variables: 603 | 0.00/0.03 c | Number Clauses: 0 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 1088 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 603 1088 26896 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 603 1088 26896 | 5500 100 21 | 0.000 % | 0.09/0.16 c | 250 | 603 1088 26896 | 6050 250 20 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 74 0.19/0.22 o 74 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 385 | 603 1089 26903 | 5000 385 23 | 0.000 % | 0.19/0.25 c | 487 | 603 1089 26903 | 5500 487 24 | 0.002 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 73 0.29/0.31 o 73 0.29/0.31 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 605 | 603 1090 26910 | 5000 605 24 | 0.002 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: 68 0.29/0.32 o 68 0.29/0.32 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 634 | 603 1091 26917 | 5000 634 25 | 0.002 % | 0.29/0.36 c | 735 | 603 1091 26917 | 5500 735 24 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 67 0.39/0.40 o 67 0.39/0.40 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 849 | 603 1092 26924 | 5000 849 24 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 66 0.39/0.43 o 66 0.39/0.43 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 904 | 603 1093 26931 | 5000 904 25 | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 60 0.39/0.45 o 60 0.39/0.45 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 943 | 597 1094 26938 | 5000 939 25 | 0.000 % | 0.39/0.47 c | 1044 | 595 1094 26938 | 5500 1040 24 | 1.495 % | 0.49/0.51 c | 1196 | 595 1094 26938 | 6050 1192 24 | 1.495 % | 0.59/0.61 c | 1422 | 594 1094 26938 | 6655 1418 25 | 1.494 % | 0.69/0.74 c | 1760 | 594 1094 26938 | 7320 1756 25 | 1.493 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 56 0.79/0.84 o 56 0.79/0.84 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 1965 | 594 1095 26945 | 5000 1961 25 | 1.493 % | 0.79/0.87 c | 2066 | 594 1095 26945 | 5500 1826 24 | 1.494 % | 0.89/0.95 c | 2217 | 594 1095 26945 | 6050 1977 25 | 1.493 % | 0.99/1.04 c | 2442 | 594 1095 26945 | 6655 2202 25 | 1.493 % | 1.09/1.12 c =============================================================================== 1.09/1.12 c New solution: 55 1.09/1.12 o 55 1.09/1.12 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s 1.09/1.12 c =============================================================================== 1.09/1.12 c | 2587 | 594 1096 26952 | 5000 2347 25 | 1.493 % | 1.09/1.16 c | 2687 | 594 1096 26952 | 5500 2447 25 | 1.493 % | 1.19/1.23 c | 2838 | 594 1096 26952 | 6050 2598 25 | 1.493 % | 1.29/1.32 c | 3064 | 594 1096 26952 | 6655 2824 26 | 1.494 % | 1.39/1.43 c | 3401 | 594 1096 26952 | 7320 3161 25 | 1.494 % | 1.59/1.68 c | 3908 | 594 1096 26952 | 8052 3668 26 | 1.493 % | 1.89/1.97 c | 4668 | 594 1096 26952 | 8857 4428 27 | 1.493 % | 2.28/2.39 c | 5807 | 594 1096 26952 | 9743 5567 27 | 1.493 % | 2.48/2.58 c =============================================================================== 2.48/2.58 c New solution: 52 2.48/2.58 o 52 2.48/2.58 c Elapsed CPU time: 2.55361 s Remaining CPU time: 177.446 s 2.48/2.58 c =============================================================================== 2.48/2.58 c | 6233 | 594 1097 26959 | 5000 5993 27 | 1.493 % | 2.58/2.64 c | 6333 | 594 1097 26959 | 5500 3097 28 | 1.493 % | 2.58/2.68 c | 6484 | 594 1097 26959 | 6050 3248 28 | 1.493 % | 2.68/2.78 c | 6712 | 594 1097 26959 | 6655 3476 28 | 1.493 % | 2.89/2.96 c | 7049 | 594 1097 26959 | 7320 3813 28 | 1.494 % | 3.19/3.21 c | 7555 | 594 1097 26959 | 8052 4319 28 | 1.493 % | 3.59/3.61 c | 8314 | 594 1097 26959 | 8857 5078 28 | 1.493 % | 4.08/4.14 c | 9455 | 594 1097 26959 | 9743 6219 29 | 1.493 % | 4.69/4.72 c | 11163 | 594 1097 26959 | 10717 7927 29 | 1.493 % | 5.58/5.68 c | 13725 | 594 1097 26959 | 11789 10489 28 | 1.495 % | 6.59/6.63 c =============================================================================== 6.59/6.63 c New solution: 50 6.59/6.63 o 50 6.59/6.63 c Elapsed CPU time: 6.589 s Remaining CPU time: 173.411 s 6.59/6.63 c =============================================================================== 6.59/6.63 c | 15739 | 594 1098 26966 | 5000 6505 28 | 1.495 % | 6.59/6.69 c | 15840 | 594 1098 26966 | 5500 3354 29 | 1.493 % | 6.69/6.75 c | 15990 | 594 1098 26966 | 6050 3504 29 | 1.493 % | 6.79/6.84 c | 16215 | 594 1098 26966 | 6655 3729 29 | 1.493 % | 6.88/6.97 c | 16553 | 594 1098 26966 | 7320 4067 29 | 1.494 % | 7.08/7.17 c | 17059 | 594 1098 26966 | 8052 4573 29 | 1.493 % | 7.48/7.52 c | 17818 | 594 1098 26966 | 8857 5332 29 | 1.493 % | 8.19/8.20 c | 18957 | 594 1098 26966 | 9743 6471 29 | 1.493 % | 8.88/8.98 c | 20665 | 594 1098 26966 | 10717 8179 29 | 1.493 % | 9.99/10.04 c | 23227 | 594 1098 26966 | 11789 10741 29 | 1.493 % | 11.78/11.80 c | 27072 | 594 1098 26966 | 12968 8616 30 | 1.493 % | 12.49/12.57 c =============================================================================== 12.49/12.57 c New solution: 49 12.49/12.57 o 49 12.49/12.57 c Elapsed CPU time: 12.4931 s Remaining CPU time: 167.507 s 12.49/12.57 c =============================================================================== 12.49/12.57 c | 28543 | 594 1099 26973 | 5000 10087 30 | 1.493 % | 12.59/12.65 c | 28643 | 594 1099 26973 | 5500 2622 30 | 1.493 % | 12.59/12.70 c | 28794 | 594 1099 26973 | 6050 2773 30 | 1.493 % | 12.78/12.81 c | 29019 | 594 1099 26973 | 6655 2998 30 | 1.493 % | 12.88/12.96 c | 29358 | 594 1099 26973 | 7320 3337 30 | 1.493 % | 13.09/13.20 c | 29866 | 594 1099 26973 | 8052 3845 30 | 1.493 % | 13.38/13.44 c | 30625 | 594 1099 26973 | 8857 4604 29 | 1.495 % | 13.89/13.94 c =============================================================================== 13.89/13.94 c New solution: 47 13.89/13.94 o 47 13.89/13.94 c Elapsed CPU time: 13.8549 s Remaining CPU time: 166.145 s 13.89/13.94 c =============================================================================== 13.89/13.94 c | 31762 | 594 1100 26980 | 5000 5741 29 | 1.495 % | 13.89/14.00 c | 31863 | 594 1100 26980 | 5500 2972 27 | 1.493 % | 13.98/14.06 c | 32014 | 594 1100 26980 | 6050 3123 27 | 1.493 % | 14.08/14.13 c | 32239 | 594 1100 26980 | 6655 3348 27 | 1.496 % | 14.19/14.24 c | 32577 | 594 1100 26980 | 7320 3686 27 | 1.497 % | 14.38/14.48 c | 33083 | 594 1100 26980 | 8052 4192 27 | 1.493 % | 14.78/14.83 c | 33843 | 594 1100 26980 | 8857 4952 28 | 1.493 % | 15.29/15.40 c | 34983 | 594 1100 26980 | 9743 6092 28 | 1.493 % | 15.98/16.07 c | 36692 | 594 1100 26980 | 10717 7801 28 | 1.496 % | 17.18/17.28 c | 39254 | 594 1100 26980 | 11789 10363 29 | 1.493 % | 17.38/17.43 c =============================================================================== 17.38/17.43 c New solution: 45 17.38/17.43 o 45 17.38/17.43 c Elapsed CPU time: 17.3384 s Remaining CPU time: 162.662 s 17.38/17.43 c =============================================================================== 17.38/17.43 c | 39512 | 594 1101 26987 | 5000 10621 29 | 1.493 % | 17.48/17.51 c | 39614 | 594 1101 26987 | 5500 2758 30 | 1.493 % | 17.48/17.58 c | 39765 | 594 1101 26987 | 6050 2909 30 | 1.493 % | 17.59/17.68 c | 39990 | 594 1101 26987 | 6655 3134 30 | 1.493 % | 17.78/17.82 c | 40328 | 594 1101 26987 | 7320 3472 30 | 1.497 % | 17.98/18.03 c | 40834 | 594 1101 26987 | 8052 3978 30 | 1.499 % | 18.28/18.37 c | 41593 | 594 1101 26987 | 8857 4737 30 | 1.493 % | 18.88/18.93 c | 42733 | 594 1101 26987 | 9743 5877 30 | 1.494 % | 19.79/19.85 c | 44441 | 594 1101 26987 | 10717 7585 30 | 1.493 % | 20.98/21.08 c | 47004 | 594 1101 26987 | 11789 10148 31 | 1.493 % | 22.88/22.93 c | 50850 | 594 1101 26987 | 12968 8072 31 | 1.493 % | 25.88/25.90 c | 56617 | 594 1101 26987 | 14265 7282 32 | 1.493 % | 30.68/30.70 c | 65266 | 594 1101 26987 | 15692 8677 33 | 1.493 % | 38.18/38.25 c | 78240 | 594 1101 26987 | 17261 13709 32 | 1.493 % | 49.07/49.14 c | 97702 | 594 1101 26987 | 18987 15782 32 | 1.494 % | 67.67/67.75 c | 126894 | 594 1101 26987 | 20886 16148 32 | 1.493 % | 68.66/68.70 c =============================================================================== 68.66/68.70 c New solution: 44 68.66/68.70 o 44 68.66/68.70 c Elapsed CPU time: 68.3426 s Remaining CPU time: 111.657 s 68.66/68.70 c =============================================================================== 68.66/68.70 c | 128415 | 594 1102 26994 | 5000 17669 32 | 1.493 % | 68.76/68.86 c | 128515 | 594 1102 26994 | 5500 4518 30 | 1.493 % | 68.86/68.92 c | 128667 | 594 1102 26994 | 6050 4670 30 | 1.493 % | 68.96/69.03 c | 128896 | 594 1102 26994 | 6655 4899 30 | 1.494 % | 69.17/69.20 c | 129234 | 594 1102 26994 | 7320 5237 30 | 1.493 % | 69.37/69.40 c | 129741 | 594 1102 26994 | 8052 5744 30 | 1.493 % | 69.77/69.82 c | 130500 | 594 1102 26994 | 8857 6503 30 | 1.493 % | 70.16/70.27 c | 131640 | 594 1102 26994 | 9743 7643 31 | 1.493 % | 71.07/71.15 c | 133349 | 594 1102 26994 | 10717 9352 31 | 1.494 % | 72.57/72.69 c | 135916 | 594 1102 26994 | 11789 6521 32 | 1.494 % | 74.46/74.51 c | 139760 | 594 1102 26994 | 12968 10365 32 | 1.493 % | 77.47/77.57 c | 145526 | 594 1102 26994 | 14265 9503 33 | 1.496 % | 81.76/81.81 c | 154175 | 594 1102 26994 | 15692 10966 33 | 1.493 % | 89.36/89.44 c | 167150 | 588 1102 26994 | 17261 8478 31 | 2.488 % | 100.15/100.29 c | 186611 | 588 1102 26994 | 18987 10527 32 | 2.488 % | 118.85/118.95 c | 215805 | 588 1102 26994 | 20886 11044 33 | 2.488 % | 147.83/147.99 c | 259595 | 588 1102 26994 | 22974 12737 32 | 2.492 % | 180.82/180.95 c There are 32 assigned variables. 3 in cost function. 181.02/181.19 c core #1 181.02/181.19 c Memory used : 67.18 MB 181.02/181.19 c CPU time : 180.241 s 181.02/181.19 c 181.02/181.19 s UNSATISFIABLE 181.02/181.19 c Total CPU time: 180.241 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-2655952-1276588232/watcher-2655952-1276588232 -o /tmp/evaluation-result-2655952-1276588232/solver-2655952-1276588232 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655952-1276588232.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.00 1.00 1.00 3/106 4224 /proc/meminfo: memFree=1836052/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=2780 CPUtime=0 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 302 0 0 0 0 0 0 0 20 0 1 0 34427247 2846720 220 1992294400 134512640 135751879 4289928432 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 695 220 144 303 0 339 0 [startup+0.044671 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4224 /proc/meminfo: memFree=1836052/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=3512 CPUtime=0.04 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 566 0 0 0 4 0 0 0 20 0 1 0 34427247 3596288 433 1992294400 134512640 135751879 4289928432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 878 433 146 303 0 573 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3512 [startup+0.101678 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4224 /proc/meminfo: memFree=1836052/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=3512 CPUtime=0.09 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 566 0 0 0 9 0 0 0 20 0 1 0 34427247 3596288 433 1992294400 134512640 135751879 4289928432 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 878 433 146 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.301701 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4224 /proc/meminfo: memFree=1836052/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=3512 CPUtime=0.29 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 576 0 0 0 29 0 0 0 20 0 1 0 34427247 3596288 443 1992294400 134512640 135751879 4289928432 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 878 443 147 303 0 573 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3512 [startup+0.701748 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4224 /proc/meminfo: memFree=1836052/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=3776 CPUtime=0.69 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 631 0 0 0 69 0 0 0 20 0 1 0 34427247 3866624 498 1992294400 134512640 135751879 4289928432 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 944 498 147 303 0 639 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3776 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4225 /proc/meminfo: memFree=1834432/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=4040 CPUtime=1.49 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 728 0 0 0 148 1 0 0 23 0 1 0 34427247 4136960 595 1992294400 134512640 135751879 4289928432 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 1010 595 147 303 0 705 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4040 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4225 /proc/meminfo: memFree=1833564/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=4832 CPUtime=3.09 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 922 0 0 0 307 2 0 0 25 0 1 0 34427247 4947968 789 1992294400 134512640 135751879 4289928432 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 1208 789 148 303 0 903 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4832 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4225 /proc/meminfo: memFree=1831828/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=6416 CPUtime=6.29 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 1319 0 0 0 625 4 0 0 25 0 1 0 34427247 6569984 1186 1992294400 134512640 135751879 4289928432 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 1604 1186 148 303 0 1299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6416 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4225 /proc/meminfo: memFree=1828852/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=9188 CPUtime=12.68 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 2005 0 0 0 1261 7 0 0 25 0 1 0 34427247 9408512 1872 1992294400 134512640 135751879 4289928432 18446744073709551615 134616477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 2297 1872 148 303 0 1992 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 9188 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4225 /proc/meminfo: memFree=1823396/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=14604 CPUtime=25.48 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 3362 0 0 0 2535 13 0 0 25 0 1 0 34427247 14954496 3229 1992294400 134512640 135751879 4289928432 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 3651 3229 148 303 0 3346 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14604 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4225 /proc/meminfo: memFree=1813724/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=24352 CPUtime=51.07 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 5771 0 0 0 5082 25 0 0 25 0 1 0 34427247 24936448 5638 1992294400 134512640 135751879 4289928432 18446744073709551615 134603091 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 6088 5638 148 303 0 5783 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24352 [startup+102.309 s] /proc/loadavg: 1.04 1.01 1.00 2/107 4227 /proc/meminfo: memFree=1794628/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=43244 CPUtime=102.26 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 10485 0 0 0 10176 50 0 0 25 0 1 0 34427247 44281856 10352 1992294400 134512640 135751879 4289928432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 10811 10352 148 303 0 10506 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 43244 [startup+162.302 s] /proc/loadavg: 1.05 1.02 1.00 2/107 4229 /proc/meminfo: memFree=1775408/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=62444 CPUtime=162.23 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 15285 0 0 0 16144 79 0 0 25 0 1 0 34427247 63942656 15152 1992294400 134512640 135751879 4289928432 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 15611 15152 148 303 0 15306 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 62444 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.12 1.04 1.01 2/107 4229 /proc/meminfo: memFree=1773796/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=63896 CPUtime=166.22 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 15664 0 0 0 16541 81 0 0 25 0 1 0 34427247 65429504 15531 1992294400 134512640 135751879 4289928432 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 15974 15531 148 303 0 15669 0 Current children cumulated CPU time (s) 166.22 Current children cumulated vsize (KiB) 63896 [startup+172.708 s] /proc/loadavg: 1.11 1.04 1.00 2/107 4229 /proc/meminfo: memFree=1771316/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=66144 CPUtime=172.63 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 16237 0 0 0 17178 85 0 0 25 0 1 0 34427247 67731456 16104 1992294400 134512640 135751879 4289928432 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 16536 16104 148 303 0 16231 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 66144 [startup+175.901 s] /proc/loadavg: 1.10 1.04 1.00 2/107 4229 /proc/meminfo: memFree=1770448/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=67072 CPUtime=175.83 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 16464 0 0 0 17497 86 0 0 25 0 1 0 34427247 68681728 16331 1992294400 134512640 135751879 4289928432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 16768 16331 148 303 0 16463 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 67072 [startup+179.102 s] /proc/loadavg: 1.09 1.04 1.00 2/107 4229 /proc/meminfo: memFree=1769828/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=67864 CPUtime=179.03 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 16669 0 0 0 17815 88 0 0 25 0 1 0 34427247 69492736 16536 1992294400 134512640 135751879 4289928432 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 16966 16536 148 303 0 16661 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 67864 [startup+179.902 s] /proc/loadavg: 1.09 1.04 1.00 2/107 4229 /proc/meminfo: memFree=1769580/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=68128 CPUtime=179.83 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 16730 0 0 0 17895 88 0 0 25 0 1 0 34427247 69763072 16597 1992294400 134512640 135751879 4289928432 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 17032 16597 148 303 0 16727 0 Current children cumulated CPU time (s) 179.83 Current children cumulated vsize (KiB) 68128 [startup+180.702 s] /proc/loadavg: 1.09 1.04 1.00 2/107 4229 /proc/meminfo: memFree=1769208/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=68392 CPUtime=180.62 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 16795 0 0 0 17974 88 0 0 25 0 1 0 34427247 70033408 16662 1992294400 134512640 135751879 4289928432 18446744073709551615 134616851 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 17098 16662 148 303 0 16793 0 Current children cumulated CPU time (s) 180.62 Current children cumulated vsize (KiB) 68392 [startup+181.102 s] /proc/loadavg: 1.09 1.04 1.00 2/107 4229 /proc/meminfo: memFree=1769208/2059040 swapFree=4136456/4192956 [pid=4224] ppid=4222 vsize=68792 CPUtime=181.02 /proc/4224/stat : 4224 (wbo1.4b) R 4222 4224 3446 0 -1 4202496 16877 0 0 0 18014 88 0 0 25 0 1 0 34427247 70443008 16744 1992294400 134512640 135751879 4289928432 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4224/statm: 17198 16744 149 303 0 16893 0 Current children cumulated CPU time (s) 181.02 Current children cumulated vsize (KiB) 68792 Child status: 0 Real time (s): 181.201 CPU time (s): 181.134 CPU user time (s): 180.241 CPU system time (s): 0.893864 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 68792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.241 system time used= 0.893864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16879 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= 4 involuntary context switches= 423 runsolver used 0.300954 second user time and 0.861868 second system time The end
Begin job on node001 at 2010-06-15 09:50:32 IDJOB=2655952 IDBENCH=2641 IDSOLVER=1161 FILE ID=node001/2655952-1276588232 PBS_JOBID= 11173529 Free space on /tmp= 62516 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655952-1276588232/watcher-2655952-1276588232 -o /tmp/evaluation-result-2655952-1276588232/solver-2655952-1276588232 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655952-1276588232.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 824c01e4395cf59ee9d4081be7b21301 RANDOM SEED=50558322 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1836580 kB Buffers: 22376 kB Cached: 111112 kB SwapCached: 9532 kB Active: 80996 kB Inactive: 65496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1836580 kB SwapTotal: 4192956 kB SwapFree: 4136456 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 11580 kB Mapped: 9312 kB Slab: 54248 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182208 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= 62516 MiB End job on node001 at 2010-06-15 09:53:33