| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.72 | 1800.68 |
| Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-66-100-0.wbo |
| MD5SUM | 5d7aea7a0e3c8d0b9f22ec2921124ff8 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 0.167974 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 16744 |
| Total number of constraints | 52975 |
| Number of soft constraints | 17935 |
| Number of constraints which are clauses | 52611 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 364 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 72 |
| Top cost | 908194 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 908193 |
| Biggest number in a constraint | 41 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 413 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.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-2693791-1277916737.wbo>
0.39/0.47 c original problem has 52614 variables (34679 bin, 0 int, 0 impl, 17935 cont) and 70911 constraints
0.39/0.47 c problem read
0.39/0.47 c presolving settings loaded
0.39/0.47 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
1.39/1.49 c presolving:
1.89/1.90 c (round 1) 1416 del vars, 4955 del conss, 888 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 669377 impls, 0 clqs
2.20/2.23 c (round 2) 4221 del vars, 13607 del conss, 2024 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 681456 impls, 0 clqs
2.59/2.60 c (round 3) 9320 del vars, 22280 del conss, 3034 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 690737 impls, 0 clqs
2.79/2.88 c (round 4) 14754 del vars, 28219 del conss, 3730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 696918 impls, 0 clqs
2.99/3.05 c (round 5) 18813 del vars, 32189 del conss, 4261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 700189 impls, 0 clqs
3.09/3.18 c (round 6) 21654 del vars, 35321 del conss, 4714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 705746 impls, 0 clqs
3.20/3.29 c (round 7) 23749 del vars, 37689 del conss, 5057 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 707347 impls, 0 clqs
3.30/3.37 c (round 8) 25395 del vars, 39580 del conss, 5265 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708341 impls, 0 clqs
3.39/3.44 c (round 9) 26641 del vars, 40807 del conss, 5397 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708769 impls, 0 clqs
3.39/3.49 c (round 10) 27532 del vars, 41604 del conss, 5489 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708931 impls, 0 clqs
3.49/3.52 c (round 11) 28086 del vars, 42069 del conss, 5538 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709133 impls, 0 clqs
3.49/3.55 c (round 12) 28436 del vars, 42364 del conss, 5577 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709301 impls, 0 clqs
3.49/3.58 c (round 13) 28665 del vars, 42661 del conss, 5609 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709399 impls, 0 clqs
3.59/3.60 c (round 14) 28884 del vars, 42941 del conss, 5637 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709495 impls, 0 clqs
3.59/3.62 c (round 15) 29071 del vars, 43098 del conss, 5653 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.59/3.64 c (round 16) 29184 del vars, 43160 del conss, 5657 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.59/3.66 c (round 17) 29233 del vars, 43188 del conss, 5659 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.59/3.67 c (round 18) 29253 del vars, 43197 del conss, 5659 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.69/3.72 c (round 19) 29261 del vars, 43200 del conss, 13363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 709535 impls, 0 clqs
3.89/3.90 c (round 20) 29264 del vars, 43200 del conss, 13363 chg bounds, 0 chg sides, 0 chg coeffs, 13227 upgd conss, 709535 impls, 0 clqs
7.19/7.24 c (6.5s) probing: 1000/15646 (6.4%) - 0 fixings, 0 aggregations, 26845 implications, 0 bound changes
9.59/9.61 c (8.9s) probing: 2000/15646 (12.8%) - 0 fixings, 0 aggregations, 31806 implications, 0 bound changes
9.59/9.61 c (8.9s) probing: 2001/15646 (12.8%) - 0 fixings, 0 aggregations, 31806 implications, 0 bound changes
9.59/9.61 c (8.9s) probing aborted: 2000/2000 successive useless probings
9.59/9.61 c presolving (21 rounds):
9.59/9.61 c 29264 deleted vars, 43200 deleted constraints, 13363 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
9.59/9.61 c 838657 implications, 0 cliques
9.59/9.61 c presolved problem has 23350 variables (15646 bin, 0 int, 0 impl, 7704 cont) and 27711 constraints
9.59/9.61 c 7704 constraints of type <indicator>
9.59/9.61 c 924 constraints of type <varbound>
9.59/9.61 c 240 constraints of type <knapsack>
9.59/9.61 c 6780 constraints of type <linear>
9.59/9.61 c 12063 constraints of type <logicor>
9.59/9.61 c transformed objective value is always integral (scale: 1)
9.59/9.61 c Presolving Time: 8.76
9.59/9.61 c - non default parameters ----------------------------------------------------------------------
9.59/9.61 c # SCIP version 1.2.1.2
9.59/9.61 c
9.59/9.61 c # frequency for displaying node information lines
9.59/9.61 c # [type: int, range: [-1,2147483647], default: 100]
9.59/9.61 c display/freq = 10000
9.59/9.61 c
9.59/9.61 c # maximal time in seconds to run
9.59/9.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.59/9.61 c limits/time = 1799.54
9.59/9.61 c
9.59/9.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.59/9.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.59/9.61 c limits/memory = 3420
9.59/9.61 c
9.59/9.61 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
9.59/9.61 c # [type: int, range: [-1,2147483647], default: 1]
9.59/9.61 c lp/solvefreq = -1
9.59/9.61 c
9.59/9.61 c # should presolving try to simplify inequalities
9.59/9.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.59/9.61 c constraints/linear/simplifyinequalities = TRUE
9.59/9.61 c
9.59/9.61 c # should presolving try to simplify knapsacks
9.59/9.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.59/9.61 c constraints/knapsack/simplifyinequalities = TRUE
9.59/9.61 c
9.59/9.61 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.59/9.61 c # [type: int, range: [-1,2147483647], default: -1]
9.59/9.61 c separating/rapidlearning/freq = 0
9.59/9.61 c
9.59/9.61 c -----------------------------------------------------------------------------------------------
9.59/9.61 c start solving
9.59/9.62 c
9.59/9.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.59/9.68 c 9.0s| 1 | 2 | 0 | - | 164M| 0 | - | 23k| 27k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
117.79/117.88 c 117s| 10000 | 10001 | 0 | 0.0 | 183M| 99 | - | 23k| 27k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
224.19/224.26 c 223s| 20000 | 20001 | 0 | 0.0 | 200M| 99 | - | 23k| 27k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
330.50/330.59 c 329s| 30000 | 30001 | 0 | 0.0 | 216M| 101 | - | 23k| 27k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
435.70/435.72 c 433s| 40000 | 40001 | 0 | 0.0 | 231M| 101 | - | 23k| 27k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
541.21/541.20 c 538s| 50000 | 50001 | 0 | 0.0 | 247M| 101 | - | 23k| 27k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
646.81/646.86 c 643s| 60000 | 59999 | 0 | 0.0 | 262M| 119 | - | 23k| 27k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
750.11/750.19 c 746s| 70000 | 69999 | 0 | 0.0 | 276M| 119 | - | 23k| 27k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
853.62/853.66 c 849s| 80000 | 79999 | 0 | 0.0 | 291M| 119 | - | 23k| 27k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
957.72/957.76 c 953s| 90000 | 89999 | 0 | 0.0 | 306M| 119 | - | 23k| 27k| 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
1061.11/1061.11 c 1056s|100000 | 99997 | 0 | 0.0 | 321M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1164.62/1164.62 c 1159s|110000 |109997 | 0 | 0.0 | 335M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1268.12/1268.10 c 1262s|120000 |119997 | 0 | 0.0 | 350M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1371.02/1371.07 c 1365s|130000 |129997 | 0 | 0.0 | 365M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1473.32/1473.31 c 1466s|140000 |139997 | 0 | 0.0 | 379M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1575.13/1575.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.13/1575.20 c 1568s|150000 |149997 | 0 | 0.0 | 393M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1676.44/1676.45 c 1669s|160000 |159997 | 0 | 0.0 | 406M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1777.43/1777.48 c 1769s|170000 |169997 | 0 | 0.0 | 420M| 119 | - | 23k| 27k| 0 | 0 | 0 | 4 | 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1791.63
1800.04/1800.00 c Solving Nodes : 172199
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1791.63
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693791-1277916737.wbo
1800.04/1800.00 c Variables : 52614 (34679 binary, 0 integer, 0 implicit integer, 17935 continuous)
1800.04/1800.00 c Constraints : 70911 initial, 70911 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693791-1277916737.wbo
1800.04/1800.00 c Variables : 23350 (15646 binary, 0 integer, 0 implicit integer, 7704 continuous)
1800.04/1800.00 c Constraints : 27711 initial, 27713 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.05 276 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.04 21746 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.07 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 5.60 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.66 0 0 0 0 0 10231 0 0
1800.04/1800.00 c varbound : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.02 0 0 0 0 0 0 0 2
1800.04/1800.00 c linear : 1.41 5411 1831 0 13363 0 32969 0 0
1800.04/1800.00 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 7704 0 1331230 0 172197 0 138111 0 0 0
1800.04/1800.00 c varbound : 924 0 1331230 0 172197 0 38280 0 0 0
1800.04/1800.00 c knapsack : 240 0 1331230 0 172197 0 89815 0 0 0
1800.04/1800.00 c linear : 6780 0 1331230 0 172197 0 24797 0 0 0
1800.04/1800.00 c logicor : 12063+ 0 1215160 0 172197 2 3303691 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 172197 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 342.54 0.00 150.34 0.00 192.20
1800.04/1800.00 c varbound : 18.91 0.00 18.80 0.00 0.11
1800.04/1800.00 c knapsack : 12.61 0.00 8.69 0.00 3.92
1800.04/1800.00 c linear : 139.80 0.00 139.61 0.00 0.19
1800.04/1800.00 c logicor : 430.03 0.00 12.38 0.00 417.65
1800.04/1800.00 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 43.51 249242 0 74916
1800.04/1800.00 c rootredcost : 0.27 0 0 0
1800.04/1800.00 c pseudoobj : 262.56 1321333 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 2 2 4 6.0 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 4 6.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 510.99 172197 0 0 0 0 344394
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.06 0 0
1800.04/1800.00 c trivial : 0.81 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.06 0 0
1800.04/1800.00 c trysol : 0.06 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 172199
1800.04/1800.00 c nodes (total) : 172199
1800.04/1800.00 c nodes left : 172196
1800.04/1800.00 c max depth : 119
1800.04/1800.01 c max depth (total): 119
1800.04/1800.01 c backtracks : 2817 (1.6%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 26 (9 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.37
1800.04/1800.01 c switching time : 13.86
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 0 (0 improvements)
1800.04/1800.01 c Primal Bound : -
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 0
1800.64/1800.68 c Time complete: 1800.71.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693791-1277916737/watcher-2693791-1277916737 -o /tmp/evaluation-result-2693791-1277916737/solver-2693791-1277916737 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693791-1277916737.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: 2.00 2.00 2.00 4/178 25213 /proc/meminfo: memFree=31156176/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=8304 CPUtime=0 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 1556 0 0 0 0 0 0 0 25 0 1 0 165265433 8503296 1479 4089446400 4194304 7136930 140735762228736 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25213/statm: 2076 1479 275 719 0 1355 0 [startup+0.049848 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25213 /proc/meminfo: memFree=31156176/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=19628 CPUtime=0.04 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 4382 0 0 0 4 0 0 0 25 0 1 0 165265433 20099072 4305 4089446400 4194304 7136930 140735762228736 18446744073709551615 6339978 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25213/statm: 4907 4305 275 719 0 4186 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 19628 [startup+0.100835 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25213 /proc/meminfo: memFree=31156176/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=28956 CPUtime=0.09 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 6710 0 0 0 9 0 0 0 25 0 1 0 165265433 29650944 6633 4089446400 4194304 7136930 140735762228736 18446744073709551615 6269427 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25213/statm: 7239 6633 275 719 0 6518 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 28956 [startup+0.300861 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25213 /proc/meminfo: memFree=31156176/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=56940 CPUtime=0.29 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 13692 0 0 0 28 1 0 0 25 0 1 0 165265433 58306560 13615 4089446400 4194304 7136930 140735762228736 18446744073709551615 4213922 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25213/statm: 14235 13615 275 719 0 13514 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 56940 [startup+0.70073 s] /proc/loadavg: 2.00 2.00 2.00 4/178 25213 /proc/meminfo: memFree=31156176/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=180784 CPUtime=0.69 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 44862 0 0 0 65 4 0 0 25 0 1 0 165265433 185122816 44380 4089446400 4194304 7136930 140735762228736 18446744073709551615 4561351 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 45196 44380 306 719 0 44475 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 180784 [startup+1.50059 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25214 /proc/meminfo: memFree=30966200/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=199828 CPUtime=1.49 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 48506 0 0 0 144 5 0 0 25 0 1 0 165265433 204623872 48024 4089446400 4194304 7136930 140735762228736 18446744073709551615 4653078 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 49957 48024 330 719 0 49236 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 199828 [startup+3.10039 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25214 /proc/meminfo: memFree=30934456/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=228504 CPUtime=3.09 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 56907 0 0 0 297 12 0 0 25 0 1 0 165265433 233988096 55140 4089446400 4194304 7136930 140735762228736 18446744073709551615 4332879 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 57126 55140 351 719 0 56405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 228504 [startup+6.30075 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25214 /proc/meminfo: memFree=30920872/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=239892 CPUtime=6.3 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 66344 0 0 0 607 23 0 0 25 0 1 0 165265433 245649408 57962 4089446400 4194304 7136930 140735762228736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 59973 57962 400 719 0 59252 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 239892 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25214 /proc/meminfo: memFree=30915052/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=244032 CPUtime=12.69 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 67708 0 0 0 1243 26 0 0 25 0 1 0 165265433 249888768 58777 4089446400 4194304 7136930 140735762228736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 61008 58777 407 719 0 60287 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 244032 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25214 /proc/meminfo: memFree=30902192/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=246892 CPUtime=25.49 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 68412 0 0 0 2519 30 0 0 25 0 1 0 165265433 252817408 59481 4089446400 4194304 7136930 140735762228736 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 61723 59481 407 719 0 61002 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 246892 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25214 /proc/meminfo: memFree=30878912/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=251356 CPUtime=51.09 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 69534 0 0 0 5067 42 0 0 25 0 1 0 165265433 257388544 60603 4089446400 4194304 7136930 140735762228736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 62839 60603 407 719 0 62118 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 251356 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25216 /proc/meminfo: memFree=30837940/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=260352 CPUtime=102.3 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 71774 0 0 0 10168 62 0 0 25 0 1 0 165265433 266600448 62843 4089446400 4194304 7136930 140735762228736 18446744073709551615 4697603 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 65088 62843 407 719 0 64367 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 260352 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25218 /proc/meminfo: memFree=30785312/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=273712 CPUtime=162.3 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 75108 0 0 0 16141 89 0 0 25 0 1 0 165265433 280281088 66177 4089446400 4194304 7136930 140735762228736 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 68428 66177 407 719 0 67707 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 273712 [startup+222.301 s] /proc/loadavg: 2.08 2.02 2.01 3/179 25219 /proc/meminfo: memFree=30731068/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=285692 CPUtime=222.29 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 78088 0 0 0 22116 113 0 0 25 0 1 0 165265433 292548608 69157 4089446400 4194304 7136930 140735762228736 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 71423 69157 407 719 0 70702 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 285692 [startup+282.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 25221 /proc/meminfo: memFree=30682672/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=293880 CPUtime=282.29 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 80152 0 0 0 28089 140 0 0 25 0 1 0 165265433 300933120 71221 4089446400 4194304 7136930 140735762228736 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 73470 71221 407 719 0 72749 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 293880 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 25222 /proc/meminfo: memFree=30633536/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=301660 CPUtime=342.3 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 82087 0 0 0 34064 166 0 0 25 0 1 0 165265433 308899840 73156 4089446400 4194304 7136930 140735762228736 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 75415 73156 407 719 0 74694 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 301660 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25224 /proc/meminfo: memFree=30582668/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=314616 CPUtime=402.3 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 85371 0 0 0 40037 193 0 0 25 0 1 0 165265433 322166784 76440 4089446400 4194304 7136930 140735762228736 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 78654 76440 407 719 0 77933 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 314616 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25226 /proc/meminfo: memFree=30532772/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=324412 CPUtime=462.31 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 87841 0 0 0 46013 218 0 0 25 0 1 0 165265433 332197888 78910 4089446400 4194304 7136930 140735762228736 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 81103 78910 407 719 0 80382 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 324412 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25227 /proc/meminfo: memFree=30479304/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=335632 CPUtime=522.3 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 90660 0 0 0 51986 244 0 0 25 0 1 0 165265433 343687168 81729 4089446400 4194304 7136930 140735762228736 18446744073709551615 4643192 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 83908 81729 407 719 0 83187 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 335632 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25238 /proc/meminfo: memFree=30434752/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=340228 CPUtime=582.3 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 91800 0 0 0 57961 269 0 0 25 0 1 0 165265433 348393472 82869 4089446400 4194304 7136930 140735762228736 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 85057 82869 411 719 0 84336 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 340228 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25239 /proc/meminfo: memFree=30387740/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=349428 CPUtime=642.31 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 94119 0 0 0 63938 293 0 0 25 0 1 0 165265433 357814272 85188 4089446400 4194304 7136930 140735762228736 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 87357 85188 411 719 0 86636 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 349428 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25247 /proc/meminfo: memFree=30146064/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=396560 CPUtime=942.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 105409 0 0 0 93812 420 0 0 25 0 1 0 165265433 406077440 96478 4089446400 4194304 7136930 140735762228736 18446744073709551615 4834562 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 99140 96478 411 719 0 98419 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 396560 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25249 /proc/meminfo: memFree=30100124/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=402488 CPUtime=1002.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 106915 0 0 0 99789 443 0 0 25 0 1 0 165265433 412147712 97984 4089446400 4194304 7136930 140735762228736 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 100622 97984 411 719 0 99901 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 402488 [startup+1062.3 s] /proc/loadavg: 1.93 1.98 1.99 3/179 25497 /proc/meminfo: memFree=31154972/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=415108 CPUtime=1062.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 110044 0 0 0 105762 470 0 0 25 0 1 0 165265433 425070592 101113 4089446400 4194304 7136930 140735762228736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 103777 101113 411 719 0 103056 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 415108 [startup+1122.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 25498 /proc/meminfo: memFree=31143132/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=423216 CPUtime=1122.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 112090 0 0 0 111735 497 0 0 25 0 1 0 165265433 433373184 103159 4089446400 4194304 7136930 140735762228736 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 105804 103159 411 719 0 105083 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 423216 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 25500 /proc/meminfo: memFree=31134780/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=431324 CPUtime=1182.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 114141 0 0 0 117706 526 0 0 25 0 1 0 165265433 441675776 105210 4089446400 4194304 7136930 140735762228736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 107831 105210 411 719 0 107110 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 431324 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25501 /proc/meminfo: memFree=31119736/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=442096 CPUtime=1242.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 116838 0 0 0 123679 553 0 0 25 0 1 0 165265433 452706304 107907 4089446400 4194304 7136930 140735762228736 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 110524 107907 411 719 0 109803 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 442096 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25503 /proc/meminfo: memFree=31113120/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=447648 CPUtime=1302.33 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 118216 0 0 0 129651 582 0 0 25 0 1 0 165265433 458391552 109285 4089446400 4194304 7136930 140735762228736 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 111912 109285 411 719 0 111191 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 447648 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25505 /proc/meminfo: memFree=31103168/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=457712 CPUtime=1362.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 120711 0 0 0 135626 606 0 0 25 0 1 0 165265433 468697088 111780 4089446400 4194304 7136930 140735762228736 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 114428 111780 411 719 0 113707 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 457712 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25506 /proc/meminfo: memFree=31094192/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=465536 CPUtime=1422.33 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 122677 0 0 0 141599 634 0 0 25 0 1 0 165265433 476708864 113746 4089446400 4194304 7136930 140735762228736 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 116384 113746 411 719 0 115663 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 465536 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25508 /proc/meminfo: memFree=31086336/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=473976 CPUtime=1482.32 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 124823 0 0 0 147574 658 0 0 25 0 1 0 165265433 485351424 115892 4089446400 4194304 7136930 140735762228736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 118494 115892 411 719 0 117773 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 473976 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 25509 /proc/meminfo: memFree=31079592/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=479828 CPUtime=1542.33 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 126292 0 0 0 153551 682 0 0 25 0 1 0 165265433 491343872 117361 4089446400 4194304 7136930 140735762228736 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 119957 117361 411 719 0 119236 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 479828 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25511 /proc/meminfo: memFree=31068776/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=489296 CPUtime=1602.33 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 128699 0 0 0 159524 709 0 0 25 0 1 0 165265433 501039104 119768 4089446400 4194304 7136930 140735762228736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 122324 119768 411 719 0 121603 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 489296 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 4/179 25513 /proc/meminfo: memFree=31060060/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=497204 CPUtime=1662.33 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 130704 0 0 0 165499 734 0 0 25 0 1 0 165265433 509136896 121773 4089446400 4194304 7136930 140735762228736 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 124301 121773 411 719 0 123580 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 497204 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 25514 /proc/meminfo: memFree=31053920/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=504076 CPUtime=1722.33 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 132444 0 0 0 171472 761 0 0 25 0 1 0 165265433 516173824 123513 4089446400 4194304 7136930 140735762228736 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 126019 123513 411 719 0 125298 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 504076 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 2.00 4/179 25516 /proc/meminfo: memFree=31047308/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=509344 CPUtime=1782.33 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 133741 0 0 0 177446 787 0 0 25 0 1 0 165265433 521568256 124810 4089446400 4194304 7136930 140735762228736 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 127336 124810 411 719 0 126615 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 509344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 25517 /proc/meminfo: memFree=31041220/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=515504 CPUtime=1800.04 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 135304 0 0 0 179208 796 0 0 25 0 1 0 165265433 527876096 126373 4089446400 4194304 7136930 140735762228736 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/25213/statm: 128876 126373 411 719 0 128155 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 515504 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.00 2.00 2.00 3/179 25517 /proc/meminfo: memFree=31041220/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=503080 CPUtime=1800.23 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 135310 0 0 0 179227 796 0 0 25 0 1 0 165265433 515153920 123404 4089446400 4194304 7136930 140735762228736 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25213/statm: 125770 123404 417 719 0 125049 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 503080 [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/180 25518 /proc/meminfo: memFree=31166948/32950940 swapFree=67111528/67111528 [pid=25213] ppid=25211 vsize=388352 CPUtime=1800.64 /proc/25213/stat : 25213 (pbscip.linux.x8) R 25211 25213 24593 0 -1 4202496 135310 0 0 0 179268 796 0 0 25 0 1 0 165265433 397672448 94748 4089446400 4194304 7136930 140735762228736 18446744073709551615 6166167 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/25213/statm: 97088 94748 417 719 0 96367 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 388352 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.72 CPU user time (s): 1792.74 CPU system time (s): 7.97979 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 515504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.74 system time used= 7.97979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135317 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= 2 involuntary context switches= 3800 runsolver used 2.86756 second user time and 6.46402 second system time The end
Begin job on node117 at 2010-06-30 18:52:17 IDJOB=2693791 IDBENCH=79077 IDSOLVER=1206 FILE ID=node117/2693791-1277916737 PBS_JOBID= 11197271 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9010_6-unsat--soft-66-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-2693791-1277916737/watcher-2693791-1277916737 -o /tmp/evaluation-result-2693791-1277916737/solver-2693791-1277916737 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693791-1277916737.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d7aea7a0e3c8d0b9f22ec2921124ff8 RANDOM SEED=208639398 node117.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.799 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.59 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.799 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.799 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 : 5332.82 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.799 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.75 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.799 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.85 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.799 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.75 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.799 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.82 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.799 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31156580 kB Buffers: 199532 kB Cached: 858436 kB SwapCached: 0 kB Active: 1057524 kB Inactive: 594208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31156580 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4740 kB Writeback: 0 kB AnonPages: 594016 kB Mapped: 17208 kB Slab: 78464 kB PageTables: 5928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 746172 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= 74200 MiB End job on node117 at 2010-06-30 19:22:19