| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| npSolver inc-topdown-quickBound | ? (TO) | 1800.07 | 1800.72 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/ factor/normalized-factor-size=9-P=23-Q=293.opb |
| MD5SUM | 96f819d1e6f3946782e4b8fc4d9cb445 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 0.004998 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | YES |
| Number of variables | 99 |
| Total number of constraints | 244 |
| Number of constraints which are clauses | 243 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 81 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 65536 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 267860 |
| Number of bits of the biggest sum of numbers | 19 |
| 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.12 c fallback to adder encoding 0.00/0.16 c run inc solver 0.00/0.16 c [INC SYSTEM] run initial solver 0.00/0.16 c [INC SYSTEM] preprocess with white file 0.00/0.31 c [INC SYSTEM] finished preprocessing in 0 s 0.00/0.31 c [INC SYSTEM] execute solver 0.00/0.36 c [INC SEARCH] formula is SAT 0.00/0.36 c [INC SYSTEM] solved the initial formula 0.00/0.36 c model valid 0.00/0.36 c current solution ok 0.00/0.37 o 293 0.00/0.37 c starting approximation 0.00/0.37 c factor = 2 0.00/0.37 c current bound: 146 5.15/5.27 c model valid 5.15/5.27 c current solution ok 5.15/5.27 c current bound: 146 10.35/10.46 c model valid 10.35/10.46 c current solution ok 10.35/10.46 c current bound: 146 15.25/15.37 c model valid 15.25/15.37 c current solution ok 15.25/15.37 c current bound: 146 20.14/20.26 c model valid 20.14/20.26 c current solution ok 20.14/20.26 c current bound: 146 25.04/25.18 c model valid 25.04/25.18 c current solution ok 25.04/25.18 c current bound: 146 29.93/30.08 c model valid 29.93/30.08 c current solution ok 29.93/30.08 c current bound: 146 35.15/35.24 c model valid 35.15/35.24 c current solution ok 35.15/35.24 c current bound: 146 40.05/40.13 c model valid 40.05/40.13 c current solution ok 40.05/40.13 c current bound: 146 44.95/45.04 c model valid 44.95/45.04 c current solution ok 44.95/45.04 c current bound: 146 49.84/49.94 c model valid 49.84/49.94 c current solution ok 49.84/49.95 c current bound: 146 54.74/54.84 c model valid 54.74/54.84 c current solution ok 54.74/54.85 c current bound: 146 59.63/59.74 c model valid 59.63/59.74 c current solution ok 59.63/59.74 c current bound: 146 64.52/64.63 c model valid 64.52/64.63 c current solution ok 64.52/64.64 c current bound: 146 69.42/69.54 c model valid 69.42/69.54 c current solution ok 69.42/69.54 c current bound: 146 74.32/74.45 c model valid 74.32/74.45 c current solution ok 74.32/74.45 c current bound: 146 79.22/79.33 c model valid 79.22/79.33 c current solution ok 79.22/79.34 c current bound: 146 84.13/84.24 c model valid 84.13/84.24 c current solution ok 84.13/84.25 c current bound: 146 89.04/89.15 c model valid 89.04/89.15 c current solution ok 89.04/89.16 c current bound: 146 93.92/94.06 c model valid 93.92/94.06 c current solution ok 93.92/94.06 c current bound: 146 98.83/98.96 c model valid 98.83/98.96 c current solution ok 98.83/98.96 c current bound: 146 103.72/103.87 c model valid 103.72/103.87 c current solution ok 103.72/103.87 c current bound: 146 108.63/108.76 c model valid 108.63/108.76 c current solution ok 108.63/108.76 c current bound: 146 113.53/113.67 c model valid 113.53/113.67 c current solution ok 113.53/113.67 c current bound: 146 118.42/118.57 c model valid 118.42/118.57 c current solution ok 118.42/118.57 c current bound: 146 123.31/123.47 c model valid 123.31/123.47 c current solution ok 123.31/123.47 c current bound: 146 128.22/128.38 c model valid 128.22/128.38 c current solution ok 128.22/128.38 c current bound: 146 133.22/133.30 c model valid 133.22/133.30 c current solution ok 133.22/133.30 c current bound: 146 138.13/138.20 c model valid 138.13/138.20 c current solution ok 138.13/138.20 c current bound: 146 143.04/143.10 c model valid 143.04/143.10 c current solution ok 143.04/143.10 c current bound: 146 147.94/148.00 c model valid 147.94/148.00 c current solution ok 147.94/148.01 c current bound: 146 152.83/152.93 c model valid 152.83/152.93 c current solution ok 152.83/152.93 c current bound: 146 157.71/157.84 c model valid 157.71/157.84 c current solution ok 157.71/157.85 c current bound: 146 162.63/162.74 c model valid 162.63/162.74 c current solution ok 162.63/162.74 c current bound: 146 167.50/167.67 c model valid 167.50/167.67 c current solution ok 167.59/167.72 c current bound: 146 172.47/172.62 c model valid 172.47/172.62 c current solution ok 172.47/172.62 c current bound: 146 177.36/177.51 c model valid 177.36/177.51 c current solution ok 177.36/177.51 c current bound: 146 182.26/182.42 c model valid 182.26/182.42 c current solution ok 182.26/182.43 c current bound: 146 187.16/187.32 c model valid 187.16/187.32 c current solution ok 187.16/187.32 c current bound: 146 192.07/192.23 c model valid 192.07/192.23 c current solution ok 192.07/192.23 c current bound: 146 196.97/197.14 c model valid 196.97/197.14 c current solution ok 196.97/197.14 c current bound: 146 201.86/202.05 c model valid 201.86/202.05 c current solution ok 201.86/202.06 c current bound: 146 206.76/206.95 c model valid 206.76/206.95 c current solution ok 206.76/206.96 c current bound: 146 211.66/211.87 c model valid 211.66/211.87 c current solution ok 211.66/211.88 c current bound: 146 216.56/216.78 c model valid 216.56/216.78 c current solution ok 216.56/216.78 c current bound: 146 221.46/221.67 c model valid 221.46/221.67 c current solution ok 221.46/221.67 c current bound: 146 226.38/226.56 c model valid 226.38/226.56 c current solution ok 226.38/226.57 c current bound: 146 231.26/231.46 c model valid 231.26/231.46 c current solution ok 231.26/231.46 c current bound: 146 236.16/236.38 c model valid 236.16/236.38 c current solution ok 236.16/236.38 c current bound: 146 241.05/241.28 c model valid 241.05/241.28 c current solution ok 241.05/241.29 c current bound: 146 245.96/246.19 c model valid 245.96/246.19 c current solution ok 245.96/246.19 c current bound: 146 250.96/251.11 c model valid 250.96/251.11 c current solution ok 250.96/251.11 c current bound: 146 255.86/256.01 c model valid 255.86/256.01 c current solution ok 255.86/256.01 c current bound: 146 260.76/260.91 c model valid 260.76/260.91 c current solution ok 260.76/260.91 c current bound: 146 265.67/265.81 c model valid 265.67/265.81 c current solution ok 265.67/265.81 c current bound: 146 270.56/270.70 c model valid 270.56/270.70 c current solution ok 270.56/270.70 c current bound: 146 275.46/275.60 c model valid 275.46/275.60 c current solution ok 275.46/275.60 c current bound: 146 280.27/280.50 c model valid 280.27/280.50 c current solution ok 280.38/280.50 c current bound: 146 285.27/285.40 c model valid 285.27/285.40 c current solution ok 285.27/285.41 c current bound: 146 290.17/290.31 c model valid 290.17/290.31 c current solution ok 290.17/290.32 c current bound: 146 295.06/295.21 c model valid 295.06/295.21 c current solution ok 295.06/295.21 c current bound: 146 299.96/300.11 c model valid 299.96/300.11 c current solution ok 299.96/300.11 c current bound: 146 304.85/305.01 c model valid 304.85/305.01 c current solution ok 304.85/305.01 c current bound: 146 309.66/309.90 c model valid 309.66/309.90 c current solution ok 309.77/309.90 c current bound: 146 314.67/314.80 c model valid 314.67/314.80 c current solution ok 314.67/314.80 c current bound: 146 319.57/319.70 c model valid 319.57/319.70 c current solution ok 319.57/319.70 c current bound: 146 324.47/324.60 c model valid 324.47/324.60 c current solution ok 324.47/324.60 c current bound: 146 329.36/329.50 c model valid 329.36/329.50 c current solution ok 329.36/329.50 c current bound: 146 334.16/334.39 c model valid 334.16/334.39 c current solution ok 334.16/334.39 c current bound: 146 339.05/339.29 c model valid 339.05/339.29 c current solution ok 339.05/339.29 c current bound: 146 343.96/344.20 c model valid 343.96/344.20 c current solution ok 343.96/344.20 c current bound: 146 349.16/349.33 c model valid 349.16/349.33 c current solution ok 349.16/349.33 c current bound: 146 354.06/354.23 c model valid 354.06/354.23 c current solution ok 354.06/354.23 c current bound: 146 358.95/359.14 c model valid 358.95/359.14 c current solution ok 358.95/359.14 c current bound: 146 363.85/364.03 c model valid 363.85/364.03 c current solution ok 363.85/364.03 c current bound: 146 368.74/368.93 c model valid 368.74/368.93 c current solution ok 368.74/368.93 c current bound: 146 373.64/373.84 c model valid 373.64/373.84 c current solution ok 373.64/373.84 c current bound: 146 378.54/378.75 c model valid 378.54/378.75 c current solution ok 378.54/378.75 c current bound: 146 383.45/383.67 c model valid 383.45/383.67 c current solution ok 383.45/383.67 c current bound: 146 388.34/388.57 c model valid 388.34/388.57 c current solution ok 388.34/388.57 c current bound: 146 393.25/393.47 c model valid 393.25/393.47 c current solution ok 393.25/393.48 c current bound: 146 398.14/398.39 c model valid 398.14/398.39 c current solution ok 398.25/398.40 c current bound: 146 403.15/403.32 c model valid 403.15/403.32 c current solution ok 403.15/403.32 c current bound: 146 408.04/408.22 c model valid 408.04/408.22 c current solution ok 408.04/408.22 c current bound: 146 412.93/413.13 c model valid 412.93/413.13 c current solution ok 412.93/413.13 c current bound: 146 417.86/418.04 c model valid 417.86/418.04 c current solution ok 417.86/418.05 c current bound: 146 422.75/422.94 c model valid 422.75/422.94 c current solution ok 422.75/422.95 c current bound: 146 427.65/427.84 c model valid 427.65/427.84 c current solution ok 427.65/427.85 c current bound: 146 432.54/432.75 c model valid 432.54/432.75 c current solution ok 432.54/432.75 c current bound: 146 437.43/437.65 c model valid 437.43/437.65 c current solution ok 437.43/437.65 c current bound: 146 442.33/442.56 c model valid 442.33/442.56 c current solution ok 442.33/442.56 c current bound: 146 447.22/447.44 c model valid 447.22/447.44 c current solution ok 447.22/447.45 c current bound: 146 452.13/452.35 c model valid 452.13/452.35 c current solution ok 452.13/452.35 c current bound: 146 457.05/457.25 c model valid 457.05/457.25 c current solution ok 457.05/457.25 c current bound: 146 461.94/462.15 c model valid 461.94/462.15 c current solution ok 461.94/462.15 c current bound: 146 466.83/467.04 c model valid 466.83/467.04 c current solution ok 466.83/467.04 c current bound: 146 471.74/471.94 c model valid 471.74/471.94 c current solution ok 471.74/471.95 c current bound: 146 476.63/476.85 c model valid 476.63/476.85 c current solution ok 476.63/476.86 c current bound: 146 481.53/481.75 c model valid 481.53/481.75 c current solution ok 481.53/481.75 c current bound: 146 486.43/486.65 c model valid 486.43/486.65 c current solution ok 486.43/486.65 c current bound: 146 491.31/491.55 c model valid 491.31/491.55 c current solution ok 491.31/491.55 c current bound: 146 496.22/496.45 c model valid 496.22/496.45 c current solution ok 496.22/496.45 c current bound: 146 501.14/501.35 c model valid 501.14/501.35 c current solution ok 501.14/501.35 c current bound: 146 506.02/506.25 c model valid 506.02/506.25 c current solution ok 506.02/506.25 c current bound: 146 510.93/511.14 c model valid 510.93/511.14 c current solution ok 510.93/511.14 c current bound: 146 515.83/516.06 c model valid 515.83/516.06 c current solution ok 515.83/516.06 c current bound: 146 520.72/520.95 c model valid 520.72/520.95 c current solution ok 520.72/520.96 c current bound: 146 525.64/525.84 c model valid 525.64/525.84 c current solution ok 525.64/525.84 c current bound: 146 530.52/530.73 c model valid 530.52/530.73 c current solution ok 530.52/530.73 c current bound: 146 535.43/535.62 c model valid 535.43/535.62 c current solution ok 535.43/535.62 c current bound: 146 540.32/540.52 c model valid 540.32/540.52 c current solution ok 540.32/540.53 c current bound: 146 545.22/545.42 c model valid 545.22/545.42 c current solution ok 545.22/545.42 c current bound: 146 550.11/550.32 c model valid 550.11/550.32 c current solution ok 550.11/550.33 c current bound: 146 555.02/555.23 c model valid 555.02/555.23 c current solution ok 555.02/555.23 c current bound: 146 559.91/560.12 c model valid 559.91/560.12 c current solution ok 559.91/560.12 c current bound: 146 564.82/565.02 c model valid 564.82/565.02 c current solution ok 564.82/565.02 c current bound: 146 569.71/569.92 c model valid 569.71/569.92 c current solution ok 569.71/569.92 c current bound: 146 574.61/574.81 c model valid 574.61/574.81 c current solution ok 574.61/574.81 c current bound: 146 579.52/579.71 c model valid 579.52/579.71 c current solution ok 579.52/579.71 c current bound: 146 584.41/584.62 c model valid 584.41/584.62 c current solution ok 584.41/584.62 c current bound: 146 589.32/589.51 c model valid 589.32/589.51 c current solution ok 589.32/589.51 c current bound: 146 594.22/594.41 c model valid 594.22/594.41 c current solution ok 594.22/594.41 c current bound: 146 599.10/599.33 c model valid 599.10/599.33 c current solution ok 599.10/599.33 c current bound: 146 604.02/604.25 c model valid 604.02/604.25 c current solution ok 604.02/604.26 c current bound: 146 608.91/609.15 c model valid 608.91/609.15 c current solution ok 608.91/609.16 c current bound: 146 613.81/614.07 c model valid 613.81/614.07 c current solution ok 613.81/614.07 c current bound: 146 618.70/618.98 c model valid 618.70/618.98 c current solution ok 618.70/618.98 c current bound: 146 623.60/623.89 c model valid 623.60/623.89 c current solution ok 623.60/623.89 c current bound: 146 628.60/628.80 c model valid 628.60/628.80 c current solution ok 628.60/628.80 c current bound: 146 633.41/633.69 c model valid 633.41/633.69 c current solution ok 633.41/633.69 c current bound: 146 638.30/638.59 c model valid 638.30/638.59 c current solution ok 638.30/638.59 c current bound: 146 643.22/643.48 c model valid 643.22/643.48 c current solution ok 643.22/643.49 c current bound: 146 648.11/648.39 c model valid 648.11/648.39 c current solution ok 648.11/648.39 c current bound: 146 653.11/653.31 c model valid 653.11/653.31 c current solution ok 653.11/653.32 c current bound: 146 658.00/658.23 c model valid 658.00/658.23 c current solution ok 658.00/658.23 c current bound: 146 662.89/663.13 c model valid 662.89/663.13 c current solution ok 662.89/663.13 c current bound: 146 667.80/668.03 c model valid 667.80/668.03 c current solution ok 667.80/668.03 c current bound: 146 672.70/672.94 c model valid 672.70/672.94 c current solution ok 672.70/672.94 c current bound: 146 677.60/677.82 c model valid 677.60/677.82 c current solution ok 677.60/677.83 c current bound: 146 682.50/682.73 c model valid 682.50/682.73 c current solution ok 682.50/682.73 c current bound: 146 687.40/687.64 c model valid 687.40/687.64 c current solution ok 687.40/687.65 c current bound: 146 692.29/692.55 c model valid 692.29/692.55 c current solution ok 692.29/692.56 c current bound: 146 697.21/697.46 c model valid 697.21/697.46 c current solution ok 697.21/697.46 c current bound: 146 702.09/702.36 c model valid 702.09/702.36 c current solution ok 702.09/702.37 c current bound: 146 706.99/707.25 c model valid 706.99/707.25 c current solution ok 706.99/707.25 c current bound: 146 711.89/712.15 c model valid 711.89/712.15 c current solution ok 711.89/712.15 c current bound: 146 716.79/717.05 c model valid 716.79/717.05 c current solution ok 716.79/717.05 c current bound: 146 721.69/721.95 c model valid 721.69/721.95 c current solution ok 721.69/721.96 c current bound: 146 726.59/726.86 c model valid 726.59/726.86 c current solution ok 726.59/726.86 c current bound: 146 731.50/731.77 c model valid 731.50/731.77 c current solution ok 731.50/731.77 c current bound: 146 736.40/736.68 c model valid 736.40/736.68 c current solution ok 736.40/736.68 c current bound: 146 741.29/741.57 c model valid 741.29/741.57 c current solution ok 741.29/741.57 c current bound: 146 746.19/746.48 c model valid 746.19/746.48 c current solution ok 746.19/746.48 c current bound: 146 751.09/751.37 c model valid 751.09/751.37 c current solution ok 751.09/751.38 c current bound: 146 755.98/756.27 c model valid 755.98/756.27 c current solution ok 755.98/756.28 c current bound: 146 760.89/761.17 c model valid 760.89/761.17 c current solution ok 760.89/761.18 c current bound: 146 765.78/766.08 c model valid 765.78/766.08 c current solution ok 765.78/766.08 c current bound: 146 770.69/770.99 c model valid 770.69/770.99 c current solution ok 770.69/770.99 c current bound: 146 775.68/775.91 c model valid 775.68/775.91 c current solution ok 775.68/775.91 c current bound: 146 780.57/780.81 c model valid 780.57/780.81 c current solution ok 780.57/780.81 c current bound: 146 785.48/785.72 c model valid 785.48/785.72 c current solution ok 785.48/785.73 c current bound: 146 790.38/790.64 c model valid 790.38/790.64 c current solution ok 790.38/790.64 c current bound: 146 795.28/795.52 c model valid 795.28/795.52 c current solution ok 795.28/795.53 c current bound: 146 800.18/800.41 c model valid 800.18/800.41 c current solution ok 800.18/800.41 c current bound: 146 805.09/805.33 c model valid 805.09/805.33 c current solution ok 805.09/805.33 c current bound: 146 809.97/810.23 c model valid 809.97/810.23 c current solution ok 809.97/810.24 c current bound: 146 814.89/815.13 c model valid 814.89/815.13 c current solution ok 814.89/815.13 c current bound: 146 819.77/820.06 c model valid 819.77/820.06 c current solution ok 819.77/820.06 c current bound: 146 824.67/824.98 c model valid 824.67/824.98 c current solution ok 824.67/824.98 c current bound: 146 829.58/829.89 c model valid 829.58/829.89 c current solution ok 829.58/829.89 c current bound: 146 834.47/834.79 c model valid 834.47/834.79 c current solution ok 834.47/834.79 c current bound: 146 839.38/839.68 c model valid 839.38/839.68 c current solution ok 839.38/839.69 c current bound: 146 844.39/844.60 c model valid 844.39/844.60 c current solution ok 844.39/844.61 c current bound: 146 849.28/849.50 c model valid 849.28/849.50 c current solution ok 849.28/849.51 c current bound: 146 854.17/854.41 c model valid 854.17/854.41 c current solution ok 854.17/854.41 c current bound: 146 859.07/859.32 c model valid 859.07/859.32 c current solution ok 859.07/859.33 c current bound: 146 863.96/864.23 c model valid 863.96/864.23 c current solution ok 863.96/864.23 c current bound: 146 868.86/869.13 c model valid 868.86/869.13 c current solution ok 868.86/869.14 c current bound: 146 873.76/874.04 c model valid 873.76/874.04 c current solution ok 873.76/874.04 c current bound: 146 878.67/878.94 c model valid 878.67/878.94 c current solution ok 878.67/878.94 c current bound: 146 883.56/883.84 c model valid 883.56/883.84 c current solution ok 883.56/883.84 c current bound: 146 888.47/888.77 c model valid 888.47/888.77 c current solution ok 888.47/888.77 c current bound: 146 893.37/893.67 c model valid 893.37/893.67 c current solution ok 893.37/893.68 c current bound: 146 898.27/898.57 c model valid 898.27/898.57 c current solution ok 898.27/898.57 c current bound: 146 903.16/903.49 c model valid 903.16/903.49 c current solution ok 903.16/903.49 c current bound: 146 908.16/908.41 c model valid 908.16/908.41 c current solution ok 908.16/908.41 c current bound: 146 913.08/913.32 c model valid 913.08/913.32 c current solution ok 913.08/913.32 c current bound: 146 917.96/918.23 c model valid 917.96/918.23 c current solution ok 917.96/918.24 c current bound: 146 922.86/923.14 c model valid 922.86/923.14 c current solution ok 922.86/923.14 c current bound: 146 927.76/928.03 c model valid 927.76/928.03 c current solution ok 927.76/928.03 c current bound: 146 932.68/932.91 c model valid 932.68/932.91 c current solution ok 932.68/932.91 c current bound: 146 937.57/937.81 c model valid 937.57/937.81 c current solution ok 937.57/937.81 c current bound: 146 942.48/942.71 c model valid 942.48/942.71 c current solution ok 942.48/942.72 c current bound: 146 947.38/947.63 c model valid 947.38/947.63 c current solution ok 947.38/947.68 c current bound: 146 952.22/952.59 c model valid 952.22/952.59 c current solution ok 952.22/952.59 c current bound: 146 957.10/957.48 c model valid 957.10/957.48 c current solution ok 957.10/957.49 c current bound: 146 961.99/962.38 c model valid 961.99/962.38 c current solution ok 961.99/962.39 c current bound: 146 967.00/967.30 c model valid 967.00/967.30 c current solution ok 967.00/967.30 c current bound: 146 971.91/972.20 c model valid 971.91/972.20 c current solution ok 971.91/972.20 c current bound: 146 976.81/977.10 c model valid 976.81/977.10 c current solution ok 976.81/977.11 c current bound: 146 981.71/982.01 c model valid 981.71/982.01 c current solution ok 981.71/982.02 c current bound: 146 986.61/986.90 c model valid 986.61/986.90 c current solution ok 986.61/986.91 c current bound: 146 991.50/991.81 c model valid 991.50/991.81 c current solution ok 991.50/991.82 c current bound: 146 996.41/996.71 c model valid 996.41/996.71 c current solution ok 996.41/996.71 c current bound: 146 1001.30/1001.62 c model valid 1001.30/1001.62 c current solution ok 1001.30/1001.62 c current bound: 146 1006.20/1006.53 c model valid 1006.20/1006.53 c current solution ok 1006.20/1006.53 c current bound: 146 1011.10/1011.43 c model valid 1011.10/1011.43 c current solution ok 1011.10/1011.44 c current bound: 146 1016.00/1016.33 c model valid 1016.00/1016.33 c current solution ok 1016.00/1016.33 c current bound: 146 1020.90/1021.22 c model valid 1020.90/1021.22 c current solution ok 1020.90/1021.23 c current bound: 146 1025.79/1026.12 c model valid 1025.79/1026.12 c current solution ok 1025.79/1026.12 c current bound: 146 1030.70/1031.03 c model valid 1030.70/1031.03 c current solution ok 1030.70/1031.04 c current bound: 146 1035.58/1035.94 c model valid 1035.58/1035.94 c current solution ok 1035.58/1035.94 c current bound: 146 1040.49/1040.85 c model valid 1040.49/1040.85 c current solution ok 1040.49/1040.85 c current bound: 146 1045.39/1045.75 c model valid 1045.39/1045.75 c current solution ok 1045.39/1045.76 c current bound: 146 1050.29/1050.65 c model valid 1050.29/1050.65 c current solution ok 1050.29/1050.65 c current bound: 146 1055.19/1055.54 c model valid 1055.19/1055.54 c current solution ok 1055.19/1055.54 c current bound: 146 1060.10/1060.44 c model valid 1060.10/1060.44 c current solution ok 1060.10/1060.44 c current bound: 146 1064.99/1065.36 c model valid 1064.99/1065.36 c current solution ok 1064.99/1065.36 c current bound: 146 1069.89/1070.27 c model valid 1069.89/1070.27 c current solution ok 1069.89/1070.27 c current bound: 146 1074.78/1075.18 c model valid 1074.78/1075.18 c current solution ok 1074.78/1075.18 c current bound: 146 1079.68/1080.08 c model valid 1079.68/1080.08 c current solution ok 1079.68/1080.08 c current bound: 146 1084.59/1084.99 c model valid 1084.59/1084.99 c current solution ok 1084.59/1084.99 c current bound: 146 1089.49/1089.89 c model valid 1089.49/1089.89 c current solution ok 1089.60/1089.90 c current bound: 146 1094.49/1094.80 c model valid 1094.49/1094.80 c current solution ok 1094.49/1094.80 c current bound: 146 1099.40/1099.70 c model valid 1099.40/1099.70 c current solution ok 1099.40/1099.71 c current bound: 146 1104.30/1104.60 c model valid 1104.30/1104.60 c current solution ok 1104.30/1104.60 c current bound: 146 1109.09/1109.50 c model valid 1109.09/1109.50 c current solution ok 1109.20/1109.50 c current bound: 146 1114.10/1114.40 c model valid 1114.10/1114.40 c current solution ok 1114.10/1114.40 c current bound: 146 1118.89/1119.29 c model valid 1118.89/1119.29 c current solution ok 1119.00/1119.30 c current bound: 146 1123.79/1124.20 c model valid 1123.79/1124.20 c current solution ok 1123.79/1124.20 c current bound: 146 1128.78/1129.11 c model valid 1128.78/1129.11 c current solution ok 1128.78/1129.11 c current bound: 146 1133.69/1134.01 c model valid 1133.69/1134.01 c current solution ok 1133.69/1134.02 c current bound: 146 1138.49/1138.85 c model valid 1138.49/1138.85 c current solution ok 1138.49/1138.86 c current bound: 146 1143.39/1143.76 c model valid 1143.39/1143.76 c current solution ok 1143.39/1143.76 c current bound: 146 1148.29/1148.67 c model valid 1148.29/1148.67 c current solution ok 1148.29/1148.67 c current bound: 146 1153.18/1153.58 c model valid 1153.18/1153.58 c current solution ok 1153.18/1153.58 c current bound: 146 1158.09/1158.47 c model valid 1158.09/1158.47 c current solution ok 1158.09/1158.47 c current bound: 146 1162.99/1163.36 c model valid 1162.99/1163.36 c current solution ok 1162.99/1163.36 c current bound: 146 1167.88/1168.26 c model valid 1167.88/1168.26 c current solution ok 1167.88/1168.26 c current bound: 146 1172.78/1173.16 c model valid 1172.78/1173.16 c current solution ok 1172.78/1173.17 c current bound: 146 1177.69/1178.07 c model valid 1177.69/1178.07 c current solution ok 1177.69/1178.08 c current bound: 146 1182.58/1182.98 c model valid 1182.58/1182.98 c current solution ok 1182.58/1182.99 c current bound: 146 1187.48/1187.89 c model valid 1187.48/1187.89 c current solution ok 1187.48/1187.89 c current bound: 146 1192.37/1192.78 c model valid 1192.37/1192.78 c current solution ok 1192.37/1192.78 c current bound: 146 1197.26/1197.68 c model valid 1197.26/1197.68 c current solution ok 1197.26/1197.68 c current bound: 146 1202.17/1202.59 c model valid 1202.17/1202.59 c current solution ok 1202.17/1202.59 c current bound: 146 1207.08/1207.49 c model valid 1207.08/1207.49 c current solution ok 1207.08/1207.49 c current bound: 146 1211.97/1212.39 c model valid 1211.97/1212.39 c current solution ok 1211.97/1212.39 c current bound: 146 1216.87/1217.28 c model valid 1216.87/1217.28 c current solution ok 1216.87/1217.28 c current bound: 146 1221.88/1222.20 c model valid 1221.88/1222.20 c current solution ok 1221.88/1222.20 c current bound: 146 1226.66/1227.09 c model valid 1226.66/1227.09 c current solution ok 1226.77/1227.10 c current bound: 146 1231.57/1231.99 c model valid 1231.57/1231.99 c current solution ok 1231.57/1231.99 c current bound: 146 1236.46/1236.89 c model valid 1236.46/1236.89 c current solution ok 1236.46/1236.89 c current bound: 146 1241.36/1241.79 c model valid 1241.36/1241.79 c current solution ok 1241.36/1241.79 c current bound: 146 1246.26/1246.67 c model valid 1246.26/1246.67 c current solution ok 1246.26/1246.68 c current bound: 146 1251.16/1251.57 c model valid 1251.16/1251.57 c current solution ok 1251.16/1251.57 c current bound: 146 1256.07/1256.48 c model valid 1256.07/1256.48 c current solution ok 1256.07/1256.48 c current bound: 146 1260.98/1261.39 c model valid 1260.98/1261.39 c current solution ok 1260.98/1261.39 c current bound: 146 1265.98/1266.31 c model valid 1265.98/1266.31 c current solution ok 1265.98/1266.31 c current bound: 146 1270.87/1271.22 c model valid 1270.87/1271.22 c current solution ok 1270.87/1271.22 c current bound: 146 1275.76/1276.12 c model valid 1275.76/1276.12 c current solution ok 1275.76/1276.12 c current bound: 146 1280.66/1281.04 c model valid 1280.66/1281.04 c current solution ok 1280.66/1281.04 c current bound: 146 1285.57/1285.93 c model valid 1285.57/1285.93 c current solution ok 1285.57/1285.93 c current bound: 146 1290.46/1290.83 c model valid 1290.46/1290.83 c current solution ok 1290.46/1290.83 c current bound: 146 1295.36/1295.75 c model valid 1295.36/1295.75 c current solution ok 1295.36/1295.75 c current bound: 146 1300.26/1300.66 c model valid 1300.26/1300.66 c current solution ok 1300.26/1300.66 c current bound: 146 1305.15/1305.56 c model valid 1305.15/1305.56 c current solution ok 1305.15/1305.56 c current bound: 146 1310.06/1310.47 c model valid 1310.06/1310.47 c current solution ok 1310.06/1310.47 c current bound: 146 1314.96/1315.38 c model valid 1314.96/1315.38 c current solution ok 1314.96/1315.38 c current bound: 146 1319.86/1320.28 c model valid 1319.86/1320.28 c current solution ok 1319.86/1320.29 c current bound: 146 1324.87/1325.20 c model valid 1324.87/1325.20 c current solution ok 1324.87/1325.20 c current bound: 146 1329.76/1330.12 c model valid 1329.76/1330.12 c current solution ok 1329.76/1330.13 c current bound: 146 1334.66/1335.03 c model valid 1334.66/1335.03 c current solution ok 1334.66/1335.03 c current bound: 146 1339.55/1339.93 c model valid 1339.55/1339.93 c current solution ok 1339.55/1339.93 c current bound: 146 1344.45/1344.84 c model valid 1344.45/1344.84 c current solution ok 1344.45/1344.84 c current bound: 146 1349.36/1349.74 c model valid 1349.36/1349.74 c current solution ok 1349.36/1349.74 c current bound: 146 1354.24/1354.67 c model valid 1354.24/1354.67 c current solution ok 1354.24/1354.67 c current bound: 146 1359.17/1359.58 c model valid 1359.17/1359.58 c current solution ok 1359.17/1359.58 c current bound: 146 1364.05/1364.49 c model valid 1364.05/1364.49 c current solution ok 1364.05/1364.49 c current bound: 146 1368.95/1369.37 c model valid 1368.95/1369.37 c current solution ok 1368.95/1369.37 c current bound: 146 1373.85/1374.28 c model valid 1373.85/1374.28 c current solution ok 1373.85/1374.28 c current bound: 146 1378.75/1379.19 c model valid 1378.75/1379.19 c current solution ok 1378.75/1379.19 c current bound: 146 1383.75/1384.10 c model valid 1383.75/1384.10 c current solution ok 1383.75/1384.10 c current bound: 146 1388.65/1389.02 c model valid 1388.65/1389.02 c current solution ok 1388.65/1389.02 c current bound: 146 1393.55/1393.94 c model valid 1393.55/1393.94 c current solution ok 1393.55/1393.94 c current bound: 146 1398.45/1398.84 c model valid 1398.45/1398.84 c current solution ok 1398.45/1398.84 c current bound: 146 1403.34/1403.75 c model valid 1403.34/1403.75 c current solution ok 1403.34/1403.75 c current bound: 146 1408.25/1408.65 c model valid 1408.25/1408.65 c current solution ok 1408.25/1408.65 c current bound: 146 1413.45/1413.82 c model valid 1413.45/1413.82 c current solution ok 1413.45/1413.83 c current bound: 146 1418.34/1418.72 c model valid 1418.34/1418.72 c current solution ok 1418.34/1418.72 c current bound: 146 1423.24/1423.62 c model valid 1423.24/1423.62 c current solution ok 1423.24/1423.62 c current bound: 146 1428.15/1428.53 c model valid 1428.15/1428.53 c current solution ok 1428.15/1428.53 c current bound: 146 1433.04/1433.42 c model valid 1433.04/1433.42 c current solution ok 1433.04/1433.43 c current bound: 146 1437.94/1438.32 c model valid 1437.94/1438.32 c current solution ok 1437.94/1438.33 c current bound: 146 1442.85/1443.21 c model valid 1442.85/1443.21 c current solution ok 1442.85/1443.22 c current bound: 146 1447.75/1448.11 c model valid 1447.75/1448.11 c current solution ok 1447.75/1448.11 c current bound: 146 1452.65/1453.04 c model valid 1452.65/1453.04 c current solution ok 1452.65/1453.04 c current bound: 146 1457.54/1457.96 c model valid 1457.54/1457.96 c current solution ok 1457.54/1457.96 c current bound: 146 1462.43/1462.87 c model valid 1462.43/1462.87 c current solution ok 1462.43/1462.87 c current bound: 146 1467.43/1467.80 c model valid 1467.43/1467.80 c current solution ok 1467.43/1467.80 c current bound: 146 1472.34/1472.70 c model valid 1472.34/1472.70 c current solution ok 1472.34/1472.71 c current bound: 146 1477.23/1477.60 c model valid 1477.23/1477.60 c current solution ok 1477.23/1477.60 c current bound: 146 1482.12/1482.52 c model valid 1482.12/1482.52 c current solution ok 1482.12/1482.52 c current bound: 146 1487.02/1487.42 c model valid 1487.02/1487.42 c current solution ok 1487.02/1487.49 c current bound: 146 1491.96/1492.48 c model valid 1491.96/1492.48 c current solution ok 1491.96/1492.48 c current bound: 146 1496.79/1497.38 c model valid 1496.79/1497.38 c current solution ok 1496.79/1497.38 c current bound: 146 1501.68/1502.28 c model valid 1501.68/1502.28 c current solution ok 1501.68/1502.28 c current bound: 146 1506.69/1507.21 c model valid 1506.69/1507.21 c current solution ok 1506.69/1507.21 c current bound: 146 1511.59/1512.12 c model valid 1511.59/1512.12 c current solution ok 1511.59/1512.12 c current bound: 146 1516.49/1517.02 c model valid 1516.49/1517.02 c current solution ok 1516.49/1517.02 c current bound: 146 1521.38/1521.91 c model valid 1521.38/1521.91 c current solution ok 1521.38/1521.91 c current bound: 146 1526.27/1526.83 c model valid 1526.27/1526.83 c current solution ok 1526.27/1526.83 c current bound: 146 1531.17/1531.72 c model valid 1531.17/1531.72 c current solution ok 1531.17/1531.73 c current bound: 146 1536.09/1536.63 c model valid 1536.09/1536.63 c current solution ok 1536.09/1536.63 c current bound: 146 1540.97/1541.53 c model valid 1540.97/1541.53 c current solution ok 1540.97/1541.53 c current bound: 146 1545.87/1546.44 c model valid 1545.87/1546.44 c current solution ok 1545.87/1546.44 c current bound: 146 1550.76/1551.33 c model valid 1550.76/1551.33 c current solution ok 1550.76/1551.33 c current bound: 146 1555.69/1556.24 c model valid 1555.69/1556.24 c current solution ok 1555.69/1556.25 c current bound: 146 1560.57/1561.13 c model valid 1560.57/1561.13 c current solution ok 1560.57/1561.14 c current bound: 146 1565.48/1566.04 c model valid 1565.48/1566.04 c current solution ok 1565.48/1566.04 c current bound: 146 1570.38/1570.94 c model valid 1570.38/1570.94 c current solution ok 1570.38/1570.95 c current bound: 146 1575.27/1575.84 c model valid 1575.27/1575.84 c current solution ok 1575.27/1575.85 c current bound: 146 1580.19/1580.76 c model valid 1580.19/1580.76 c current solution ok 1580.19/1580.76 c current bound: 146 1585.07/1585.65 c model valid 1585.07/1585.65 c current solution ok 1585.07/1585.65 c current bound: 146 1589.75/1590.39 c model valid 1589.75/1590.39 c current solution ok 1589.87/1590.40 c current bound: 146 1594.66/1595.29 c model valid 1594.66/1595.29 c current solution ok 1594.66/1595.29 c current bound: 146 1599.56/1600.19 c model valid 1599.56/1600.19 c current solution ok 1599.67/1600.20 c current bound: 146 1604.56/1605.13 c model valid 1604.56/1605.13 c current solution ok 1604.56/1605.16 c current bound: 146 1609.42/1610.02 c model valid 1609.42/1610.02 c current solution ok 1609.42/1610.03 c current bound: 146 1614.31/1614.92 c model valid 1614.31/1614.92 c current solution ok 1614.31/1614.92 c current bound: 146 1619.13/1619.79 c model valid 1619.13/1619.79 c current solution ok 1619.23/1619.80 c current bound: 146 1624.02/1624.70 c model valid 1624.02/1624.70 c current solution ok 1624.02/1624.70 c current bound: 146 1629.02/1629.60 c model valid 1629.02/1629.60 c current solution ok 1629.02/1629.60 c current bound: 146 1633.93/1634.50 c model valid 1633.93/1634.50 c current solution ok 1633.93/1634.51 c current bound: 146 1638.82/1639.42 c model valid 1638.82/1639.42 c current solution ok 1638.82/1639.42 c current bound: 146 1643.71/1644.33 c model valid 1643.71/1644.33 c current solution ok 1643.71/1644.33 c current bound: 146 1648.62/1649.25 c model valid 1648.62/1649.25 c current solution ok 1648.62/1649.25 c current bound: 146 1653.51/1654.15 c model valid 1653.51/1654.15 c current solution ok 1653.51/1654.15 c current bound: 146 1658.41/1659.05 c model valid 1658.41/1659.05 c current solution ok 1658.41/1659.05 c current bound: 146 1663.31/1663.96 c model valid 1663.31/1663.96 c current solution ok 1663.31/1663.96 c current bound: 146 1668.20/1668.87 c model valid 1668.20/1668.87 c current solution ok 1668.20/1668.87 c current bound: 146 1673.12/1673.77 c model valid 1673.12/1673.77 c current solution ok 1673.12/1673.77 c current bound: 146 1678.01/1678.69 c model valid 1678.01/1678.69 c current solution ok 1678.01/1678.69 c current bound: 146 1682.92/1683.59 c model valid 1682.92/1683.59 c current solution ok 1682.92/1683.59 c current bound: 146 1687.82/1688.48 c model valid 1687.82/1688.48 c current solution ok 1687.82/1688.48 c current bound: 146 1692.70/1693.38 c model valid 1692.70/1693.38 c current solution ok 1692.70/1693.38 c current bound: 146 1697.60/1698.29 c model valid 1697.60/1698.29 c current solution ok 1697.60/1698.30 c current bound: 146 1702.79/1703.48 c model valid 1702.79/1703.48 c current solution ok 1702.90/1703.53 c current bound: 146 1707.75/1708.44 c model valid 1707.75/1708.44 c current solution ok 1707.75/1708.45 c current bound: 146 1712.66/1713.35 c model valid 1712.66/1713.35 c current solution ok 1712.66/1713.35 c current bound: 146 1717.55/1718.25 c model valid 1717.55/1718.25 c current solution ok 1717.55/1718.26 c current bound: 146 1722.45/1723.15 c model valid 1722.45/1723.15 c current solution ok 1722.45/1723.15 c current bound: 146 1727.36/1728.07 c model valid 1727.36/1728.07 c current solution ok 1727.36/1728.07 c current bound: 146 1732.25/1732.97 c model valid 1732.25/1732.97 c current solution ok 1732.25/1732.98 c current bound: 146 1737.16/1737.89 c model valid 1737.16/1737.89 c current solution ok 1737.16/1737.89 c current bound: 146 1742.05/1742.79 c model valid 1742.05/1742.79 c current solution ok 1742.05/1742.79 c current bound: 146 1747.05/1747.71 c model valid 1747.05/1747.71 c current solution ok 1747.05/1747.72 c current bound: 146 1751.95/1752.61 c model valid 1751.95/1752.61 c current solution ok 1751.95/1752.61 c current bound: 146 1756.86/1757.50 c model valid 1756.86/1757.50 c current solution ok 1756.86/1757.51 c current bound: 146 1761.66/1762.39 c model valid 1761.66/1762.39 c current solution ok 1761.76/1762.40 c current bound: 146 1766.55/1767.29 c model valid 1766.55/1767.29 c current solution ok 1766.55/1767.29 c current bound: 146 1771.44/1772.18 c model valid 1771.44/1772.18 c current solution ok 1771.44/1772.19 c current bound: 146 1776.34/1777.07 c model valid 1776.34/1777.07 c current solution ok 1776.34/1777.07 c current bound: 146 1781.27/1781.96 c model valid 1781.27/1781.96 c current solution ok 1781.27/1781.96 c current bound: 146 1786.15/1786.87 c model valid 1786.15/1786.87 c current solution ok 1786.15/1786.87 c current bound: 146 1791.04/1791.77 c model valid 1791.04/1791.77 c current solution ok 1791.04/1791.77 c current bound: 146 1795.95/1796.68 c model valid 1795.95/1796.68 c current solution ok 1795.95/1796.68 c current bound: 146 1800.07/1800.71 ./satsolver.sh: line 5: 8142 Terminated ./glucose $1 > $2 2> /dev/null 1800.07/1800.71 c error: unexpected solver exit code 1800.07/1800.71 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-3702992-1338066521/watcher-3702992-1338066521 -o /tmp/evaluation-result-3702992-1338066521/solver-3702992-1338066521 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702992-1338066521.opb 121013427 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.73 2.98 2.65 3/181 5490 /proc/meminfo: memFree=29807900/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [startup+0.0225 s] /proc/loadavg: 2.73 2.98 2.65 3/181 5490 /proc/meminfo: memFree=29807900/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100279 s] /proc/loadavg: 2.73 2.98 2.65 3/181 5490 /proc/meminfo: memFree=29807900/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300144 s] /proc/loadavg: 2.73 2.98 2.65 3/181 5490 /proc/meminfo: memFree=29807900/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700111 s] /proc/loadavg: 2.73 2.98 2.65 3/181 5490 /proc/meminfo: memFree=29807900/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50037 s] /proc/loadavg: 2.73 2.98 2.65 3/186 5499 /proc/meminfo: memFree=29782532/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23248 CPUtime=0.3 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 6028 2887 0 0 14 2 14 0 20 0 1 0 272777785 23805952 5442 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5491/statm: 5812 5442 197 440 0 5368 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=5498] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5498/stat : 5498 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272777823 9367552 266 33554432000 4194304 5064252 140735934426640 140735934425552 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5498/statm: 2287 266 226 213 0 72 0 [pid=5499] ppid=5498 vsize=7100 CPUtime=1.11 cores=0,2,4,6 /proc/5499/stat : 5499 (glucose) R 5498 5490 3390 0 -1 4202496 1465 0 0 0 111 0 0 0 20 0 1 0 272777823 7270400 967 33554432000 4194304 5208918 140733799145040 140733799142888 4213121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5499/statm: 1775 967 102 248 0 1524 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 56684 [startup+3.10037 s] /proc/loadavg: 2.73 2.98 2.65 3/186 5499 /proc/meminfo: memFree=29780300/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23248 CPUtime=0.3 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 6028 2887 0 0 14 2 14 0 20 0 1 0 272777785 23805952 5442 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5491/statm: 5812 5442 197 440 0 5368 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=5498] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5498/stat : 5498 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272777823 9367552 266 33554432000 4194304 5064252 140735934426640 140735934425552 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5498/statm: 2287 266 226 213 0 72 0 [pid=5499] ppid=5498 vsize=8748 CPUtime=2.71 cores=0,2,4,6 /proc/5499/stat : 5499 (glucose) R 5498 5490 3390 0 -1 4202496 1917 0 0 0 271 0 0 0 20 0 1 0 272777823 8957952 1384 33554432000 4194304 5208918 140733799145040 140733799142984 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5499/statm: 2187 1384 102 248 0 1936 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 58332 [startup+6.30033 s] /proc/loadavg: 2.67 2.97 2.64 3/186 5506 /proc/meminfo: memFree=29781360/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=5.2 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 6220 8400 0 0 14 2 502 2 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=5505] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5505/stat : 5505 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272778312 9367552 267 33554432000 4194304 5064252 140737480162800 140737480161712 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5505/statm: 2287 267 226 213 0 72 0 [pid=5506] ppid=5505 vsize=5456 CPUtime=1.01 cores=0,2,4,6 /proc/5506/stat : 5506 (glucose) R 5505 5490 3390 0 -1 4202496 1268 0 0 0 101 0 0 0 20 0 1 0 272778312 5586944 913 33554432000 4194304 5208918 140734316609744 140734316607592 4212829 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/5506/statm: 1364 913 102 248 0 1113 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 55172 [startup+12.7004 s] /proc/loadavg: 2.70 2.97 2.64 3/186 5513 /proc/meminfo: memFree=29776944/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=10.38 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 6447 13263 0 0 14 2 1019 3 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=5512] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5512/stat : 5512 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272778831 9367552 267 33554432000 4194304 5064252 140736097940416 140736097939328 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5512/statm: 2287 267 226 213 0 72 0 [pid=5513] ppid=5512 vsize=7108 CPUtime=2.22 cores=0,2,4,6 /proc/5513/stat : 5513 (glucose) R 5512 5490 3390 0 -1 4202496 1859 0 0 0 222 0 0 0 20 0 1 0 272778831 7278592 1330 33554432000 4194304 5208918 140733275124976 140733275122920 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5513/statm: 1777 1330 102 248 0 1526 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 56824 [startup+25.5004 s] /proc/loadavg: 2.54 2.92 2.63 3/186 5534 /proc/meminfo: memFree=29779564/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=25.09 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 7364 28709 0 0 14 2 2487 6 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=5533] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5533/stat : 5533 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272780303 9367552 267 33554432000 4194304 5064252 140735433229904 140735433228816 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5533/statm: 2287 267 226 213 0 72 0 [pid=5534] ppid=5533 vsize=4148 CPUtime=0.31 cores=0,2,4,6 /proc/5534/stat : 5534 (glucose) R 5533 5490 3390 0 -1 4202496 801 0 0 0 31 0 0 0 20 0 1 0 272780303 4247552 556 33554432000 4194304 5208918 140733255314160 140733255312552 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/5534/statm: 1037 556 102 248 0 786 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 53864 [startup+51.1004 s] /proc/loadavg: 2.36 2.84 2.62 3/185 5569 /proc/meminfo: memFree=29775548/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=49.86 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 9101 55256 0 0 15 3 4955 13 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=5568] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5568/stat : 5568 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272782780 9367552 267 33554432000 4194304 5064252 140734016925840 140734016924752 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/5568/statm: 2287 267 226 213 0 72 0 [pid=5569] ppid=5568 vsize=7100 CPUtime=1.14 cores=0,2,4,6 /proc/5569/stat : 5569 (glucose) R 5568 5490 3390 0 -1 4202496 1375 0 0 0 114 0 0 0 20 0 1 0 272782780 7270400 977 33554432000 4194304 5208918 140735152413104 140735152411048 4229734 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/5569/statm: 1775 977 102 248 0 1524 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 56816 [startup+102.307 s] /proc/loadavg: 2.15 2.71 2.58 3/186 5642 /proc/meminfo: memFree=29772316/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=98.86 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 12574 107275 0 0 16 4 9840 26 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 ################ # More data... # ################ /proc/7626/stat : 7626 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272925545 9367552 267 33554432000 4194304 5064252 140734596538784 140734596537696 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7626/statm: 2287 267 226 213 0 72 0 [pid=7627] ppid=7626 vsize=8752 CPUtime=4.68 cores=0,2,4,6 /proc/7627/stat : 7627 (glucose) R 7626 5490 3390 0 -1 4202496 2031 0 0 0 468 0 0 0 20 0 1 0 272925545 8962048 1573 33554432000 4194304 5208918 140734176040544 140734176038488 4229692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/7627/statm: 2188 1573 102 248 0 1937 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 58468 [startup+1542.3 s] /proc/loadavg: 2.26 2.14 2.16 3/183 7719 /proc/meminfo: memFree=30364452/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=1540.98 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 113870 1641600 0 0 41 45 153610 402 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=7718] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7718/stat : 7718 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272931939 9367552 267 33554432000 4194304 5064252 140736894198896 140736894197808 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7718/statm: 2287 267 226 213 0 72 0 [pid=7719] ppid=7718 vsize=4404 CPUtime=0.75 cores=0,2,4,6 /proc/7719/stat : 7719 (glucose) R 7718 5490 3390 0 -1 4202496 1047 0 0 0 75 0 0 0 20 0 1 0 272931939 4509696 672 33554432000 4194304 5208918 140736721458704 140736721456552 4228992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/7719/statm: 1101 672 102 248 0 850 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 54120 [startup+1602.3 s] /proc/loadavg: 2.18 2.12 2.16 3/183 7862 /proc/meminfo: memFree=31571720/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=1599.63 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 118032 1704528 0 0 42 47 159456 418 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=7859] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7859/stat : 7859 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272937805 9367552 266 33554432000 4194304 5064252 140733710699232 140733710698144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7859/statm: 2287 266 226 213 0 72 0 [pid=7860] ppid=7859 vsize=7104 CPUtime=2.09 cores=0,2,4,6 /proc/7860/stat : 7860 (glucose) R 7859 5490 3390 0 -1 4202496 1827 0 0 0 209 0 0 0 20 0 1 0 272937805 7274496 1301 33554432000 4194304 5208918 140734921664240 140734921662184 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/7860/statm: 1776 1301 102 248 0 1525 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 56820 [startup+1662.3 s] /proc/loadavg: 2.10 2.11 2.15 3/183 7946 /proc/meminfo: memFree=31535416/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=1658.44 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 122149 1766994 0 0 44 49 165317 434 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=7945] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/7945/stat : 7945 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272943690 9367552 267 33554432000 4194304 5064252 140736983228480 140736983227392 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/7945/statm: 2287 267 226 213 0 72 0 [pid=7946] ppid=7945 vsize=8752 CPUtime=3.23 cores=0,2,4,6 /proc/7946/stat : 7946 (glucose) R 7945 5490 3390 0 -1 4202496 1979 0 0 0 323 0 0 0 20 0 1 0 272943690 8962048 1496 33554432000 4194304 5208918 140733624565792 140733624563736 4469616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/7946/statm: 2188 1496 102 248 0 1937 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 58468 [startup+1722.3 s] /proc/loadavg: 2.04 2.09 2.14 3/183 8030 /proc/meminfo: memFree=31522320/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=1717.58 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 126305 1828545 0 0 45 51 171213 449 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=8029] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8029/stat : 8029 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272949611 9367552 266 33554432000 4194304 5064252 140736364641136 140736364640048 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8029/statm: 2287 266 226 213 0 72 0 [pid=8030] ppid=8029 vsize=8748 CPUtime=4.03 cores=0,2,4,6 /proc/8030/stat : 8030 (glucose) R 8029 5490 3390 0 -1 4202496 2115 0 0 0 403 0 0 0 20 0 1 0 272949611 8957952 1572 33554432000 4194304 5208918 140736813531856 140736813529800 4229541 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/8030/statm: 2187 1572 102 248 0 1936 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 58464 [startup+1782.3 s] /proc/loadavg: 2.01 2.07 2.13 3/183 8114 /proc/meminfo: memFree=31513136/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=1781.29 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 130765 1897325 0 0 46 54 177562 467 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (KiB) 40568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 2.01 2.07 2.12 3/183 8142 /proc/meminfo: memFree=31494952/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=1796.02 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 131801 1912843 0 0 46 55 179029 472 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=8141] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8141/stat : 8141 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272957453 9367552 267 33554432000 4194304 5064252 140734246472176 140734246471088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8141/statm: 2287 267 226 213 0 72 0 [pid=8142] ppid=8141 vsize=8752 CPUtime=4.01 cores=0,2,4,6 /proc/8142/stat : 8142 (glucose) R 8141 5490 3390 0 -1 4202496 2116 0 0 0 401 0 0 0 20 0 1 0 272957454 8962048 1573 33554432000 4194304 5208918 140734017462848 140734017460792 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/8142/statm: 2188 1573 102 248 0 1937 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 58468 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 2.01 2.07 2.12 3/183 8142 /proc/meminfo: memFree=31494952/32873844 swapFree=7112/7112 [pid=5490] ppid=5488 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/5490/stat : 5490 (npSolver-pbo-It) S 5488 5490 3390 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272777785 9367552 275 33554432000 4194304 5064252 140736588234000 140736588232912 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/5490/statm: 2287 275 233 213 0 72 0 [pid=5491] ppid=5490 vsize=23380 CPUtime=1796.02 cores=0,2,4,6 /proc/5491/stat : 5491 (npSolver-pbo) S 5490 5490 3390 0 -1 4202496 131801 1912843 0 0 46 55 179029 472 20 0 1 0 272777785 23941120 5450 33554432000 4194304 5992684 140737464759712 140737464752000 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/5491/statm: 5845 5450 197 440 0 5401 0 [pid=5496] ppid=5491 vsize=8040 CPUtime=0.04 cores=0,2,4,6 /proc/5496/stat : 5496 (glucosInc) S 5491 5490 3390 0 -1 4202496 517 0 0 0 4 0 0 0 20 0 1 0 272777816 8232960 486 33554432000 4194304 5654031 140735257043088 140735257041400 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0 /proc/5496/statm: 2010 486 145 357 0 1650 0 [pid=8141] ppid=5491 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/8141/stat : 8141 (satsolver.sh) S 5491 5490 3390 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272957453 9367552 267 33554432000 4194304 5064252 140734246472176 140734246471088 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/8141/statm: 2287 267 226 213 0 72 0 [pid=8142] ppid=8141 vsize=8752 CPUtime=4.01 cores=0,2,4,6 /proc/8142/stat : 8142 (glucose) R 8141 5490 3390 0 -1 4202496 2116 0 0 0 401 0 0 0 20 0 1 0 272957454 8962048 1573 33554432000 4194304 5208918 140734017462848 140734017460792 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/8142/statm: 2188 1573 102 248 0 1937 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 58468 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5490 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=775152 # childrusage.ru_stime.tv_sec=5 # childrusage.ru_stime.tv_usec=281197 # CPU time returned by wait4() is 1800.06 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.72 CPU time (s): 1800.07 CPU user time (s): 1794.8 CPU system time (s): 5.27 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 58472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.78 system time used= 5.2812 maximum resident set size= 22296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2047750 page faults= 0 swaps= 0 block input operations= 0 block output operations= 130848 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5593 involuntary context switches= 5995 runsolver used 3.63445 second user time and 8.43572 second system time The end
Begin job on node119 at 2012-05-26 23:08:41 IDJOB=3702992 IDBENCH=2649 IDSOLVER=2278 FILE ID=node119/3702992-1338066521 RUNJOBID= node119-1338050630-3406 PBS_JOBID= 14624379 Free space on /tmp= 71292 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/factor/normalized-factor-size=9-P=23-Q=293.opb COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702992-1338066521/watcher-3702992-1338066521 -o /tmp/evaluation-result-3702992-1338066521/solver-3702992-1338066521 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702992-1338066521.opb 121013427 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96f819d1e6f3946782e4b8fc4d9cb445 RANDOM SEED=121013427 node119.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.943 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.88 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.943 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 : 5331.91 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.943 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.93 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.943 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.943 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.943 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.92 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.943 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.90 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.943 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29807900 kB Buffers: 211648 kB Cached: 550320 kB SwapCached: 2008 kB Active: 2273224 kB Inactive: 8676 kB Active(anon): 1519644 kB Inactive(anon): 2912 kB Active(file): 753580 kB Inactive(file): 5764 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67098904 kB Dirty: 9372 kB Writeback: 0 kB AnonPages: 1526000 kB Mapped: 13452 kB Shmem: 8 kB Slab: 640164 kB SReclaimable: 81832 kB SUnreclaim: 558332 kB KernelStack: 1504 kB PageTables: 7312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2005108 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 423936 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= 71560 MiB End job on node119 at 2012-05-26 23:38:42