Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.12 | 1800.12 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb |
MD5SUM | 308ce6e771b8240fefc971d6e27a7575 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 151 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 142 |
Optimality of the best value was proved | NO |
Number of variables | 3297 |
Total number of constraints | 6383 |
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 | 6383 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
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 | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1411 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460953-1307100476.opb. 0.00/0.00 c Instance file HOME/instance-3460953-1307100476.opb 0.00/0.00 c File size is 1531615 bytes. 0.09/0.10 c Highest Coefficient sum: 1411 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.11 s | 0.09/0.10 c | Number Variables: 3297 | 0.09/0.10 c | Number Clauses: 0 | 0.09/0.10 c | Number Cardinality: 0 | 0.09/0.10 c | Number PB Constraints: 6383 | 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 | 3297 6383 190034 | 5000 0 -nan | 0.000 % | 0.19/0.24 c core #1 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 1 0.19/0.24 c Current CPU time: 0.150977 s 0.19/0.24 c 0.19/0.24 c core #2 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 2 0.19/0.24 c Current CPU time: 0.19097 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 3228 6406 190055 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.29 c core #3 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 15 Core Weight: 1 Total Weight: 3 0.19/0.29 c Current CPU time: 0.238963 s 0.19/0.29 c 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 3236 6413 190065 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.29/0.34 c core #4 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 14 Core Weight: 1 Total Weight: 4 0.29/0.34 c Current CPU time: 0.287956 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3256 6419 190079 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.39 c core #5 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 16 Core Weight: 1 Total Weight: 5 0.29/0.39 c Current CPU time: 0.341948 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 | 3266 6425 190094 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.46 c core #6 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 15 Core Weight: 3 Total Weight: 8 0.39/0.46 c Current CPU time: 0.405938 s 0.39/0.46 c 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 3285 6430 190111 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.49/0.53 c core #7 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 19 Core Weight: 1 Total Weight: 9 0.49/0.53 c Current CPU time: 0.478927 s 0.49/0.53 c 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 3296 6435 190129 | 5000 0 -nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.59/0.63 c core #8 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 18 Core Weight: 1 Total Weight: 10 0.59/0.63 c Current CPU time: 0.578911 s 0.59/0.63 c 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 3308 6440 190149 | 5000 0 -nan | 0.000 % | 0.69/0.75 c | 101 | 3308 6440 190149 | 5500 101 21 | 1.665 % | 0.79/0.88 c | 251 | 3307 6440 190149 | 6050 251 21 | 1.695 % | 0.89/0.93 c =============================================================================== 0.89/0.98 c core #9 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 15 Core Weight: 6 Total Weight: 16 0.89/0.98 c Current CPU time: 0.930858 s 0.89/0.98 c 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 3326 6444 190171 | 5000 0 -nan | 0.000 % | 1.00/1.11 c | 100 | 3326 6444 190171 | 5500 100 23 | 1.248 % | 1.19/1.27 c | 250 | 3312 6444 190171 | 6050 250 25 | 4.157 % | 1.19/1.29 c =============================================================================== 1.29/1.34 c core #10 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 35 Core Weight: 1 Total Weight: 17 1.29/1.34 c Current CPU time: 1.2848 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 3339 6450 190198 | 5000 0 -nan | 0.000 % | 1.39/1.47 c | 101 | 3339 6450 190198 | 5500 101 22 | 1.242 % | 1.59/1.63 c | 251 | 3339 6450 190198 | 6050 251 26 | 1.242 % | 1.89/1.90 c | 476 | 3339 6450 190198 | 6655 476 26 | 1.242 % | 2.29/2.33 c | 815 | 3331 6450 190198 | 7320 815 27 | 1.720 % | 2.29/2.36 c =============================================================================== 2.39/2.41 c core #11 2.39/2.41 c 2.39/2.41 c 2.39/2.41 c Core size: 37 Core Weight: 1 Total Weight: 18 2.39/2.41 c Current CPU time: 2.35764 s 2.39/2.41 c 2.39/2.41 c ============================[ Search Statistics ]============================== 2.39/2.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.41 c =============================================================================== 2.39/2.41 c | 0 | 3351 6456 190223 | 5000 0 -nan | 0.000 % | 2.49/2.53 c | 101 | 3351 6456 190223 | 5500 101 22 | 1.238 % | 2.59/2.69 c | 252 | 3351 6456 190223 | 6050 252 24 | 1.238 % | 2.79/2.89 c | 477 | 3351 6456 190223 | 6655 477 25 | 1.238 % | 3.09/3.19 c | 814 | 3351 6456 190223 | 7320 814 27 | 1.238 % | 3.59/3.67 c | 1321 | 3351 6456 190223 | 8052 1321 28 | 1.238 % | 4.30/4.35 c | 2080 | 3328 6456 190223 | 8857 2080 29 | 1.916 % | 4.59/4.61 c =============================================================================== 4.59/4.66 c core #12 4.59/4.66 c 4.59/4.66 c 4.59/4.66 c Core size: 26 Core Weight: 1 Total Weight: 19 4.59/4.66 c Current CPU time: 4.5993 s 4.59/4.66 c 4.59/4.66 c ============================[ Search Statistics ]============================== 4.59/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.66 c =============================================================================== 4.59/4.66 c | 0 | 3356 6460 190230 | 5000 0 -nan | 0.000 % | 4.69/4.78 c | 100 | 3356 6460 190230 | 5500 100 22 | 1.236 % | 4.89/4.95 c | 250 | 3356 6460 190230 | 6050 250 27 | 1.236 % | 5.09/5.17 c | 476 | 3356 6460 190230 | 6655 476 26 | 1.236 % | 5.40/5.47 c | 814 | 3356 6460 190230 | 7320 814 28 | 1.236 % | 5.99/6.02 c | 1322 | 3356 6460 190230 | 8052 1322 28 | 1.236 % | 6.61/6.69 c | 2081 | 3356 6460 190230 | 8857 2081 30 | 1.236 % | 7.71/7.72 c | 3221 | 3341 6460 190230 | 9743 3221 31 | 1.707 % | 7.79/7.84 c =============================================================================== 7.79/7.89 c core #13 7.79/7.89 c 7.79/7.89 c 7.79/7.89 c Core size: 44 Core Weight: 1 Total Weight: 20 7.79/7.89 c Current CPU time: 7.82081 s 7.79/7.89 c 7.79/7.89 c ============================[ Search Statistics ]============================== 7.79/7.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.89 c =============================================================================== 7.79/7.89 c | 0 | 3371 6464 190257 | 5000 0 -nan | 0.000 % | 7.99/8.02 c | 101 | 3371 6464 190257 | 5500 101 28 | 1.231 % | 8.09/8.19 c | 252 | 3371 6464 190257 | 6050 252 30 | 1.231 % | 8.39/8.40 c | 478 | 3371 6464 190257 | 6655 478 30 | 1.231 % | 8.59/8.65 c | 816 | 3371 6464 190257 | 7320 816 30 | 1.231 % | 9.09/9.11 c | 1324 | 3364 6464 190257 | 8052 1324 30 | 1.436 % | 9.69/9.78 c | 2083 | 3364 6464 190257 | 8857 2083 30 | 1.436 % | 10.59/10.65 c | 3224 | 3358 6464 190257 | 9743 3224 30 | 1.671 % | 11.29/11.37 c =============================================================================== 11.39/11.42 c core #14 11.39/11.42 c 11.39/11.42 c 11.39/11.42 c Core size: 29 Core Weight: 12 Total Weight: 32 11.39/11.42 c Current CPU time: 11.3463 s 11.39/11.42 c 11.39/11.42 c ============================[ Search Statistics ]============================== 11.39/11.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.42 c =============================================================================== 11.39/11.42 c | 0 | 3388 6467 190288 | 5000 0 -nan | 0.000 % | 11.49/11.56 c | 100 | 3388 6467 190288 | 5500 100 21 | 0.820 % | 11.69/11.73 c | 250 | 3382 6467 190288 | 6050 250 23 | 1.200 % | 11.89/11.96 c | 476 | 3381 6467 190288 | 6655 476 25 | 1.200 % | 12.19/12.24 c | 813 | 3379 6467 190288 | 7320 813 25 | 1.288 % | 12.69/12.70 c | 1320 | 3372 6467 190288 | 8052 1320 26 | 1.288 % | 13.39/13.47 c | 2079 | 3372 6467 190288 | 8857 2079 28 | 1.288 % | 14.79/14.89 c | 3220 | 3372 6467 190288 | 9743 3220 30 | 1.288 % | 16.40/16.42 c | 4929 | 3371 6467 190288 | 10717 4929 31 | 1.317 % | 18.89/18.92 c | 7492 | 3351 6467 190288 | 11789 7492 34 | 22.131 % | 18.89/18.95 c =============================================================================== 18.99/19.01 c core #15 18.99/19.01 c 18.99/19.01 c 18.99/19.01 c Core size: 56 Core Weight: 1 Total Weight: 33 18.99/19.01 c Current CPU time: 18.9201 s 18.99/19.01 c 18.99/19.01 c ============================[ Search Statistics ]============================== 18.99/19.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.99/19.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.99/19.01 c =============================================================================== 18.99/19.01 c | 0 | 3421 6472 190356 | 5000 0 -nan | 0.000 % | 19.09/19.14 c | 101 | 3421 6472 190356 | 5500 101 23 | 0.812 % | 19.29/19.31 c | 253 | 3421 6472 190356 | 6050 253 23 | 0.812 % | 19.59/19.68 c | 478 | 3421 6472 190356 | 6655 478 27 | 0.812 % | 20.09/20.10 c | 817 | 3421 6472 190356 | 7320 817 31 | 0.812 % | 20.59/20.69 c | 1323 | 3421 6472 190356 | 8052 1323 32 | 0.812 % | 21.39/21.43 c | 2084 | 3421 6472 190356 | 8857 2084 32 | 0.812 % | 22.39/22.41 c | 3224 | 3421 6472 190356 | 9743 3224 31 | 0.812 % | 23.99/24.06 c | 4932 | 3412 6472 190356 | 10717 4932 32 | 1.073 % | 25.99/26.03 c | 7494 | 3411 6472 190356 | 11789 7494 31 | 1.102 % | 28.39/28.51 c | 11338 | 3411 6472 190356 | 12968 11338 30 | 1.102 % | 30.49/30.58 c =============================================================================== 30.59/30.64 c core #16 30.59/30.64 c 30.59/30.64 c 30.59/30.64 c Core size: 25 Core Weight: 1 Total Weight: 34 30.59/30.64 c Current CPU time: 30.5214 s 30.59/30.64 c 30.59/30.64 c ============================[ Search Statistics ]============================== 30.59/30.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.59/30.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.59/30.64 c =============================================================================== 30.59/30.64 c | 0 | 3428 6478 190374 | 5000 0 -nan | 0.000 % | 30.70/30.78 c | 100 | 3428 6478 190374 | 5500 100 22 | 0.810 % | 30.89/30.94 c | 252 | 3428 6478 190374 | 6050 252 24 | 0.810 % | 31.09/31.10 c | 478 | 3428 6478 190374 | 6655 478 25 | 0.810 % | 31.29/31.37 c | 816 | 3428 6478 190374 | 7320 816 25 | 0.810 % | 31.80/31.83 c | 1322 | 3428 6478 190374 | 8052 1322 27 | 0.810 % | 32.30/32.38 c | 2081 | 3428 6478 190374 | 8857 2081 28 | 0.810 % | 33.39/33.44 c | 3220 | 3428 6478 190374 | 9743 3220 30 | 0.810 % | 34.99/35.09 c | 4928 | 3428 6478 190374 | 10717 4928 30 | 0.810 % | 37.49/37.51 c | 7491 | 3428 6478 190374 | 11789 7491 30 | 0.811 % | 41.89/41.93 c | 11336 | 3428 6478 190374 | 12968 11336 31 | 0.810 % | 47.09/47.11 c | 17102 | 3428 6478 190374 | 14265 10546 33 | 0.810 % | 52.49/52.54 c =============================================================================== 52.59/52.61 c core #17 52.59/52.61 c 52.59/52.61 c 52.59/52.61 c Core size: 34 Core Weight: 1 Total Weight: 35 52.59/52.61 c Current CPU time: 52.442 s 52.59/52.61 c 52.59/52.61 c ============================[ Search Statistics ]============================== 52.59/52.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.59/52.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.59/52.61 c =============================================================================== 52.59/52.61 c | 0 | 3444 6484 190410 | 5000 0 -nan | 0.000 % | 52.59/52.70 c | 100 | 3444 6484 190410 | 5500 100 23 | 0.806 % | 52.81/52.85 c | 251 | 3444 6484 190410 | 6050 251 20 | 0.806 % | 53.09/53.12 c | 476 | 3444 6484 190410 | 6655 476 24 | 0.806 % | 53.29/53.34 c | 814 | 3444 6484 190410 | 7320 814 24 | 0.807 % | 53.69/53.76 c | 1320 | 3444 6484 190410 | 8052 1320 25 | 0.806 % | 54.39/54.41 c | 2079 | 3444 6484 190410 | 8857 2079 27 | 0.806 % | 55.49/55.59 c | 3218 | 3444 6484 190410 | 9743 3218 29 | 0.806 % | 57.00/57.06 c | 4928 | 3444 6484 190410 | 10717 4928 30 | 0.806 % | 59.27/59.36 c | 7490 | 3444 6484 190410 | 11789 7490 30 | 0.806 % | 62.32/62.47 c | 11335 | 3431 6484 190410 | 12968 11335 31 | 1.181 % | 63.22/63.39 c =============================================================================== 63.32/63.45 c core #18 63.32/63.45 c 63.32/63.45 c 63.32/63.45 c Core size: 24 Core Weight: 1 Total Weight: 36 63.32/63.45 c Current CPU time: 63.2094 s 63.32/63.45 c 63.32/63.45 c ============================[ Search Statistics ]============================== 63.32/63.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.32/63.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.32/63.45 c =============================================================================== 63.32/63.45 c | 0 | 3456 6489 190436 | 5000 0 -nan | 0.000 % | 63.43/63.53 c | 100 | 3456 6489 190436 | 5500 100 24 | 0.804 % | 63.53/63.70 c | 250 | 3456 6489 190436 | 6050 250 22 | 0.804 % | 63.93/64.03 c | 476 | 3456 6489 190436 | 6655 476 25 | 0.804 % | 64.23/64.38 c | 815 | 3456 6489 190436 | 7320 815 25 | 0.804 % | 64.63/64.81 c | 1322 | 3456 6489 190436 | 8052 1322 26 | 0.804 % | 65.53/65.64 c | 2081 | 3456 6489 190436 | 8857 2081 27 | 0.804 % | 66.53/66.64 c | 3220 | 3456 6489 190436 | 9743 3220 28 | 0.804 % | 68.53/68.62 c | 4928 | 3456 6489 190436 | 10717 4928 29 | 0.804 % | 71.12/71.25 c | 7493 | 3456 6489 190436 | 11789 7493 30 | 0.804 % | 75.03/75.19 c | 11338 | 3456 6489 190436 | 12968 11338 34 | 0.804 % | 81.42/81.53 c | 17104 | 3456 6489 190436 | 14265 10493 36 | 0.804 % | 89.53/89.62 c | 25753 | 3449 6489 190436 | 15692 11960 35 | 1.005 % | 102.03/102.17 c =============================================================================== 102.14/102.25 c core #19 102.14/102.25 c 102.14/102.25 c 102.14/102.25 c Core size: 22 Core Weight: 2 Total Weight: 38 102.14/102.25 c Current CPU time: 101.953 s 102.14/102.25 c 102.14/102.25 c ============================[ Search Statistics ]============================== 102.14/102.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.14/102.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.14/102.25 c =============================================================================== 102.14/102.25 c | 0 | 3460 6492 190442 | 5000 0 -nan | 0.000 % | 102.24/102.34 c | 100 | 3460 6492 190442 | 5500 100 22 | 0.803 % | 102.43/102.51 c | 250 | 3460 6492 190442 | 6050 250 26 | 0.803 % | 102.63/102.71 c | 475 | 3460 6492 190442 | 6655 475 28 | 0.803 % | 102.93/103.06 c | 812 | 3460 6492 190442 | 7320 812 27 | 0.803 % | 103.42/103.50 c | 1319 | 3460 6492 190442 | 8052 1319 26 | 0.803 % | 103.93/104.07 c | 2079 | 3460 6492 190442 | 8857 2079 26 | 0.803 % | 105.23/105.38 c | 3218 | 3460 6492 190442 | 9743 3218 28 | 0.803 % | 106.54/106.64 c | 4926 | 3460 6492 190442 | 10717 4926 29 | 0.803 % | 107.74/107.87 c | 7488 | 3460 6492 190442 | 11789 7488 28 | 0.803 % | 111.23/111.33 c | 11332 | 3460 6492 190442 | 12968 11332 30 | 0.803 % | 116.63/116.72 c | 17098 | 3460 6492 190442 | 14265 10505 32 | 0.803 % | 123.43/123.57 c | 25747 | 3460 6492 190442 | 15692 11838 30 | 0.803 % | 133.82/133.94 c | 38722 | 3460 6492 190442 | 17261 8624 32 | 0.803 % | 148.63/148.76 c | 58184 | 3460 6492 190442 | 18987 10578 31 | 0.803 % | 150.43/150.50 c =============================================================================== 150.43/150.58 c core #20 150.43/150.58 c 150.43/150.58 c 150.43/150.58 c Core size: 22 Core Weight: 1 Total Weight: 39 150.43/150.58 c Current CPU time: 150.162 s 150.43/150.58 c 150.43/150.58 c ============================[ Search Statistics ]============================== 150.43/150.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 150.43/150.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 150.43/150.58 c =============================================================================== 150.43/150.58 c | 0 | 3469 6495 190458 | 5000 0 -nan | 0.000 % | 150.54/150.70 c | 100 | 3469 6495 190458 | 5500 100 29 | 0.801 % | 150.73/150.81 c | 251 | 3469 6495 190458 | 6050 251 24 | 0.801 % | 151.03/151.11 c | 476 | 3469 6495 190458 | 6655 476 29 | 0.801 % | 151.53/151.64 c | 813 | 3469 6495 190458 | 7320 813 32 | 0.801 % | 151.93/152.08 c | 1319 | 3469 6495 190458 | 8052 1319 31 | 0.801 % | 152.63/152.75 c | 2079 | 3469 6495 190458 | 8857 2079 30 | 0.801 % | 153.53/153.63 c | 3219 | 3469 6495 190458 | 9743 3219 29 | 0.801 % | 154.72/154.80 c | 4927 | 3469 6495 190458 | 10717 4927 28 | 0.801 % | 156.33/156.40 c | 7489 | 3469 6495 190458 | 11789 7489 29 | 0.801 % | 159.83/159.91 c | 11334 | 3469 6495 190458 | 12968 11334 30 | 0.801 % | 164.83/164.94 c | 17100 | 3469 6495 190458 | 14265 10420 32 | 0.801 % | 172.33/172.49 c | 25749 | 3431 6495 190458 | 15692 11881 30 | 1.887 % | 185.53/185.66 c | 38723 | 3431 6495 190458 | 17261 8410 33 | 1.887 % | 201.33/201.43 c | 58184 | 3431 6495 190458 | 18987 10284 31 | 1.887 % | 228.33/228.44 c | 87376 | 3431 6495 190458 | 20886 10385 34 | 1.887 % | 235.03/235.16 c =============================================================================== 235.13/235.25 c core #21 235.13/235.25 c 235.13/235.25 c 235.13/235.25 c Core size: 27 Core Weight: 1 Total Weight: 40 235.13/235.25 c Current CPU time: 234.648 s 235.13/235.25 c 235.13/235.25 c ============================[ Search Statistics ]============================== 235.13/235.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.13/235.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.13/235.25 c =============================================================================== 235.13/235.25 c | 0 | 3480 6498 190478 | 5000 0 -nan | 0.000 % | 235.24/235.38 c | 103 | 3480 6498 190478 | 5500 103 29 | 0.798 % | 235.35/235.49 c | 256 | 3480 6498 190478 | 6050 256 24 | 0.798 % | 235.53/235.62 c | 481 | 3480 6498 190478 | 6655 481 23 | 0.798 % | 235.73/235.86 c | 818 | 3480 6498 190478 | 7320 818 23 | 0.798 % | 236.34/236.44 c | 1324 | 3480 6498 190478 | 8052 1324 26 | 0.798 % | 236.73/236.87 c | 2083 | 3480 6498 190478 | 8857 2083 27 | 0.798 % | 237.44/237.57 c | 3222 | 3480 6498 190478 | 9743 3222 28 | 0.798 % | 239.03/239.12 c | 4934 | 3480 6498 190478 | 10717 4934 29 | 0.798 % | 240.74/240.85 c | 7497 | 3480 6498 190478 | 11789 7497 29 | 0.798 % | 245.03/245.21 c | 11342 | 3480 6498 190478 | 12968 11342 30 | 0.798 % | 251.74/251.90 c | 17108 | 3480 6498 190478 | 14265 10421 32 | 0.798 % | 262.43/262.52 c | 25757 | 3480 6498 190478 | 15692 11592 36 | 0.798 % | 277.23/277.39 c | 38733 | 3480 6498 190478 | 17261 8433 36 | 0.798 % | 290.43/290.50 c | 58194 | 3480 6498 190478 | 18987 10302 33 | 0.799 % | 318.03/318.16 c | 87386 | 3480 6498 190478 | 20886 19871 33 | 0.798 % | 346.24/346.35 c | 131176 | 3480 6498 190478 | 22974 10985 31 | 0.798 % | 393.83/393.94 c | 196862 | 3480 6498 190478 | 25272 17940 31 | 0.798 % | 464.64/464.71 c | 295388 | 3480 6498 190478 | 27799 20503 35 | 0.798 % | 574.05/574.12 c | 443178 | 3479 6498 190478 | 30579 21664 33 | 0.827 % | 752.26/752.37 c | 664862 | 3439 6498 190478 | 33637 18377 31 | 1.967 % | 848.06/848.12 c =============================================================================== 848.36/848.47 c core #22 848.36/848.47 c 848.36/848.47 c 848.36/848.47 c Core size: 19 Core Weight: 24 Total Weight: 64 848.36/848.47 c Current CPU time: 846.642 s 848.36/848.47 c 848.36/848.47 c ============================[ Search Statistics ]============================== 848.36/848.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 848.36/848.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 848.36/848.47 c =============================================================================== 848.36/848.47 c | 0 | 3496 6500 190524 | 5000 0 -nan | 0.000 % | 848.46/848.59 c | 102 | 3496 6500 190524 | 5500 102 28 | 0.399 % | 848.66/848.74 c | 254 | 3484 6500 190524 | 6050 254 26 | 0.769 % | 848.86/848.96 c | 479 | 3484 6500 190524 | 6655 479 28 | 0.769 % | 849.17/849.23 c | 818 | 3484 6500 190524 | 7320 818 27 | 0.769 % | 849.56/849.65 c | 1325 | 3483 6500 190524 | 8052 1325 28 | 0.769 % | 849.95/850.09 c | 2084 | 3483 6500 190524 | 8857 2084 27 | 0.769 % | 851.37/851.42 c | 3223 | 3483 6500 190524 | 9743 3223 30 | 0.769 % | 852.65/852.76 c | 4932 | 3483 6500 190524 | 10717 4932 32 | 0.769 % | 854.36/854.42 c | 7494 | 3483 6500 190524 | 11789 7494 31 | 0.769 % | 856.65/856.75 c | 11339 | 3483 6500 190524 | 12968 11339 32 | 0.769 % | 860.65/860.78 c | 17106 | 3483 6500 190524 | 14265 10553 34 | 0.769 % | 867.65/867.70 c | 25756 | 3483 6500 190524 | 15692 11993 36 | 0.769 % | 877.26/877.34 c | 38730 | 3483 6500 190524 | 17261 8556 40 | 0.769 % | 890.16/890.22 c | 58192 | 3483 6500 190524 | 18987 10120 39 | 0.769 % | 913.25/913.30 c | 87387 | 3483 6500 190524 | 20886 10197 40 | 0.769 % | 947.66/947.71 c | 131176 | 3483 6500 190524 | 22974 11385 43 | 0.769 % | 1002.26/1002.36 c | 196860 | 3483 6500 190524 | 25272 17797 42 | 0.769 % | 1078.46/1078.51 c | 295386 | 3483 6500 190524 | 27799 19546 46 | 0.769 % | 1199.76/1199.87 c | 443176 | 3483 6500 190524 | 30579 22478 39 | 0.769 % | 1393.77/1393.83 c | 664860 | 3483 6500 190524 | 33637 22016 48 | 0.769 % | 1682.28/1682.34 c | 997385 | 3474 6500 190524 | 37001 12692 43 | 1.026 % |
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-3460953-1307100476/watcher-3460953-1307100476 -o /tmp/evaluation-result-3460953-1307100476/solver-3460953-1307100476 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460953-1307100476.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.00 2.02 2.00 2/455 16982 /proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=4260 CPUtime=0 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 802463523 4362240 452 33554432000 4194304 5714214 140736883457072 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 1065 452 193 372 0 316 0 [startup+0.0309759 s] /proc/loadavg: 2.00 2.02 2.00 2/455 16982 /proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=6292 CPUtime=0.02 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 1083 0 0 0 2 0 0 0 25 0 1 0 802463523 6443008 1036 33554432000 4194304 5714214 140736883457072 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 1573 1036 266 372 0 824 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6292 [startup+0.100969 s] /proc/loadavg: 2.00 2.02 2.00 2/455 16982 /proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=13444 CPUtime=0.09 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 3095 0 0 0 9 0 0 0 25 0 1 0 802463523 13766656 3048 33554432000 4194304 5714214 140736883457072 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 3361 3048 507 372 0 2612 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13444 [startup+0.300932 s] /proc/loadavg: 2.00 2.02 2.00 2/455 16982 /proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=26528 CPUtime=0.29 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 6802 0 0 0 29 0 0 0 25 0 1 0 802463523 27164672 6381 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 6632 6381 179 372 0 6257 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26528 [startup+0.700857 s] /proc/loadavg: 2.00 2.02 2.00 2/455 16982 /proc/meminfo: memFree=24531796/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=30784 CPUtime=0.69 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 7859 0 0 0 69 0 0 0 25 0 1 0 802463523 31522816 7438 33554432000 4194304 5714214 140736883457072 18446744073709551615 4323065 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 7696 7438 179 372 0 7321 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30784 [startup+1.50071 s] /proc/loadavg: 2.08 2.04 2.01 3/456 16983 /proc/meminfo: memFree=24500788/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=32548 CPUtime=1.49 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 8300 0 0 0 149 0 0 0 18 0 1 0 802463523 33329152 7879 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 8137 7879 180 372 0 7762 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32548 [startup+3.10042 s] /proc/loadavg: 2.08 2.04 2.01 3/456 16983 /proc/meminfo: memFree=24498560/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=33520 CPUtime=3.09 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 8553 0 0 0 308 1 0 0 21 0 1 0 802463523 34324480 8132 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 8380 8132 180 372 0 8005 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33520 [startup+6.30082 s] /proc/loadavg: 2.07 2.03 2.00 3/456 16983 /proc/meminfo: memFree=24493700/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=34900 CPUtime=6.29 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 8873 0 0 0 628 1 0 0 25 0 1 0 802463523 35737600 8452 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 8725 8452 180 372 0 8350 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34900 [startup+12.7007 s] /proc/loadavg: 2.07 2.03 2.00 3/456 16983 /proc/meminfo: memFree=24489244/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=37048 CPUtime=12.69 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 9431 0 0 0 1267 2 0 0 25 0 1 0 802463523 37937152 9010 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 9262 9010 180 372 0 8887 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37048 [startup+25.5003 s] /proc/loadavg: 2.05 2.03 2.00 3/456 16983 /proc/meminfo: memFree=24482672/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=39200 CPUtime=25.49 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 9963 0 0 0 2544 5 0 0 25 0 1 0 802463523 40140800 9542 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 9800 9542 180 372 0 9425 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39200 [startup+51.1006 s] /proc/loadavg: 2.03 2.03 2.00 3/456 16984 /proc/meminfo: memFree=24480940/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=40800 CPUtime=51.09 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 10377 0 0 0 5099 10 0 0 25 0 1 0 802463523 41779200 9956 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305278 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/16982/statm: 10200 9956 180 372 0 9825 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 40800 [startup+102.317 s] /proc/loadavg: 2.01 2.02 2.00 3/456 16985 /proc/meminfo: memFree=24473184/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=46908 CPUtime=102.24 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 11895 0 0 0 10207 17 0 0 25 0 1 0 802463523 48033792 11474 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 11727 11474 180 372 0 11352 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 46908 [startup+162.301 s] /proc/loadavg: 2.11 2.05 2.01 4/456 16987 /proc/meminfo: memFree=24457760/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=50880 CPUtime=162.23 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 12889 0 0 0 16193 30 0 0 25 0 1 0 802463523 52101120 12468 33554432000 4194304 5714214 140736883457072 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 12720 12468 180 372 0 12345 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 50880 [startup+222.301 s] /proc/loadavg: 2.09 2.05 2.01 3/456 16989 /proc/meminfo: memFree=24439980/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=50880 CPUtime=222.23 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 12889 0 0 0 22180 43 0 0 25 0 1 0 802463523 52101120 12468 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 12720 12468 180 372 0 12345 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 50880 [startup+282.301 s] /proc/loadavg: 2.03 2.04 2.00 3/456 16990 /proc/meminfo: memFree=24424332/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=56456 CPUtime=282.24 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 14279 0 0 0 28174 50 0 0 25 0 1 0 802463523 57810944 13858 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 14114 13858 180 372 0 13739 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 56456 [startup+342.301 s] /proc/loadavg: 2.01 2.03 2.00 3/456 16992 /proc/meminfo: memFree=24414124/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=56456 CPUtime=342.24 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 14279 0 0 0 34165 59 0 0 25 0 1 0 802463523 57810944 13858 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 14114 13858 180 372 0 13739 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 56456 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/456 16993 /proc/meminfo: memFree=24403292/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=59648 CPUtime=402.24 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 15081 0 0 0 40154 70 0 0 25 0 1 0 802463523 61079552 14660 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 14912 14660 180 372 0 14537 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 59648 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/456 16995 /proc/meminfo: memFree=24383156/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=68464 CPUtime=462.24 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 17244 0 0 0 46144 80 0 0 25 0 1 0 802463523 70107136 16823 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 17116 16823 180 372 0 16741 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 68464 [startup+522.301 s] /proc/loadavg: 2.05 2.03 2.00 3/456 16997 /proc/meminfo: memFree=24347416/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=77216 CPUtime=522.24 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 19428 0 0 0 52132 92 0 0 25 0 1 0 802463523 79069184 19007 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 19304 19007 180 372 0 18929 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 77216 [startup+582.301 s] /proc/loadavg: 2.07 2.04 2.00 3/456 16998 /proc/meminfo: memFree=24338212/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=86580 CPUtime=582.24 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 21757 0 0 0 58122 102 0 0 25 0 1 0 802463523 88657920 21336 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 21645 21336 180 372 0 21270 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 86580 [startup+642.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.01 2.03 2.00 3/456 17006 /proc/meminfo: memFree=24254952/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=882.25 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 88075 150 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31645 180 372 0 31625 0 Current children cumulated CPU time (s) 882.25 Current children cumulated vsize (KiB) 128000 [startup+942.3 s] /proc/loadavg: 2.00 2.03 2.00 3/456 17008 /proc/meminfo: memFree=24250332/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=942.25 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 94065 160 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31645 180 372 0 31625 0 Current children cumulated CPU time (s) 942.25 Current children cumulated vsize (KiB) 128000 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/456 17009 /proc/meminfo: memFree=24232440/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1002.26 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 100057 169 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31645 180 372 0 31625 0 Current children cumulated CPU time (s) 1002.26 Current children cumulated vsize (KiB) 128000 [startup+1062.3 s] /proc/loadavg: 2.15 2.05 2.01 3/456 17011 /proc/meminfo: memFree=24223228/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1062.26 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 106048 178 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31645 180 372 0 31625 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 128000 [startup+1122.3 s] /proc/loadavg: 2.12 2.05 2.01 3/456 17013 /proc/meminfo: memFree=24217488/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1122.26 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32162 0 0 0 112038 188 0 0 25 0 1 0 802463523 131072000 31645 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31645 180 372 0 31625 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 128000 [startup+1182.3 s] /proc/loadavg: 2.04 2.04 2.00 3/456 17014 /proc/meminfo: memFree=24210396/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1182.27 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32163 0 0 0 118030 197 0 0 25 0 1 0 802463523 131072000 31646 33554432000 4194304 5714214 140736883457072 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31646 180 372 0 31625 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 128000 [startup+1242.3 s] /proc/loadavg: 2.01 2.03 2.00 3/456 17016 /proc/meminfo: memFree=24201436/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1242.27 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32194 0 0 0 124019 208 0 0 25 0 1 0 802463523 131072000 31677 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31677 180 372 0 31625 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 128000 [startup+1302.3 s] /proc/loadavg: 2.04 2.04 2.00 3/456 17017 /proc/meminfo: memFree=24189120/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1302.28 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32211 0 0 0 130012 216 0 0 25 0 1 0 802463523 131072000 31694 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31694 180 372 0 31625 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 128000 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/456 17019 /proc/meminfo: memFree=24185992/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1362.26 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32241 0 0 0 136003 223 0 0 25 0 1 0 802463523 131072000 31724 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31724 180 372 0 31625 0 Current children cumulated CPU time (s) 1362.26 Current children cumulated vsize (KiB) 128000 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/456 17021 /proc/meminfo: memFree=24180380/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1422.29 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32255 0 0 0 141997 232 0 0 25 0 1 0 802463523 131072000 31738 33554432000 4194304 5714214 140736883457072 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31738 180 372 0 31625 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 128000 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/456 17022 /proc/meminfo: memFree=24150700/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=128000 CPUtime=1482.27 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32259 0 0 0 147988 239 0 0 25 0 1 0 802463523 131072000 31742 33554432000 4194304 5714214 140736883457072 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32000 31742 180 372 0 31625 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 128000 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/456 17024 /proc/meminfo: memFree=24116060/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=129716 CPUtime=1542.27 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 32676 0 0 0 153979 248 0 0 25 0 1 0 802463523 132829184 32159 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 32429 32159 180 372 0 32054 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 129716 [startup+1602.3 s] /proc/loadavg: 1.95 1.99 1.99 3/456 17053 /proc/meminfo: memFree=24476492/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=136316 CPUtime=1602.27 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 34318 0 0 0 159967 260 0 0 25 0 1 0 802463523 139587584 33801 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 34079 33801 180 372 0 33704 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 136316 [startup+1662.3 s] /proc/loadavg: 2.02 2.00 2.00 3/456 17055 /proc/meminfo: memFree=24443740/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=144816 CPUtime=1662.27 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 36431 0 0 0 165956 271 0 0 25 0 1 0 802463523 148291584 35914 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 36204 35914 180 372 0 35829 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 144816 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/456 17057 /proc/meminfo: memFree=24420880/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=151680 CPUtime=1722.28 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 38142 0 0 0 171943 285 0 0 25 0 1 0 802463523 155320320 37625 33554432000 4194304 5714214 140736883457072 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 37920 37625 180 372 0 37545 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 151680 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/456 17058 /proc/meminfo: memFree=24350416/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=158428 CPUtime=1782.28 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 39827 0 0 0 177930 298 0 0 25 0 1 0 802463523 162230272 39310 33554432000 4194304 5714214 140736883457072 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 39607 39310 180 372 0 39232 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 158428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 2.00 3/456 17059 /proc/meminfo: memFree=24326852/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=161068 CPUtime=1800.09 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 40493 0 0 0 179707 302 0 0 25 0 1 0 802463523 164933632 39976 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 40267 39976 180 372 0 39892 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 161068 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.00 2.00 3/456 17059 /proc/meminfo: memFree=24326852/32951124 swapFree=60476376/67111528 [pid=16982] ppid=16980 vsize=161068 CPUtime=1800.09 cores=1,3,5,7 /proc/16982/stat : 16982 (wbo1.6) R 16980 16982 16547 0 -1 4202496 40493 0 0 0 179707 302 0 0 25 0 1 0 802463523 164933632 39976 33554432000 4194304 5714214 140736883457072 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/16982/statm: 40267 39976 180 372 0 39892 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 161068 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.12 CPU time (s): 1800.12 CPU user time (s): 1797.09 CPU system time (s): 3.02854 CPU usage (%): 99.9995 Max. virtual memory (cumulated for all children) (KiB): 161068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.09 system time used= 3.02854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40493 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= 29 involuntary context switches= 2790 runsolver used 7.85181 second user time and 18.3672 second system time The end
Begin job on node147 at 2011-06-03 13:27:56 IDJOB=3460953 IDBENCH=2631 IDSOLVER=1953 FILE ID=node147/3460953-1307100476 RUNJOBID= node147-1307094843-16566 PBS_JOBID= 13498009 Free space on /tmp= 73680 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460953-1307100476/watcher-3460953-1307100476 -o /tmp/evaluation-result-3460953-1307100476/solver-3460953-1307100476 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460953-1307100476.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 308ce6e771b8240fefc971d6e27a7575 RANDOM SEED=1086087906 node147.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.836 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.67 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.836 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 : 5332.75 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.836 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.82 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.836 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.75 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.836 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.82 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.836 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.76 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.836 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.82 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.836 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24532076 kB Buffers: 283000 kB Cached: 1431472 kB SwapCached: 11164 kB Active: 6832748 kB Inactive: 1328424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24532076 kB SwapTotal: 67111528 kB SwapFree: 60476376 kB Dirty: 5828 kB Writeback: 12 kB AnonPages: 6444176 kB Mapped: 23380 kB Slab: 132072 kB PageTables: 58680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 120902704 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= 73676 MiB End job on node147 at 2011-06-03 13:57:58