Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | -13 | 1401.62 | 1402.28 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_3.opb |
MD5SUM | 59a1ef6e3ce4cf2364efcc21910181d3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -13 |
Best CPU time to get the best result obtained on this benchmark | 0.077987 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -13 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
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 | 50 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 618 |
Sum of products size (including duplicates) | 1236 |
Number of different products | 309 |
Sum of products size | 618 |
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-1875325-1245198575.opb. 0.00/0.00 c Instance file HOME/instance-1875325-1245198575.opb 0.00/0.00 c File size is 24155 bytes. 0.00/0.00 c Highest Coefficient sum: 17 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 359 | 0.00/0.00 c | Number Clauses: 359 | 0.00/0.00 c | Number Cardinality: 100 | 0.00/0.00 c | Number PB Constraints: 309 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -49 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -48 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -47 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -46 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -45 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -44 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -43 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -42 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -41 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -40 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -39 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -38 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #13 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -37 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #14 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -36 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #15 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -35 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -34 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -33 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -32 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #19 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -31 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #20 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -30 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #21 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -29 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #22 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -28 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #23 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -27 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #24 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: -26 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #25 0.00/0.03 c Core size: 9 Core Weight: 1 Total Weight: -25 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #26 0.00/0.03 c Core size: 13 Core Weight: 1 Total Weight: -24 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 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 | 108 794 1639 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #27 0.00/0.03 c Core size: 15 Core Weight: 1 Total Weight: -23 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 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 | 114 795 1651 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #28 0.00/0.03 c Core size: 15 Core Weight: 1 Total Weight: -22 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 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 | 120 796 1663 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #29 0.00/0.03 c Core size: 23 Core Weight: 1 Total Weight: -21 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 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 | 128 797 1679 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #30 0.00/0.03 c Core size: 38 Core Weight: 1 Total Weight: -20 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 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 | 143 798 1709 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #31 0.00/0.03 c Core size: 17 Core Weight: 1 Total Weight: -19 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 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 | 149 799 1721 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #32 0.00/0.04 c Core size: 101 Core Weight: 1 Total Weight: -18 0.00/0.04 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 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 | 177 800 1777 | 5000 0 nan | 0.000 % | 0.00/0.04 c | 101 | 177 800 1777 | 5500 101 29 | 63.581 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #33 0.00/0.04 c Core size: 171 Core Weight: 1 Total Weight: -17 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 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 | 211 801 1845 | 5000 0 nan | 0.000 % | 0.00/0.05 c | 103 | 211 801 1845 | 5500 103 48 | 59.423 % | 0.00/0.06 c | 253 | 211 801 1845 | 6050 253 51 | 59.423 % | 0.00/0.07 c | 480 | 211 801 1845 | 6655 480 61 | 59.423 % | 0.08/0.10 c | 817 | 211 801 1845 | 7320 817 71 | 59.423 % | 0.09/0.15 c | 1324 | 210 801 1845 | 8052 1314 81 | 59.616 % | 0.09/0.15 c =============================================================================== 0.09/0.16 c core #34 0.09/0.16 c Core size: 232 Core Weight: 1 Total Weight: -16 0.09/0.16 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 249 802 1921 | 5000 0 nan | 0.000 % | 0.09/0.17 c | 100 | 249 802 1921 | 5500 100 18 | 55.377 % | 0.09/0.17 c | 250 | 249 802 1921 | 6050 250 29 | 55.377 % | 0.09/0.18 c | 478 | 249 802 1921 | 6655 478 39 | 55.377 % | 0.19/0.20 c | 815 | 249 802 1921 | 7320 815 48 | 55.377 % | 0.19/0.23 c | 1321 | 247 802 1921 | 8052 1320 47 | 55.735 % | 0.19/0.26 c =============================================================================== 0.19/0.27 c core #35 0.19/0.27 c Core size: 283 Core Weight: 1 Total Weight: -15 0.19/0.27 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 291 803 2005 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 103 | 291 803 2005 | 5500 103 47 | 51.500 % | 0.19/0.28 c | 254 | 291 803 2005 | 6050 254 46 | 51.500 % | 0.19/0.29 c | 479 | 291 803 2005 | 6655 479 44 | 51.500 % | 0.29/0.31 c | 819 | 291 803 2005 | 7320 819 52 | 51.500 % | 0.29/0.35 c | 1325 | 291 803 2005 | 8052 1325 59 | 51.500 % | 0.39/0.42 c | 2086 | 291 803 2005 | 8857 2086 62 | 51.500 % | 0.49/0.53 c | 3225 | 291 803 2005 | 9743 3225 68 | 51.500 % | 0.80/0.84 c | 4935 | 291 803 2005 | 10717 4935 85 | 51.500 % | 1.39/1.47 c | 7498 | 291 803 2005 | 11789 7498 99 | 51.500 % | 2.59/2.69 c | 11342 | 291 803 2005 | 12968 11342 111 | 51.500 % | 5.49/5.50 c | 17111 | 290 803 2005 | 14265 10291 165 | 51.667 % | 5.89/5.95 c =============================================================================== 6.09/6.15 c core #36 6.09/6.15 c Core size: 402 Core Weight: 1 Total Weight: -14 6.09/6.15 c Elapsed CPU time: 6.08807 s Remaining CPU time: 1793.91 s 6.09/6.17 c ============================[ Search Statistics ]============================== 6.09/6.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.17 c =============================================================================== 6.09/6.17 c | 0 | 341 804 2105 | 5000 0 nan | 0.000 % | 6.09/6.18 c | 103 | 341 804 2105 | 5500 103 74 | 47.539 % | 6.09/6.19 c | 253 | 341 804 2105 | 6050 253 50 | 47.539 % | 6.19/6.20 c | 478 | 341 804 2105 | 6655 478 56 | 47.539 % | 6.19/6.23 c | 817 | 341 804 2105 | 7320 817 87 | 47.539 % | 6.19/6.29 c | 1324 | 341 804 2105 | 8052 1324 101 | 47.539 % | 6.29/6.39 c | 2083 | 341 804 2105 | 8857 2083 98 | 47.539 % | 6.50/6.55 c | 3223 | 341 804 2105 | 9743 3223 115 | 47.539 % | 6.89/6.92 c | 4932 | 341 804 2105 | 10717 4932 118 | 47.539 % | 7.29/7.32 c | 7497 | 341 804 2105 | 11789 7497 112 | 47.539 % | 7.99/8.03 c | 11341 | 341 804 2105 | 12968 11341 103 | 47.539 % | 10.08/10.12 c | 17108 | 341 804 2105 | 14265 10425 126 | 47.539 % | 13.19/13.28 c | 25761 | 341 804 2105 | 15692 11731 126 | 47.539 % | 18.69/18.76 c | 38738 | 341 804 2105 | 17261 8605 124 | 47.539 % | 26.89/26.97 c | 58199 | 341 804 2105 | 18987 10366 177 | 47.539 % | 44.47/44.54 c | 87393 | 341 804 2105 | 20886 10446 222 | 47.539 % | 81.56/81.65 c | 131183 | 341 804 2105 | 22974 11642 258 | 47.539 % | 148.82/148.96 c | 196867 | 341 804 2105 | 25272 18845 284 | 47.539 % | 182.31/182.49 c =============================================================================== 186.81/186.99 c core #37 186.81/186.99 c Core size: 438 Core Weight: 1 Total Weight: -13 186.81/186.99 c Elapsed CPU time: 185.973 s Remaining CPU time: 1614.03 s 187.11/187.24 c ============================[ Search Statistics ]============================== 187.11/187.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.11/187.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.11/187.24 c =============================================================================== 187.11/187.24 c | 0 | 391 805 2205 | 5000 0 nan | 0.000 % | 187.11/187.28 c | 101 | 391 805 2205 | 5500 101 104 | 44.143 % | 187.11/187.28 c | 252 | 391 805 2205 | 6050 252 67 | 44.143 % | 187.21/187.30 c | 483 | 391 805 2205 | 6655 483 61 | 44.143 % | 187.21/187.33 c | 822 | 391 805 2205 | 7320 822 69 | 44.143 % | 187.21/187.39 c | 1330 | 391 805 2205 | 8052 1330 88 | 44.143 % | 187.40/187.51 c | 2091 | 391 805 2205 | 8857 2091 112 | 44.143 % | 187.61/187.73 c | 3230 | 391 805 2205 | 9743 3230 121 | 44.143 % | 188.01/188.11 c | 4939 | 391 805 2205 | 10717 4939 127 | 44.143 % | 188.90/189.03 c | 7501 | 391 805 2205 | 11789 7501 151 | 44.143 % | 190.80/190.97 c | 11345 | 391 805 2205 | 12968 11345 168 | 44.143 % | 194.80/194.94 c | 17111 | 391 805 2205 | 14265 10438 192 | 44.143 % | 201.10/201.29 c | 25761 | 391 805 2205 | 15692 11783 200 | 44.143 % | 209.90/210.01 c | 38736 | 391 805 2205 | 17261 8711 209 | 44.143 % | 220.49/220.65 c | 58198 | 391 805 2205 | 18987 10562 181 | 44.143 % | 252.89/253.01 c | 87391 | 391 805 2205 | 20886 10711 321 | 44.143 % | 291.86/292.01 c | 131180 | 391 805 2205 | 22974 11842 163 | 44.143 % | 360.83/361.00 c | 196865 | 391 805 2205 | 25272 18952 313 | 44.143 % | 486.07/486.33 c | 295391 | 391 805 2205 | 27799 14492 308 | 44.143 % | 682.06/682.42 c | 443182 | 391 805 2205 | 30579 18758 316 | 44.143 % | 1004.41/1004.95 c | 664869 | 391 805 2205 | 33637 20886 252 | 44.143 % | 1320.68/1321.38 c | 997394 | 391 805 2205 | 37001 23584 288 | 44.143 % | 1401.34/1402.04 c =============================================================================== 1401.34/1402.04 c Verified 805 original clauses. 1401.34/1402.04 c #cores: 37 1401.34/1402.04 c Final Weight: -13 1401.34/1402.04 o -13 1401.34/1402.04 s OPTIMUM FOUND 1401.34/1402.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 x36 x37 x38 x39 x40 -x41 -x42 -x43 x44 -x45 x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
OK -13
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875325-1245198575/watcher-1875325-1245198575 -o /tmp/evaluation-result-1875325-1245198575/solver-1875325-1245198575 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875325-1245198575.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9349 /proc/meminfo: memFree=1832096/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=2524 CPUtime=0 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 222 0 0 0 0 0 0 0 18 0 1 0 187453899 2584576 200 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 631 204 134 292 0 336 0 [startup+0.0876971 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9349 /proc/meminfo: memFree=1832096/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=3604 CPUtime=0.08 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 479 0 0 0 8 0 0 0 18 0 1 0 187453899 3690496 457 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 901 457 136 292 0 606 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3604 [startup+0.1017 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9349 /proc/meminfo: memFree=1832096/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=3604 CPUtime=0.09 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 501 0 0 0 9 0 0 0 18 0 1 0 187453899 3690496 479 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 901 479 136 292 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3604 [startup+0.301734 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9349 /proc/meminfo: memFree=1832096/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=4136 CPUtime=0.29 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 630 0 0 0 29 0 0 0 18 0 1 0 187453899 4235264 608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 1034 608 136 292 0 739 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4136 [startup+0.701804 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9349 /proc/meminfo: memFree=1832096/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=5456 CPUtime=0.69 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 961 0 0 0 68 1 0 0 22 0 1 0 187453899 5586944 939 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 1364 939 136 292 0 1069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5456 [startup+1.50194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1827800/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=7964 CPUtime=1.49 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 1585 0 0 0 147 2 0 0 25 0 1 0 187453899 8155136 1563 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 1991 1563 136 292 0 1696 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7964 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1824664/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=11424 CPUtime=3.08 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 2456 0 0 0 305 3 0 0 25 0 1 0 187453899 11698176 2434 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 2856 2434 136 292 0 2561 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11424 [startup+6.30177 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1817368/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=18980 CPUtime=6.29 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 4327 0 0 0 623 6 0 0 25 0 1 0 187453899 19435520 4305 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 4745 4305 136 292 0 4450 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18980 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1811800/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=23880 CPUtime=12.69 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 5562 0 0 0 1257 12 0 0 25 0 1 0 187453899 24453120 5540 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 5970 5540 136 292 0 5675 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23880 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1783320/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=52040 CPUtime=25.48 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 12598 0 0 0 2526 22 0 0 25 0 1 0 187453899 53288960 12576 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 13010 12576 136 292 0 12715 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52040 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1733080/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=101756 CPUtime=51.07 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 25001 0 0 0 5070 37 0 0 25 0 1 0 187453899 104198144 24979 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 25439 24979 136 292 0 25144 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 101756 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1655448/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=178660 CPUtime=102.24 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 44232 0 0 0 10163 61 0 0 25 0 1 0 187453899 182947840 44210 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 44665 44210 136 292 0 44370 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 178660 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1582232/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=251712 CPUtime=162.22 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 62500 0 0 0 16139 83 0 0 25 0 1 0 187453899 257753088 62478 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 62928 62478 136 292 0 62633 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 251712 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1537880/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=295860 CPUtime=222.19 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 73549 0 0 0 22109 110 0 0 25 0 1 0 187453899 302960640 73527 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 73965 73527 136 292 0 73670 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 295860 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1471640/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=362396 CPUtime=282.17 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 90174 0 0 0 28082 135 0 0 25 0 1 0 187453899 371093504 90152 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 90599 90152 136 292 0 90304 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 362396 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1394328/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=439612 CPUtime=342.14 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 109448 0 0 0 34053 161 0 0 25 0 1 0 187453899 450162688 109426 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 109903 109426 136 292 0 109608 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 439612 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1318680/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=515500 CPUtime=402.12 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 128399 0 0 0 40030 182 0 0 25 0 1 0 187453899 527872000 128377 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 128875 128377 136 292 0 128580 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 515500 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1251352/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=582312 CPUtime=462.08 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 145126 0 0 0 46004 204 0 0 25 0 1 0 187453899 596287488 145104 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 145578 145104 136 292 0 145283 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 582312 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1185880/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=648604 CPUtime=522.05 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 161661 0 0 0 51981 224 0 0 25 0 1 0 187453899 664170496 161639 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 162151 161639 136 292 0 161856 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 648604 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1116056/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=717760 CPUtime=582.01 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 178924 0 0 0 57954 247 0 0 25 0 1 0 187453899 734986240 178902 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9349/statm: 179440 178902 136 292 0 179145 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 717760 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=1037016/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=795968 CPUtime=641.98 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 198489 0 0 0 63925 273 0 0 25 0 1 0 187453899 815071232 198467 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 198992 198467 136 292 0 198697 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 795968 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=897944/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=934880 CPUtime=761.94 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 233187 0 0 0 75876 318 0 0 25 0 1 0 187453899 957317120 233165 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 233720 233165 136 292 0 233425 0 Current children cumulated CPU time (s) 761.94 Current children cumulated vsize (KiB) 934880 [startup+822.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=830872/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1002888 CPUtime=821.9 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 250164 0 0 0 81849 341 0 0 25 0 1 0 187453899 1026957312 250142 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 250722 250142 136 292 0 250427 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 1002888 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=766104/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1066720 CPUtime=881.87 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 266090 0 0 0 87825 362 0 0 25 0 1 0 187453899 1092321280 266068 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 266680 266068 136 292 0 266385 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 1066720 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=714136/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1119256 CPUtime=941.84 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 279231 0 0 0 93804 380 0 0 25 0 1 0 187453899 1146118144 279209 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 279814 279209 136 292 0 279519 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 1119256 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=642392/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1190696 CPUtime=1001.81 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 297040 0 0 0 99780 401 0 0 25 0 1 0 187453899 1219272704 297018 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 297674 297018 136 292 0 297379 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 1190696 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=575960/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1257316 CPUtime=1061.79 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 313702 0 0 0 105752 427 0 0 25 0 1 0 187453899 1287491584 313680 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 314329 313680 136 292 0 314034 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 1257316 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=515416/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1317416 CPUtime=1121.76 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 328699 0 0 0 111719 457 0 0 25 0 1 0 187453899 1349033984 328677 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 329354 328677 136 292 0 329059 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 1317416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=464344/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1368616 CPUtime=1181.73 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 341496 0 0 0 117693 480 0 0 25 0 1 0 187453899 1401462784 341474 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 342154 341474 136 292 0 341859 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 1368616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=410008/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1423428 CPUtime=1241.71 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 355169 0 0 0 123666 505 0 0 25 0 1 0 187453899 1457590272 355147 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 355857 355147 136 292 0 355562 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 1423428 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9350 /proc/meminfo: memFree=336408/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1495580 CPUtime=1301.69 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 373219 0 0 0 129640 529 0 0 25 0 1 0 187453899 1531473920 373197 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 373895 373197 136 292 0 373600 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 1495580 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=281432/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1551196 CPUtime=1361.66 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 387123 0 0 0 135616 550 0 0 25 0 1 0 187453899 1588424704 387101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 387799 387101 136 292 0 387504 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 1551196 Solver just ended. Dumping a history of the last processes samples [startup+1382.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=251672/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1581056 CPUtime=1381.65 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 394570 0 0 0 137605 560 0 0 25 0 1 0 187453899 1619001344 394548 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 395264 394548 136 292 0 394969 0 Current children cumulated CPU time (s) 1381.65 Current children cumulated vsize (KiB) 1581056 [startup+1395.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=236056/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1596380 CPUtime=1394.44 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 398389 0 0 0 138880 564 0 0 25 0 1 0 187453899 1634693120 398367 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 399095 398367 136 292 0 398800 0 Current children cumulated CPU time (s) 1394.44 Current children cumulated vsize (KiB) 1596380 [startup+1398.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=232792/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1599284 CPUtime=1397.64 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 399131 0 0 0 139198 566 0 0 25 0 1 0 187453899 1637666816 399109 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 399821 399109 136 292 0 399526 0 Current children cumulated CPU time (s) 1397.64 Current children cumulated vsize (KiB) 1599284 [startup+1399.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=231960/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1600736 CPUtime=1399.23 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 399489 0 0 0 139357 566 0 0 25 0 1 0 187453899 1639153664 399467 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 400184 399467 136 292 0 399889 0 Current children cumulated CPU time (s) 1399.23 Current children cumulated vsize (KiB) 1600736 [startup+1401.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=229656/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1602452 CPUtime=1400.84 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 399908 0 0 0 139517 567 0 0 25 0 1 0 187453899 1640910848 399886 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 400613 399886 136 292 0 400318 0 Current children cumulated CPU time (s) 1400.84 Current children cumulated vsize (KiB) 1602452 [startup+1401.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=229656/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=1602584 CPUtime=1401.24 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194304 399970 0 0 0 139557 567 0 0 25 0 1 0 187453899 1641046016 399948 1992294400 134512640 135709839 4294956240 18446744073709551615 134568594 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 400646 399948 136 292 0 400351 0 Current children cumulated CPU time (s) 1401.24 Current children cumulated vsize (KiB) 1602584 [startup+1402.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=229656/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=0 CPUtime=1401.43 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194308 400012 0 0 0 139571 572 0 0 25 0 1 0 187453899 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1401.43 Current children cumulated vsize (KiB) 0 [startup+1402.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9352 /proc/meminfo: memFree=229656/2055920 swapFree=4181252/4192956 [pid=9349] ppid=9347 vsize=0 CPUtime=1401.53 /proc/9349/stat : 9349 (wbo) R 9347 9349 8701 0 -1 4194308 400012 0 0 0 139571 582 0 0 25 0 1 0 187453899 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/9349/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1401.53 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1402.28 CPU time (s): 1401.62 CPU user time (s): 1395.72 CPU system time (s): 5.9071 CPU usage (%): 99.9533 Max. virtual memory (cumulated for all children) (KiB): 1602716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1395.72 system time used= 5.9071 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 400012 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= 3998 runsolver used 1.27381 second user time and 3.83542 second system time The end
Begin job on node48 at 2009-06-17 02:29:35 IDJOB=1875325 IDBENCH=48165 IDSOLVER=698 FILE ID=node48/1875325-1245198575 PBS_JOBID= 9368337 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_50_10_3.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-1875325-1245198575/watcher-1875325-1245198575 -o /tmp/evaluation-result-1875325-1245198575/solver-1875325-1245198575 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875325-1245198575.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 59a1ef6e3ce4cf2364efcc21910181d3 RANDOM SEED=668064195 node48.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.270 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.270 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: 1832576 kB Buffers: 45792 kB Cached: 108608 kB SwapCached: 5468 kB Active: 82968 kB Inactive: 79272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832576 kB SwapTotal: 4192956 kB SwapFree: 4181252 kB Dirty: 2504 kB Writeback: 0 kB Mapped: 13544 kB Slab: 47124 kB Committed_AS: 169616 kB PageTables: 1372 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-1875325-1245198575.opb Free space on /tmp at the end= 66232 MiB End job on node48 at 2009-06-17 02:52:58