0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2663775-1276656511.opb>
0.00/0.06 c original problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.14 c presolving:
0.60/0.63 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 415046 impls, 0 clqs
1.00/1.06 c (0.8s) probing: 101/6426 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.06 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.00/1.06 c presolving (2 rounds):
1.00/1.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.06 c 415046 implications, 0 cliques
1.00/1.06 c presolved problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
1.00/1.06 c 6226 constraints of type <and>
1.00/1.06 c 200 constraints of type <logicor>
1.00/1.06 c transformed objective value is always integral (scale: 1)
1.00/1.06 c Presolving Time: 0.76
1.00/1.06 c - non default parameters ----------------------------------------------------------------------
1.00/1.06 c # SCIP version 1.2.1.2
1.00/1.06 c
1.00/1.06 c # frequency for displaying node information lines
1.00/1.06 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.06 c display/freq = 10000
1.00/1.06 c
1.00/1.06 c # maximal time in seconds to run
1.00/1.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.06 c limits/time = 1799.95
1.00/1.06 c
1.00/1.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.06 c limits/memory = 1620
1.00/1.06 c
1.00/1.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.00/1.06 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.06 c lp/solvefreq = -1
1.00/1.06 c
1.00/1.06 c # should presolving try to simplify inequalities
1.00/1.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.06 c constraints/linear/simplifyinequalities = TRUE
1.00/1.06 c
1.00/1.06 c # should presolving try to simplify knapsacks
1.00/1.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.06 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.06 c
1.00/1.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.00/1.06 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.06 c heuristics/undercover/freq = 0
1.00/1.06 c
1.00/1.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.06 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.06 c separating/rapidlearning/freq = 0
1.00/1.06 c
1.00/1.06 c -----------------------------------------------------------------------------------------------
1.00/1.06 c start solving
1.00/1.07 c
1.00/1.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.09 c 0.8s| 1 | 2 | 0 | - | 26M| 0 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.58/38.61 c 38.0s| 10000 | 10001 | 0 | 0.0 | 50M| 181 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
81.87/81.93 c 81.0s| 20000 | 20001 | 0 | 0.0 | 72M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
123.95/124.06 c 123s| 30000 | 30001 | 0 | 0.0 | 94M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
164.64/164.75 c 163s| 40000 | 40001 | 0 | 0.0 | 115M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
203.62/203.73 c 202s| 50000 | 50001 | 0 | 0.0 | 137M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
241.61/241.78 c 240s| 60000 | 60001 | 0 | 0.0 | 158M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
279.21/279.36 c 277s| 70000 | 70001 | 0 | 0.0 | 180M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
315.78/315.95 c 313s| 80000 | 80001 | 0 | 0.0 | 201M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
351.97/352.12 c 349s| 90000 | 90001 | 0 | 0.0 | 222M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
386.87/387.02 c 384s|100000 |100001 | 0 | 0.0 | 243M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
421.46/421.61 c 418s|110000 |110001 | 0 | 0.0 | 264M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
454.84/455.09 c 451s|120000 |120001 | 0 | 0.0 | 285M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
488.04/488.25 c 484s|130000 |130001 | 0 | 0.0 | 306M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
521.32/521.58 c 517s|140000 |140001 | 0 | 0.0 | 327M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
553.61/553.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
553.61/553.84 c 549s|150000 |150001 | 0 | 0.0 | 348M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
585.10/585.35 c 580s|160000 |160001 | 0 | 0.0 | 369M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
615.59/615.88 c 610s|170000 |170001 | 0 | 0.0 | 390M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
646.28/646.55 c 641s|180000 |180001 | 0 | 0.0 | 410M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
675.98/676.24 c 670s|190000 |190001 | 0 | 0.0 | 431M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
705.06/705.36 c 699s|200000 |200001 | 0 | 0.0 | 452M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
733.86/734.19 c 727s|210000 |210001 | 0 | 0.0 | 473M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
761.95/762.22 c 755s|220000 |220001 | 0 | 0.0 | 494M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
790.13/790.41 c 783s|230000 |230001 | 0 | 0.0 | 515M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
817.73/818.09 c 810s|240000 |240001 | 0 | 0.0 | 536M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
845.21/845.58 c 838s|250000 |250001 | 0 | 0.0 | 557M| 183 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
872.71/873.06 c 865s|260000 |260001 | 0 | 0.0 | 578M| 184 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
899.50/899.89 c 891s|270000 |270001 | 0 | 0.0 | 599M| 184 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
926.39/926.76 c 918s|280000 |280001 | 0 | 0.0 | 621M| 184 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
952.88/953.21 c 944s|290000 |290001 | 0 | 0.0 | 642M| 184 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
979.17/979.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.17/979.57 c 970s|300000 |300001 | 0 | 0.0 | 663M| 184 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1005.07/1005.49 c 996s|310000 |310001 | 0 | 0.0 | 684M| 184 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1030.56/1030.98 c 1021s|320000 |320001 | 0 | 0.0 | 705M| 184 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1055.95/1056.34 c 1046s|330000 |330001 | 0 | 0.0 | 726M| 186 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1080.85/1081.27 c 1071s|340000 |340001 | 0 | 0.0 | 747M| 188 | - |6426 |6426 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1105.53/1105.95 c 1095s|350000 |349999 | 0 | 0.0 | 768M| 188 | - |6426 |6428 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1130.53/1130.94 c 1120s|360000 |359999 | 0 | 0.0 | 789M| 188 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1155.33/1155.74 c 1144s|370000 |369999 | 0 | 0.0 | 811M| 188 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1179.93/1180.39 c 1169s|380000 |379999 | 0 | 0.0 | 832M| 188 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1204.51/1204.98 c 1193s|390000 |389999 | 0 | 0.0 | 853M| 188 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1228.60/1229.03 c 1217s|400000 |399999 | 0 | 0.0 | 874M| 188 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1252.79/1253.29 c 1241s|410000 |409999 | 0 | 0.0 | 896M| 188 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1275.98/1276.41 c 1263s|420000 |419999 | 0 | 0.0 | 917M| 188 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1298.98/1299.41 c 1286s|430000 |429999 | 0 | 0.0 | 939M| 189 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1322.07/1322.57 c 1309s|440000 |439999 | 0 | 0.0 | 960M| 189 | - |6426 |6427 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | -- | Inf
1344.56/1345.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.56/1345.03 c 1331s|450000 |449997 | 0 | 0.0 | 981M| 189 | - |6426 |6429 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1366.96/1367.46 c 1353s|460000 |459997 | 0 | 0.0 |1003M| 189 | - |6426 |6427 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1388.86/1389.36 c 1375s|470000 |469997 | 0 | 0.0 |1025M| 189 | - |6426 |6427 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1410.76/1411.28 c 1397s|480000 |479997 | 0 | 0.0 |1047M| 189 | - |6426 |6427 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1431.74/1432.26 c 1417s|490000 |489997 | 0 | 0.0 |1069M| 189 | - |6426 |6427 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1452.54/1453.02 c 1438s|500000 |499997 | 0 | 0.0 |1091M| 189 | - |6426 |6427 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1474.22/1474.78 c 1459s|510000 |509997 | 0 | 0.0 |1115M| 189 | - |6426 |6427 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1497.02/1497.50 c 1482s|520000 |519997 | 0 | 0.0 |1137M| 199 | - |6426 |6427 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1534.31/1534.80 c 1519s|530000 |529997 | 0 | 0.0 |1158M| 199 | - |6426 |6426 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1562.09/1562.61 c 1546s|540000 |539997 | 0 | 0.0 |1179M| 199 | - |6426 |6426 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | -- | Inf
1586.89/1587.42 c 1571s|550000 |549995 | 0 | 0.0 |1200M| 199 | - |6426 |6428 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
1626.77/1627.31 c 1610s|560000 |559995 | 0 | 0.0 |1219M| 199 | - |6426 |6426 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
1674.15/1674.77 c 1657s|570000 |569995 | 0 | 0.0 |1241M| 199 | - |6426 |6426 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
1718.44/1719.06 c 1701s|580000 |579995 | 0 | 0.0 |1263M| 199 | - |6426 |6426 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
1762.43/1763.04 c 1745s|590000 |589995 | 0 | 0.0 |1285M| 199 | - |6426 |6426 | 0 | 0 | 0 | 6 | 0 | 1.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.62 c
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time (sec) : 1782.38
1800.03/1800.62 c Solving Nodes : 598466
1800.03/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.62 c Dual Bound : +1.00000000000000e+00
1800.03/1800.62 c Gap : infinite
1800.03/1800.62 s UNKNOWN
1800.03/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.62 c Solving Time : 1782.38
1800.03/1800.62 c Original Problem :
1800.03/1800.62 c Problem name : HOME/instance-2663775-1276656511.opb
1800.03/1800.62 c Variables : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 6426 initial, 6426 maximal
1800.03/1800.62 c Presolved Problem :
1800.03/1800.62 c Problem name : t_HOME/instance-2663775-1276656511.opb
1800.03/1800.62 c Variables : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.62 c Constraints : 6426 initial, 6429 maximal
1800.03/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.62 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.62 c probing : 0.23 0 0 0 0 0 0 0 0
1800.03/1800.62 c and : 0.46 0 0 0 0 0 0 0 0
1800.03/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.62 c root node : - 0 - - 0 - - - -
1800.03/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.62 c and : 6226 0 1806070 0 598463 2 19229191 0 0 0
1800.03/1800.62 c logicor : 200+ 0 386385 0 598463 1 55607 0 0 0
1800.03/1800.62 c countsols : 0 0 0 0 598463 0 0 0 0 0
1800.03/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.62 c and : 410.26 0.00 371.16 0.00 39.10
1800.03/1800.62 c logicor : 323.03 0.00 3.03 0.00 320.00
1800.03/1800.62 c countsols : 0.68 0.00 0.00 0.00 0.68
1800.03/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.62 c vbounds : 1.33 2 0 0
1800.03/1800.62 c rootredcost : 1.15 0 0 0
1800.03/1800.62 c pseudoobj : 30.49 1805870 0 0
1800.03/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.62 c propagation : 0.00 3 3 6 29.2 0 0.0 -
1800.03/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.62 c applied globally : - - - 6 29.2 - - -
1800.03/1800.62 c applied locally : - - - 0 0.0 - - -
1800.03/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.62 c redcost : 0.00 0 0 0 0 0
1800.03/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.62 c intobj : 0.00 0 0 0 0 0
1800.03/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.62 c gomory : 0.00 0 0 0 0 0
1800.03/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.62 c cmir : 0.00 0 0 0 0 0
1800.03/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.62 c clique : 0.00 0 0 0 0 0
1800.03/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.62 c mcf : 0.00 0 0 0 0 0
1800.03/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.62 c Pricers : Time Calls Vars
1800.03/1800.62 c problem variables: 0.00 0 0
1800.03/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.62 c inference : 877.47 598463 0 0 0 0 1196926
1800.03/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.62 c random : 0.00 0 0 0 0 0 0
1800.03/1800.62 c Primal Heuristics : Time Calls Found
1800.03/1800.62 c LP solutions : 0.00 - 0
1800.03/1800.62 c pseudo solutions : 0.00 - 0
1800.03/1800.62 c oneopt : 0.40 0 0
1800.03/1800.62 c trivial : 0.02 2 0
1800.03/1800.62 c simplerounding : 0.00 0 0
1800.03/1800.62 c zirounding : 0.00 0 0
1800.03/1800.62 c rounding : 0.00 0 0
1800.03/1800.62 c shifting : 0.00 0 0
1800.03/1800.62 c intshifting : 0.00 0 0
1800.03/1800.62 c twoopt : 0.00 0 0
1800.03/1800.62 c fixandinfer : 0.00 0 0
1800.03/1800.62 c feaspump : 0.00 0 0
1800.03/1800.62 c coefdiving : 0.00 0 0
1800.03/1800.62 c pscostdiving : 0.00 0 0
1800.03/1800.62 c fracdiving : 0.00 0 0
1800.03/1800.62 c veclendiving : 0.00 0 0
1800.03/1800.62 c intdiving : 0.00 0 0
1800.03/1800.62 c actconsdiving : 0.00 0 0
1800.03/1800.62 c objpscostdiving : 0.00 0 0
1800.03/1800.62 c rootsoldiving : 0.00 0 0
1800.03/1800.62 c linesearchdiving : 0.00 0 0
1800.03/1800.62 c guideddiving : 0.00 0 0
1800.03/1800.62 c octane : 0.00 0 0
1800.03/1800.62 c rens : 0.00 0 0
1800.03/1800.62 c rins : 0.00 0 0
1800.03/1800.62 c localbranching : 0.00 0 0
1800.03/1800.62 c mutation : 0.00 0 0
1800.03/1800.62 c crossover : 0.00 0 0
1800.03/1800.62 c dins : 0.00 0 0
1800.03/1800.62 c undercover : 0.00 0 0
1800.03/1800.62 c nlp : 0.72 0 0
1800.03/1800.62 c trysol : 0.28 0 0
1800.03/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.62 c (at root node) : - 0 0 0.00 -
1800.03/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.62 c B&B Tree :
1800.03/1800.62 c number of runs : 1
1800.03/1800.62 c nodes : 598466
1800.03/1800.62 c nodes (total) : 598466
1800.03/1800.62 c nodes left : 598461
1800.03/1800.62 c max depth : 199
1800.03/1800.62 c max depth (total): 199
1800.03/1800.62 c backtracks : 8877 (1.5%)
1800.03/1800.62 c delayed cutoffs : 0
1800.03/1800.62 c repropagations : 10 (56 domain reductions, 0 cutoffs)
1800.03/1800.62 c avg switch length: 3.52
1800.03/1800.62 c switching time : 95.23
1800.03/1800.62 c Solution :
1800.03/1800.62 c Solutions found : 0 (0 improvements)
1800.03/1800.62 c Primal Bound : -
1800.03/1800.62 c Dual Bound : +1.00000000000000e+00
1800.03/1800.62 c Gap : infinite
1800.03/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.62 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663775-1276656511/watcher-2663775-1276656511 -o /tmp/evaluation-result-2663775-1276656511/solver-2663775-1276656511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663775-1276656511.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: 1.33 1.73 1.52 3/106 14538
/proc/meminfo: memFree=1703316/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=6584 CPUtime=0
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 1010 0 0 0 0 0 0 0 20 0 1 0 6943126 6742016 934 1992294400 4194304 7136930 140736641156304 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14538/statm: 1646 944 254 719 0 925 0
[startup+0.07045 s]
/proc/loadavg: 1.33 1.73 1.52 3/106 14538
/proc/meminfo: memFree=1703316/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=17444 CPUtime=0.06
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 4207 0 0 0 4 2 0 0 20 0 1 0 6943126 17862656 3776 1992294400 4194304 7136930 140736641156304 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 4361 3776 283 719 0 3640 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17444
[startup+0.101452 s]
/proc/loadavg: 1.33 1.73 1.52 3/106 14538
/proc/meminfo: memFree=1703316/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=25572 CPUtime=0.09
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 6258 0 0 0 7 2 0 0 20 0 1 0 6943126 26185728 5827 1992294400 4194304 7136930 140736641156304 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 6393 5827 304 719 0 5672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25572
[startup+0.301474 s]
/proc/loadavg: 1.33 1.73 1.52 3/106 14538
/proc/meminfo: memFree=1703316/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=37868 CPUtime=0.29
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 9003 0 0 0 25 4 0 0 20 0 1 0 6943126 38776832 8572 1992294400 4194304 7136930 140736641156304 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 9467 8572 328 719 0 8746 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37868
[startup+0.701517 s]
/proc/loadavg: 1.33 1.73 1.52 3/106 14538
/proc/meminfo: memFree=1703316/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=45712 CPUtime=0.69
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 12001 0 0 0 53 16 0 0 21 0 1 0 6943126 46809088 10542 1992294400 4194304 7136930 140736641156304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 11428 10542 348 719 0 10707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45712
[startup+1.5006 s]
/proc/loadavg: 1.33 1.73 1.52 2/107 14539
/proc/meminfo: memFree=1660032/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=49088 CPUtime=1.49
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 12948 0 0 0 126 23 0 0 23 0 1 0 6943126 50266112 11489 1992294400 4194304 7136930 140736641156304 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 12272 11489 381 719 0 11551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49088
[startup+3.10078 s]
/proc/loadavg: 1.33 1.73 1.52 2/107 14539
/proc/meminfo: memFree=1658048/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=49900 CPUtime=3.09
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 13174 0 0 0 285 24 0 0 25 0 1 0 6943126 51097600 11715 1992294400 4194304 7136930 140736641156304 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 12475 11715 381 719 0 11754 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49900
[startup+6.30112 s]
/proc/loadavg: 1.30 1.72 1.52 2/107 14539
/proc/meminfo: memFree=1656064/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=52040 CPUtime=6.29
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 13693 0 0 0 603 26 0 0 25 0 1 0 6943126 53288960 12234 1992294400 4194304 7136930 140736641156304 18446744073709551615 5901129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 13010 12234 381 719 0 12289 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52040
[startup+12.7008 s]
/proc/loadavg: 1.28 1.71 1.51 2/107 14539
/proc/meminfo: memFree=1652592/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=55396 CPUtime=12.69
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 14524 0 0 0 1239 30 0 0 25 0 1 0 6943126 56725504 13065 1992294400 4194304 7136930 140736641156304 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 13849 13065 381 719 0 13128 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55396
[startup+25.5012 s]
/proc/loadavg: 1.22 1.67 1.50 2/107 14541
/proc/meminfo: memFree=1642052/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=65296 CPUtime=25.48
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 17022 0 0 0 2509 39 0 0 25 0 1 0 6943126 66863104 15563 1992294400 4194304 7136930 140736641156304 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 16324 15563 381 719 0 15603 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65296
[startup+51.1009 s]
/proc/loadavg: 1.14 1.62 1.49 2/107 14541
/proc/meminfo: memFree=1624692/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=83096 CPUtime=51.07
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 21484 0 0 0 5046 61 0 0 25 0 1 0 6943126 85090304 20025 1992294400 4194304 7136930 140736641156304 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 20774 20025 381 719 0 20053 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83096
[startup+102.308 s]
/proc/loadavg: 1.06 1.52 1.46 2/107 14543
/proc/meminfo: memFree=1592700/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=114320 CPUtime=102.27
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 29313 0 0 0 10127 100 0 0 25 0 1 0 6943126 117063680 27854 1992294400 4194304 7136930 140736641156304 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 28580 27854 381 719 0 27859 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 114320
[startup+162.302 s]
/proc/loadavg: 1.02 1.42 1.43 2/107 14543
/proc/meminfo: memFree=1560088/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=146556 CPUtime=162.24
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 37416 0 0 0 16080 144 0 0 25 0 1 0 6943126 150073344 35957 1992294400 4194304 7136930 140736641156304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 36639 35957 381 719 0 35918 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 146556
[startup+222.301 s]
/proc/loadavg: 1.01 1.34 1.40 2/107 14545
/proc/meminfo: memFree=1529832/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=176540 CPUtime=222.22
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 44977 0 0 0 22033 189 0 0 25 0 1 0 6943126 180776960 43518 1992294400 4194304 7136930 140736641156304 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 44135 43518 381 719 0 43414 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 176540
[startup+282.302 s]
/proc/loadavg: 1.00 1.28 1.37 2/107 14547
/proc/meminfo: memFree=1496352/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=214876 CPUtime=282.2
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 54115 0 0 0 27982 238 0 0 25 0 1 0 6943126 220033024 52656 1992294400 4194304 7136930 140736641156304 18446744073709551615 4407784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 53719 52656 381 719 0 52998 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 214876
[startup+342.301 s]
/proc/loadavg: 1.00 1.23 1.35 2/107 14549
/proc/meminfo: memFree=1458160/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=249608 CPUtime=342.17
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 62857 0 0 0 33929 288 0 0 25 0 1 0 6943126 255598592 61398 1992294400 4194304 7136930 140736641156304 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 62402 61398 381 719 0 61681 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 249608
[startup+402.302 s]
/proc/loadavg: 1.00 1.18 1.32 2/107 14551
/proc/meminfo: memFree=1424184/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=283120 CPUtime=402.16
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 71280 0 0 0 39878 338 0 0 25 0 1 0 6943126 289914880 69821 1992294400 4194304 7136930 140736641156304 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 70780 69821 381 719 0 70059 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 283120
[startup+462.301 s]
/proc/loadavg: 1.00 1.15 1.30 2/107 14551
/proc/meminfo: memFree=1385496/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=321448 CPUtime=462.14
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 80941 0 0 0 45824 390 0 0 25 0 1 0 6943126 329162752 79482 1992294400 4194304 7136930 140736641156304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 80362 79482 381 719 0 79641 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 321448
[startup+522.301 s]
/proc/loadavg: 1.00 1.12 1.28 2/107 14553
/proc/meminfo: memFree=1348544/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=358620 CPUtime=522.12
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 90269 0 0 0 51767 445 0 0 25 0 1 0 6943126 367226880 88810 1992294400 4194304 7136930 140736641156304 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 89655 88810 381 719 0 88934 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 358620
[startup+582.302 s]
/proc/loadavg: 1.00 1.09 1.26 2/107 14555
/proc/meminfo: memFree=1306384/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=399888 CPUtime=582.1
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 100673 0 0 0 57710 500 0 0 25 0 1 0 6943126 409485312 99214 1992294400 4194304 7136930 140736641156304 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 99972 99214 381 719 0 99251 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 399888
[startup+642.301 s]
/proc/loadavg: 1.00 1.07 1.24 2/107 14557
/proc/meminfo: memFree=1267324/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=438480 CPUtime=642.1
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 110408 0 0 0 63652 558 0 0 25 0 1 0 6943126 449003520 108949 1992294400 4194304 7136930 140736641156304 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 109620 108949 381 719 0 108899 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 438480
[startup+702.302 s]
################
# More data... #
################
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 190362 0 0 0 105200 995 0 0 25 0 1 0 6943126 778424320 188903 1992294400 4194304 7136930 140736641156304 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 190045 188903 381 719 0 189324 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 760180
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 14578
/proc/meminfo: memFree=890612/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=815476 CPUtime=1121.94
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 204272 0 0 0 111127 1067 0 0 25 0 1 0 6943126 835047424 202813 1992294400 4194304 7136930 140736641156304 18446744073709551615 6166298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 203869 202813 387 719 0 203148 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 815476
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 14580
/proc/meminfo: memFree=841136/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=864420 CPUtime=1181.91
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 216632 0 0 0 117057 1134 0 0 25 0 1 0 6943126 885166080 215173 1992294400 4194304 7136930 140736641156304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 216105 215173 387 719 0 215384 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 864420
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 14582
/proc/meminfo: memFree=786948/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=920168 CPUtime=1241.9
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 230639 0 0 0 122980 1210 0 0 25 0 1 0 6943126 942252032 229180 1992294400 4194304 7136930 140736641156304 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 230042 229180 387 719 0 229321 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 920168
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 14584
/proc/meminfo: memFree=733256/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=971084 CPUtime=1301.89
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 243479 0 0 0 128906 1283 0 0 25 0 1 0 6943126 994390016 242020 1992294400 4194304 7136930 140736641156304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 242771 242020 387 719 0 242050 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 971084
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 14584
/proc/meminfo: memFree=675596/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1028340 CPUtime=1361.86
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 257884 0 0 0 134831 1355 0 0 25 0 1 0 6943126 1053020160 256425 1992294400 4194304 7136930 140736641156304 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 257085 256425 387 719 0 256364 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1028340
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 14586
/proc/meminfo: memFree=615828/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1095692 CPUtime=1421.84
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 272790 0 0 0 140751 1433 0 0 25 0 1 0 6943126 1121988608 271331 1992294400 4194304 7136930 140736641156304 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 273923 271331 387 719 0 273202 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1095692
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 14588
/proc/meminfo: memFree=551596/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1161424 CPUtime=1481.82
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 289299 0 0 0 146670 1512 0 0 25 0 1 0 6943126 1189298176 287840 1992294400 4194304 7136930 140736641156304 18446744073709551615 4436342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 290356 287840 387 719 0 289635 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1161424
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 14590
/proc/meminfo: memFree=510676/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1200208 CPUtime=1541.8
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 299011 0 0 0 152608 1572 0 0 25 0 1 0 6943126 1229012992 297552 1992294400 4194304 7136930 140736641156304 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14538/statm: 300052 297552 387 719 0 299331 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1200208
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14592
/proc/meminfo: memFree=464548/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1245948 CPUtime=1601.78
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 310515 0 0 0 158546 1632 0 0 25 0 1 0 6943126 1275850752 309056 1992294400 4194304 7136930 140736641156304 18446744073709551615 4677443 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 311487 309056 387 719 0 310766 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1245948
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 14592
/proc/meminfo: memFree=440244/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1270036 CPUtime=1661.76
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 316559 0 0 0 164510 1666 0 0 25 0 1 0 6943126 1300516864 315100 1992294400 4194304 7136930 140736641156304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14538/statm: 317509 315100 387 719 0 316788 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1270036
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 14594
/proc/meminfo: memFree=410980/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1299252 CPUtime=1721.74
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 323822 0 0 0 170467 1707 0 0 25 0 1 0 6943126 1330434048 322363 1992294400 4194304 7136930 140736641156304 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 324813 322363 387 719 0 324092 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1299252
[startup+1782.3 s]
/proc/loadavg: 1.04 1.01 1.05 2/107 14596
/proc/meminfo: memFree=378988/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1330668 CPUtime=1781.72
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 331736 0 0 0 176423 1749 0 0 25 0 1 0 6943126 1362604032 330277 1992294400 4194304 7136930 140736641156304 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14538/statm: 332667 330277 387 719 0 331946 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1330668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.03 1.01 1.05 2/107 14596
/proc/meminfo: memFree=367828/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1341868 CPUtime=1800.03
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 334532 0 0 0 178242 1761 0 0 25 0 1 0 6943126 1374072832 333073 1992294400 4194304 7136930 140736641156304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14538/statm: 335467 333073 387 719 0 334746 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1341868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14538
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.03 1.01 1.05 2/107 14596
/proc/meminfo: memFree=367828/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1341868 CPUtime=1800.81
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 334538 0 0 0 178320 1761 0 0 25 0 1 0 6943126 1374072832 333079 1992294400 4194304 7136930 140736641156304 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14538/statm: 335467 333079 393 719 0 334746 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 1341868
[startup+1802.2 s]
/proc/loadavg: 1.03 1.01 1.05 2/108 14597
/proc/meminfo: memFree=367820/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1341868 CPUtime=1801.61
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 334538 0 0 0 178400 1761 0 0 25 0 1 0 6943126 1374072832 333079 1992294400 4194304 7136930 140736641156304 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14538/statm: 335467 333079 393 719 0 334746 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 1341868
[startup+1802.6 s]
/proc/loadavg: 1.03 1.01 1.05 2/108 14597
/proc/meminfo: memFree=367820/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=1319564 CPUtime=1802.01
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4202496 334538 0 0 0 178440 1761 0 0 25 0 1 0 6943126 1351233536 327503 1992294400 4194304 7136930 140736641156304 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14538/statm: 329891 327503 393 719 0 329170 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1319564
[startup+1802.7 s]
/proc/loadavg: 1.03 1.01 1.05 2/108 14597
/proc/meminfo: memFree=367820/2059040 swapFree=4192956/4192956
[pid=14538] ppid=14536 vsize=0 CPUtime=1802.11
/proc/14538/stat : 14538 (pbscip.linux.x8) R 14536 14538 12511 0 -1 4203524 334538 0 0 0 178442 1769 0 0 25 0 1 0 6943126 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/14538/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.16
CPU user time (s): 1784.42
CPU system time (s): 17.7353
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1341868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.42
system time used= 17.7353
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334538
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= 4
involuntary context switches= 19196
runsolver used 2.90256 second user time and 8.59569 second system time
The end