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-2663785-1276657898.opb>
0.00/0.06 c original problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6416 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.13 c presolving:
0.59/0.62 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 413032 impls, 0 clqs
0.99/1.06 c (0.8s) probing: 101/6416 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.99/1.06 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.99/1.06 c presolving (2 rounds):
0.99/1.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.99/1.06 c 413032 implications, 0 cliques
0.99/1.06 c presolved problem has 6416 variables (6416 bin, 0 int, 0 impl, 0 cont) and 6416 constraints
0.99/1.06 c 6216 constraints of type <and>
0.99/1.06 c 200 constraints of type <logicor>
0.99/1.06 c transformed objective value is always integral (scale: 1)
0.99/1.06 c Presolving Time: 0.77
0.99/1.06 c - non default parameters ----------------------------------------------------------------------
0.99/1.06 c # SCIP version 1.2.1.2
0.99/1.06 c
0.99/1.06 c # frequency for displaying node information lines
0.99/1.06 c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.06 c display/freq = 10000
0.99/1.06 c
0.99/1.06 c # maximal time in seconds to run
0.99/1.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06 c limits/time = 1799.95
0.99/1.06 c
0.99/1.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.06 c limits/memory = 1620
0.99/1.06 c
0.99/1.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.99/1.06 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.06 c lp/solvefreq = -1
0.99/1.06 c
0.99/1.06 c # should presolving try to simplify inequalities
0.99/1.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.06 c constraints/linear/simplifyinequalities = TRUE
0.99/1.06 c
0.99/1.06 c # should presolving try to simplify knapsacks
0.99/1.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.06 c constraints/knapsack/simplifyinequalities = TRUE
0.99/1.06 c
0.99/1.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.06 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06 c heuristics/undercover/freq = 0
0.99/1.06 c
0.99/1.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.06 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.06 c separating/rapidlearning/freq = 0
0.99/1.06 c
0.99/1.06 c -----------------------------------------------------------------------------------------------
0.99/1.06 c start solving
0.99/1.07 c
0.99/1.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.09 c 0.8s| 1 | 2 | 0 | - | 26M| 0 | - |6416 |6416 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
39.46/39.52 c 38.9s| 10000 | 9985 | 0 | 0.0 | 49M| 196 | - |6416 |6424 | 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf
80.06/80.17 c 79.2s| 20000 | 19985 | 0 | 0.0 | 72M| 201 | - |6416 |6424 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
121.94/122.06 c 121s| 30000 | 29985 | 0 | 0.0 | 94M| 201 | - |6416 |6424 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
161.44/161.59 c 160s| 40000 | 39985 | 0 | 0.0 | 116M| 201 | - |6416 |6424 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
199.63/199.70 c 198s| 50000 | 49985 | 0 | 0.0 | 138M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
236.42/236.59 c 234s| 60000 | 59985 | 0 | 0.0 | 159M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
272.51/272.63 c 270s| 70000 | 69985 | 0 | 0.0 | 180M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
308.10/308.23 c 305s| 80000 | 79985 | 0 | 0.0 | 202M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
342.59/342.75 c 340s| 90000 | 89985 | 0 | 0.0 | 222M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
376.68/376.80 c 373s|100000 | 99985 | 0 | 0.0 | 243M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
410.18/410.40 c 407s|110000 |109985 | 0 | 0.0 | 264M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
443.17/443.30 c 439s|120000 |119985 | 0 | 0.0 | 286M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
475.25/475.50 c 471s|130000 |129985 | 0 | 0.0 | 307M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
507.06/507.21 c 502s|140000 |139985 | 0 | 0.0 | 328M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
538.24/538.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.24/538.43 c 533s|150000 |149985 | 0 | 0.0 | 349M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
568.93/569.17 c 564s|160000 |159985 | 0 | 0.0 | 370M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
599.52/599.78 c 594s|170000 |169985 | 0 | 0.0 | 391M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
629.31/629.58 c 624s|180000 |179985 | 0 | 0.0 | 412M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
658.91/659.18 c 653s|190000 |189985 | 0 | 0.0 | 433M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
688.20/688.44 c 682s|200000 |199985 | 0 | 0.0 | 454M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
717.10/717.34 c 710s|210000 |209985 | 0 | 0.0 | 476M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
745.49/745.72 c 738s|220000 |219985 | 0 | 0.0 | 497M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
773.38/773.63 c 766s|230000 |229985 | 0 | 0.0 | 518M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
800.77/801.06 c 793s|240000 |239985 | 0 | 0.0 | 539M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
828.56/828.81 c 821s|250000 |249985 | 0 | 0.0 | 560M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
855.46/855.77 c 847s|260000 |259985 | 0 | 0.0 | 581M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
882.54/882.88 c 874s|270000 |269985 | 0 | 0.0 | 603M| 201 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
909.34/909.67 c 901s|280000 |279985 | 0 | 0.0 | 624M| 203 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
936.64/936.94 c 928s|290000 |289985 | 0 | 0.0 | 645M| 203 | - |6416 |6423 | 0 | 0 | 0 | 8 | 0 | 1.000000e+00 | -- | Inf
963.12/963.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.12/963.47 c 954s|300000 |299983 | 0 | 0.0 | 667M| 203 | - |6416 |6425 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
989.52/989.86 c 980s|310000 |309983 | 0 | 0.0 | 688M| 204 | - |6416 |6424 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
1015.71/1016.01 c 1006s|320000 |319983 | 0 | 0.0 | 709M| 206 | - |6416 |6424 | 0 | 0 | 0 | 10 | 0 | 1.000000e+00 | -- | Inf
1042.00/1042.32 c 1032s|330000 |329981 | 0 | 0.0 | 731M| 206 | - |6416 |6425 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
1068.09/1068.43 c 1058s|340000 |339981 | 0 | 0.0 | 752M| 206 | - |6416 |6424 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
1094.20/1094.50 c 1083s|350000 |349981 | 0 | 0.0 | 773M| 206 | - |6416 |6424 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
1120.59/1121.00 c 1110s|360000 |359981 | 0 | 0.0 | 795M| 206 | - |6416 |6424 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
1146.28/1146.66 c 1135s|370000 |369981 | 0 | 0.0 | 816M| 206 | - |6416 |6423 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
1171.37/1171.72 c 1160s|380000 |379981 | 0 | 0.0 | 837M| 206 | - |6416 |6423 | 0 | 0 | 0 | 11 | 0 | 1.000000e+00 | -- | Inf
1196.47/1196.82 c 1185s|390000 |389979 | 0 | 0.0 | 858M| 206 | - |6416 |6424 | 0 | 0 | 0 | 12 | 0 | 1.000000e+00 | -- | Inf
1220.35/1220.70 c 1208s|400000 |399977 | 0 | 0.0 | 880M| 206 | - |6416 |6426 | 0 | 0 | 0 | 14 | 0 | 1.000000e+00 | -- | Inf
1244.35/1244.70 c 1232s|410000 |409975 | 0 | 0.0 | 901M| 206 | - |6416 |6427 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1268.14/1268.55 c 1255s|420000 |419975 | 0 | 0.0 | 923M| 206 | - |6416 |6427 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1292.04/1292.46 c 1279s|430000 |429975 | 0 | 0.0 | 944M| 206 | - |6416 |6426 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1315.13/1315.51 c 1302s|440000 |439975 | 0 | 0.0 | 966M| 206 | - |6416 |6426 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1337.83/1338.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.83/1338.25 c 1324s|450000 |449975 | 0 | 0.0 | 987M| 206 | - |6416 |6426 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1360.42/1360.88 c 1346s|460000 |459975 | 0 | 0.0 |1008M| 206 | - |6416 |6426 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1382.32/1382.71 c 1368s|470000 |469975 | 0 | 0.0 |1030M| 206 | - |6416 |6426 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1403.41/1403.89 c 1389s|480000 |479975 | 0 | 0.0 |1052M| 206 | - |6416 |6426 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1428.10/1428.51 c 1413s|490000 |489975 | 0 | 0.0 |1074M| 206 | - |6416 |6425 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1465.89/1466.37 c 1451s|500000 |499975 | 0 | 0.0 |1095M| 206 | - |6416 |6423 | 0 | 0 | 0 | 15 | 0 | 1.000000e+00 | -- | Inf
1490.49/1490.93 c 1475s|510000 |509973 | 0 | 0.0 |1116M| 206 | - |6416 |6425 | 0 | 0 | 0 | 17 | 0 | 1.000000e+00 | -- | Inf
1526.97/1527.48 c 1511s|520000 |519973 | 0 | 0.0 |1138M| 206 | - |6416 |6422 | 0 | 0 | 0 | 17 | 0 | 1.000000e+00 | -- | Inf
1575.57/1576.01 c 1559s|530000 |529973 | 0 | 0.0 |1161M| 206 | - |6416 |6419 | 0 | 0 | 0 | 17 | 0 | 1.000000e+00 | -- | Inf
1622.65/1623.15 c 1606s|540000 |539973 | 0 | 0.0 |1183M| 206 | - |6416 |6419 | 0 | 0 | 0 | 17 | 0 | 1.000000e+00 | -- | Inf
1669.54/1670.01 c 1653s|550000 |549973 | 0 | 0.0 |1205M| 206 | - |6416 |6419 | 0 | 0 | 0 | 17 | 0 | 1.000000e+00 | -- | Inf
1715.73/1716.25 c 1699s|560000 |559973 | 0 | 0.0 |1227M| 206 | - |6416 |6419 | 0 | 0 | 0 | 17 | 0 | 1.000000e+00 | -- | Inf
1760.21/1760.75 c 1743s|570000 |569973 | 0 | 0.0 |1249M| 206 | - |6416 |6419 | 0 | 0 | 0 | 17 | 0 | 1.000000e+00 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1782.27
1800.02/1800.51 c Solving Nodes : 579033
1800.02/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.51 c Dual Bound : +1.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 s UNKNOWN
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1782.27
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2663785-1276657898.opb
1800.02/1800.51 c Variables : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 6416 initial, 6416 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2663785-1276657898.opb
1800.02/1800.51 c Variables : 6416 (6416 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 6416 initial, 6427 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.23 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 0.49 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c and : 6216 0 1742478 0 579019 11 18759626 0 0 0
1800.02/1800.51 c logicor : 200+ 0 364596 0 579019 3 47736 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 579019 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c and : 412.33 0.00 375.58 0.00 36.75
1800.02/1800.51 c logicor : 314.49 0.00 3.02 0.00 311.47
1800.02/1800.51 c countsols : 0.51 0.00 0.00 0.00 0.51
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 1.15 2 0 0
1800.02/1800.51 c rootredcost : 1.21 0 0 0
1800.02/1800.51 c pseudoobj : 28.86 1742278 0 0
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 0.00 14 14 17 12.2 0 0.0 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.51 c applied globally : - - - 17 12.2 - - -
1800.02/1800.51 c applied locally : - - - 0 0.0 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 897.40 579019 0 0 0 0 1158038
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c oneopt : 0.45 0 0
1800.02/1800.51 c trivial : 0.03 2 0
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 0.84 0 0
1800.02/1800.51 c trysol : 0.17 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 579033
1800.02/1800.51 c nodes (total) : 579033
1800.02/1800.51 c nodes left : 579006
1800.02/1800.51 c max depth : 206
1800.02/1800.51 c max depth (total): 206
1800.02/1800.51 c backtracks : 7775 (1.3%)
1800.02/1800.51 c delayed cutoffs : 0
1800.02/1800.51 c repropagations : 5845 (93 domain reductions, 0 cutoffs)
1800.02/1800.51 c avg switch length: 3.26
1800.02/1800.51 c switching time : 83.59
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +1.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 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-2663785-1276657898/watcher-2663785-1276657898 -o /tmp/evaluation-result-2663785-1276657898/solver-2663785-1276657898 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663785-1276657898.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.92 0.98 1.06 3/106 13682
/proc/meminfo: memFree=1687060/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=6584 CPUtime=0
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 7082646 6742016 909 1992294400 4194304 7136930 140737291229696 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13682/statm: 1646 919 254 719 0 925 0
[startup+0.10058 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 13682
/proc/meminfo: memFree=1687060/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=25412 CPUtime=0.09
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 6217 0 0 0 7 2 0 0 20 0 1 0 7082646 26021888 5786 1992294400 4194304 7136930 140737291229696 18446744073709551615 4563759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 6353 5786 304 719 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25412
[startup+0.201589 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 13682
/proc/meminfo: memFree=1687060/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=32076 CPUtime=0.2
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 7559 0 0 0 17 3 0 0 20 0 1 0 7082646 32845824 7128 1992294400 4194304 7136930 140737291229696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 8019 7128 328 719 0 7298 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 32076
[startup+0.3016 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 13682
/proc/meminfo: memFree=1687060/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=40268 CPUtime=0.3
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 9619 0 0 0 26 4 0 0 20 0 1 0 7082646 41234432 9188 1992294400 4194304 7136930 140737291229696 18446744073709551615 5968615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 10067 9188 328 719 0 9346 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 40268
[startup+0.701643 s]
/proc/loadavg: 0.92 0.98 1.06 3/106 13682
/proc/meminfo: memFree=1687060/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=47400 CPUtime=0.69
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 12430 0 0 0 54 15 0 0 21 0 1 0 7082646 48537600 10971 1992294400 4194304 7136930 140737291229696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 11850 10971 348 719 0 11129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47400
[startup+1.50073 s]
/proc/loadavg: 0.92 0.98 1.06 2/107 13683
/proc/meminfo: memFree=1640924/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=50652 CPUtime=1.49
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 13365 0 0 0 127 22 0 0 23 0 1 0 7082646 51867648 11906 1992294400 4194304 7136930 140737291229696 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 12663 11906 381 719 0 11942 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50652
[startup+3.1009 s]
/proc/loadavg: 0.92 0.98 1.06 2/107 13683
/proc/meminfo: memFree=1639808/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=51456 CPUtime=3.09
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 13563 0 0 0 286 23 0 0 25 0 1 0 7082646 52690944 12104 1992294400 4194304 7136930 140737291229696 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 12864 12104 381 719 0 12143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51456
[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 1.06 2/107 13683
/proc/meminfo: memFree=1638568/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=53048 CPUtime=6.29
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 13938 0 0 0 604 25 0 0 25 0 1 0 7082646 54321152 12479 1992294400 4194304 7136930 140737291229696 18446744073709551615 4392919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 13262 12479 381 719 0 12541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53048
[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 1.06 2/107 13683
/proc/meminfo: memFree=1634972/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=57528 CPUtime=12.69
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 15087 0 0 0 1239 30 0 0 25 0 1 0 7082646 58908672 13628 1992294400 4194304 7136930 140737291229696 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 14382 13628 386 719 0 13661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57528
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 1.06 2/107 13683
/proc/meminfo: memFree=1625052/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=65972 CPUtime=25.48
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 17187 0 0 0 2506 42 0 0 25 0 1 0 7082646 67555328 15728 1992294400 4194304 7136930 140737291229696 18446744073709551615 4660886 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 16493 15728 386 719 0 15772 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65972
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 1.05 2/107 13685
/proc/meminfo: memFree=1599880/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=90908 CPUtime=51.07
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 23446 0 0 0 5039 68 0 0 25 0 1 0 7082646 93089792 21987 1992294400 4194304 7136930 140737291229696 18446744073709551615 4697605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 22727 21987 386 719 0 22006 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 90908
[startup+102.302 s]
/proc/loadavg: 0.98 0.98 1.05 2/107 13685
/proc/meminfo: memFree=1573964/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=116676 CPUtime=102.26
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 29898 0 0 0 10121 105 0 0 25 0 1 0 7082646 119476224 28439 1992294400 4194304 7136930 140737291229696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 29169 28439 386 719 0 28448 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 116676
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 13687
/proc/meminfo: memFree=1540608/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=150720 CPUtime=162.24
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 38448 0 0 0 16071 153 0 0 25 0 1 0 7082646 154337280 36989 1992294400 4194304 7136930 140737291229696 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 37680 36989 386 719 0 36959 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 150720
[startup+222.309 s]
/proc/loadavg: 0.99 0.98 1.04 2/107 13689
/proc/meminfo: memFree=1504028/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=186152 CPUtime=222.23
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 47318 0 0 0 22023 200 0 0 25 0 1 0 7082646 190619648 45859 1992294400 4194304 7136930 140737291229696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 46538 45859 386 719 0 45817 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 186152
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 13691
/proc/meminfo: memFree=1470052/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=222020 CPUtime=282.2
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 55766 0 0 0 27968 252 0 0 25 0 1 0 7082646 227348480 54307 1992294400 4194304 7136930 140737291229696 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 55505 54307 386 719 0 54784 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 222020
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.03 2/107 13693
/proc/meminfo: memFree=1434340/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=257416 CPUtime=342.19
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 64698 0 0 0 33918 301 0 0 25 0 1 0 7082646 263593984 63239 1992294400 4194304 7136930 140737291229696 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 64354 63239 386 719 0 63633 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 257416
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/107 13693
/proc/meminfo: memFree=1398256/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=292996 CPUtime=402.18
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 73672 0 0 0 39863 355 0 0 25 0 1 0 7082646 300027904 72213 1992294400 4194304 7136930 140737291229696 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 73249 72213 386 719 0 72528 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 292996
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 13695
/proc/meminfo: memFree=1357584/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=333772 CPUtime=462.16
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 83816 0 0 0 45804 412 0 0 25 0 1 0 7082646 341782528 82357 1992294400 4194304 7136930 140737291229696 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 83443 82357 386 719 0 82722 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 333772
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/107 13697
/proc/meminfo: memFree=1318524/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=372488 CPUtime=522.14
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 93545 0 0 0 51742 472 0 0 25 0 1 0 7082646 381427712 92086 1992294400 4194304 7136930 140737291229696 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 93122 92086 386 719 0 92401 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 372488
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 13699
/proc/meminfo: memFree=1274380/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=416356 CPUtime=582.12
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 104591 0 0 0 57683 529 0 0 25 0 1 0 7082646 426348544 103132 1992294400 4194304 7136930 140737291229696 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 104089 103132 386 719 0 103368 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 416356
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 13701
/proc/meminfo: memFree=1235196/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=457408 CPUtime=642.11
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 114854 0 0 0 63618 593 0 0 25 0 1 0 7082646 468385792 113395 1992294400 4194304 7136930 140737291229696 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 114352 113395 386 719 0 113631 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 457408
[startup+702.302 s]
################
# More data... #
################
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 195341 0 0 0 105154 1046 0 0 25 0 1 0 7082646 800591872 193882 1992294400 4194304 7136930 140737291229696 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 195457 193882 387 719 0 194736 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 781828
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 13713
/proc/meminfo: memFree=859104/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=833100 CPUtime=1121.98
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 208262 0 0 0 111087 1111 0 0 25 0 1 0 7082646 853094400 206803 1992294400 4194304 7136930 140737291229696 18446744073709551615 4740347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 208275 206803 387 719 0 207554 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 833100
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 13715
/proc/meminfo: memFree=811736/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=878988 CPUtime=1181.97
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 219831 0 0 0 117017 1180 0 0 25 0 1 0 7082646 900083712 218372 1992294400 4194304 7136930 140737291229696 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 219747 218372 387 719 0 219026 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 878988
[startup+1242.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 13720
/proc/meminfo: memFree=757672/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=931836 CPUtime=1241.95
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 233152 0 0 0 122945 1250 0 0 25 0 1 0 7082646 954200064 231693 1992294400 4194304 7136930 140737291229696 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 232959 231693 387 719 0 232238 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 931836
[startup+1302.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 13720
/proc/meminfo: memFree=705592/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=986428 CPUtime=1301.94
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 246917 0 0 0 128869 1325 0 0 25 0 1 0 7082646 1010102272 245458 1992294400 4194304 7136930 140737291229696 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 246607 245458 387 719 0 245886 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 986428
[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 13722
/proc/meminfo: memFree=646072/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1050580 CPUtime=1361.92
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 260986 0 0 0 134792 1400 0 0 25 0 1 0 7082646 1075793920 259527 1992294400 4194304 7136930 140737291229696 18446744073709551615 4678299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 262645 259527 387 719 0 261924 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1050580
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13724
/proc/meminfo: memFree=585436/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1111208 CPUtime=1421.91
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 276125 0 0 0 140705 1486 0 0 25 0 1 0 7082646 1137876992 274666 1992294400 4194304 7136930 140737291229696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 277802 274666 387 719 0 277081 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1111208
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13726
/proc/meminfo: memFree=549600/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1146724 CPUtime=1481.88
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 285046 0 0 0 146648 1540 0 0 25 0 1 0 7082646 1174245376 283587 1992294400 4194304 7136930 140737291229696 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 286681 283587 387 719 0 285960 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1146724
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13728
/proc/meminfo: memFree=507068/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1188884 CPUtime=1541.88
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 295669 0 0 0 152596 1592 0 0 25 0 1 0 7082646 1217417216 294210 1992294400 4194304 7136930 140737291229696 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 297221 294210 387 719 0 296500 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1188884
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13728
/proc/meminfo: memFree=482392/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1213856 CPUtime=1601.86
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 301845 0 0 0 158552 1634 0 0 25 0 1 0 7082646 1242988544 300386 1992294400 4194304 7136930 140737291229696 18446744073709551615 4642986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 303464 300386 387 719 0 302743 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1213856
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13730
/proc/meminfo: memFree=451144/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1244884 CPUtime=1661.84
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 309627 0 0 0 164511 1673 0 0 25 0 1 0 7082646 1274761216 308168 1992294400 4194304 7136930 140737291229696 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 311221 308168 387 719 0 310500 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1244884
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13732
/proc/meminfo: memFree=426592/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1270216 CPUtime=1721.82
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 316031 0 0 0 170467 1715 0 0 25 0 1 0 7082646 1300701184 314572 1992294400 4194304 7136930 140737291229696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 317554 314572 387 719 0 316833 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1270216
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13734
/proc/meminfo: memFree=394600/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1300876 CPUtime=1781.81
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 323714 0 0 0 176422 1759 0 0 25 0 1 0 7082646 1332097024 322255 1992294400 4194304 7136930 140737291229696 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 325219 322255 387 719 0 324498 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1300876
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13734
/proc/meminfo: memFree=386292/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1308948 CPUtime=1800.02
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 325783 0 0 0 178231 1771 0 0 25 0 1 0 7082646 1340362752 324324 1992294400 4194304 7136930 140737291229696 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13682/statm: 327237 324324 387 719 0 326516 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1308948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13682
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13735
/proc/meminfo: memFree=386284/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1308948 CPUtime=1801.01
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 325789 0 0 0 178330 1771 0 0 25 0 1 0 7082646 1340362752 324330 1992294400 4194304 7136930 140737291229696 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13682/statm: 327237 324330 393 719 0 326516 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 1308948
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13735
/proc/meminfo: memFree=386284/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1279464 CPUtime=1801.81
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 325789 0 0 0 178410 1771 0 0 25 0 1 0 7082646 1310171136 316959 1992294400 4194304 7136930 140737291229696 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13682/statm: 319866 316959 393 719 0 319145 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 1279464
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13735
/proc/meminfo: memFree=386284/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=1272664 CPUtime=1802.01
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4202496 325789 0 0 0 178430 1771 0 0 25 0 1 0 7082646 1303207936 315259 1992294400 4194304 7136930 140737291229696 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13682/statm: 318166 315259 393 719 0 317445 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1272664
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13735
/proc/meminfo: memFree=386284/2059040 swapFree=4192956/4192956
[pid=13682] ppid=13680 vsize=0 CPUtime=1802.11
/proc/13682/stat : 13682 (pbscip.linux.x8) R 13680 13682 11756 0 -1 4203524 325789 0 0 0 178431 1780 0 0 25 0 1 0 7082646 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13682/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.63
CPU time (s): 1802.14
CPU user time (s): 1784.31
CPU system time (s): 17.8263
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1308948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.31
system time used= 17.8263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325789
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= 16126
runsolver used 3.13852 second user time and 8.35273 second system time
The end