| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1792.97 | 1793.56 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-dano3mip.opb |
| MD5SUM | 97b175564b36442f64835a62ac7058b3 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 399966 |
| Total number of constraints | 3226 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 48 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3178 |
| Minimum length of a constraint | 21 |
| Maximum length of a constraint | 15900 |
| Number of terms in the objective function | 30 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 1073741823 |
| Number of bits of the sum of numbers in the objective function | 30 |
| Biggest number in a constraint | 67108864000 |
| Number of bits of the biggest number in a constraint | 36 |
| Biggest sum of numbers in a constraint | 569083166190 |
| Number of bits of the biggest sum of numbers | 40 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703516-1278560646.opb>
6.89/6.90 c original problem has 399966 variables (399966 bin, 0 int, 0 impl, 0 cont) and 3226 constraints
6.89/6.90 c problem read
6.89/6.92 c presolving settings loaded
11.89/11.96 c presolving:
14.48/14.53 c (round 1) 101246 del vars, 0 del conss, 101246 chg bounds, 30 chg sides, 16813 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
16.08/16.15 c (round 2) 120002 del vars, 0 del conss, 120002 chg bounds, 30 chg sides, 24721 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
19.18/19.28 c (round 3) 120002 del vars, 15 del conss, 120002 chg bounds, 30 chg sides, 24721 chg coeffs, 1987 upgd conss, 0 impls, 0 clqs
32.88/32.97 c (round 4) 120002 del vars, 15 del conss, 120002 chg bounds, 3025 chg sides, 39663 chg coeffs, 1987 upgd conss, 23476 impls, 71 clqs
34.08/34.17 c (round 5) 120002 del vars, 15 del conss, 120002 chg bounds, 3096 chg sides, 39876 chg coeffs, 1987 upgd conss, 23476 impls, 71 clqs
251.19/251.36 c (244.4s) probing: 1000/279964 (0.4%) - 6 fixings, 0 aggregations, 275300 implications, 0 bound changes
461.03/461.26 c (454.3s) probing: 2000/279964 (0.7%) - 44 fixings, 0 aggregations, 297605 implications, 0 bound changes
480.72/480.99 c (round 6) 120052 del vars, 15 del conss, 120002 chg bounds, 3096 chg sides, 39876 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
499.62/499.87 c (round 7) 120052 del vars, 15 del conss, 120002 chg bounds, 4136 chg sides, 40992 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
504.72/504.97 c (round 8) 120052 del vars, 15 del conss, 120002 chg bounds, 4178 chg sides, 41074 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
508.51/508.71 c (round 9) 120102 del vars, 15 del conss, 120002 chg bounds, 4178 chg sides, 41074 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
516.41/516.62 c (round 10) 120102 del vars, 15 del conss, 120002 chg bounds, 4412 chg sides, 41369 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
520.81/521.03 c (round 11) 120102 del vars, 15 del conss, 120002 chg bounds, 4421 chg sides, 41396 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
524.31/524.59 c (round 12) 120152 del vars, 15 del conss, 120002 chg bounds, 4421 chg sides, 41396 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
532.51/532.72 c (round 13) 120152 del vars, 15 del conss, 120002 chg bounds, 4789 chg sides, 41768 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
539.21/539.48 c (round 14) 120202 del vars, 15 del conss, 120002 chg bounds, 4789 chg sides, 41768 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
545.90/546.13 c (round 15) 120202 del vars, 15 del conss, 120002 chg bounds, 4912 chg sides, 41941 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
550.10/550.39 c (round 16) 120202 del vars, 15 del conss, 120002 chg bounds, 4914 chg sides, 41947 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
553.30/553.52 c (round 17) 120252 del vars, 15 del conss, 120002 chg bounds, 4914 chg sides, 41947 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
561.30/561.51 c (round 18) 120252 del vars, 15 del conss, 120002 chg bounds, 5122 chg sides, 42158 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
568.30/568.52 c (round 19) 120302 del vars, 15 del conss, 120002 chg bounds, 5122 chg sides, 42158 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
575.59/575.85 c (round 20) 120302 del vars, 15 del conss, 120002 chg bounds, 5325 chg sides, 42409 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
582.29/582.55 c (round 21) 120352 del vars, 15 del conss, 120002 chg bounds, 5325 chg sides, 42409 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
590.79/591.02 c (round 22) 120352 del vars, 15 del conss, 120002 chg bounds, 5609 chg sides, 42694 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
596.99/597.22 c (round 23) 120402 del vars, 15 del conss, 120002 chg bounds, 5609 chg sides, 42694 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
603.99/604.21 c (round 24) 120402 del vars, 15 del conss, 120002 chg bounds, 5909 chg sides, 43038 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
610.68/610.90 c (round 25) 120452 del vars, 15 del conss, 120002 chg bounds, 5909 chg sides, 43038 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
617.28/617.52 c (round 26) 120452 del vars, 15 del conss, 120002 chg bounds, 6006 chg sides, 43135 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
622.58/622.88 c (round 27) 120502 del vars, 15 del conss, 120002 chg bounds, 6006 chg sides, 43135 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
627.98/628.22 c (round 28) 120502 del vars, 15 del conss, 120002 chg bounds, 6130 chg sides, 43299 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
633.98/634.28 c (round 29) 120552 del vars, 15 del conss, 120002 chg bounds, 6130 chg sides, 43299 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
640.57/640.82 c (round 30) 120552 del vars, 15 del conss, 120002 chg bounds, 6212 chg sides, 43382 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
646.77/647.08 c (round 31) 120602 del vars, 15 del conss, 120002 chg bounds, 6212 chg sides, 43382 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
652.17/652.49 c (round 32) 120602 del vars, 15 del conss, 120002 chg bounds, 6292 chg sides, 43502 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
658.58/658.85 c (round 33) 120652 del vars, 15 del conss, 120002 chg bounds, 6292 chg sides, 43502 chg coeffs, 1987 upgd conss, 623026 impls, 373 clqs
665.77/666.08 c (round 34) 120652 del vars, 15 del conss, 120002 chg bounds, 6484 chg sides, 43704 chg coeffs, 1987 upgd conss, 623026 impls, 373 clqs
671.87/672.16 c (round 35) 120702 del vars, 15 del conss, 120002 chg bounds, 6484 chg sides, 43704 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
677.07/677.33 c (round 36) 120702 del vars, 15 del conss, 120002 chg bounds, 6570 chg sides, 43836 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
684.06/684.33 c (round 37) 120752 del vars, 15 del conss, 120002 chg bounds, 6570 chg sides, 43836 chg coeffs, 1987 upgd conss, 623026 impls, 392 clqs
690.66/690.98 c (round 38) 120752 del vars, 15 del conss, 120002 chg bounds, 6754 chg sides, 44033 chg coeffs, 1987 upgd conss, 623026 impls, 392 clqs
697.36/697.63 c (round 39) 120802 del vars, 15 del conss, 120002 chg bounds, 6754 chg sides, 44033 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
700.36/700.69 c (round 40) 120802 del vars, 15 del conss, 120002 chg bounds, 6794 chg sides, 44119 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
706.55/706.86 c (round 41) 120852 del vars, 15 del conss, 120002 chg bounds, 6794 chg sides, 44119 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
712.25/712.54 c (round 42) 120902 del vars, 15 del conss, 120002 chg bounds, 6794 chg sides, 44121 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
715.86/716.16 c (round 43) 120902 del vars, 15 del conss, 120002 chg bounds, 6872 chg sides, 44241 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
722.55/722.88 c (round 44) 120952 del vars, 15 del conss, 120002 chg bounds, 6872 chg sides, 44241 chg coeffs, 1987 upgd conss, 623026 impls, 449 clqs
725.55/725.81 c (718.9s) probing: 3000/279964 (1.1%) - 955 fixings, 0 aggregations, 299761 implications, 0 bound changes
727.96/728.27 c (round 45) 121002 del vars, 15 del conss, 120002 chg bounds, 6872 chg sides, 44243 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
731.94/732.22 c (round 46) 121002 del vars, 15 del conss, 120002 chg bounds, 6986 chg sides, 44404 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
739.04/739.35 c (round 47) 121052 del vars, 15 del conss, 120002 chg bounds, 6986 chg sides, 44404 chg coeffs, 1987 upgd conss, 623026 impls, 430 clqs
741.84/742.11 c (round 48) 121052 del vars, 15 del conss, 120002 chg bounds, 7064 chg sides, 44492 chg coeffs, 1987 upgd conss, 623026 impls, 430 clqs
748.14/748.46 c (round 49) 121102 del vars, 15 del conss, 120002 chg bounds, 7064 chg sides, 44492 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
750.64/750.98 c (round 50) 121102 del vars, 15 del conss, 120002 chg bounds, 7142 chg sides, 44621 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
756.64/756.97 c (round 51) 121152 del vars, 15 del conss, 120002 chg bounds, 7142 chg sides, 44621 chg coeffs, 1987 upgd conss, 623026 impls, 430 clqs
758.64/758.96 c (round 52) 121152 del vars, 15 del conss, 120002 chg bounds, 7216 chg sides, 44700 chg coeffs, 1987 upgd conss, 623026 impls, 430 clqs
764.53/764.86 c (round 53) 121202 del vars, 15 del conss, 120002 chg bounds, 7216 chg sides, 44700 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
766.53/766.88 c (round 54) 121202 del vars, 15 del conss, 120002 chg bounds, 7252 chg sides, 44785 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
771.73/772.09 c (round 55) 121252 del vars, 15 del conss, 120002 chg bounds, 7252 chg sides, 44785 chg coeffs, 1987 upgd conss, 623026 impls, 373 clqs
775.73/776.00 c (round 56) 121252 del vars, 15 del conss, 120002 chg bounds, 7486 chg sides, 45028 chg coeffs, 1987 upgd conss, 623026 impls, 373 clqs
781.93/782.27 c (round 57) 121302 del vars, 15 del conss, 120002 chg bounds, 7486 chg sides, 45028 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
786.53/786.83 c (round 58) 121302 del vars, 15 del conss, 120002 chg bounds, 7756 chg sides, 45336 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
792.52/792.83 c (round 59) 121352 del vars, 15 del conss, 120002 chg bounds, 7756 chg sides, 45336 chg coeffs, 1987 upgd conss, 623026 impls, 316 clqs
794.42/794.72 c (round 60) 121352 del vars, 15 del conss, 120002 chg bounds, 7838 chg sides, 45424 chg coeffs, 1987 upgd conss, 623026 impls, 316 clqs
800.02/800.32 c (round 61) 121402 del vars, 15 del conss, 120002 chg bounds, 7838 chg sides, 45424 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
802.32/802.67 c (round 62) 121402 del vars, 15 del conss, 120002 chg bounds, 7958 chg sides, 45546 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
808.23/808.52 c (round 63) 121452 del vars, 15 del conss, 120002 chg bounds, 7958 chg sides, 45546 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
815.62/815.97 c (round 64) 121452 del vars, 15 del conss, 120002 chg bounds, 8038 chg sides, 45627 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
822.42/822.75 c (round 65) 121502 del vars, 15 del conss, 120002 chg bounds, 8038 chg sides, 45627 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
828.51/828.85 c (round 66) 121552 del vars, 15 del conss, 120002 chg bounds, 8038 chg sides, 45629 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
833.52/833.87 c (round 67) 121552 del vars, 15 del conss, 120002 chg bounds, 8078 chg sides, 45673 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
840.51/840.81 c (round 68) 121602 del vars, 15 del conss, 120002 chg bounds, 8078 chg sides, 45673 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
847.01/847.32 c (round 69) 121652 del vars, 15 del conss, 120002 chg bounds, 8078 chg sides, 45681 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
850.21/850.54 c (round 70) 121652 del vars, 15 del conss, 120002 chg bounds, 8116 chg sides, 45724 chg coeffs, 1987 upgd conss, 623026 impls, 71 clqs
859.50/859.86 c (round 71) 121702 del vars, 15 del conss, 120002 chg bounds, 8116 chg sides, 45724 chg coeffs, 1987 upgd conss, 623438 impls, 71 clqs
864.40/864.76 c (round 72) 121702 del vars, 15 del conss, 120002 chg bounds, 8200 chg sides, 45817 chg coeffs, 1987 upgd conss, 623438 impls, 71 clqs
872.60/872.94 c (round 73) 121752 del vars, 15 del conss, 120002 chg bounds, 8200 chg sides, 45817 chg coeffs, 1987 upgd conss, 623662 impls, 71 clqs
889.89/890.25 c (round 74) 121802 del vars, 15 del conss, 120002 chg bounds, 8200 chg sides, 45821 chg coeffs, 1987 upgd conss, 625024 impls, 71 clqs
893.79/894.11 c (round 75) 121802 del vars, 15 del conss, 120002 chg bounds, 8270 chg sides, 45895 chg coeffs, 1987 upgd conss, 625024 impls, 71 clqs
913.58/913.93 c (907.0s) probing: 4000/279964 (1.4%) - 1816 fixings, 0 aggregations, 301896 implications, 0 bound changes
925.18/925.55 c (round 76) 121852 del vars, 15 del conss, 120002 chg bounds, 8270 chg sides, 45895 chg coeffs, 1987 upgd conss, 628910 impls, 71 clqs
928.98/929.32 c (round 77) 121852 del vars, 15 del conss, 120002 chg bounds, 8306 chg sides, 45934 chg coeffs, 1987 upgd conss, 628910 impls, 71 clqs
1100.41/1100.83 c (round 78) 121902 del vars, 15 del conss, 120002 chg bounds, 8306 chg sides, 45934 chg coeffs, 1987 upgd conss, 658602 impls, 71 clqs
1107.81/1108.24 c (round 79) 121902 del vars, 15 del conss, 120002 chg bounds, 8410 chg sides, 46041 chg coeffs, 1987 upgd conss, 658602 impls, 71 clqs
1111.41/1111.83 c (round 80) 121902 del vars, 15 del conss, 120002 chg bounds, 8411 chg sides, 46044 chg coeffs, 1987 upgd conss, 658602 impls, 78 clqs
1114.61/1115.08 c (round 81) 121952 del vars, 15 del conss, 120002 chg bounds, 8411 chg sides, 46044 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1119.21/1119.70 c (round 82) 121952 del vars, 15 del conss, 120002 chg bounds, 8412 chg sides, 46048 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1123.41/1123.89 c (round 83) 121952 del vars, 15 del conss, 120002 chg bounds, 8413 chg sides, 46051 chg coeffs, 1987 upgd conss, 658604 impls, 78 clqs
1126.41/1126.81 c (round 84) 122002 del vars, 15 del conss, 120002 chg bounds, 8413 chg sides, 46051 chg coeffs, 1987 upgd conss, 658604 impls, 78 clqs
1132.70/1133.13 c (round 85) 122002 del vars, 15 del conss, 120002 chg bounds, 8439 chg sides, 46077 chg coeffs, 1987 upgd conss, 658604 impls, 78 clqs
1135.81/1136.27 c (1129.3s) probing: 5000/279964 (1.8%) - 2005 fixings, 0 aggregations, 317549 implications, 0 bound changes
1138.30/1138.75 c (round 86) 122052 del vars, 15 del conss, 120002 chg bounds, 8439 chg sides, 46077 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1144.30/1144.75 c (round 87) 122052 del vars, 15 del conss, 120002 chg bounds, 8487 chg sides, 46127 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1150.80/1151.24 c (round 88) 122102 del vars, 15 del conss, 120002 chg bounds, 8487 chg sides, 46127 chg coeffs, 1987 upgd conss, 658604 impls, 78 clqs
1155.00/1155.45 c (round 89) 122102 del vars, 15 del conss, 120002 chg bounds, 8537 chg sides, 46178 chg coeffs, 1987 upgd conss, 658604 impls, 78 clqs
1162.20/1162.67 c (round 90) 122152 del vars, 15 del conss, 120002 chg bounds, 8537 chg sides, 46178 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1165.30/1165.77 c (round 91) 122152 del vars, 15 del conss, 120002 chg bounds, 8575 chg sides, 46219 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1171.49/1171.93 c (round 92) 122202 del vars, 15 del conss, 120002 chg bounds, 8575 chg sides, 46219 chg coeffs, 1987 upgd conss, 658604 impls, 78 clqs
1173.49/1173.93 c (round 93) 122202 del vars, 15 del conss, 120002 chg bounds, 8611 chg sides, 46256 chg coeffs, 1987 upgd conss, 658604 impls, 78 clqs
1178.89/1179.39 c (round 94) 122252 del vars, 15 del conss, 120002 chg bounds, 8611 chg sides, 46256 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1182.49/1182.94 c (round 95) 122252 del vars, 15 del conss, 120002 chg bounds, 8845 chg sides, 46492 chg coeffs, 1987 upgd conss, 658604 impls, 71 clqs
1192.79/1193.26 c (round 96) 122302 del vars, 15 del conss, 120002 chg bounds, 8845 chg sides, 46492 chg coeffs, 1987 upgd conss, 658826 impls, 78 clqs
1199.09/1199.56 c (round 97) 122302 del vars, 15 del conss, 120002 chg bounds, 8879 chg sides, 46526 chg coeffs, 1987 upgd conss, 658826 impls, 78 clqs
1212.58/1213.02 c (round 98) 122352 del vars, 15 del conss, 120002 chg bounds, 8879 chg sides, 46526 chg coeffs, 1987 upgd conss, 659184 impls, 71 clqs
1230.87/1231.33 c (round 99) 122402 del vars, 15 del conss, 120002 chg bounds, 8879 chg sides, 46528 chg coeffs, 1987 upgd conss, 660046 impls, 71 clqs
1247.27/1247.74 c (round 100) 122452 del vars, 15 del conss, 120002 chg bounds, 8879 chg sides, 46528 chg coeffs, 1987 upgd conss, 660512 impls, 71 clqs
1252.27/1252.71 c (round 101) 122452 del vars, 15 del conss, 120002 chg bounds, 8913 chg sides, 46564 chg coeffs, 1987 upgd conss, 660512 impls, 71 clqs
1262.46/1262.92 c (round 102) 122502 del vars, 15 del conss, 120002 chg bounds, 8913 chg sides, 46564 chg coeffs, 1987 upgd conss, 660860 impls, 71 clqs
1267.46/1267.92 c (round 103) 122502 del vars, 15 del conss, 120002 chg bounds, 8947 chg sides, 46600 chg coeffs, 1987 upgd conss, 660860 impls, 71 clqs
1281.66/1282.12 c (round 104) 122552 del vars, 15 del conss, 120002 chg bounds, 8947 chg sides, 46600 chg coeffs, 1987 upgd conss, 661300 impls, 71 clqs
1289.86/1290.37 c (round 105) 122602 del vars, 15 del conss, 120002 chg bounds, 8947 chg sides, 46600 chg coeffs, 1987 upgd conss, 661300 impls, 71 clqs
1299.95/1300.43 c (round 106) 122652 del vars, 15 del conss, 120002 chg bounds, 8947 chg sides, 46600 chg coeffs, 1987 upgd conss, 661630 impls, 71 clqs
1319.65/1320.15 c (round 107) 122702 del vars, 15 del conss, 120002 chg bounds, 8947 chg sides, 46600 chg coeffs, 1987 upgd conss, 663710 impls, 71 clqs
1325.05/1325.54 c (round 108) 122702 del vars, 15 del conss, 120002 chg bounds, 8981 chg sides, 46634 chg coeffs, 1987 upgd conss, 663710 impls, 71 clqs
1338.74/1339.27 c (1332.3s) probing: 6000/279964 (2.1%) - 2701 fixings, 0 aggregations, 320414 implications, 0 bound changes
1373.13/1373.64 c (round 109) 122752 del vars, 15 del conss, 120002 chg bounds, 8981 chg sides, 46634 chg coeffs, 1987 upgd conss, 668002 impls, 71 clqs
1377.73/1378.27 c (round 110) 122752 del vars, 15 del conss, 120002 chg bounds, 9071 chg sides, 46724 chg coeffs, 1987 upgd conss, 668002 impls, 71 clqs
1530.08/1530.62 c (1523.7s) probing: 7000/279964 (2.5%) - 2779 fixings, 0 aggregations, 334852 implications, 0 bound changes
1614.35/1614.92 c (round 111) 122802 del vars, 15 del conss, 120002 chg bounds, 9071 chg sides, 46724 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1620.76/1621.38 c (round 112) 122802 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1626.05/1626.67 c (round 113) 122852 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1635.65/1636.28 c (round 114) 122902 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1645.85/1646.45 c (round 115) 122952 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1653.64/1654.23 c (round 116) 123002 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1662.04/1662.62 c (round 117) 123052 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1669.54/1670.14 c (round 118) 123102 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1677.04/1677.66 c (round 119) 123152 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1685.03/1685.65 c (round 120) 123202 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1692.24/1692.83 c (round 121) 123252 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1697.43/1698.07 c (round 122) 123302 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1703.53/1704.15 c (round 123) 123352 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1708.32/1708.92 c (1702.0s) probing: 8000/279964 (2.9%) - 3383 fixings, 0 aggregations, 343831 implications, 0 bound changes
1709.22/1709.86 c (round 124) 123402 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1714.62/1715.24 c (round 125) 123452 del vars, 15 del conss, 120002 chg bounds, 9093 chg sides, 46746 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1717.92/1718.52 c (round 126) 123452 del vars, 15 del conss, 120002 chg bounds, 9163 chg sides, 46816 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1725.12/1725.72 c (round 127) 123502 del vars, 15 del conss, 120002 chg bounds, 9163 chg sides, 46816 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1726.92/1727.58 c (round 128) 123502 del vars, 15 del conss, 120002 chg bounds, 9239 chg sides, 46892 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1733.42/1734.01 c (round 129) 123552 del vars, 15 del conss, 120002 chg bounds, 9239 chg sides, 46892 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1736.02/1736.63 c (round 130) 123552 del vars, 15 del conss, 120002 chg bounds, 9387 chg sides, 47040 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1741.51/1742.16 c (round 131) 123602 del vars, 15 del conss, 120002 chg bounds, 9387 chg sides, 47040 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1742.61/1743.26 c (round 132) 123602 del vars, 15 del conss, 120002 chg bounds, 9409 chg sides, 47062 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1748.42/1749.08 c (round 133) 123652 del vars, 15 del conss, 120002 chg bounds, 9409 chg sides, 47062 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1753.01/1753.60 c (round 134) 123652 del vars, 15 del conss, 120002 chg bounds, 9739 chg sides, 47392 chg coeffs, 1987 upgd conss, 711168 impls, 71 clqs
1760.91/1761.59 c (round 135) 123702 del vars, 15 del conss, 120002 chg bounds, 9739 chg sides, 47392 chg coeffs, 1987 upgd conss, 711314 impls, 71 clqs
1771.21/1771.80 c (round 136) 123752 del vars, 15 del conss, 120002 chg bounds, 9739 chg sides, 47392 chg coeffs, 1987 upgd conss, 711314 impls, 71 clqs
1775.21/1775.81 c (round 137) 123752 del vars, 15 del conss, 120002 chg bounds, 9771 chg sides, 47424 chg coeffs, 1987 upgd conss, 711314 impls, 71 clqs
1782.00/1782.69 c (round 138) 123802 del vars, 15 del conss, 120002 chg bounds, 9771 chg sides, 47424 chg coeffs, 1987 upgd conss, 711314 impls, 71 clqs
1788.10/1788.76 c (round 139) 123802 del vars, 15 del conss, 120002 chg bounds, 9893 chg sides, 47546 chg coeffs, 1987 upgd conss, 711314 impls, 71 clqs
1789.70/1790.34 c (1783.4s) probing: 8429/279964 (3.0%) - 3800 fixings, 0 aggregations, 343904 implications, 0 bound changes
1789.70/1790.34 c (1783.4s) probing aborted: solving stopped
1789.80/1790.40 c presolving (140 rounds):
1789.80/1790.40 c 123802 deleted vars, 15 deleted constraints, 120002 tightened bounds, 0 added holes, 9893 changed sides, 47546 changed coefficients
1789.80/1790.40 c 711314 implications, 71 cliques
1789.80/1790.40 c presolved problem has 276164 variables (276164 bin, 0 int, 0 impl, 0 cont) and 3282 constraints
1789.80/1790.40 c 1987 constraints of type <knapsack>
1789.80/1790.40 c 71 constraints of type <setppc>
1789.80/1790.40 c 1224 constraints of type <linear>
1789.80/1790.40 c transformed objective value is always integral (scale: 1)
1789.80/1790.40 c Presolving Time: 1781.10
1789.80/1790.40 c - non default parameters ----------------------------------------------------------------------
1789.80/1790.40 c # SCIP version 1.2.1.3
1789.80/1790.40 c
1789.80/1790.40 c # frequency for displaying node information lines
1789.80/1790.40 c # [type: int, range: [-1,2147483647], default: 100]
1789.80/1790.40 c display/freq = 10000
1789.80/1790.40 c
1789.80/1790.40 c # maximal time in seconds to run
1789.80/1790.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.80/1790.40 c limits/time = 1783.08
1789.80/1790.40 c
1789.80/1790.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.80/1790.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.80/1790.40 c limits/memory = 1620
1789.80/1790.40 c
1789.80/1790.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.80/1790.40 c # [type: int, range: [1,2], default: 1]
1789.80/1790.40 c timing/clocktype = 2
1789.80/1790.40 c
1789.80/1790.40 c # should presolving try to simplify inequalities
1789.80/1790.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.80/1790.40 c constraints/linear/simplifyinequalities = TRUE
1789.80/1790.40 c
1789.80/1790.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.80/1790.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.80/1790.40 c constraints/indicator/addCouplingCons = TRUE
1789.80/1790.40 c
1789.80/1790.40 c # should presolving try to simplify knapsacks
1789.80/1790.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.80/1790.40 c constraints/knapsack/simplifyinequalities = TRUE
1789.80/1790.40 c
1789.80/1790.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.80/1790.40 c # [type: int, range: [-1,2147483647], default: -1]
1789.80/1790.40 c separating/rapidlearning/freq = 0
1789.80/1790.40 c
1789.80/1790.40 c -----------------------------------------------------------------------------------------------
1789.80/1790.40 c start solving
1790.00/1790.65 c
1790.00/1790.65 c
1790.00/1790.65 c SCIP Status : solving was interrupted [time limit reached]
1790.00/1790.65 c Solving Time (sec) : 1783.72
1790.00/1790.65 c Solving Nodes : 0
1790.00/1790.65 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.00/1790.65 c Dual Bound : -1.00000000000000e+20
1790.00/1790.65 c Gap : infinite
1790.00/1790.65 s UNKNOWN
1790.00/1790.65 c SCIP Status : solving was interrupted [time limit reached]
1790.00/1790.65 c Solving Time : 1783.72
1790.00/1790.65 c Original Problem :
1790.00/1790.65 c Problem name : HOME/instance-2703516-1278560646.opb
1790.00/1790.65 c Variables : 399966 (399966 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.00/1790.65 c Constraints : 3226 initial, 3226 maximal
1790.00/1790.65 c Presolved Problem :
1790.00/1790.65 c Problem name : t_HOME/instance-2703516-1278560646.opb
1790.00/1790.65 c Variables : 276164 (276164 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.00/1790.65 c Constraints : 3282 initial, 3282 maximal
1790.00/1790.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.00/1790.65 c trivial : 7.64 0 0 0 0 0 0 0 0
1790.00/1790.65 c dualfix : 7.71 0 0 0 0 0 0 0 0
1790.00/1790.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.00/1790.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.00/1790.65 c implics : 6.23 0 0 0 0 0 0 0 0
1790.00/1790.65 c probing : 1187.45 3800 0 0 0 0 0 0 0
1790.00/1790.65 c knapsack : 343.16 0 0 0 0 0 0 9863 22825
1790.00/1790.65 c setppc : 0.01 0 0 0 0 0 0 0 0
1790.00/1790.65 c linear : 225.93 120002 0 0 120002 0 15 30 24721
1790.00/1790.65 c root node : - 0 - - 0 - - - -
1790.00/1790.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.00/1790.65 c integral : 0 0 0 0 0 0 0 0 0 0
1790.00/1790.65 c knapsack : 1987 0 21242 0 0 0 0 0 0 0
1790.00/1790.65 c setppc : 71 0 21242 0 0 0 0 0 0 0
1790.00/1790.65 c linear : 1224 0 21242 0 0 3800 0 0 0 0
1790.00/1790.65 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.00/1790.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.00/1790.65 c integral : 0.00 0.00 0.00 0.00 0.00
1790.00/1790.65 c knapsack : 17.37 0.00 17.37 0.00 0.00
1790.00/1790.65 c setppc : 0.19 0.00 0.19 0.00 0.00
1790.00/1790.65 c linear : 705.90 0.00 705.90 0.00 0.00
1790.00/1790.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.00/1790.65 c Propagators : Time Calls Cutoffs DomReds
1790.00/1790.65 c vbounds : 0.02 1 0 0
1790.00/1790.65 c rootredcost : 0.01 0 0 0
1790.00/1790.65 c pseudoobj : 0.01 0 0 0
1790.00/1790.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.00/1790.65 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.00/1790.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.00/1790.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.00/1790.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.00/1790.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.00/1790.65 c applied globally : - - - 0 0.0 - - -
1790.00/1790.65 c applied locally : - - - 0 0.0 - - -
1790.00/1790.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.00/1790.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.00/1790.65 c redcost : 0.00 0 0 0 0 0
1790.00/1790.65 c impliedbounds : 0.00 0 0 0 0 0
1790.00/1790.65 c intobj : 0.00 0 0 0 0 0
1790.00/1790.65 c cgmip : 0.00 0 0 0 0 0
1790.00/1790.65 c gomory : 0.00 0 0 0 0 0
1790.00/1790.65 c strongcg : 0.00 0 0 0 0 0
1790.00/1790.65 c cmir : 0.00 0 0 0 0 0
1790.00/1790.65 c flowcover : 0.00 0 0 0 0 0
1790.00/1790.65 c clique : 0.00 0 0 0 0 0
1790.00/1790.65 c zerohalf : 0.00 0 0 0 0 0
1790.00/1790.65 c mcf : 0.00 0 0 0 0 0
1790.00/1790.65 c rapidlearning : 0.00 0 0 0 0 0
1790.00/1790.65 c Pricers : Time Calls Vars
1790.00/1790.65 c problem variables: 0.00 0 0
1790.00/1790.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.00/1790.65 c pscost : 0.00 0 0 0 0 0 0
1790.00/1790.65 c inference : 0.00 0 0 0 0 0 0
1790.00/1790.65 c mostinf : 0.00 0 0 0 0 0 0
1790.00/1790.65 c leastinf : 0.00 0 0 0 0 0 0
1790.00/1790.65 c fullstrong : 0.00 0 0 0 0 0 0
1790.00/1790.65 c allfullstrong : 0.00 0 0 0 0 0 0
1790.00/1790.65 c random : 0.00 0 0 0 0 0 0
1790.00/1790.65 c relpscost : 0.00 0 0 0 0 0 0
1790.00/1790.65 c Primal Heuristics : Time Calls Found
1790.00/1790.65 c LP solutions : 0.00 - 0
1790.00/1790.65 c pseudo solutions : 0.00 - 0
1790.00/1790.65 c trivial : 1.00 1 0
1790.00/1790.65 c simplerounding : 0.00 0 0
1790.00/1790.65 c zirounding : 0.00 0 0
1790.00/1790.65 c rounding : 0.00 0 0
1790.00/1790.65 c shifting : 0.00 0 0
1790.00/1790.65 c intshifting : 0.00 0 0
1790.00/1790.65 c oneopt : 0.00 0 0
1790.00/1790.65 c twoopt : 0.00 0 0
1790.00/1790.65 c fixandinfer : 0.00 0 0
1790.00/1790.65 c feaspump : 0.00 0 0
1790.00/1790.65 c coefdiving : 0.00 0 0
1790.00/1790.65 c pscostdiving : 0.00 0 0
1790.00/1790.65 c fracdiving : 0.00 0 0
1790.00/1790.65 c veclendiving : 0.00 0 0
1790.00/1790.65 c intdiving : 0.00 0 0
1790.00/1790.65 c actconsdiving : 0.00 0 0
1790.00/1790.65 c objpscostdiving : 0.00 0 0
1790.00/1790.65 c rootsoldiving : 0.00 0 0
1790.00/1790.65 c linesearchdiving : 0.00 0 0
1790.00/1790.65 c guideddiving : 0.00 0 0
1790.00/1790.65 c octane : 0.00 0 0
1790.00/1790.65 c rens : 0.00 0 0
1790.00/1790.65 c rins : 0.00 0 0
1790.00/1790.65 c localbranching : 0.00 0 0
1790.00/1790.65 c mutation : 0.00 0 0
1790.00/1790.65 c crossover : 0.00 0 0
1790.00/1790.65 c dins : 0.00 0 0
1790.00/1790.65 c undercover : 0.00 0 0
1790.00/1790.65 c nlp : 0.00 0 0
1790.00/1790.65 c trysol : 0.00 0 0
1790.00/1790.65 c LP : Time Calls Iterations Iter/call Iter/sec
1790.00/1790.65 c primal LP : 0.00 0 0 0.00 -
1790.00/1790.65 c dual LP : 0.00 0 0 0.00 -
1790.00/1790.65 c lex dual LP : 0.00 0 0 0.00 -
1790.00/1790.65 c barrier LP : 0.00 0 0 0.00 -
1790.00/1790.65 c diving/probing LP: 0.00 0 0 0.00 -
1790.00/1790.65 c strong branching : 0.00 0 0 0.00 -
1790.00/1790.65 c (at root node) : - 0 0 0.00 -
1790.00/1790.65 c conflict analysis: 0.00 0 0 0.00 -
1790.00/1790.65 c B&B Tree :
1790.00/1790.65 c number of runs : 1
1790.00/1790.65 c nodes : 0
1790.00/1790.65 c nodes (total) : 0
1790.00/1790.65 c nodes left : 1
1790.00/1790.65 c max depth : -1
1790.00/1790.65 c max depth (total): -1
1790.00/1790.65 c backtracks : 0 (0.0%)
1790.00/1790.65 c delayed cutoffs : 0
1790.00/1790.65 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.00/1790.65 c avg switch length: 0.00
1790.00/1790.65 c switching time : 0.00
1790.00/1790.65 c Solution :
1790.00/1790.65 c Solutions found : 0 (0 improvements)
1790.00/1790.65 c Primal Bound : -
1790.00/1790.65 c Dual Bound : -
1790.00/1790.65 c Gap : infinite
1790.00/1790.65 c Root Dual Bound : -
1790.00/1790.65 c Root Iterations : 0
1792.90/1793.56 c Time complete: 1792.97.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703516-1278560646/watcher-2703516-1278560646 -o /tmp/evaluation-result-2703516-1278560646/solver-2703516-1278560646 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703516-1278560646.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.04 1.01 3/106 28694 /proc/meminfo: memFree=1901740/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=7904 CPUtime=0 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 1071 0 0 0 0 0 0 0 18 0 1 0 24272294 8093696 983 1992294400 4194304 8395647 140734737324384 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 1976 990 365 1026 0 946 0 [startup+0.060322 s] /proc/loadavg: 0.99 1.04 1.01 3/106 28694 /proc/meminfo: memFree=1901740/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=20792 CPUtime=0.05 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 4486 0 0 0 4 1 0 0 20 0 1 0 24272294 21291008 4398 1992294400 4194304 8395647 140734737324384 18446744073709551615 5758032 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 5198 4398 393 1026 0 4168 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 20792 [startup+0.101326 s] /proc/loadavg: 0.99 1.04 1.01 3/106 28694 /proc/meminfo: memFree=1901740/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=28532 CPUtime=0.09 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 6409 0 0 0 7 2 0 0 20 0 1 0 24272294 29216768 6321 1992294400 4194304 8395647 140734737324384 18446744073709551615 4477015 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 7133 6321 393 1026 0 6103 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28532 [startup+0.301349 s] /proc/loadavg: 0.99 1.04 1.01 3/106 28694 /proc/meminfo: memFree=1901740/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=65096 CPUtime=0.29 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 15538 0 0 0 24 5 0 0 20 0 1 0 24272294 66658304 15450 1992294400 4194304 8395647 140734737324384 18446744073709551615 5754811 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 16530 15458 393 1026 0 15500 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 65096 [startup+0.701391 s] /proc/loadavg: 0.99 1.04 1.01 3/106 28694 /proc/meminfo: memFree=1901740/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=110804 CPUtime=0.69 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 26845 0 0 0 59 10 0 0 21 0 1 0 24272294 113463296 26757 1992294400 4194304 8395647 140734737324384 18446744073709551615 7301302 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 27701 26757 393 1026 0 26671 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 110804 [startup+1.50148 s] /proc/loadavg: 0.99 1.04 1.01 2/107 28695 /proc/meminfo: memFree=1762480/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=197816 CPUtime=1.5 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 48514 0 0 0 133 17 0 0 23 0 1 0 24272294 202563584 48426 1992294400 4194304 8395647 140734737324384 18446744073709551615 4424487 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 49454 48426 393 1026 0 48424 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 197816 [startup+3.10166 s] /proc/loadavg: 0.99 1.04 1.01 2/107 28695 /proc/meminfo: memFree=1652492/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=296032 CPUtime=3.09 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 73049 0 0 0 284 25 0 0 25 0 1 0 24272294 303136768 72961 1992294400 4194304 8395647 140734737324384 18446744073709551615 7324740 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 74008 72961 393 1026 0 72978 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 296032 [startup+6.30101 s] /proc/loadavg: 0.99 1.04 1.01 2/107 28695 /proc/meminfo: memFree=1592352/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=321144 CPUtime=6.29 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 78876 0 0 0 601 28 0 0 25 0 1 0 24272294 328851456 78783 1992294400 4194304 8395647 140734737324384 18446744073709551615 5758038 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 80286 78783 394 1026 0 79256 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 321144 [startup+12.7017 s] /proc/loadavg: 0.99 1.03 1.01 2/107 28695 /proc/meminfo: memFree=1028772/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=889476 CPUtime=12.69 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 218784 0 0 0 1193 76 0 0 25 0 1 0 24272294 910823424 218337 1992294400 4194304 8395647 140734737324384 18446744073709551615 5009190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 222369 218337 458 1026 0 221339 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 889476 [startup+25.5011 s] /proc/loadavg: 0.99 1.03 1.01 2/107 28695 /proc/meminfo: memFree=852196/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1087064 CPUtime=25.48 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 263174 0 0 0 2457 91 0 0 25 0 1 0 24272294 1113153536 262727 1992294400 4194304 8395647 140734737324384 18446744073709551615 4735489 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 271766 262727 523 1026 0 270736 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1087064 [startup+51.1009 s] /proc/loadavg: 0.99 1.03 1.01 2/107 28695 /proc/meminfo: memFree=806936/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1123344 CPUtime=51.07 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 274251 0 0 0 5012 95 0 0 25 0 1 0 24272294 1150304256 273753 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 280836 273753 517 1026 0 279806 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1123344 [startup+102.309 s] /proc/loadavg: 0.99 1.02 1.00 2/107 28697 /proc/meminfo: memFree=757212/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1172972 CPUtime=102.24 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 286645 0 0 0 10127 97 0 0 25 0 1 0 24272294 1201123328 286147 1992294400 4194304 8395647 140734737324384 18446744073709551615 4911233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 293243 286147 517 1026 0 292213 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 1172972 [startup+162.301 s] /proc/loadavg: 0.99 1.02 1.00 2/107 28699 /proc/meminfo: memFree=701536/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1228588 CPUtime=162.21 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 300554 0 0 0 16120 101 0 0 25 0 1 0 24272294 1258074112 300056 1992294400 4194304 8395647 140734737324384 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 307147 300056 517 1026 0 306117 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 1228588 [startup+222.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 28701 /proc/meminfo: memFree=698188/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1231852 CPUtime=222.2 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 301372 0 0 0 22118 102 0 0 25 0 1 0 24272294 1261416448 300874 1992294400 4194304 8395647 140734737324384 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 307963 300874 517 1026 0 306933 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 1231852 [startup+282.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 28701 /proc/meminfo: memFree=698188/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1231852 CPUtime=282.18 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 301390 0 0 0 28116 102 0 0 25 0 1 0 24272294 1261416448 300879 1992294400 4194304 8395647 140734737324384 18446744073709551615 5005964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 307963 300879 509 1026 0 306933 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 1231852 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28703 /proc/meminfo: memFree=696576/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1233516 CPUtime=342.16 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 301806 0 0 0 34114 102 0 0 25 0 1 0 24272294 1263120384 301295 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 308379 301295 509 1026 0 307349 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1233516 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28705 /proc/meminfo: memFree=696452/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1233516 CPUtime=402.15 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 301817 0 0 0 40113 102 0 0 25 0 1 0 24272294 1263120384 301306 1992294400 4194304 8395647 140734737324384 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 308379 301306 509 1026 0 307349 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1233516 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28707 /proc/meminfo: memFree=696452/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1233516 CPUtime=462.13 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 301831 0 0 0 46111 102 0 0 25 0 1 0 24272294 1263120384 301320 1992294400 4194304 8395647 140734737324384 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 308379 301320 509 1026 0 307349 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1233516 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28709 /proc/meminfo: memFree=695336/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1234640 CPUtime=522.11 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302094 0 0 0 52109 102 0 0 25 0 1 0 24272294 1264271360 301582 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 308660 301582 508 1026 0 307630 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1234640 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28709 /proc/meminfo: memFree=695336/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1234640 CPUtime=582.09 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302094 0 0 0 58107 102 0 0 25 0 1 0 24272294 1264271360 301582 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 308660 301582 508 1026 0 307630 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 1234640 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28711 /proc/meminfo: memFree=695212/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1234640 CPUtime=642.08 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302094 0 0 0 64106 102 0 0 25 0 1 0 24272294 1264271360 301582 1992294400 4194304 8395647 140734737324384 18446744073709551615 4684103 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 308660 301582 508 1026 0 307630 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1234640 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=692448/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1235152 CPUtime=1061.93 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302223 0 0 0 106091 102 0 0 25 0 1 0 24272294 1264795648 301710 1992294400 4194304 8395647 140734737324384 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 308788 301710 507 1026 0 307758 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1235152 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28734 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1121.91 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 112089 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 4684103 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1236176 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28734 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1181.89 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 118087 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 6074039 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1236176 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28736 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1241.87 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 124085 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 4433097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1236176 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28738 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1301.86 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 130084 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 4735569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1236176 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28740 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1361.83 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 136081 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1236176 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28742 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1421.82 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 142080 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 5026814 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1236176 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28742 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1481.8 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 148078 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1236176 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28744 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1541.78 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 154076 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 5031885 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1236176 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28746 /proc/meminfo: memFree=691704/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1236176 CPUtime=1601.76 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302479 0 0 0 160074 102 0 0 25 0 1 0 24272294 1265844224 301966 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309044 301966 507 1026 0 308014 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1236176 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 28748 /proc/meminfo: memFree=690712/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1237200 CPUtime=1661.74 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302735 0 0 0 166072 102 0 0 25 0 1 0 24272294 1266892800 302222 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309300 302222 507 1026 0 308270 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1237200 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 1.01 2/107 28750 /proc/meminfo: memFree=690588/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1237200 CPUtime=1721.72 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302735 0 0 0 172070 102 0 0 25 0 1 0 24272294 1266892800 302222 1992294400 4194304 8395647 140734737324384 18446744073709551615 5019443 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309300 302222 507 1026 0 308270 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1237200 [startup+1782.3 s] /proc/loadavg: 1.10 1.03 1.00 2/107 28750 /proc/meminfo: memFree=690340/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1237200 CPUtime=1781.7 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302735 0 0 0 178068 102 0 0 25 0 1 0 24272294 1266892800 302222 1992294400 4194304 8395647 140734737324384 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309300 302222 507 1026 0 308270 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1237200 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.10 1.03 1.00 2/107 28750 /proc/meminfo: memFree=690340/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1237200 CPUtime=1784.9 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302735 0 0 0 178388 102 0 0 25 0 1 0 24272294 1266892800 302222 1992294400 4194304 8395647 140734737324384 18446744073709551615 4483001 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309300 302222 507 1026 0 308270 0 Current children cumulated CPU time (s) 1784.9 Current children cumulated vsize (KiB) 1237200 [startup+1788.7 s] /proc/loadavg: 1.09 1.03 1.00 2/107 28752 /proc/meminfo: memFree=690340/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1237200 CPUtime=1788.1 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 302735 0 0 0 178708 102 0 0 25 0 1 0 24272294 1266892800 302222 1992294400 4194304 8395647 140734737324384 18446744073709551615 4988975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28694/statm: 309300 302222 507 1026 0 308270 0 Current children cumulated CPU time (s) 1788.1 Current children cumulated vsize (KiB) 1237200 [startup+1791.91 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28752 /proc/meminfo: memFree=704600/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1228748 CPUtime=1791.31 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 304270 0 0 0 179028 103 0 0 25 0 1 0 24272294 1258237952 298518 1992294400 4194304 8395647 140734737324384 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 307187 298518 532 1026 0 306157 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 1228748 [startup+1792.7 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28752 /proc/meminfo: memFree=704600/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=1228748 CPUtime=1792.1 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 304270 0 0 0 179107 103 0 0 25 0 1 0 24272294 1258237952 298518 1992294400 4194304 8395647 140734737324384 18446744073709551615 6345826 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 307187 298518 532 1026 0 306157 0 Current children cumulated CPU time (s) 1792.1 Current children cumulated vsize (KiB) 1228748 [startup+1793.1 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28752 /proc/meminfo: memFree=707700/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=982460 CPUtime=1792.5 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 304270 0 0 0 179145 105 0 0 25 0 1 0 24272294 1006039040 238610 1992294400 4194304 8395647 140734737324384 18446744073709551615 4739572 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 245615 238610 532 1026 0 244585 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (KiB) 982460 [startup+1793.5 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28752 /proc/meminfo: memFree=707700/2059040 swapFree=4139756/4192956 [pid=28694] ppid=28692 vsize=678540 CPUtime=1792.9 /proc/28694/stat : 28694 (pbscip.linux.x8) R 28692 28694 28610 0 -1 4202496 304271 0 0 0 179181 109 0 0 25 0 1 0 24272294 694824960 161559 1992294400 4194304 8395647 140734737324384 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28694/statm: 169635 161559 533 1026 0 168605 0 Current children cumulated CPU time (s) 1792.9 Current children cumulated vsize (KiB) 678540 Child status: 0 Real time (s): 1793.56 CPU time (s): 1792.97 CPU user time (s): 1791.82 CPU system time (s): 1.15382 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 1237200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.82 system time used= 1.15382 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304278 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 7125 runsolver used 2.94355 second user time and 8.49371 second system time The end
Begin job on node042 at 2010-07-08 05:44:08 IDJOB=2703516 IDBENCH=2525 IDSOLVER=1213 FILE ID=node042/2703516-1278560646 PBS_JOBID= 11239532 Free space on /tmp= 62480 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-dano3mip.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703516-1278560646/watcher-2703516-1278560646 -o /tmp/evaluation-result-2703516-1278560646/solver-2703516-1278560646 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703516-1278560646.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97b175564b36442f64835a62ac7058b3 RANDOM SEED=814183924 node042.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1902144 kB Buffers: 848 kB Cached: 73376 kB SwapCached: 5740 kB Active: 77748 kB Inactive: 8916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1902144 kB SwapTotal: 4192956 kB SwapFree: 4139756 kB Dirty: 41988 kB Writeback: 0 kB AnonPages: 11292 kB Mapped: 11932 kB Slab: 48328 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182212 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62472 MiB End job on node042 at 2010-07-08 06:14:02