Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1800.52 | 1800.48 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo |
| MD5SUM | eabed96e9c28cf15c9772fe79986c067 |
| 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 | 66 |
| Best CPU time to get the best result obtained on this benchmark | 0.162974 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 28 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 1415 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1414 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1221 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2693838-1277895266.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.00 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 145
0.09/0.14 c * 0.1s| 1831 | 1521 | 0 | 0.0 |1749k| 116 | - | 223 | 553 | 0 | 0 | 0 | 500 | 0 | 0.000000e+00 | 1.450000e+02 | Inf
1.09/1.13 c 1.0s| 10000 | 6867 | 0 | 0.0 |6215k| 116 | - | 223 |2825 | 0 | 0 | 0 |5341 | 0 | 0.000000e+00 | 1.450000e+02 | Inf
1.89/1.92 o 98
1.89/1.92 c * 1.8s| 14566 | 9066 | 0 | 0.0 |8804k| 116 | - | 223 |4618 | 0 | 0 | 0 |8930 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
1.99/2.03 o 81
1.99/2.03 c * 1.9s| 15442 | 9671 | 0 | 0.0 |8912k| 116 | - | 223 |3735 | 0 | 0 | 0 |9127 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
2.79/2.83 c 2.6s| 20000 | 12330 | 0 | 0.0 | 10M| 116 | - | 223 |4009 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
4.99/5.00 c 4.7s| 30000 | 17051 | 0 | 0.0 | 15M| 116 | - | 223 |6449 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
7.79/7.88 c 7.5s| 40000 | 20751 | 0 | 0.0 | 20M| 116 | - | 223 |8221 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.09/11.19 c 10.7s| 50000 | 23504 | 0 | 0.0 | 25M| 116 | - | 223 | 11k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
14.30/14.37 c 13.8s| 60000 | 27855 | 0 | 0.0 | 26M| 116 | - | 223 |1835 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
16.29/16.35 c 15.6s| 70000 | 32694 | 0 | 0.0 | 30M| 116 | - | 223 |4122 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.80/19.85 c 19.0s| 80000 | 34731 | 0 | 0.0 | 34M| 116 | - | 223 |6618 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
23.69/23.76 c 22.8s| 90000 | 35988 | 0 | 0.0 | 37M| 116 | - | 223 |7891 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
28.19/28.20 c 27.2s|100000 | 36230 | 0 | 0.0 | 40M| 116 | - | 223 |9876 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.00/33.01 c 31.9s|110000 | 36329 | 0 | 0.0 | 42M| 116 | - | 223 | 10k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
37.79/37.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.79/37.83 c 36.6s|120000 | 36550 | 0 | 0.0 | 45M| 116 | - | 223 | 13k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
42.89/42.96 c 41.6s|130000 | 37836 | 0 | 0.0 | 43M| 116 | - | 223 |4529 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
44.40/44.43 c 43.0s|140000 | 44510 | 0 | 0.0 | 47M| 116 | - | 223 |2951 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
46.19/46.23 c 44.7s|150000 | 50361 | 0 | 0.0 | 51M| 116 | - | 223 |4347 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.49/48.54 c 46.9s|160000 | 55276 | 0 | 0.0 | 56M| 116 | - | 223 |5425 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
51.49/51.56 c 49.8s|170000 | 58455 | 0 | 0.0 | 60M| 116 | - | 223 |7457 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
56.00/56.07 c 54.2s|180000 | 59240 | 0 | 0.0 | 62M| 116 | - | 223 |9379 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
62.39/62.47 c 60.5s|190000 | 57688 | 0 | 0.0 | 64M| 116 | - | 223 | 14k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
71.59/71.70 c 69.6s|200000 | 54674 | 0 | 0.0 | 64M| 116 | - | 223 | 21k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
84.60/84.67 c 82.5s|210000 | 50246 | 0 | 0.0 | 61M| 116 | - | 223 | 25k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
94.99/95.04 c 92.7s|220000 | 50153 | 0 | 0.0 | 56M| 116 | - | 223 | 10k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
98.39/98.46 c 96.0s|230000 | 54254 | 0 | 0.0 | 58M| 116 | - | 223 |7498 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
102.10/102.16 c 99.6s|240000 | 57609 | 0 | 0.0 | 62M| 116 | - | 223 |8050 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
105.99/106.02 c 103s|250000 | 60634 | 0 | 0.0 | 65M| 116 | - | 223 |9151 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
110.19/110.23 c 107s|260000 | 63097 | 0 | 0.0 | 69M| 116 | - | 223 |9716 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
114.99/115.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.99/115.00 c 112s|270000 | 64905 | 0 | 0.0 | 71M| 116 | - | 223 | 10k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
119.99/120.07 c 117s|280000 | 66166 | 0 | 0.0 | 74M| 116 | - | 223 | 11k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
125.69/125.70 c 123s|290000 | 67032 | 0 | 0.0 | 77M| 116 | - | 223 | 13k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
132.29/132.33 c 129s|300000 | 66901 | 0 | 0.0 | 79M| 116 | - | 223 | 16k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
141.10/141.16 c 138s|310000 | 64355 | 0 | 0.0 | 77M| 116 | - | 223 | 16k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
152.90/152.99 c 149s|320000 | 58227 | 0 | 0.0 | 65M| 116 | - | 223 | 15k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
159.70/159.79 c 156s|330000 | 58914 | 0 | 0.0 | 65M| 116 | - | 223 | 11k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
166.59/166.60 c 163s|340000 | 58981 | 0 | 0.0 | 66M| 116 | - | 223 | 14k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
174.70/174.76 c 171s|350000 | 58554 | 0 | 0.0 | 67M| 116 | - | 223 | 17k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
184.49/184.57 c 181s|360000 | 57278 | 0 | 0.0 | 69M| 116 | - | 223 | 20k| 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
195.39/195.50 c 191s|370000 | 55636 | 0 | 0.0 | 70M| 116 | - | 223 | 23k| 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
207.80/207.84 c 204s|380000 | 53594 | 0 | 0.0 | 71M| 116 | - | 223 | 25k| 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
220.89/220.98 c 217s|390000 | 51100 | 0 | 0.0 | 72M| 116 | - | 223 | 27k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
235.20/235.20 c 231s|400000 | 48301 | 0 | 0.0 | 71M| 116 | - | 223 | 29k| 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
249.60/249.61 c 245s|410000 | 45350 | 0 | 0.0 | 70M| 116 | - | 223 | 33k| 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
268.69/268.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.69/268.79 c 264s|420000 | 40511 | 0 | 0.0 | 65M| 119 | - | 223 | 23k| 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
287.59/287.67 c 283s|430000 | 34245 | 0 | 0.0 | 62M| 119 | - | 223 | 30k| 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
308.29/308.31 c 303s|440000 | 27659 | 0 | 0.0 | 56M| 119 | - | 223 | 36k| 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
325.61/325.63 c 320s|450000 | 23666 | 0 | 0.0 | 44M| 119 | - | 223 | 22k| 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
332.80/332.80 c 328s|460000 | 26079 | 0 | 0.0 | 35M| 119 | - | 223 |6561 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
334.90/334.98 c 330s|470000 | 32399 | 0 | 0.0 | 40M| 119 | - | 223 |7927 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
338.90/338.93 c 333s|480000 | 34500 | 0 | 0.0 | 40M| 119 | - | 223 |5406 | 0 | 0 | 0 | 521k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
343.50/343.50 c 338s|490000 | 35242 | 0 | 0.0 | 41M| 119 | - | 223 |7858 | 0 | 0 | 0 | 531k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
349.00/349.03 c 343s|500000 | 35226 | 0 | 0.0 | 41M| 119 | - | 223 | 10k| 0 | 0 | 0 | 542k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
352.50/352.51 c 347s|510000 | 39869 | 0 | 0.0 | 42M| 119 | - | 223 |4926 | 0 | 0 | 0 | 548k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
354.20/354.25 c 348s|520000 | 46946 | 0 | 0.0 | 46M| 119 | - | 223 |4399 | 0 | 0 | 0 | 553k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
356.20/356.28 c 350s|530000 | 53227 | 0 | 0.0 | 50M| 119 | - | 223 |5862 | 0 | 0 | 0 | 558k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
358.70/358.71 c 353s|540000 | 58951 | 0 | 0.0 | 55M| 119 | - | 223 |7919 | 0 | 0 | 0 | 565k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
361.60/361.61 c 355s|550000 | 64338 | 0 | 0.0 | 60M| 119 | - | 223 |9832 | 0 | 0 | 0 | 572k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
365.11/365.19 c 359s|560000 | 68910 | 0 | 0.0 | 64M| 119 | - | 223 | 11k| 0 | 0 | 0 | 580k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
369.70/369.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.70/369.77 c 363s|570000 | 72469 | 0 | 0.0 | 69M| 119 | - | 223 | 14k| 0 | 0 | 0 | 589k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
375.40/375.45 c 369s|580000 | 75283 | 0 | 0.0 | 73M| 119 | - | 223 | 16k| 0 | 0 | 0 | 599k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
381.80/381.80 c 375s|590000 | 77302 | 0 | 0.0 | 77M| 119 | - | 223 | 18k| 0 | 0 | 0 | 610k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
388.31/388.32 c 382s|600000 | 78328 | 0 | 0.0 | 76M| 119 | - | 223 |8115 | 0 | 0 | 0 | 620k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
393.20/393.27 c 386s|610000 | 79336 | 0 | 0.0 | 77M| 119 | - | 223 |9025 | 0 | 0 | 0 | 631k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
398.50/398.53 c 392s|620000 | 80300 | 0 | 0.0 | 78M| 119 | - | 223 |9650 | 0 | 0 | 0 | 641k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
403.80/403.80 c 397s|630000 | 81560 | 0 | 0.0 | 80M| 119 | - | 223 |9028 | 0 | 0 | 0 | 651k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
406.30/406.34 c 399s|640000 | 87612 | 0 | 0.0 | 83M| 119 | - | 223 |7748 | 0 | 0 | 0 | 657k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
409.21/409.28 c 402s|650000 | 93146 | 0 | 0.0 | 87M| 119 | - | 223 |8731 | 0 | 0 | 0 | 663k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
412.30/412.39 c 405s|660000 | 98400 | 0 | 0.0 | 91M| 119 | - | 223 |9687 | 0 | 0 | 0 | 669k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
416.10/416.19 c 409s|670000 |103136 | 0 | 0.0 | 95M| 119 | - | 223 | 11k| 0 | 0 | 0 | 677k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
420.30/420.35 c 413s|680000 |107571 | 0 | 0.0 | 99M| 119 | - | 223 | 12k| 0 | 0 | 0 | 685k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
425.00/425.03 c 417s|690000 |111620 | 0 | 0.0 | 103M| 119 | - | 223 | 13k| 0 | 0 | 0 | 693k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
430.50/430.52 c 423s|700000 |114933 | 0 | 0.0 | 108M| 119 | - | 223 | 14k| 0 | 0 | 0 | 702k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
436.50/436.55 c 429s|710000 |117919 | 0 | 0.0 | 111M| 119 | - | 223 | 16k| 0 | 0 | 0 | 712k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
443.40/443.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.40/443.44 c 435s|720000 |120229 | 0 | 0.0 | 115M| 119 | - | 223 | 16k| 0 | 0 | 0 | 723k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
451.10/451.10 c 443s|730000 |122095 | 0 | 0.0 | 119M| 119 | - | 223 | 18k| 0 | 0 | 0 | 734k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
459.10/459.15 c 451s|740000 |123691 | 0 | 0.0 | 122M| 119 | - | 223 | 19k| 0 | 0 | 0 | 746k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
468.20/468.29 c 460s|750000 |124932 | 0 | 0.0 | 126M| 119 | - | 223 | 21k| 0 | 0 | 0 | 758k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
478.00/478.06 c 470s|760000 |125722 | 0 | 0.0 | 129M| 119 | - | 223 | 22k| 0 | 0 | 0 | 770k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
489.00/489.00 c 480s|770000 |126183 | 0 | 0.0 | 132M| 119 | - | 223 | 24k| 0 | 0 | 0 | 783k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
500.01/500.00 c 491s|780000 |126386 | 0 | 0.0 | 134M| 119 | - | 223 | 26k| 0 | 0 | 0 | 796k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
511.70/511.80 c 503s|790000 |126435 | 0 | 0.0 | 137M| 119 | - | 223 | 29k| 0 | 0 | 0 | 808k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
524.70/524.75 c 516s|800000 |126259 | 0 | 0.0 | 140M| 119 | - | 223 | 32k| 0 | 0 | 0 | 821k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
539.20/539.21 c 530s|810000 |124784 | 0 | 0.0 | 141M| 119 | - | 223 | 35k| 0 | 0 | 0 | 834k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
554.31/554.38 c 545s|820000 |122495 | 0 | 0.0 | 135M| 119 | - | 223 | 15k| 0 | 0 | 0 | 848k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
563.50/563.56 c 554s|830000 |121248 | 0 | 0.0 | 135M| 119 | - | 223 | 14k| 0 | 0 | 0 | 860k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
572.90/572.98 c 564s|840000 |119596 | 0 | 0.0 | 135M| 119 | - | 223 | 15k| 0 | 0 | 0 | 873k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
579.71/579.77 c 570s|850000 |121622 | 0 | 0.0 | 137M| 119 | - | 223 | 13k| 0 | 0 | 0 | 883k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
586.31/586.38 c 577s|860000 |123826 | 0 | 0.0 | 141M| 119 | - | 223 | 13k| 0 | 0 | 0 | 893k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
593.60/593.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.60/593.60 c 584s|870000 |125346 | 0 | 0.0 | 144M| 119 | - | 223 | 13k| 0 | 0 | 0 | 905k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
601.30/601.31 c 591s|880000 |126599 | 0 | 0.0 | 147M| 119 | - | 223 | 15k| 0 | 0 | 0 | 916k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
610.01/610.04 c 600s|890000 |127167 | 0 | 0.0 | 150M| 119 | - | 223 | 16k| 0 | 0 | 0 | 928k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
619.10/619.17 c 609s|900000 |127680 | 0 | 0.0 | 153M| 119 | - | 223 | 18k| 0 | 0 | 0 | 940k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
629.91/629.92 c 620s|910000 |127475 | 0 | 0.0 | 156M| 119 | - | 223 | 20k| 0 | 0 | 0 | 953k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
641.51/641.55 c 631s|920000 |127189 | 0 | 0.0 | 158M| 119 | - | 223 | 21k| 0 | 0 | 0 | 966k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
654.41/654.45 c 644s|930000 |126400 | 0 | 0.0 | 161M| 119 | - | 223 | 23k| 0 | 0 | 0 | 980k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
669.11/669.11 c 659s|940000 |124785 | 0 | 0.0 | 162M| 119 | - | 223 | 24k| 0 | 0 | 0 | 994k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
684.21/684.27 c 674s|950000 |122835 | 0 | 0.0 | 163M| 119 | - | 223 | 25k| 0 | 0 | 0 |1009k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
701.51/701.53 c 691s|960000 |120282 | 0 | 0.0 | 164M| 119 | - | 223 | 26k| 0 | 0 | 0 |1024k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
719.61/719.66 c 709s|970000 |117454 | 0 | 0.0 | 164M| 119 | - | 223 | 28k| 0 | 0 | 0 |1040k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
740.01/740.02 c 729s|980000 |114018 | 0 | 0.0 | 163M| 119 | - | 223 | 31k| 0 | 0 | 0 |1056k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
761.71/761.73 c 751s|990000 |110579 | 0 | 0.0 | 163M| 119 | - | 223 | 34k| 0 | 0 | 0 |1072k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
785.81/785.84 c 774s| 1000k|106173 | 0 | 0.0 | 160M| 119 | - | 223 | 36k| 0 | 0 | 0 |1089k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
811.41/811.48 c 800s| 1010k|100954 | 0 | 0.0 | 157M| 119 | - | 223 | 40k| 0 | 0 | 0 |1106k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
839.01/839.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.01/839.07 c 827s| 1020k| 94491 | 0 | 0.0 | 151M| 119 | - | 223 | 44k| 0 | 0 | 0 |1123k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
865.71/865.71 c 854s| 1030k| 87594 | 0 | 0.0 | 138M| 119 | - | 223 | 23k| 0 | 0 | 0 |1140k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
883.91/883.98 c 872s| 1040k| 82547 | 0 | 0.0 | 134M| 119 | - | 223 | 20k| 0 | 0 | 0 |1157k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
903.31/903.31 c 891s| 1050k| 76386 | 0 | 0.0 | 130M| 119 | - | 223 | 21k| 0 | 0 | 0 |1175k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
926.61/926.65 c 914s| 1060k| 67978 | 0 | 0.0 | 123M| 119 | - | 223 | 25k| 0 | 0 | 0 |1195k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
956.31/956.36 c 944s| 1070k| 57988 | 0 | 0.0 | 112M| 119 | - | 223 | 32k| 0 | 0 | 0 |1216k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
992.51/992.55 c 980s| 1080k| 47170 | 0 | 0.0 | 98M| 119 | - | 223 | 39k| 0 | 0 | 0 |1237k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1035.91/1035.98 c 1023s| 1090k| 31778 | 0 | 0.0 | 66M| 119 | - | 223 | 34k| 0 | 0 | 0 |1260k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
1054.12/1054.13 c 1041s| 1100k| 27430 | 0 | 0.0 | 51M| 119 | - | 223 | 14k| 0 | 0 | 0 |1275k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1068.32/1068.39 c 1055s| 1110k| 21543 | 0 | 0.0 | 47M| 119 | - | 223 | 18k| 0 | 0 | 0 |1292k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1080.32/1080.31 c 1067s| 1120k| 17527 | 0 | 0.0 | 38M| 119 | - | 223 | 10k| 0 | 0 | 0 |1306k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
1082.81/1082.86 c 1070s| 1130k| 23556 | 0 | 0.0 | 37M| 119 | - | 223 |4298 | 0 | 0 | 0 |1310k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1084.92/1084.92 c 1072s| 1140k| 29829 | 0 | 0.0 | 41M| 119 | - | 223 |4412 | 0 | 0 | 0 |1314k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1086.22/1086.25 c 1073s| 1150k| 37902 | 0 | 0.0 | 45M| 119 | - | 223 |3659 | 0 | 0 | 0 |1315k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1087.82/1087.83 c 1074s| 1160k| 44870 | 0 | 0.0 | 49M| 119 | - | 223 |4739 | 0 | 0 | 0 |1318k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1090.02/1090.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.02/1090.07 c 1076s| 1170k| 50882 | 0 | 0.0 | 54M| 119 | - | 223 |6100 | 0 | 0 | 0 |1323k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1092.62/1092.65 c 1079s| 1180k| 56324 | 0 | 0.0 | 59M| 119 | - | 223 |6862 | 0 | 0 | 0 |1327k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1095.32/1095.36 c 1082s| 1190k| 61289 | 0 | 0.0 | 63M| 119 | - | 223 |7893 | 0 | 0 | 0 |1333k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1098.82/1098.89 c 1085s| 1200k| 65095 | 0 | 0.0 | 68M| 119 | - | 223 |8867 | 0 | 0 | 0 |1339k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1102.42/1102.43 c 1088s| 1210k| 69202 | 0 | 0.0 | 71M| 119 | - | 223 |8102 | 0 | 0 | 0 |1345k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1104.52/1104.53 c 1090s| 1220k| 76312 | 0 | 0.0 | 74M| 119 | - | 223 |6429 | 0 | 0 | 0 |1347k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1106.52/1106.50 c 1092s| 1230k| 83063 | 0 | 0.0 | 78M| 119 | - | 223 |5850 | 0 | 0 | 0 |1350k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1108.42/1108.47 c 1094s| 1240k| 89543 | 0 | 0.0 | 82M| 119 | - | 223 |6024 | 0 | 0 | 0 |1353k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1110.62/1110.68 c 1096s| 1250k| 95726 | 0 | 0.0 | 86M| 119 | - | 223 |6220 | 0 | 0 | 0 |1356k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1113.22/1113.21 c 1099s| 1260k|101236 | 0 | 0.0 | 90M| 119 | - | 223 |6733 | 0 | 0 | 0 |1360k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1115.82/1115.89 c 1101s| 1270k|106561 | 0 | 0.0 | 94M| 119 | - | 223 |7309 | 0 | 0 | 0 |1364k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1118.72/1118.77 c 1104s| 1280k|111763 | 0 | 0.0 | 98M| 119 | - | 223 |7356 | 0 | 0 | 0 |1369k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1122.12/1122.19 c 1107s| 1290k|115717 | 0 | 0.0 | 103M| 119 | - | 223 |8699 | 0 | 0 | 0 |1375k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1125.92/1125.92 c 1111s| 1300k|119784 | 0 | 0.0 | 107M| 119 | - | 223 |9383 | 0 | 0 | 0 |1380k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1130.22/1130.23 c 1115s| 1310k|122876 | 0 | 0.0 | 111M| 119 | - | 223 | 10k| 0 | 0 | 0 |1387k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1134.81/1134.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.81/1134.82 c 1120s| 1320k|125596 | 0 | 0.0 | 115M| 119 | - | 223 | 10k| 0 | 0 | 0 |1394k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1139.52/1139.53 c 1124s| 1330k|128397 | 0 | 0.0 | 118M| 119 | - | 223 | 11k| 0 | 0 | 0 |1400k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1144.72/1144.73 c 1129s| 1340k|130482 | 0 | 0.0 | 122M| 119 | - | 223 | 11k| 0 | 0 | 0 |1408k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1150.22/1150.21 c 1135s| 1350k|132069 | 0 | 0.0 | 126M| 119 | - | 223 | 12k| 0 | 0 | 0 |1416k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1156.92/1156.98 c 1141s| 1360k|132228 | 0 | 0.0 | 128M| 119 | - | 223 | 14k| 0 | 0 | 0 |1425k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1163.72/1163.74 c 1148s| 1370k|133488 | 0 | 0.0 | 130M| 119 | - | 223 | 11k| 0 | 0 | 0 |1433k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1167.72/1167.73 c 1152s| 1380k|138223 | 0 | 0.0 | 133M| 119 | - | 223 |9029 | 0 | 0 | 0 |1438k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1171.12/1171.10 c 1155s| 1390k|143168 | 0 | 0.0 | 137M| 119 | - | 223 |8099 | 0 | 0 | 0 |1442k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1174.62/1174.60 c 1159s| 1400k|147297 | 0 | 0.0 | 141M| 119 | - | 223 |7774 | 0 | 0 | 0 |1447k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1178.42/1178.42 c 1162s| 1410k|150861 | 0 | 0.0 | 145M| 119 | - | 223 |7910 | 0 | 0 | 0 |1452k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1182.22/1182.29 c 1166s| 1420k|154061 | 0 | 0.0 | 149M| 119 | - | 223 |8437 | 0 | 0 | 0 |1458k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1186.42/1186.44 c 1170s| 1430k|156984 | 0 | 0.0 | 153M| 119 | - | 223 |8812 | 0 | 0 | 0 |1464k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1191.12/1191.12 c 1175s| 1440k|159551 | 0 | 0.0 | 157M| 119 | - | 223 |9123 | 0 | 0 | 0 |1471k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1195.82/1195.80 c 1179s| 1450k|161987 | 0 | 0.0 | 161M| 119 | - | 223 |9856 | 0 | 0 | 0 |1477k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1200.82/1200.89 c 1184s| 1460k|163879 | 0 | 0.0 | 165M| 119 | - | 223 | 10k| 0 | 0 | 0 |1484k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1206.12/1206.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.12/1206.11 c 1189s| 1470k|165866 | 0 | 0.0 | 169M| 119 | - | 223 | 10k| 0 | 0 | 0 |1491k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1211.72/1211.79 c 1195s| 1480k|167184 | 0 | 0.0 | 172M| 119 | - | 223 | 11k| 0 | 0 | 0 |1499k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1217.92/1217.95 c 1201s| 1490k|168374 | 0 | 0.0 | 175M| 119 | - | 223 | 11k| 0 | 0 | 0 |1507k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1224.42/1224.44 c 1207s| 1500k|169073 | 0 | 0.0 | 178M| 119 | - | 223 | 12k| 0 | 0 | 0 |1515k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1231.32/1231.32 c 1214s| 1510k|169406 | 0 | 0.0 | 181M| 119 | - | 223 | 13k| 0 | 0 | 0 |1523k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1238.42/1238.42 c 1221s| 1520k|169730 | 0 | 0.0 | 183M| 119 | - | 223 | 13k| 0 | 0 | 0 |1532k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1246.02/1246.00 c 1229s| 1530k|169867 | 0 | 0.0 | 186M| 119 | - | 223 | 14k| 0 | 0 | 0 |1541k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1254.12/1254.16 c 1237s| 1540k|169736 | 0 | 0.0 | 188M| 119 | - | 223 | 14k| 0 | 0 | 0 |1550k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1262.62/1262.70 c 1245s| 1550k|169255 | 0 | 0.0 | 190M| 119 | - | 223 | 15k| 0 | 0 | 0 |1559k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1272.63/1272.66 c 1255s| 1560k|167208 | 0 | 0.0 | 190M| 119 | - | 223 | 16k| 0 | 0 | 0 |1570k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1283.72/1283.78 c 1266s| 1570k|163960 | 0 | 0.0 | 189M| 119 | - | 223 | 17k| 0 | 0 | 0 |1581k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1291.12/1291.16 c 1273s| 1580k|164662 | 0 | 0.0 | 189M| 119 | - | 223 | 13k| 0 | 0 | 0 |1589k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1297.42/1297.41 c 1279s| 1590k|165904 | 0 | 0.0 | 191M| 119 | - | 223 | 10k| 0 | 0 | 0 |1596k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1303.93/1303.92 c 1286s| 1600k|166178 | 0 | 0.0 | 194M| 119 | - | 223 | 11k| 0 | 0 | 0 |1603k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1311.32/1311.39 c 1293s| 1610k|165409 | 0 | 0.0 | 197M| 119 | - | 223 | 11k| 0 | 0 | 0 |1612k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1319.12/1319.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.12/1319.13 c 1300s| 1620k|164617 | 0 | 0.0 | 199M| 119 | - | 223 | 12k| 0 | 0 | 0 |1621k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1327.92/1327.90 c 1309s| 1630k|163080 | 0 | 0.0 | 201M| 119 | - | 223 | 13k| 0 | 0 | 0 |1630k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1337.02/1337.01 c 1318s| 1640k|161224 | 0 | 0.0 | 202M| 119 | - | 223 | 14k| 0 | 0 | 0 |1640k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1347.43/1347.49 c 1328s| 1650k|158741 | 0 | 0.0 | 202M| 119 | - | 223 | 15k| 0 | 0 | 0 |1650k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1359.22/1359.25 c 1340s| 1660k|155469 | 0 | 0.0 | 202M| 119 | - | 223 | 16k| 0 | 0 | 0 |1660k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1372.02/1372.06 c 1353s| 1670k|151200 | 0 | 0.0 | 200M| 119 | - | 223 | 17k| 0 | 0 | 0 |1671k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1386.03/1386.02 c 1367s| 1680k|146873 | 0 | 0.0 | 198M| 119 | - | 223 | 19k| 0 | 0 | 0 |1683k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1401.73/1401.73 c 1382s| 1690k|141531 | 0 | 0.0 | 194M| 119 | - | 223 | 20k| 0 | 0 | 0 |1695k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1420.83/1420.84 c 1401s| 1700k|133265 | 0 | 0.0 | 187M| 119 | - | 223 | 23k| 0 | 0 | 0 |1710k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1429.93/1429.98 c 1410s| 1710k|135095 | 0 | 0.0 | 181M| 119 | - | 223 | 10k| 0 | 0 | 0 |1717k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1436.72/1436.71 c 1417s| 1720k|132921 | 0 | 0.0 | 178M| 119 | - | 223 |7622 | 0 | 0 | 0 |1728k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1446.73/1446.75 c 1427s| 1730k|125884 | 0 | 0.0 | 174M| 119 | - | 223 | 11k| 0 | 0 | 0 |1740k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1461.72/1461.77 c 1441s| 1740k|116519 | 0 | 0.0 | 166M| 119 | - | 223 | 17k| 0 | 0 | 0 |1754k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1479.54/1479.50 c 1459s| 1750k|107924 | 0 | 0.0 | 152M| 119 | - | 223 | 18k| 0 | 0 | 0 |1767k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1483.42/1483.46 c 1463s| 1760k|114135 | 0 | 0.0 | 154M| 119 | - | 223 | 10k| 0 | 0 | 0 |1772k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1487.83/1487.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.83/1487.84 c 1467s| 1770k|118526 | 0 | 0.0 | 158M| 119 | - | 223 | 12k| 0 | 0 | 0 |1779k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1494.13/1494.10 c 1473s| 1780k|120617 | 0 | 0.0 | 162M| 119 | - | 223 | 16k| 0 | 0 | 0 |1789k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1500.43/1500.47 c 1480s| 1790k|122617 | 0 | 0.0 | 159M| 119 | - | 223 |4849 | 0 | 0 | 0 |1796k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1503.52/1503.50 c 1482s| 1800k|126529 | 0 | 0.0 | 162M| 119 | - | 223 |5227 | 0 | 0 | 0 |1802k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1508.83/1508.82 c 1488s| 1810k|125979 | 0 | 0.0 | 162M| 119 | - | 223 |7827 | 0 | 0 | 0 |1811k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1516.72/1516.73 c 1495s| 1820k|121375 | 0 | 0.0 | 155M| 119 | - | 223 | 10k| 0 | 0 | 0 |1823k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
1520.43/1520.41 c 1499s| 1830k|126540 | 0 | 0.0 | 159M| 119 | - | 223 | 10k| 0 | 0 | 0 |1830k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1524.93/1524.96 c 1503s| 1840k|130511 | 0 | 0.0 | 164M| 119 | - | 223 | 14k| 0 | 0 | 0 |1839k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1531.63/1531.64 c 1510s| 1850k|133475 | 0 | 0.0 | 168M| 119 | - | 223 | 18k| 0 | 0 | 0 |1849k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1540.43/1540.40 c 1519s| 1860k|135495 | 0 | 0.0 | 173M| 119 | - | 223 | 22k| 0 | 0 | 0 |1860k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1552.83/1552.82 c 1531s| 1870k|136633 | 0 | 0.0 | 177M| 119 | - | 223 | 26k| 0 | 0 | 0 |1871k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1566.23/1566.20 c 1544s| 1880k|137678 | 0 | 0.0 | 181M| 119 | - | 223 | 30k| 0 | 0 | 0 |1881k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1581.13/1581.20 c 1558s| 1890k|138143 | 0 | 0.0 | 184M| 119 | - | 223 | 35k| 0 | 0 | 0 |1892k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1598.63/1598.60 c 1576s| 1900k|138968 | 0 | 0.0 | 180M| 119 | - | 223 | 15k| 0 | 0 | 0 |1902k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1604.23/1604.23 c 1581s| 1910k|141989 | 0 | 0.0 | 181M| 119 | - | 223 |7136 | 0 | 0 | 0 |1909k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1609.23/1609.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.23/1609.25 c 1586s| 1920k|143805 | 0 | 0.0 | 184M| 119 | - | 223 |7940 | 0 | 0 | 0 |1919k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1615.34/1615.33 c 1591s| 1930k|144055 | 0 | 0.0 | 186M| 119 | - | 223 |9298 | 0 | 0 | 0 |1928k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1622.33/1622.31 c 1598s| 1940k|143273 | 0 | 0.0 | 186M| 119 | - | 223 | 10k| 0 | 0 | 0 |1939k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1629.14/1629.16 c 1604s| 1950k|145371 | 0 | 0.0 | 190M| 119 | - | 223 | 15k| 0 | 0 | 0 |1951k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1639.63/1639.60 c 1614s| 1960k|146389 | 0 | 0.0 | 194M| 119 | - | 223 | 19k| 0 | 0 | 0 |1963k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1654.23/1654.25 c 1629s| 1970k|146276 | 0 | 0.0 | 198M| 119 | - | 223 | 24k| 0 | 0 | 0 |1976k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1673.13/1673.19 c 1647s| 1980k|145334 | 0 | 0.0 | 201M| 119 | - | 223 | 30k| 0 | 0 | 0 |1990k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1696.43/1696.49 c 1670s| 1990k|143498 | 0 | 0.0 | 202M| 119 | - | 223 | 36k| 0 | 0 | 0 |2004k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1723.03/1723.02 c 1696s| 2000k|141075 | 0 | 0.0 | 203M| 119 | - | 223 | 42k| 0 | 0 | 0 |2018k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1754.13/1754.15 c 1727s| 2010k|137464 | 0 | 0.0 | 203M| 119 | - | 223 | 50k| 0 | 0 | 0 |2033k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1783.73/1783.72 c 1756s| 2020k|136644 | 0 | 0.0 | 194M| 119 | - | 223 | 21k| 0 | 0 | 0 |2044k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
1794.63/1794.67 c 1767s| 2030k|137257 | 0 | 0.0 | 193M| 119 | - | 223 | 13k| 0 | 0 | 0 |2055k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
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) : 1771.98
1800.04/1800.00 c Solving Nodes : 2035260
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (3 solutions)
1800.04/1800.00 c Dual Bound : +1.70000000000000e+01
1800.04/1800.00 c Gap : 376.47 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106
1800.04/1800.00 v -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.04/1800.00 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.04/1800.00 v x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31
1800.04/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5
1800.04/1800.00 v -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1771.98
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693838-1277895266.wbo
1800.04/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.04/1800.00 c Constraints : 130 initial, 130 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693838-1277895266.wbo
1800.04/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.04/1800.00 c Constraints : 112 initial, 54011 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 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.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 5 - - 10 - - - -
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 : 27 0 5628035 0 1216231 1276 465716 0 0 0
1800.04/1800.00 c setppc : 49 0 6165288 0 1319194 157947 12394552 0 0 0
1800.04/1800.00 c linear : 27 0 6007340 0 1319192 415330 20399853 0 0 0
1800.04/1800.00 c logicor : 9+ 0 3407391 0 1315576 459276 2026380 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 467653 0 0 5 11495 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1319195 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 : 3.36 0.00 2.15 0.00 1.21
1800.04/1800.00 c setppc : 39.59 0.00 32.45 0.00 7.14
1800.04/1800.00 c linear : 96.35 0.00 95.73 0.00 0.62
1800.04/1800.00 c logicor : 806.48 0.00 805.19 0.00 1.29
1800.04/1800.00 c bounddisjunction : 1.60 0.00 1.60 0.00 0.00
1800.04/1800.00 c countsols : 0.15 0.00 0.00 0.00 0.15
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.44 2 0 0
1800.04/1800.00 c rootredcost : 1.39 0 0 0
1800.04/1800.00 c pseudoobj : 8.21 6166785 415 336164
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 46.84 1032973 1032762 5646093 22.4 198005 14.8 -
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 12 12 39 9.7 0 0.0 -
1800.04/1800.00 c applied globally : - - - 2045376 16.7 - - -
1800.04/1800.00 c applied locally : - - - 16006 35.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 : 8.62 1319192 0 0 0 0 2638384
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 - 3
1800.04/1800.00 c oneopt : 0.67 0 0
1800.04/1800.00 c trivial : 0.00 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.35 0 0
1800.04/1800.00 c trysol : 0.45 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 : 2035260
1800.04/1800.00 c nodes (total) : 2035260
1800.04/1800.00 c nodes left : 136733
1800.04/1800.00 c max depth : 119
1800.04/1800.00 c max depth (total): 119
1800.04/1800.00 c backtracks : 728491 (35.8%)
1800.04/1800.00 c delayed cutoffs : 466284
1800.04/1800.00 c repropagations : 2205099 (9440431 domain reductions, 318196 cutoffs)
1800.04/1800.00 c avg switch length: 19.15
1800.04/1800.00 c switching time : 588.82
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 3 (3 improvements)
1800.04/1800.00 c First Solution : +1.45000000000000e+02 (in run 1, after 1831 nodes, 0.12 seconds, depth 87, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 15442 nodes, 1.88 seconds, depth 75, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +1.70000000000000e+01
1800.04/1800.00 c Gap : 376.47 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.43/1800.48 c Time complete: 1800.51.
OK 80
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693838-1277895266/watcher-2693838-1277895266 -o /tmp/evaluation-result-2693838-1277895266/solver-2693838-1277895266 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693838-1277895266.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.01 2.00 2.00 4/196 11938 /proc/meminfo: memFree=31226028/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=8144 CPUtime=0 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 1519 0 0 0 0 0 0 0 25 0 1 0 130823354 8339456 1441 4089446400 4194304 7136930 140735312274464 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11938/statm: 2036 1441 275 719 0 1315 0 [startup+0.0226841 s] /proc/loadavg: 2.01 2.00 2.00 4/196 11938 /proc/meminfo: memFree=31226028/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=11800 CPUtime=0.01 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 4444 0 0 0 1 0 0 0 25 0 1 0 130823354 12083200 2214 4089446400 4194304 7136930 140735312274464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 2950 2214 391 719 0 2229 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11800 [startup+0.10067 s] /proc/loadavg: 2.01 2.00 2.00 4/196 11938 /proc/meminfo: memFree=31226028/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=12620 CPUtime=0.09 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 4658 0 0 0 8 1 0 0 25 0 1 0 130823354 12922880 2428 4089446400 4194304 7136930 140735312274464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 3155 2428 395 719 0 2434 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12620 [startup+0.300635 s] /proc/loadavg: 2.01 2.00 2.00 4/196 11938 /proc/meminfo: memFree=31226028/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=14432 CPUtime=0.29 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 5138 0 0 0 27 2 0 0 25 0 1 0 130823354 14778368 2908 4089446400 4194304 7136930 140735312274464 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 3608 2908 395 719 0 2887 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14432 [startup+0.700564 s] /proc/loadavg: 2.01 2.00 2.00 4/196 11938 /proc/meminfo: memFree=31226028/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=17472 CPUtime=0.69 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 5889 0 0 0 63 6 0 0 25 0 1 0 130823354 17891328 3659 4089446400 4194304 7136930 140735312274464 18446744073709551615 4238121 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 4368 3659 395 719 0 3647 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17472 [startup+1.50048 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11939 /proc/meminfo: memFree=31212136/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=20800 CPUtime=1.49 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 6752 0 0 0 138 11 0 0 25 0 1 0 130823354 21299200 4522 4089446400 4194304 7136930 140735312274464 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 5200 4522 395 719 0 4479 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20800 [startup+3.10014 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11939 /proc/meminfo: memFree=31206556/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=26428 CPUtime=3.09 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 8162 0 0 0 288 21 0 0 25 0 1 0 130823354 27062272 5932 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 6607 5932 397 719 0 5886 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26428 [startup+6.30057 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11939 /proc/meminfo: memFree=31198072/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=35176 CPUtime=6.29 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 10360 0 0 0 597 32 0 0 25 0 1 0 130823354 36020224 8130 4089446400 4194304 7136930 140735312274464 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 8794 8130 397 719 0 8073 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35176 [startup+12.7004 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11939 /proc/meminfo: memFree=31186468/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=47076 CPUtime=12.69 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 13298 0 0 0 1216 53 0 0 25 0 1 0 130823354 48205824 11068 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 11769 11068 397 719 0 11048 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47076 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11939 /proc/meminfo: memFree=31170492/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=62016 CPUtime=25.49 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 17035 0 0 0 2454 95 0 0 25 0 1 0 130823354 63504384 14805 4089446400 4194304 7136930 140735312274464 18446744073709551615 6166298 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 15504 14805 398 719 0 14783 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62016 [startup+51.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11940 /proc/meminfo: memFree=31139940/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=88736 CPUtime=51.09 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 23786 0 0 0 4935 174 0 0 25 0 1 0 130823354 90865664 21556 4089446400 4194304 7136930 140735312274464 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 22184 21556 398 719 0 21463 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 88736 [startup+102.306 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11941 /proc/meminfo: memFree=31127120/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=98004 CPUtime=102.3 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 26027 0 0 0 9976 254 0 0 25 0 1 0 130823354 100356096 23797 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 24501 23797 398 719 0 23780 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 98004 [startup+162.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11943 /proc/meminfo: memFree=31103004/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=116504 CPUtime=162.29 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 30137 0 0 0 15864 365 0 0 25 0 1 0 130823354 119300096 27907 4089446400 4194304 7136930 140735312274464 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 29126 27907 398 719 0 28405 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 116504 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11945 /proc/meminfo: memFree=31090172/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=120584 CPUtime=222.3 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 30977 0 0 0 21795 435 0 0 25 0 1 0 130823354 123478016 28747 4089446400 4194304 7136930 140735312274464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 30146 28747 398 719 0 29425 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 120584 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11946 /proc/meminfo: memFree=31087264/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=123224 CPUtime=282.3 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 31613 0 0 0 27747 483 0 0 25 0 1 0 130823354 126181376 29383 4089446400 4194304 7136930 140735312274464 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 30806 29383 398 719 0 30085 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 123224 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11947 /proc/meminfo: memFree=31080012/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=124656 CPUtime=342.3 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 31882 0 0 0 33675 555 0 0 25 0 1 0 130823354 127647744 29652 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 31164 29652 398 719 0 30443 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 124656 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11958 /proc/meminfo: memFree=31071572/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=128700 CPUtime=402.29 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 32964 0 0 0 39528 701 0 0 25 0 1 0 130823354 131788800 30734 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 32175 30734 398 719 0 31454 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 128700 [startup+462.301 s] /proc/loadavg: 2.05 2.01 2.00 3/197 11960 /proc/meminfo: memFree=31029148/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=164576 CPUtime=462.3 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 42085 0 0 0 45406 824 0 0 25 0 1 0 130823354 168525824 39855 4089446400 4194304 7136930 140735312274464 18446744073709551615 4976330 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 41144 39855 398 719 0 40423 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 164576 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11962 /proc/meminfo: memFree=31010612/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=182992 CPUtime=522.31 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 46710 0 0 0 51343 888 0 0 25 0 1 0 130823354 187383808 44480 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 45748 44480 398 719 0 45027 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 182992 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11963 /proc/meminfo: memFree=31005356/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=188024 CPUtime=582.3 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 47978 0 0 0 57275 955 0 0 25 0 1 0 130823354 192536576 45748 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 47006 45748 398 719 0 46285 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 188024 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11964 /proc/meminfo: memFree=30990560/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=202860 CPUtime=642.31 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 51710 0 0 0 63200 1031 0 0 25 0 1 0 130823354 207728640 49480 4089446400 4194304 7136930 140735312274464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 50715 49480 398 719 0 49994 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 202860 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11972 /proc/meminfo: memFree=30963812/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=218024 CPUtime=942.31 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 55236 0 0 0 92996 1235 0 0 25 0 1 0 130823354 223256576 53006 4089446400 4194304 7136930 140735312274464 18446744073709551615 5953091 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 54506 53006 398 719 0 53785 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 218024 [startup+1002.3 s] /proc/loadavg: 2.07 2.02 2.00 3/197 11974 /proc/meminfo: memFree=30963140/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=218024 CPUtime=1002.31 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 55303 0 0 0 98967 1264 0 0 25 0 1 0 130823354 223256576 53073 4089446400 4194304 7136930 140735312274464 18446744073709551615 4219854 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 54506 53073 398 719 0 53785 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 218024 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11976 /proc/meminfo: memFree=30950200/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=218024 CPUtime=1062.32 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 55305 0 0 0 104934 1298 0 0 25 0 1 0 130823354 223256576 53075 4089446400 4194304 7136930 140735312274464 18446744073709551615 5950293 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 54506 53075 398 719 0 53785 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 218024 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11978 /proc/meminfo: memFree=30937496/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=221720 CPUtime=1122.32 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 56251 0 0 0 110754 1478 0 0 25 0 1 0 130823354 227041280 54021 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999777 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 55430 54021 398 719 0 54709 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 221720 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11979 /proc/meminfo: memFree=30910912/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=238724 CPUtime=1182.32 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 60576 0 0 0 116609 1623 0 0 25 0 1 0 130823354 244453376 58346 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 59681 58346 398 719 0 58960 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 238724 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11980 /proc/meminfo: memFree=30868580/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=261996 CPUtime=1242.32 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 66441 0 0 0 122489 1743 0 0 25 0 1 0 130823354 268283904 64211 4089446400 4194304 7136930 140735312274464 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 65499 64211 398 719 0 64778 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 261996 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11982 /proc/meminfo: memFree=30858992/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=268124 CPUtime=1302.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 67988 0 0 0 128391 1842 0 0 25 0 1 0 130823354 274558976 65758 4089446400 4194304 7136930 140735312274464 18446744073709551615 4209195 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 67031 65758 398 719 0 66310 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 268124 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11984 /proc/meminfo: memFree=30845304/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=276796 CPUtime=1362.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 70152 0 0 0 134309 1924 0 0 25 0 1 0 130823354 283439104 67922 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 69199 67922 398 719 0 68478 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 276796 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11986 /proc/meminfo: memFree=30844900/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=276796 CPUtime=1422.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 70152 0 0 0 140249 1984 0 0 25 0 1 0 130823354 283439104 67922 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 69199 67922 398 719 0 68478 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 276796 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11987 /proc/meminfo: memFree=30836916/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=276796 CPUtime=1482.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 70153 0 0 0 146174 2059 0 0 25 0 1 0 130823354 283439104 67923 4089446400 4194304 7136930 140735312274464 18446744073709551615 5120204 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11938/statm: 69199 67923 398 719 0 68478 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 276796 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 2/174 12008 /proc/meminfo: memFree=31187084/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=276944 CPUtime=1542.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 70194 0 0 0 152052 2181 0 0 25 0 1 0 130823354 283590656 67964 4089446400 4194304 7136930 140735312274464 18446744073709551615 5000308 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11938/statm: 69236 67964 398 719 0 68515 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 276944 [startup+1602.3 s] /proc/loadavg: 2.38 2.08 2.03 3/199 12189 /proc/meminfo: memFree=30969944/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=276944 CPUtime=1602.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 70205 0 0 0 157906 2327 0 0 25 0 1 0 130823354 283590656 67975 4089446400 4194304 7136930 140735312274464 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11938/statm: 69236 67975 398 719 0 68515 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 276944 [startup+1662.3 s] /proc/loadavg: 2.42 2.15 2.05 4/200 12322 /proc/meminfo: memFree=30982408/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=278748 CPUtime=1662.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 70537 0 0 0 163672 2561 0 0 25 0 1 0 130823354 285437952 68307 4089446400 4194304 7136930 140735312274464 18446744073709551615 4455009 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11938/statm: 69687 68307 398 719 0 68966 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 278748 [startup+1722.3 s] /proc/loadavg: 2.15 2.12 2.05 3/179 12379 /proc/meminfo: memFree=31121108/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=282216 CPUtime=1722.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 71224 0 0 0 169569 2664 0 0 25 0 1 0 130823354 288989184 68994 4089446400 4194304 7136930 140735312274464 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11938/statm: 70554 68994 398 719 0 69833 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 282216 [startup+1782.3 s] /proc/loadavg: 2.05 2.10 2.04 3/179 12380 /proc/meminfo: memFree=31116848/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=283740 CPUtime=1782.33 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 71669 0 0 0 175488 2745 0 0 25 0 1 0 130823354 290549760 69439 4089446400 4194304 7136930 140735312274464 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11938/statm: 70935 69439 398 719 0 70214 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 283740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.09 2.04 3/179 12381 /proc/meminfo: memFree=31114356/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=283740 CPUtime=1800.04 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 71669 0 0 0 177198 2806 0 0 25 0 1 0 130823354 290549760 69439 4089446400 4194304 7136930 140735312274464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11938/statm: 70935 69439 398 719 0 70214 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 283740 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.09 2.04 3/179 12381 /proc/meminfo: memFree=31114356/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=283740 CPUtime=1800.23 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 71674 0 0 0 177217 2806 0 0 25 0 1 0 130823354 290549760 69444 4089446400 4194304 7136930 140735312274464 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11938/statm: 70935 69444 403 719 0 70214 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 283740 [startup+1800.4 s] /proc/loadavg: 2.04 2.09 2.04 3/179 12381 /proc/meminfo: memFree=31114356/32950928 swapFree=67111528/67111528 [pid=11938] ppid=11936 vsize=283740 CPUtime=1800.43 /proc/11938/stat : 11938 (pbscip.linux.x8) R 11936 11938 10004 0 -1 4202496 71674 0 0 0 177237 2806 0 0 25 0 1 0 130823354 290549760 69444 4089446400 4194304 7136930 140735312274464 18446744073709551615 5003669 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11938/statm: 70935 69444 403 719 0 70214 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 283740 Child status: 0 Real time (s): 1800.48 CPU time (s): 1800.52 CPU user time (s): 1772.45 CPU system time (s): 28.0727 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 283740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.45 system time used= 28.0727 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71681 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= 6471 runsolver used 2.57361 second user time and 5.69913 second system time The end
Begin job on node123 at 2010-06-30 12:54:26 IDJOB=2693838 IDBENCH=78750 IDSOLVER=1206 FILE ID=node123/2693838-1277895266 PBS_JOBID= 11197108 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972154--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-2693838-1277895266/watcher-2693838-1277895266 -o /tmp/evaluation-result-2693838-1277895266/solver-2693838-1277895266 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693838-1277895266.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eabed96e9c28cf15c9772fe79986c067 RANDOM SEED=951600697 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.75 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.804 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.804 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.75 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.804 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.71 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.804 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.74 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.804 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31226308 kB Buffers: 179424 kB Cached: 1105080 kB SwapCached: 0 kB Active: 804244 kB Inactive: 776360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31226308 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3348 kB Writeback: 0 kB AnonPages: 296356 kB Mapped: 20484 kB Slab: 78812 kB PageTables: 5008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1659092 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= 74204 MiB End job on node123 at 2010-06-30 13:24:28