Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.07 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_11.opb |
MD5SUM | 5946eb43fefc6e626d35d99afd3eec42 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 74 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 75 |
Optimality of the best value was proved | NO |
Number of variables | 1287 |
Total number of constraints | 2430 |
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 | 2430 |
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 | 749 |
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.01 c wbo 1.6 beta - 20110321 0.00/0.01 c Parsing opb file format. File HOME/instance-3460955-1307101531.opb. 0.00/0.01 c Instance file HOME/instance-3460955-1307101531.opb 0.00/0.01 c File size is 481040 bytes. 0.01/0.04 c Highest Coefficient sum: 749 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.03 s | 0.01/0.04 c | Number Variables: 1287 | 0.01/0.04 c | Number Clauses: 0 | 0.01/0.04 c | Number Cardinality: 0 | 0.01/0.04 c | Number PB Constraints: 2430 | 0.01/0.04 c ============================[ Search Statistics ]============================== 0.01/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.04 c =============================================================================== 0.01/0.04 c | 0 | 1287 2430 61850 | 5000 0 -nan | 0.000 % | 0.01/0.07 c core #1 0.01/0.07 c 0.01/0.07 c 0.01/0.07 c Core size: 8 Core Weight: 1 Total Weight: 1 0.01/0.07 c Current CPU time: 0.045993 s 0.01/0.07 c 0.01/0.07 c core #2 0.01/0.07 c 0.01/0.07 c 0.01/0.07 c Core size: 10 Core Weight: 1 Total Weight: 2 0.01/0.07 c Current CPU time: 0.056991 s 0.01/0.07 c 0.01/0.07 c ============================[ Search Statistics ]============================== 0.01/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.07 c =============================================================================== 0.01/0.07 c | 0 | 1245 2450 61869 | 5000 0 -nan | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.08 c core #3 0.01/0.08 c 0.01/0.08 c 0.01/0.08 c Core size: 14 Core Weight: 1 Total Weight: 3 0.01/0.08 c Current CPU time: 0.067989 s 0.01/0.08 c 0.01/0.08 c ============================[ Search Statistics ]============================== 0.01/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.08 c =============================================================================== 0.01/0.08 c | 0 | 1252 2456 61878 | 5000 0 -nan | 0.000 % | 0.01/0.08 c =============================================================================== 0.01/0.09 c core #4 0.01/0.09 c 0.01/0.09 c 0.01/0.09 c Core size: 13 Core Weight: 1 Total Weight: 4 0.01/0.09 c Current CPU time: 0.079987 s 0.01/0.09 c 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 1268 2461 61891 | 5000 0 -nan | 0.000 % | 0.01/0.10 c =============================================================================== 0.09/0.11 c core #5 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 15 Core Weight: 1 Total Weight: 5 0.09/0.11 c Current CPU time: 0.093985 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1277 2466 61905 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.12 c core #6 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 14 Core Weight: 3 Total Weight: 8 0.09/0.12 c Current CPU time: 0.109983 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1292 2470 61921 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #7 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 14 Core Weight: 1 Total Weight: 9 0.09/0.14 c Current CPU time: 0.12898 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1302 2474 61938 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.17 c core #8 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 15 Core Weight: 1 Total Weight: 10 0.09/0.17 c Current CPU time: 0.157975 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1313 2478 61957 | 5000 0 -nan | 0.000 % | 0.19/0.21 c | 100 | 1313 2478 61957 | 5500 100 17 | 2.452 % | 0.19/0.26 c =============================================================================== 0.19/0.27 c core #9 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 8 Core Weight: 6 Total Weight: 16 0.19/0.27 c Current CPU time: 0.25696 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1327 2481 61978 | 5000 0 -nan | 0.000 % | 0.29/0.31 c | 102 | 1327 2481 61978 | 5500 102 18 | 1.635 % | 0.29/0.36 c | 252 | 1319 2481 61978 | 6050 252 21 | 2.970 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #10 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 22 Core Weight: 1 Total Weight: 17 0.29/0.39 c Current CPU time: 0.370943 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1339 2486 62004 | 5000 0 -nan | 0.000 % | 0.39/0.43 c | 101 | 1339 2486 62004 | 5500 101 17 | 1.618 % | 0.39/0.48 c | 252 | 1338 2486 62004 | 6050 252 20 | 1.690 % | 0.49/0.58 c | 477 | 1338 2486 62004 | 6655 477 23 | 1.693 % | 0.59/0.66 c =============================================================================== 0.59/0.68 c core #11 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 33 Core Weight: 1 Total Weight: 18 0.59/0.68 c Current CPU time: 0.6569 s 0.59/0.68 c 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 1354 2491 62036 | 5000 0 -nan | 0.000 % | 0.69/0.72 c | 101 | 1354 2491 62036 | 5500 101 18 | 1.599 % | 0.69/0.79 c | 252 | 1354 2491 62036 | 6050 252 21 | 1.599 % | 0.79/0.86 c | 477 | 1354 2491 62036 | 6655 477 21 | 1.599 % | 0.89/0.99 c | 816 | 1354 2491 62036 | 7320 816 23 | 1.599 % | 1.10/1.16 c | 1322 | 1354 2491 62036 | 8052 1322 23 | 1.599 % | 1.38/1.44 c | 2082 | 1354 2491 62036 | 8857 2082 23 | 1.600 % | 1.68/1.76 c =============================================================================== 1.68/1.78 c core #12 1.68/1.78 c 1.68/1.78 c 1.68/1.78 c Core size: 21 Core Weight: 1 Total Weight: 19 1.68/1.78 c Current CPU time: 1.75373 s 1.68/1.78 c 1.68/1.78 c ============================[ Search Statistics ]============================== 1.68/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.78 c =============================================================================== 1.68/1.78 c | 0 | 1358 2494 62042 | 5000 0 -nan | 0.000 % | 1.78/1.82 c | 100 | 1358 2494 62042 | 5500 100 18 | 1.594 % | 1.88/1.91 c | 250 | 1358 2494 62042 | 6050 250 20 | 1.594 % | 1.99/2.00 c | 475 | 1358 2494 62042 | 6655 475 21 | 1.595 % | 2.10/2.14 c | 813 | 1358 2494 62042 | 7320 813 22 | 1.594 % | 2.29/2.31 c | 1319 | 1358 2494 62042 | 8052 1319 22 | 1.594 % | 2.49/2.59 c | 2078 | 1358 2494 62042 | 8857 2078 24 | 1.594 % | 2.98/3.07 c | 3217 | 1358 2494 62042 | 9743 3217 25 | 1.598 % | 3.69/3.71 c | 4925 | 1352 2494 62042 | 10717 4925 26 | 3.261 % | 3.69/3.73 c =============================================================================== 3.69/3.75 c core #13 3.69/3.75 c 3.69/3.75 c 3.69/3.75 c Core size: 32 Core Weight: 1 Total Weight: 20 3.69/3.75 c Current CPU time: 3.71443 s 3.69/3.75 c 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 1379 2497 62082 | 5000 0 -nan | 0.000 % | 3.69/3.79 c | 101 | 1379 2497 62082 | 5500 101 17 | 1.571 % | 3.79/3.85 c | 255 | 1379 2497 62082 | 6050 255 19 | 1.570 % | 3.89/3.94 c | 481 | 1379 2497 62082 | 6655 481 20 | 1.570 % | 3.99/4.06 c | 818 | 1379 2497 62082 | 7320 818 22 | 1.570 % | 4.19/4.23 c | 1325 | 1379 2497 62082 | 8052 1325 23 | 1.570 % | 4.49/4.52 c | 2086 | 1379 2497 62082 | 8857 2086 23 | 1.570 % | 4.89/4.99 c | 3227 | 1379 2497 62082 | 9743 3227 22 | 1.571 % | 5.58/5.69 c | 4935 | 1379 2497 62082 | 10717 4935 23 | 1.570 % | 6.60/6.69 c | 7497 | 1378 2497 62082 | 11789 7497 23 | 1.643 % | 7.98/8.01 c =============================================================================== 7.98/8.03 c core #14 7.98/8.03 c 7.98/8.03 c 7.98/8.03 c Core size: 10 Core Weight: 12 Total Weight: 32 7.98/8.03 c Current CPU time: 7.97079 s 7.98/8.03 c 7.98/8.03 c ============================[ Search Statistics ]============================== 7.98/8.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.03 c =============================================================================== 7.98/8.03 c | 0 | 1392 2499 62112 | 5000 0 -nan | 0.000 % | 7.98/8.07 c | 101 | 1392 2499 62112 | 5500 101 18 | 0.784 % | 8.09/8.11 c | 252 | 1386 2499 62112 | 6050 252 21 | 1.497 % | 8.09/8.18 c | 478 | 1386 2499 62112 | 6655 478 21 | 1.497 % | 8.29/8.30 c | 817 | 1381 2499 62112 | 7320 817 22 | 1.568 % | 8.39/8.48 c | 1324 | 1381 2499 62112 | 8052 1324 22 | 1.568 % | 8.70/8.74 c | 2083 | 1381 2499 62112 | 8857 2083 23 | 1.568 % | 9.19/9.21 c | 3223 | 1381 2499 62112 | 9743 3223 24 | 1.568 % | 9.90/9.95 c | 4933 | 1381 2499 62112 | 10717 4933 25 | 1.568 % | 10.90/11.00 c | 7497 | 1381 2499 62112 | 11789 7497 26 | 1.568 % | 12.49/12.53 c | 11341 | 1373 2499 62112 | 12968 11341 28 | 10.478 % | 12.69/12.77 c =============================================================================== 12.79/12.80 c core #15 12.79/12.80 c 12.79/12.80 c 12.79/12.80 c Core size: 53 Core Weight: 1 Total Weight: 33 12.79/12.80 c Current CPU time: 12.7221 s 12.79/12.80 c 12.79/12.80 c ============================[ Search Statistics ]============================== 12.79/12.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.79/12.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.79/12.80 c =============================================================================== 12.79/12.80 c | 0 | 1430 2504 62193 | 5000 0 -nan | 0.000 % | 12.79/12.85 c | 100 | 1430 2504 62193 | 5500 100 18 | 0.763 % | 12.79/12.89 c | 250 | 1430 2504 62193 | 6050 250 21 | 0.763 % | 12.89/12.97 c | 477 | 1430 2504 62193 | 6655 477 21 | 0.763 % | 13.10/13.11 c | 814 | 1430 2504 62193 | 7320 814 23 | 0.763 % | 13.20/13.25 c | 1321 | 1430 2504 62193 | 8052 1321 24 | 0.763 % | 13.49/13.55 c | 2080 | 1430 2504 62193 | 8857 2080 25 | 0.763 % | 13.98/14.01 c | 3219 | 1430 2504 62193 | 9743 3219 26 | 0.763 % | 14.49/14.56 c | 4928 | 1430 2504 62193 | 10717 4928 25 | 0.764 % | 15.59/15.62 c | 7492 | 1430 2504 62193 | 11789 7492 26 | 0.763 % | 17.09/17.19 c | 11337 | 1430 2504 62193 | 12968 11337 27 | 0.763 % | 18.88/18.95 c | 17104 | 1430 2504 62193 | 14265 10579 28 | 0.763 % | 22.38/22.47 c | 25754 | 1420 2504 62193 | 15692 12075 29 | 1.527 % | 24.88/24.95 c =============================================================================== 24.88/24.99 c core #16 24.88/24.99 c 24.88/24.99 c 24.88/24.99 c Core size: 23 Core Weight: 1 Total Weight: 34 24.88/24.99 c Current CPU time: 24.8682 s 24.88/24.99 c 24.88/24.99 c ============================[ Search Statistics ]============================== 24.88/24.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.88/24.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.88/24.99 c =============================================================================== 24.88/24.99 c | 0 | 1439 2509 62216 | 5000 0 -nan | 0.000 % | 24.98/25.04 c | 100 | 1439 2509 62216 | 5500 100 23 | 0.759 % | 25.09/25.10 c | 250 | 1439 2509 62216 | 6050 250 20 | 0.759 % | 25.09/25.17 c | 476 | 1439 2509 62216 | 6655 476 20 | 0.759 % | 25.21/25.31 c | 813 | 1439 2509 62216 | 7320 813 22 | 0.759 % | 25.39/25.47 c | 1319 | 1439 2509 62216 | 8052 1319 23 | 0.759 % | 25.69/25.78 c | 2079 | 1439 2509 62216 | 8857 2079 24 | 0.759 % | 26.19/26.22 c | 3218 | 1439 2509 62216 | 9743 3218 26 | 0.759 % | 26.78/26.85 c | 4926 | 1439 2509 62216 | 10717 4926 27 | 0.759 % | 27.59/27.64 c | 7489 | 1439 2509 62216 | 11789 7489 27 | 0.759 % | 28.98/29.04 c | 11333 | 1439 2509 62216 | 12968 11333 26 | 0.761 % | 31.09/31.14 c | 17100 | 1439 2509 62216 | 14265 10405 27 | 0.759 % | 34.10/34.18 c | 25749 | 1439 2509 62216 | 15692 11841 29 | 0.759 % | 38.68/38.76 c | 38724 | 1439 2509 62216 | 17261 8869 28 | 0.759 % | 45.98/46.00 c | 58185 | 1438 2509 62216 | 18987 10786 31 | 0.828 % | 54.08/54.15 c =============================================================================== 54.18/54.23 c core #17 54.18/54.23 c 54.18/54.23 c 54.18/54.23 c Core size: 27 Core Weight: 1 Total Weight: 35 54.18/54.23 c Current CPU time: 53.9398 s 54.18/54.23 c 54.18/54.23 c ============================[ Search Statistics ]============================== 54.18/54.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.18/54.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.18/54.23 c =============================================================================== 54.18/54.23 c | 0 | 1456 2513 62253 | 5000 0 -nan | 0.000 % | 54.18/54.28 c | 101 | 1456 2513 62253 | 5500 101 19 | 0.750 % | 54.28/54.33 c | 251 | 1456 2513 62253 | 6050 251 20 | 0.750 % | 54.28/54.37 c | 476 | 1456 2513 62253 | 6655 476 22 | 0.750 % | 54.49/54.51 c | 814 | 1456 2513 62253 | 7320 814 24 | 0.750 % | 54.69/54.70 c | 1320 | 1456 2513 62253 | 8052 1320 24 | 0.750 % | 54.90/54.94 c | 2079 | 1456 2513 62253 | 8857 2079 25 | 0.750 % | 55.19/55.23 c | 3218 | 1456 2513 62253 | 9743 3218 25 | 0.750 % | 55.89/55.90 c | 4928 | 1456 2513 62253 | 10717 4928 26 | 0.750 % | 56.49/56.56 c | 7490 | 1456 2513 62253 | 11789 7490 26 | 0.751 % | 57.99/58.06 c | 11335 | 1455 2513 62253 | 12968 11335 26 | 0.820 % | 60.09/60.18 c | 17101 | 1455 2513 62253 | 14265 10394 29 | 0.818 % | 63.58/63.62 c | 25753 | 1455 2513 62253 | 15692 11830 31 | 0.818 % | 68.20/68.29 c | 38727 | 1455 2513 62253 | 17261 9061 28 | 0.818 % | 75.19/75.27 c | 58188 | 1426 2513 62253 | 18987 10988 34 | 2.795 % | 86.29/86.36 c | 87380 | 1426 2513 62253 | 20886 11370 36 | 2.795 % | 101.10/101.19 c =============================================================================== 101.28/101.34 c core #18 101.28/101.34 c 101.28/101.34 c 101.28/101.34 c Core size: 21 Core Weight: 3 Total Weight: 38 101.28/101.34 c Current CPU time: 100.832 s 101.28/101.34 c 101.28/101.34 c ============================[ Search Statistics ]============================== 101.28/101.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.28/101.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.28/101.34 c =============================================================================== 101.28/101.34 c | 0 | 1459 2515 62258 | 5000 0 -nan | 0.000 % | 101.28/101.39 c | 102 | 1459 2515 62258 | 5500 102 19 | 0.748 % | 101.39/101.43 c | 253 | 1459 2515 62258 | 6050 253 18 | 0.748 % | 101.39/101.47 c | 478 | 1459 2515 62258 | 6655 478 18 | 0.748 % | 101.58/101.60 c | 815 | 1459 2515 62258 | 7320 815 22 | 0.748 % | 101.69/101.74 c | 1322 | 1459 2515 62258 | 8052 1322 25 | 0.748 % | 101.89/101.96 c | 2082 | 1459 2515 62258 | 8857 2082 24 | 0.748 % | 102.30/102.34 c | 3223 | 1459 2515 62258 | 9743 3223 26 | 0.748 % | 102.59/102.68 c | 4931 | 1459 2515 62258 | 10717 4931 24 | 0.748 % | 103.68/103.75 c | 7494 | 1459 2515 62258 | 11789 7494 26 | 0.748 % | 104.89/104.96 c | 11338 | 1459 2515 62258 | 12968 11338 27 | 0.748 % | 106.29/106.33 c | 17104 | 1459 2515 62258 | 14265 10518 28 | 0.748 % | 109.39/109.47 c | 25754 | 1459 2515 62258 | 15692 11920 26 | 0.748 % | 113.89/113.94 c | 38729 | 1443 2515 62258 | 17261 9120 24 | 1.837 % | 117.89/117.94 c =============================================================================== 117.89/117.98 c core #19 117.89/117.98 c 117.89/117.98 c 117.89/117.98 c Core size: 45 Core Weight: 1 Total Weight: 39 117.89/117.98 c Current CPU time: 117.409 s 117.89/117.98 c 117.89/117.98 c ============================[ Search Statistics ]============================== 117.89/117.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.89/117.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.89/117.98 c =============================================================================== 117.89/117.98 c | 0 | 1487 2517 62313 | 5000 0 -nan | 0.000 % | 117.99/118.05 c | 102 | 1487 2517 62313 | 5500 102 25 | 0.734 % | 117.99/118.09 c | 253 | 1487 2517 62313 | 6050 253 25 | 0.734 % | 118.09/118.18 c | 478 | 1487 2517 62313 | 6655 478 25 | 0.735 % | 118.29/118.31 c | 816 | 1487 2517 62313 | 7320 816 26 | 0.734 % | 118.39/118.47 c | 1324 | 1487 2517 62313 | 8052 1324 26 | 0.734 % | 118.80/118.83 c | 2084 | 1487 2517 62313 | 8857 2084 27 | 0.734 % | 119.18/119.26 c | 3226 | 1487 2517 62313 | 9743 3226 26 | 0.734 % | 119.90/120.00 c | 4934 | 1487 2517 62313 | 10717 4934 26 | 0.734 % | 121.00/121.02 c | 7496 | 1487 2517 62313 | 11789 7496 26 | 0.735 % | 122.69/122.79 c | 11341 | 1487 2517 62313 | 12968 11341 27 | 0.734 % | 124.89/124.92 c | 17107 | 1487 2517 62313 | 14265 10583 28 | 0.734 % | 128.18/128.27 c | 25756 | 1487 2517 62313 | 15692 12059 29 | 0.734 % | 133.49/133.58 c | 38731 | 1474 2517 62313 | 17261 9104 29 | 1.602 % | 141.19/141.24 c | 58193 | 1474 2517 62313 | 18987 11166 29 | 1.602 % | 153.19/153.23 c | 87386 | 1474 2517 62313 | 20886 11294 32 | 1.602 % | 171.89/171.93 c | 131175 | 1472 2517 62313 | 22974 12949 31 | 1.736 % | 182.79/182.84 c =============================================================================== 182.89/182.97 c core #20 182.89/182.97 c 182.89/182.97 c 182.89/182.97 c Core size: 30 Core Weight: 1 Total Weight: 40 182.89/182.97 c Current CPU time: 182.082 s 182.89/182.97 c 182.89/182.97 c ============================[ Search Statistics ]============================== 182.89/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.89/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.89/182.97 c =============================================================================== 182.89/182.97 c | 0 | 1501 2519 62340 | 5000 0 -nan | 0.000 % | 182.99/183.03 c | 100 | 1501 2519 62340 | 5500 100 27 | 0.728 % | 182.99/183.09 c | 250 | 1501 2519 62340 | 6050 250 20 | 0.728 % | 183.10/183.16 c | 478 | 1501 2519 62340 | 6655 478 21 | 0.728 % | 183.19/183.27 c | 815 | 1501 2519 62340 | 7320 815 23 | 0.728 % | 183.39/183.43 c | 1322 | 1501 2519 62340 | 8052 1322 24 | 0.728 % | 183.61/183.66 c | 2083 | 1501 2519 62340 | 8857 2083 24 | 0.728 % | 184.09/184.14 c | 3223 | 1501 2519 62340 | 9743 3223 26 | 0.728 % | 184.70/184.75 c | 4931 | 1501 2519 62340 | 10717 4931 26 | 0.728 % | 185.99/186.05 c | 7493 | 1501 2519 62340 | 11789 7493 28 | 0.728 % | 187.19/187.26 c | 11339 | 1501 2519 62340 | 12968 11339 27 | 0.728 % | 189.49/189.59 c | 17108 | 1501 2519 62340 | 14265 10551 27 | 0.728 % | 193.39/193.45 c | 25757 | 1501 2519 62340 | 15692 11903 29 | 0.728 % | 199.11/199.16 c | 38731 | 1501 2519 62340 | 17261 8708 30 | 0.728 % | 207.49/207.51 c | 58192 | 1501 2519 62340 | 18987 10616 29 | 0.728 % | 219.90/219.91 c | 87387 | 1501 2519 62340 | 20886 10909 30 | 0.728 % | 235.19/235.26 c | 131176 | 1501 2519 62340 | 22974 12625 26 | 0.728 % | 262.70/262.75 c | 196860 | 1501 2519 62340 | 25272 18664 30 | 0.728 % | 306.29/306.35 c | 295387 | 1501 2519 62340 | 27799 21775 29 | 0.728 % | 365.59/365.65 c | 443176 | 1501 2519 62340 | 30579 24743 28 | 0.728 % | 468.80/468.83 c | 664859 | 1501 2519 62340 | 33637 29627 30 | 0.728 % | 622.52/622.58 c | 997384 | 1501 2519 62340 | 37001 13667 30 | 0.728 % | 859.41/859.45 c | 1496173 | 1501 2519 62340 | 40701 16570 27 | 0.728 % | 1189.41/1189.43 c | 2244355 | 1501 2519 62340 | 44771 34361 30 | 0.728 % | 1749.14/1749.17 c | 3366630 | 1501 2519 62340 | 49248 34730 29 | 0.728 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460955-1307101531/watcher-3460955-1307101531 -o /tmp/evaluation-result-3460955-1307101531/solver-3460955-1307101531 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460955-1307101531.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.02 2.00 3/386 27951 /proc/meminfo: memFree=23423040/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=3236 CPUtime=0 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 495 0 0 0 0 0 0 0 25 0 1 0 821755871 3313664 448 33554432000 4194304 5714214 140735185750464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 809 448 192 372 0 316 0 [startup+0.0191301 s] /proc/loadavg: 2.05 2.02 2.00 3/386 27951 /proc/meminfo: memFree=23423040/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=3764 CPUtime=0.01 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 639 0 0 0 1 0 0 0 25 0 1 0 821755871 3854336 592 33554432000 4194304 5714214 140735185750464 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 941 592 208 372 0 448 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3764 [startup+0.101115 s] /proc/loadavg: 2.05 2.02 2.00 3/386 27951 /proc/meminfo: memFree=23423040/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=10408 CPUtime=0.09 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 2501 0 0 0 9 0 0 0 25 0 1 0 821755871 10657792 2336 33554432000 4194304 5714214 140735185750464 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 2602 2336 179 372 0 2227 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10408 [startup+0.30109 s] /proc/loadavg: 2.05 2.02 2.00 3/386 27951 /proc/meminfo: memFree=23423040/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=11796 CPUtime=0.29 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 2873 0 0 0 29 0 0 0 18 0 1 0 821755871 12079104 2708 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 2949 2708 180 372 0 2574 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11796 [startup+0.701008 s] /proc/loadavg: 2.05 2.02 2.00 3/386 27951 /proc/meminfo: memFree=23423040/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=12588 CPUtime=0.69 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 3047 0 0 0 69 0 0 0 18 0 1 0 821755871 12890112 2882 33554432000 4194304 5714214 140735185750464 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 3147 2882 180 372 0 2772 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12588 [startup+1.50087 s] /proc/loadavg: 2.05 2.02 2.00 3/387 27952 /proc/meminfo: memFree=23411748/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=12588 CPUtime=1.48 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 3047 0 0 0 148 0 0 0 19 0 1 0 821755871 12890112 2882 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 3147 2882 180 372 0 2772 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12588 [startup+3.10058 s] /proc/loadavg: 2.05 2.02 2.00 3/387 27952 /proc/meminfo: memFree=23410028/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=13380 CPUtime=3.08 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 3266 0 0 0 307 1 0 0 24 0 1 0 821755871 13701120 3101 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 3345 3101 180 372 0 2970 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13380 [startup+6.30101 s] /proc/loadavg: 2.05 2.02 2.00 3/387 27952 /proc/meminfo: memFree=23407488/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=14304 CPUtime=6.29 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 3498 0 0 0 626 3 0 0 18 0 1 0 821755871 14647296 3333 33554432000 4194304 5714214 140735185750464 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 3576 3333 180 372 0 3201 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14304 [startup+12.7009 s] /proc/loadavg: 2.04 2.02 2.00 3/387 27952 /proc/meminfo: memFree=23404452/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=16020 CPUtime=12.69 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 3907 0 0 0 1263 6 0 0 20 0 1 0 821755871 16404480 3742 33554432000 4194304 5714214 140735185750464 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 4005 3742 180 372 0 3630 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16020 [startup+25.5006 s] /proc/loadavg: 2.03 2.02 2.00 3/387 27953 /proc/meminfo: memFree=23400840/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=19584 CPUtime=25.49 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 4848 0 0 0 2539 10 0 0 25 0 1 0 821755871 20054016 4652 33554432000 4194304 5714214 140735185750464 18446744073709551615 4200621 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 4896 4652 180 372 0 4521 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19584 [startup+51.1011 s] /proc/loadavg: 2.02 2.02 2.00 3/387 27953 /proc/meminfo: memFree=23398688/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=22104 CPUtime=51.09 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 5430 0 0 0 5085 24 0 0 25 0 1 0 821755871 22634496 5234 33554432000 4194304 5714214 140735185750464 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 5526 5234 180 372 0 5151 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 22104 [startup+102.314 s] /proc/loadavg: 2.00 2.01 2.00 3/387 28010 /proc/meminfo: memFree=23763664/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=34160 CPUtime=102.3 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 8518 0 0 0 10185 45 0 0 25 0 1 0 821755871 34979840 8284 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322847 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 8540 8284 180 372 0 8165 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 34160 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/387 28011 /proc/meminfo: memFree=23706940/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=34160 CPUtime=162.29 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 8520 0 0 0 16156 73 0 0 25 0 1 0 821755871 34979840 8286 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 8540 8286 180 372 0 8165 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 34160 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28013 /proc/meminfo: memFree=23674524/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=36020 CPUtime=222.29 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 8989 0 0 0 22132 97 0 0 25 0 1 0 821755871 36884480 8755 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 9005 8755 180 372 0 8630 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 36020 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28015 /proc/meminfo: memFree=23659972/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=41968 CPUtime=282.3 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 10432 0 0 0 28107 123 0 0 25 0 1 0 821755871 42975232 10198 33554432000 4194304 5714214 140735185750464 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 10492 10198 180 372 0 10117 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 41968 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28016 /proc/meminfo: memFree=23644308/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=57660 CPUtime=342.3 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 14293 0 0 0 34078 152 0 0 25 0 1 0 821755871 59043840 14059 33554432000 4194304 5714214 140735185750464 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 14415 14059 180 372 0 14040 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 57660 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28018 /proc/meminfo: memFree=23608448/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=72772 CPUtime=402.29 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 18087 0 0 0 40053 176 0 0 25 0 1 0 821755871 74518528 17853 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 18193 17853 180 372 0 17818 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 72772 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28019 /proc/meminfo: memFree=23551324/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=85480 CPUtime=462.3 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 21267 0 0 0 46030 200 0 0 25 0 1 0 821755871 87531520 21033 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 21370 21033 180 372 0 20995 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 85480 [startup+522.3 s] /proc/loadavg: 2.13 2.03 2.01 3/387 28021 /proc/meminfo: memFree=23514588/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=99776 CPUtime=522.3 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 24829 0 0 0 52007 223 0 0 25 0 1 0 821755871 102170624 24595 33554432000 4194304 5714214 140735185750464 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 24944 24595 180 372 0 24569 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 99776 [startup+582.301 s] /proc/loadavg: 2.11 2.04 2.01 3/387 28023 /proc/meminfo: memFree=23517272/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=112684 CPUtime=582.3 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 28023 0 0 0 57979 251 0 0 25 0 1 0 821755871 115388416 27789 33554432000 4194304 5714214 140735185750464 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 28171 27789 180 372 0 27796 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 112684 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28029 /proc/meminfo: memFree=23384532/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=163716 CPUtime=822.31 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 40753 0 0 0 81883 348 0 0 25 0 1 0 821755871 167645184 40519 33554432000 4194304 5714214 140735185750464 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 40929 40519 180 372 0 40554 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 163716 [startup+882.301 s] /proc/loadavg: 2.00 2.01 2.00 3/387 28031 /proc/meminfo: memFree=23368240/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=177708 CPUtime=882.31 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 44255 0 0 0 87856 375 0 0 25 0 1 0 821755871 181972992 44021 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 44427 44021 180 372 0 44052 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 177708 [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/387 28041 /proc/meminfo: memFree=23353656/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=191916 CPUtime=942.31 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 47796 0 0 0 93830 401 0 0 25 0 1 0 821755871 196521984 47562 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 47979 47562 180 372 0 47604 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 191916 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28043 /proc/meminfo: memFree=23315068/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=206460 CPUtime=1002.32 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 51385 0 0 0 99806 426 0 0 25 0 1 0 821755871 211415040 51151 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 51615 51151 180 372 0 51240 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 206460 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28044 /proc/meminfo: memFree=23273720/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=219116 CPUtime=1062.31 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 54510 0 0 0 105782 449 0 0 25 0 1 0 821755871 224374784 54276 33554432000 4194304 5714214 140735185750464 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 54779 54276 180 372 0 54404 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 219116 [startup+1122.3 s] /proc/loadavg: 2.07 2.03 2.01 3/387 28049 /proc/meminfo: memFree=23260572/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=232236 CPUtime=1122.32 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 57781 0 0 0 111759 473 0 0 25 0 1 0 821755871 237809664 57547 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 58059 57547 180 372 0 57684 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 232236 [startup+1182.3 s] /proc/loadavg: 2.06 2.03 2.01 3/387 28051 /proc/meminfo: memFree=23220972/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=246328 CPUtime=1182.32 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 61314 0 0 0 117732 500 0 0 25 0 1 0 821755871 252239872 61080 33554432000 4194304 5714214 140735185750464 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 61582 61080 180 372 0 61207 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 246328 [startup+1242.3 s] /proc/loadavg: 2.05 2.04 2.00 3/387 28052 /proc/meminfo: memFree=23194024/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=260608 CPUtime=1242.32 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 64873 0 0 0 123708 524 0 0 25 0 1 0 821755871 266862592 64639 33554432000 4194304 5714214 140735185750464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 65152 64639 180 372 0 64777 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 260608 [startup+1302.3 s] /proc/loadavg: 2.02 2.03 2.00 3/387 28054 /proc/meminfo: memFree=23182056/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=272440 CPUtime=1302.33 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 67791 0 0 0 129683 550 0 0 25 0 1 0 821755871 278978560 67557 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 68110 67557 180 372 0 67735 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 272440 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28055 /proc/meminfo: memFree=23125704/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=283580 CPUtime=1362.32 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 70581 0 0 0 135656 576 0 0 25 0 1 0 821755871 290385920 70347 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 70895 70347 180 372 0 70520 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 283580 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28057 /proc/meminfo: memFree=23055836/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=295908 CPUtime=1422.33 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 73668 0 0 0 141636 597 0 0 25 0 1 0 821755871 303009792 73434 33554432000 4194304 5714214 140735185750464 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 73977 73434 180 372 0 73602 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 295908 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/387 28059 /proc/meminfo: memFree=22993924/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=308392 CPUtime=1482.32 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 76773 0 0 0 147612 620 0 0 25 0 1 0 821755871 315793408 76539 33554432000 4194304 5714214 140735185750464 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 77098 76539 180 372 0 76723 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 308392 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28060 /proc/meminfo: memFree=22984816/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=318356 CPUtime=1542.33 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 79278 0 0 0 153592 641 0 0 25 0 1 0 821755871 325996544 79044 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 79589 79044 180 372 0 79214 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 318356 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/387 28062 /proc/meminfo: memFree=22972232/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=331300 CPUtime=1602.33 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 82491 0 0 0 159572 661 0 0 25 0 1 0 821755871 339251200 82257 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 82825 82257 180 372 0 82450 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 331300 [startup+1662.3 s] /proc/loadavg: 2.10 2.03 2.01 3/387 28063 /proc/meminfo: memFree=22940080/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=341548 CPUtime=1662.33 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 85042 0 0 0 165551 682 0 0 25 0 1 0 821755871 349745152 84808 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 85387 84808 180 372 0 85012 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 341548 [startup+1722.3 s] /proc/loadavg: 2.08 2.04 2.01 3/387 28065 /proc/meminfo: memFree=22869484/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=355128 CPUtime=1722.33 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 88456 0 0 0 171526 707 0 0 25 0 1 0 821755871 363651072 88222 33554432000 4194304 5714214 140735185750464 18446744073709551615 4322776 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 88782 88222 180 372 0 88407 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 355128 [startup+1782.3 s] /proc/loadavg: 2.07 2.04 2.01 3/387 28067 /proc/meminfo: memFree=22856908/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=367820 CPUtime=1782.33 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 91600 0 0 0 177500 733 0 0 25 0 1 0 821755871 376647680 91366 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 91955 91366 180 372 0 91580 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 367820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.04 2.00 3/387 28067 /proc/meminfo: memFree=22853284/32951124 swapFree=49244120/67111528 [pid=27951] ppid=27949 vsize=371452 CPUtime=1800.05 cores=1,3,5,7 /proc/27951/stat : 27951 (wbo1.6) R 27949 27951 27315 0 -1 4202496 92543 0 0 0 179265 740 0 0 25 0 1 0 821755871 380366848 92309 33554432000 4194304 5714214 140735185750464 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27951/statm: 92863 92309 180 372 0 92488 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 371452 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.07 CPU user time (s): 1792.66 CPU system time (s): 7.41687 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 371452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.66 system time used= 7.41687 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92543 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= 11 involuntary context switches= 3946 runsolver used 6.41702 second user time and 15.7186 second system time The end
Begin job on node101 at 2011-06-03 13:45:31 IDJOB=3460955 IDBENCH=2643 IDSOLVER=1953 FILE ID=node101/3460955-1307101531 RUNJOBID= node101-1307092509-27334 PBS_JOBID= 13497974 Free space on /tmp= 73948 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460955-1307101531/watcher-3460955-1307101531 -o /tmp/evaluation-result-3460955-1307101531/solver-3460955-1307101531 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460955-1307101531.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5946eb43fefc6e626d35d99afd3eec42 RANDOM SEED=59729973 node101.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23423328 kB Buffers: 234376 kB Cached: 462772 kB SwapCached: 27120 kB Active: 8830748 kB Inactive: 420740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23423328 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 5100 kB Writeback: 0 kB AnonPages: 8549328 kB Mapped: 18584 kB Slab: 134524 kB PageTables: 75088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 79024808 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73944 MiB End job on node101 at 2011-06-03 14:15:33