Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.15 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos16.opb |
MD5SUM | 49459e9c72edb2754f1d384319cf8731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 114 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 114 |
Optimality of the best value was proved | NO |
Number of variables | 464 |
Total number of constraints | 1059 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 128 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
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-2655981-1276348924.opb. 0.00/0.00 c Instance file HOME/instance-2655981-1276348924.opb 0.00/0.00 c File size is 54761 bytes. 0.00/0.01 c Highest Coefficient sum: 535 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 464 | 0.00/0.01 c | Number Clauses: 336 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 733 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 464 1069 6192 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 464 1069 6192 | 5500 100 8 | 0.000 % | 0.00/0.02 c | 252 | 464 1069 6192 | 6050 252 8 | 0.000 % | 0.00/0.04 c | 477 | 464 1069 6192 | 6655 477 11 | 0.000 % | 0.00/0.06 c | 814 | 464 1069 6192 | 7320 814 12 | 0.000 % | 0.00/0.09 c | 1320 | 464 1069 6192 | 8052 1320 14 | 0.000 % | 0.09/0.15 c | 2080 | 464 1069 6192 | 8857 2080 15 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 129 0.09/0.19 o 129 0.09/0.19 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 2540 | 464 1070 6200 | 5000 2540 16 | 0.000 % | 0.09/0.20 c | 2642 | 464 1070 6200 | 5500 2642 16 | 0.000 % | 0.19/0.21 c | 2792 | 464 1070 6200 | 6050 2792 16 | 0.000 % | 0.19/0.22 c | 3017 | 464 1070 6200 | 6655 3017 16 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 125 0.19/0.23 o 125 0.19/0.23 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 3120 | 464 1071 6208 | 5000 3120 16 | 0.000 % | 0.19/0.24 c | 3225 | 463 1071 6208 | 5500 3225 16 | 0.216 % | 0.19/0.25 c | 3375 | 463 1071 6208 | 6050 3375 16 | 0.216 % | 0.19/0.27 c | 3601 | 463 1071 6208 | 6655 3601 15 | 0.216 % | 0.29/0.30 c | 3940 | 463 1071 6208 | 7320 3940 16 | 0.216 % | 0.29/0.35 c | 4447 | 463 1071 6208 | 8052 4447 16 | 0.216 % | 0.39/0.42 c | 5206 | 463 1071 6208 | 8857 5206 16 | 0.216 % | 0.49/0.53 c | 6345 | 463 1071 6208 | 9743 6345 17 | 0.216 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 121 0.49/0.58 o 121 0.49/0.58 c Elapsed CPU time: 0.567913 s Remaining CPU time: 179.432 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 6818 | 463 1072 6216 | 5000 6818 17 | 0.216 % | 0.59/0.60 c | 6918 | 463 1072 6216 | 5500 3509 17 | 0.216 % | 0.59/0.61 c | 7068 | 463 1072 6216 | 6050 3659 17 | 0.216 % | 0.59/0.63 c | 7293 | 463 1072 6216 | 6655 3884 17 | 0.216 % | 0.59/0.66 c | 7631 | 463 1072 6216 | 7320 4222 17 | 0.216 % | 0.69/0.70 c | 8138 | 463 1072 6216 | 8052 4729 17 | 0.216 % | 0.69/0.77 c | 8897 | 463 1072 6216 | 8857 5488 16 | 0.216 % | 0.89/0.90 c | 10036 | 463 1072 6216 | 9743 6627 18 | 0.216 % | 1.00/1.10 c | 11745 | 463 1072 6216 | 10717 8336 19 | 0.216 % | 1.39/1.44 c | 14308 | 463 1072 6216 | 11789 10899 19 | 0.216 % | 1.99/2.02 c | 18152 | 463 1072 6216 | 12968 8784 22 | 0.216 % | 2.79/2.83 c | 23920 | 463 1072 6216 | 14265 7992 19 | 0.216 % | 4.19/4.28 c | 32570 | 463 1072 6216 | 15692 9473 24 | 0.216 % | 6.99/7.00 c | 45545 | 463 1072 6216 | 17261 14560 26 | 0.216 % | 12.38/12.45 c | 65006 | 463 1072 6216 | 18987 16628 30 | 0.216 % | 20.18/20.20 c | 94200 | 463 1072 6216 | 20886 17148 27 | 0.216 % | 34.17/34.20 c | 137990 | 463 1072 6216 | 22974 18862 29 | 0.216 % | 59.97/60.05 c | 203674 | 463 1072 6216 | 25272 15200 30 | 0.216 % | 63.57/63.61 c =============================================================================== 63.57/63.61 c New solution: 120 63.57/63.61 o 120 63.57/63.61 c Elapsed CPU time: 62.9064 s Remaining CPU time: 117.094 s 63.57/63.61 c =============================================================================== 63.57/63.61 c | 215060 | 463 1073 6224 | 5000 13606 23 | 0.216 % | 63.57/63.66 c | 215160 | 463 1073 6224 | 5500 3502 20 | 0.216 % | 63.57/63.67 c | 215310 | 463 1073 6224 | 6050 3652 20 | 0.216 % | 63.57/63.69 c | 215535 | 463 1073 6224 | 6655 3877 20 | 0.216 % | 63.67/63.73 c | 215872 | 463 1073 6224 | 7320 4214 20 | 0.216 % | 63.67/63.78 c | 216378 | 463 1073 6224 | 8052 4720 21 | 0.216 % | 63.78/63.86 c | 217138 | 463 1073 6224 | 8857 5480 21 | 0.216 % | 63.87/63.99 c | 218278 | 463 1073 6224 | 9743 6620 21 | 0.216 % | 64.17/64.24 c | 219986 | 463 1073 6224 | 10717 8328 22 | 0.216 % | 64.47/64.56 c | 222549 | 463 1073 6224 | 11789 5484 18 | 0.216 % | 64.97/65.05 c | 226393 | 463 1073 6224 | 12968 9328 22 | 0.216 % | 65.88/65.94 c | 232160 | 463 1073 6224 | 14265 8575 21 | 0.216 % | 67.47/67.53 c | 240809 | 463 1073 6224 | 15692 10027 24 | 0.216 % | 70.38/70.46 c | 253783 | 463 1073 6224 | 17261 15070 32 | 0.216 % | 72.86/72.96 c =============================================================================== 72.86/72.96 c New solution: 119 72.86/72.96 o 119 72.86/72.96 c Elapsed CPU time: 72.111 s Remaining CPU time: 107.889 s 72.86/72.96 c =============================================================================== 72.86/72.96 c | 264885 | 463 1074 6232 | 5000 8773 24 | 0.216 % | 72.86/72.98 c | 264985 | 463 1074 6232 | 5500 4487 23 | 0.216 % | 72.86/72.99 c | 265135 | 463 1074 6232 | 6050 4637 22 | 0.216 % | 72.96/73.02 c | 265361 | 463 1074 6232 | 6655 4863 23 | 0.216 % | 72.96/73.05 c | 265698 | 463 1074 6232 | 7320 5200 22 | 0.216 % | 72.96/73.09 c | 266204 | 463 1074 6232 | 8052 5706 22 | 0.216 % | 73.07/73.17 c | 266964 | 463 1074 6232 | 8857 6466 21 | 0.216 % | 73.17/73.28 c | 268104 | 463 1074 6232 | 9743 7606 21 | 0.216 % | 73.47/73.50 c | 269812 | 463 1074 6232 | 10717 9314 20 | 0.216 % | 73.77/73.82 c | 272374 | 463 1074 6232 | 11789 6491 17 | 0.216 % | 74.26/74.38 c | 276218 | 463 1074 6232 | 12968 10335 20 | 0.216 % | 75.26/75.36 c | 281984 | 463 1074 6232 | 14265 9569 25 | 0.216 % | 76.37/76.42 c =============================================================================== 76.37/76.42 c New solution: 118 76.37/76.42 o 118 76.37/76.42 c Elapsed CPU time: 75.4955 s Remaining CPU time: 104.504 s 76.37/76.42 c =============================================================================== 76.37/76.42 c | 287622 | 463 1075 6240 | 5000 7988 24 | 0.216 % | 76.37/76.44 c | 287722 | 463 1075 6240 | 5500 4094 22 | 0.216 % | 76.37/76.46 c | 287875 | 463 1075 6240 | 6050 4247 22 | 0.216 % | 76.37/76.47 c | 288100 | 463 1075 6240 | 6655 4472 22 | 0.216 % | 76.47/76.51 c | 288437 | 463 1075 6240 | 7320 4809 22 | 0.216 % | 76.47/76.55 c | 288946 | 463 1075 6240 | 8052 5318 21 | 0.216 % | 76.56/76.64 c | 289706 | 463 1075 6240 | 8857 6078 21 | 0.216 % | 76.67/76.76 c | 290846 | 463 1075 6240 | 9743 7218 20 | 0.216 % | 76.87/76.98 c | 292556 | 463 1075 6240 | 10717 8928 21 | 0.216 % | 77.26/77.35 c | 295119 | 463 1075 6240 | 11789 6104 19 | 0.216 % | 77.76/77.84 c | 298963 | 463 1075 6240 | 12968 9948 19 | 0.216 % | 78.76/78.84 c | 304730 | 463 1075 6240 | 14265 9173 22 | 0.216 % | 80.27/80.38 c | 313379 | 463 1075 6240 | 15692 10652 23 | 0.216 % | 82.76/82.89 c | 326354 | 463 1075 6240 | 17261 15729 25 | 0.216 % | 86.96/87.07 c | 345815 | 463 1075 6240 | 18987 9112 22 | 0.216 % | 94.36/94.40 c | 375008 | 463 1075 6240 | 20886 9650 31 | 0.216 % | 106.25/106.32 c | 418797 | 463 1075 6240 | 22974 11374 28 | 0.216 % | 127.56/127.63 c | 484481 | 463 1075 6240 | 25272 19318 30 | 0.216 % | 165.44/165.56 c | 583007 | 463 1075 6240 | 27799 16209 31 | 0.216 % | 181.93/182.04 c There are 1 assigned variables. 1 in cost function. 182.43/182.58 c core #1 182.43/182.58 c core #2 182.43/182.58 c core #3 182.43/182.58 c ============================[ Search Statistics ]============================== 182.43/182.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.58 c =============================================================================== 182.43/182.58 c | 0 | 477 1108 6236 | 5000 0 nan | 0.000 % | 182.43/182.58 c =============================================================================== 182.43/182.59 c core #4 182.43/182.59 c ============================[ Search Statistics ]============================== 182.43/182.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.59 c =============================================================================== 182.43/182.59 c | 0 | 484 1113 6246 | 5000 0 nan | 0.000 % | 182.43/182.59 c =============================================================================== 182.43/182.60 c core #5 182.43/182.60 c ============================[ Search Statistics ]============================== 182.43/182.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.60 c =============================================================================== 182.43/182.60 c | 0 | 490 1118 6254 | 5000 0 nan | 0.000 % | 182.43/182.60 c =============================================================================== 182.53/182.60 c core #6 182.53/182.60 c ============================[ Search Statistics ]============================== 182.53/182.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.60 c =============================================================================== 182.53/182.60 c | 0 | 495 1122 6270 | 5000 0 nan | 0.000 % | 182.53/182.62 c =============================================================================== 182.53/182.62 c core #7 182.53/182.62 c ============================[ Search Statistics ]============================== 182.53/182.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.62 c =============================================================================== 182.53/182.62 c | 0 | 504 1128 6289 | 5000 0 nan | 0.000 % | 182.53/182.63 c =============================================================================== 182.53/182.64 c core #8 182.53/182.64 c ============================[ Search Statistics ]============================== 182.53/182.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.64 c =============================================================================== 182.53/182.64 c | 0 | 512 1132 6302 | 5000 0 nan | 0.000 % | 182.53/182.66 c | 101 | 511 1132 6302 | 5500 101 8 | 0.969 % | 182.53/182.67 c =============================================================================== 182.53/182.68 c core #9 182.53/182.68 c ============================[ Search Statistics ]============================== 182.53/182.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.68 c =============================================================================== 182.53/182.68 c | 0 | 516 1135 6323 | 5000 0 nan | 0.000 % | 182.53/182.69 c | 102 | 516 1135 6323 | 5500 102 8 | 0.600 % | 182.63/182.71 c | 252 | 516 1135 6323 | 6050 252 11 | 0.600 % | 182.63/182.75 c | 477 | 513 1135 6323 | 6655 46 7 | 1.927 % | 182.63/182.77 c =============================================================================== 182.63/182.77 c core #10 182.63/182.77 c ============================[ Search Statistics ]============================== 182.63/182.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.77 c =============================================================================== 182.63/182.77 c | 0 | 528 1141 6351 | 5000 0 nan | 0.000 % | 182.63/182.79 c | 102 | 528 1141 6351 | 5500 102 8 | 0.575 % | 182.73/182.81 c | 253 | 528 1141 6351 | 6050 253 11 | 0.575 % | 182.73/182.85 c | 481 | 528 1141 6351 | 6655 481 11 | 0.575 % | 182.83/182.91 c | 818 | 527 1141 6351 | 7320 13 11 | 0.754 % | 182.83/182.97 c | 1324 | 527 1141 6351 | 8052 519 11 | 0.754 % | 182.93/183.06 c =============================================================================== 182.93/183.07 c core #11 182.93/183.07 c ============================[ Search Statistics ]============================== 182.93/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.07 c =============================================================================== 182.93/183.07 c | 0 | 542 1144 6377 | 5000 0 nan | 0.000 % | 182.93/183.09 c | 100 | 542 1144 6377 | 5500 100 8 | 0.554 % | 183.03/183.11 c | 250 | 542 1144 6377 | 6050 250 10 | 0.554 % | 183.03/183.14 c | 476 | 542 1144 6377 | 6655 476 10 | 0.551 % | 183.03/183.19 c | 813 | 542 1144 6377 | 7320 813 10 | 0.554 % | 183.13/183.27 c | 1320 | 542 1144 6377 | 8052 1320 10 | 0.551 % | 183.23/183.40 c | 2079 | 542 1144 6377 | 8857 2079 10 | 0.556 % | 183.43/183.51 c | 3218 | 541 1144 6377 | 9743 1161 12 | 0.734 % | 183.64/183.73 c | 4928 | 541 1144 6377 | 10717 2871 12 | 0.735 % | 183.73/183.86 c =============================================================================== 183.73/183.87 c core #12 183.73/183.87 c ============================[ Search Statistics ]============================== 183.73/183.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.87 c =============================================================================== 183.73/183.87 c | 0 | 549 1147 6389 | 5000 0 nan | 0.000 % | 183.73/183.89 c | 100 | 549 1147 6389 | 5500 100 8 | 0.545 % | 183.83/183.91 c | 251 | 549 1147 6389 | 6050 251 11 | 0.545 % | 183.83/183.94 c | 476 | 549 1147 6389 | 6655 476 11 | 0.544 % | 183.93/184.01 c | 814 | 549 1147 6389 | 7320 814 11 | 0.544 % | 184.03/184.11 c | 1322 | 549 1147 6389 | 8052 1322 11 | 0.544 % | 184.13/184.24 c | 2082 | 549 1147 6389 | 8857 2082 11 | 0.544 % | 184.33/184.41 c | 3222 | 545 1147 6389 | 9743 1205 10 | 1.813 % | 184.33/184.45 c =============================================================================== 184.33/184.45 c core #13 184.33/184.45 c ============================[ Search Statistics ]============================== 184.33/184.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.45 c =============================================================================== 184.33/184.45 c | 0 | 560 1150 6409 | 5000 0 nan | 0.000 % | 184.33/184.47 c | 100 | 560 1150 6409 | 5500 100 8 | 0.534 % | 184.33/184.49 c | 251 | 560 1150 6409 | 6050 251 11 | 0.534 % | 184.43/184.52 c | 476 | 560 1150 6409 | 6655 476 11 | 0.533 % | 184.43/184.59 c | 813 | 560 1150 6409 | 7320 813 11 | 0.533 % | 184.53/184.69 c | 1320 | 560 1150 6409 | 8052 1320 11 | 0.533 % | 184.74/184.84 c | 2079 | 560 1150 6409 | 8857 2079 11 | 0.533 % | 184.93/185.07 c | 3220 | 560 1150 6409 | 9743 3220 11 | 0.533 % | 185.33/185.49 c | 4928 | 560 1150 6409 | 10717 4928 11 | 0.533 % | 186.03/186.12 c | 7490 | 560 1150 6409 | 11789 7490 11 | 0.534 % | 186.84/186.91 c | 11334 | 559 1150 6409 | 12968 4993 11 | 0.711 % | 187.94/188.06 c | 17102 | 559 1150 6409 | 14265 10761 12 | 0.711 % | 188.63/188.70 c =============================================================================== 188.63/188.74 c core #14 188.63/188.74 c ============================[ Search Statistics ]============================== 188.63/188.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.63/188.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.63/188.74 c =============================================================================== 188.63/188.74 c | 0 | 563 1163 6472 | 5000 0 nan | 0.000 % | 188.63/188.75 c | 101 | 563 1163 6472 | 5500 101 10 | 0.354 % | 188.63/188.77 c | 251 | 563 1163 6472 | 6050 251 10 | 0.359 % | 188.73/188.80 c | 478 | 563 1163 6472 | 6655 478 11 | 0.388 % | 188.73/188.85 c | 815 | 563 1163 6472 | 7320 815 15 | 0.354 % | 188.83/188.92 c | 1321 | 563 1163 6472 | 8052 1321 14 | 0.388 % | 188.93/189.06 c | 2081 | 563 1163 6472 | 8857 2081 15 | 0.388 % | 189.14/189.27 c | 3221 | 563 1163 6472 | 9743 3221 15 | 0.354 % | 189.53/189.63 c | 4929 | 563 1163 6472 | 10717 4929 15 | 0.388 % | 190.14/190.23 c | 7492 | 563 1163 6472 | 11789 7492 15 | 0.355 % | 190.92/191.03 c | 11337 | 563 1163 6472 | 12968 11337 16 | 0.354 % | 192.02/192.17 c | 17105 | 563 1163 6472 | 14265 10552 19 | 0.354 % | 194.02/194.14 c | 25756 | 563 1163 6472 | 15692 11999 19 | 0.355 % | 196.42/196.55 c =============================================================================== 196.52/196.62 c core #15 196.52/196.62 c ============================[ Search Statistics ]============================== 196.52/196.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.52/196.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.52/196.62 c =============================================================================== 196.52/196.62 c | 0 | 580 1169 6514 | 5000 0 nan | 0.000 % | 196.52/196.64 c | 100 | 580 1169 6514 | 5500 100 11 | 0.344 % | 196.52/196.66 c | 253 | 580 1169 6514 | 6050 253 10 | 0.348 % | 196.52/196.69 c | 479 | 580 1169 6514 | 6655 479 10 | 0.354 % | 196.63/196.72 c | 817 | 580 1169 6514 | 7320 817 13 | 0.354 % | 196.63/196.77 c | 1325 | 580 1169 6514 | 8052 1325 15 | 0.354 % | 196.74/196.87 c | 2084 | 580 1169 6514 | 8857 2084 16 | 0.344 % | 196.93/197.01 c | 3224 | 580 1169 6514 | 9743 3224 17 | 0.344 % | 197.23/197.33 c | 4932 | 580 1169 6514 | 10717 4932 18 | 0.344 % | 197.62/197.74 c | 7494 | 580 1169 6514 | 11789 7494 18 | 0.344 % | 198.33/198.40 c | 11338 | 580 1169 6514 | 12968 11338 19 | 0.344 % | 199.22/199.34 c | 17105 | 580 1169 6514 | 14265 10581 19 | 0.354 % | 201.14/201.23 c | 25755 | 580 1169 6514 | 15692 12055 19 | 0.344 % | 204.43/204.52 c | 38730 | 580 1169 6514 | 17261 9261 20 | 0.354 % | 209.43/209.51 c | 58191 | 580 1169 6514 | 18987 11374 19 | 0.354 % | 216.63/216.77 c | 87383 | 580 1169 6514 | 20886 11951 19 | 0.344 % | 227.62/227.74 c | 131174 | 580 1169 6514 | 22974 13818 17 | 0.345 % | 242.11/242.24 c | 196859 | 579 1169 6514 | 25272 23023 18 | 0.526 % | 254.21/254.39 c =============================================================================== 254.51/254.63 c core #16 254.51/254.63 c ============================[ Search Statistics ]============================== 254.51/254.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 254.51/254.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 254.51/254.63 c =============================================================================== 254.51/254.63 c | 0 | 599 1175 6560 | 5000 0 nan | 0.000 % | 254.51/254.66 c | 100 | 599 1175 6560 | 5500 100 11 | 0.333 % | 254.61/254.70 c | 250 | 599 1175 6560 | 6050 250 10 | 0.337 % | 254.61/254.74 c | 475 | 599 1175 6560 | 6655 475 12 | 0.333 % | 254.61/254.78 c | 812 | 599 1175 6560 | 7320 812 13 | 0.333 % | 254.71/254.86 c | 1318 | 599 1175 6560 | 8052 1318 14 | 0.333 % | 254.81/254.97 c | 2079 | 599 1175 6560 | 8857 2079 15 | 0.333 % | 255.02/255.13 c | 3218 | 599 1175 6560 | 9743 3218 17 | 0.333 % | 255.31/255.42 c | 4928 | 599 1175 6560 | 10717 4928 18 | 0.333 % | 255.71/255.86 c | 7490 | 599 1175 6560 | 11789 7490 18 | 0.336 % | 256.31/256.49 c | 11335 | 599 1175 6560 | 12968 11335 20 | 0.333 % | 257.41/257.51 c | 17102 | 599 1175 6560 | 14265 10581 19 | 0.336 % | 259.01/259.18 c | 25751 | 599 1175 6560 | 15692 12070 18 | 0.333 % | 262.41/262.51 c | 38725 | 599 1175 6560 | 17261 9296 18 | 0.333 % | 266.71/266.83 c | 58187 | 599 1175 6560 | 18987 11439 20 | 0.333 % | 272.90/273.03 c | 87379 | 599 1175 6560 | 20886 12030 21 | 0.333 % | 283.40/283.60 c | 131169 | 599 1175 6560 | 22974 13910 21 | 0.336 % | 299.30/299.47 c | 196854 | 599 1175 6560 | 25272 19990 20 | 0.333 % | 327.09/327.26 c | 295382 | 599 1175 6560 | 27799 21756 18 | 0.337 % | 362.38/362.52 c | 443174 | 585 1175 6560 | 30579 21737 19 | 2.663 % | 369.58/369.79 c =============================================================================== 370.08/370.27 c core #17 370.08/370.27 c ============================[ Search Statistics ]============================== 370.08/370.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 370.08/370.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 370.08/370.27 c =============================================================================== 370.08/370.27 c | 0 | 619 1187 6627 | 5000 0 nan | 0.000 % | 370.18/370.31 c | 101 | 619 1187 6627 | 5500 101 11 | 0.322 % | 370.18/370.35 c | 251 | 619 1187 6627 | 6050 251 10 | 0.326 % | 370.18/370.39 c | 476 | 619 1187 6627 | 6655 476 11 | 0.324 % | 370.28/370.43 c | 815 | 619 1187 6627 | 7320 815 17 | 0.322 % | 370.28/370.48 c | 1321 | 619 1187 6627 | 8052 1321 19 | 0.324 % | 370.38/370.56 c | 2081 | 619 1187 6627 | 8857 2081 21 | 0.322 % | 370.49/370.69 c | 3220 | 619 1187 6627 | 9743 3220 22 | 0.324 % | 370.68/370.87 c | 4928 | 619 1187 6627 | 10717 4928 19 | 0.322 % | 371.08/371.20 c | 7491 | 619 1187 6627 | 11789 7491 19 | 0.324 % | 371.68/371.83 c | 11336 | 619 1187 6627 | 12968 11336 18 | 0.322 % | 372.88/373.02 c | 17105 | 619 1187 6627 | 14265 10607 17 | 0.322 % | 374.07/374.26 c | 25755 | 619 1187 6627 | 15692 12076 20 | 0.322 % | 376.47/376.66 c | 38730 | 619 1187 6627 | 17261 9283 21 | 0.324 % | 379.57/379.74 c | 58193 | 619 1187 6627 | 18987 11416 20 | 0.322 % | 386.27/386.47 c | 87386 | 619 1187 6627 | 20886 12029 19 | 0.324 % | 397.07/397.26 c | 131176 | 619 1187 6627 | 22974 13892 21 | 0.322 % | 413.56/413.75 c | 196861 | 619 1187 6627 | 25272 21158 20 | 0.322 % | 435.96/436.17 c | 295387 | 619 1187 6627 | 27799 21903 21 | 0.324 % | 471.15/471.39 c | 443176 | 619 1187 6627 | 30579 22220 21 | 0.323 % | 525.34/525.58 c | 664861 | 619 1187 6627 | 33637 14871 19 | 0.322 % | 616.20/616.48 c | 997387 | 618 1187 6627 | 37001 16012 20 | 0.483 % | 770.05/770.30 c | 1496178 | 615 1187 6627 | 40701 22326 19 | 0.967 % | 779.95/780.27 c =============================================================================== 781.05/781.38 c core #18 781.05/781.38 c ============================[ Search Statistics ]============================== 781.05/781.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 781.05/781.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 781.05/781.38 c =============================================================================== 781.05/781.38 c | 0 | 622 1194 6647 | 5000 0 nan | 0.000 % | 781.15/781.48 c | 100 | 622 1194 6647 | 5500 100 11 | 0.321 % | 781.25/781.50 c | 250 | 622 1194 6647 | 6050 250 10 | 0.325 % | 781.25/781.55 c | 476 | 622 1194 6647 | 6655 476 9 | 0.321 % | 781.34/781.60 c | 813 | 619 1194 6647 | 7320 42 7 | 0.802 % | 781.34/781.68 c | 1320 | 619 1194 6647 | 8052 549 22 | 0.802 % | 781.55/781.82 c | 2084 | 619 1194 6647 | 8857 1313 20 | 0.802 % | 781.64/781.95 c | 3223 | 619 1194 6647 | 9743 2452 21 | 0.802 % | 781.86/782.18 c | 4931 | 619 1194 6647 | 10717 4160 22 | 0.802 % | 782.25/782.50 c | 7495 | 619 1194 6647 | 11789 6724 24 | 0.802 % | 782.85/783.17 c | 11339 | 619 1194 6647 | 12968 10568 25 | 0.802 % | 783.95/784.22 c | 17105 | 618 1194 6647 | 14265 9813 21 | 0.962 % | 785.74/786.09 c | 25756 | 618 1194 6647 | 15692 11296 16 | 0.962 % | 788.64/788.97 c | 38730 | 618 1194 6647 | 17261 8500 17 | 0.962 % | 793.24/793.52 c | 58191 | 618 1194 6647 | 18987 10616 19 | 0.962 % | 800.34/800.67 c | 87383 | 618 1194 6647 | 20886 11179 18 | 0.962 % | 810.34/810.62 c | 131172 | 618 1194 6647 | 22974 13045 19 | 0.962 % | 824.64/824.97 c | 196856 | 618 1194 6647 | 25272 19369 19 | 0.962 % | 850.22/850.53 c | 295383 | 618 1194 6647 | 27799 20437 20 | 0.962 % | 886.71/887.01 c | 443172 | 618 1194 6647 | 30579 23782 17 | 0.962 % | 946.90/947.23 c | 664856 | 618 1194 6647 | 33637 18623 17 | 0.962 % | 1036.98/1037.38 c | 997383 | 618 1194 6647 | 37001 22304 20 | 0.962 % | 1173.13/1173.51 c | 1496172 | 617 1194 6647 | 40701 13891 17 | 1.122 % | 1222.32/1222.76 c =============================================================================== 1223.72/1224.12 c core #19 1223.72/1224.12 c ============================[ Search Statistics ]============================== 1223.72/1224.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1223.72/1224.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1223.72/1224.12 c =============================================================================== 1223.72/1224.12 c | 0 | 633 1209 6707 | 5000 0 nan | 0.000 % | 1223.82/1224.26 c | 101 | 633 1209 6707 | 5500 101 11 | 0.315 % | 1223.92/1224.36 c | 252 | 633 1209 6707 | 6050 252 10 | 0.319 % | 1224.02/1224.40 c | 477 | 633 1209 6707 | 6655 477 13 | 0.316 % | 1224.02/1224.46 c | 814 | 633 1209 6707 | 7320 814 18 | 0.315 % | 1224.12/1224.54 c | 1322 | 633 1209 6707 | 8052 1322 22 | 0.315 % | 1224.22/1224.64 c | 2084 | 633 1209 6707 | 8857 2084 23 | 0.315 % | 1224.32/1224.77 c | 3224 | 633 1209 6707 | 9743 3224 25 | 0.315 % | 1224.52/1224.98 c | 4933 | 633 1209 6707 | 10717 4933 24 | 0.315 % | 1224.93/1225.32 c | 7497 | 633 1209 6707 | 11789 7497 25 | 0.315 % | 1225.62/1226.01 c | 11343 | 633 1209 6707 | 12968 11343 26 | 0.315 % | 1226.61/1227.06 c | 17109 | 633 1209 6707 | 14265 10578 27 | 0.315 % | 1228.33/1228.75 c | 25758 | 633 1209 6707 | 15692 12042 25 | 0.315 % | 1230.81/1231.28 c | 38732 | 633 1209 6707 | 17261 9252 19 | 0.315 % | 1235.32/1235.76 c | 58194 | 633 1209 6707 | 18987 11388 19 | 0.315 % | 1241.72/1242.17 c | 87386 | 633 1209 6707 | 20886 11949 24 | 0.315 % | 1252.71/1253.13 c | 131175 | 633 1209 6707 | 22974 13815 21 | 0.316 % | 1268.30/1268.78 c | 196860 | 633 1209 6707 | 25272 21716 22 | 0.316 % | 1294.10/1294.54 c | 295386 | 633 1209 6707 | 27799 23524 20 | 0.316 % | 1336.99/1337.47 c | 443175 | 633 1209 6707 | 30579 25860 22 | 0.317 % | 1396.97/1397.42 c | 664858 | 633 1209 6707 | 33637 20205 21 | 0.315 % | 1489.25/1489.78 c | 997383 | 633 1209 6707 | 37001 26706 23 | 0.316 % | 1629.81/1630.32 c | 1496172 | 633 1209 6707 | 40701 28370 25 | 0.315 % |
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-2655981-1276348924/watcher-2655981-1276348924 -o /tmp/evaluation-result-2655981-1276348924/solver-2655981-1276348924 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655981-1276348924.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.05 1.13 3/106 10918 /proc/meminfo: memFree=1481332/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=2760 CPUtime=0 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 309 0 0 0 0 0 0 0 16 0 1 0 10496245 2826240 227 1992294400 134512640 135751879 4287813808 18446744073709551615 135220959 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 690 227 144 303 0 371 0 [startup+0.0992849 s] /proc/loadavg: 1.00 1.05 1.13 3/106 10918 /proc/meminfo: memFree=1481332/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=2968 CPUtime=0.09 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 403 0 0 0 9 0 0 0 16 0 1 0 10496245 3039232 307 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 742 307 147 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.101287 s] /proc/loadavg: 1.00 1.05 1.13 3/106 10918 /proc/meminfo: memFree=1481332/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=2968 CPUtime=0.09 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 404 0 0 0 9 0 0 0 16 0 1 0 10496245 3039232 308 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 742 308 147 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.301305 s] /proc/loadavg: 1.00 1.05 1.13 3/106 10918 /proc/meminfo: memFree=1481332/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=3364 CPUtime=0.29 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 508 0 0 0 28 1 0 0 17 0 1 0 10496245 3444736 412 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 841 412 147 303 0 536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3364 [startup+0.701343 s] /proc/loadavg: 1.00 1.05 1.13 3/106 10918 /proc/meminfo: memFree=1481332/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=4024 CPUtime=0.69 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 679 0 0 0 68 1 0 0 17 0 1 0 10496245 4120576 583 1992294400 134512640 135751879 4287813808 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 1006 583 148 303 0 701 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4024 [startup+1.50142 s] /proc/loadavg: 1.00 1.05 1.13 2/107 10919 /proc/meminfo: memFree=1478968/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=5204 CPUtime=1.49 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 965 0 0 0 146 3 0 0 18 0 1 0 10496245 5328896 869 1992294400 134512640 135751879 4287813808 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 1301 869 148 303 0 996 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5204 [startup+3.10057 s] /proc/loadavg: 1.00 1.05 1.13 2/107 10919 /proc/meminfo: memFree=1477480/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=7184 CPUtime=3.09 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 1442 0 0 0 302 7 0 0 21 0 1 0 10496245 7356416 1346 1992294400 134512640 135751879 4287813808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 1796 1346 148 303 0 1491 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7184 [startup+6.30088 s] /proc/loadavg: 1.00 1.05 1.13 2/107 10919 /proc/meminfo: memFree=1473760/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=10208 CPUtime=6.29 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 2231 0 0 0 617 12 0 0 25 0 1 0 10496245 10452992 2135 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 2552 2135 148 303 0 2247 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10208 [startup+12.7005 s] /proc/loadavg: 1.00 1.05 1.13 2/107 10919 /proc/meminfo: memFree=1468552/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=15060 CPUtime=12.68 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 3437 0 0 0 1249 19 0 0 25 0 1 0 10496245 15421440 3341 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 3765 3341 148 303 0 3460 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15060 [startup+25.5017 s] /proc/loadavg: 1.00 1.05 1.13 2/107 10919 /proc/meminfo: memFree=1459376/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=24036 CPUtime=25.48 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 5670 0 0 0 2515 33 0 0 25 0 1 0 10496245 24612864 5574 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 6009 5574 148 303 0 5704 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24036 [startup+51.1011 s] /proc/loadavg: 1.00 1.04 1.12 2/107 10921 /proc/meminfo: memFree=1444868/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=38664 CPUtime=51.07 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 9334 0 0 0 5051 56 0 0 25 0 1 0 10496245 39591936 9238 1992294400 134512640 135751879 4287813808 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 9666 9238 148 303 0 9361 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38664 [startup+102.309 s] /proc/loadavg: 1.00 1.03 1.11 2/107 10921 /proc/meminfo: memFree=1403204/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=79844 CPUtime=102.27 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 19606 0 0 0 10103 124 0 0 25 0 1 0 10496245 81760256 19510 1992294400 134512640 135751879 4287813808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 19961 19510 148 303 0 19656 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 79844 [startup+162.302 s] /proc/loadavg: 1.00 1.02 1.10 2/107 10923 /proc/meminfo: memFree=1368236/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=115008 CPUtime=162.23 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 28396 0 0 0 16042 181 0 0 25 0 1 0 10496245 117768192 28300 1992294400 134512640 135751879 4287813808 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 28752 28300 148 303 0 28447 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 115008 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.09 2/107 10925 /proc/meminfo: memFree=1357448/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=125136 CPUtime=222.22 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 30973 0 0 0 21977 245 0 0 25 0 1 0 10496245 128139264 30849 1992294400 134512640 135751879 4287813808 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 31284 30849 151 303 0 30979 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 125136 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.08 2/107 10927 /proc/meminfo: memFree=1338848/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=144032 CPUtime=282.2 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 35707 0 0 0 27899 321 0 0 25 0 1 0 10496245 147488768 35583 1992294400 134512640 135751879 4287813808 18446744073709551615 134518727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 36008 35583 151 303 0 35703 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 144032 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.08 2/107 10929 /proc/meminfo: memFree=1309460/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=173328 CPUtime=342.19 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 43018 0 0 0 33825 394 0 0 25 0 1 0 10496245 177487872 42894 1992294400 134512640 135751879 4287813808 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 43332 42895 151 303 0 43027 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 173328 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10929 /proc/meminfo: memFree=1283668/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=199048 CPUtime=402.16 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 49461 0 0 0 39747 469 0 0 25 0 1 0 10496245 203825152 49337 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 49762 49337 151 303 0 49457 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 199048 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10931 /proc/meminfo: memFree=1255644/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=226916 CPUtime=462.15 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 56409 0 0 0 45675 540 0 0 25 0 1 0 10496245 232361984 56285 1992294400 134512640 135751879 4287813808 18446744073709551615 134602968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 56729 56285 151 303 0 56424 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 226916 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10933 /proc/meminfo: memFree=1217080/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=265968 CPUtime=522.13 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 66151 0 0 0 51595 618 0 0 25 0 1 0 10496245 272351232 66027 1992294400 134512640 135751879 4287813808 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 66492 66027 151 303 0 66187 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 265968 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10935 /proc/meminfo: memFree=1181740/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=300676 CPUtime=582.11 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 74828 0 0 0 57527 684 0 0 25 0 1 0 10496245 307892224 74704 1992294400 134512640 135751879 4287813808 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 75169 74704 151 303 0 74864 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 300676 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 10937 /proc/meminfo: memFree=1150244/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=332040 CPUtime=642.09 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 82641 0 0 0 63468 741 0 0 25 0 1 0 10496245 340008960 82517 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 83010 82517 151 303 0 82705 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 332040 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10941 /proc/meminfo: memFree=1078572/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=403188 CPUtime=822.04 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 100489 0 0 0 81273 931 0 0 25 0 1 0 10496245 412864512 100365 1992294400 134512640 135751879 4287813808 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 100797 100365 151 303 0 100492 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 403188 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10943 /proc/meminfo: memFree=1062700/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=419072 CPUtime=882.01 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 104436 0 0 0 87202 999 0 0 25 0 1 0 10496245 429129728 104312 1992294400 134512640 135751879 4287813808 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 104768 104312 151 303 0 104463 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 419072 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.02 2/107 10945 /proc/meminfo: memFree=1045960/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=435860 CPUtime=942 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 108638 0 0 0 93131 1069 0 0 25 0 1 0 10496245 446320640 108514 1992294400 134512640 135751879 4287813808 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 108965 108514 151 303 0 108660 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 435860 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10945 /proc/meminfo: memFree=1025748/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=455960 CPUtime=1001.98 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 113633 0 0 0 99068 1130 0 0 25 0 1 0 10496245 466903040 113509 1992294400 134512640 135751879 4287813808 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 113990 113509 151 303 0 113685 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 455960 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10947 /proc/meminfo: memFree=997600/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=484236 CPUtime=1061.96 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 120731 0 0 0 104998 1198 0 0 25 0 1 0 10496245 495857664 120607 1992294400 134512640 135751879 4287813808 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 121059 120607 151 303 0 120754 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 484236 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10949 /proc/meminfo: memFree=963996/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=517516 CPUtime=1121.95 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 129033 0 0 0 110925 1270 0 0 25 0 1 0 10496245 529936384 128909 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 129379 128909 151 303 0 129074 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 517516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10951 /proc/meminfo: memFree=933368/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=548272 CPUtime=1181.94 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 136697 0 0 0 116855 1339 0 0 25 0 1 0 10496245 561430528 136573 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 137068 136573 151 303 0 136763 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 548272 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10953 /proc/meminfo: memFree=910056/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=571056 CPUtime=1241.92 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 142463 0 0 0 122782 1410 0 0 25 0 1 0 10496245 584761344 142339 1992294400 134512640 135751879 4287813808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 142764 142339 151 303 0 142459 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 571056 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10953 /proc/meminfo: memFree=889844/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=591068 CPUtime=1301.91 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 147439 0 0 0 128709 1482 0 0 25 0 1 0 10496245 605253632 147315 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 147767 147315 151 303 0 147462 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 591068 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10955 /proc/meminfo: memFree=872608/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=608420 CPUtime=1361.88 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 151761 0 0 0 134645 1543 0 0 25 0 1 0 10496245 623022080 151637 1992294400 134512640 135751879 4287813808 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 152105 151637 151 303 0 151800 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 608420 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10957 /proc/meminfo: memFree=848304/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=632664 CPUtime=1421.87 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 157806 0 0 0 140580 1607 0 0 25 0 1 0 10496245 647847936 157682 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 158166 157682 151 303 0 157861 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 632664 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10959 /proc/meminfo: memFree=823504/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=657548 CPUtime=1481.85 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 164028 0 0 0 146513 1672 0 0 25 0 1 0 10496245 673329152 163904 1992294400 134512640 135751879 4287813808 18446744073709551615 134616675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 164387 163904 151 303 0 164082 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 657548 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10961 /proc/meminfo: memFree=798828/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=682072 CPUtime=1541.83 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 170143 0 0 0 152452 1731 0 0 25 0 1 0 10496245 698441728 170019 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 170518 170019 151 303 0 170213 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 682072 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10961 /proc/meminfo: memFree=768820/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=712440 CPUtime=1601.81 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 177742 0 0 0 158391 1790 0 0 25 0 1 0 10496245 729538560 177618 1992294400 134512640 135751879 4287813808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 178110 177618 151 303 0 177805 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 712440 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10963 /proc/meminfo: memFree=734844/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=745908 CPUtime=1661.79 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 186104 0 0 0 164329 1850 0 0 25 0 1 0 10496245 763809792 185980 1992294400 134512640 135751879 4287813808 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 186477 185980 151 303 0 186172 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 745908 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10965 /proc/meminfo: memFree=707192/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=773808 CPUtime=1721.79 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 193073 0 0 0 170276 1903 0 0 25 0 1 0 10496245 792379392 192949 1992294400 134512640 135751879 4287813808 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 193452 192949 151 303 0 193147 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 773808 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10967 /proc/meminfo: memFree=676316/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=804048 CPUtime=1781.76 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 200640 0 0 0 176214 1962 0 0 25 0 1 0 10496245 823345152 200516 1992294400 134512640 135751879 4287813808 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 201012 200516 151 303 0 200707 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 804048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10967 /proc/meminfo: memFree=666644/2059040 swapFree=4192956/4192956 [pid=10918] ppid=10916 vsize=813592 CPUtime=1800.06 /proc/10918/stat : 10918 (wbo1.4b) R 10916 10918 9991 0 -1 4202496 203027 0 0 0 178028 1978 0 0 25 0 1 0 10496245 833118208 202903 1992294400 134512640 135751879 4287813808 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10918/statm: 203398 202903 151 303 0 203093 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 813592 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.69 CPU time (s): 1800.15 CPU user time (s): 1780.29 CPU system time (s): 19.864 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 813592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.29 system time used= 19.864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 203027 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= 9 involuntary context switches= 2971 runsolver used 2.80157 second user time and 8.68668 second system time The end
Begin job on node004 at 2010-06-12 15:22:04 IDJOB=2655981 IDBENCH=1844 IDSOLVER=1161 FILE ID=node004/2655981-1276348924 PBS_JOBID= 11173186 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655981-1276348924/watcher-2655981-1276348924 -o /tmp/evaluation-result-2655981-1276348924/solver-2655981-1276348924 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655981-1276348924.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731 RANDOM SEED=1623135298 node004.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.210 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.42 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.210 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: 1481860 kB Buffers: 122888 kB Cached: 324604 kB SwapCached: 0 kB Active: 183448 kB Inactive: 323336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1481860 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 59384 kB Mapped: 15336 kB Slab: 48620 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182572 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= 62536 MiB End job on node004 at 2010-06-12 15:52:06