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-2693624-1277913360.wbo>
0.02/0.09 c original problem has 15369 variables (9512 bin, 0 int, 0 impl, 5857 cont) and 14544 constraints
0.02/0.09 c problem read
0.02/0.09 c presolving settings loaded
0.02/0.09 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.17 c presolving:
0.19/0.20 c (round 1) 43 del vars, 13 del conss, 0 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 11943 impls, 0 clqs
0.19/0.20 c (round 2) 48 del vars, 92 del conss, 0 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 11943 impls, 0 clqs
0.19/0.22 c (round 3) 53 del vars, 92 del conss, 5852 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 11943 impls, 0 clqs
0.19/0.27 c (round 4) 53 del vars, 92 del conss, 5852 chg bounds, 352 chg sides, 704 chg coeffs, 2749 upgd conss, 11943 impls, 0 clqs
0.59/0.68 c (0.6s) probing: 422/9464 (4.5%) - 0 fixings, 0 aggregations, 7 implications, 0 bound changes
0.59/0.68 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.68 c presolving (5 rounds):
0.59/0.68 c 53 deleted vars, 92 deleted constraints, 5852 tightened bounds, 0 added holes, 352 changed sides, 704 changed coefficients
0.59/0.68 c 11962 implications, 0 cliques
0.59/0.68 c presolved problem has 15316 variables (9464 bin, 0 int, 0 impl, 5852 cont) and 14452 constraints
0.59/0.68 c 5852 constraints of type <indicator>
0.59/0.68 c 1 constraints of type <varbound>
0.59/0.68 c 234 constraints of type <knapsack>
0.59/0.68 c 5851 constraints of type <linear>
0.59/0.68 c 2514 constraints of type <logicor>
0.59/0.68 c transformed objective value is always integral (scale: 1)
0.59/0.68 c Presolving Time: 0.51
0.59/0.68 c - non default parameters ----------------------------------------------------------------------
0.59/0.68 c # SCIP version 1.2.1.2
0.59/0.68 c
0.59/0.68 c # frequency for displaying node information lines
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.68 c display/freq = 10000
0.59/0.68 c
0.59/0.68 c # maximal time in seconds to run
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.68 c limits/time = 1799.91
0.59/0.68 c
0.59/0.68 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.68 c limits/memory = 3420
0.59/0.68 c
0.59/0.68 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68 c lp/solvefreq = -1
0.59/0.68 c
0.59/0.68 c # should presolving try to simplify inequalities
0.59/0.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.68 c constraints/linear/simplifyinequalities = TRUE
0.59/0.68 c
0.59/0.68 c # should presolving try to simplify knapsacks
0.59/0.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.68 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.68 c
0.59/0.68 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.68 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.68 c separating/rapidlearning/freq = 0
0.59/0.68 c
0.59/0.68 c -----------------------------------------------------------------------------------------------
0.59/0.68 c start solving
0.59/0.68 c
0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.71 c 0.6s| 1 | 2 | 0 | - | 47M| 0 | - | 15k| 14k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.29/34.32 c 34.0s| 10000 | 10001 | 0 | 0.0 | 53M| 85 | - | 15k| 14k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.40/70.44 c 69.9s| 20000 | 19999 | 0 | 0.0 | 59M| 85 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
106.99/107.05 c 106s| 30000 | 29999 | 0 | 0.0 | 65M| 85 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
143.59/143.64 c 143s| 40000 | 39999 | 0 | 0.0 | 70M| 85 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
179.79/179.86 c 179s| 50000 | 49999 | 0 | 0.0 | 76M| 85 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
216.00/216.07 c 215s| 60000 | 59999 | 0 | 0.0 | 81M| 91 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
252.60/252.61 c 251s| 70000 | 69999 | 0 | 0.0 | 87M| 91 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
291.60/291.63 c 290s| 80000 | 79999 | 0 | 0.0 | 92M| 103 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
339.81/339.89 c 338s| 90000 | 89999 | 0 | 0.0 | 98M| 105 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
388.41/388.47 c 386s|100000 | 99999 | 0 | 0.0 | 103M| 105 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
436.81/436.88 c 434s|110000 |109999 | 0 | 0.0 | 108M| 105 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
485.31/485.35 c 482s|120000 |119999 | 0 | 0.0 | 114M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
534.11/534.15 c 530s|130000 |129999 | 0 | 0.0 | 119M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
582.92/582.97 c 579s|140000 |139999 | 0 | 0.0 | 125M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
631.81/631.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.81/631.89 c 627s|150000 |149999 | 0 | 0.0 | 130M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
680.71/680.78 c 675s|160000 |159999 | 0 | 0.0 | 135M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
729.62/729.60 c 724s|170000 |169999 | 0 | 0.0 | 141M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
778.42/778.41 c 772s|180000 |179999 | 0 | 0.0 | 146M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
827.43/827.41 c 821s|190000 |189999 | 0 | 0.0 | 151M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
876.53/876.53 c 869s|200000 |199999 | 0 | 0.0 | 157M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
925.53/925.53 c 918s|210000 |209999 | 0 | 0.0 | 162M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
974.53/974.60 c 966s|220000 |219999 | 0 | 0.0 | 167M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1023.73/1023.70 c 1015s|230000 |229999 | 0 | 0.0 | 173M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1072.84/1072.81 c 1064s|240000 |239999 | 0 | 0.0 | 178M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1121.94/1121.93 c 1112s|250000 |249999 | 0 | 0.0 | 183M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1170.94/1170.96 c 1161s|260000 |259999 | 0 | 0.0 | 189M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1219.95/1219.97 c 1209s|270000 |269999 | 0 | 0.0 | 194M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1269.04/1269.07 c 1258s|280000 |279999 | 0 | 0.0 | 199M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1318.15/1318.11 c 1307s|290000 |289999 | 0 | 0.0 | 205M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1367.14/1367.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.14/1367.19 c 1355s|300000 |299999 | 0 | 0.0 | 210M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1416.15/1416.19 c 1404s|310000 |309999 | 0 | 0.0 | 215M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1465.15/1465.11 c 1452s|320000 |319999 | 0 | 0.0 | 220M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1514.25/1514.22 c 1501s|330000 |329999 | 0 | 0.0 | 226M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1563.36/1563.33 c 1549s|340000 |339999 | 0 | 0.0 | 231M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1612.35/1612.35 c 1598s|350000 |349999 | 0 | 0.0 | 236M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1661.26/1661.24 c 1646s|360000 |359999 | 0 | 0.0 | 241M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1710.16/1710.19 c 1695s|370000 |369999 | 0 | 0.0 | 247M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1759.26/1759.27 c 1743s|380000 |379999 | 0 | 0.0 | 252M| 199 | - | 15k| 14k| 0 | 0 | 0 | 1 | 0 | 0.000000e+00 | -- | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1783.70
1800.07/1800.00 c Solving Nodes : 388313
1800.07/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.00 s UNKNOWN
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time : 1783.70
1800.07/1800.00 c Original Problem :
1800.07/1800.00 c Problem name : HOME/instance-2693624-1277913360.wbo
1800.07/1800.00 c Variables : 15369 (9512 binary, 0 integer, 0 implicit integer, 5857 continuous)
1800.07/1800.00 c Constraints : 14544 initial, 14544 maximal
1800.07/1800.00 c Presolved Problem :
1800.07/1800.00 c Problem name : t_HOME/instance-2693624-1277913360.wbo
1800.07/1800.00 c Variables : 15316 (9464 binary, 0 integer, 0 implicit integer, 5852 continuous)
1800.07/1800.00 c Constraints : 14452 initial, 14453 maximal
1800.07/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c dualfix : 0.00 10 0 0 0 0 0 0 0
1800.07/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c implics : 0.00 0 37 0 0 0 0 0 0
1800.07/1800.00 c probing : 0.39 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 0.01 0 0 0 0 0 5 0 0
1800.07/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c linear : 0.07 0 6 0 5852 0 87 352 704
1800.07/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.00 c root node : - 0 - - 0 - - - -
1800.07/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 5852 0 1199365 0 388312 0 32545 0 0 0
1800.07/1800.00 c varbound : 1 0 1199365 0 388312 0 0 0 0 0
1800.07/1800.00 c knapsack : 234 0 1199365 0 388312 1 6617 0 0 0
1800.07/1800.00 c linear : 5851 0 1199364 0 388312 0 32545 0 0 0
1800.07/1800.00 c logicor : 2514+ 0 843903 0 388312 0 1296529 0 0 0
1800.07/1800.00 c countsols : 0 0 0 0 388312 0 0 0 0 0
1800.07/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c indicator : 448.68 0.00 129.60 0.00 319.08
1800.07/1800.00 c varbound : 0.46 0.00 0.17 0.00 0.29
1800.07/1800.00 c knapsack : 11.62 0.00 9.68 0.00 1.94
1800.07/1800.00 c linear : 138.50 0.00 137.92 0.00 0.58
1800.07/1800.00 c logicor : 259.57 0.00 6.99 0.00 252.58
1800.07/1800.00 c countsols : 0.03 0.00 0.00 0.00 0.03
1800.07/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.00 c vbounds : 0.09 2 0 0
1800.07/1800.00 c rootredcost : 0.10 0 0 0
1800.07/1800.00 c pseudoobj : 203.01 1198516 0 0
1800.07/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.00 c propagation : 0.00 1 1 3 11.0 0 0.0 -
1800.07/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.00 c applied globally : - - - 1 8.0 - - -
1800.07/1800.00 c applied locally : - - - 0 0.0 - - -
1800.07/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.00 c redcost : 0.00 0 0 0 0 0
1800.07/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.00 c intobj : 0.00 0 0 0 0 0
1800.07/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.00 c gomory : 0.00 0 0 0 0 0
1800.07/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.00 c cmir : 0.00 0 0 0 0 0
1800.07/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.00 c clique : 0.00 0 0 0 0 0
1800.07/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.00 c mcf : 0.00 0 0 0 0 0
1800.07/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.00 c Pricers : Time Calls Vars
1800.07/1800.00 c problem variables: 0.00 0 0
1800.07/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c inference : 696.55 388312 0 0 0 0 776624
1800.07/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c random : 0.00 0 0 0 0 0 0
1800.07/1800.00 c Primal Heuristics : Time Calls Found
1800.07/1800.00 c LP solutions : 0.00 - 0
1800.07/1800.00 c pseudo solutions : 0.00 - 0
1800.07/1800.00 c oneopt : 0.06 0 0
1800.07/1800.00 c trivial : 0.03 2 0
1800.07/1800.00 c simplerounding : 0.00 0 0
1800.07/1800.00 c zirounding : 0.00 0 0
1800.07/1800.00 c rounding : 0.00 0 0
1800.07/1800.00 c shifting : 0.00 0 0
1800.07/1800.00 c intshifting : 0.00 0 0
1800.07/1800.00 c twoopt : 0.00 0 0
1800.07/1800.00 c fixandinfer : 0.00 0 0
1800.07/1800.00 c feaspump : 0.00 0 0
1800.07/1800.00 c coefdiving : 0.00 0 0
1800.07/1800.00 c pscostdiving : 0.00 0 0
1800.07/1800.00 c fracdiving : 0.00 0 0
1800.07/1800.00 c veclendiving : 0.00 0 0
1800.07/1800.00 c intdiving : 0.00 0 0
1800.07/1800.00 c actconsdiving : 0.00 0 0
1800.07/1800.00 c objpscostdiving : 0.00 0 0
1800.07/1800.00 c rootsoldiving : 0.00 0 0
1800.07/1800.00 c linesearchdiving : 0.00 0 0
1800.07/1800.00 c guideddiving : 0.00 0 0
1800.07/1800.00 c octane : 0.00 0 0
1800.07/1800.00 c rens : 0.00 0 0
1800.07/1800.00 c rins : 0.00 0 0
1800.07/1800.00 c localbranching : 0.00 0 0
1800.07/1800.00 c mutation : 0.00 0 0
1800.07/1800.00 c crossover : 0.00 0 0
1800.07/1800.00 c dins : 0.00 0 0
1800.07/1800.00 c undercover : 0.00 0 0
1800.07/1800.00 c nlp : 0.15 0 0
1800.07/1800.00 c trysol : 0.08 1 0
1800.07/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.00 c (at root node) : - 0 0 0.00 -
1800.07/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.00 c B&B Tree :
1800.07/1800.00 c number of runs : 1
1800.07/1800.00 c nodes : 388313
1800.07/1800.00 c nodes (total) : 388313
1800.07/1800.00 c nodes left : 388312
1800.07/1800.00 c max depth : 199
1800.07/1800.00 c max depth (total): 199
1800.07/1800.00 c backtracks : 4523 (1.2%)
1800.07/1800.00 c delayed cutoffs : 0
1800.07/1800.00 c repropagations : 1 (1 domain reductions, 0 cutoffs)
1800.07/1800.00 c avg switch length: 2.32
1800.07/1800.00 c switching time : 11.84
1800.07/1800.00 c Solution :
1800.07/1800.00 c Solutions found : 0 (0 improvements)
1800.07/1800.00 c Primal Bound : -
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Root Iterations : 0
1800.36/1800.39 c Time complete: 1800.46.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693624-1277913360/watcher-2693624-1277913360 -o /tmp/evaluation-result-2693624-1277913360/solver-2693624-1277913360 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693624-1277913360.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.96 1.98 4/178 15362
/proc/meminfo: memFree=31023392/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=8280 CPUtime=0
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 1556 0 0 0 0 0 0 0 25 0 1 0 132630267 8478720 1478 4089446400 4194304 7136930 140733565077728 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15362/statm: 2070 1478 275 719 0 1349 0
[startup+0.027834 s]
/proc/loadavg: 1.96 1.96 1.98 4/178 15362
/proc/meminfo: memFree=31023392/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=14408 CPUtime=0.02
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 3093 0 0 0 2 0 0 0 25 0 1 0 132630267 14753792 3015 4089446400 4194304 7136930 140733565077728 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15362/statm: 3602 3015 275 719 0 2881 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14408
[startup+0.100807 s]
/proc/loadavg: 1.96 1.96 1.98 4/178 15362
/proc/meminfo: memFree=31023392/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=34256 CPUtime=0.09
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 8414 0 0 0 9 0 0 0 25 0 1 0 132630267 35078144 7956 4089446400 4194304 7136930 140733565077728 18446744073709551615 6318167 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 8564 7972 296 719 0 7843 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34256
[startup+0.300767 s]
/proc/loadavg: 1.96 1.96 1.98 4/178 15362
/proc/meminfo: memFree=31023392/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=70660 CPUtime=0.29
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 19664 0 0 0 26 3 0 0 25 0 1 0 132630267 72355840 16666 4089446400 4194304 7136930 140733565077728 18446744073709551615 5500598 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 17665 16666 423 719 0 16944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70660
[startup+0.700692 s]
/proc/loadavg: 1.96 1.96 1.98 4/178 15362
/proc/meminfo: memFree=31023392/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=73128 CPUtime=0.69
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 20278 0 0 0 66 3 0 0 25 0 1 0 132630267 74883072 17196 4089446400 4194304 7136930 140733565077728 18446744073709551615 4902992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 18282 17196 424 719 0 17561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73128
[startup+1.50054 s]
/proc/loadavg: 1.96 1.96 1.98 3/179 15363
/proc/meminfo: memFree=30955868/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=73384 CPUtime=1.49
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 20316 0 0 0 146 3 0 0 25 0 1 0 132630267 75145216 17232 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 18346 17232 426 719 0 17625 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73384
[startup+3.10023 s]
/proc/loadavg: 1.97 1.96 1.98 3/179 15363
/proc/meminfo: memFree=30955248/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=73520 CPUtime=3.09
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 20351 0 0 0 305 4 0 0 25 0 1 0 132630267 75284480 17267 4089446400 4194304 7136930 140733565077728 18446744073709551615 4827084 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 18380 17267 426 719 0 17659 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73520
[startup+6.30061 s]
/proc/loadavg: 1.97 1.96 1.98 3/179 15363
/proc/meminfo: memFree=30954260/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=74324 CPUtime=6.29
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 20572 0 0 0 623 6 0 0 25 0 1 0 132630267 76107776 17488 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 18581 17488 426 719 0 17860 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74324
[startup+12.7004 s]
/proc/loadavg: 1.97 1.96 1.98 3/179 15363
/proc/meminfo: memFree=30952656/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=75624 CPUtime=12.69
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 20888 0 0 0 1260 9 0 0 25 0 1 0 132630267 77438976 17804 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 18906 17804 426 719 0 18185 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75624
[startup+25.5009 s]
/proc/loadavg: 1.97 1.96 1.98 3/179 15363
/proc/meminfo: memFree=30949148/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=78580 CPUtime=25.49
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 21639 0 0 0 2532 17 0 0 25 0 1 0 132630267 80465920 18555 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 19645 18555 426 719 0 18924 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78580
[startup+51.101 s]
/proc/loadavg: 1.98 1.97 1.98 3/179 15364
/proc/meminfo: memFree=30941228/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=82688 CPUtime=51.1
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 22727 0 0 0 5079 31 0 0 25 0 1 0 132630267 84672512 19643 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 20672 19643 430 719 0 19951 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 82688
[startup+102.306 s]
/proc/loadavg: 2.05 1.99 1.99 3/179 15365
/proc/meminfo: memFree=30930168/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=90708 CPUtime=102.3
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 24779 0 0 0 10172 58 0 0 25 0 1 0 132630267 92884992 21695 4089446400 4194304 7136930 140733565077728 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 22677 21695 430 719 0 21956 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 90708
[startup+162.301 s]
/proc/loadavg: 2.02 1.99 1.99 3/179 15367
/proc/meminfo: memFree=30915740/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=99996 CPUtime=162.3
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 27166 0 0 0 16140 90 0 0 25 0 1 0 132630267 102395904 24082 4089446400 4194304 7136930 140733565077728 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 24999 24082 430 719 0 24278 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 99996
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/179 15369
/proc/meminfo: memFree=30901928/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=110368 CPUtime=222.3
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 29823 0 0 0 22110 120 0 0 25 0 1 0 132630267 113016832 26739 4089446400 4194304 7136930 140733565077728 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15362/statm: 27592 26739 430 719 0 26871 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 110368
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.99 2/174 15415
/proc/meminfo: memFree=31156800/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=121164 CPUtime=282.31
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 32076 0 0 0 28082 149 0 0 25 0 1 0 132630267 124071936 28992 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/15362/statm: 30291 28992 430 719 0 29570 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 121164
[startup+342.301 s]
/proc/loadavg: 2.05 2.00 1.99 3/179 15582
/proc/meminfo: memFree=31089960/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=128540 CPUtime=342.3
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 33967 0 0 0 34026 204 0 0 25 0 1 0 132630267 131624960 30883 4089446400 4194304 7136930 140733565077728 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 32135 30883 430 719 0 31414 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 128540
[startup+402.301 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 15583
/proc/meminfo: memFree=31084332/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=133704 CPUtime=402.31
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 35306 0 0 0 39973 258 0 0 25 0 1 0 132630267 136912896 32222 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 33426 32222 430 719 0 32705 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 133704
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 15585
/proc/meminfo: memFree=31070788/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=141512 CPUtime=462.31
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 37296 0 0 0 45918 313 0 0 25 0 1 0 132630267 144908288 34212 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 35378 34212 430 719 0 34657 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 141512
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 15587
/proc/meminfo: memFree=31041864/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=146932 CPUtime=522.31
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 38699 0 0 0 51860 371 0 0 25 0 1 0 132630267 150458368 35615 4089446400 4194304 7136930 140733565077728 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 36733 35615 430 719 0 36012 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 146932
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 15588
/proc/meminfo: memFree=31010336/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=153384 CPUtime=582.32
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 40359 0 0 0 57804 428 0 0 25 0 1 0 132630267 157065216 37275 4089446400 4194304 7136930 140733565077728 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 38346 37275 430 719 0 37625 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 153384
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 15590
/proc/meminfo: memFree=30966392/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=159904 CPUtime=642.32
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 42037 0 0 0 63744 488 0 0 25 0 1 0 132630267 163741696 38953 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 39976 38953 430 719 0 39255 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 159904
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 15598
/proc/meminfo: memFree=30740156/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=198280 CPUtime=942.33
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 50859 0 0 0 93455 778 0 0 25 0 1 0 132630267 203038720 47775 4089446400 4194304 7136930 140733565077728 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 49570 47775 430 719 0 48849 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 198280
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15599
/proc/meminfo: memFree=30697224/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=204092 CPUtime=1002.33
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 52360 0 0 0 99397 836 0 0 25 0 1 0 132630267 208990208 49276 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 51023 49276 430 719 0 50302 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 204092
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15601
/proc/meminfo: memFree=30652800/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=209436 CPUtime=1062.33
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 53744 0 0 0 105336 897 0 0 25 0 1 0 132630267 214462464 50660 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 52359 50660 430 719 0 51638 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 209436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15603
/proc/meminfo: memFree=30602420/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=217040 CPUtime=1122.33
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 55694 0 0 0 111275 958 0 0 25 0 1 0 132630267 222248960 52610 4089446400 4194304 7136930 140733565077728 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 54260 52610 430 719 0 53539 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 217040
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15604
/proc/meminfo: memFree=30554028/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=225348 CPUtime=1182.34
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 57819 0 0 0 117218 1016 0 0 25 0 1 0 132630267 230756352 54735 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 56337 54735 430 719 0 55616 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 225348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15606
/proc/meminfo: memFree=30518664/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=230132 CPUtime=1242.34
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 59063 0 0 0 123158 1076 0 0 25 0 1 0 132630267 235655168 55979 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 57533 55979 430 719 0 56812 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 230132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15607
/proc/meminfo: memFree=30474496/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=236644 CPUtime=1302.35
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 60739 0 0 0 129102 1133 0 0 25 0 1 0 132630267 242323456 57655 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 59161 57655 430 719 0 58440 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 236644
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 15609
/proc/meminfo: memFree=30421132/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=242456 CPUtime=1362.35
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 62236 0 0 0 135040 1195 0 0 25 0 1 0 132630267 248274944 59152 4089446400 4194304 7136930 140733565077728 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 60614 59152 430 719 0 59893 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 242456
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15611
/proc/meminfo: memFree=30367400/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=247960 CPUtime=1422.35
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 63660 0 0 0 140981 1254 0 0 25 0 1 0 132630267 253911040 60576 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 61990 60576 430 719 0 61269 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 247960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15612
/proc/meminfo: memFree=30316644/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=256396 CPUtime=1482.35
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 65819 0 0 0 146919 1316 0 0 25 0 1 0 132630267 262549504 62735 4089446400 4194304 7136930 140733565077728 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 64099 62735 430 719 0 63378 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 256396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15614
/proc/meminfo: memFree=30265152/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=261820 CPUtime=1542.36
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 67223 0 0 0 152858 1378 0 0 25 0 1 0 132630267 268103680 64139 4089446400 4194304 7136930 140733565077728 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 65455 64139 430 719 0 64734 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 261820
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15615
/proc/meminfo: memFree=30206716/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=268976 CPUtime=1602.35
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 69060 0 0 0 158797 1438 0 0 25 0 1 0 132630267 275431424 65976 4089446400 4194304 7136930 140733565077728 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 67244 65976 430 719 0 66523 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 268976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15617
/proc/meminfo: memFree=30158072/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=274136 CPUtime=1662.35
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 70398 0 0 0 164740 1495 0 0 25 0 1 0 132630267 280715264 67314 4089446400 4194304 7136930 140733565077728 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 68534 67314 430 719 0 67813 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 274136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=30105084/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=280976 CPUtime=1722.36
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 72156 0 0 0 170681 1555 0 0 25 0 1 0 132630267 287719424 69072 4089446400 4194304 7136930 140733565077728 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 70244 69072 430 719 0 69523 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 280976
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15620
/proc/meminfo: memFree=30051488/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=288260 CPUtime=1782.36
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 74025 0 0 0 176625 1611 0 0 25 0 1 0 132630267 295178240 70941 4089446400 4194304 7136930 140733565077728 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 72065 70941 430 719 0 71344 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 288260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15621
/proc/meminfo: memFree=30035964/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=290068 CPUtime=1800.07
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 74492 0 0 0 178379 1628 0 0 25 0 1 0 132630267 297029632 71408 4089446400 4194304 7136930 140733565077728 18446744073709551615 4642144 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15362/statm: 72517 71408 430 719 0 71796 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 290068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15621
/proc/meminfo: memFree=30035964/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=263636 CPUtime=1800.26
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 74498 0 0 0 178398 1628 0 0 25 0 1 0 132630267 269963264 64806 4089446400 4194304 7136930 140733565077728 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15362/statm: 65909 64806 436 719 0 65188 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 263636
[startup+1800.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 15621
/proc/meminfo: memFree=30035964/32950928 swapFree=67111528/67111528
[pid=15362] ppid=15360 vsize=213316 CPUtime=1800.36
/proc/15362/stat : 15362 (pbscip.linux.x8) R 15360 15362 15092 0 -1 4202496 74498 0 0 0 178408 1628 0 0 25 0 1 0 132630267 218435584 52226 4089446400 4194304 7136930 140733565077728 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15362/statm: 53329 52226 436 719 0 52608 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 213316
Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.47
CPU user time (s): 1784.17
CPU system time (s): 16.2975
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 290068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.17
system time used= 16.2975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74505
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= 18854
runsolver used 2.84857 second user time and 6.97894 second system time
The end
Begin job on node148 at 2010-06-30 17:56:00
IDJOB=2693624
IDBENCH=79014
IDSOLVER=1206
FILE ID=node148/2693624-1277913360
PBS_JOBID= 11197311
Free space on /tmp= 74172 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-43s.smv--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693624-1277913360/watcher-2693624-1277913360 -o /tmp/evaluation-result-2693624-1277913360/solver-2693624-1277913360 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693624-1277913360.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d20dc576722845e6dd504314dac61b63
RANDOM SEED=1254581489
node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5415.14
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.79
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31023796 kB
Buffers: 197100 kB
Cached: 1274324 kB
SwapCached: 0 kB
Active: 789616 kB
Inactive: 994184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31023796 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3644 kB
Writeback: 0 kB
AnonPages: 311944 kB
Mapped: 16880 kB
Slab: 81164 kB
PageTables: 5424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 476600 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74168 MiB
End job on node148 at 2010-06-30 18:26:02