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-2664600-1276356073.opb>
0.00/0.01 c original problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 23 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 10 clqs
0.00/0.01 c (round 2) 0 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 3 upgd conss, 0 impls, 10 clqs
0.00/0.02 c (round 3) 0 del vars, 10 del conss, 0 chg bounds, 1 chg sides, 20 chg coeffs, 13 upgd conss, 0 impls, 10 clqs
0.00/0.02 c presolving (4 rounds):
0.00/0.02 c 0 deleted vars, 10 deleted constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 20 changed coefficients
0.00/0.02 c 0 implications, 10 cliques
0.00/0.02 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.02 c 3 constraints of type <knapsack>
0.00/0.02 c 10 constraints of type <setppc>
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 = 1620
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.03 c 0.0s| 1 | 2 | 0 | - | 223k| 0 | - | 40 | 13 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 o 65725
0.29/0.35 c * 0.3s| 4582 | 4580 | 0 | 0.0 |1667k| 24 | - | 40 | 13 | 0 | 0 | 0 | 0 | 0 | 3.188400e+04 | 6.572500e+04 | 106.14%
0.49/0.59 o 65660
0.49/0.59 c * 0.4s| 7729 | 7702 | 0 | 0.0 |2690k| 24 | - | 40 | 41 | 0 | 0 | 0 | 28 | 0 | 3.319700e+04 | 6.566000e+04 | 97.79%
0.49/0.59 o 65529
0.49/0.59 c * 0.5s| 7807 | 7773 | 0 | 0.0 |2716k| 24 | - | 40 | 47 | 0 | 0 | 0 | 34 | 0 | 3.321100e+04 | 6.552900e+04 | 97.31%
0.59/0.60 o 65372
0.59/0.60 c * 0.5s| 7873 | 7829 | 0 | 0.0 |2739k| 25 | - | 40 | 57 | 0 | 0 | 0 | 44 | 0 | 3.323000e+04 | 6.537200e+04 | 96.73%
0.59/0.66 o 65098
0.59/0.66 c * 0.5s| 8559 | 8422 | 0 | 0.0 |2987k| 25 | - | 40 | 170 | 0 | 0 | 0 | 157 | 0 | 3.340300e+04 | 6.509800e+04 | 94.89%
0.69/0.78 c 0.6s| 10000 | 9725 | 0 | 0.0 |3514k| 25 | - | 40 | 360 | 0 | 0 | 0 | 347 | 0 | 3.386700e+04 | 6.509800e+04 | 92.22%
0.89/0.95 o 63640
0.89/0.95 c * 0.7s| 11643 | 11112 | 0 | 0.0 |4129k| 25 | - | 40 | 643 | 0 | 0 | 0 | 630 | 0 | 3.601700e+04 | 6.364000e+04 | 76.69%
0.89/0.95 o 63595
0.89/0.95 c * 0.7s| 11645 | 11112 | 0 | 0.0 |4130k| 25 | - | 40 | 643 | 0 | 0 | 0 | 630 | 0 | 3.601700e+04 | 6.359500e+04 | 76.57%
0.89/0.96 o 63426
0.89/0.96 c * 0.7s| 11717 | 11165 | 0 | 0.0 |4157k| 25 | - | 40 | 664 | 0 | 0 | 0 | 651 | 0 | 3.639300e+04 | 6.342600e+04 | 74.28%
1.10/1.13 o 63377
1.10/1.13 c * 0.9s| 13582 | 12905 | 0 | 0.0 |4767k| 29 | - | 40 | 762 | 0 | 0 | 0 | 749 | 0 | 3.817400e+04 | 6.337700e+04 | 66.02%
1.10/1.17 o 63361
1.10/1.17 c * 0.9s| 13927 | 13217 | 0 | 0.0 |4889k| 29 | - | 40 | 796 | 0 | 0 | 0 | 783 | 0 | 3.823700e+04 | 6.336100e+04 | 65.71%
1.49/1.51 o 63300
1.49/1.51 c * 1.2s| 16906 | 15847 | 0 | 0.0 |5927k| 29 | - | 40 |1185 | 0 | 0 | 0 |1177 | 0 | 3.862400e+04 | 6.330000e+04 | 63.89%
1.89/1.95 c 1.6s| 20000 | 18408 | 0 | 0.0 |7062k| 29 | - | 40 |1734 | 0 | 0 | 0 |1737 | 0 | 3.891800e+04 | 6.330000e+04 | 62.65%
1.99/2.00 o 63261
1.99/2.00 c * 1.6s| 20301 | 18640 | 0 | 0.0 |7167k| 29 | - | 40 |1801 | 0 | 0 | 0 |1805 | 0 | 3.894500e+04 | 6.326100e+04 | 62.44%
4.29/4.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.29/4.37 c 3.8s| 30000 | 26095 | 0 | 0.0 | 10M| 29 | - | 40 |4047 | 0 | 0 | 0 |4258 | 0 | 3.976000e+04 | 6.326100e+04 | 59.11%
8.69/8.78 c 8.0s| 40000 | 33492 | 0 | 0.0 | 14M| 29 | - | 40 |5853 | 0 | 0 | 0 |6930 | 0 | 4.079800e+04 | 6.326100e+04 | 55.06%
8.89/8.98 o 62362
8.89/8.98 c * 8.2s| 40374 | 33766 | 0 | 0.0 | 14M| 29 | - | 40 |5847 | 0 | 0 | 0 |7013 | 0 | 4.085800e+04 | 6.236200e+04 | 52.63%
10.39/10.41 o 62210
10.39/10.41 c * 9.6s| 43020 | 35744 | 0 | 0.0 | 15M| 29 | - | 40 |5849 | 0 | 0 | 0 |7656 | 0 | 4.127100e+04 | 6.221000e+04 | 50.74%
10.39/10.42 o 62129
10.39/10.42 c * 9.6s| 43022 | 35739 | 0 | 0.0 | 15M| 29 | - | 40 |5849 | 0 | 0 | 0 |7656 | 0 | 4.127100e+04 | 6.212900e+04 | 50.54%
12.00/12.06 o 62116
12.00/12.06 c *11.2s| 45894 | 37507 | 0 | 0.0 | 16M| 29 | - | 40 |6306 | 0 | 0 | 0 |8618 | 0 | 4.301700e+04 | 6.211600e+04 | 44.40%
12.19/12.27 o 62113
12.19/12.27 c *11.4s| 46315 | 37750 | 0 | 0.0 | 16M| 29 | - | 40 |6397 | 0 | 0 | 0 |8743 | 0 | 4.315200e+04 | 6.211300e+04 | 43.94%
13.38/13.48 o 62094
13.38/13.48 c *12.5s| 48178 | 38762 | 0 | 0.0 | 16M| 29 | - | 40 |6831 | 0 | 0 | 0 |9372 | 0 | 4.355400e+04 | 6.209400e+04 | 42.57%
14.68/14.77 c 13.8s| 50000 | 39633 | 0 | 0.0 | 17M| 29 | - | 40 |7220 | 0 | 0 | 0 | 10k| 0 | 4.380400e+04 | 6.209400e+04 | 41.75%
22.88/22.91 c 21.7s| 60000 | 45137 | 0 | 0.0 | 20M| 29 | - | 40 |8870 | 0 | 0 | 0 | 13k| 0 | 4.449200e+04 | 6.209400e+04 | 39.56%
32.68/32.74 c 31.4s| 70000 | 50794 | 0 | 0.0 | 22M| 29 | - | 40 |9211 | 0 | 0 | 0 | 17k| 0 | 4.491500e+04 | 6.209400e+04 | 38.25%
42.28/42.31 c 40.7s| 80000 | 56169 | 0 | 0.0 | 24M| 29 | - | 40 |8997 | 0 | 0 | 0 | 21k| 0 | 4.524300e+04 | 6.209400e+04 | 37.25%
52.78/52.85 c 51.1s| 90000 | 61180 | 0 | 0.0 | 27M| 29 | - | 40 | 10k| 0 | 0 | 0 | 25k| 0 | 4.557200e+04 | 6.209400e+04 | 36.25%
64.18/64.29 c 62.3s|100000 | 66075 | 0 | 0.0 | 29M| 29 | - | 40 | 10k| 0 | 0 | 0 | 29k| 0 | 4.586100e+04 | 6.209400e+04 | 35.40%
77.27/77.32 c 75.1s|110000 | 70677 | 0 | 0.0 | 31M| 29 | - | 40 | 11k| 0 | 0 | 0 | 34k| 0 | 4.614900e+04 | 6.209400e+04 | 34.55%
90.36/90.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.36/90.45 c 88.0s|120000 | 75106 | 0 | 0.0 | 33M| 29 | - | 40 | 11k| 0 | 0 | 0 | 39k| 0 | 4.645600e+04 | 6.209400e+04 | 33.66%
104.86/104.91 c 102s|130000 | 78976 | 0 | 0.0 | 35M| 29 | - | 40 | 10k| 0 | 0 | 0 | 45k| 0 | 4.692100e+04 | 6.209400e+04 | 32.34%
118.06/118.17 c 115s|140000 | 83339 | 0 | 0.0 | 37M| 29 | - | 40 | 10k| 0 | 0 | 0 | 50k| 0 | 4.743500e+04 | 6.209400e+04 | 30.90%
130.76/130.88 c 128s|150000 | 87544 | 0 | 0.0 | 39M| 29 | - | 40 | 10k| 0 | 0 | 0 | 55k| 0 | 4.847000e+04 | 6.209400e+04 | 28.11%
142.65/142.75 o 62027
142.65/142.75 c * 139s|157291 | 88590 | 0 | 0.0 | 40M| 29 | - | 40 | 12k| 0 | 0 | 0 | 60k| 0 | 5.021900e+04 | 6.202700e+04 | 23.51%
148.05/148.19 c 145s|160000 | 88797 | 0 | 0.0 | 41M| 29 | - | 40 | 13k| 0 | 0 | 0 | 62k| 0 | 5.040900e+04 | 6.202700e+04 | 23.05%
175.53/175.66 c 172s|170000 | 89185 | 0 | 0.0 | 43M| 29 | - | 40 | 16k| 0 | 0 | 0 | 69k| 0 | 5.089000e+04 | 6.202700e+04 | 21.88%
213.83/213.95 c 210s|180000 | 88671 | 0 | 0.0 | 45M| 29 | - | 40 | 18k| 0 | 0 | 0 | 77k| 0 | 5.122000e+04 | 6.202700e+04 | 21.10%
259.11/259.25 c 255s|190000 | 88239 | 0 | 0.0 | 47M| 29 | - | 40 | 21k| 0 | 0 | 0 | 85k| 0 | 5.145100e+04 | 6.202700e+04 | 20.56%
309.70/309.84 c 305s|200000 | 87451 | 0 | 0.0 | 49M| 29 | - | 40 | 21k| 0 | 0 | 0 | 94k| 0 | 5.165600e+04 | 6.202700e+04 | 20.08%
365.79/365.92 c 361s|210000 | 86465 | 0 | 0.0 | 50M| 29 | - | 40 | 23k| 0 | 0 | 0 | 103k| 0 | 5.183500e+04 | 6.202700e+04 | 19.66%
422.28/422.45 c 417s|220000 | 85375 | 0 | 0.0 | 51M| 29 | - | 40 | 23k| 0 | 0 | 0 | 112k| 0 | 5.202300e+04 | 6.202700e+04 | 19.23%
481.35/481.59 c 476s|230000 | 84139 | 0 | 0.0 | 52M| 29 | - | 40 | 24k| 0 | 0 | 0 | 121k| 0 | 5.221500e+04 | 6.202700e+04 | 18.79%
545.14/545.35 c 539s|240000 | 82400 | 0 | 0.0 | 53M| 29 | - | 40 | 24k| 0 | 0 | 0 | 131k| 0 | 5.241300e+04 | 6.202700e+04 | 18.34%
607.91/608.14 c 602s|250000 | 81024 | 0 | 0.0 | 53M| 29 | - | 40 | 23k| 0 | 0 | 0 | 140k| 0 | 5.261100e+04 | 6.202700e+04 | 17.90%
668.39/668.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.39/668.61 c 662s|260000 | 79479 | 0 | 0.0 | 54M| 29 | - | 40 | 23k| 0 | 0 | 0 | 149k| 0 | 5.281400e+04 | 6.202700e+04 | 17.44%
725.38/725.60 c 718s|270000 | 78224 | 0 | 0.0 | 54M| 29 | - | 40 | 21k| 0 | 0 | 0 | 158k| 0 | 5.301200e+04 | 6.202700e+04 | 17.01%
776.57/776.89 c 769s|280000 | 77299 | 0 | 0.0 | 54M| 29 | - | 40 | 19k| 0 | 0 | 0 | 167k| 0 | 5.320700e+04 | 6.202700e+04 | 16.58%
825.85/826.11 c 818s|290000 | 76167 | 0 | 0.0 | 54M| 29 | - | 40 | 18k| 0 | 0 | 0 | 176k| 0 | 5.343900e+04 | 6.202700e+04 | 16.07%
873.53/873.82 c 866s|300000 | 75067 | 0 | 0.0 | 55M| 29 | - | 40 | 17k| 0 | 0 | 0 | 186k| 0 | 5.370100e+04 | 6.202700e+04 | 15.50%
923.31/923.66 c 915s|310000 | 73693 | 0 | 0.0 | 55M| 29 | - | 40 | 16k| 0 | 0 | 0 | 195k| 0 | 5.407000e+04 | 6.202700e+04 | 14.72%
974.41/974.79 c 966s|320000 | 71872 | 0 | 0.0 | 56M| 29 | - | 40 | 17k| 0 | 0 | 0 | 206k| 0 | 5.546900e+04 | 6.202700e+04 | 11.82%
1064.38/1064.71 c 1055s|330000 | 61698 | 0 | 0.0 | 54M| 29 | - | 40 | 23k| 0 | 0 | 0 | 218k| 0 | 5.780000e+04 | 6.202700e+04 | 7.31%
1203.04/1203.45 c 1194s|340000 | 50878 | 0 | 0.0 | 50M| 29 | - | 40 | 26k| 0 | 0 | 0 | 231k| 0 | 5.832600e+04 | 6.202700e+04 | 6.35%
1353.88/1354.32 c 1344s|350000 | 39899 | 0 | 0.0 | 43M| 29 | - | 40 | 25k| 0 | 0 | 0 | 245k| 0 | 5.874400e+04 | 6.202700e+04 | 5.59%
1496.25/1496.78 c 1486s|360000 | 28756 | 0 | 0.0 | 36M| 29 | - | 40 | 22k| 0 | 0 | 0 | 260k| 0 | 5.916600e+04 | 6.202700e+04 | 4.84%
1632.11/1632.64 c 1622s|370000 | 17397 | 0 | 0.0 | 28M| 29 | - | 40 | 22k| 0 | 0 | 0 | 275k| 0 | 5.961900e+04 | 6.202700e+04 | 4.04%
1765.28/1765.86 c 1755s|380000 | 5659 | 0 | 0.0 | 17M| 29 | - | 40 | 22k| 0 | 0 | 0 | 290k| 0 | 6.036800e+04 | 6.202700e+04 | 2.75%
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1789.24
1800.08/1800.61 c Solving Nodes : 382680
1800.08/1800.61 c Primal Bound : +6.20270000000000e+04 (19 solutions)
1800.08/1800.61 c Dual Bound : +6.07680000000000e+04
1800.08/1800.61 c Gap : 2.07 %
1800.08/1800.61 s SATISFIABLE
1800.08/1800.61 v -x40 -x39 x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 x18 -x17 -x16 x15 -x14
1800.08/1800.61 v -x13 -x12 -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1789.24
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2664600-1276356073.opb
1800.08/1800.61 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 23 initial, 23 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2664600-1276356073.opb
1800.08/1800.61 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 13 initial, 26734 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 0.01 0 0 0 0 0 0 1 10
1800.08/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.00 0 0 0 0 0 10 0 10
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 3 0 965781 0 231540 9474 46824 0 0 0
1800.08/1800.61 c setppc : 10 0 956281 0 231521 202392 426461 0 0 0
1800.08/1800.61 c logicor : 0+ 0 435618 0 0 6 102361 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 231539 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c knapsack : 6.83 0.00 5.97 0.00 0.86
1800.08/1800.61 c setppc : 17.69 0.00 17.41 0.00 0.28
1800.08/1800.61 c logicor : 938.34 0.00 938.34 0.00 0.00
1800.08/1800.61 c countsols : 0.09 0.00 0.00 0.00 0.09
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 0.71 2 0 0
1800.08/1800.61 c rootredcost : 0.55 0 0 0
1800.08/1800.61 c pseudoobj : 12.46 979419 13718 653906
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 6.69 225590 225433 557686 14.1 330 14.3 -
1800.08/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 294644 12.4 - - -
1800.08/1800.61 c applied locally : - - - 0 0.0 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.61 c redcost : 0.00 0 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.00 0 0 0 0 0
1800.08/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.61 c cmir : 0.00 0 0 0 0 0
1800.08/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.61 c clique : 0.00 0 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 0 0 0 0 0
1800.08/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 2.25 231520 0 0 0 0 463040
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.01 - 19
1800.08/1800.61 c oneopt : 0.51 0 0
1800.08/1800.61 c trivial : 0.00 2 0
1800.08/1800.61 c simplerounding : 0.00 0 0
1800.08/1800.61 c zirounding : 0.00 0 0
1800.08/1800.61 c rounding : 0.00 0 0
1800.08/1800.61 c shifting : 0.00 0 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c twoopt : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.00 0 0
1800.08/1800.61 c coefdiving : 0.00 0 0
1800.08/1800.61 c pscostdiving : 0.00 0 0
1800.08/1800.61 c fracdiving : 0.00 0 0
1800.08/1800.61 c veclendiving : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c objpscostdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 0.00 0 0
1800.08/1800.61 c linesearchdiving : 0.00 0 0
1800.08/1800.61 c guideddiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.00 0 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c crossover : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c undercover : 0.00 0 0
1800.08/1800.61 c nlp : 0.24 0 0
1800.08/1800.61 c trysol : 0.24 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.61 c (at root node) : - 0 0 0.00 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 382680
1800.08/1800.61 c nodes (total) : 382680
1800.08/1800.61 c nodes left : 2435
1800.08/1800.61 c max depth : 29
1800.08/1800.61 c max depth (total): 29
1800.08/1800.61 c backtracks : 159164 (41.6%)
1800.08/1800.61 c delayed cutoffs : 77856
1800.08/1800.61 c repropagations : 228712 (385710 domain reductions, 74449 cutoffs)
1800.08/1800.61 c avg switch length: 15.47
1800.08/1800.61 c switching time : 540.16
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 19 (19 improvements)
1800.08/1800.61 c First Solution : +6.57250000000000e+04 (in run 1, after 4582 nodes, 0.26 seconds, depth 20, found by <relaxation>)
1800.08/1800.61 c Primal Bound : +6.20270000000000e+04 (in run 1, after 157291 nodes, 139.38 seconds, depth 20, found by <relaxation>)
1800.08/1800.61 c Dual Bound : +6.07680000000000e+04
1800.08/1800.61 c Gap : 2.07 %
1800.08/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Root Iterations : 0
1800.08/1800.71 c Time complete: 1800.18.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664600-1276356073/watcher-2664600-1276356073 -o /tmp/evaluation-result-2664600-1276356073/solver-2664600-1276356073 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664600-1276356073.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.05 1.08 1.04 3/106 11292
/proc/meminfo: memFree=1475508/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=6584 CPUtime=0
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 976 0 0 0 0 0 0 0 20 0 1 0 11211131 6742016 899 1992294400 4194304 7136930 140734990097696 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11292/statm: 1646 909 254 719 0 925 0
[startup+0.058582 s]
/proc/loadavg: 1.05 1.08 1.04 3/106 11292
/proc/meminfo: memFree=1475508/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=10884 CPUtime=0.05
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 4235 0 0 0 3 2 0 0 20 0 1 0 11211131 11145216 2006 1992294400 4194304 7136930 140734990097696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 2721 2006 388 719 0 2000 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10884
[startup+0.100586 s]
/proc/loadavg: 1.05 1.08 1.04 3/106 11292
/proc/meminfo: memFree=1475508/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=11304 CPUtime=0.09
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 4338 0 0 0 6 3 0 0 20 0 1 0 11211131 11575296 2109 1992294400 4194304 7136930 140734990097696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 2826 2109 388 719 0 2105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11304
[startup+0.300605 s]
/proc/loadavg: 1.05 1.08 1.04 3/106 11292
/proc/meminfo: memFree=1475508/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=12400 CPUtime=0.29
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 4602 0 0 0 22 7 0 0 20 0 1 0 11211131 12697600 2373 1992294400 4194304 7136930 140734990097696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 3100 2373 388 719 0 2379 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12400
[startup+0.700643 s]
/proc/loadavg: 1.05 1.08 1.04 3/106 11292
/proc/meminfo: memFree=1475508/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=15036 CPUtime=0.69
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 5307 0 0 0 52 17 0 0 21 0 1 0 11211131 15396864 3078 1992294400 4194304 7136930 140734990097696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 3759 3078 394 719 0 3038 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15036
[startup+1.50072 s]
/proc/loadavg: 1.05 1.08 1.04 2/107 11293
/proc/meminfo: memFree=1464092/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=17304 CPUtime=1.49
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 5907 0 0 0 119 30 0 0 23 0 1 0 11211131 17719296 3678 1992294400 4194304 7136930 140734990097696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 4326 3678 394 719 0 3605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17304
[startup+3.10087 s]
/proc/loadavg: 1.05 1.07 1.04 2/107 11293
/proc/meminfo: memFree=1460000/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=21904 CPUtime=3.09
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 7054 0 0 0 261 48 0 0 25 0 1 0 11211131 22429696 4825 1992294400 4194304 7136930 140734990097696 18446744073709551615 5950410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 5476 4825 394 719 0 4755 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21904
[startup+6.30018 s]
/proc/loadavg: 1.05 1.07 1.04 2/107 11293
/proc/meminfo: memFree=1453676/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=26604 CPUtime=6.29
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 8261 0 0 0 563 66 0 0 25 0 1 0 11211131 27242496 6032 1992294400 4194304 7136930 140734990097696 18446744073709551615 5004473 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 6651 6032 394 719 0 5930 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26604
[startup+12.7018 s]
/proc/loadavg: 1.04 1.07 1.04 2/107 11293
/proc/meminfo: memFree=1449212/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=30108 CPUtime=12.69
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 9135 0 0 0 1179 90 0 0 25 0 1 0 11211131 30830592 6906 1992294400 4194304 7136930 140734990097696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 7527 6906 394 719 0 6806 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30108
[startup+25.501 s]
/proc/loadavg: 1.03 1.07 1.03 2/107 11295
/proc/meminfo: memFree=1442020/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=36832 CPUtime=25.49
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 10832 0 0 0 2427 122 0 0 25 0 1 0 11211131 37715968 8603 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 9208 8603 394 719 0 8487 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36832
[startup+51.1004 s]
/proc/loadavg: 1.02 1.06 1.03 2/107 11295
/proc/meminfo: memFree=1436068/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=43156 CPUtime=51.08
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 12404 0 0 0 4935 173 0 0 25 0 1 0 11211131 44191744 10175 1992294400 4194304 7136930 140734990097696 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 10789 10175 394 719 0 10068 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43156
[startup+102.308 s]
/proc/loadavg: 1.01 1.05 1.03 2/107 11297
/proc/meminfo: memFree=1426396/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=54096 CPUtime=102.26
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 14696 0 0 0 9965 261 0 0 25 0 1 0 11211131 55394304 12467 1992294400 4194304 7136930 140734990097696 18446744073709551615 4409185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 13524 12467 394 719 0 12803 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54096
[startup+162.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/107 11297
/proc/meminfo: memFree=1418460/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=61956 CPUtime=162.25
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 16642 0 0 0 15867 358 0 0 25 0 1 0 11211131 63442944 14413 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 15489 14413 394 719 0 14768 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61956
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 11299
/proc/meminfo: memFree=1413624/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=67008 CPUtime=222.22
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 17889 0 0 0 21817 405 0 0 25 0 1 0 11211131 68616192 15639 1992294400 4194304 7136930 140734990097696 18446744073709551615 4221204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 16752 15639 394 719 0 16031 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 67008
[startup+282.3 s]
/proc/loadavg: 1.00 1.02 1.01 2/107 11301
/proc/meminfo: memFree=1410648/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=70236 CPUtime=282.2
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 18617 0 0 0 27775 445 0 0 25 0 1 0 11211131 71921664 16367 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 17559 16367 394 719 0 16838 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 70236
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11303
/proc/meminfo: memFree=1408540/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=72500 CPUtime=342.19
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 19133 0 0 0 33740 479 0 0 25 0 1 0 11211131 74240000 16883 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 18125 16883 394 719 0 17404 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 72500
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11305
/proc/meminfo: memFree=1407300/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=73808 CPUtime=402.18
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 19430 0 0 0 39703 515 0 0 25 0 1 0 11211131 75579392 17180 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 18452 17180 394 719 0 17731 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 73808
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11305
/proc/meminfo: memFree=1405688/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=75448 CPUtime=462.16
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 19852 0 0 0 45667 549 0 0 25 0 1 0 11211131 77258752 17602 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 18862 17602 394 719 0 18141 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 75448
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11307
/proc/meminfo: memFree=1405068/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=76212 CPUtime=522.14
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 19977 0 0 0 51631 583 0 0 25 0 1 0 11211131 78041088 17727 1992294400 4194304 7136930 140734990097696 18446744073709551615 4219861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 19053 17727 394 719 0 18332 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 76212
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11309
/proc/meminfo: memFree=1403456/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=77696 CPUtime=582.12
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 20386 0 0 0 57598 614 0 0 25 0 1 0 11211131 79560704 18136 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 19424 18136 394 719 0 18703 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 77696
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11311
/proc/meminfo: memFree=1403208/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=77916 CPUtime=642.12
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 20442 0 0 0 63564 648 0 0 25 0 1 0 11211131 79785984 18192 1992294400 4194304 7136930 140734990097696 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 19479 18192 394 719 0 18758 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 77916
[startup+702.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11315
/proc/meminfo: memFree=1400108/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=80684 CPUtime=822.05
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21148 0 0 0 81448 757 0 0 25 0 1 0 11211131 82620416 18898 1992294400 4194304 7136930 140734990097696 18446744073709551615 4220995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20171 18898 394 719 0 19450 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 80684
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11317
/proc/meminfo: memFree=1399984/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=80684 CPUtime=882.03
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21148 0 0 0 87404 799 0 0 25 0 1 0 11211131 82620416 18898 1992294400 4194304 7136930 140734990097696 18446744073709551615 5484170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20171 18898 394 719 0 19450 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 80684
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11319
/proc/meminfo: memFree=1399736/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=81736 CPUtime=942.01
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21263 0 0 0 93361 840 0 0 25 0 1 0 11211131 83697664 19013 1992294400 4194304 7136930 140734990097696 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20434 19013 394 719 0 19713 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 81736
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11321
/proc/meminfo: memFree=1399240/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=82180 CPUtime=1001.99
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21364 0 0 0 99323 876 0 0 25 0 1 0 11211131 84152320 19114 1992294400 4194304 7136930 140734990097696 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20545 19114 394 719 0 19824 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 82180
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11321
/proc/meminfo: memFree=1398248/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83084 CPUtime=1061.97
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21587 0 0 0 105303 894 0 0 25 0 1 0 11211131 85078016 19337 1992294400 4194304 7136930 140734990097696 18446744073709551615 4221380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20771 19337 394 719 0 20050 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 83084
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11323
/proc/meminfo: memFree=1398248/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83084 CPUtime=1121.95
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21606 0 0 0 111287 908 0 0 25 0 1 0 11211131 85078016 19356 1992294400 4194304 7136930 140734990097696 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20771 19356 394 719 0 20050 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 83084
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11325
/proc/meminfo: memFree=1398000/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83816 CPUtime=1181.94
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21651 0 0 0 117271 923 0 0 25 0 1 0 11211131 85827584 19401 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20954 19401 394 719 0 20233 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 83816
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11327
/proc/meminfo: memFree=1397876/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83816 CPUtime=1241.92
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21655 0 0 0 123255 937 0 0 25 0 1 0 11211131 85827584 19405 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20954 19405 394 719 0 20233 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 83816
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11329
/proc/meminfo: memFree=1397752/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83816 CPUtime=1301.91
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21655 0 0 0 129239 952 0 0 25 0 1 0 11211131 85827584 19405 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20954 19405 394 719 0 20233 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 83816
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11329
/proc/meminfo: memFree=1397752/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83816 CPUtime=1361.89
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21655 0 0 0 135220 969 0 0 25 0 1 0 11211131 85827584 19405 1992294400 4194304 7136930 140734990097696 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20954 19405 394 719 0 20233 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 83816
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11331
/proc/meminfo: memFree=1397504/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=84164 CPUtime=1421.88
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 141204 984 0 0 25 0 1 0 11211131 86183936 19473 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 21041 19473 394 719 0 20320 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 84164
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11333
/proc/meminfo: memFree=1397504/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=84164 CPUtime=1481.85
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 147185 1000 0 0 25 0 1 0 11211131 86183936 19473 1992294400 4194304 7136930 140734990097696 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 21041 19473 394 719 0 20320 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 84164
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11335
/proc/meminfo: memFree=1397380/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=84164 CPUtime=1541.83
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 153167 1016 0 0 25 0 1 0 11211131 86183936 19473 1992294400 4194304 7136930 140734990097696 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 21041 19473 394 719 0 20320 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 84164
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11337
/proc/meminfo: memFree=1397380/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=84164 CPUtime=1601.82
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 159149 1033 0 0 25 0 1 0 11211131 86183936 19473 1992294400 4194304 7136930 140734990097696 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 21041 19473 394 719 0 20320 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 84164
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11337
/proc/meminfo: memFree=1397256/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=84164 CPUtime=1661.8
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 165133 1047 0 0 25 0 1 0 11211131 86183936 19473 1992294400 4194304 7136930 140734990097696 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 21041 19473 394 719 0 20320 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 84164
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11339
/proc/meminfo: memFree=1397132/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=84164 CPUtime=1721.78
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 171114 1064 0 0 25 0 1 0 11211131 86183936 19473 1992294400 4194304 7136930 140734990097696 18446744073709551615 5004416 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 21041 19473 394 719 0 20320 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 84164
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11341
/proc/meminfo: memFree=1397132/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83648 CPUtime=1781.77
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 177097 1080 0 0 25 0 1 0 11211131 85655552 19344 1992294400 4194304 7136930 140734990097696 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20912 19344 394 719 0 20191 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 83648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11341
/proc/meminfo: memFree=1397132/2059040 swapFree=4192956/4192956
[pid=11292] ppid=11290 vsize=83648 CPUtime=1800.08
/proc/11292/stat : 11292 (pbscip.linux.x8) R 11290 11292 10990 0 -1 4202496 21723 0 0 0 178924 1084 0 0 25 0 1 0 11211131 85655552 19344 1992294400 4194304 7136930 140734990097696 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11292/statm: 20912 19344 394 719 0 20191 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 83648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.19
CPU user time (s): 1789.33
CPU system time (s): 10.8523
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 84164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.33
system time used= 10.8523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21737
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= 7638
runsolver used 3.2955 second user time and 8.18775 second system time
The end