Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.13 | 1800.65 |
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.1 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875689-1245132131.opb. 0.00/0.00 c Instance file HOME/instance-1875689-1245132131.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: 344 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 733 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 8 Core Weight: 2 Total Weight: 4 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 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 | 480 1098 6217 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #4 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 5 0.00/0.02 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.02 c Learning 11 hard constraints 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 488 1115 6347 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #5 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 6 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c Learning 5 hard constraints 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 495 1126 6405 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #6 0.00/0.02 c Core size: 7 Core Weight: 2 Total Weight: 8 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.03 c Learning 14 hard constraints 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 501 1145 6541 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 101 | 501 1145 6541 | 5500 101 11 | 0.811 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #7 0.00/0.04 c Core size: 40 Core Weight: 1 Total Weight: 9 0.00/0.04 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c Learning 128 hard constraints 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 511 1280 7954 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #8 0.00/0.05 c Core size: 20 Core Weight: 1 Total Weight: 10 0.00/0.05 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 63 hard constraints 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 520 1348 8675 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 100 | 520 1348 8675 | 5500 100 11 | 0.766 % | 0.00/0.08 c | 251 | 519 1348 8675 | 6050 251 10 | 0.955 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #9 0.00/0.09 c Core size: 9 Core Weight: 6 Total Weight: 16 0.00/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.00/0.09 c Learning 31 hard constraints 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 525 1383 9009 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 101 | 525 1383 9009 | 5500 101 11 | 0.569 % | 0.09/0.12 c | 251 | 525 1383 9009 | 6050 251 12 | 0.593 % | 0.09/0.15 c | 476 | 524 1383 9009 | 6655 30 11 | 0.950 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #10 0.09/0.18 c Core size: 31 Core Weight: 1 Total Weight: 17 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c Learning 230 hard constraints 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 536 1619 11481 | 5000 0 nan | 0.000 % | 0.09/0.20 c | 102 | 536 1619 11481 | 5500 102 15 | 0.571 % | 0.19/0.21 c | 253 | 536 1619 11481 | 6050 253 14 | 0.571 % | 0.19/0.24 c | 479 | 535 1619 11481 | 6655 479 14 | 0.742 % | 0.19/0.27 c | 817 | 535 1619 11481 | 7320 427 14 | 0.742 % | 0.19/0.30 c =============================================================================== 0.29/0.30 c core #11 0.29/0.30 c Core size: 34 Core Weight: 1 Total Weight: 18 0.29/0.30 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.30 c Learning 682 hard constraints 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 546 2305 21109 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 101 | 546 2305 21109 | 5500 101 15 | 0.551 % | 0.29/0.33 c | 251 | 546 2305 21109 | 6050 251 15 | 0.547 % | 0.29/0.35 c | 478 | 546 2305 21109 | 6655 478 15 | 0.551 % | 0.29/0.39 c | 816 | 546 2305 21109 | 7320 816 15 | 0.547 % | 0.39/0.45 c | 1322 | 546 2305 21109 | 8052 1322 14 | 0.547 % | 0.49/0.55 c | 2081 | 546 2305 21109 | 8857 2081 15 | 0.547 % | 0.59/0.63 c =============================================================================== 0.59/0.64 c core #12 0.59/0.64 c Core size: 69 Core Weight: 1 Total Weight: 19 0.59/0.64 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.59/0.65 c Learning 1718 hard constraints 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 554 4028 46237 | 5000 0 nan | 0.000 % | 0.59/0.67 c | 100 | 554 4028 46237 | 5500 100 14 | 0.542 % | 0.59/0.69 c | 250 | 554 4028 46237 | 6050 250 14 | 0.539 % | 0.69/0.72 c | 475 | 554 4028 46237 | 6655 475 14 | 0.539 % | 0.69/0.76 c | 812 | 554 4028 46237 | 7320 812 14 | 0.542 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #13 0.79/0.82 c Core size: 125 Core Weight: 1 Total Weight: 20 0.79/0.82 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.79/0.83 c Learning 1218 hard constraints 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 565 5250 63052 | 5000 0 nan | 0.000 % | 0.79/0.85 c | 101 | 565 5250 63052 | 5500 101 17 | 0.530 % | 0.79/0.86 c | 252 | 565 5250 63052 | 6050 252 17 | 0.528 % | 0.79/0.89 c | 477 | 565 5250 63052 | 6655 477 17 | 0.529 % | 0.89/0.94 c | 816 | 565 5250 63052 | 7320 816 18 | 0.529 % | 0.99/1.02 c | 1323 | 565 5250 63052 | 8052 1323 18 | 0.529 % | 1.09/1.14 c | 2083 | 565 5250 63052 | 8857 2083 17 | 0.529 % | 1.29/1.31 c | 3222 | 565 5250 63052 | 9743 3222 16 | 0.529 % | 1.49/1.59 c | 4931 | 565 5250 63052 | 10717 4931 16 | 0.529 % | 1.89/1.96 c =============================================================================== 1.89/1.98 c core #14 1.89/1.98 c Core size: 384 Core Weight: 1 Total Weight: 21 1.89/1.98 c Elapsed CPU time: 1.9537 s Remaining CPU time: 1798.05 s 1.99/2.00 c Learning 5310 hard constraints 1.99/2.00 c ============================[ Search Statistics ]============================== 1.99/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.00 c =============================================================================== 1.99/2.00 c | 0 | 575 10564 145384 | 5000 0 nan | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c core #15 1.99/2.01 c Core size: 36 Core Weight: 1 Total Weight: 22 1.99/2.01 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 1.99/2.03 c Learning 1 hard constraints 1.99/2.03 c ============================[ Search Statistics ]============================== 1.99/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.03 c =============================================================================== 1.99/2.03 c | 0 | 586 10569 145413 | 5000 0 nan | 0.000 % | 1.99/2.05 c | 101 | 586 10569 145413 | 5500 101 15 | 1.347 % | 1.99/2.07 c | 251 | 586 10569 145413 | 6050 251 14 | 1.348 % | 2.09/2.12 c | 478 | 586 10569 145413 | 6655 478 14 | 1.347 % | 2.09/2.19 c | 815 | 586 10569 145413 | 7320 815 15 | 1.347 % | 2.19/2.29 c | 1321 | 586 10569 145413 | 8052 1321 15 | 1.347 % | 2.39/2.43 c | 2080 | 586 10569 145413 | 8857 2080 15 | 1.347 % | 2.59/2.67 c | 3219 | 586 10569 145413 | 9743 3219 16 | 1.347 % | 2.99/3.07 c | 4927 | 586 10569 145413 | 10717 4927 16 | 1.347 % | 3.49/3.57 c | 7489 | 586 10569 145413 | 11789 7489 16 | 1.347 % | 4.49/4.59 c | 11333 | 586 10569 145413 | 12968 11333 17 | 1.347 % | 5.59/5.67 c | 17099 | 585 10569 145413 | 14265 8546 17 | 1.515 % | 6.98/7.06 c =============================================================================== 7.19/7.21 c core #16 7.19/7.21 c Core size: 358 Core Weight: 10 Total Weight: 32 7.19/7.21 c Elapsed CPU time: 7.13291 s Remaining CPU time: 1792.87 s 7.19/7.28 c Learning 8633 hard constraints 7.19/7.28 c ============================[ Search Statistics ]============================== 7.19/7.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.28 c =============================================================================== 7.19/7.28 c | 0 | 595 19205 296002 | 6401 0 nan | 0.000 % | 7.29/7.30 c | 100 | 595 19205 296002 | 7041 100 14 | 0.335 % | 7.29/7.33 c | 250 | 595 19205 296002 | 7746 250 16 | 0.335 % | 7.29/7.39 c | 475 | 595 19205 296002 | 8520 475 16 | 0.335 % | 7.39/7.49 c | 812 | 595 19205 296002 | 9372 812 17 | 0.335 % | 7.59/7.62 c | 1318 | 595 19205 296002 | 10309 1318 17 | 0.335 % | 7.79/7.86 c | 2077 | 595 19205 296002 | 11340 2077 18 | 0.335 % | 8.08/8.12 c | 3216 | 595 19205 296002 | 12475 3216 19 | 0.335 % | 8.48/8.51 c | 4924 | 595 19205 296002 | 13722 4924 20 | 0.335 % | 9.09/9.12 c | 7486 | 595 19205 296002 | 15094 7486 20 | 0.335 % | 10.28/10.33 c | 11331 | 595 19205 296002 | 16604 11331 20 | 0.335 % | 12.69/12.78 c | 17098 | 595 19205 296002 | 18264 8781 20 | 0.336 % | 15.09/15.17 c | 25748 | 595 19205 296002 | 20091 17431 20 | 0.336 % | 18.28/18.30 c | 38723 | 588 19205 296002 | 22100 11557 19 | 2.346 % | 18.49/18.52 c =============================================================================== 18.69/18.79 c core #17 18.69/18.79 c Core size: 764 Core Weight: 1 Total Weight: 33 18.69/18.79 c Elapsed CPU time: 18.6492 s Remaining CPU time: 1781.35 s 18.88/18.91 c Learning 11930 hard constraints 18.88/18.91 c ============================[ Search Statistics ]============================== 18.88/18.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.88/18.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.88/18.91 c =============================================================================== 18.88/18.91 c | 0 | 618 31141 528622 | 10380 0 nan | 0.000 % | 18.88/18.95 c | 100 | 618 31141 528622 | 11418 100 14 | 0.323 % | 18.88/18.98 c | 252 | 618 31141 528622 | 12560 252 20 | 0.323 % | 18.98/19.01 c | 477 | 618 31141 528622 | 13816 477 23 | 0.323 % | 18.98/19.07 c | 816 | 618 31141 528622 | 15197 816 23 | 0.323 % | 19.18/19.22 c | 1323 | 618 31141 528622 | 16717 1323 23 | 0.323 % | 19.28/19.38 c | 2083 | 618 31141 528622 | 18389 2083 23 | 0.323 % | 19.48/19.58 c | 3224 | 618 31141 528622 | 20228 3224 23 | 0.323 % | 19.88/19.96 c | 4933 | 618 31141 528622 | 22251 4933 23 | 0.323 % | 20.59/20.68 c | 7495 | 618 31141 528622 | 24476 7495 23 | 0.323 % | 21.68/21.70 c | 11339 | 618 31141 528622 | 26923 11339 23 | 0.323 % | 23.88/23.93 c | 17107 | 618 31141 528622 | 29616 17107 23 | 0.323 % | 27.08/27.11 c | 25756 | 618 31141 528622 | 32577 25756 23 | 0.323 % | 33.18/33.26 c | 38731 | 618 31141 528622 | 35835 17414 21 | 0.323 % | 40.87/40.97 c | 58192 | 618 31141 528622 | 39419 12619 20 | 0.323 % | 52.17/52.24 c | 87384 | 617 31141 528622 | 43361 19985 20 | 0.484 % | 63.57/63.67 c =============================================================================== 64.47/64.52 c core #18 64.47/64.52 c Core size: 1219 Core Weight: 1 Total Weight: 34 64.47/64.52 c Elapsed CPU time: 64.0453 s Remaining CPU time: 1735.95 s 64.67/64.75 c Learning 12787 hard constraints 64.67/64.75 c ============================[ Search Statistics ]============================== 64.67/64.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 64.67/64.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 64.67/64.75 c =============================================================================== 64.67/64.75 c | 0 | 634 43934 791094 | 14644 0 nan | 0.000 % | 64.77/64.81 c | 100 | 634 43934 791094 | 16109 100 16 | 0.315 % | 64.77/64.83 c | 250 | 634 43934 791094 | 17720 250 15 | 0.315 % | 64.77/64.87 c | 477 | 634 43934 791094 | 19492 477 20 | 0.315 % | 64.87/64.95 c | 814 | 634 43934 791094 | 21441 814 22 | 0.315 % | 64.97/65.05 c | 1320 | 634 43934 791094 | 23585 1320 24 | 0.315 % | 65.16/65.25 c | 2079 | 634 43934 791094 | 25943 2079 24 | 0.315 % | 65.47/65.56 c | 3219 | 634 43934 791094 | 28538 3219 24 | 0.315 % | 66.17/66.24 c | 4931 | 634 43934 791094 | 31392 4931 23 | 0.315 % | 66.77/66.82 c | 7493 | 634 43934 791094 | 34531 7493 23 | 0.315 % | 68.07/68.15 c | 11337 | 634 43934 791094 | 37984 11337 23 | 0.315 % | 69.97/70.08 c | 17105 | 634 43934 791094 | 41782 17105 23 | 0.315 % | 74.57/74.61 c | 25754 | 634 43934 791094 | 45961 25754 23 | 0.315 % | 82.87/82.92 c | 38728 | 634 43934 791094 | 50557 38728 23 | 0.315 % | 97.06/97.18 c | 58189 | 634 43934 791094 | 55613 19523 23 | 0.315 % | 112.66/112.74 c | 87381 | 634 43934 791094 | 61174 48715 23 | 0.315 % | 135.95/136.06 c | 131170 | 634 43934 791094 | 67291 43383 23 | 0.316 % | 172.04/172.10 c | 196854 | 634 43934 791094 | 74021 53817 22 | 0.315 % | 225.22/225.38 c =============================================================================== 227.92/228.04 c core #19 227.92/228.04 c Core size: 1794 Core Weight: 1 Total Weight: 35 227.92/228.04 c Elapsed CPU time: 226.893 s Remaining CPU time: 1573.11 s 228.52/228.60 c Learning 50922 hard constraints 228.52/228.60 c ============================[ Search Statistics ]============================== 228.52/228.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.52/228.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.52/228.60 c =============================================================================== 228.52/228.60 c | 0 | 645 94861 1899736 | 31620 0 nan | 0.000 % | 228.62/228.72 c | 100 | 645 94861 1899736 | 34782 100 15 | 0.309 % | 228.73/228.89 c | 251 | 645 94861 1899736 | 38260 251 16 | 0.312 % | 229.02/229.13 c | 478 | 645 94861 1899736 | 42086 478 20 | 0.309 % | 229.32/229.45 c | 815 | 645 94861 1899736 | 46295 815 22 | 0.309 % | 229.62/229.73 c | 1321 | 645 94861 1899736 | 50924 1321 24 | 0.309 % | 229.92/230.04 c | 2083 | 645 94861 1899736 | 56017 2083 25 | 0.309 % | 230.12/230.24 c | 3223 | 645 94861 1899736 | 61619 3223 25 | 0.309 % | 231.22/231.37 c | 4932 | 645 94861 1899736 | 67780 4932 24 | 0.309 % | 232.92/233.08 c | 7494 | 645 94861 1899736 | 74559 7494 23 | 0.309 % | 235.42/235.56 c | 11340 | 645 94861 1899736 | 82015 11340 22 | 0.309 % | 237.92/238.03 c | 17106 | 645 94861 1899736 | 90216 17106 22 | 0.309 % | 244.22/244.36 c | 25755 | 645 94861 1899736 | 99238 25755 22 | 0.309 % | 253.31/253.46 c | 38730 | 645 94861 1899736 | 109161 38730 24 | 0.309 % | 271.51/271.65 c | 58192 | 645 94861 1899736 | 120078 58192 24 | 0.309 % | 312.20/312.32 c | 87384 | 645 94861 1899736 | 132085 87384 24 | 0.309 % | 399.97/400.17 c | 131173 | 645 94861 1899736 | 145294 131173 25 | 0.309 % | 477.05/477.25 c | 196858 | 645 94861 1899736 | 159824 65499 24 | 0.309 % | 652.70/652.97 c | 295386 | 645 94861 1899736 | 175806 17690 24 | 0.309 % | 872.54/872.80 c | 443175 | 645 94861 1899736 | 193387 165479 25 | 0.311 % | 1193.35/1193.74 c =============================================================================== 1202.95/1203.35 c core #20 1202.95/1203.35 c Core size: 4084 Core Weight: 3 Total Weight: 38 1202.95/1203.35 c Elapsed CPU time: 1199.92 s Remaining CPU time: 600.078 s 1204.34/1204.71 c Learning 103125 hard constraints 1204.34/1204.71 c ============================[ Search Statistics ]============================== 1204.34/1204.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1204.34/1204.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1204.34/1204.71 c =============================================================================== 1204.34/1204.71 c | 0 | 649 197989 4331045 | 65996 0 nan | 0.000 % | 1204.55/1204.91 c | 100 | 649 197989 4331045 | 72595 100 16 | 0.307 % | 1204.65/1205.05 c | 251 | 649 197989 4331045 | 79855 251 17 | 0.307 % | 1204.75/1205.16 c | 476 | 649 197989 4331045 | 87841 476 18 | 0.307 % | 1205.25/1205.68 c | 813 | 649 197989 4331045 | 96625 813 18 | 0.307 % | 1206.14/1206.51 c | 1320 | 649 197989 4331045 | 106287 1320 19 | 0.308 % | 1207.14/1207.59 c | 2080 | 649 197989 4331045 | 116916 2080 21 | 0.307 % | 1210.94/1211.31 c | 3219 | 649 197989 4331045 | 128608 3219 22 | 0.307 % | 1214.44/1214.83 c | 4927 | 649 197989 4331045 | 141469 4927 23 | 0.307 % | 1219.94/1220.38 c | 7490 | 649 197989 4331045 | 155615 7490 23 | 0.307 % | 1228.03/1228.46 c | 11335 | 649 197989 4331045 | 171177 11335 25 | 0.307 % | 1239.93/1240.31 c | 17101 | 649 197989 4331045 | 188295 17101 25 | 0.307 % | 1258.53/1258.93 c | 25750 | 649 197989 4331045 | 207124 25750 24 | 0.307 % | 1293.82/1294.24 c | 38724 | 649 197989 4331045 | 227837 38724 25 | 0.307 % | 1345.50/1345.91 c | 58185 | 649 197989 4331045 | 250620 58185 24 | 0.308 % | 1436.19/1436.64 c | 87379 | 649 197989 4331045 | 275683 87379 24 | 0.307 % | 1565.34/1565.89 c | 131169 | 649 197989 4331045 | 303251 131169 24 | 0.307 % |
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-1875689-1245132131/watcher-1875689-1245132131 -o /tmp/evaluation-result-1875689-1245132131/solver-1875689-1245132131 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875689-1245132131.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: 0.99 0.97 0.99 3/64 7086 /proc/meminfo: memFree=1787464/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=2580 CPUtime=0 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 180810345 2641920 189 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 645 189 126 292 0 336 0 [startup+0.103726 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7086 /proc/meminfo: memFree=1787464/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=3984 CPUtime=0.09 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 603 0 0 0 9 0 0 0 18 0 1 0 180810345 4079616 573 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 996 573 136 292 0 701 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3984 [startup+0.201736 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7086 /proc/meminfo: memFree=1787464/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=4256 CPUtime=0.19 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 668 0 0 0 19 0 0 0 18 0 1 0 180810345 4358144 638 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 1064 638 136 292 0 769 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4256 [startup+0.301747 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7086 /proc/meminfo: memFree=1787464/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=4256 CPUtime=0.29 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 668 0 0 0 29 0 0 0 19 0 1 0 180810345 4358144 638 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 1064 638 136 292 0 769 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4256 [startup+0.70179 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7086 /proc/meminfo: memFree=1787464/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=5448 CPUtime=0.69 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 965 0 0 0 68 1 0 0 24 0 1 0 180810345 5578752 935 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 1362 935 136 292 0 1067 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5448 [startup+1.50188 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1784128/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=5844 CPUtime=1.49 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 1060 0 0 0 147 2 0 0 25 0 1 0 180810345 5984256 1030 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 1461 1030 136 292 0 1166 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5844 [startup+3.10105 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1781696/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=7856 CPUtime=3.09 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 1558 0 0 0 306 3 0 0 25 0 1 0 180810345 8044544 1528 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 1964 1528 136 292 0 1669 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7856 [startup+6.3014 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1779648/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=10752 CPUtime=6.29 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 2267 0 0 0 622 7 0 0 25 0 1 0 180810345 11010048 2237 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 2688 2237 136 292 0 2393 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10752 [startup+12.7021 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1774800/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=14532 CPUtime=12.69 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 3215 0 0 0 1259 10 0 0 25 0 1 0 180810345 14880768 3185 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 3633 3185 136 292 0 3338 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14532 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1766352/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=23016 CPUtime=25.48 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 5329 0 0 0 2529 19 0 0 25 0 1 0 180810345 23568384 5299 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 5754 5299 136 292 0 5459 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23016 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1757008/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=32792 CPUtime=51.07 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 7760 0 0 0 5072 35 0 0 25 0 1 0 180810345 33579008 7730 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 8198 7730 136 292 0 7903 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32792 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1742224/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=47384 CPUtime=102.27 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 11484 0 0 0 10167 60 0 0 25 0 1 0 180810345 48521216 11347 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 11846 11347 136 292 0 11551 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 47384 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1721808/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=68204 CPUtime=162.25 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 16636 0 0 0 16139 86 0 0 25 0 1 0 180810345 69840896 16499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 17051 16499 136 292 0 16756 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 68204 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1701584/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=88052 CPUtime=222.23 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 21603 0 0 0 22117 106 0 0 25 0 1 0 180810345 90165248 21466 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 22013 21466 136 292 0 21718 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 88052 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1681360/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=108388 CPUtime=282.21 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 26825 0 0 0 28096 125 0 0 25 0 1 0 180810345 110989312 26507 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 27097 26507 136 292 0 26802 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 108388 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1681296/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=108388 CPUtime=342.19 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 26829 0 0 0 34085 134 0 0 25 0 1 0 180810345 110989312 26511 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 27097 26511 136 292 0 26802 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 108388 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1681232/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=108388 CPUtime=402.18 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 26834 0 0 0 40076 142 0 0 25 0 1 0 180810345 110989312 26516 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 27097 26516 136 292 0 26802 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 108388 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1681168/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=108388 CPUtime=462.15 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 26854 0 0 0 46060 155 0 0 25 0 1 0 180810345 110989312 26536 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 27097 26536 136 292 0 26802 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 108388 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 3/65 7087 /proc/meminfo: memFree=1674896/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=114744 CPUtime=522.14 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 28443 0 0 0 52045 169 0 0 25 0 1 0 180810345 117497856 28125 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 28686 28125 136 292 0 28391 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 114744 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1667088/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=122708 CPUtime=582.12 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 30363 0 0 0 58032 180 0 0 25 0 1 0 180810345 125652992 30045 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 30677 30045 136 292 0 30382 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 122708 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1659984/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=129924 CPUtime=642.1 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 32147 0 0 0 64020 190 0 0 25 0 1 0 180810345 133042176 31829 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 32481 31829 136 292 0 32186 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 129924 [startup+702.301 s] ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1623312/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=166536 CPUtime=882.04 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 41243 0 0 0 87967 237 0 0 25 0 1 0 180810345 170532864 40925 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 41634 40925 136 292 0 41339 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 166536 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1618256/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=171528 CPUtime=942.02 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 42493 0 0 0 93955 247 0 0 25 0 1 0 180810345 175644672 42175 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 42882 42175 136 292 0 42587 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 171528 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1606416/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=183276 CPUtime=1002 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 45435 0 0 0 99935 265 0 0 25 0 1 0 180810345 187674624 45117 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 45819 45117 136 292 0 45524 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 183276 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1595280/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=194496 CPUtime=1061.98 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 48256 0 0 0 105917 281 0 0 25 0 1 0 180810345 199163904 47938 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 48624 47938 136 292 0 48329 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 194496 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1585552/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=204068 CPUtime=1121.96 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 50637 0 0 0 111902 294 0 0 25 0 1 0 180810345 208965632 50319 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 51017 50319 136 292 0 50722 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 204068 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1578320/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=211212 CPUtime=1181.95 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 52444 0 0 0 117890 305 0 0 25 0 1 0 180810345 216281088 52126 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 52803 52126 136 292 0 52508 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 211212 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532688/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1241.94 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64092 0 0 0 123878 316 0 0 25 0 1 0 180810345 263081984 63480 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63480 136 292 0 63934 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 256916 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532624/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1301.92 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64100 0 0 0 129868 324 0 0 25 0 1 0 180810345 263081984 63488 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63488 136 292 0 63934 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 256916 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532560/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1361.9 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64118 0 0 0 135860 330 0 0 25 0 1 0 180810345 263081984 63506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63506 136 292 0 63934 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 256916 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532496/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1421.89 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64118 0 0 0 141850 339 0 0 25 0 1 0 180810345 263081984 63506 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63506 136 292 0 63934 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 256916 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532496/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1481.86 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64118 0 0 0 147839 347 0 0 25 0 1 0 180810345 263081984 63506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63506 136 292 0 63934 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 256916 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532496/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1541.85 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64118 0 0 0 153832 353 0 0 25 0 1 0 180810345 263081984 63506 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63506 136 292 0 63934 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 256916 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532432/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1601.83 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64131 0 0 0 159822 361 0 0 25 0 1 0 180810345 263081984 63519 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63519 136 292 0 63934 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 256916 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532368/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1661.81 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64137 0 0 0 165813 368 0 0 25 0 1 0 180810345 263081984 63525 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63525 136 292 0 63934 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 256916 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532304/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1721.79 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64138 0 0 0 171807 372 0 0 25 0 1 0 180810345 263081984 63526 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63526 136 292 0 63934 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 256916 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532304/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1781.78 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64138 0 0 0 177800 378 0 0 25 0 1 0 180810345 263081984 63526 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63526 136 292 0 63934 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 256916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532304/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1800.08 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64138 0 0 0 179628 380 0 0 25 0 1 0 180810345 263081984 63526 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63526 136 292 0 63934 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 256916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7087 /proc/meminfo: memFree=1532304/2055920 swapFree=4191900/4192956 [pid=7086] ppid=7084 vsize=256916 CPUtime=1800.08 /proc/7086/stat : 7086 (wbo) R 7084 7086 6911 0 -1 4194304 64138 0 0 0 179628 380 0 0 25 0 1 0 180810345 263081984 63526 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7086/statm: 64229 63526 136 292 0 63934 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 256916 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.13 CPU user time (s): 1796.28 CPU system time (s): 3.84542 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 257680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.28 system time used= 3.84542 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64138 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= 3 involuntary context switches= 2395 runsolver used 1.36279 second user time and 4.02239 second system time The end
Begin job on node37 at 2009-06-16 08:02:12 IDJOB=1875689 IDBENCH=1844 IDSOLVER=698 FILE ID=node37/1875689-1245132131 PBS_JOBID= 9363691 Free space on /tmp= 66168 MiB SOLVER NAME= wbo 1.0 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= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875689-1245132131/watcher-1875689-1245132131 -o /tmp/evaluation-result-1875689-1245132131/solver-1875689-1245132131 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875689-1245132131.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731 RANDOM SEED=1606282637 node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1787816 kB Buffers: 36112 kB Cached: 152328 kB SwapCached: 260 kB Active: 50724 kB Inactive: 150960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787816 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2432 kB Writeback: 0 kB Mapped: 21752 kB Slab: 52408 kB Committed_AS: 154060 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875689-1245132131.opb Free space on /tmp at the end= 66164 MiB End job on node37 at 2009-06-16 08:32:14