0.58/0.63 c SCIP version 1.1.0.7
0.58/0.63 c LP-Solver SoPlex 1.4.1
0.58/0.63 c user parameter file <scip.set> not found - using default parameters
0.58/0.63 c read problem <HOME/instance-3741369-1338771346.opb>
0.58/0.63 c original problem has 2504 variables (2504 bin, 0 int, 0 impl, 0 cont) and 2065 constraints
0.79/0.81 c start presolving problem
0.79/0.81 c presolving:
1.19/1.21 c (round 1) 0 del vars, 255 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 0 impls, 19 clqs
1.69/1.71 c (round 2) 184 del vars, 440 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 0 impls, 18 clqs
19.88/19.95 c (19.2s) probing: 1000/2320 (43.1%) - 0 fixings, 0 aggregations, 285167 implications, 0 bound changes
33.18/33.23 c (32.5s) probing: 2000/2320 (86.2%) - 48 fixings, 0 aggregations, 474397 implications, 0 bound changes
33.28/33.31 c (round 3) 234 del vars, 440 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
33.88/33.99 c (round 4) 284 del vars, 440 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
34.18/34.26 c (round 5) 284 del vars, 490 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
34.58/34.64 c (round 6) 334 del vars, 490 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
34.78/34.89 c (round 7) 334 del vars, 540 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
35.19/35.26 c (round 8) 384 del vars, 540 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
36.19/36.26 c (round 9) 384 del vars, 590 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
36.58/36.64 c (round 10) 434 del vars, 590 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
37.48/37.58 c (round 11) 434 del vars, 640 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
38.18/38.27 c (round 12) 484 del vars, 640 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
39.08/39.17 c (round 13) 484 del vars, 676 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
39.78/39.86 c (round 14) 534 del vars, 676 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
40.68/40.71 c (round 15) 534 del vars, 699 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
40.88/40.96 c (round 16) 544 del vars, 699 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1810 upgd conss, 949106 impls, 18 clqs
41.48/41.52 c presolving (17 rounds):
41.48/41.52 c 544 deleted vars, 699 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
41.48/41.52 c 949106 implications, 18 cliques
41.48/41.52 c presolved problem has 1960 variables (1960 bin, 0 int, 0 impl, 0 cont) and 1366 constraints
41.48/41.52 c 255 constraints of type <knapsack>
41.48/41.52 c 18 constraints of type <setppc>
41.48/41.52 c 1093 constraints of type <logicor>
41.48/41.52 c transformed objective value is always integral (scale: 1)
41.48/41.52 c Presolving Time: 40.64
41.48/41.52 c OPT-LIN
41.48/41.52 c -----------------------------------------------------------------------------------------------
41.48/41.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
41.48/41.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
41.48/41.52 c limits/memory = c 13950
41.48/41.52 c # maximal time in seconds to run
41.48/41.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
41.48/41.52 c limits/time = c 1791
41.48/41.52 c # frequency for displaying node information lines
41.48/41.52 c # [type: int, range: [-1,2147483647], default: 100]
41.48/41.52 c display/freq = c 10000
41.48/41.52 c -----------------------------------------------------------------------------------------------
41.48/41.52 c start solving problem
41.48/41.52 c
41.58/41.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.58/41.69 c 40.9s| 1 | 0 | 151 | 114M| 0 | 76 |1960 |1366 |1366 |1960 |1366 | 0 | 0 | 0 | 4.500000e+01 | -- | Inf
45.68/45.79 c 44.9s| 1 | 0 | 2474 | 115M| 0 | 89 |1960 |1366 |1366 |1960 |1375 | 9 | 0 | 0 | 4.500000e+01 | -- | Inf
46.19/46.25 c 45.4s| 1 | 0 | 2838 | 115M| 0 | 97 |1960 |1366 |1366 |1960 |1382 | 16 | 0 | 0 | 4.540065e+01 | -- | Inf
46.78/46.88 c 46.0s| 1 | 0 | 3075 | 115M| 0 | 108 |1960 |1366 |1366 |1960 |1388 | 22 | 0 | 0 | 4.734277e+01 | -- | Inf
47.19/47.26 c 46.4s| 1 | 0 | 3387 | 115M| 0 | 64 |1960 |1366 |1366 |1960 |1392 | 26 | 0 | 0 | 4.809524e+01 | -- | Inf
47.67/47.77 c 46.9s| 1 | 0 | 3762 | 115M| 0 | 84 |1960 |1366 |1366 |1960 |1399 | 33 | 0 | 0 | 4.900000e+01 | -- | Inf
48.08/48.15 c 47.2s| 1 | 0 | 3916 | 116M| 0 | 83 |1960 |1366 |1366 |1960 |1406 | 40 | 0 | 0 | 4.902778e+01 | -- | Inf
48.48/48.56 c 47.6s| 1 | 0 | 4074 | 116M| 0 | 109 |1960 |1366 |1366 |1960 |1413 | 47 | 0 | 0 | 4.960145e+01 | -- | Inf
48.78/48.87 c 48.0s| 1 | 0 | 4126 | 116M| 0 | 90 |1960 |1366 |1366 |1960 |1418 | 52 | 0 | 0 | 5.000000e+01 | -- | Inf
49.18/49.26 c 48.3s| 1 | 0 | 4318 | 116M| 0 | 74 |1960 |1366 |1366 |1960 |1424 | 58 | 0 | 0 | 5.000000e+01 | -- | Inf
49.58/49.63 c 48.7s| 1 | 0 | 4535 | 116M| 0 | 76 |1960 |1366 |1366 |1960 |1430 | 64 | 0 | 0 | 5.000000e+01 | -- | Inf
49.88/49.94 c 49.0s| 1 | 0 | 4679 | 116M| 0 | 73 |1960 |1366 |1366 |1960 |1435 | 69 | 0 | 0 | 5.000000e+01 | -- | Inf
50.38/50.44 c 49.5s| 1 | 0 | 5349 | 116M| 0 | 97 |1960 |1366 |1366 |1960 |1441 | 75 | 0 | 0 | 5.023522e+01 | -- | Inf
50.68/50.77 c 49.8s| 1 | 0 | 5517 | 116M| 0 | 111 |1960 |1366 |1366 |1960 |1437 | 79 | 0 | 0 | 5.040423e+01 | -- | Inf
51.08/51.10 c 50.2s| 1 | 0 | 5691 | 116M| 0 | 108 |1960 |1366 |1366 |1960 |1441 | 83 | 0 | 0 | 5.064498e+01 | -- | Inf
51.38/51.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.38/51.44 c 50.5s| 1 | 0 | 5903 | 116M| 0 | 83 |1960 |1366 |1366 |1960 |1446 | 88 | 0 | 0 | 5.082579e+01 | -- | Inf
51.98/52.03 c 51.1s| 1 | 0 | 6674 | 117M| 0 | 147 |1960 |1366 |1366 |1960 |1452 | 94 | 0 | 0 | 5.340855e+01 | -- | Inf
52.79/52.87 c 51.9s| 1 | 0 | 7658 | 117M| 0 | 149 |1960 |1366 |1366 |1960 |1458 | 100 | 0 | 0 | 5.539815e+01 | -- | Inf
53.08/53.18 c 52.2s| 1 | 0 | 7712 | 117M| 0 | 156 |1960 |1366 |1366 |1960 |1459 | 101 | 0 | 0 | 5.539815e+01 | -- | Inf
53.57/53.62 c 52.7s| 1 | 0 | 7875 | 117M| 0 | 155 |1960 |1366 |1366 |1960 |1448 | 102 | 0 | 0 | 5.539815e+01 | -- | Inf
53.88/53.99 c 53.0s| 1 | 0 | 8046 | 117M| 0 | 153 |1960 |1366 |1366 |1960 |1449 | 103 | 0 | 0 | 5.539815e+01 | -- | Inf
54.17/54.29 c 53.3s| 1 | 0 | 8103 | 117M| 0 | 154 |1960 |1366 |1366 |1960 |1450 | 104 | 0 | 0 | 5.539815e+01 | -- | Inf
55.08/55.16 c 54.2s| 1 | 0 | 8634 | 117M| 0 | 121 |1960 |1366 |1366 |1960 |1452 | 106 | 0 | 0 | 5.553407e+01 | -- | Inf
55.58/55.61 c 54.7s| 1 | 0 | 9198 | 117M| 0 | 133 |1960 |1366 |1366 |1960 |1456 | 110 | 0 | 0 | 5.558350e+01 | -- | Inf
55.88/55.94 c 55.0s| 1 | 0 | 9334 | 117M| 0 | 133 |1960 |1366 |1366 |1960 |1458 | 112 | 0 | 0 | 5.558350e+01 | -- | Inf
56.38/56.47 c 55.5s| 1 | 0 | 9820 | 117M| 0 | 118 |1960 |1366 |1366 |1960 |1450 | 113 | 0 | 0 | 5.558350e+01 | -- | Inf
56.68/56.75 c 55.8s| 1 | 0 | 9887 | 117M| 0 | 124 |1960 |1366 |1366 |1960 |1451 | 114 | 0 | 0 | 5.558350e+01 | -- | Inf
57.48/57.57 c 56.6s| 1 | 0 | 10836 | 117M| 0 | 130 |1960 |1366 |1366 |1960 |1456 | 119 | 0 | 0 | 5.625169e+01 | -- | Inf
57.78/57.86 c 56.9s| 1 | 0 | 10916 | 117M| 0 | 147 |1960 |1366 |1366 |1960 |1458 | 121 | 0 | 0 | 5.625169e+01 | -- | Inf
58.08/58.17 c 57.2s| 1 | 0 | 11027 | 118M| 0 | 153 |1960 |1366 |1366 |1960 |1461 | 124 | 0 | 0 | 5.625169e+01 | -- | Inf
58.58/58.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.58/58.68 c 57.7s| 1 | 0 | 11562 | 118M| 0 | 99 |1960 |1366 |1366 |1960 |1465 | 128 | 0 | 0 | 5.629871e+01 | -- | Inf
58.98/59.07 c 58.1s| 1 | 0 | 11893 | 118M| 0 | 90 |1960 |1366 |1366 |1960 |1462 | 132 | 0 | 0 | 5.653353e+01 | -- | Inf
59.28/59.40 c 58.4s| 1 | 0 | 12133 | 118M| 0 | 88 |1960 |1366 |1366 |1960 |1467 | 137 | 0 | 0 | 5.694814e+01 | -- | Inf
59.57/59.67 c 58.7s| 1 | 0 | 12188 | 118M| 0 | 93 |1960 |1366 |1366 |1960 |1470 | 140 | 0 | 0 | 5.700007e+01 | -- | Inf
59.97/60.08 c 59.1s| 1 | 0 | 12588 | 118M| 0 | 90 |1960 |1366 |1366 |1960 |1475 | 145 | 0 | 0 | 5.753714e+01 | -- | Inf
60.39/60.44 c 59.5s| 1 | 0 | 12861 | 118M| 0 | 98 |1960 |1366 |1366 |1960 |1480 | 150 | 0 | 0 | 5.801684e+01 | -- | Inf
60.68/60.79 c 59.8s| 1 | 0 | 13096 | 118M| 0 | 101 |1960 |1366 |1366 |1960 |1486 | 156 | 0 | 0 | 5.833966e+01 | -- | Inf
61.18/61.24 c 60.3s| 1 | 0 | 13543 | 118M| 0 | 96 |1960 |1366 |1366 |1960 |1486 | 163 | 0 | 0 | 5.975661e+01 | -- | Inf
61.78/61.81 c 60.9s| 1 | 0 | 14349 | 118M| 0 | - |1960 |1366 |1366 |1960 |1489 | 166 | 0 | 0 | -- | -- | 0.00%
61.78/61.81 c 60.9s| 1 | 0 | 14349 | 118M| 0 | - |1960 |1366 |1366 |1960 |1489 | 166 | 0 | 0 | -- | -- | 0.00%
61.78/61.81 c
61.78/61.81 c SCIP Status : problem is solved [infeasible]
61.78/61.81 c Solving Time (sec) : 60.85
61.78/61.81 c Solving Nodes : 1
61.78/61.81 c Primal Bound : +1.00000000000000e+20 (0 solutions)
61.78/61.81 c Dual Bound : +1.00000000000000e+20
61.78/61.81 c Gap : 0.00 %
61.78/61.81 c NODE 1
61.78/61.81 c DUAL BOUND 1e+20
61.78/61.81 c PRIMAL BOUND 1e+20
61.78/61.81 c GAP 0
61.78/61.81 s UNSATISFIABLE
61.78/61.81 c SCIP Status : problem is solved [infeasible]
61.78/61.81 c Solving Time : 60.85
61.78/61.81 c Original Problem :
61.78/61.81 c Problem name : HOME/instance-3741369-1338771346.opb
61.78/61.81 c Variables : 2504 (2504 binary, 0 integer, 0 implicit integer, 0 continuous)
61.78/61.81 c Constraints : 2065 initial, 2065 maximal
61.78/61.81 c Presolved Problem :
61.78/61.81 c Problem name : t_HOME/instance-3741369-1338771346.opb
61.78/61.81 c Variables : 1960 (1960 binary, 0 integer, 0 implicit integer, 0 continuous)
61.78/61.81 c Constraints : 1366 initial, 1366 maximal
61.78/61.81 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
61.78/61.81 c trivial : 0.00 0 0 0 0 0 0 0 0
61.78/61.82 c dualfix : 0.01 0 0 0 0 0 0 0 0
61.78/61.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
61.78/61.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
61.78/61.82 c implics : 0.00 0 0 0 0 0 0 0 0
61.78/61.82 c probing : 34.00 360 0 0 0 0 0 0 0
61.78/61.82 c knapsack : 5.90 0 0 0 0 0 0 0 0
61.78/61.82 c setppc : 0.01 184 0 0 0 0 1 0 0
61.78/61.82 c linear : 0.29 0 0 0 0 0 255 0 0
61.78/61.82 c logicor : 0.38 0 0 0 0 0 443 0 0
61.78/61.82 c root node : - 0 - - 0 - - - -
61.78/61.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
61.78/61.82 c integral : 0 0 0 0 0 0 0 0 0 0
61.78/61.82 c knapsack : 255 38 7548 0 0 313 0 0 0 0
61.78/61.82 c setppc : 18 38 7235 0 0 46 0 0 0 0
61.78/61.82 c logicor : 1093 38 6783 0 0 1 0 0 0 0
61.78/61.82 c countsols : 0 0 0 0 0 0 0 0 0 0
61.78/61.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
61.78/61.82 c integral : 0.00 0.00 0.00 0.00 0.00
61.78/61.82 c knapsack : 8.34 8.20 0.14 0.00 0.00
61.78/61.82 c setppc : 0.02 0.00 0.02 0.00 0.00
61.78/61.82 c logicor : 7.12 0.00 7.12 0.00 0.00
61.78/61.82 c countsols : 0.00 0.00 0.00 0.00 0.00
61.78/61.82 c Propagators : Time Calls Cutoffs DomReds
61.78/61.82 c rootredcost : 0.00 0 0 0
61.78/61.82 c pseudoobj : 0.01 27 1 0
61.78/61.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
61.78/61.82 c propagation : 0.00 0 0 0 0.0 0 0.0 -
61.78/61.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
61.78/61.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
61.78/61.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
61.78/61.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
61.78/61.82 c applied globally : - - - 0 0.0 - - -
61.78/61.82 c applied locally : - - - 0 0.0 - - -
61.78/61.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
61.78/61.82 c cut pool : 0.01 37 - - 259 - (maximal pool size: 396)
61.78/61.82 c redcost : 0.01 38 0 0 0 0
61.78/61.82 c impliedbounds : 0.03 38 0 0 0 0
61.78/61.82 c intobj : 0.00 0 0 0 0 0
61.78/61.82 c gomory : 0.78 38 0 0 1250 0
61.78/61.82 c strongcg : 0.46 20 0 0 1207 0
61.78/61.82 c cmir : 0.18 10 0 0 0 0
61.78/61.82 c flowcover : 0.21 10 0 0 0 0
61.78/61.82 c clique : 3.11 38 0 0 318 0
61.78/61.82 c zerohalf : 0.00 0 0 0 0 0
61.78/61.82 c mcf : 0.01 1 0 0 0 0
61.78/61.82 c Pricers : Time Calls Vars
61.78/61.82 c problem variables: 0.00 0 0
61.78/61.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
61.78/61.82 c pscost : 0.00 0 0 0 0 0 0
61.78/61.82 c inference : 0.00 0 0 0 0 0 0
61.78/61.82 c mostinf : 0.00 0 0 0 0 0 0
61.78/61.82 c leastinf : 0.00 0 0 0 0 0 0
61.78/61.82 c fullstrong : 0.00 0 0 0 0 0 0
61.78/61.82 c allfullstrong : 0.00 0 0 0 0 0 0
61.78/61.82 c random : 0.00 0 0 0 0 0 0
61.78/61.82 c relpscost : 0.00 0 0 0 0 0 0
61.78/61.82 c Primal Heuristics : Time Calls Found
61.78/61.82 c LP solutions : 0.00 - 0
61.78/61.82 c pseudo solutions : 0.00 - 0
61.78/61.82 c simplerounding : 0.00 0 0
61.78/61.82 c rounding : 0.04 38 0
61.78/61.82 c shifting : 0.15 38 0
61.78/61.82 c intshifting : 0.00 0 0
61.78/61.82 c oneopt : 0.00 0 0
61.78/61.82 c fixandinfer : 0.00 0 0
61.78/61.82 c feaspump : 2.01 1 0
61.78/61.82 c coefdiving : 0.00 0 0
61.78/61.82 c pscostdiving : 0.00 0 0
61.78/61.82 c fracdiving : 0.00 0 0
61.78/61.82 c veclendiving : 0.00 0 0
61.78/61.82 c intdiving : 0.00 0 0
61.78/61.82 c actconsdiving : 0.00 0 0
61.78/61.82 c objpscostdiving : 0.00 0 0
61.78/61.82 c rootsoldiving : 0.00 0 0
61.78/61.82 c linesearchdiving : 0.00 0 0
61.78/61.82 c guideddiving : 0.00 0 0
61.78/61.82 c octane : 0.00 0 0
61.78/61.82 c rens : 0.00 0 0
61.78/61.82 c rins : 0.00 0 0
61.78/61.82 c localbranching : 0.00 0 0
61.78/61.82 c mutation : 0.00 0 0
61.78/61.82 c crossover : 0.00 0 0
61.78/61.82 c dins : 0.00 0 0
61.78/61.82 c LP : Time Calls Iterations Iter/call Iter/sec
61.78/61.82 c primal LP : 0.04 0 0 0.00 0.00
61.78/61.82 c dual LP : 4.63 39 12141 311.31 2622.25
61.78/61.82 c barrier LP : 0.00 0 0 0.00 -
61.78/61.82 c diving/probing LP: 2.01 10 2208 220.80 1098.51
61.78/61.82 c strong branching : 0.00 0 0 0.00 -
61.78/61.82 c (at root node) : - 0 0 0.00 -
61.78/61.82 c conflict analysis: 0.00 0 0 0.00 -
61.78/61.82 c B&B Tree :
61.78/61.82 c number of runs : 1
61.78/61.82 c nodes : 1
61.78/61.82 c nodes (total) : 1
61.78/61.82 c nodes left : 0
61.78/61.82 c max depth : 0
61.78/61.82 c max depth (total): 0
61.78/61.82 c backtracks : 0 (0.0%)
61.78/61.82 c delayed cutoffs : 0
61.78/61.82 c repropagations : 0 (0 domain reductions, 0 cutoffs)
61.78/61.82 c avg switch length: 2.00
61.78/61.82 c switching time : 0.00
61.78/61.82 c Solution :
61.78/61.82 c Solutions found : 0 (0 improvements)
61.78/61.82 c Primal Bound : infeasible
61.78/61.82 c Dual Bound : -
61.78/61.82 c Gap : 0.00 %
61.78/61.82 c Root Dual Bound : -
61.88/61.93 c Time complete: 61.92.
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-3741369-1338771346/watcher-3741369-1338771346 -o /tmp/evaluation-result-3741369-1338771346/solver-3741369-1338771346 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741369-1338771346.opb
running on 4 cores: 1,3,5,7
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.00 2.01 2.00 3/178 23336
/proc/meminfo: memFree=27052772/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=8180 CPUtime=0 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 1377 0 0 0 0 0 0 0 20 0 1 0 343259430 8376320 1330 33554432000 4194304 7823515 140734306124096 140735190708792 4402248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23336/statm: 2045 1341 335 887 0 1155 0
[startup+0.013694 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 23336
/proc/meminfo: memFree=27052772/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=11108 CPUtime=0 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 2138 0 0 0 0 0 0 0 20 0 1 0 343259430 11374592 2091 33554432000 4194304 7823515 140734306124096 140735190708792 6957168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23336/statm: 2777 2091 354 887 0 1887 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11108
[startup+0.10024 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 23336
/proc/meminfo: memFree=27052772/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=14420 CPUtime=0.09 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 2980 0 0 0 9 0 0 0 20 0 1 0 343259430 14766080 2933 33554432000 4194304 7823515 140734306124096 140735190708792 6957168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23336/statm: 3605 2933 354 887 0 2715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14420
[startup+0.300222 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 23336
/proc/meminfo: memFree=27052772/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=21900 CPUtime=0.28 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 4631 0 0 0 28 0 0 0 20 0 1 0 343259430 22425600 4584 33554432000 4194304 7823515 140734306124096 140735190708792 6957168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23336/statm: 5475 4586 354 887 0 4585 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21900
[startup+0.700235 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 23336
/proc/meminfo: memFree=27052772/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=77196 CPUtime=0.68 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 18201 0 0 0 65 3 0 0 20 0 1 0 343259430 79048704 17801 33554432000 4194304 7823515 140734306124096 140734305990200 5878822 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23336/statm: 19299 17837 375 887 0 18409 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 77196
[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23337
/proc/meminfo: memFree=26930988/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=176080 CPUtime=1.49 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 42594 0 0 0 142 7 0 0 20 0 1 0 343259430 180305920 42193 33554432000 4194304 7823515 140734306124096 140734306121384 6954986 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23336/statm: 44020 42193 431 887 0 43130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176080
[startup+3.10032 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23337
/proc/meminfo: memFree=26886084/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=176080 CPUtime=3.09 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 42625 0 0 0 302 7 0 0 20 0 1 0 343259430 180305920 42224 33554432000 4194304 7823515 140734306124096 140734306120776 4970869 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23336/statm: 44020 42224 456 887 0 43130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 176080
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23337
/proc/meminfo: memFree=26886224/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=176080 CPUtime=6.28 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 42626 0 0 0 621 7 0 0 20 0 1 0 343259430 180305920 42225 33554432000 4194304 7823515 140734306124096 140734306120792 4970865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 44020 42225 457 887 0 43130 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 176080
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23337
/proc/meminfo: memFree=26882124/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=181192 CPUtime=12.69 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 43893 0 0 0 1261 8 0 0 20 0 1 0 343259430 185540608 43492 33554432000 4194304 7823515 140734306124096 140734306120792 4209313 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 45298 43492 457 887 0 44408 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 181192
[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 23337
/proc/meminfo: memFree=26857928/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=206024 CPUtime=25.49 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 49755 0 0 0 2539 10 0 0 20 0 1 0 343259430 210968576 49354 33554432000 4194304 7823515 140734306124096 140734306120792 4243103 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 51506 49354 462 887 0 50616 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 206024
[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 23337
/proc/meminfo: memFree=26773128/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=299808 CPUtime=51.08 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 69359 0 0 0 5077 31 0 0 20 0 1 0 343259430 307003392 70630 33554432000 4194304 7823515 140734306124096 140734306119432 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 74952 70630 566 887 0 74062 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 299808
Solver just ended. Dumping a history of the last processes samples
[startup+57.5002 s]
/proc/loadavg: 2.10 2.04 2.01 3/179 23337
/proc/meminfo: memFree=26769392/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=305580 CPUtime=57.48 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 70233 0 0 0 5715 33 0 0 20 0 1 0 343259430 312913920 71504 33554432000 4194304 7823515 140734306124096 140734306119896 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 76395 71504 566 887 0 75505 0
Current children cumulated CPU time (s) 57.48
Current children cumulated vsize (KiB) 305580
[startup+59.1003 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 23337
/proc/meminfo: memFree=26769392/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=306048 CPUtime=59.08 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 70245 0 0 0 5875 33 0 0 20 0 1 0 343259430 313393152 71516 33554432000 4194304 7823515 140734306124096 140734306120568 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 76512 71516 566 887 0 75622 0
Current children cumulated CPU time (s) 59.08
Current children cumulated vsize (KiB) 306048
[startup+60.7002 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 23337
/proc/meminfo: memFree=26767220/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=306048 CPUtime=60.68 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 70267 0 0 0 6034 34 0 0 20 0 1 0 343259430 313393152 72049 33554432000 4194304 7823515 140734306124096 140734306119848 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 76512 72049 566 887 0 75622 0
Current children cumulated CPU time (s) 60.68
Current children cumulated vsize (KiB) 306048
[startup+61.5002 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 23337
/proc/meminfo: memFree=26767080/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=306048 CPUtime=61.48 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 70272 0 0 0 6114 34 0 0 20 0 1 0 343259430 313393152 72054 33554432000 4194304 7823515 140734306124096 140734306120568 5566562 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 76512 72054 566 887 0 75622 0
Current children cumulated CPU time (s) 61.48
Current children cumulated vsize (KiB) 306048
[startup+61.9002 s]
/proc/loadavg: 2.17 2.05 2.01 3/179 23337
/proc/meminfo: memFree=26767080/32873844 swapFree=7380/7380
[pid=23336] ppid=23334 vsize=306048 CPUtime=61.88 cores=1,3,5,7
/proc/23336/stat : 23336 (pbscip.linux.x8) R 23334 23336 21332 0 -1 4202496 70279 0 0 0 6154 34 0 0 20 0 1 0 343259430 313393152 72061 33554432000 4194304 7823515 140734306124096 140734306120568 5875797 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23336/statm: 76512 72061 570 887 0 75622 0
Current children cumulated CPU time (s) 61.88
Current children cumulated vsize (KiB) 306048
Child status: 0
Real time (s): 61.9404
CPU time (s): 61.9276
CPU user time (s): 61.5616
CPU system time (s): 0.365944
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 306048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.5616
system time used= 0.365944
maximum resident set size= 288244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 182
runsolver used 0.102984 second user time and 0.295955 second system time
The end