Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver inc-topdown-quickBound (fixed) | ? (TO) | 1800.04 | 1805.22 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366.opb |
MD5SUM | 6c9e0b609933fe8ad00a26b0c61df9b5 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 95378 |
Best CPU time to get the best result obtained on this benchmark | 1.87271 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1998 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 498 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 1500 |
Biggest coefficient in the objective function | 114804 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 51310374 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 114804 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 51310374 |
Number of bits of the biggest sum of numbers | 26 |
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.02 c run inc solver 0.00/0.02 c [INC SYSTEM] run initial solver 0.00/0.02 c [INC SYSTEM] preprocess with white file 0.00/0.20 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.20 c [INC SYSTEM] execute solver 0.00/0.22 c [INC SEARCH] formula is SAT 0.00/0.22 c [INC SYSTEM] solved the initial formula 0.00/0.22 c model valid 0.00/0.22 c current solution ok 0.00/0.25 o 379609 0.00/0.25 c starting approximation 0.00/0.25 c factor = 1130 0.00/0.25 c factor still to low - shrinking to 1708.24 0.00/0.25 c approx number of clauses: 1e+06 0.00/0.25 c current bound: 189804 3.26/3.38 c model valid 3.26/3.38 c current solution ok 3.26/3.39 c current bound: 189804 6.19/6.50 c model valid 6.19/6.50 c current solution ok 6.19/6.50 c current bound: 189804 9.32/9.63 c model valid 9.32/9.63 c current solution ok 9.32/9.63 c current bound: 189804 12.45/12.75 c model valid 12.45/12.75 c current solution ok 12.45/12.76 c current bound: 189804 15.57/15.88 c model valid 15.57/15.88 c current solution ok 15.57/15.89 c current bound: 189804 18.69/19.00 c model valid 18.69/19.00 c current solution ok 18.69/19.01 c current bound: 189804 22.07/22.15 c model valid 22.07/22.15 c current solution ok 22.07/22.15 c current bound: 189804 25.17/25.28 c model valid 25.17/25.28 c current solution ok 25.17/25.28 c current bound: 189804 28.07/28.37 c model valid 28.07/28.37 c current solution ok 28.07/28.38 c current bound: 189804 31.17/31.65 c model valid 31.17/31.65 c current solution ok 31.17/31.65 c current bound: 189804 34.30/34.77 c model valid 34.30/34.77 c current solution ok 34.30/34.77 c current bound: 189804 37.43/37.90 c model valid 37.43/37.90 c current solution ok 37.43/37.91 c current bound: 189804 40.56/41.04 c model valid 40.56/41.04 c current solution ok 40.56/41.04 c current bound: 189804 43.91/44.15 c model valid 43.91/44.15 c current solution ok 43.91/44.15 c current bound: 189804 47.01/47.28 c model valid 47.01/47.28 c current solution ok 47.01/47.28 c current bound: 189804 50.23/50.40 c model valid 50.23/50.40 c current solution ok 50.23/50.40 c current bound: 189804 53.04/53.50 c model valid 53.04/53.50 c current solution ok 53.04/53.51 c current bound: 189804 56.17/56.62 c model valid 56.17/56.62 c current solution ok 56.17/56.63 c current bound: 189804 59.30/59.75 c model valid 59.30/59.75 c current solution ok 59.30/59.76 c current bound: 189804 62.61/62.84 c model valid 62.61/62.84 c current solution ok 62.61/62.84 c current bound: 189804 65.72/65.96 c model valid 65.72/65.96 c current solution ok 65.72/65.97 c current bound: 189804 68.64/69.10 c model valid 68.64/69.10 c current solution ok 68.64/69.11 c current bound: 189804 71.73/72.19 c model valid 71.73/72.19 c current solution ok 72.02/72.20 c current bound: 189804 74.86/75.33 c model valid 74.86/75.33 c current solution ok 74.86/75.33 c current bound: 189804 77.97/78.46 c model valid 77.97/78.46 c current solution ok 77.97/78.46 c current bound: 189804 81.31/81.58 c model valid 81.31/81.58 c current solution ok 81.31/81.59 c current bound: 189804 84.51/84.73 c model valid 84.51/84.73 c current solution ok 84.51/84.73 c current bound: 189804 87.39/87.86 c model valid 87.39/87.86 c current solution ok 87.39/87.87 c current bound: 189804 90.52/90.98 c model valid 90.52/90.98 c current solution ok 90.52/90.98 c current bound: 189804 93.64/94.10 c model valid 93.64/94.10 c current solution ok 93.64/94.11 c current bound: 189804 96.78/97.23 c model valid 96.78/97.23 c current solution ok 96.78/97.24 c current bound: 189804 99.90/100.36 c model valid 99.90/100.36 c current solution ok 99.90/100.37 c current bound: 189804 103.22/103.41 c model valid 103.22/103.41 c current solution ok 103.22/103.41 c current bound: 189804 106.08/106.54 c model valid 106.08/106.54 c current solution ok 106.08/106.54 c current bound: 189804 109.22/109.68 c model valid 109.22/109.68 c current solution ok 109.22/109.68 c current bound: 189804 112.31/112.77 c model valid 112.31/112.77 c current solution ok 112.31/112.77 c current bound: 189804 115.45/115.90 c model valid 115.45/115.90 c current solution ok 115.45/115.91 c current bound: 189804 118.57/119.03 c model valid 118.57/119.03 c current solution ok 118.57/119.03 c current bound: 189804 121.90/122.13 c model valid 121.90/122.13 c current solution ok 121.90/122.13 c current bound: 189804 124.79/125.26 c model valid 124.79/125.26 c current solution ok 124.79/125.26 c current bound: 189804 127.92/128.39 c model valid 127.92/128.39 c current solution ok 127.92/128.39 c current bound: 189804 131.04/131.51 c model valid 131.04/131.51 c current solution ok 131.04/131.52 c current bound: 189804 134.17/134.62 c model valid 134.17/134.62 c current solution ok 134.17/134.63 c current bound: 189804 137.28/137.76 c model valid 137.28/137.76 c current solution ok 137.28/137.76 c current bound: 189804 140.59/140.87 c model valid 140.59/140.87 c current solution ok 140.59/140.88 c current bound: 189804 143.79/144.06 c model valid 143.79/144.06 c current solution ok 143.79/144.07 c current bound: 189804 146.78/147.29 c model valid 146.78/147.29 c current solution ok 146.78/147.30 c current bound: 189804 149.93/150.45 c model valid 149.93/150.45 c current solution ok 149.93/150.45 c current bound: 189804 153.16/153.68 c model valid 153.16/153.68 c current solution ok 153.16/153.69 c current bound: 189804 156.54/156.80 c model valid 156.54/156.80 c current solution ok 156.54/156.80 c current bound: 189804 159.45/159.98 c model valid 159.45/159.98 c current solution ok 159.45/159.98 c current bound: 189804 162.65/163.19 c model valid 162.65/163.19 c current solution ok 162.93/163.20 c current bound: 189804 165.84/166.38 c model valid 165.84/166.38 c current solution ok 165.84/166.39 c current bound: 189804 169.04/169.61 c model valid 169.04/169.61 c current solution ok 169.04/169.61 c current bound: 189804 172.38/172.77 c model valid 172.38/172.77 c current solution ok 172.38/172.77 c current bound: 189804 175.57/175.96 c model valid 175.57/175.96 c current solution ok 175.57/175.97 c current bound: 189804 178.56/179.16 c model valid 178.56/179.16 c current solution ok 178.56/179.17 c current bound: 189804 181.73/182.33 c model valid 181.73/182.33 c current solution ok 181.73/182.33 c current bound: 189804 184.95/185.56 c model valid 184.95/185.56 c current solution ok 184.95/185.57 c current bound: 189804 188.18/188.85 c model valid 188.18/188.85 c current solution ok 188.55/189.01 c current bound: 189804 191.37/192.05 c model valid 191.37/192.05 c current solution ok 191.37/192.06 c current bound: 189804 194.58/195.27 c model valid 194.58/195.27 c current solution ok 194.58/195.27 c current bound: 189804 197.80/198.50 c model valid 197.80/198.50 c current solution ok 197.80/198.50 c current bound: 189804 201.00/201.70 c model valid 201.00/201.70 c current solution ok 201.00/201.70 c current bound: 189804 204.19/205.03 c model valid 204.19/205.03 c current solution ok 204.19/205.04 c current bound: 189804 207.40/208.25 c model valid 207.40/208.25 c current solution ok 207.40/208.25 c current bound: 189804 210.61/211.46 c model valid 210.61/211.46 c current solution ok 210.61/211.47 c current bound: 189804 213.82/214.68 c model valid 213.82/214.68 c current solution ok 213.82/214.69 c current bound: 189804 217.22/217.89 c model valid 217.22/217.89 c current solution ok 217.32/217.90 c current bound: 189804 220.50/221.21 c model valid 220.50/221.21 c current solution ok 220.50/221.22 c current bound: 189804 223.70/224.40 c model valid 223.70/224.40 c current solution ok 223.70/224.41 c current bound: 189804 226.53/227.52 c model valid 226.53/227.52 c current solution ok 226.53/227.52 c current bound: 189804 229.71/230.70 c model valid 229.71/230.70 c current solution ok 229.71/230.70 c current bound: 189804 232.93/233.92 c model valid 232.93/233.92 c current solution ok 232.93/233.93 c current bound: 189804 236.16/237.16 c model valid 236.16/237.16 c current solution ok 236.16/237.17 c current bound: 189804 239.38/240.43 c model valid 239.38/240.43 c current solution ok 239.38/240.43 c current bound: 189804 242.52/243.56 c model valid 242.52/243.56 c current solution ok 242.52/243.57 c current bound: 189804 245.73/246.77 c model valid 245.73/246.77 c current solution ok 245.73/246.78 c current bound: 189804 248.93/249.99 c model valid 248.93/249.99 c current solution ok 248.93/249.99 c current bound: 189804 252.30/253.15 c model valid 252.30/253.15 c current solution ok 252.30/253.15 c current bound: 189804 255.50/256.35 c model valid 255.50/256.35 c current solution ok 255.50/256.36 c current bound: 189804 258.74/259.66 c model valid 258.74/259.66 c current solution ok 258.74/259.67 c current bound: 189804 261.88/262.82 c model valid 261.88/262.82 c current solution ok 261.88/262.83 c current bound: 189804 264.80/265.99 c model valid 264.80/265.99 c current solution ok 264.80/265.99 c current bound: 189804 268.03/269.22 c model valid 268.03/269.22 c current solution ok 268.03/269.22 c current bound: 189804 271.10/272.31 c model valid 271.10/272.31 c current solution ok 271.10/272.32 c current bound: 189804 274.22/275.43 c model valid 274.22/275.43 c current solution ok 274.22/275.44 c current bound: 189804 277.44/278.65 c model valid 277.44/278.65 c current solution ok 277.44/278.65 c current bound: 189804 280.60/281.97 c model valid 280.60/281.97 c current solution ok 280.60/281.98 c current bound: 189804 283.80/285.18 c model valid 283.80/285.18 c current solution ok 283.80/285.19 c current bound: 189804 287.01/288.39 c model valid 287.01/288.39 c current solution ok 287.01/288.39 c current bound: 189804 290.49/291.60 c model valid 290.49/291.60 c current solution ok 290.49/291.60 c current bound: 189804 293.58/294.79 c model valid 293.58/294.79 c current solution ok 293.58/294.80 c current bound: 189804 296.60/298.00 c model valid 296.60/298.00 c current solution ok 296.88/298.01 c current bound: 189804 299.80/301.23 c model valid 299.80/301.23 c current solution ok 299.80/301.24 c current bound: 189804 302.99/304.42 c model valid 302.99/304.42 c current solution ok 302.99/304.43 c current bound: 189804 306.12/307.54 c model valid 306.12/307.54 c current solution ok 306.12/307.54 c current bound: 189804 309.33/310.76 c model valid 309.33/310.76 c current solution ok 309.33/310.76 c current bound: 189804 312.52/313.95 c model valid 312.52/313.95 c current solution ok 312.52/313.95 c current bound: 189804 315.72/317.16 c model valid 315.72/317.16 c current solution ok 315.72/317.16 c current bound: 189804 318.93/320.50 c model valid 318.93/320.50 c current solution ok 318.93/320.50 c current bound: 189804 322.05/323.62 c model valid 322.05/323.62 c current solution ok 322.05/323.62 c current bound: 189804 325.49/326.83 c model valid 325.49/326.83 c current solution ok 325.49/326.83 c current bound: 189804 328.69/330.04 c model valid 328.69/330.04 c current solution ok 328.69/330.04 c current bound: 189804 331.89/333.22 c model valid 331.89/333.22 c current solution ok 331.89/333.22 c current bound: 189804 334.83/336.42 c model valid 334.83/336.42 c current solution ok 334.83/336.42 c current bound: 189804 338.03/339.65 c model valid 338.03/339.65 c current solution ok 338.03/339.66 c current bound: 189804 341.12/342.78 c model valid 341.12/342.78 c current solution ok 341.12/342.79 c current bound: 189804 344.23/345.88 c model valid 344.23/345.88 c current solution ok 344.23/345.89 c current bound: 189804 347.44/349.10 c model valid 347.44/349.10 c current solution ok 347.44/349.11 c current bound: 189804 350.90/352.30 c model valid 350.90/352.30 c current solution ok 350.90/352.30 c current bound: 189804 353.83/355.50 c model valid 353.83/355.50 c current solution ok 353.83/355.50 c current bound: 189804 357.28/358.71 c model valid 357.28/358.71 c current solution ok 357.28/358.71 c current bound: 189804 360.43/361.94 c model valid 360.43/361.94 c current solution ok 360.43/361.94 c current bound: 189804 363.63/365.15 c model valid 363.63/365.15 c current solution ok 363.63/365.15 c current bound: 189804 366.57/368.31 c model valid 366.57/368.31 c current solution ok 366.57/368.31 c current bound: 189804 369.68/371.43 c model valid 369.68/371.43 c current solution ok 369.68/371.43 c current bound: 189804 372.92/374.67 c model valid 372.92/374.67 c current solution ok 372.92/374.67 c current bound: 189804 376.13/377.89 c model valid 376.13/377.89 c current solution ok 376.13/377.89 c current bound: 189804 379.36/381.25 c model valid 379.36/381.25 c current solution ok 379.36/381.25 c current bound: 189804 382.56/384.45 c model valid 382.56/384.45 c current solution ok 382.56/384.45 c current bound: 189804 385.74/387.63 c model valid 385.74/387.63 c current solution ok 385.74/387.63 c current bound: 189804 388.96/390.86 c model valid 388.96/390.86 c current solution ok 388.96/390.86 c current bound: 189804 392.17/394.07 c model valid 392.17/394.07 c current solution ok 392.17/394.08 c current bound: 189804 395.39/397.43 c model valid 395.39/397.43 c current solution ok 395.39/397.46 c current bound: 189804 398.60/400.64 c model valid 398.60/400.64 c current solution ok 398.60/400.64 c current bound: 189804 402.03/403.85 c model valid 402.03/403.85 c current solution ok 402.03/403.85 c current bound: 189804 405.22/407.05 c model valid 405.22/407.05 c current solution ok 405.22/407.05 c current bound: 189804 408.21/410.25 c model valid 408.21/410.25 c current solution ok 408.21/410.25 c current bound: 189804 411.33/413.38 c model valid 411.33/413.38 c current solution ok 411.33/413.38 c current bound: 189804 414.54/416.65 c model valid 414.54/416.65 c current solution ok 414.54/416.65 c current bound: 189804 417.76/419.87 c model valid 417.76/419.87 c current solution ok 417.76/419.88 c current bound: 189804 420.95/423.06 c model valid 420.95/423.06 c current solution ok 420.95/423.06 c current bound: 189804 424.06/426.17 c model valid 424.06/426.17 c current solution ok 424.06/426.18 c current bound: 189804 427.55/429.40 c model valid 427.55/429.40 c current solution ok 427.55/429.40 c current bound: 189804 430.44/432.59 c model valid 430.44/432.59 c current solution ok 430.44/432.59 c current bound: 189804 433.92/435.80 c model valid 433.92/435.80 c current solution ok 433.92/435.84 c current bound: 189804 436.99/438.94 c model valid 436.99/438.94 c current solution ok 436.99/438.95 c current bound: 189804 439.96/442.14 c model valid 439.96/442.14 c current solution ok 439.96/442.14 c current bound: 189804 443.14/445.33 c model valid 443.14/445.33 c current solution ok 443.14/445.33 c current bound: 189804 446.33/448.51 c model valid 446.33/448.51 c current solution ok 446.33/448.51 c current bound: 189804 449.53/451.73 c model valid 449.53/451.73 c current solution ok 449.53/451.74 c current bound: 189804 452.64/454.84 c model valid 452.64/454.84 c current solution ok 452.64/454.84 c current bound: 189804 455.85/458.16 c model valid 455.85/458.16 c current solution ok 455.85/458.17 c current bound: 189804 459.07/461.38 c model valid 459.07/461.38 c current solution ok 459.07/461.39 c current bound: 189804 462.28/464.59 c model valid 462.28/464.59 c current solution ok 462.56/464.60 c current bound: 189804 465.64/467.76 c model valid 465.64/467.76 c current solution ok 465.64/467.77 c current bound: 189804 468.73/470.89 c model valid 468.73/470.89 c current solution ok 468.73/470.90 c current bound: 189804 471.76/474.09 c model valid 471.76/474.09 c current solution ok 471.76/474.09 c current bound: 189804 474.94/477.32 c model valid 474.94/477.32 c current solution ok 474.94/477.32 c current bound: 189804 478.07/480.47 c model valid 478.07/480.47 c current solution ok 478.07/480.47 c current bound: 189804 481.29/483.69 c model valid 481.29/483.69 c current solution ok 481.56/483.70 c current bound: 189804 484.50/486.90 c model valid 484.50/486.90 c current solution ok 484.50/486.91 c current bound: 189804 487.73/490.13 c model valid 487.73/490.13 c current solution ok 487.73/490.13 c current bound: 189804 490.95/493.34 c model valid 490.95/493.34 c current solution ok 490.95/493.35 c current bound: 189804 494.16/496.73 c model valid 494.16/496.73 c current solution ok 494.16/496.74 c current bound: 189804 497.39/499.96 c model valid 497.39/499.96 c current solution ok 497.39/499.96 c current bound: 189804 500.61/503.18 c model valid 500.61/503.18 c current solution ok 500.61/503.18 c current bound: 189804 504.10/506.40 c model valid 504.10/506.40 c current solution ok 504.10/506.40 c current bound: 189804 507.30/509.60 c model valid 507.30/509.60 c current solution ok 507.30/509.60 c current bound: 189804 510.38/512.77 c model valid 510.38/512.77 c current solution ok 510.47/512.82 c current bound: 189804 513.64/516.01 c model valid 513.64/516.01 c current solution ok 513.64/516.01 c current bound: 189804 516.84/519.21 c model valid 516.84/519.21 c current solution ok 516.84/519.22 c current bound: 189804 519.74/522.38 c model valid 519.74/522.38 c current solution ok 519.74/522.38 c current bound: 189804 522.96/525.61 c model valid 522.96/525.61 c current solution ok 522.96/525.61 c current bound: 189804 526.19/528.84 c model valid 526.19/528.84 c current solution ok 526.19/528.84 c current bound: 189804 529.40/532.10 c model valid 529.40/532.10 c current solution ok 529.40/532.11 c current bound: 189804 532.57/535.29 c model valid 532.57/535.29 c current solution ok 532.57/535.29 c current bound: 189804 535.78/538.49 c model valid 535.78/538.49 c current solution ok 535.78/538.49 c current bound: 189804 538.98/541.69 c model valid 538.98/541.69 c current solution ok 539.26/541.70 c current bound: 189804 542.20/544.93 c model valid 542.20/544.93 c current solution ok 542.20/544.93 c current bound: 189804 545.40/548.14 c model valid 545.40/548.14 c current solution ok 545.40/548.15 c current bound: 189804 548.88/551.49 c model valid 548.88/551.49 c current solution ok 548.88/551.49 c current bound: 189804 551.83/554.70 c model valid 551.83/554.70 c current solution ok 551.83/554.70 c current bound: 189804 555.20/557.81 c model valid 555.20/557.81 c current solution ok 555.20/557.82 c current bound: 189804 558.39/561.01 c model valid 558.39/561.01 c current solution ok 558.39/561.02 c current bound: 189804 561.32/564.20 c model valid 561.32/564.20 c current solution ok 561.32/564.20 c current bound: 189804 564.56/567.59 c model valid 564.56/567.59 c current solution ok 564.56/567.59 c current bound: 189804 567.95/570.70 c model valid 567.95/570.70 c current solution ok 567.95/570.70 c current bound: 189804 570.70/573.73 c model valid 570.70/573.73 c current solution ok 570.70/573.73 c current bound: 189804 573.92/576.95 c model valid 573.92/576.95 c current solution ok 573.92/576.96 c current bound: 189804 577.03/580.07 c model valid 577.03/580.07 c current solution ok 577.03/580.08 c current bound: 189804 580.42/583.23 c model valid 580.42/583.23 c current solution ok 580.42/583.24 c current bound: 189804 583.61/586.44 c model valid 583.61/586.44 c current solution ok 583.61/586.45 c current bound: 189804 586.82/589.65 c model valid 586.82/589.65 c current solution ok 586.82/589.66 c current bound: 189804 589.74/592.79 c model valid 589.74/592.79 c current solution ok 589.74/592.79 c current bound: 189804 592.85/595.90 c model valid 592.85/595.90 c current solution ok 592.85/595.91 c current bound: 189804 596.04/599.11 c model valid 596.04/599.11 c current solution ok 596.04/599.11 c current bound: 189804 599.23/602.29 c model valid 599.23/602.29 c current solution ok 599.51/602.30 c current bound: 189804 602.44/605.52 c model valid 602.44/605.52 c current solution ok 602.44/605.52 c current bound: 189804 605.66/608.74 c model valid 605.66/608.74 c current solution ok 605.66/608.74 c current bound: 189804 608.86/611.94 c model valid 608.86/611.94 c current solution ok 608.86/611.94 c current bound: 189804 612.06/615.19 c model valid 612.06/615.19 c current solution ok 612.06/615.19 c current bound: 189804 615.42/618.39 c model valid 615.42/618.39 c current solution ok 615.42/618.39 c current bound: 189804 618.37/621.50 c model valid 618.37/621.50 c current solution ok 618.65/621.50 c current bound: 189804 621.55/624.68 c model valid 621.55/624.68 c current solution ok 621.55/624.69 c current bound: 189804 624.79/627.92 c model valid 624.79/627.92 c current solution ok 624.79/627.93 c current bound: 189804 627.98/631.12 c model valid 627.98/631.12 c current solution ok 627.98/631.13 c current bound: 189804 631.22/634.47 c model valid 631.22/634.47 c current solution ok 631.22/634.47 c current bound: 189804 634.43/637.69 c model valid 634.43/637.69 c current solution ok 634.43/637.69 c current bound: 189804 637.65/640.91 c model valid 637.65/640.91 c current solution ok 637.65/640.91 c current bound: 189804 640.87/644.14 c model valid 640.87/644.14 c current solution ok 640.87/644.15 c current bound: 189804 644.06/647.32 c model valid 644.06/647.32 c current solution ok 644.06/647.32 c current bound: 189804 647.27/650.67 c model valid 647.27/650.67 c current solution ok 647.27/650.68 c current bound: 189804 650.48/653.88 c model valid 650.48/653.88 c current solution ok 650.48/653.88 c current bound: 189804 653.68/657.09 c model valid 653.68/657.09 c current solution ok 653.68/657.09 c current bound: 189804 656.88/660.29 c model valid 656.88/660.29 c current solution ok 656.88/660.29 c current bound: 189804 660.34/663.53 c model valid 660.34/663.53 c current solution ok 660.34/663.53 c current bound: 189804 663.54/666.76 c model valid 663.54/666.76 c current solution ok 663.62/667.28 c current bound: 189804 666.57/670.51 c model valid 666.57/670.51 c current solution ok 666.57/670.51 c current bound: 189804 669.78/673.73 c model valid 669.78/673.73 c current solution ok 669.78/673.74 c current bound: 189804 673.00/676.95 c model valid 673.00/676.95 c current solution ok 673.00/676.95 c current bound: 189804 676.18/680.13 c model valid 676.18/680.13 c current solution ok 676.18/680.13 c current bound: 189804 679.61/683.34 c model valid 679.61/683.34 c current solution ok 679.61/683.34 c current bound: 189804 682.81/686.55 c model valid 682.81/686.55 c current solution ok 682.81/686.55 c current bound: 189804 686.00/689.73 c model valid 686.00/689.73 c current solution ok 686.00/689.74 c current bound: 189804 688.99/692.93 c model valid 688.99/692.93 c current solution ok 688.99/692.94 c current bound: 189804 692.17/696.13 c model valid 692.17/696.13 c current solution ok 692.17/696.14 c current bound: 189804 695.41/699.37 c model valid 695.41/699.37 c current solution ok 695.41/699.37 c current bound: 189804 698.64/702.63 c model valid 698.64/702.63 c current solution ok 698.64/702.63 c current bound: 189804 701.90/705.87 c model valid 701.90/705.87 c current solution ok 701.90/705.87 c current bound: 189804 705.40/709.10 c model valid 705.40/709.10 c current solution ok 705.40/709.10 c current bound: 189804 708.35/712.33 c model valid 708.35/712.33 c current solution ok 708.35/712.33 c current bound: 189804 711.58/715.55 c model valid 711.58/715.55 c current solution ok 711.58/715.56 c current bound: 189804 714.79/718.77 c model valid 714.79/718.77 c current solution ok 714.79/718.78 c current bound: 189804 718.01/721.98 c model valid 718.01/721.98 c current solution ok 718.01/721.98 c current bound: 189804 721.20/725.19 c model valid 721.20/725.19 c current solution ok 721.20/725.19 c current bound: 189804 724.66/728.42 c model valid 724.66/728.42 c current solution ok 724.66/728.42 c current bound: 189804 727.87/731.63 c model valid 727.87/731.63 c current solution ok 727.87/731.63 c current bound: 189804 731.07/734.84 c model valid 731.07/734.84 c current solution ok 731.07/734.84 c current bound: 189804 734.04/738.04 c model valid 734.04/738.04 c current solution ok 734.04/738.05 c current bound: 189804 737.25/741.26 c model valid 737.25/741.26 c current solution ok 737.25/741.26 c current bound: 189804 740.46/744.47 c model valid 740.46/744.47 c current solution ok 740.46/744.47 c current bound: 189804 743.71/747.71 c model valid 743.71/747.71 c current solution ok 743.71/747.72 c current bound: 189804 746.91/750.92 c model valid 746.91/750.92 c current solution ok 746.91/750.92 c current bound: 189804 750.11/754.11 c model valid 750.11/754.11 c current solution ok 750.11/754.12 c current bound: 189804 753.34/757.36 c model valid 753.34/757.36 c current solution ok 753.34/757.36 c current bound: 189804 756.49/760.50 c model valid 756.49/760.50 c current solution ok 756.49/760.51 c current bound: 189804 759.82/763.65 c model valid 759.82/763.65 c current solution ok 759.82/763.65 c current bound: 189804 763.03/766.88 c model valid 763.03/766.88 c current solution ok 763.03/766.88 c current bound: 189804 766.22/770.10 c model valid 766.22/770.10 c current solution ok 766.34/770.10 c current bound: 189804 769.22/773.27 c model valid 769.22/773.27 c current solution ok 769.22/773.28 c current bound: 189804 772.43/776.49 c model valid 772.43/776.49 c current solution ok 772.43/776.49 c current bound: 189804 775.68/779.74 c model valid 775.68/779.74 c current solution ok 775.68/779.74 c current bound: 189804 778.89/782.94 c model valid 778.89/782.94 c current solution ok 778.89/782.95 c current bound: 189804 782.14/786.19 c model valid 782.14/786.19 c current solution ok 782.40/786.20 c current bound: 189804 785.37/789.44 c model valid 785.37/789.44 c current solution ok 785.37/789.45 c current bound: 189804 788.56/792.64 c model valid 788.56/792.64 c current solution ok 788.56/792.64 c current bound: 189804 791.80/795.87 c model valid 791.80/795.87 c current solution ok 791.80/795.88 c current bound: 189804 795.03/799.12 c model valid 795.03/799.12 c current solution ok 795.03/799.13 c current bound: 189804 798.26/802.35 c model valid 798.26/802.35 c current solution ok 798.26/802.35 c current bound: 189804 801.48/805.58 c model valid 801.48/805.58 c current solution ok 801.48/805.59 c current bound: 189804 804.73/808.82 c model valid 804.73/808.82 c current solution ok 804.73/808.82 c current bound: 189804 808.16/812.04 c model valid 808.16/812.04 c current solution ok 808.16/812.05 c current bound: 189804 811.35/815.27 c model valid 811.35/815.27 c current solution ok 811.35/815.27 c current bound: 189804 814.55/818.50 c model valid 814.55/818.50 c current solution ok 814.55/818.50 c current bound: 189804 817.85/821.72 c model valid 817.85/821.72 c current solution ok 817.85/821.73 c current bound: 189804 820.82/824.94 c model valid 820.82/824.94 c current solution ok 820.82/824.94 c current bound: 189804 824.03/828.15 c model valid 824.03/828.15 c current solution ok 824.03/828.15 c current bound: 189804 827.27/831.39 c model valid 827.27/831.39 c current solution ok 827.54/831.40 c current bound: 189804 830.51/834.64 c model valid 830.51/834.64 c current solution ok 830.51/834.65 c current bound: 189804 833.65/837.78 c model valid 833.65/837.78 c current solution ok 833.65/837.79 c current bound: 189804 836.80/840.94 c model valid 836.80/840.94 c current solution ok 836.80/840.94 c current bound: 189804 840.04/844.17 c model valid 840.04/844.17 c current solution ok 840.04/844.18 c current bound: 189804 843.28/847.41 c model valid 843.28/847.41 c current solution ok 843.28/847.42 c current bound: 189804 846.49/850.63 c model valid 846.49/850.63 c current solution ok 846.49/850.64 c current bound: 189804 849.90/853.86 c model valid 849.90/853.86 c current solution ok 849.90/853.87 c current bound: 189804 853.11/857.09 c model valid 853.11/857.09 c current solution ok 853.21/857.10 c current bound: 189804 856.42/860.30 c model valid 856.42/860.30 c current solution ok 856.42/860.31 c current bound: 189804 859.60/863.55 c model valid 859.60/863.55 c current solution ok 859.60/863.56 c current bound: 189804 862.59/866.75 c model valid 862.59/866.75 c current solution ok 862.59/866.75 c current bound: 189804 865.79/869.96 c model valid 865.79/869.96 c current solution ok 865.79/869.96 c current bound: 189804 869.01/873.17 c model valid 869.01/873.17 c current solution ok 869.01/873.18 c current bound: 189804 872.22/876.38 c model valid 872.22/876.38 c current solution ok 872.22/876.38 c current bound: 189804 875.45/879.62 c model valid 875.45/879.62 c current solution ok 875.45/879.62 c current bound: 189804 878.69/882.87 c model valid 878.69/882.87 c current solution ok 878.69/882.88 c current bound: 189804 881.94/886.11 c model valid 881.94/886.11 c current solution ok 881.94/886.12 c current bound: 189804 885.18/889.36 c model valid 885.18/889.36 c current solution ok 885.18/889.37 c current bound: 189804 888.41/892.60 c model valid 888.41/892.60 c current solution ok 888.41/892.61 c current bound: 189804 891.64/895.84 c model valid 891.64/895.84 c current solution ok 891.64/895.84 c current bound: 189804 894.88/899.08 c model valid 894.88/899.08 c current solution ok 894.88/899.08 c current bound: 189804 898.12/902.31 c model valid 898.12/902.31 c current solution ok 898.12/902.31 c current bound: 189804 901.56/905.53 c model valid 901.56/905.53 c current solution ok 901.56/905.54 c current bound: 189804 904.76/908.75 c model valid 904.76/908.75 c current solution ok 904.76/908.75 c current bound: 189804 907.95/911.98 c model valid 907.95/911.98 c current solution ok 907.95/911.98 c current bound: 189804 910.91/915.13 c model valid 910.91/915.13 c current solution ok 910.91/915.14 c current bound: 189804 914.13/918.34 c model valid 914.13/918.34 c current solution ok 914.13/918.35 c current bound: 189804 917.28/921.51 c model valid 917.28/921.51 c current solution ok 917.28/921.51 c current bound: 189804 920.45/924.66 c model valid 920.45/924.66 c current solution ok 920.45/924.66 c current bound: 189804 923.67/927.91 c model valid 923.67/927.91 c current solution ok 923.67/927.91 c current bound: 189804 926.83/931.06 c model valid 926.83/931.06 c current solution ok 926.83/931.07 c current bound: 189804 930.01/934.25 c model valid 930.01/934.25 c current solution ok 930.01/934.25 c current bound: 189804 933.24/937.48 c model valid 933.24/937.48 c current solution ok 933.24/937.49 c current bound: 189804 936.73/940.71 c model valid 936.73/940.71 c current solution ok 936.73/940.79 c current bound: 189804 939.85/943.98 c model valid 939.85/943.98 c current solution ok 939.85/943.98 c current bound: 189804 943.12/947.22 c model valid 943.12/947.22 c current solution ok 943.12/947.23 c current bound: 189804 946.29/950.48 c model valid 946.29/950.48 c current solution ok 946.29/950.48 c current bound: 189804 949.19/953.57 c model valid 949.19/953.57 c current solution ok 949.19/953.58 c current bound: 189804 952.45/956.84 c model valid 952.45/956.84 c current solution ok 952.45/956.84 c current bound: 189804 955.58/959.97 c model valid 955.58/959.97 c current solution ok 955.58/959.97 c current bound: 189804 958.78/963.16 c model valid 958.78/963.16 c current solution ok 958.78/963.17 c current bound: 189804 962.02/966.41 c model valid 962.02/966.41 c current solution ok 962.02/966.42 c current bound: 189804 965.26/969.66 c model valid 965.26/969.66 c current solution ok 965.26/969.66 c current bound: 189804 968.33/972.74 c model valid 968.33/972.74 c current solution ok 968.33/972.74 c current bound: 189804 971.74/975.97 c model valid 971.74/975.97 c current solution ok 971.74/975.97 c current bound: 189804 975.06/979.20 c model valid 975.06/979.20 c current solution ok 975.06/979.21 c current bound: 189804 978.25/982.41 c model valid 978.25/982.41 c current solution ok 978.25/982.41 c current bound: 189804 981.45/985.63 c model valid 981.45/985.63 c current solution ok 981.45/985.64 c current bound: 189804 984.64/988.80 c model valid 984.64/988.80 c current solution ok 984.64/988.80 c current bound: 189804 987.51/991.95 c model valid 987.51/991.95 c current solution ok 987.51/991.95 c current bound: 189804 990.75/995.19 c model valid 990.75/995.19 c current solution ok 991.03/995.20 c current bound: 189804 994.01/998.44 c model valid 994.01/998.44 c current solution ok 994.01/998.44 c current bound: 189804 997.53/1001.70 c model valid 997.53/1001.70 c current solution ok 997.53/1001.70 c current bound: 189804 1000.45/1004.90 c model valid 1000.45/1004.90 c current solution ok 1000.45/1004.91 c current bound: 189804 1003.69/1008.15 c model valid 1003.69/1008.15 c current solution ok 1003.69/1008.15 c current bound: 189804 1006.93/1011.39 c model valid 1006.93/1011.39 c current solution ok 1006.93/1011.39 c current bound: 189804 1010.16/1014.62 c model valid 1010.16/1014.62 c current solution ok 1010.16/1014.62 c current bound: 189804 1013.34/1017.81 c model valid 1013.34/1017.81 c current solution ok 1013.34/1017.82 c current bound: 189804 1016.79/1021.04 c model valid 1016.79/1021.04 c current solution ok 1016.79/1021.04 c current bound: 189804 1019.99/1024.24 c model valid 1019.99/1024.24 c current solution ok 1019.99/1024.25 c current bound: 189804 1023.19/1027.48 c model valid 1023.19/1027.48 c current solution ok 1023.19/1027.48 c current bound: 189804 1026.50/1030.70 c model valid 1026.50/1030.70 c current solution ok 1026.50/1030.71 c current bound: 189804 1029.44/1033.92 c model valid 1029.44/1033.92 c current solution ok 1029.44/1033.93 c current bound: 189804 1032.64/1037.14 c model valid 1032.64/1037.14 c current solution ok 1032.64/1037.15 c current bound: 189804 1035.92/1040.41 c model valid 1035.92/1040.41 c current solution ok 1035.92/1040.41 c current bound: 189804 1039.16/1043.67 c model valid 1039.16/1043.67 c current solution ok 1039.16/1043.67 c current bound: 189804 1042.43/1046.92 c model valid 1042.43/1046.92 c current solution ok 1042.43/1046.92 c current bound: 189804 1045.66/1050.15 c model valid 1045.66/1050.15 c current solution ok 1045.66/1050.15 c current bound: 189804 1048.80/1053.29 c model valid 1048.80/1053.29 c current solution ok 1049.08/1053.30 c current bound: 189804 1051.98/1056.48 c model valid 1051.98/1056.48 c current solution ok 1051.98/1056.48 c current bound: 189804 1055.21/1059.71 c model valid 1055.21/1059.71 c current solution ok 1055.21/1059.72 c current bound: 189804 1058.44/1062.94 c model valid 1058.44/1062.94 c current solution ok 1058.44/1062.95 c current bound: 189804 1061.68/1066.18 c model valid 1061.68/1066.18 c current solution ok 1061.68/1066.18 c current bound: 189804 1065.15/1069.42 c model valid 1065.15/1069.42 c current solution ok 1065.15/1069.42 c current bound: 189804 1068.35/1072.65 c model valid 1068.35/1072.65 c current solution ok 1068.35/1072.65 c current bound: 189804 1071.56/1075.88 c model valid 1071.56/1075.88 c current solution ok 1071.56/1075.88 c current bound: 189804 1074.57/1079.10 c model valid 1074.57/1079.10 c current solution ok 1074.57/1079.10 c current bound: 189804 1077.79/1082.32 c model valid 1077.79/1082.32 c current solution ok 1077.79/1082.32 c current bound: 189804 1080.94/1085.47 c model valid 1080.94/1085.47 c current solution ok 1080.94/1085.47 c current bound: 189804 1084.18/1088.72 c model valid 1084.18/1088.72 c current solution ok 1084.18/1088.72 c current bound: 189804 1087.43/1091.96 c model valid 1087.43/1091.96 c current solution ok 1087.43/1091.97 c current bound: 189804 1090.58/1095.11 c model valid 1090.58/1095.11 c current solution ok 1090.58/1095.11 c current bound: 189804 1093.80/1098.35 c model valid 1093.80/1098.35 c current solution ok 1093.80/1098.35 c current bound: 189804 1097.01/1101.57 c model valid 1097.01/1101.57 c current solution ok 1097.01/1101.58 c current bound: 189804 1100.26/1104.81 c model valid 1100.26/1104.81 c current solution ok 1100.26/1104.81 c current bound: 189804 1103.51/1108.05 c model valid 1103.51/1108.05 c current solution ok 1103.51/1108.05 c current bound: 189804 1106.74/1111.28 c model valid 1106.74/1111.28 c current solution ok 1106.74/1111.28 c current bound: 189804 1110.20/1114.51 c model valid 1110.20/1114.51 c current solution ok 1110.20/1114.51 c current bound: 189804 1113.41/1117.71 c model valid 1113.41/1117.71 c current solution ok 1113.41/1117.72 c current bound: 189804 1116.30/1120.86 c model valid 1116.30/1120.86 c current solution ok 1116.30/1120.86 c current bound: 189804 1119.51/1124.08 c model valid 1119.51/1124.08 c current solution ok 1119.51/1124.08 c current bound: 189804 1122.76/1127.34 c model valid 1122.76/1127.34 c current solution ok 1122.76/1127.34 c current bound: 189804 1125.92/1130.50 c model valid 1125.92/1130.50 c current solution ok 1126.21/1130.50 c current bound: 189804 1129.17/1133.75 c model valid 1129.17/1133.75 c current solution ok 1129.17/1133.75 c current bound: 189804 1132.42/1137.01 c model valid 1132.42/1137.01 c current solution ok 1132.42/1137.02 c current bound: 189804 1135.68/1140.26 c model valid 1135.68/1140.26 c current solution ok 1135.68/1140.27 c current bound: 189804 1138.86/1143.44 c model valid 1138.86/1143.44 c current solution ok 1138.86/1143.45 c current bound: 189804 1142.08/1146.67 c model valid 1142.08/1146.67 c current solution ok 1142.08/1146.67 c current bound: 189804 1145.31/1149.91 c model valid 1145.31/1149.91 c current solution ok 1145.31/1149.91 c current bound: 189804 1148.50/1153.10 c model valid 1148.50/1153.10 c current solution ok 1148.50/1153.11 c current bound: 189804 1151.95/1156.30 c model valid 1151.95/1156.30 c current solution ok 1151.95/1156.31 c current bound: 189804 1155.15/1159.54 c model valid 1155.15/1159.54 c current solution ok 1155.15/1159.54 c current bound: 189804 1158.34/1162.75 c model valid 1158.34/1162.75 c current solution ok 1158.34/1162.75 c current bound: 189804 1161.31/1165.93 c model valid 1161.31/1165.93 c current solution ok 1161.31/1165.94 c current bound: 189804 1164.51/1169.13 c model valid 1164.51/1169.13 c current solution ok 1164.51/1169.14 c current bound: 189804 1167.73/1172.36 c model valid 1167.73/1172.36 c current solution ok 1167.73/1172.37 c current bound: 189804 1170.99/1175.61 c model valid 1170.99/1175.61 c current solution ok 1170.99/1175.61 c current bound: 189804 1174.23/1178.86 c model valid 1174.23/1178.86 c current solution ok 1174.23/1178.86 c current bound: 189804 1177.46/1182.10 c model valid 1177.46/1182.10 c current solution ok 1177.46/1182.10 c current bound: 189804 1180.60/1185.24 c model valid 1180.60/1185.24 c current solution ok 1180.60/1185.25 c current bound: 189804 1183.86/1188.49 c model valid 1183.86/1188.49 c current solution ok 1183.86/1188.49 c current bound: 189804 1187.09/1191.73 c model valid 1187.09/1191.73 c current solution ok 1187.09/1191.74 c current bound: 189804 1190.29/1194.95 c model valid 1190.29/1194.95 c current solution ok 1190.29/1194.95 c current bound: 189804 1193.52/1198.19 c model valid 1193.52/1198.19 c current solution ok 1193.52/1198.19 c current bound: 189804 1196.99/1201.43 c model valid 1196.99/1201.43 c current solution ok 1196.99/1201.43 c current bound: 189804 1200.10/1204.58 c model valid 1200.10/1204.58 c current solution ok 1200.10/1204.58 c current bound: 189804 1203.08/1207.76 c model valid 1203.08/1207.76 c current solution ok 1203.08/1207.76 c current bound: 189804 1206.26/1210.94 c model valid 1206.26/1210.94 c current solution ok 1206.26/1210.94 c current bound: 189804 1209.40/1214.08 c model valid 1209.40/1214.08 c current solution ok 1209.40/1214.09 c current bound: 189804 1212.65/1217.34 c model valid 1212.65/1217.34 c current solution ok 1212.65/1217.35 c current bound: 189804 1215.89/1220.59 c model valid 1215.89/1220.59 c current solution ok 1215.89/1220.59 c current bound: 189804 1219.14/1223.84 c model valid 1219.14/1223.84 c current solution ok 1219.14/1223.84 c current bound: 189804 1222.29/1226.98 c model valid 1222.29/1226.98 c current solution ok 1222.29/1226.99 c current bound: 189804 1225.52/1230.23 c model valid 1225.52/1230.23 c current solution ok 1225.52/1230.23 c current bound: 189804 1228.76/1233.46 c model valid 1228.76/1233.46 c current solution ok 1228.76/1233.47 c current bound: 189804 1232.00/1236.69 c model valid 1232.00/1236.69 c current solution ok 1232.27/1236.70 c current bound: 189804 1235.46/1239.93 c model valid 1235.46/1239.93 c current solution ok 1235.46/1239.93 c current bound: 189804 1238.55/1243.08 c model valid 1238.55/1243.08 c current solution ok 1238.55/1243.08 c current bound: 189804 1241.59/1246.30 c model valid 1241.59/1246.30 c current solution ok 1241.88/1246.31 c current bound: 189804 1244.76/1249.46 c model valid 1244.76/1249.46 c current solution ok 1244.76/1249.46 c current bound: 189804 1248.01/1252.72 c model valid 1248.01/1252.72 c current solution ok 1248.01/1252.72 c current bound: 189804 1251.15/1255.87 c model valid 1251.15/1255.87 c current solution ok 1251.15/1255.87 c current bound: 189804 1254.42/1259.14 c model valid 1254.42/1259.14 c current solution ok 1254.42/1259.14 c current bound: 189804 1257.94/1262.40 c model valid 1257.94/1262.40 c current solution ok 1257.94/1262.40 c current bound: 189804 1260.89/1265.62 c model valid 1260.89/1265.62 c current solution ok 1260.89/1265.62 c current bound: 189804 1264.12/1268.84 c model valid 1264.12/1268.84 c current solution ok 1264.12/1268.84 c current bound: 189804 1267.36/1272.09 c model valid 1267.36/1272.09 c current solution ok 1267.36/1272.09 c current bound: 189804 1270.59/1275.32 c model valid 1270.59/1275.32 c current solution ok 1270.59/1275.33 c current bound: 189804 1273.79/1278.53 c model valid 1273.79/1278.53 c current solution ok 1273.79/1278.53 c current bound: 189804 1277.21/1281.76 c model valid 1277.21/1281.76 c current solution ok 1277.21/1281.77 c current bound: 189804 1280.42/1284.99 c model valid 1280.42/1284.99 c current solution ok 1280.42/1284.99 c current bound: 189804 1283.72/1288.22 c model valid 1283.72/1288.22 c current solution ok 1283.72/1288.23 c current bound: 189804 1286.90/1291.45 c model valid 1286.90/1291.45 c current solution ok 1286.90/1291.46 c current bound: 189804 1289.92/1294.67 c model valid 1289.92/1294.67 c current solution ok 1289.92/1294.68 c current bound: 189804 1293.14/1297.89 c model valid 1293.14/1297.89 c current solution ok 1293.41/1297.90 c current bound: 189804 1296.39/1301.15 c model valid 1296.39/1301.15 c current solution ok 1296.39/1301.15 c current bound: 189804 1299.60/1304.36 c model valid 1299.60/1304.36 c current solution ok 1299.60/1304.37 c current bound: 189804 1302.85/1307.62 c model valid 1302.85/1307.62 c current solution ok 1302.85/1307.63 c current bound: 189804 1306.00/1310.77 c model valid 1306.00/1310.77 c current solution ok 1306.00/1310.78 c current bound: 189804 1309.24/1314.02 c model valid 1309.24/1314.02 c current solution ok 1309.24/1314.02 c current bound: 189804 1312.40/1317.18 c model valid 1312.40/1317.18 c current solution ok 1312.40/1317.18 c current bound: 189804 1315.54/1320.33 c model valid 1315.54/1320.33 c current solution ok 1315.54/1320.34 c current bound: 189804 1318.96/1323.53 c model valid 1318.96/1323.53 c current solution ok 1318.96/1323.53 c current bound: 189804 1322.16/1326.76 c model valid 1322.16/1326.76 c current solution ok 1322.16/1326.77 c current bound: 189804 1325.37/1329.98 c model valid 1325.37/1329.98 c current solution ok 1325.37/1329.99 c current bound: 189804 1328.36/1333.17 c model valid 1328.36/1333.17 c current solution ok 1328.36/1333.18 c current bound: 189804 1331.59/1336.39 c model valid 1331.59/1336.39 c current solution ok 1331.59/1336.39 c current bound: 189804 1334.74/1339.55 c model valid 1334.74/1339.55 c current solution ok 1334.74/1339.55 c current bound: 189804 1337.95/1342.76 c model valid 1337.95/1342.76 c current solution ok 1337.95/1342.77 c current bound: 189804 1341.21/1346.01 c model valid 1341.21/1346.01 c current solution ok 1341.21/1346.02 c current bound: 189804 1344.36/1349.17 c model valid 1344.36/1349.17 c current solution ok 1344.36/1349.17 c current bound: 189804 1347.85/1352.40 c model valid 1347.85/1352.40 c current solution ok 1347.85/1352.40 c current bound: 189804 1350.82/1355.63 c model valid 1350.82/1355.63 c current solution ok 1350.82/1355.64 c current bound: 189804 1354.04/1358.86 c model valid 1354.04/1358.86 c current solution ok 1354.04/1358.86 c current bound: 189804 1357.27/1362.08 c model valid 1357.27/1362.08 c current solution ok 1357.27/1362.09 c current bound: 189804 1360.72/1365.32 c model valid 1360.72/1365.32 c current solution ok 1360.72/1365.32 c current bound: 189804 1363.93/1368.55 c model valid 1363.93/1368.55 c current solution ok 1363.93/1368.56 c current bound: 189804 1367.11/1371.73 c model valid 1367.11/1371.73 c current solution ok 1367.11/1371.74 c current bound: 189804 1370.10/1374.94 c model valid 1370.10/1374.94 c current solution ok 1370.10/1374.94 c current bound: 189804 1373.30/1378.14 c model valid 1373.30/1378.14 c current solution ok 1373.57/1378.24 c current bound: 189804 1376.49/1381.43 c model valid 1376.49/1381.43 c current solution ok 1376.49/1381.43 c current bound: 189804 1379.73/1384.67 c model valid 1379.73/1384.67 c current solution ok 1379.73/1384.67 c current bound: 189804 1382.93/1387.87 c model valid 1382.93/1387.87 c current solution ok 1382.93/1387.88 c current bound: 189804 1386.15/1391.10 c model valid 1386.15/1391.10 c current solution ok 1386.15/1391.10 c current bound: 189804 1389.37/1394.32 c model valid 1389.37/1394.32 c current solution ok 1389.37/1394.33 c current bound: 189804 1392.59/1397.54 c model valid 1392.59/1397.54 c current solution ok 1392.59/1397.54 c current bound: 189804 1395.79/1400.75 c model valid 1395.79/1400.75 c current solution ok 1395.79/1400.75 c current bound: 189804 1399.00/1403.95 c model valid 1399.00/1403.95 c current solution ok 1399.00/1403.96 c current bound: 189804 1402.41/1407.17 c model valid 1402.41/1407.17 c current solution ok 1402.41/1407.17 c current bound: 189804 1405.59/1410.38 c model valid 1405.59/1410.38 c current solution ok 1405.59/1410.38 c current bound: 189804 1408.79/1413.59 c model valid 1408.79/1413.59 c current solution ok 1408.79/1413.60 c current bound: 189804 1411.78/1416.76 c model valid 1411.78/1416.76 c current solution ok 1411.78/1416.76 c current bound: 189804 1414.99/1419.97 c model valid 1414.99/1419.97 c current solution ok 1414.99/1419.98 c current bound: 189804 1418.13/1423.12 c model valid 1418.13/1423.12 c current solution ok 1418.13/1423.13 c current bound: 189804 1421.38/1426.36 c model valid 1421.38/1426.36 c current solution ok 1421.38/1426.37 c current bound: 189804 1424.58/1429.56 c model valid 1424.58/1429.56 c current solution ok 1424.58/1429.56 c current bound: 189804 1428.08/1432.80 c model valid 1428.08/1432.80 c current solution ok 1428.08/1432.80 c current bound: 189804 1430.99/1435.99 c model valid 1430.99/1435.99 c current solution ok 1430.99/1435.99 c current bound: 189804 1434.17/1439.18 c model valid 1434.17/1439.18 c current solution ok 1434.17/1439.19 c current bound: 189804 1437.38/1442.39 c model valid 1437.38/1442.39 c current solution ok 1437.66/1442.40 c current bound: 189804 1440.85/1445.61 c model valid 1440.85/1445.61 c current solution ok 1440.85/1445.61 c current bound: 189804 1444.05/1448.82 c model valid 1444.05/1448.82 c current solution ok 1444.05/1448.82 c current bound: 189804 1447.24/1452.03 c model valid 1447.24/1452.03 c current solution ok 1447.24/1452.04 c current bound: 189804 1450.21/1455.23 c model valid 1450.21/1455.23 c current solution ok 1450.21/1455.24 c current bound: 189804 1453.43/1458.44 c model valid 1453.43/1458.44 c current solution ok 1453.43/1458.44 c current bound: 189804 1456.65/1461.68 c model valid 1456.65/1461.68 c current solution ok 1456.65/1461.68 c current bound: 189804 1459.89/1464.93 c model valid 1459.89/1464.93 c current solution ok 1459.89/1464.93 c current bound: 189804 1463.12/1468.16 c model valid 1463.12/1468.16 c current solution ok 1463.12/1468.16 c current bound: 189804 1466.26/1471.31 c model valid 1466.26/1471.31 c current solution ok 1466.26/1471.31 c current bound: 189804 1469.52/1474.55 c model valid 1469.52/1474.55 c current solution ok 1469.52/1474.56 c current bound: 189804 1472.75/1477.79 c model valid 1472.75/1477.79 c current solution ok 1472.75/1477.79 c current bound: 189804 1475.93/1480.97 c model valid 1475.93/1480.97 c current solution ok 1475.93/1480.98 c current bound: 189804 1479.16/1484.21 c model valid 1479.16/1484.21 c current solution ok 1479.16/1484.22 c current bound: 189804 1482.62/1487.44 c model valid 1482.62/1487.44 c current solution ok 1482.62/1487.44 c current bound: 189804 1485.80/1490.66 c model valid 1485.80/1490.66 c current solution ok 1485.80/1490.66 c current bound: 189804 1489.00/1493.88 c model valid 1489.00/1493.88 c current solution ok 1489.00/1493.88 c current bound: 189804 1492.04/1497.10 c model valid 1492.04/1497.10 c current solution ok 1492.04/1497.10 c current bound: 189804 1495.25/1500.31 c model valid 1495.25/1500.31 c current solution ok 1495.25/1500.31 c current bound: 189804 1498.39/1503.46 c model valid 1498.39/1503.46 c current solution ok 1498.39/1503.46 c current bound: 189804 1501.61/1506.70 c model valid 1501.61/1506.70 c current solution ok 1501.61/1506.71 c current bound: 189804 1504.86/1509.94 c model valid 1504.86/1509.94 c current solution ok 1504.86/1509.95 c current bound: 189804 1508.10/1513.18 c model valid 1508.10/1513.18 c current solution ok 1508.10/1513.18 c current bound: 189804 1511.33/1516.42 c model valid 1511.33/1516.42 c current solution ok 1511.33/1516.43 c current bound: 189804 1514.57/1519.67 c model valid 1514.57/1519.67 c current solution ok 1514.57/1519.67 c current bound: 189804 1517.81/1522.91 c model valid 1517.81/1522.91 c current solution ok 1517.81/1522.91 c current bound: 189804 1521.04/1526.15 c model valid 1521.04/1526.15 c current solution ok 1521.04/1526.15 c current bound: 189804 1524.28/1529.39 c model valid 1524.28/1529.39 c current solution ok 1524.28/1529.39 c current bound: 189804 1527.51/1532.61 c model valid 1527.51/1532.61 c current solution ok 1527.51/1532.62 c current bound: 189804 1530.96/1535.83 c model valid 1530.96/1535.83 c current solution ok 1531.00/1535.95 c current bound: 189804 1534.14/1539.16 c model valid 1534.14/1539.16 c current solution ok 1534.14/1539.17 c current bound: 189804 1537.35/1542.38 c model valid 1537.35/1542.38 c current solution ok 1537.35/1542.38 c current bound: 189804 1540.64/1545.61 c model valid 1540.64/1545.61 c current solution ok 1540.64/1545.61 c current bound: 189804 1543.84/1548.84 c model valid 1543.84/1548.84 c current solution ok 1543.84/1548.84 c current bound: 189804 1546.81/1552.04 c model valid 1546.81/1552.04 c current solution ok 1546.81/1552.05 c current bound: 189804 1550.02/1555.27 c model valid 1550.02/1555.27 c current solution ok 1550.02/1555.27 c current bound: 189804 1553.29/1558.53 c model valid 1553.29/1558.53 c current solution ok 1553.29/1558.53 c current bound: 189804 1556.53/1561.77 c model valid 1556.53/1561.77 c current solution ok 1556.53/1561.78 c current bound: 189804 1560.03/1565.00 c model valid 1560.03/1565.00 c current solution ok 1560.03/1565.00 c current bound: 189804 1562.98/1568.24 c model valid 1562.98/1568.24 c current solution ok 1562.98/1568.24 c current bound: 189804 1566.21/1571.47 c model valid 1566.21/1571.47 c current solution ok 1566.21/1571.48 c current bound: 189804 1569.45/1574.71 c model valid 1569.45/1574.71 c current solution ok 1569.45/1574.72 c current bound: 189804 1572.70/1577.97 c model valid 1572.70/1577.97 c current solution ok 1572.70/1577.97 c current bound: 189804 1575.83/1581.10 c model valid 1575.83/1581.10 c current solution ok 1575.83/1581.11 c current bound: 189804 1579.07/1584.35 c model valid 1579.07/1584.35 c current solution ok 1579.07/1584.35 c current bound: 189804 1582.30/1587.59 c model valid 1582.30/1587.59 c current solution ok 1582.30/1587.59 c current bound: 189804 1585.78/1590.82 c model valid 1585.78/1590.82 c current solution ok 1585.78/1590.83 c current bound: 189804 1588.99/1594.06 c model valid 1588.99/1594.06 c current solution ok 1588.99/1594.06 c current bound: 189804 1592.18/1597.24 c model valid 1592.18/1597.24 c current solution ok 1592.18/1597.24 c current bound: 189804 1595.17/1600.45 c model valid 1595.17/1600.45 c current solution ok 1595.17/1600.46 c current bound: 189804 1598.38/1603.66 c model valid 1598.38/1603.66 c current solution ok 1598.38/1603.67 c current bound: 189804 1601.52/1606.82 c model valid 1601.52/1606.82 c current solution ok 1601.52/1606.82 c current bound: 189804 1604.79/1610.07 c model valid 1604.79/1610.07 c current solution ok 1604.79/1610.08 c current bound: 189804 1608.02/1613.32 c model valid 1608.02/1613.32 c current solution ok 1608.02/1613.32 c current bound: 189804 1611.25/1616.55 c model valid 1611.25/1616.55 c current solution ok 1611.25/1616.56 c current bound: 189804 1614.48/1619.80 c model valid 1614.48/1619.80 c current solution ok 1614.48/1619.80 c current bound: 189804 1617.74/1623.05 c model valid 1617.74/1623.05 c current solution ok 1617.74/1623.05 c current bound: 189804 1620.99/1626.29 c model valid 1620.99/1626.29 c current solution ok 1621.26/1626.30 c current bound: 189804 1624.20/1629.52 c model valid 1624.20/1629.52 c current solution ok 1624.20/1629.52 c current bound: 189804 1627.41/1632.74 c model valid 1627.41/1632.74 c current solution ok 1627.41/1632.75 c current bound: 189804 1630.83/1635.94 c model valid 1630.83/1635.94 c current solution ok 1630.83/1635.94 c current bound: 189804 1634.04/1639.17 c model valid 1634.04/1639.17 c current solution ok 1634.04/1639.17 c current bound: 189804 1637.34/1642.41 c model valid 1637.34/1642.41 c current solution ok 1637.34/1642.41 c current bound: 189804 1640.53/1645.63 c model valid 1640.53/1645.63 c current solution ok 1640.53/1645.63 c current bound: 189804 1643.54/1648.86 c model valid 1643.54/1648.86 c current solution ok 1643.54/1648.87 c current bound: 189804 1646.75/1652.09 c model valid 1646.75/1652.09 c current solution ok 1646.75/1652.09 c current bound: 189804 1650.00/1655.35 c model valid 1650.00/1655.35 c current solution ok 1650.00/1655.35 c current bound: 189804 1653.52/1658.60 c model valid 1653.52/1658.60 c current solution ok 1653.52/1658.60 c current bound: 189804 1656.47/1661.82 c model valid 1656.47/1661.82 c current solution ok 1656.47/1661.82 c current bound: 189804 1659.71/1665.06 c model valid 1659.71/1665.06 c current solution ok 1659.71/1665.07 c current bound: 189804 1662.96/1668.32 c model valid 1662.96/1668.32 c current solution ok 1662.96/1668.32 c current bound: 189804 1666.22/1671.57 c model valid 1666.22/1671.57 c current solution ok 1666.22/1671.58 c current bound: 189804 1669.45/1674.81 c model valid 1669.45/1674.81 c current solution ok 1669.45/1674.81 c current bound: 189804 1672.59/1677.95 c model valid 1672.59/1677.95 c current solution ok 1672.59/1677.96 c current bound: 189804 1675.83/1681.20 c model valid 1675.83/1681.20 c current solution ok 1675.83/1681.21 c current bound: 189804 1679.08/1684.44 c model valid 1679.08/1684.44 c current solution ok 1679.08/1684.45 c current bound: 189804 1682.31/1687.68 c model valid 1682.31/1687.68 c current solution ok 1682.31/1687.69 c current bound: 189804 1685.78/1690.92 c model valid 1685.78/1690.92 c current solution ok 1685.78/1690.93 c current bound: 189804 1688.99/1694.13 c model valid 1688.99/1694.13 c current solution ok 1688.99/1694.13 c current bound: 189804 1692.19/1697.36 c model valid 1692.19/1697.36 c current solution ok 1692.19/1697.36 c current bound: 189804 1695.21/1700.58 c model valid 1695.21/1700.58 c current solution ok 1695.21/1700.58 c current bound: 189804 1698.70/1703.80 c model valid 1698.70/1703.80 c current solution ok 1698.70/1703.80 c current bound: 189804 1701.69/1707.06 c model valid 1701.69/1707.06 c current solution ok 1701.69/1707.07 c current bound: 189804 1704.94/1710.32 c model valid 1704.94/1710.32 c current solution ok 1704.94/1710.33 c current bound: 189804 1708.20/1713.59 c model valid 1708.20/1713.59 c current solution ok 1708.20/1713.59 c current bound: 189804 1711.45/1716.84 c model valid 1711.45/1716.84 c current solution ok 1711.45/1716.84 c current bound: 189804 1714.68/1720.07 c model valid 1714.68/1720.07 c current solution ok 1714.68/1720.07 c current bound: 189804 1717.82/1723.22 c model valid 1717.82/1723.22 c current solution ok 1717.82/1723.23 c current bound: 189804 1721.06/1726.46 c model valid 1721.06/1726.46 c current solution ok 1721.06/1726.46 c current bound: 189804 1724.30/1729.70 c model valid 1724.30/1729.70 c current solution ok 1724.30/1729.71 c current bound: 189804 1727.54/1732.94 c model valid 1727.54/1732.94 c current solution ok 1727.54/1732.95 c current bound: 189804 1730.78/1736.19 c model valid 1730.78/1736.19 c current solution ok 1731.07/1736.20 c current bound: 189804 1734.02/1739.44 c model valid 1734.02/1739.44 c current solution ok 1734.02/1739.44 c current bound: 189804 1737.45/1742.67 c model valid 1737.45/1742.67 c current solution ok 1737.45/1742.67 c current bound: 189804 1740.76/1745.90 c model valid 1740.76/1745.90 c current solution ok 1740.76/1745.90 c current bound: 189804 1743.85/1749.01 c model valid 1743.85/1749.01 c current solution ok 1743.85/1749.01 c current bound: 189804 1746.82/1752.24 c model valid 1746.82/1752.24 c current solution ok 1746.82/1752.24 c current bound: 189804 1750.04/1755.46 c model valid 1750.04/1755.46 c current solution ok 1750.04/1755.46 c current bound: 189804 1753.20/1758.62 c model valid 1753.20/1758.62 c current solution ok 1753.20/1758.62 c current bound: 189804 1756.45/1761.87 c model valid 1756.45/1761.87 c current solution ok 1756.45/1761.87 c current bound: 189804 1759.70/1765.12 c model valid 1759.70/1765.12 c current solution ok 1759.70/1765.12 c current bound: 189804 1762.82/1768.25 c model valid 1762.82/1768.25 c current solution ok 1762.82/1768.26 c current bound: 189804 1766.04/1771.47 c model valid 1766.04/1771.47 c current solution ok 1766.04/1771.48 c current bound: 189804 1769.21/1774.63 c model valid 1769.21/1774.63 c current solution ok 1769.21/1774.64 c current bound: 189804 1772.62/1777.86 c model valid 1772.62/1777.86 c current solution ok 1772.62/1777.86 c current bound: 189804 1775.94/1781.10 c model valid 1775.94/1781.10 c current solution ok 1775.94/1781.10 c current bound: 189804 1779.13/1784.33 c model valid 1779.13/1784.33 c current solution ok 1779.13/1784.33 c current bound: 189804 1782.33/1787.55 c model valid 1782.33/1787.55 c current solution ok 1782.33/1787.56 c current bound: 189804 1785.32/1790.77 c model valid 1785.32/1790.77 c current solution ok 1785.32/1790.78 c current bound: 189804 1788.44/1793.90 c model valid 1788.44/1793.90 c current solution ok 1788.44/1793.90 c current bound: 189804 1791.69/1797.15 c model valid 1791.69/1797.15 c current solution ok 1791.69/1797.16 c current bound: 189804 1794.91/1800.37 c model valid 1794.91/1800.37 c current solution ok 1794.91/1800.37 c current bound: 189804 1798.16/1803.62 c model valid 1798.16/1803.62 c current solution ok 1798.16/1803.62 c current bound: 189804 1800.02/1805.21 ./satsolver.sh: line 5: 10679 Terminated ./glucose $1 > $2 2> /dev/null 1800.02/1805.21 c error: unexpected solver exit code 1800.02/1805.21 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3751513-1339156446/watcher-3751513-1339156446 -o /tmp/evaluation-result-3751513-1339156446/solver-3751513-1339156446 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751513-1339156446.opb 643767189 HOME HOME 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.35 2.04 2.02 3/182 4328 /proc/meminfo: memFree=31489316/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [startup+0.0715191 s] /proc/loadavg: 2.35 2.04 2.02 3/182 4328 /proc/meminfo: memFree=31489316/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100302 s] /proc/loadavg: 2.35 2.04 2.02 3/182 4328 /proc/meminfo: memFree=31489316/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300227 s] /proc/loadavg: 2.35 2.04 2.02 3/182 4328 /proc/meminfo: memFree=31489316/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700271 s] /proc/loadavg: 2.35 2.04 2.02 3/182 4328 /proc/meminfo: memFree=31489316/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50054 s] /proc/loadavg: 2.35 2.04 2.02 3/187 4337 /proc/meminfo: memFree=31417436/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=0.31 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 3601 4027 0 0 10 4 16 1 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=4336] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4336/stat : 4336 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 25611235 9367552 267 33554432000 4194304 5064252 140733578920048 140733578918960 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4336/statm: 2287 267 226 213 0 72 0 [pid=4337] ppid=4336 vsize=49952 CPUtime=1.14 cores=0,2,4,6 /proc/4337/stat : 4337 (glucose) R 4336 4328 13680 0 -1 4202496 11042 0 0 0 112 2 0 0 20 0 1 0 25611235 51150848 11479 33554432000 4194304 5208918 140735694337696 140735694335640 4205238 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4337/statm: 12488 11479 95 248 0 12237 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 98244 [startup+3.10037 s] /proc/loadavg: 2.35 2.04 2.02 3/187 4344 /proc/meminfo: memFree=31417900/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=3.05 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 3609 15838 0 0 10 4 287 4 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258096560 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 39144 [startup+6.30038 s] /proc/loadavg: 2.33 2.04 2.02 3/187 4361 /proc/meminfo: memFree=31451420/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=6.18 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 5610 32424 0 0 18 5 576 19 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258096560 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 39144 [startup+12.7002 s] /proc/loadavg: 2.30 2.04 2.02 3/187 4400 /proc/meminfo: memFree=31418868/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=12.44 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 9612 64736 0 0 34 7 1155 48 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258096560 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 39144 [startup+25.5004 s] /proc/loadavg: 2.23 2.03 2.02 3/187 4474 /proc/meminfo: memFree=31454184/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=25.35 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 19609 133878 0 0 75 11 2329 120 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 Current children cumulated CPU time (s) 25.36 Current children cumulated vsize (KiB) 39144 [startup+51.1004 s] /proc/loadavg: 2.15 2.03 2.02 3/187 4625 /proc/meminfo: memFree=31459540/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=50.31 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 35617 264151 0 0 141 18 4630 242 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=4624] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4624/stat : 4624 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 25616250 9367552 266 33554432000 4194304 5064252 140735139541232 140735139540144 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4624/statm: 2287 266 226 213 0 72 0 [pid=4625] ppid=4624 vsize=49648 CPUtime=0.59 cores=0,2,4,6 /proc/4625/stat : 4625 (glucose) R 4624 4328 13680 0 -1 4202496 11245 0 0 0 58 1 0 0 20 0 1 0 25616250 50839552 11492 33554432000 4194304 5208918 140734521733920 140734521731864 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4625/statm: 12412 11492 95 248 0 12161 0 Current children cumulated CPU time (s) 50.91 Current children cumulated vsize (KiB) 97940 [startup+102.307 s] /proc/loadavg: 2.10 2.04 2.02 3/187 4912 /proc/meminfo: memFree=31416144/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=100.28 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 67633 524444 0 0 271 33 9243 481 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=4904] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4904/stat : 4904 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 25621246 9367552 267 33554432000 4194304 5064252 140734869756240 140734869755152 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/4904/statm: 2287 267 226 213 0 72 0 [pid=4905] ppid=4904 vsize=50076 CPUtime=1.83 cores=0,2,4,6 /proc/4905/stat : 4905 (glucose) R 4904 4328 13680 0 -1 4202496 11408 0 0 0 182 1 0 0 20 0 1 0 25621246 51277824 11647 33554432000 4194304 5208918 140733746957488 140733746955160 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/4905/statm: 12519 11647 95 248 0 12268 0 Current children cumulated CPU time (s) 102.12 Current children cumulated vsize (KiB) 98368 [startup+162.3 s] /proc/loadavg: 2.19 2.06 2.02 3/187 5251 /proc/meminfo: memFree=31447232/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=159.8 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 105652 831821 0 0 425 51 14747 757 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 20 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=5247] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1476.29 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 928063 7508073 0 0 3788 432 136423 6986 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=9973] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/9973/stat : 9973 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 25759307 9367552 266 33554432000 4194304 5064252 140734626631792 140734626630704 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/9973/statm: 2287 266 226 213 0 72 0 [pid=9974] ppid=9973 vsize=49948 CPUtime=1.21 cores=0,2,4,6 /proc/9974/stat : 9974 (glucose) R 9973 4328 13680 0 -1 4202496 11613 0 0 0 120 1 0 0 20 0 1 0 25759308 51146752 11366 33554432000 4194304 5208918 140736483666528 140736483664472 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/9974/statm: 12487 11366 95 248 0 12236 0 Current children cumulated CPU time (s) 1477.51 Current children cumulated vsize (KiB) 98240 [startup+1542.31 s] /proc/loadavg: 2.01 2.00 1.99 3/184 10104 /proc/meminfo: memFree=31233468/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1537.15 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 964089 7811385 0 0 3936 448 142070 7261 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258096560 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=10102] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10102/stat : 10102 (cp2_post.sh) S 4329 4328 13680 0 -1 4202496 608 225 0 0 0 0 0 0 20 0 1 0 25765411 9367552 265 33554432000 4194304 5064252 140737461702288 140737461700576 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/10102/statm: 2287 265 225 213 0 72 0 [pid=10104] ppid=10102 vsize=10216 CPUtime=0.19 cores=0,2,4,6 /proc/10104/stat : 10104 (coprocessor) R 10102 4328 13680 0 -1 4202496 2628 0 0 0 12 7 0 0 20 0 1 0 25765411 10461184 1757 33554432000 4194304 6586260 140736884226944 140737461700600 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 /proc/10104/statm: 2554 1757 148 584 0 1966 0 Current children cumulated CPU time (s) 1537.35 Current children cumulated vsize (KiB) 58508 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.99 3/186 10238 /proc/meminfo: memFree=31181100/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1595.53 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 1002100 8107656 0 0 4091 466 147447 7549 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=10237] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10237/stat : 10237 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 25771255 9367552 267 33554432000 4194304 5064252 140737213430032 140737213428944 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/10237/statm: 2287 267 226 213 0 72 0 [pid=10238] ppid=10237 vsize=50084 CPUtime=1.73 cores=0,2,4,6 /proc/10238/stat : 10238 (glucose) R 10237 4328 13680 0 -1 4202496 11153 0 0 0 172 1 0 0 20 0 1 0 25771256 51286016 11579 33554432000 4194304 5208918 140733663160016 140733663157688 4214256 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/10238/statm: 12521 11579 95 248 0 12270 0 Current children cumulated CPU time (s) 1597.27 Current children cumulated vsize (KiB) 98376 [startup+1662.3 s] /proc/loadavg: 1.96 1.98 1.99 3/185 10371 /proc/meminfo: memFree=31180996/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1656.83 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 1040119 8418742 0 0 4248 482 153118 7835 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=10370] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10370/stat : 10370 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 25777392 9367552 265 33554432000 4194304 5064252 140737256747920 140737256746832 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/10370/statm: 2287 265 226 213 0 72 0 [pid=10371] ppid=10370 vsize=49516 CPUtime=0.36 cores=0,2,4,6 /proc/10371/stat : 10371 (glucose) R 10370 4328 13680 0 -1 4202496 11053 0 0 0 35 1 0 0 20 0 1 0 25777392 50704384 11467 33554432000 4194304 5208918 140735323722160 140735323720104 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/10371/statm: 12379 11467 95 248 0 12128 0 Current children cumulated CPU time (s) 1657.2 Current children cumulated vsize (KiB) 97808 [startup+1722.3 s] /proc/loadavg: 1.98 1.98 1.99 3/185 10497 /proc/meminfo: memFree=31178592/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1715.03 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 1076137 8710616 0 0 4395 499 158502 8107 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=10496] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10496/stat : 10496 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 25783217 9367552 266 33554432000 4194304 5064252 140736399654096 140736399653008 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/10496/statm: 2287 266 226 213 0 72 0 [pid=10497] ppid=10496 vsize=50212 CPUtime=2.12 cores=0,2,4,6 /proc/10497/stat : 10497 (glucose) R 10496 4328 13680 0 -1 4202496 11602 0 0 0 210 2 0 0 20 0 1 0 25783217 51417088 11451 33554432000 4194304 5208918 140734736949136 140734736946808 4211620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/10497/statm: 12553 11451 95 248 0 12302 0 Current children cumulated CPU time (s) 1717.16 Current children cumulated vsize (KiB) 98504 [startup+1782.3 s] /proc/loadavg: 1.99 1.98 1.99 3/185 10630 /proc/meminfo: memFree=31177944/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1776.03 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 1114156 9019208 0 0 4551 517 164139 8396 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=10629] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10629/stat : 10629 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 25789320 9367552 266 33554432000 4194304 5064252 140734427378560 140734427377472 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/10629/statm: 2287 266 226 213 0 72 0 [pid=10630] ppid=10629 vsize=49944 CPUtime=1.09 cores=0,2,4,6 /proc/10630/stat : 10630 (glucose) R 10629 4328 13680 0 -1 4202496 11584 0 0 0 107 2 0 0 20 0 1 0 25789320 51142656 11353 33554432000 4194304 5208918 140735666715184 140735666713128 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/10630/statm: 12486 11353 95 248 0 12235 0 Current children cumulated CPU time (s) 1777.13 Current children cumulated vsize (KiB) 98236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1805.21 s] /proc/loadavg: 1.99 1.98 1.99 3/185 10679 /proc/meminfo: memFree=31175740/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1798.52 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 1128163 9134878 0 0 4608 523 166218 8503 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=10678] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10678/stat : 10678 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 25791572 9367552 267 33554432000 4194304 5064252 140734595226816 140734595225728 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/10678/statm: 2287 267 226 213 0 72 0 [pid=10679] ppid=10678 vsize=49944 CPUtime=1.49 cores=0,2,4,6 /proc/10679/stat : 10679 (glucose) R 10678 4328 13680 0 -1 4202496 11104 0 0 0 147 2 0 0 20 0 1 0 25791572 51142656 11534 33554432000 4194304 5208918 140734806945120 140734806942792 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/10679/statm: 12486 11534 95 248 0 12235 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 98236 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1805.21 s] /proc/loadavg: 1.99 1.98 1.99 3/185 10679 /proc/meminfo: memFree=31175740/32873844 swapFree=7632/7632 [pid=4328] ppid=4326 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/4328/stat : 4328 (npSolver-pbo-It) S 4326 4328 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25611200 9367552 274 33554432000 4194304 5064252 140733964021344 140733964020256 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/4328/statm: 2287 274 233 213 0 72 0 [pid=4329] ppid=4328 vsize=20220 CPUtime=1798.52 cores=0,2,4,6 /proc/4329/stat : 4329 (npSolver-pbo) S 4328 4328 13680 0 -1 4202496 1128163 9134878 0 0 4608 523 166218 8503 20 0 1 0 25611200 20705280 4284 33554432000 4194304 6004724 140736258104768 140736258097072 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 56 0 0 /proc/4329/statm: 5055 4284 177 442 0 4609 0 [pid=4334] ppid=4329 vsize=9776 CPUtime=0.01 cores=0,2,4,6 /proc/4334/stat : 4334 (glucosInc) S 4329 4328 13680 0 -1 4202496 949 0 0 0 1 0 0 0 20 0 1 0 25611221 10010624 912 33554432000 4194304 5654031 140735313180736 140735313179048 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/4334/statm: 2444 912 147 357 0 2084 0 [pid=10678] ppid=4329 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/10678/stat : 10678 (satsolver.sh) S 4329 4328 13680 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 25791572 9367552 267 33554432000 4194304 5064252 140734595226816 140734595225728 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/10678/statm: 2287 267 226 213 0 72 0 [pid=10679] ppid=10678 vsize=49944 CPUtime=1.49 cores=0,2,4,6 /proc/10679/stat : 10679 (glucose) R 10678 4328 13680 0 -1 4202496 11104 0 0 0 147 2 0 0 20 0 1 0 25791572 51142656 11534 33554432000 4194304 5208918 140734806945120 140734806942792 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/10679/statm: 12486 11534 95 248 0 12235 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 98236 Child status: 0 Real time (s): 1805.22 CPU time (s): 1800.04 CPU user time (s): 1709.74 CPU system time (s): 90.2983 CPU usage (%): 99.7129 Max. virtual memory (cumulated for all children) (KiB): 98848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.74 system time used= 90.2983 maximum resident set size= 47196 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10275133 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8187440 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 170036 involuntary context switches= 11759 runsolver used 6.24305 second user time and 16.4185 second system time The end
Begin job on node135 at 2012-06-08 13:54:06 IDJOB=3751513 IDBENCH=71915 IDSOLVER=2335 FILE ID=node135/3751513-1339156446 RUNJOBID= node135-1339134279-13696 PBS_JOBID= 14643799 Free space on /tmp= 70580 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751513-1339156446/watcher-3751513-1339156446 -o /tmp/evaluation-result-3751513-1339156446/solver-3751513-1339156446 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751513-1339156446.opb 643767189 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6c9e0b609933fe8ad00a26b0c61df9b5 RANDOM SEED=643767189 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5274.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.905 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.905 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31490556 kB Buffers: 147256 kB Cached: 319488 kB SwapCached: 2496 kB Active: 431864 kB Inactive: 116412 kB Active(anon): 81944 kB Inactive(anon): 1452 kB Active(file): 349920 kB Inactive(file): 114960 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67098928 kB Dirty: 14668 kB Writeback: 8 kB AnonPages: 87588 kB Mapped: 10376 kB Shmem: 0 kB Slab: 695024 kB SReclaimable: 134668 kB SUnreclaim: 560356 kB KernelStack: 1496 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 213088 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70556 MiB End job on node135 at 2012-06-08 14:24:11