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.56 | 1800.52 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-33-100-0.wbo |
| MD5SUM | 11192ef633da7cef97eefdeccab8f20f |
| 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 | 27 |
| Best CPU time to get the best result obtained on this benchmark | 0.206968 |
| 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 | 64 |
| 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 | 2925 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2924 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1327 |
| 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-2693944-1277898074.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 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, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.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, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 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 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.33 c 1.1s| 10000 | 7321 | 0 | 0.0 |6392k| 183 | - | 295 |3434 | 0 | 0 | 0 |6925 | 0 | 0.000000e+00 | -- | Inf
2.79/2.82 o 341
2.79/2.82 c * 2.4s| 16661 | 10914 | 0 | 0.0 |9733k| 183 | - | 295 |5717 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
3.09/3.17 c 2.6s| 20000 | 13845 | 0 | 0.0 |9899k| 183 | - | 295 |1802 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
5.90/5.93 c 5.1s| 30000 | 18221 | 0 | 0.0 | 15M| 183 | - | 295 |6143 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
9.79/9.81 c 8.7s| 40000 | 20804 | 0 | 0.0 | 19M| 183 | - | 295 |8185 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
14.99/15.07 c 13.6s| 50000 | 20940 | 0 | 0.0 | 24M| 183 | - | 295 | 11k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
17.99/18.06 c 16.3s| 60000 | 26245 | 0 | 0.0 | 24M| 183 | - | 295 |2070 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.410000e+02 | Inf
18.19/18.24 o 275
18.19/18.24 c *16.4s| 61674 | 27654 | 0 | 0.0 | 25M| 183 | - | 295 |1998 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
19.19/19.20 c 17.2s| 70000 | 34521 | 0 | 0.0 | 28M| 183 | - | 295 |2221 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
20.39/20.41 c 18.1s| 80000 | 42565 | 0 | 0.0 | 32M| 183 | - | 295 |1659 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
21.69/21.74 c 19.2s| 90000 | 50209 | 0 | 0.0 | 36M| 183 | - | 295 |2459 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
23.49/23.52 c 20.7s|100000 | 56980 | 0 | 0.0 | 40M| 183 | - | 295 |4235 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
26.79/26.85 c 23.7s|110000 | 60684 | 0 | 0.0 | 45M| 183 | - | 295 |7624 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
32.49/32.54 c 29.1s|120000 | 60846 | 0 | 0.0 | 48M| 183 | - | 295 | 11k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
40.49/40.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.49/40.55 c 36.7s|130000 | 57973 | 0 | 0.0 | 49M| 183 | - | 295 | 16k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
47.69/47.75 c 43.6s|140000 | 58358 | 0 | 0.0 | 44M| 183 | - | 295 |4662 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
49.09/49.19 c 44.8s|150000 | 66078 | 0 | 0.0 | 48M| 183 | - | 295 |2770 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
50.60/50.66 c 46.0s|160000 | 73622 | 0 | 0.0 | 52M| 183 | - | 295 |3221 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.750000e+02 | Inf
52.09/52.15 o 224
52.09/52.15 c *47.2s|169662 | 80790 | 0 | 0.0 | 55M| 183 | - | 295 |3676 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
52.09/52.20 c 47.3s|170000 | 81059 | 0 | 0.0 | 56M| 183 | - | 295 |3692 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
52.59/52.62 o 207
52.59/52.62 c *47.6s|172910 | 83267 | 0 | 0.0 | 57M| 183 | - | 295 |3807 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
53.69/53.70 c 48.5s|180000 | 88601 | 0 | 0.0 | 60M| 183 | - | 295 |4124 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
55.39/55.47 c 50.0s|190000 | 95672 | 0 | 0.0 | 64M| 183 | - | 295 |4521 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
57.30/57.31 c 51.6s|200000 |102630 | 0 | 0.0 | 68M| 183 | - | 295 |5047 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
59.19/59.23 c 53.2s|210000 |109511 | 0 | 0.0 | 73M| 183 | - | 295 |5239 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
59.59/59.66 o 159
59.59/59.66 c *53.5s|212039 |110524 | 0 | 0.0 | 73M| 183 | - | 295 |5279 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
61.19/61.23 c 54.9s|220000 |115977 | 0 | 0.0 | 77M| 183 | - | 295 |5309 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
63.40/63.47 c 56.9s|230000 |122233 | 0 | 0.0 | 81M| 183 | - | 295 |4994 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
65.60/65.64 c 58.7s|240000 |128416 | 0 | 0.0 | 85M| 183 | - | 295 |4583 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
67.69/67.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.69/67.77 c 60.6s|250000 |134607 | 0 | 0.0 | 90M| 183 | - | 295 |4312 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
69.89/69.94 c 62.4s|260000 |140706 | 0 | 0.0 | 94M| 183 | - | 295 |4016 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
72.09/72.16 c 64.3s|270000 |146662 | 0 | 0.0 | 99M| 183 | - | 295 |4171 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
74.50/74.56 c 66.5s|280000 |152225 | 0 | 0.0 | 103M| 183 | - | 295 |4458 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
76.90/77.00 c 68.6s|290000 |157871 | 0 | 0.0 | 108M| 183 | - | 295 |4614 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
79.49/79.51 c 70.8s|300000 |163469 | 0 | 0.0 | 112M| 183 | - | 295 |5122 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
82.09/82.19 c 73.2s|310000 |168728 | 0 | 0.0 | 117M| 183 | - | 295 |5817 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
85.19/85.21 c 75.8s|320000 |173517 | 0 | 0.0 | 121M| 183 | - | 295 |6743 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
88.49/88.56 c 78.9s|330000 |177878 | 0 | 0.0 | 126M| 183 | - | 295 |7513 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
92.30/92.32 c 82.3s|340000 |181760 | 0 | 0.0 | 130M| 183 | - | 295 |8842 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
96.80/96.83 c 86.5s|350000 |184681 | 0 | 0.0 | 134M| 183 | - | 295 | 10k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
102.09/102.20 c 91.4s|360000 |186819 | 0 | 0.0 | 138M| 183 | - | 295 | 13k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
108.09/108.15 c 97.0s|370000 |188341 | 0 | 0.0 | 140M| 183 | - | 295 | 15k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
117.19/117.27 c 106s|380000 |187019 | 0 | 0.0 | 133M| 183 | - | 295 |6585 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
119.29/119.39 c 108s|390000 |193626 | 0 | 0.0 | 136M| 183 | - | 295 |3743 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
121.50/121.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.50/121.56 c 110s|400000 |199938 | 0 | 0.0 | 140M| 183 | - | 295 |4405 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
123.70/123.76 c 111s|410000 |206299 | 0 | 0.0 | 144M| 183 | - | 295 |5189 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
125.90/125.94 o 118
125.90/125.94 c * 113s|419188 |208910 | 0 | 0.0 | 144M| 183 | - | 295 |5680 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
126.09/126.12 c 113s|420000 |209455 | 0 | 0.0 | 144M| 183 | - | 295 |5724 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
128.70/128.75 c 116s|430000 |215180 | 0 | 0.0 | 149M| 183 | - | 295 |6166 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
131.29/131.38 c 118s|440000 |221006 | 0 | 0.0 | 153M| 183 | - | 295 |6658 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
134.00/134.03 c 120s|450000 |226861 | 0 | 0.0 | 158M| 183 | - | 295 |7309 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
136.69/136.77 c 123s|460000 |232739 | 0 | 0.0 | 162M| 183 | - | 295 |7842 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
139.50/139.55 c 125s|470000 |238608 | 0 | 0.0 | 167M| 183 | - | 295 |8459 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
142.39/142.41 c 128s|480000 |244524 | 0 | 0.0 | 172M| 183 | - | 295 |9003 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
145.40/145.44 c 131s|490000 |250262 | 0 | 0.0 | 176M| 183 | - | 295 |9504 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
148.60/148.63 c 134s|500000 |255728 | 0 | 0.0 | 181M| 183 | - | 295 |9768 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
151.80/151.85 c 136s|510000 |261268 | 0 | 0.0 | 185M| 183 | - | 295 | 10k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
155.10/155.19 c 140s|520000 |266652 | 0 | 0.0 | 190M| 183 | - | 295 | 10k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
158.59/158.68 c 143s|530000 |271843 | 0 | 0.0 | 194M| 183 | - | 295 | 10k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
162.09/162.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.09/162.17 c 146s|540000 |277087 | 0 | 0.0 | 198M| 183 | - | 295 | 11k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
165.90/165.93 c 149s|550000 |282247 | 0 | 0.0 | 203M| 183 | - | 295 | 11k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
170.10/170.12 c 154s|560000 |286958 | 0 | 0.0 | 207M| 183 | - | 295 | 11k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
174.49/174.52 c 158s|570000 |291361 | 0 | 0.0 | 211M| 183 | - | 295 | 11k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
178.99/179.02 c 162s|580000 |295492 | 0 | 0.0 | 215M| 183 | - | 295 | 11k| 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 1.180000e+02 | Large
183.29/183.34 c 166s|590000 |299585 | 0 | 0.0 | 220M| 183 | - | 295 | 11k| 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 1.180000e+02 | Large
187.59/187.61 c 170s|600000 |303799 | 0 | 0.0 | 225M| 183 | - | 295 | 11k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 1.180000e+02 | Large
191.79/191.87 c 175s|610000 |307979 | 0 | 0.0 | 230M| 183 | - | 295 | 11k| 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 1.180000e+02 | Large
196.30/196.36 c 179s|620000 |311858 | 0 | 0.0 | 235M| 183 | - | 295 | 11k| 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 1.180000e+02 | Large
200.49/200.56 c 183s|630000 |316043 | 0 | 0.0 | 240M| 183 | - | 295 | 11k| 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 1.180000e+02 | Large
204.90/204.97 c 187s|640000 |319833 | 0 | 0.0 | 245M| 183 | - | 295 | 10k| 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 1.180000e+02 | Large
209.49/209.58 c 192s|650000 |323341 | 0 | 0.0 | 250M| 183 | - | 295 | 10k| 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 1.180000e+02 | Large
214.09/214.11 c 196s|660000 |326895 | 0 | 0.0 | 255M| 183 | - | 295 | 10k| 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 1.180000e+02 | Large
218.69/218.79 c 201s|670000 |330127 | 0 | 0.0 | 259M| 183 | - | 295 | 10k| 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 1.180000e+02 | Large
223.39/223.48 c 205s|680000 |333529 | 0 | 0.0 | 264M| 183 | - | 295 | 10k| 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 1.180000e+02 | Large
228.40/228.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.40/228.41 c 210s|690000 |336727 | 0 | 0.0 | 268M| 183 | - | 295 | 11k| 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 1.180000e+02 | Large
233.30/233.35 c 215s|700000 |340149 | 0 | 0.0 | 272M| 183 | - | 295 | 11k| 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 1.180000e+02 | Large
238.39/238.41 c 220s|710000 |343564 | 0 | 0.0 | 276M| 183 | - | 295 | 12k| 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 1.180000e+02 | Large
243.90/243.99 c 225s|720000 |346430 | 0 | 0.0 | 281M| 183 | - | 295 | 13k| 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 1.180000e+02 | Large
249.60/249.66 c 231s|730000 |349661 | 0 | 0.0 | 285M| 183 | - | 295 | 14k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 1.180000e+02 | Large
255.50/255.51 c 236s|740000 |352900 | 0 | 0.0 | 289M| 183 | - | 295 | 15k| 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 1.180000e+02 | Large
261.30/261.38 c 242s|750000 |356361 | 0 | 0.0 | 293M| 183 | - | 295 | 15k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.180000e+02 | Large
267.89/267.95 c 248s|760000 |359281 | 0 | 0.0 | 298M| 183 | - | 295 | 17k| 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 1.180000e+02 | Large
274.80/274.85 c 255s|770000 |362295 | 0 | 0.0 | 302M| 183 | - | 295 | 19k| 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 1.180000e+02 | Large
282.79/282.85 c 263s|780000 |364639 | 0 | 0.0 | 306M| 183 | - | 295 | 20k| 0 | 0 | 0 | 546k| 0 | 1.000000e+00 | 1.180000e+02 | Large
291.69/291.74 c 272s|790000 |366625 | 0 | 0.0 | 310M| 183 | - | 295 | 22k| 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 1.180000e+02 | Large
301.00/301.03 c 281s|800000 |368671 | 0 | 0.0 | 314M| 183 | - | 295 | 23k| 0 | 0 | 0 | 571k| 0 | 1.000000e+00 | 1.180000e+02 | Large
312.10/312.10 c 292s|810000 |369631 | 0 | 0.0 | 317M| 183 | - | 295 | 24k| 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 1.180000e+02 | Large
324.59/324.60 c 304s|820000 |370200 | 0 | 0.0 | 320M| 183 | - | 295 | 26k| 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 1.180000e+02 | Large
338.19/338.21 c 318s|830000 |370487 | 0 | 0.0 | 323M| 183 | - | 295 | 29k| 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 1.180000e+02 | Large
353.70/353.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.70/353.70 c 333s|840000 |370434 | 0 | 0.0 | 326M| 183 | - | 295 | 34k| 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 1.180000e+02 | Large
364.80/364.86 c 344s|850000 |374156 | 0 | 0.0 | 325M| 183 | - | 295 | 18k| 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 1.180000e+02 | Large
369.99/370.05 c 349s|860000 |378549 | 0 | 0.0 | 326M| 183 | - | 295 |7534 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 1.180000e+02 | Large
373.80/373.83 c 353s|870000 |382751 | 0 | 0.0 | 331M| 183 | - | 295 |7426 | 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 1.180000e+02 | Large
374.09/374.14 o 114
374.09/374.14 c * 353s|870797 |382459 | 0 | 0.0 | 331M| 183 | - | 295 |7601 | 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 1.140000e+02 | Large
377.80/377.84 c 356s|880000 |386112 | 0 | 0.0 | 335M| 183 | - | 295 |8328 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 1.140000e+02 | Large
381.90/381.98 c 360s|890000 |390234 | 0 | 0.0 | 340M| 183 | - | 295 |9136 | 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 1.140000e+02 | Large
386.10/386.13 c 364s|900000 |394605 | 0 | 0.0 | 344M| 183 | - | 295 |9855 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 1.140000e+02 | Large
390.41/390.43 c 369s|910000 |399036 | 0 | 0.0 | 349M| 183 | - | 295 | 10k| 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 1.140000e+02 | Large
394.81/394.90 c 373s|920000 |403337 | 0 | 0.0 | 353M| 183 | - | 295 | 10k| 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 1.140000e+02 | Large
399.31/399.33 c 377s|930000 |407858 | 0 | 0.0 | 358M| 183 | - | 295 | 11k| 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 1.140000e+02 | Large
403.99/404.03 c 382s|940000 |412052 | 0 | 0.0 | 362M| 183 | - | 295 | 12k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.140000e+02 | Large
408.79/408.88 c 386s|950000 |416207 | 0 | 0.0 | 367M| 183 | - | 295 | 12k| 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 1.140000e+02 | Large
413.99/414.09 c 392s|960000 |420142 | 0 | 0.0 | 371M| 183 | - | 295 | 13k| 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 1.140000e+02 | Large
418.60/418.62 o 96
418.60/418.62 c * 396s|968673 |410827 | 0 | 0.0 | 361M| 183 | - | 295 | 14k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
419.60/419.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.60/419.64 c 397s|970000 |410978 | 0 | 0.0 | 361M| 183 | - | 295 | 14k| 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
424.00/424.06 c 401s|980000 |414369 | 0 | 0.0 | 364M| 183 | - | 295 |5006 | 0 | 0 | 0 | 708k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
427.80/427.89 c 405s|990000 |417319 | 0 | 0.0 | 368M| 183 | - | 295 |6552 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
432.09/432.18 c 409s| 1000k|420103 | 0 | 0.0 | 372M| 183 | - | 295 |7308 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
436.40/436.41 c 413s| 1010k|423006 | 0 | 0.0 | 376M| 183 | - | 295 |6645 | 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | 9.600000e+01 |9500.00%
439.30/439.35 o 88
439.30/439.35 c * 416s| 1016k|418088 | 0 | 0.0 | 371M| 183 | - | 295 |3622 | 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 8.800000e+01 |8700.00%
440.79/440.85 c 417s| 1020k|419275 | 0 | 0.0 | 373M| 183 | - | 295 |3287 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 8.800000e+01 |8700.00%
441.50/441.58 o 68
441.50/441.58 c * 418s| 1021k|391997 | 0 | 0.0 | 340M| 183 | - | 295 |2350 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
445.70/445.79 c 422s| 1030k|391860 | 0 | 0.0 | 343M| 183 | - | 295 |3860 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
451.60/451.66 c 428s| 1040k|391134 | 0 | 0.0 | 347M| 183 | - | 295 |6636 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
453.10/453.11 o 54
453.10/453.11 c * 429s| 1042k|342193 | 0 | 0.0 | 293M| 183 | - | 295 |7217 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
458.61/458.64 c 435s| 1050k|339314 | 0 | 0.0 | 295M| 183 | - | 295 |3702 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
465.60/465.69 c 441s| 1060k|334145 | 0 | 0.0 | 297M| 183 | - | 295 |5699 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
474.60/474.65 c 450s| 1070k|327274 | 0 | 0.0 | 297M| 183 | - | 295 |6488 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
483.40/483.43 c 458s| 1080k|319461 | 0 | 0.0 | 295M| 183 | - | 295 |3727 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
491.61/491.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.61/491.67 c 466s| 1090k|312354 | 0 | 0.0 | 294M| 183 | - | 295 |6230 | 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
500.90/500.96 c 475s| 1100k|305417 | 0 | 0.0 | 292M| 183 | - | 295 |7583 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
506.10/506.18 o 41
506.10/506.18 c * 480s| 1105k|270190 | 0 | 0.0 | 262M| 183 | - | 295 |9405 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
511.60/511.61 c 486s| 1110k|266933 | 0 | 0.0 | 262M| 183 | - | 295 | 10k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
524.10/524.15 c 498s| 1120k|261199 | 0 | 0.0 | 261M| 183 | - | 295 | 13k| 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
539.30/539.37 c 513s| 1130k|255243 | 0 | 0.0 | 259M| 183 | - | 295 | 17k| 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
556.20/556.28 c 530s| 1140k|249199 | 0 | 0.0 | 256M| 183 | - | 295 | 17k| 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
574.00/574.04 c 547s| 1150k|242921 | 0 | 0.0 | 252M| 183 | - | 295 | 19k| 0 | 0 | 0 | 906k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
592.90/592.92 c 566s| 1160k|236409 | 0 | 0.0 | 245M| 183 | - | 295 | 20k| 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
599.70/599.76 c 572s| 1170k|238579 | 0 | 0.0 | 242M| 183 | - | 295 |6135 | 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
604.30/604.38 c 577s| 1180k|241569 | 0 | 0.0 | 247M| 183 | - | 295 |9926 | 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
608.41/608.47 c 581s| 1190k|245777 | 0 | 0.0 | 249M| 183 | - | 295 |4453 | 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
618.71/618.70 c 591s| 1200k|236903 | 0 | 0.0 | 249M| 183 | - | 295 |9209 | 0 | 0 | 0 | 965k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
634.51/634.58 c 606s| 1210k|225107 | 0 | 0.0 | 247M| 183 | - | 295 | 13k| 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
657.11/657.15 c 629s| 1220k|210380 | 0 | 0.0 | 242M| 183 | - | 295 | 18k| 0 | 0 | 0 | 996k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
683.71/683.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.71/683.79 c 655s| 1230k|195466 | 0 | 0.0 | 234M| 183 | - | 295 | 23k| 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 4.100000e+01 |4000.00%
706.21/706.21 o 30
706.21/706.21 c * 677s| 1237k|169998 | 0 | 0.0 | 203M| 183 | - | 295 | 27k| 0 | 0 | 0 |1025k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
717.01/717.09 c 688s| 1240k|165440 | 0 | 0.0 | 199M| 183 | - | 295 | 28k| 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
756.71/756.77 c 727s| 1250k|153088 | 0 | 0.0 | 187M| 183 | - | 295 | 35k| 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
772.01/772.05 o 29
772.01/772.05 c * 742s| 1253k|149334 | 0 | 0.0 | 183M| 183 | - | 295 | 38k| 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
804.81/804.89 c 775s| 1260k|141110 | 0 | 0.0 | 172M| 183 | - | 295 | 43k| 0 | 0 | 0 |1075k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
823.21/823.26 c 793s| 1270k|143696 | 0 | 0.0 | 170M| 183 | - | 295 | 31k| 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
840.71/840.72 c 811s| 1280k|144957 | 0 | 0.0 | 173M| 183 | - | 295 | 34k| 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
863.31/863.33 c 833s| 1290k|143936 | 0 | 0.0 | 175M| 183 | - | 295 | 40k| 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
879.81/879.84 c 849s| 1300k|147420 | 0 | 0.0 | 174M| 183 | - | 295 | 26k| 0 | 0 | 0 |1122k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
890.51/890.53 c 860s| 1310k|150113 | 0 | 0.0 | 177M| 183 | - | 295 | 22k| 0 | 0 | 0 |1131k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
909.62/909.70 c 879s| 1320k|142688 | 0 | 0.0 | 170M| 183 | - | 295 | 27k| 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
935.91/936.00 c 905s| 1330k|134754 | 0 | 0.0 | 158M| 183 | - | 295 | 35k| 0 | 0 | 0 |1169k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
963.81/963.84 c 933s| 1340k|132216 | 0 | 0.0 | 160M| 183 | - | 295 | 45k| 0 | 0 | 0 |1187k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
994.42/994.46 c 963s| 1350k|130420 | 0 | 0.0 | 159M| 183 | - | 295 | 46k| 0 | 0 | 0 |1203k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1016.61/1016.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.61/1016.62 c 985s| 1360k|132931 | 0 | 0.0 | 158M| 183 | - | 295 | 35k| 0 | 0 | 0 |1215k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1033.32/1033.37 c 1001s| 1370k|134895 | 0 | 0.0 | 160M| 183 | - | 295 | 33k| 0 | 0 | 0 |1226k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1050.32/1050.39 c 1018s| 1380k|134838 | 0 | 0.0 | 161M| 183 | - | 295 | 35k| 0 | 0 | 0 |1240k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1059.22/1059.26 c 1027s| 1390k|140841 | 0 | 0.0 | 161M| 183 | - | 295 | 23k| 0 | 0 | 0 |1244k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1076.62/1076.68 c 1044s| 1400k|137267 | 0 | 0.0 | 158M| 183 | - | 295 | 30k| 0 | 0 | 0 |1263k| 0 | 3.000000e+00 | 2.900000e+01 | 866.67%
1099.51/1099.59 c 1067s| 1410k|135210 | 0 | 0.0 | 158M| 183 | - | 295 | 34k| 0 | 0 | 0 |1279k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1119.02/1119.09 c 1086s| 1420k|133589 | 0 | 0.0 | 157M| 183 | - | 295 | 27k| 0 | 0 | 0 |1296k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1133.52/1133.53 c 1101s| 1430k|134895 | 0 | 0.0 | 155M| 183 | - | 295 | 21k| 0 | 0 | 0 |1308k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1139.11/1139.14 c 1106s| 1440k|140880 | 0 | 0.0 | 158M| 183 | - | 295 | 17k| 0 | 0 | 0 |1314k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1146.61/1146.66 c 1113s| 1450k|144824 | 0 | 0.0 | 163M| 183 | - | 295 | 21k| 0 | 0 | 0 |1322k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1156.92/1156.90 c 1123s| 1460k|147238 | 0 | 0.0 | 166M| 183 | - | 295 | 20k| 0 | 0 | 0 |1331k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1162.62/1162.68 c 1129s| 1470k|153239 | 0 | 0.0 | 167M| 183 | - | 295 | 14k| 0 | 0 | 0 |1336k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1169.92/1169.99 c 1136s| 1480k|154959 | 0 | 0.0 | 169M| 183 | - | 295 |9631 | 0 | 0 | 0 |1345k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1184.22/1184.23 c 1150s| 1490k|147255 | 0 | 0.0 | 168M| 183 | - | 295 | 14k| 0 | 0 | 0 |1362k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1199.61/1199.60 c 1165s| 1500k|138946 | 0 | 0.0 | 160M| 183 | - | 295 | 15k| 0 | 0 | 0 |1377k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1213.61/1213.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.61/1213.60 c 1179s| 1510k|134916 | 0 | 0.0 | 158M| 183 | - | 295 | 22k| 0 | 0 | 0 |1396k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1221.02/1221.07 c 1187s| 1520k|140320 | 0 | 0.0 | 160M| 183 | - | 295 | 18k| 0 | 0 | 0 |1405k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1229.32/1229.34 c 1195s| 1530k|144744 | 0 | 0.0 | 163M| 183 | - | 295 | 19k| 0 | 0 | 0 |1415k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1240.83/1240.88 c 1206s| 1540k|147246 | 0 | 0.0 | 167M| 183 | - | 295 | 22k| 0 | 0 | 0 |1426k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1258.02/1258.01 c 1223s| 1550k|147488 | 0 | 0.0 | 171M| 183 | - | 295 | 28k| 0 | 0 | 0 |1440k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1279.41/1279.46 c 1244s| 1560k|146638 | 0 | 0.0 | 173M| 183 | - | 295 | 35k| 0 | 0 | 0 |1455k| 0 | 4.000000e+00 | 2.900000e+01 | 625.00%
1298.62/1298.60 c 1263s| 1570k|148512 | 0 | 0.0 | 171M| 183 | - | 295 | 22k| 0 | 0 | 0 |1465k| 0 | 5.000000e+00 | 2.900000e+01 | 480.00%
1307.32/1307.35 c 1272s| 1580k|152327 | 0 | 0.0 | 174M| 183 | - | 295 | 18k| 0 | 0 | 0 |1473k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1317.02/1317.03 c 1281s| 1590k|154943 | 0 | 0.0 | 178M| 183 | - | 295 | 23k| 0 | 0 | 0 |1484k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1325.72/1325.71 c 1290s| 1600k|159569 | 0 | 0.0 | 182M| 183 | - | 295 | 20k| 0 | 0 | 0 |1491k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1333.82/1333.86 c 1298s| 1610k|163504 | 0 | 0.0 | 186M| 183 | - | 295 | 21k| 0 | 0 | 0 |1501k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1344.42/1344.45 c 1308s| 1620k|165092 | 0 | 0.0 | 189M| 183 | - | 295 | 23k| 0 | 0 | 0 |1512k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1361.02/1361.07 c 1325s| 1630k|162114 | 0 | 0.0 | 185M| 183 | - | 295 | 19k| 0 | 0 | 0 |1526k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1368.92/1368.92 c 1332s| 1640k|164841 | 0 | 0.0 | 185M| 183 | - | 295 | 16k| 0 | 0 | 0 |1535k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1378.12/1378.17 c 1341s| 1650k|163498 | 0 | 0.0 | 183M| 183 | - | 295 | 14k| 0 | 0 | 0 |1546k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1390.12/1390.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.12/1390.10 c 1353s| 1660k|163643 | 0 | 0.0 | 186M| 183 | - | 295 | 19k| 0 | 0 | 0 |1562k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1409.82/1409.81 c 1373s| 1670k|161580 | 0 | 0.0 | 189M| 183 | - | 295 | 24k| 0 | 0 | 0 |1579k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1435.73/1435.73 c 1398s| 1680k|158759 | 0 | 0.0 | 190M| 183 | - | 295 | 30k| 0 | 0 | 0 |1598k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1469.73/1469.73 c 1432s| 1690k|154008 | 0 | 0.0 | 189M| 183 | - | 295 | 40k| 0 | 0 | 0 |1618k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1487.93/1487.98 c 1450s| 1700k|155846 | 0 | 0.0 | 186M| 183 | - | 295 | 21k| 0 | 0 | 0 |1629k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1500.82/1500.85 c 1463s| 1710k|157337 | 0 | 0.0 | 190M| 183 | - | 295 | 25k| 0 | 0 | 0 |1641k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1514.42/1514.42 c 1476s| 1720k|158728 | 0 | 0.0 | 194M| 183 | - | 295 | 31k| 0 | 0 | 0 |1654k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1533.43/1533.49 c 1495s| 1730k|158868 | 0 | 0.0 | 196M| 183 | - | 295 | 35k| 0 | 0 | 0 |1668k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1552.82/1552.89 c 1515s| 1740k|160101 | 0 | 0.0 | 199M| 183 | - | 295 | 33k| 0 | 0 | 0 |1682k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1570.93/1570.95 c 1532s| 1750k|161070 | 0 | 0.0 | 201M| 183 | - | 295 | 35k| 0 | 0 | 0 |1695k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1590.23/1590.27 c 1552s| 1760k|161333 | 0 | 0.0 | 203M| 183 | - | 295 | 37k| 0 | 0 | 0 |1709k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1613.03/1613.07 c 1574s| 1770k|159827 | 0 | 0.0 | 205M| 183 | - | 295 | 43k| 0 | 0 | 0 |1725k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1631.93/1631.92 c 1593s| 1780k|162283 | 0 | 0.0 | 202M| 183 | - | 295 | 29k| 0 | 0 | 0 |1734k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1640.14/1640.18 c 1601s| 1790k|167808 | 0 | 0.0 | 205M| 183 | - | 295 | 26k| 0 | 0 | 0 |1740k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1652.03/1652.01 c 1613s| 1800k|170283 | 0 | 0.0 | 208M| 183 | - | 295 | 27k| 0 | 0 | 0 |1750k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1664.63/1664.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1664.63/1664.60 c 1625s| 1810k|172271 | 0 | 0.0 | 206M| 183 | - | 295 | 15k| 0 | 0 | 0 |1759k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1674.83/1674.81 c 1635s| 1820k|170374 | 0 | 0.0 | 206M| 183 | - | 295 | 15k| 0 | 0 | 0 |1770k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1692.63/1692.64 c 1653s| 1830k|165068 | 0 | 0.0 | 203M| 183 | - | 295 | 27k| 0 | 0 | 0 |1791k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1711.54/1711.52 c 1671s| 1840k|162734 | 0 | 0.0 | 200M| 183 | - | 295 | 24k| 0 | 0 | 0 |1808k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1732.43/1732.50 c 1692s| 1850k|160106 | 0 | 0.0 | 202M| 183 | - | 295 | 34k| 0 | 0 | 0 |1826k| 0 | 6.000000e+00 | 2.900000e+01 | 383.33%
1760.93/1760.98 c 1721s| 1860k|156992 | 0 | 0.0 | 202M| 183 | - | 295 | 44k| 0 | 0 | 0 |1844k| 0 | 7.000000e+00 | 2.900000e+01 | 314.29%
1793.83/1793.89 c 1753s| 1870k|155242 | 0 | 0.0 | 202M| 183 | - | 295 | 45k| 0 | 0 | 0 |1862k| 0 | 7.000000e+00 | 2.900000e+01 | 314.29%
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) : 1759.36
1800.04/1800.00 c Solving Nodes : 1871702
1800.04/1800.00 c Primal Bound : +2.90000000000000e+01 (14 solutions)
1800.04/1800.00 c Dual Bound : +7.00000000000000e+00
1800.04/1800.00 c Gap : 314.29 %
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 : 1759.36
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693944-1277898074.wbo
1800.04/1800.00 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.04/1800.00 c Constraints : 166 initial, 166 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693944-1277898074.wbo
1800.04/1800.00 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.04/1800.00 c Constraints : 159 initial, 53411 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 knapsack : 0.00 0 0 0 0 0 0 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 63 0 6 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 : - 26 - - 52 - - - -
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 : 63 0 5753466 0 1241218 13899 2266727 0 0 0
1800.04/1800.00 c knapsack : 1 0 6060349 0 1299791 100828 27755021 0 0 0
1800.04/1800.00 c setppc : 23 0 5959160 0 1299746 191721 3270527 0 0 0
1800.04/1800.00 c linear : 63 0 5767775 0 1299787 398325 5498780 0 0 0
1800.04/1800.00 c logicor : 9+ 0 2612276 0 1299602 90358 1590471 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 258601 0 0 5 25790 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1299801 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 : 5.76 0.00 3.64 0.00 2.12
1800.04/1800.00 c knapsack : 175.24 0.00 171.85 0.00 3.39
1800.04/1800.00 c setppc : 17.32 0.00 14.12 0.00 3.20
1800.04/1800.00 c linear : 63.06 0.00 62.47 0.00 0.59
1800.04/1800.00 c logicor : 741.52 0.00 740.29 0.00 1.23
1800.04/1800.00 c bounddisjunction : 1.60 0.00 1.60 0.00 0.00
1800.04/1800.00 c countsols : 0.19 0.00 0.00 0.00 0.19
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.25 2 0 0
1800.04/1800.00 c rootredcost : 0.80 0 0 0
1800.04/1800.00 c pseudoobj : 16.08 6094796 20699 2120800
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 24.64 801936 801846 3918391 19.6 146824 14.1 -
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.03 238 238 929 17.8 26 14.0 -
1800.04/1800.00 c applied globally : - - - 1846532 15.6 - - -
1800.04/1800.00 c applied locally : - - - 18986 36.1 - - -
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 : 12.70 1299787 0 0 0 0 2599574
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.38 - 14
1800.04/1800.00 c oneopt : 0.41 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.26 0 0
1800.04/1800.00 c trysol : 0.18 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 : 1871702
1800.04/1800.00 c nodes (total) : 1871702
1800.04/1800.00 c nodes left : 154635
1800.04/1800.00 c max depth : 183
1800.04/1800.00 c max depth (total): 183
1800.04/1800.00 c backtracks : 639105 (34.1%)
1800.04/1800.00 c delayed cutoffs : 425300
1800.04/1800.00 c repropagations : 2543643 (10965270 domain reductions, 244172 cutoffs)
1800.04/1800.00 c avg switch length: 24.16
1800.04/1800.00 c switching time : 531.15
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 14 (14 improvements)
1800.04/1800.00 c First Solution : +3.41000000000000e+02 (in run 1, after 16661 nodes, 2.36 seconds, depth 75, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +2.90000000000000e+01 (in run 1, after 1253561 nodes, 742.38 seconds, depth 78, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +7.00000000000000e+00
1800.04/1800.00 c Gap : 314.29 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.53/1800.51 c Time complete: 1800.56.
OK 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693944-1277898074/watcher-2693944-1277898074 -o /tmp/evaluation-result-2693944-1277898074/solver-2693944-1277898074 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693944-1277898074.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.06 2.01 2.00 4/196 11959 /proc/meminfo: memFree=31066692/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=8252 CPUtime=0 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 1548 0 0 0 0 0 0 0 21 0 1 0 131104334 8450048 1470 4089446400 4194304 7136930 140737428880176 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/11959/statm: 2063 1470 275 719 0 1342 0 [startup+0.0102121 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11959 /proc/meminfo: memFree=31066692/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=10660 CPUtime=0 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 2846 0 0 0 0 0 0 0 21 0 1 0 131104334 10915840 1901 4089446400 4194304 7136930 140737428880176 18446744073709551615 4936963 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 2665 1901 348 719 0 1944 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10660 [startup+0.100302 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11959 /proc/meminfo: memFree=31066692/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=13148 CPUtime=0.09 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 5061 0 0 0 6 3 0 0 21 0 1 0 131104334 13463552 2574 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 3287 2574 404 719 0 2566 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13148 [startup+0.300265 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11959 /proc/meminfo: memFree=31066692/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=14716 CPUtime=0.29 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 5457 0 0 0 22 7 0 0 21 0 1 0 131104334 15069184 2970 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 3679 2970 404 719 0 2958 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14716 [startup+0.700189 s] /proc/loadavg: 2.06 2.01 2.00 4/196 11959 /proc/meminfo: memFree=31066692/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=17128 CPUtime=0.69 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 6096 0 0 0 52 17 0 0 22 0 1 0 131104334 17539072 3609 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 4282 3609 404 719 0 3561 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17128 [startup+1.50095 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11960 /proc/meminfo: memFree=31053700/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=20952 CPUtime=1.49 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 7036 0 0 0 120 29 0 0 25 0 1 0 131104334 21454848 4549 4089446400 4194304 7136930 140737428880176 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 5238 4549 404 719 0 4517 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20952 [startup+3.10071 s] /proc/loadavg: 2.06 2.01 2.00 3/197 11960 /proc/meminfo: memFree=31049236/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=24724 CPUtime=3.09 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 8025 0 0 0 258 51 0 0 25 0 1 0 131104334 25317376 5538 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 6181 5538 404 719 0 5460 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24724 [startup+6.3002 s] /proc/loadavg: 2.05 2.01 2.00 3/197 11960 /proc/meminfo: memFree=31041084/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=31688 CPUtime=6.29 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 9754 0 0 0 546 83 0 0 25 0 1 0 131104334 32448512 7267 4089446400 4194304 7136930 140737428880176 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 7922 7267 404 719 0 7201 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31688 [startup+12.701 s] /proc/loadavg: 2.05 2.01 2.00 3/197 11960 /proc/meminfo: memFree=31031668/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=40660 CPUtime=12.69 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 12003 0 0 0 1137 132 0 0 25 0 1 0 131104334 41635840 9516 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 10165 9516 404 719 0 9444 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40660 [startup+25.5008 s] /proc/loadavg: 2.04 2.01 2.00 3/197 11960 /proc/meminfo: memFree=31005556/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=67144 CPUtime=25.5 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 18764 0 0 0 2247 303 0 0 25 0 1 0 131104334 68755456 16277 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 16786 16277 405 719 0 16065 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 67144 [startup+51.1002 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11961 /proc/meminfo: memFree=30992384/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=84160 CPUtime=51.1 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 22517 0 0 0 4636 474 0 0 25 0 1 0 131104334 86179840 20030 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/11959/statm: 21040 20030 405 719 0 20319 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 84160 [startup+102.307 s] /proc/loadavg: 2.01 2.00 2.00 3/197 11962 /proc/meminfo: memFree=30889548/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=184548 CPUtime=102.3 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 47799 0 0 0 9153 1077 0 0 25 0 1 0 131104334 188977152 45312 4089446400 4194304 7136930 140737428880176 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11959/statm: 46137 45312 407 719 0 45416 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 184548 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 2/177 11967 /proc/meminfo: memFree=31159964/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=261660 CPUtime=162.29 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 66114 0 0 0 14602 1627 0 0 25 0 1 0 131104334 267939840 63627 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/11959/statm: 65415 63627 407 719 0 64694 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 261660 [startup+222.301 s] /proc/loadavg: 2.13 2.03 2.01 3/197 12146 /proc/meminfo: memFree=30891456/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=343420 CPUtime=222.29 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 86380 0 0 0 20395 1834 0 0 25 0 1 0 131104334 351662080 83893 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 85855 83893 407 719 0 85134 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 343420 [startup+282.301 s] /proc/loadavg: 2.13 2.04 2.01 3/197 12147 /proc/meminfo: memFree=30814412/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=385896 CPUtime=282.3 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 96969 0 0 0 26243 1987 0 0 25 0 1 0 131104334 395157504 94482 4089446400 4194304 7136930 140737428880176 18446744073709551615 4208935 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 96474 94482 407 719 0 95753 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 385896 [startup+342.3 s] /proc/loadavg: 2.04 2.03 2.00 3/197 12149 /proc/meminfo: memFree=30792808/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=400160 CPUtime=342.29 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 100548 0 0 0 32157 2072 0 0 25 0 1 0 131104334 409763840 98061 4089446400 4194304 7136930 140737428880176 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 100040 98061 407 719 0 99319 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 400160 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/197 12150 /proc/meminfo: memFree=30739452/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=444548 CPUtime=402.3 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 111513 0 0 0 38011 2219 0 0 25 0 1 0 131104334 455217152 109026 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 111137 109026 407 719 0 110416 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 444548 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 12152 /proc/meminfo: memFree=30695500/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=467384 CPUtime=462.3 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 117176 0 0 0 43801 2429 0 0 25 0 1 0 131104334 478601216 114689 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 116846 114689 407 719 0 116125 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 467384 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 12154 /proc/meminfo: memFree=30680060/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=467384 CPUtime=522.31 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 117178 0 0 0 49621 2610 0 0 25 0 1 0 131104334 478601216 114691 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 116846 114691 407 719 0 116125 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 467384 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 12156 /proc/meminfo: memFree=30660556/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=467384 CPUtime=582.3 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 117178 0 0 0 55531 2699 0 0 25 0 1 0 131104334 478601216 114691 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 116846 114691 407 719 0 116125 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 467384 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12157 /proc/meminfo: memFree=30652052/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=468408 CPUtime=642.31 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 117434 0 0 0 61395 2836 0 0 25 0 1 0 131104334 479649792 114947 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 117102 114947 407 719 0 116381 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 468408 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12166 /proc/meminfo: memFree=30606692/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=471424 CPUtime=1002.32 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118016 0 0 0 97069 3163 0 0 25 0 1 0 131104334 482738176 115529 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 117856 115529 407 719 0 117135 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 471424 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12168 /proc/meminfo: memFree=30599332/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=472040 CPUtime=1062.32 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118118 0 0 0 103005 3227 0 0 25 0 1 0 131104334 483368960 115631 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118010 115631 407 719 0 117289 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 472040 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12170 /proc/meminfo: memFree=30580448/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=472040 CPUtime=1122.32 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118119 0 0 0 108944 3288 0 0 25 0 1 0 131104334 483368960 115632 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118010 115632 407 719 0 117289 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 472040 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12171 /proc/meminfo: memFree=30575304/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=472040 CPUtime=1182.32 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118120 0 0 0 114835 3397 0 0 25 0 1 0 131104334 483368960 115633 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118010 115633 407 719 0 117289 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 472040 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12182 /proc/meminfo: memFree=30553980/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=472040 CPUtime=1242.31 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118120 0 0 0 120740 3491 0 0 25 0 1 0 131104334 483368960 115633 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118010 115633 407 719 0 117289 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 472040 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12183 /proc/meminfo: memFree=30544508/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=472040 CPUtime=1302.32 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118125 0 0 0 126683 3549 0 0 25 0 1 0 131104334 483368960 115638 4089446400 4194304 7136930 140737428880176 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118010 115638 407 719 0 117289 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 472040 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12185 /proc/meminfo: memFree=30538520/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=472040 CPUtime=1362.33 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118130 0 0 0 132589 3644 0 0 25 0 1 0 131104334 483368960 115643 4089446400 4194304 7136930 140737428880176 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118010 115643 407 719 0 117289 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 472040 [startup+1422.31 s] /proc/loadavg: 2.05 2.01 2.00 3/197 12187 /proc/meminfo: memFree=30534144/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=473064 CPUtime=1422.33 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118390 0 0 0 138514 3719 0 0 25 0 1 0 131104334 484417536 115903 4089446400 4194304 7136930 140737428880176 18446744073709551615 4219822 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118266 115903 407 719 0 117545 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 473064 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 4/198 12189 /proc/meminfo: memFree=30532972/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=473064 CPUtime=1482.33 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118391 0 0 0 144472 3761 0 0 25 0 1 0 131104334 484417536 115904 4089446400 4194304 7136930 140737428880176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118266 115904 407 719 0 117545 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 473064 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12190 /proc/meminfo: memFree=30525988/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=473064 CPUtime=1542.33 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118406 0 0 0 150408 3825 0 0 25 0 1 0 131104334 484417536 115919 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118266 115919 407 719 0 117545 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 473064 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12191 /proc/meminfo: memFree=30524460/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=474184 CPUtime=1602.33 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 118596 0 0 0 156358 3875 0 0 25 0 1 0 131104334 485564416 116109 4089446400 4194304 7136930 140737428880176 18446744073709551615 4221373 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 118546 116109 407 719 0 117825 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 474184 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12193 /proc/meminfo: memFree=30520680/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=477260 CPUtime=1662.33 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 119365 0 0 0 162291 3942 0 0 25 0 1 0 131104334 488714240 116878 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 119315 116878 407 719 0 118594 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 477260 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12195 /proc/meminfo: memFree=30518048/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=479308 CPUtime=1722.33 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 119877 0 0 0 168215 4018 0 0 25 0 1 0 131104334 490811392 117390 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 119827 117390 407 719 0 119106 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 479308 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12197 /proc/meminfo: memFree=30517272/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=480108 CPUtime=1782.34 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 120000 0 0 0 174177 4057 0 0 25 0 1 0 131104334 491630592 117513 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 120027 117513 407 719 0 119306 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 480108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12197 /proc/meminfo: memFree=30516396/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=480616 CPUtime=1800.04 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 120172 0 0 0 175936 4068 0 0 25 0 1 0 131104334 492150784 117685 4089446400 4194304 7136930 140737428880176 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/11959/statm: 120154 117685 407 719 0 119433 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 480616 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/197 12197 /proc/meminfo: memFree=30516396/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=480760 CPUtime=1800.23 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 120189 0 0 0 175955 4068 0 0 25 0 1 0 131104334 492298240 117702 4089446400 4194304 7136930 140737428880176 18446744073709551615 4212060 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11959/statm: 120190 117702 412 719 0 119469 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 480760 [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12197 /proc/meminfo: memFree=30516396/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=479736 CPUtime=1800.43 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 120189 0 0 0 175975 4068 0 0 25 0 1 0 131104334 491249664 117446 4089446400 4194304 7136930 140737428880176 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11959/statm: 119934 117446 412 719 0 119213 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 479736 [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12197 /proc/meminfo: memFree=30516396/32950928 swapFree=67111528/67111528 [pid=11959] ppid=11957 vsize=382784 CPUtime=1800.53 /proc/11959/stat : 11959 (pbscip.linux.x8) R 11957 11959 9960 0 -1 4202496 120189 0 0 0 175985 4068 0 0 25 0 1 0 131104334 391970816 93084 4089446400 4194304 7136930 140737428880176 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/11959/statm: 95438 92955 412 719 0 94717 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (KiB) 382784 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.56 CPU user time (s): 1759.86 CPU system time (s): 40.7008 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 480760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1759.86 system time used= 40.7008 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120196 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= 5573 runsolver used 2.95855 second user time and 6.61899 second system time The end
Begin job on node122 at 2010-06-30 13:41:14 IDJOB=2693944 IDBENCH=78824 IDSOLVER=1206 FILE ID=node122/2693944-1277898074 PBS_JOBID= 11197109 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.1110977780--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693944-1277898074/watcher-2693944-1277898074 -o /tmp/evaluation-result-2693944-1277898074/solver-2693944-1277898074 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693944-1277898074.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11192ef633da7cef97eefdeccab8f20f RANDOM SEED=951600697 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31066600 kB Buffers: 180504 kB Cached: 1148236 kB SwapCached: 0 kB Active: 919960 kB Inactive: 819780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31066600 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3432 kB Writeback: 0 kB AnonPages: 411524 kB Mapped: 20692 kB Slab: 78992 kB PageTables: 6012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1659396 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= 74208 MiB End job on node122 at 2010-06-30 14:11:16