Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_13.opb |
MD5SUM | 292e71503f1e4f136e087e61da3c7ed4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 122 |
Best CPU time to get the best result obtained on this benchmark | 1798.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 118 |
Optimality of the best value was proved | NO |
Number of variables | 2470 |
Total number of constraints | 4744 |
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 | 4744 |
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 | 1357 |
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-3460954-1307101421.opb. 0.00/0.00 c Instance file HOME/instance-3460954-1307101421.opb 0.00/0.00 c File size is 1119445 bytes. 0.02/0.08 c Highest Coefficient sum: 1357 0.02/0.08 c ============================[ Problem Statistics ]============================= 0.02/0.08 c | | 0.02/0.08 c | Parsing time: 0.08 s | 0.02/0.08 c | Number Variables: 2470 | 0.02/0.08 c | Number Clauses: 0 | 0.02/0.08 c | Number Cardinality: 0 | 0.02/0.08 c | Number PB Constraints: 4744 | 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 2470 4744 140124 | 5000 0 -nan | 0.000 % | 0.09/0.18 c core #1 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 9 Core Weight: 1 Total Weight: 1 0.09/0.18 c Current CPU time: 0.111982 s 0.09/0.18 c 0.09/0.18 c core #2 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 11 Core Weight: 1 Total Weight: 2 0.09/0.18 c Current CPU time: 0.142978 s 0.09/0.18 c 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 | 2407 4767 140145 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.19/0.22 c core #3 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 15 Core Weight: 1 Total Weight: 3 0.19/0.22 c Current CPU time: 0.179972 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 2415 4774 140155 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.26 c core #4 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 14 Core Weight: 1 Total Weight: 4 0.19/0.26 c Current CPU time: 0.217966 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 2434 4780 140169 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.29/0.30 c core #5 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 16 Core Weight: 1 Total Weight: 5 0.29/0.30 c Current CPU time: 0.25996 s 0.29/0.30 c 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 | 2444 4786 140184 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.35 c core #6 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 15 Core Weight: 3 Total Weight: 8 0.29/0.35 c Current CPU time: 0.308953 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2462 4791 140201 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.39/0.41 c core #7 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 19 Core Weight: 1 Total Weight: 9 0.39/0.41 c Current CPU time: 0.366944 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2473 4796 140219 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.49 c core #8 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 20 Core Weight: 1 Total Weight: 10 0.39/0.49 c Current CPU time: 0.448931 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 2485 4801 140239 | 5000 0 -nan | 0.000 % | 0.48/0.59 c | 100 | 2485 4801 140239 | 5500 100 21 | 2.050 % | 0.68/0.73 c | 252 | 2484 4801 140239 | 6050 252 22 | 2.089 % | 0.78/0.80 c =============================================================================== 0.78/0.84 c core #9 0.78/0.84 c 0.78/0.84 c 0.78/0.84 c Core size: 14 Core Weight: 6 Total Weight: 16 0.78/0.84 c Current CPU time: 0.793879 s 0.78/0.84 c 0.78/0.84 c ============================[ Search Statistics ]============================== 0.78/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.84 c =============================================================================== 0.78/0.84 c | 0 | 2502 4805 140261 | 5000 0 -nan | 0.000 % | 0.88/0.94 c | 100 | 2502 4805 140261 | 5500 100 23 | 1.536 % | 0.99/1.08 c | 251 | 2492 4805 140261 | 6050 251 26 | 2.243 % | 1.10/1.12 c =============================================================================== 1.10/1.16 c core #10 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 27 Core Weight: 1 Total Weight: 17 1.10/1.16 c Current CPU time: 1.11883 s 1.10/1.16 c 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 2515 4811 140288 | 5000 0 -nan | 0.000 % | 1.19/1.26 c | 101 | 2515 4811 140288 | 5500 101 22 | 1.527 % | 1.39/1.41 c | 254 | 2515 4811 140288 | 6050 254 24 | 1.527 % | 1.59/1.60 c | 479 | 2514 4811 140288 | 6655 479 26 | 1.566 % | 1.69/1.73 c =============================================================================== 1.69/1.77 c core #11 1.69/1.77 c 1.69/1.77 c 1.69/1.77 c Core size: 40 Core Weight: 1 Total Weight: 18 1.69/1.77 c Current CPU time: 1.72674 s 1.69/1.77 c 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 2532 4817 140323 | 5000 0 -nan | 0.000 % | 1.79/1.87 c | 102 | 2532 4817 140323 | 5500 102 23 | 1.517 % | 1.99/2.00 c | 253 | 2532 4817 140323 | 6050 253 24 | 1.517 % | 2.10/2.21 c | 478 | 2532 4817 140323 | 6655 478 25 | 1.517 % | 2.49/2.51 c | 815 | 2532 4817 140323 | 7320 815 26 | 1.517 % | 2.89/2.97 c | 1322 | 2532 4817 140323 | 8052 1322 28 | 1.517 % | 3.49/3.56 c =============================================================================== 3.59/3.60 c core #12 3.59/3.60 c 3.59/3.60 c 3.59/3.60 c Core size: 23 Core Weight: 1 Total Weight: 19 3.59/3.60 c Current CPU time: 3.55446 s 3.59/3.60 c 3.59/3.60 c ============================[ Search Statistics ]============================== 3.59/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.60 c =============================================================================== 3.59/3.60 c | 0 | 2537 4821 140330 | 5000 0 -nan | 0.000 % | 3.69/3.71 c | 100 | 2537 4821 140330 | 5500 100 22 | 1.514 % | 3.79/3.80 c | 251 | 2537 4821 140330 | 6050 251 24 | 1.514 % | 3.89/3.97 c | 478 | 2537 4821 140330 | 6655 478 25 | 1.514 % | 4.19/4.27 c | 815 | 2537 4821 140330 | 7320 815 27 | 1.514 % | 4.69/4.71 c | 1321 | 2537 4821 140330 | 8052 1321 27 | 1.514 % | 5.29/5.30 c | 2080 | 2537 4821 140330 | 8857 2080 28 | 1.514 % | 6.19/6.26 c | 3221 | 2537 4821 140330 | 9743 3221 29 | 1.514 % | 7.59/7.66 c | 4930 | 2537 4821 140330 | 10717 4930 29 | 1.514 % | 10.09/10.13 c | 7493 | 2537 4821 140330 | 11789 7493 29 | 1.514 % | 11.79/11.89 c =============================================================================== 11.89/11.93 c core #13 11.89/11.93 c 11.89/11.93 c 11.89/11.93 c Core size: 38 Core Weight: 13 Total Weight: 32 11.89/11.93 c Current CPU time: 11.8702 s 11.89/11.93 c 11.89/11.93 c ============================[ Search Statistics ]============================== 11.89/11.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.89/11.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.89/11.93 c =============================================================================== 11.89/11.93 c | 0 | 2553 4824 140359 | 5000 0 -nan | 0.000 % | 12.00/12.03 c | 100 | 2553 4824 140359 | 5500 100 21 | 1.008 % | 12.11/12.16 c | 252 | 2545 4824 140359 | 6050 252 22 | 1.473 % | 12.29/12.34 c | 478 | 2541 4824 140359 | 6655 478 26 | 1.473 % | 12.59/12.66 c | 817 | 2541 4824 140359 | 7320 817 29 | 1.474 % | 12.99/13.11 c | 1323 | 2541 4824 140359 | 8052 1323 31 | 1.473 % | 13.59/13.61 c | 2082 | 2536 4824 140359 | 8857 2082 31 | 2.832 % | 14.31/14.37 c =============================================================================== 14.39/14.41 c core #14 14.39/14.41 c 14.39/14.41 c 14.39/14.41 c Core size: 64 Core Weight: 1 Total Weight: 33 14.39/14.41 c Current CPU time: 14.3548 s 14.39/14.41 c 14.39/14.41 c ============================[ Search Statistics ]============================== 14.39/14.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.39/14.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.39/14.41 c =============================================================================== 14.39/14.41 c | 0 | 2585 4830 140427 | 5000 0 -nan | 0.000 % | 14.49/14.52 c | 101 | 2585 4830 140427 | 5500 101 22 | 0.996 % | 14.59/14.68 c | 251 | 2585 4830 140427 | 6050 251 23 | 0.996 % | 14.89/14.90 c | 476 | 2585 4830 140427 | 6655 476 27 | 0.996 % | 15.09/15.14 c | 813 | 2575 4830 140427 | 7320 813 28 | 1.379 % | 15.49/15.52 c | 1319 | 2575 4830 140427 | 8052 1319 30 | 1.379 % | 15.99/16.08 c | 2078 | 2574 4830 140427 | 8857 2078 32 | 1.455 % | 16.79/16.89 c | 3218 | 2573 4830 140427 | 9743 3218 32 | 1.455 % | 18.19/18.24 c | 4926 | 2563 4830 140427 | 10717 4926 34 | 2.183 % | 18.49/18.58 c =============================================================================== 18.59/18.63 c core #15 18.59/18.63 c 18.59/18.63 c 18.59/18.63 c Core size: 64 Core Weight: 1 Total Weight: 34 18.59/18.63 c Current CPU time: 18.5612 s 18.59/18.63 c 18.59/18.63 c ============================[ Search Statistics ]============================== 18.59/18.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.59/18.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.59/18.63 c =============================================================================== 18.59/18.63 c | 0 | 2617 4836 140495 | 5000 0 -nan | 0.000 % | 18.71/18.75 c | 100 | 2617 4836 140495 | 5500 100 25 | 0.984 % | 18.89/18.91 c | 252 | 2617 4836 140495 | 6050 252 27 | 0.984 % | 19.10/19.11 c | 477 | 2617 4836 140495 | 6655 477 28 | 0.984 % | 19.39/19.41 c | 815 | 2617 4836 140495 | 7320 815 32 | 0.984 % | 19.89/19.93 c | 1323 | 2617 4836 140495 | 8052 1323 32 | 0.984 % | 20.39/20.48 c | 2084 | 2617 4836 140495 | 8857 2084 33 | 0.984 % | 21.09/21.15 c | 3223 | 2617 4836 140495 | 9743 3223 33 | 0.984 % | 22.69/22.73 c | 4932 | 2617 4836 140495 | 10717 4932 35 | 0.984 % | 24.09/24.16 c | 7496 | 2617 4836 140495 | 11789 7496 34 | 0.984 % | 27.59/27.67 c | 11340 | 2617 4836 140495 | 12968 11340 35 | 0.984 % | 32.29/32.39 c | 17106 | 2617 4836 140495 | 14265 10543 39 | 0.984 % | 38.99/39.00 c | 25755 | 2617 4836 140495 | 15692 11943 40 | 0.984 % | 47.89/47.92 c | 38729 | 2609 4836 140495 | 17261 9056 40 | 1.286 % | 58.31/58.40 c =============================================================================== 58.39/58.49 c core #16 58.39/58.49 c 58.39/58.49 c 58.39/58.49 c Core size: 40 Core Weight: 1 Total Weight: 35 58.39/58.49 c Current CPU time: 58.3571 s 58.39/58.49 c 58.39/58.49 c ============================[ Search Statistics ]============================== 58.39/58.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.39/58.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.39/58.49 c =============================================================================== 58.39/58.49 c | 0 | 2631 4841 140525 | 5000 0 -nan | 0.000 % | 58.49/58.59 c | 101 | 2631 4841 140525 | 5500 101 35 | 0.979 % | 58.69/58.73 c | 251 | 2631 4841 140525 | 6050 251 33 | 0.979 % | 58.89/58.90 c | 476 | 2631 4841 140525 | 6655 476 33 | 0.979 % | 59.09/59.12 c | 813 | 2631 4841 140525 | 7320 813 34 | 0.979 % | 59.41/59.46 c | 1320 | 2631 4841 140525 | 8052 1320 33 | 0.979 % | 59.89/59.99 c | 2079 | 2631 4841 140525 | 8857 2079 33 | 0.979 % | 60.69/60.77 c | 3219 | 2631 4841 140525 | 9743 3219 33 | 0.979 % | 61.70/61.75 c | 4927 | 2631 4841 140525 | 10717 4927 33 | 0.979 % | 63.30/63.38 c | 7489 | 2631 4841 140525 | 11789 7489 33 | 0.979 % | 66.49/66.56 c | 11335 | 2631 4841 140525 | 12968 11335 34 | 0.979 % | 70.60/70.68 c | 17101 | 2613 4841 140525 | 14265 10555 35 | 1.656 % | 76.09/76.16 c | 25751 | 2613 4841 140525 | 15692 11911 34 | 1.656 % | 84.59/84.66 c | 38725 | 2584 4841 140525 | 17261 9038 34 | 2.747 % | 98.79/98.87 c | 58187 | 2584 4841 140525 | 18987 10951 34 | 2.748 % | 101.40/101.47 c =============================================================================== 101.49/101.54 c core #17 101.49/101.54 c 101.49/101.54 c 101.49/101.54 c Core size: 36 Core Weight: 3 Total Weight: 38 101.49/101.54 c Current CPU time: 101.351 s 101.49/101.54 c 101.49/101.54 c ============================[ Search Statistics ]============================== 101.49/101.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.49/101.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.49/101.54 c =============================================================================== 101.49/101.54 c | 0 | 2635 4844 140531 | 5000 0 -nan | 0.000 % | 101.59/101.66 c | 100 | 2635 4844 140531 | 5500 100 25 | 0.977 % | 101.79/101.80 c | 250 | 2635 4844 140531 | 6050 250 29 | 0.977 % | 101.89/101.98 c | 475 | 2635 4844 140531 | 6655 475 28 | 0.977 % | 102.20/102.24 c | 812 | 2635 4844 140531 | 7320 812 28 | 0.977 % | 102.59/102.63 c | 1319 | 2635 4844 140531 | 8052 1319 31 | 0.977 % | 103.19/103.28 c | 2078 | 2635 4844 140531 | 8857 2078 32 | 0.977 % | 104.09/104.13 c | 3218 | 2635 4844 140531 | 9743 3218 32 | 0.977 % | 104.99/105.01 c | 4927 | 2635 4844 140531 | 10717 4927 31 | 0.977 % | 107.09/107.19 c | 7489 | 2635 4844 140531 | 11789 7489 33 | 0.977 % | 110.80/110.89 c | 11333 | 2635 4844 140531 | 12968 11333 35 | 0.977 % | 116.39/116.46 c | 17101 | 2635 4844 140531 | 14265 10585 36 | 0.977 % | 124.59/124.62 c | 25751 | 2635 4844 140531 | 15692 11797 36 | 0.977 % | 133.20/133.20 c | 38725 | 2621 4844 140531 | 17261 8875 33 | 2.255 % | 141.59/141.64 c =============================================================================== 141.69/141.71 c core #18 141.69/141.71 c 141.69/141.71 c 141.69/141.71 c Core size: 39 Core Weight: 1 Total Weight: 39 141.69/141.71 c Current CPU time: 141.474 s 141.69/141.71 c 141.69/141.71 c ============================[ Search Statistics ]============================== 141.69/141.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 141.69/141.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 141.69/141.71 c =============================================================================== 141.69/141.71 c | 0 | 2647 4847 140553 | 5000 0 -nan | 0.000 % | 141.69/141.81 c | 101 | 2647 4847 140553 | 5500 101 29 | 0.973 % | 141.91/141.97 c | 251 | 2647 4847 140553 | 6050 251 31 | 0.973 % | 142.09/142.14 c | 478 | 2647 4847 140553 | 6655 478 30 | 0.973 % | 142.29/142.30 c | 816 | 2647 4847 140553 | 7320 816 31 | 0.973 % | 142.69/142.77 c | 1324 | 2647 4847 140553 | 8052 1324 32 | 0.973 % | 143.49/143.53 c | 2083 | 2647 4847 140553 | 8857 2083 33 | 0.973 % | 144.12/144.17 c | 3222 | 2647 4847 140553 | 9743 3222 32 | 0.973 % | 145.30/145.31 c | 4930 | 2647 4847 140553 | 10717 4930 32 | 0.973 % | 146.59/146.67 c | 7492 | 2647 4847 140553 | 11789 7492 32 | 0.973 % | 149.79/149.86 c | 11337 | 2647 4847 140553 | 12968 11337 34 | 0.973 % | 153.70/153.74 c | 17104 | 2647 4847 140553 | 14265 10429 35 | 0.973 % | 160.99/161.02 c | 25753 | 2647 4847 140553 | 15692 11678 36 | 0.973 % | 173.70/173.74 c | 38727 | 2647 4847 140553 | 17261 8786 37 | 0.973 % | 190.49/190.52 c | 58191 | 2647 4847 140553 | 18987 10751 36 | 0.973 % | 216.10/216.12 c | 87383 | 2647 4847 140553 | 20886 19732 38 | 0.973 % | 252.69/252.78 c | 131173 | 2647 4847 140553 | 22974 20763 37 | 0.973 % | 308.40/308.46 c | 196858 | 2647 4847 140553 | 25272 15853 39 | 0.973 % | 389.30/389.39 c | 295384 | 2647 4847 140553 | 27799 16432 33 | 0.973 % | 500.61/500.67 c | 443175 | 2647 4847 140553 | 30579 21469 34 | 0.973 % | 585.70/585.78 c =============================================================================== 586.00/586.07 c core #19 586.00/586.07 c 586.00/586.07 c 586.00/586.07 c Core size: 50 Core Weight: 1 Total Weight: 40 586.00/586.07 c Current CPU time: 585.129 s 586.00/586.07 c 586.00/586.07 c ============================[ Search Statistics ]============================== 586.00/586.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 586.00/586.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 586.00/586.07 c =============================================================================== 586.00/586.07 c | 0 | 2673 4850 140603 | 5000 0 -nan | 0.000 % | 586.11/586.19 c | 100 | 2673 4850 140603 | 5500 100 46 | 0.963 % | 586.22/586.29 c | 250 | 2673 4850 140603 | 6050 250 35 | 0.963 % | 586.41/586.48 c | 476 | 2673 4850 140603 | 6655 476 35 | 0.963 % | 586.71/586.73 c | 813 | 2673 4850 140603 | 7320 813 35 | 0.963 % | 587.11/587.12 c | 1319 | 2673 4850 140603 | 8052 1319 35 | 0.963 % | 587.71/587.75 c | 2079 | 2673 4850 140603 | 8857 2079 35 | 0.963 % | 588.53/588.55 c | 3219 | 2673 4850 140603 | 9743 3219 35 | 0.963 % | 589.81/589.80 c | 4928 | 2673 4850 140603 | 10717 4928 35 | 0.963 % | 591.61/591.70 c | 7490 | 2673 4850 140603 | 11789 7490 36 | 0.963 % | 594.31/594.30 c | 11334 | 2673 4850 140603 | 12968 11334 36 | 0.963 % | 597.51/597.59 c | 17101 | 2673 4850 140603 | 14265 10515 33 | 0.963 % | 604.01/604.05 c | 25750 | 2673 4850 140603 | 15692 11913 35 | 0.963 % | 613.61/613.69 c | 38725 | 2652 4850 140603 | 17261 8461 36 | 1.741 % | 628.51/628.54 c | 58186 | 2652 4850 140603 | 18987 10361 37 | 1.741 % | 652.01/652.04 c | 87378 | 2652 4850 140603 | 20886 10322 36 | 1.741 % | 685.51/685.56 c | 131167 | 2652 4850 140603 | 22974 11973 38 | 1.741 % | 742.71/742.75 c | 196851 | 2652 4850 140603 | 25272 18869 36 | 1.741 % | 810.11/810.19 c | 295379 | 2652 4850 140603 | 27799 21935 38 | 1.741 % | 917.72/917.76 c | 443168 | 2652 4850 140603 | 30579 22307 36 | 1.741 % | 1098.22/1098.23 c | 664851 | 2652 4850 140603 | 33637 17851 37 | 1.741 % | 1380.13/1380.17 c | 997376 | 2652 4850 140603 | 37001 30658 34 | 1.741 % | 1783.84/1783.86 c | 1496165 | 2652 4850 140603 | 40701 33328 34 | 1.742 % |
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-3460954-1307101421/watcher-3460954-1307101421 -o /tmp/evaluation-result-3460954-1307101421/solver-3460954-1307101421 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460954-1307101421.opb running on 4 cores: 0,2,4,6 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.02 2.04 2.00 2/532 9897 /proc/meminfo: memFree=25263560/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=3464 CPUtime=0 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 393 0 0 0 0 0 0 0 25 0 1 0 802558341 3547136 346 33554432000 4194304 5714214 140736020397184 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 866 346 180 372 0 217 0 [startup+0.0274331 s] /proc/loadavg: 2.02 2.04 2.00 2/532 9897 /proc/meminfo: memFree=25263560/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=5324 CPUtime=0.02 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 936 0 0 0 2 0 0 0 25 0 1 0 802558341 5451776 889 33554432000 4194304 5714214 140736020397184 18446744073709551615 4328128 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 1331 891 246 372 0 682 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5324 [startup+0.100374 s] /proc/loadavg: 2.02 2.04 2.00 2/532 9897 /proc/meminfo: memFree=25263560/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=14664 CPUtime=0.09 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 3735 0 0 0 9 0 0 0 25 0 1 0 802558341 15015936 3414 33554432000 4194304 5714214 140736020397184 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 3699 3420 174 372 0 3324 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14664 [startup+0.300416 s] /proc/loadavg: 2.02 2.04 2.00 2/532 9897 /proc/meminfo: memFree=25263560/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=20904 CPUtime=0.29 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 5303 0 0 0 29 0 0 0 25 0 1 0 802558341 21405696 4982 33554432000 4194304 5714214 140736020397184 18446744073709551615 4976445 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 5226 4982 179 372 0 4851 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20904 [startup+0.700349 s] /proc/loadavg: 2.02 2.04 2.00 2/532 9897 /proc/meminfo: memFree=25263560/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=22800 CPUtime=0.68 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 5778 0 0 0 68 0 0 0 18 0 1 0 802558341 23347200 5457 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 5700 5457 180 372 0 5325 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 22800 [startup+1.50018 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9920 /proc/meminfo: memFree=25234524/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=24128 CPUtime=1.48 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 6109 0 0 0 148 0 0 0 18 0 1 0 802558341 24707072 5788 33554432000 4194304 5714214 140736020397184 18446744073709551615 4322735 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 6032 5788 180 372 0 5657 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 24128 [startup+3.10087 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9920 /proc/meminfo: memFree=25229884/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=24920 CPUtime=3.09 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 6289 0 0 0 308 1 0 0 21 0 1 0 802558341 25518080 5968 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 6230 5968 180 372 0 5855 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24920 [startup+6.30032 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9921 /proc/meminfo: memFree=25225924/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=25980 CPUtime=6.29 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 6551 0 0 0 628 1 0 0 25 0 1 0 802558341 26603520 6230 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 6495 6230 180 372 0 6120 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25980 [startup+12.7002 s] /proc/loadavg: 2.02 2.04 2.00 3/536 9921 /proc/meminfo: memFree=25220156/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=28764 CPUtime=12.69 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 7277 0 0 0 1267 2 0 0 25 0 1 0 802558341 29454336 6956 33554432000 4194304 5714214 140736020397184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 7191 6956 180 372 0 6816 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28764 [startup+25.5009 s] /proc/loadavg: 2.01 2.04 2.00 3/536 9921 /proc/meminfo: memFree=25217056/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=28936 CPUtime=25.49 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 7315 0 0 0 2546 3 0 0 23 0 1 0 802558341 29630464 6994 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 7234 6994 180 372 0 6859 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28936 [startup+51.1003 s] /proc/loadavg: 2.30 2.10 2.02 3/536 9922 /proc/meminfo: memFree=25211620/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=28936 CPUtime=51.09 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 7315 0 0 0 5103 6 0 0 25 0 1 0 802558341 29630464 6994 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323068 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 7234 6994 180 372 0 6859 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 28936 [startup+102.32 s] /proc/loadavg: 2.27 2.11 2.03 3/536 9923 /proc/meminfo: memFree=25196808/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=38560 CPUtime=102.31 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 9726 0 0 0 10218 13 0 0 25 0 1 0 802558341 39485440 9405 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 9640 9405 180 372 0 9265 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 38560 [startup+162.3 s] /proc/loadavg: 2.10 2.09 2.02 3/536 9925 /proc/meminfo: memFree=25166376/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=38828 CPUtime=162.29 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 9777 0 0 0 16210 19 0 0 25 0 1 0 802558341 39759872 9456 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 9707 9456 180 372 0 9332 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 38828 [startup+222.301 s] /proc/loadavg: 2.03 2.07 2.01 3/536 9926 /proc/meminfo: memFree=25162608/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=38828 CPUtime=222.29 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 9777 0 0 0 22205 24 0 0 25 0 1 0 802558341 39759872 9456 33554432000 4194304 5714214 140736020397184 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 9707 9456 180 372 0 9332 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 38828 [startup+282.301 s] /proc/loadavg: 2.01 2.06 2.01 3/536 9928 /proc/meminfo: memFree=25128840/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=44624 CPUtime=282.3 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 11205 0 0 0 28200 30 0 0 25 0 1 0 802558341 45694976 10884 33554432000 4194304 5714214 140736020397184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 11156 10884 180 372 0 10781 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 44624 [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.00 3/536 9930 /proc/meminfo: memFree=25097040/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=52620 CPUtime=342.29 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 13221 0 0 0 34193 36 0 0 25 0 1 0 802558341 53882880 12900 33554432000 4194304 5714214 140736020397184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 13155 12900 180 372 0 12780 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 52620 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9931 /proc/meminfo: memFree=25048600/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=60828 CPUtime=402.3 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 15213 0 0 0 40186 44 0 0 25 0 1 0 802558341 62287872 14892 33554432000 4194304 5714214 140736020397184 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 15207 14892 180 372 0 14832 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 60828 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9933 /proc/meminfo: memFree=25039996/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=69292 CPUtime=462.3 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 17286 0 0 0 46178 52 0 0 25 0 1 0 802558341 70955008 16965 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 17323 16965 180 372 0 16948 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 69292 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9934 /proc/meminfo: memFree=25030524/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=78700 CPUtime=522.3 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 19618 0 0 0 52171 59 0 0 25 0 1 0 802558341 80588800 19297 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200688 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 19675 19297 180 372 0 19300 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 78700 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 9936 /proc/meminfo: memFree=25021168/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=87688 CPUtime=582.3 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 21860 0 0 0 58163 67 0 0 25 0 1 0 802558341 89792512 21539 33554432000 4194304 5714214 140736020397184 18446744073709551615 4322737 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 21922 21539 180 372 0 21547 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 87688 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.02 2.05 2.01 3/536 9942 /proc/meminfo: memFree=24920072/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=93120 CPUtime=822.31 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 23407 0 0 0 82138 93 0 0 25 0 1 0 802558341 95354880 22947 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 23280 22947 180 372 0 22905 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 93120 [startup+882.301 s] /proc/loadavg: 2.00 2.04 2.00 3/536 9944 /proc/meminfo: memFree=24896344/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=93120 CPUtime=882.31 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 23439 0 0 0 88129 102 0 0 25 0 1 0 802558341 95354880 22979 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 23280 22979 180 372 0 22905 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 93120 [startup+942.301 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9946 /proc/meminfo: memFree=24875720/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=93120 CPUtime=942.32 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 23457 0 0 0 94121 111 0 0 25 0 1 0 802558341 95354880 22997 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 23280 22997 180 372 0 22905 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 93120 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9947 /proc/meminfo: memFree=24853356/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=93120 CPUtime=1002.32 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 23465 0 0 0 100116 116 0 0 25 0 1 0 802558341 95354880 23005 33554432000 4194304 5714214 140736020397184 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 23280 23005 180 372 0 22905 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 93120 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9962 /proc/meminfo: memFree=24828188/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=95100 CPUtime=1062.32 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 23961 0 0 0 106108 124 0 0 25 0 1 0 802558341 97382400 23501 33554432000 4194304 5714214 140736020397184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 23775 23501 180 372 0 23400 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 95100 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 9963 /proc/meminfo: memFree=24796416/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=103172 CPUtime=1122.32 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 25974 0 0 0 112100 132 0 0 25 0 1 0 802558341 105648128 25514 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 25793 25514 180 372 0 25418 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 103172 [startup+1182.3 s] /proc/loadavg: 2.23 2.07 2.02 3/536 9966 /proc/meminfo: memFree=24766600/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=111092 CPUtime=1182.32 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 27936 0 0 0 118091 141 0 0 25 0 1 0 802558341 113758208 27476 33554432000 4194304 5714214 140736020397184 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 27773 27476 180 372 0 27398 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 111092 [startup+1242.3 s] /proc/loadavg: 2.19 2.08 2.02 3/536 9968 /proc/meminfo: memFree=24736292/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=117384 CPUtime=1242.32 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 29496 0 0 0 124086 146 0 0 25 0 1 0 802558341 120201216 29036 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 29346 29036 180 372 0 28971 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 117384 [startup+1302.3 s] /proc/loadavg: 2.07 2.06 2.02 3/536 9969 /proc/meminfo: memFree=24704752/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=123480 CPUtime=1302.33 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 31028 0 0 0 130080 153 0 0 25 0 1 0 802558341 126443520 30568 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 30870 30568 180 372 0 30495 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 123480 [startup+1362.3 s] /proc/loadavg: 2.02 2.05 2.01 3/536 9972 /proc/meminfo: memFree=24679784/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=130920 CPUtime=1362.33 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 32883 0 0 0 136072 161 0 0 25 0 1 0 802558341 134062080 32423 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 32730 32423 180 372 0 32355 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 130920 [startup+1422.32 s] /proc/loadavg: 2.01 2.04 2.01 3/536 9973 /proc/meminfo: memFree=24651704/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=139108 CPUtime=1422.35 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 34925 0 0 0 142068 167 0 0 25 0 1 0 802558341 142446592 34465 33554432000 4194304 5714214 140736020397184 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 34777 34465 180 372 0 34402 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 139108 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 9976 /proc/meminfo: memFree=24622632/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=145800 CPUtime=1482.32 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 36562 0 0 0 148058 174 0 0 25 0 1 0 802558341 149299200 36102 33554432000 4194304 5714214 140736020397184 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 36450 36102 180 372 0 36075 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 145800 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9979 /proc/meminfo: memFree=24587364/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=153196 CPUtime=1542.33 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 38398 0 0 0 154051 182 0 0 25 0 1 0 802558341 156872704 37938 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 38299 37938 180 372 0 37924 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 153196 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 9980 /proc/meminfo: memFree=24555944/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=161416 CPUtime=1602.33 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 40458 0 0 0 160043 190 0 0 25 0 1 0 802558341 165289984 39998 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 40354 39998 180 372 0 39979 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 161416 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 9982 /proc/meminfo: memFree=24524636/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=168676 CPUtime=1662.34 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 42283 0 0 0 166037 197 0 0 25 0 1 0 802558341 172724224 41823 33554432000 4194304 5714214 140736020397184 18446744073709551615 4319347 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 42169 41823 180 372 0 41794 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 168676 [startup+1722.3 s] /proc/loadavg: 2.15 2.04 2.01 3/536 9984 /proc/meminfo: memFree=24491472/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=176736 CPUtime=1722.33 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 44268 0 0 0 172028 205 0 0 25 0 1 0 802558341 180977664 43808 33554432000 4194304 5714214 140736020397184 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 44184 43808 180 372 0 43809 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 176736 [startup+1782.3 s] /proc/loadavg: 2.23 2.07 2.02 3/536 9986 /proc/meminfo: memFree=24463880/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=183700 CPUtime=1782.34 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 46000 0 0 0 178023 211 0 0 25 0 1 0 802558341 188108800 45540 33554432000 4194304 5714214 140736020397184 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 45925 45540 180 372 0 45550 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 183700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.18 2.07 2.02 3/536 9986 /proc/meminfo: memFree=24453084/32951124 swapFree=46970528/67111528 [pid=9897] ppid=9895 vsize=186112 CPUtime=1800.05 cores=0,2,4,6 /proc/9897/stat : 9897 (wbo1.6) R 9895 9897 9437 0 -1 4202496 46609 0 0 0 179791 214 0 0 25 0 1 0 802558341 190578688 46149 33554432000 4194304 5714214 140736020397184 18446744073709551615 4323061 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9897/statm: 46528 46149 180 372 0 46153 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 186112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.08 CPU user time (s): 1797.92 CPU system time (s): 2.15067 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 186112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.92 system time used= 2.15067 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46609 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= 20 involuntary context switches= 5512 runsolver used 10.0425 second user time and 21.0928 second system time The end
Begin job on node146 at 2011-06-03 13:43:41 IDJOB=3460954 IDBENCH=2640 IDSOLVER=1953 FILE ID=node146/3460954-1307101421 RUNJOBID= node146-1307094211-9455 PBS_JOBID= 13498003 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460954-1307101421/watcher-3460954-1307101421 -o /tmp/evaluation-result-3460954-1307101421/solver-3460954-1307101421 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460954-1307101421.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4 RANDOM SEED=1504566891 node146.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.830 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.66 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.830 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.830 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.75 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.830 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.86 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.830 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.75 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.830 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.75 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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: 25263872 kB Buffers: 98272 kB Cached: 216656 kB SwapCached: 60100 kB Active: 193804 kB Inactive: 7253384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25263872 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 5420 kB Writeback: 0 kB AnonPages: 7083692 kB Mapped: 16024 kB Slab: 73136 kB PageTables: 97672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160670164 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= 73716 MiB End job on node146 at 2011-06-03 14:13:43