0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703764-1278551683.opb>
0.00/0.02 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 73 upgd conss, 0 impls, 0 clqs
0.03/0.07 c (0.1s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.07 c presolving (3 rounds):
0.03/0.07 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 10 changed coefficients
0.03/0.07 c 200 implications, 0 cliques
0.03/0.07 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.03/0.07 c 73 constraints of type <knapsack>
0.03/0.07 c transformed objective value is always integral (scale: 1)
0.03/0.07 c Presolving Time: 0.05
0.03/0.07 c - non default parameters ----------------------------------------------------------------------
0.03/0.07 c # SCIP version 1.2.1.3
0.03/0.07 c
0.03/0.07 c # frequency for displaying node information lines
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.07 c display/freq = 10000
0.03/0.07 c
0.03/0.07 c # maximal time in seconds to run
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/time = 1789.99
0.03/0.07 c
0.03/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/memory = 1620
0.03/0.07 c
0.03/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.07 c # [type: int, range: [1,2], default: 1]
0.03/0.07 c timing/clocktype = 2
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify inequalities
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/linear/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/indicator/addCouplingCons = TRUE
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify knapsacks
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.07 c separating/rapidlearning/freq = 0
0.03/0.07 c
0.03/0.07 c -----------------------------------------------------------------------------------------------
0.03/0.07 c start solving
0.03/0.07 c
0.03/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.08 c 0.1s| 1 | 0 | 122 | - |1546k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | -- | Inf
0.03/0.08 o 36352
0.03/0.08 c R 0.1s| 1 | 0 | 122 | - |1549k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 3.635200e+04 | 173.08%
0.03/0.08 o 35328
0.03/0.08 c s 0.1s| 1 | 0 | 122 | - |1552k| 0 | 36 | 163 | 73 | 163 | 73 | 0 | 0 | 0 | 1.331200e+04 | 3.532800e+04 | 165.38%
0.29/0.33 c 0.3s| 1 | 0 | 123 | - |1701k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 3.532800e+04 | 165.38%
0.29/0.33 o 17408
0.29/0.33 c b 0.3s| 1 | 0 | 123 | - |1704k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
0.89/0.99 o 16384
0.89/0.99 c E 1.0s| 1 | 0 | 123 | - |1706k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.89/0.99 c 1.0s| 1 | 0 | 123 | - |1706k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
1.19/1.26 c 1.2s| 1 | 2 | 123 | - |1707k| 0 | 36 | 163 | 73 | 163 | 81 | 8 | 0 | 33 | 1.331200e+04 | 1.638400e+04 | 23.08%
7.49/7.55 o 16384
7.49/7.55 c s 7.5s| 24 | 21 | 3469 | 145.5 |1796k| 13 | 7 | 163 | 73 | 163 | 79 | 8 | 0 | 392 | 1.352533e+04 | 1.638400e+04 | 21.14%
8.80/8.83 o 16384
8.80/8.83 c z 8.8s| 95 | 76 | 12034 | 126.7 |1961k| 21 | 26 | 163 | 73 | 163 | 79 | 8 | 0 | 434 | 1.352533e+04 | 1.638400e+04 | 21.14%
19.39/19.44 o 16384
19.39/19.44 c z19.4s| 828 | 735 |122276 | 147.7 |2271k| 31 | 36 | 163 | 73 | 163 | 79 | 8 | 7 | 550 | 1.408000e+04 | 1.638400e+04 | 16.36%
44.58/44.61 o 15892
44.58/44.61 c p44.6s| 2938 | 2803 |405714 | 138.1 |3167k| 32 | - | 163 | 75 | 163 | 79 | 8 | 23 | 638 | 1.408000e+04 | 1.589200e+04 | 12.87%
44.58/44.61 o 15883
44.58/44.61 c b44.6s| 2939 | 2804 |405729 | 138.1 |3117k| 32 | 17 | 163 | 75 | 163 | 79 | 8 | 23 | 638 | 1.408000e+04 | 1.588300e+04 | 12.81%
52.97/53.08 o 15880
52.97/53.08 c v53.1s| 3604 | 3467 |499773 | 138.7 |3451k| 32 | - | 163 | 75 | 163 | 79 | 8 | 23 | 664 | 1.408000e+04 | 1.588000e+04 | 12.78%
121.66/121.70 c 122s| 10000 | 9663 | 1280k| 128.1 |6749k| 36 | 18 | 163 | 108 | 163 | 79 | 8 | 67 |1242 | 1.420800e+04 | 1.588000e+04 | 11.77%
176.54/176.66 o 15360
176.54/176.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.54/176.66 c f 177s| 16090 | 9756 | 1920k| 119.4 |6427k| 37 | - | 163 | 108 | 163 | 79 | 8 | 91 |1687 | 1.420800e+04 | 1.536000e+04 | 8.11%
202.34/202.41 c 202s| 20000 | 12202 | 2202k| 110.1 |7734k| 37 | 21 | 163 | 105 | 163 | 79 | 8 | 95 |1972 | 1.420800e+04 | 1.536000e+04 | 8.11%
257.32/257.45 c 257s| 30000 | 18154 | 2816k| 93.9 | 10M| 37 | - | 163 | 93 | 163 | 79 | 8 | 104 |2562 | 1.425067e+04 | 1.536000e+04 | 7.78%
300.21/300.31 c 300s| 40000 | 23512 | 3298k| 82.5 | 14M| 38 | - | 163 | 87 | 163 | 79 | 8 | 114 |2990 | 1.433600e+04 | 1.536000e+04 | 7.14%
340.90/341.05 c 341s| 50000 | 28696 | 3761k| 75.2 | 16M| 44 | 12 | 163 | 86 | 163 | 79 | 8 | 120 |3414 | 1.433600e+04 | 1.536000e+04 | 7.14%
379.68/379.81 c 380s| 60000 | 33594 | 4195k| 69.9 | 19M| 44 | 8 | 163 | 91 | 163 | 79 | 8 | 134 |3796 | 1.433600e+04 | 1.536000e+04 | 7.14%
416.07/416.26 c 416s| 70000 | 38568 | 4613k| 65.9 | 22M| 44 | 14 | 163 | 93 | 163 | 79 | 8 | 143 |4142 | 1.433600e+04 | 1.536000e+04 | 7.14%
456.15/456.38 c 456s| 80000 | 43890 | 5075k| 63.4 | 25M| 44 | 11 | 163 | 95 | 163 | 79 | 8 | 163 |4410 | 1.433600e+04 | 1.536000e+04 | 7.14%
490.64/490.89 c 491s| 90000 | 48368 | 5469k| 60.8 | 28M| 44 | 25 | 163 | 93 | 163 | 79 | 8 | 177 |4629 | 1.433600e+04 | 1.536000e+04 | 7.14%
528.53/528.79 c 529s|100000 | 53102 | 5904k| 59.0 | 30M| 44 | 25 | 163 | 92 | 163 | 79 | 8 | 186 |4890 | 1.433600e+04 | 1.536000e+04 | 7.14%
568.12/568.33 c 568s|110000 | 58170 | 6366k| 57.9 | 33M| 44 | 14 | 163 | 92 | 163 | 79 | 8 | 199 |5080 | 1.433600e+04 | 1.536000e+04 | 7.14%
607.71/607.94 c 608s|120000 | 63362 | 6827k| 56.9 | 36M| 44 | 14 | 163 | 94 | 163 | 79 | 8 | 212 |5308 | 1.433600e+04 | 1.536000e+04 | 7.14%
646.00/646.20 c 646s|130000 | 68080 | 7266k| 55.9 | 39M| 44 | 22 | 163 | 95 | 163 | 79 | 8 | 230 |5526 | 1.433600e+04 | 1.536000e+04 | 7.14%
680.59/680.83 c 681s|140000 | 72064 | 7667k| 54.8 | 41M| 44 | - | 163 | 95 | 163 | 79 | 8 | 246 |5710 | 1.433600e+04 | 1.536000e+04 | 7.14%
716.57/716.82 c 717s|150000 | 76380 | 8082k| 53.9 | 44M| 44 | 14 | 163 | 103 | 163 | 79 | 8 | 267 |5920 | 1.433600e+04 | 1.536000e+04 | 7.14%
753.17/753.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.17/753.40 c 753s|160000 | 81014 | 8505k| 53.2 | 46M| 44 | 15 | 163 | 112 | 163 | 79 | 8 | 287 |6118 | 1.433600e+04 | 1.536000e+04 | 7.14%
789.46/789.74 c 790s|170000 | 86112 | 8923k| 52.5 | 49M| 44 | 8 | 163 | 104 | 163 | 79 | 8 | 299 |6299 | 1.433600e+04 | 1.536000e+04 | 7.14%
827.83/828.10 c 828s|180000 | 90876 | 9366k| 52.0 | 52M| 44 | 21 | 163 | 104 | 163 | 79 | 8 | 317 |6499 | 1.433600e+04 | 1.536000e+04 | 7.14%
865.83/866.19 c 866s|190000 | 96458 | 9810k| 51.6 | 55M| 44 | 15 | 163 | 105 | 163 | 79 | 8 | 329 |6644 | 1.433600e+04 | 1.536000e+04 | 7.14%
903.71/904.03 c 904s|200000 |102010 | 10253k| 51.3 | 58M| 44 | - | 163 | 112 | 163 | 79 | 8 | 342 |6856 | 1.433600e+04 | 1.536000e+04 | 7.14%
938.31/938.68 c 939s|210000 |107322 | 10646k| 50.7 | 61M| 44 | 16 | 163 | 119 | 163 | 79 | 8 | 361 |7049 | 1.433600e+04 | 1.536000e+04 | 7.14%
974.09/974.48 c 974s|220000 |112166 | 11055k| 50.3 | 64M| 44 | 11 | 163 | 105 | 163 | 79 | 8 | 374 |7216 | 1.436444e+04 | 1.536000e+04 | 6.93%
1004.99/1005.34 c 1005s|230000 |115676 | 11409k| 49.6 | 66M| 44 | 12 | 163 | 92 | 163 | 79 | 8 | 384 |7357 | 1.438255e+04 | 1.536000e+04 | 6.80%
1036.28/1036.69 c 1037s|240000 |119280 | 11768k| 49.0 | 68M| 44 | 23 | 163 | 90 | 163 | 79 | 8 | 396 |7473 | 1.439289e+04 | 1.536000e+04 | 6.72%
1067.37/1067.77 c 1068s|250000 |122752 | 12123k| 48.5 | 70M| 44 | 20 | 163 | 95 | 163 | 79 | 8 | 415 |7600 | 1.440000e+04 | 1.536000e+04 | 6.67%
1098.57/1098.96 c 1099s|260000 |126122 | 12479k| 48.0 | 73M| 44 | 15 | 163 | 105 | 163 | 79 | 8 | 442 |7734 | 1.440914e+04 | 1.536000e+04 | 6.60%
1128.75/1129.17 c 1129s|270000 |129376 | 12823k| 47.5 | 75M| 44 | 12 | 163 | 93 | 163 | 79 | 8 | 449 |7890 | 1.442133e+04 | 1.536000e+04 | 6.51%
1158.04/1158.46 c 1158s|280000 |132562 | 13154k| 47.0 | 77M| 44 | - | 163 | 90 | 163 | 79 | 8 | 461 |8002 | 1.442133e+04 | 1.536000e+04 | 6.51%
1186.13/1186.52 c 1187s|290000 |135510 | 13474k| 46.5 | 79M| 44 | 10 | 163 | 89 | 163 | 79 | 8 | 475 |8136 | 1.442909e+04 | 1.536000e+04 | 6.45%
1213.53/1213.91 c 1214s|300000 |138492 | 13782k| 45.9 | 81M| 44 | 14 | 163 | 85 | 163 | 79 | 8 | 487 |8272 | 1.443840e+04 | 1.536000e+04 | 6.38%
1238.92/1239.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.92/1239.34 c 1239s|310000 |141308 | 14067k| 45.4 | 83M| 44 | - | 163 | 84 | 163 | 79 | 8 | 498 |8386 | 1.444571e+04 | 1.536000e+04 | 6.33%
1265.91/1266.30 c 1266s|320000 |144298 | 14369k| 44.9 | 85M| 44 | 14 | 163 | 88 | 163 | 79 | 8 | 510 |8487 | 1.446400e+04 | 1.536000e+04 | 6.19%
1291.40/1291.88 c 1292s|330000 |147100 | 14657k| 44.4 | 87M| 44 | 19 | 163 | 86 | 163 | 79 | 8 | 516 |8577 | 1.446400e+04 | 1.536000e+04 | 6.19%
1316.49/1316.98 c 1317s|340000 |149702 | 14941k| 43.9 | 89M| 44 | 18 | 163 | 88 | 163 | 79 | 8 | 525 |8681 | 1.446400e+04 | 1.536000e+04 | 6.19%
1343.29/1343.75 c 1344s|350000 |152616 | 15241k| 43.5 | 91M| 44 | 13 | 163 | 89 | 163 | 79 | 8 | 537 |8816 | 1.446400e+04 | 1.536000e+04 | 6.19%
1367.38/1367.84 c 1368s|360000 |155202 | 15508k| 43.1 | 93M| 44 | 17 | 163 | 86 | 163 | 79 | 8 | 544 |8962 | 1.447564e+04 | 1.536000e+04 | 6.11%
1390.58/1391.04 c 1391s|370000 |157676 | 15767k| 42.6 | 94M| 44 | 11 | 163 | 84 | 163 | 79 | 8 | 547 |9036 | 1.448960e+04 | 1.536000e+04 | 6.01%
1413.56/1414.01 c 1414s|380000 |159874 | 16021k| 42.2 | 96M| 44 | - | 163 | 81 | 163 | 79 | 8 | 556 |9160 | 1.449600e+04 | 1.536000e+04 | 5.96%
1438.66/1439.12 c 1439s|390000 |162370 | 16307k| 41.8 | 98M| 44 | 23 | 163 | 85 | 163 | 79 | 8 | 562 |9280 | 1.450667e+04 | 1.536000e+04 | 5.88%
1464.05/1464.51 c 1464s|400000 |164848 | 16592k| 41.5 | 100M| 44 | 16 | 163 | 81 | 163 | 79 | 8 | 564 |9382 | 1.450667e+04 | 1.536000e+04 | 5.88%
1487.85/1488.33 c 1488s|410000 |167136 | 16862k| 41.1 | 101M| 44 | - | 163 | 80 | 163 | 79 | 8 | 567 |9501 | 1.450667e+04 | 1.536000e+04 | 5.88%
1511.74/1512.29 c 1512s|420000 |169434 | 17135k| 40.8 | 103M| 44 | 16 | 163 | 79 | 163 | 79 | 8 | 570 |9612 | 1.450667e+04 | 1.536000e+04 | 5.88%
1535.93/1536.43 c 1536s|430000 |171690 | 17411k| 40.5 | 105M| 44 | - | 163 | 78 | 163 | 79 | 8 | 571 |9754 | 1.450667e+04 | 1.536000e+04 | 5.88%
1559.52/1560.03 c 1560s|440000 |174036 | 17674k| 40.2 | 106M| 44 | - | 163 | 78 | 163 | 79 | 8 | 573 |9847 | 1.450667e+04 | 1.536000e+04 | 5.88%
1582.42/1582.98 c 1583s|450000 |176178 | 17931k| 39.8 | 108M| 44 | 20 | 163 | 79 | 163 | 79 | 8 | 576 |9967 | 1.452800e+04 | 1.536000e+04 | 5.73%
1604.41/1604.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.41/1604.98 c 1605s|460000 |178124 | 18175k| 39.5 | 110M| 44 | 13 | 163 | 78 | 163 | 79 | 8 | 579 | 10k| 1.452800e+04 | 1.536000e+04 | 5.73%
1625.31/1625.83 c 1626s|470000 |180126 | 18405k| 39.2 | 111M| 44 | - | 163 | 75 | 163 | 79 | 8 | 579 | 10k| 1.452800e+04 | 1.536000e+04 | 5.73%
1646.40/1646.97 c 1647s|480000 |182118 | 18638k| 38.8 | 113M| 44 | - | 163 | 77 | 163 | 79 | 8 | 581 | 10k| 1.452800e+04 | 1.536000e+04 | 5.73%
1667.09/1667.67 c 1668s|490000 |184092 | 18867k| 38.5 | 114M| 44 | 11 | 163 | 75 | 163 | 79 | 8 | 582 | 10k| 1.454080e+04 | 1.536000e+04 | 5.63%
1688.78/1689.37 c 1689s|500000 |185920 | 19111k| 38.2 | 116M| 44 | 15 | 163 | 76 | 163 | 79 | 8 | 583 | 10k| 1.454080e+04 | 1.536000e+04 | 5.63%
1709.28/1709.88 c 1710s|510000 |187748 | 19337k| 37.9 | 117M| 44 | 22 | 163 | 75 | 163 | 79 | 8 | 584 | 10k| 1.454933e+04 | 1.536000e+04 | 5.57%
1729.68/1730.28 c 1730s|520000 |189428 | 19561k| 37.6 | 119M| 44 | 12 | 163 | 75 | 163 | 79 | 8 | 584 | 10k| 1.455543e+04 | 1.536000e+04 | 5.53%
1751.17/1751.78 c 1752s|530000 |191116 | 19778k| 37.3 | 120M| 44 | - | 163 | 75 | 163 | 79 | 8 | 584 | 10k| 1.456873e+04 | 1.536000e+04 | 5.43%
1771.26/1771.80 c 1772s|540000 |192758 | 19999k| 37.0 | 121M| 44 | 21 | 163 | 75 | 163 | 79 | 8 | 585 | 10k| 1.459200e+04 | 1.536000e+04 | 5.26%
1789.45/1790.01 c
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time (sec) : 1789.99
1789.45/1790.01 c Solving Nodes : 548715
1789.45/1790.01 c Primal Bound : +1.53600000000000e+04 (347 solutions)
1789.45/1790.01 c Dual Bound : +1.45920000000000e+04
1789.45/1790.01 c Gap : 5.26 %
1789.45/1790.01 s SATISFIABLE
1789.45/1790.01 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1789.45/1790.01 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
1789.45/1790.01 v -x117 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1789.45/1790.01 v -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1789.45/1790.01 v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x44
1789.45/1790.01 v -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 x35 -x33 -x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x22 -x21 x20 x19 -x18 -x17 x16
1789.45/1790.01 v -x15 -x14 -x13 -x11 -x10 x9 -x8 x7 -x6 x5 -x4 -x3 x2 -x163 -x162 -x161 x116 -x45 x34 -x23 -x12 -x1
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time : 1789.99
1789.45/1790.01 c Original Problem :
1789.45/1790.01 c Problem name : HOME/instance-2703764-1278551683.opb
1789.45/1790.01 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01 c Constraints : 73 initial, 73 maximal
1789.45/1790.01 c Presolved Problem :
1789.45/1790.01 c Problem name : t_HOME/instance-2703764-1278551683.opb
1789.45/1790.01 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01 c Constraints : 73 initial, 120 maximal
1789.45/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.45/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c probing : 0.02 0 0 0 0 0 0 0 0
1789.45/1790.01 c knapsack : 0.02 0 0 0 0 0 0 0 0
1789.45/1790.01 c linear : 0.01 0 0 0 0 0 0 10 10
1789.45/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c root node : - 0 - - 0 - - - -
1789.45/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.45/1790.01 c integral : 0 0 0 378185 0 1 4090 0 0 748898
1789.45/1790.01 c knapsack : 73 2 1192654 0 0 517 2216 44 0 0
1789.45/1790.01 c logicor : 0+ 0 116571 0 0 0 0 0 0 0
1789.45/1790.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.45/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.45/1790.01 c integral : 27.43 0.00 0.00 27.43 0.00
1789.45/1790.01 c knapsack : 170.58 0.12 170.46 0.00 0.00
1789.45/1790.01 c logicor : 0.44 0.00 0.44 0.00 0.00
1789.45/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.45/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.45/1790.01 c vbounds : 0.49 2 0 0
1789.45/1790.01 c rootredcost : 0.47 4 0 0
1789.45/1790.01 c pseudoobj : 10.90 1192686 59 0
1789.45/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.45/1790.01 c propagation : 0.05 576 575 671 36.3 0 0.0 -
1789.45/1790.01 c infeasible LP : 0.00 14 14 14 3.9 0 0.0 0
1789.45/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.45/1790.01 c applied globally : - - - 393 26.0 - - -
1789.45/1790.01 c applied locally : - - - 196 45.6 - - -
1789.45/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.45/1790.01 c cut pool : 0.00 1 - - 0 - (maximal pool size: 44)
1789.45/1790.01 c redcost : 7.18 523402 0 804587 0 0
1789.45/1790.01 c impliedbounds : 0.00 3 0 0 0 0
1789.45/1790.01 c intobj : 0.00 0 0 0 0 0
1789.45/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.45/1790.01 c gomory : 0.02 3 0 0 0 0
1789.45/1790.01 c strongcg : 0.01 3 0 0 0 0
1789.45/1790.01 c cmir : 0.02 3 0 0 22 0
1789.45/1790.01 c flowcover : 0.33 3 0 0 22 0
1789.45/1790.01 c clique : 0.00 1 0 0 0 0
1789.45/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.45/1790.01 c mcf : 0.00 1 0 0 0 0
1789.45/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1789.45/1790.01 c Pricers : Time Calls Vars
1789.45/1790.01 c problem variables: 0.00 0 0
1789.45/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.45/1790.01 c relpscost : 27.01 378185 1 4090 0 0 748898
1789.45/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.45/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.45/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.45/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.45/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.01 c random : 0.00 0 0 0 0 0 0
1789.45/1790.01 c Primal Heuristics : Time Calls Found
1789.45/1790.01 c LP solutions : 0.00 - 0
1789.45/1790.01 c pseudo solutions : 0.00 - 0
1789.45/1790.01 c oneopt : 0.22 9 2
1789.45/1790.01 c crossover : 5.08 13 2
1789.45/1790.01 c guideddiving : 85.34 3142 0
1789.45/1790.01 c rootsoldiving : 17.07 1742 11
1789.45/1790.01 c fracdiving : 89.22 3947 6
1789.45/1790.01 c linesearchdiving : 40.04 3948 1
1789.45/1790.01 c pscostdiving : 86.30 3948 6
1789.45/1790.01 c veclendiving : 47.14 3948 2
1789.45/1790.01 c trivial : 0.00 2 0
1789.45/1790.01 c simplerounding : 2.09 378186 18
1789.45/1790.01 c zirounding : 0.92 11401 228
1789.45/1790.01 c rounding : 1.63 29415 1
1789.45/1790.01 c shifting : 1.66 19184 54
1789.45/1790.01 c intshifting : 0.02 0 0
1789.45/1790.01 c twoopt : 0.00 0 0
1789.45/1790.01 c fixandinfer : 0.00 0 0
1789.45/1790.01 c feaspump : 0.02 0 0
1789.45/1790.01 c coefdiving : 59.42 2426 3
1789.45/1790.01 c intdiving : 0.00 0 0
1789.45/1790.01 c actconsdiving : 0.00 0 0
1789.45/1790.01 c objpscostdiving : 15.38 802 12
1789.45/1790.01 c octane : 0.00 0 0
1789.45/1790.01 c rens : 0.48 1 1
1789.45/1790.01 c rins : 0.00 0 0
1789.45/1790.01 c localbranching : 0.00 0 0
1789.45/1790.01 c mutation : 0.00 0 0
1789.45/1790.01 c dins : 0.00 0 0
1789.45/1790.01 c undercover : 0.00 0 0
1789.45/1790.01 c nlp : 0.16 0 0
1789.45/1790.01 c trysol : 0.29 0 0
1789.45/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.45/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.45/1790.01 c dual LP : 1146.47 552451 15770296 28.55 13755.55
1789.45/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.45/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.45/1790.01 c diving/probing LP: 316.78 494536 4434390 8.97 13998.45
1789.45/1790.01 c strong branching : 21.29 11061 255340 23.08 11994.96
1789.45/1790.01 c (at root node) : - 33 1419 43.00 -
1789.45/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.45/1790.01 c B&B Tree :
1789.45/1790.01 c number of runs : 1
1789.45/1790.01 c nodes : 548715
1789.45/1790.01 c nodes (total) : 548715
1789.45/1790.01 c nodes left : 194387
1789.45/1790.01 c max depth : 44
1789.45/1790.01 c max depth (total): 44
1789.45/1790.01 c backtracks : 96858 (17.7%)
1789.45/1790.01 c delayed cutoffs : 0
1789.45/1790.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.45/1790.01 c avg switch length: 6.15
1789.45/1790.01 c switching time : 17.89
1789.45/1790.01 c Solution :
1789.45/1790.01 c Solutions found : 347 (11 improvements)
1789.45/1790.01 c First Solution : +3.63520000000000e+04 (in run 1, after 1 nodes, 0.06 seconds, depth 0, found by <rounding>)
1789.45/1790.01 c Primal Bound : +1.53600000000000e+04 (in run 1, after 16090 nodes, 176.64 seconds, depth 32, found by <fracdiving>)
1789.45/1790.01 c Dual Bound : +1.45920000000000e+04
1789.45/1790.01 c Gap : 5.26 %
1789.45/1790.01 c Root Dual Bound : +1.33120000000000e+04
1789.45/1790.01 c Root Iterations : 123
1789.95/1790.58 c Time complete: 1790.03.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703764-1278551683/watcher-2703764-1278551683 -o /tmp/evaluation-result-2703764-1278551683/solver-2703764-1278551683 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703764-1278551683.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.20 1.05 0.95 3/105 26764
/proc/meminfo: memFree=1932620/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=7904 CPUtime=0
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 1136 0 0 0 0 0 0 0 25 0 1 0 23376954 8093696 1048 1992294400 4194304 8395647 140735739397216 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26764/statm: 1976 1057 365 1026 0 946 0
[startup+0.0424699 s]
/proc/loadavg: 1.20 1.05 0.95 3/105 26764
/proc/meminfo: memFree=1932620/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=14640 CPUtime=0.03
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 3054 0 0 0 3 0 0 0 25 0 1 0 23376954 14991360 2612 1992294400 4194304 8395647 140735739397216 18446744073709551615 4247571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 3660 2612 480 1026 0 2630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14640
[startup+0.100476 s]
/proc/loadavg: 1.20 1.05 0.95 3/105 26764
/proc/meminfo: memFree=1932620/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=16264 CPUtime=0.09
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 3650 0 0 0 8 1 0 0 25 0 1 0 23376954 16654336 3191 1992294400 4194304 8395647 140735739397216 18446744073709551615 6013915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 4066 3191 583 1026 0 3036 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16264
[startup+0.300496 s]
/proc/loadavg: 1.20 1.05 0.95 3/105 26764
/proc/meminfo: memFree=1932620/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=29336 CPUtime=0.29
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 6476 0 0 0 27 2 0 0 25 0 1 0 23376954 30040064 6017 1992294400 4194304 8395647 140735739397216 18446744073709551615 4684134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 7334 6017 605 1026 0 6304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29336
[startup+0.700539 s]
/proc/loadavg: 1.20 1.05 0.95 3/105 26764
/proc/meminfo: memFree=1932620/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=30320 CPUtime=0.69
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 8903 0 0 0 65 4 0 0 25 0 1 0 23376954 31047680 6337 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 7580 6337 624 1026 0 6550 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30320
[startup+1.50062 s]
/proc/loadavg: 1.20 1.05 0.95 2/106 26765
/proc/meminfo: memFree=1914260/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=20320 CPUtime=1.49
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 8941 0 0 0 142 7 0 0 25 0 1 0 23376954 20807680 4163 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 5080 4163 624 1026 0 4050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20320
[startup+3.10079 s]
/proc/loadavg: 1.20 1.05 0.95 2/106 26765
/proc/meminfo: memFree=1917360/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=20500 CPUtime=3.09
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 8953 0 0 0 298 11 0 0 25 0 1 0 23376954 20992000 4175 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 5125 4175 624 1026 0 4095 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20500
[startup+6.30113 s]
/proc/loadavg: 1.19 1.05 0.95 2/106 26765
/proc/meminfo: memFree=1917236/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=20500 CPUtime=6.29
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 8953 0 0 0 609 20 0 0 25 0 1 0 23376954 20992000 4175 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 5125 4175 624 1026 0 4095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20500
[startup+12.7008 s]
/proc/loadavg: 1.17 1.04 0.95 2/106 26765
/proc/meminfo: memFree=1917236/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=20848 CPUtime=12.68
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 11236 0 0 0 1223 45 0 0 25 0 1 0 23376954 21348352 4279 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 5212 4279 625 1026 0 4182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20848
[startup+25.5012 s]
/proc/loadavg: 1.13 1.04 0.95 2/106 26765
/proc/meminfo: memFree=1917236/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=21320 CPUtime=25.49
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 11358 0 0 0 2469 80 0 0 25 0 1 0 23376954 21831680 4401 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 5330 4401 628 1026 0 4300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21320
[startup+51.1009 s]
/proc/loadavg: 1.09 1.04 0.95 2/106 26767
/proc/meminfo: memFree=1916368/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=22440 CPUtime=51.07
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 11636 0 0 0 4945 162 0 0 25 0 1 0 23376954 22978560 4679 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 5610 4679 628 1026 0 4580 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22440
[startup+102.308 s]
/proc/loadavg: 1.04 1.03 0.95 2/106 26767
/proc/meminfo: memFree=1913516/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=25040 CPUtime=102.27
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 14570 0 0 0 9899 328 0 0 25 0 1 0 23376954 25640960 5374 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 6260 5374 629 1026 0 5230 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25040
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 0.95 2/106 26769
/proc/meminfo: memFree=1909052/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=29084 CPUtime=162.24
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 19512 0 0 0 15703 521 0 0 25 0 1 0 23376954 29782016 6405 1992294400 4194304 8395647 140735739397216 18446744073709551615 5614272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 7271 6405 630 1026 0 6241 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29084
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/106 26771
/proc/meminfo: memFree=1907688/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=30548 CPUtime=222.22
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 21999 0 0 0 21501 721 0 0 25 0 1 0 23376954 31281152 6786 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 7637 6786 631 1026 0 6607 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 30548
[startup+282.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/106 26773
/proc/meminfo: memFree=1903844/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=35140 CPUtime=282.2
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 28901 0 0 0 27300 920 0 0 25 0 1 0 23376954 35983360 7948 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 8785 7948 631 1026 0 7755 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 35140
[startup+342.301 s]
/proc/loadavg: 1.04 1.02 0.95 2/106 26778
/proc/meminfo: memFree=1853968/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=40584 CPUtime=342.19
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 32385 0 0 0 33102 1117 0 0 25 0 1 0 23376954 41558016 9330 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 10146 9330 631 1026 0 9116 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 40584
[startup+402.301 s]
/proc/loadavg: 1.01 1.02 0.95 2/106 26778
/proc/meminfo: memFree=1844668/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=50684 CPUtime=402.17
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 36708 0 0 0 38898 1319 0 0 25 0 1 0 23376954 51900416 11647 1992294400 4194304 8395647 140735739397216 18446744073709551615 6587083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 12671 11647 631 1026 0 11641 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 50684
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/106 26780
/proc/meminfo: memFree=1844668/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=50684 CPUtime=462.15
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 36740 0 0 0 44693 1522 0 0 25 0 1 0 23376954 51900416 11679 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 12671 11679 631 1026 0 11641 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 50684
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/106 26782
/proc/meminfo: memFree=1838716/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=55656 CPUtime=522.13
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 38237 0 0 0 50503 1710 0 0 25 0 1 0 23376954 56991744 13176 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 13914 13176 631 1026 0 12884 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 55656
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/106 26784
/proc/meminfo: memFree=1834500/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=59708 CPUtime=582.12
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 39279 0 0 0 56304 1908 0 0 25 0 1 0 23376954 61140992 14218 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 14927 14218 631 1026 0 13897 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 59708
[startup+642.301 s]
/proc/loadavg: 1.05 1.01 0.96 2/106 26786
/proc/meminfo: memFree=1830532/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=65192 CPUtime=642.1
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 40292 0 0 0 62097 2113 0 0 25 0 1 0 23376954 66756608 15231 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 16298 15231 631 1026 0 15268 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 65192
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1800648/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=94376 CPUtime=1001.98
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 47831 0 0 0 96878 3320 0 0 25 0 1 0 23376954 96641024 22766 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 23594 22766 730 1026 0 22564 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 94376
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26796
/proc/meminfo: memFree=1797300/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=97452 CPUtime=1061.97
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 48620 0 0 0 102669 3528 0 0 25 0 1 0 23376954 99790848 23555 1992294400 4194304 8395647 140735739397216 18446744073709551615 6741248 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 24363 23555 730 1026 0 23333 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 97452
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26798
/proc/meminfo: memFree=1793084/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=101596 CPUtime=1121.95
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 49675 0 0 0 108463 3732 0 0 25 0 1 0 23376954 104034304 24610 1992294400 4194304 8395647 140735739397216 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 25399 24610 730 1026 0 24369 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 101596
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26800
/proc/meminfo: memFree=1790356/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=104156 CPUtime=1181.93
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 50345 0 0 0 114257 3936 0 0 25 0 1 0 23376954 106655744 25280 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 26039 25280 730 1026 0 25009 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 104156
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26802
/proc/meminfo: memFree=1785024/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=109720 CPUtime=1241.92
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 51744 0 0 0 120064 4128 0 0 25 0 1 0 23376954 112353280 26679 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 27430 26679 730 1026 0 26400 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 109720
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26802
/proc/meminfo: memFree=1776220/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=117784 CPUtime=1301.91
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 53779 0 0 0 125863 4328 0 0 25 0 1 0 23376954 120610816 28714 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 29446 28714 730 1026 0 28416 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 117784
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26804
/proc/meminfo: memFree=1773368/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=120600 CPUtime=1361.88
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 54502 0 0 0 131662 4526 0 0 25 0 1 0 23376954 123494400 29437 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 30150 29437 730 1026 0 29120 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 120600
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26806
/proc/meminfo: memFree=1767292/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=126656 CPUtime=1421.87
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 58525 0 0 0 137463 4724 0 0 25 0 1 0 23376954 129695744 30969 1992294400 4194304 8395647 140735739397216 18446744073709551615 4912313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 31664 30969 730 1026 0 30634 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 126656
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26808
/proc/meminfo: memFree=1764068/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=129668 CPUtime=1481.85
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 59295 0 0 0 143265 4920 0 0 25 0 1 0 23376954 132780032 31739 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 32417 31739 730 1026 0 31387 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 129668
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26810
/proc/meminfo: memFree=1760348/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=133412 CPUtime=1541.83
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 60248 0 0 0 149065 5118 0 0 25 0 1 0 23376954 136613888 32692 1992294400 4194304 8395647 140735739397216 18446744073709551615 6721267 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 33353 32692 730 1026 0 32323 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 133412
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26810
/proc/meminfo: memFree=1756132/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=137380 CPUtime=1601.81
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 61256 0 0 0 154851 5330 0 0 25 0 1 0 23376954 140677120 33700 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 34345 33700 730 1026 0 33315 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 137380
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26812
/proc/meminfo: memFree=1753404/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=139940 CPUtime=1661.79
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 61943 0 0 0 160655 5524 0 0 25 0 1 0 23376954 143298560 34387 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 34985 34387 730 1026 0 33955 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 139940
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26814
/proc/meminfo: memFree=1749064/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=144184 CPUtime=1721.77
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 63001 0 0 0 166454 5723 0 0 25 0 1 0 23376954 147644416 35445 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 36046 35445 730 1026 0 35016 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 144184
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26816
/proc/meminfo: memFree=1744848/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=148188 CPUtime=1781.75
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 65780 0 0 0 172255 5920 0 0 25 0 1 0 23376954 151744512 36449 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 37047 36449 730 1026 0 36017 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 148188
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26816
/proc/meminfo: memFree=1744724/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=148188 CPUtime=1784.95
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 65812 0 0 0 172564 5931 0 0 25 0 1 0 23376954 151744512 36481 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 37047 36481 730 1026 0 36017 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 148188
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26816
/proc/meminfo: memFree=1744228/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=148828 CPUtime=1788.16
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 65941 0 0 0 172873 5943 0 0 25 0 1 0 23376954 152399872 36610 1992294400 4194304 8395647 140735739397216 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 37207 36610 730 1026 0 36177 0
Current children cumulated CPU time (s) 1788.16
Current children cumulated vsize (KiB) 148828
[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26816
/proc/meminfo: memFree=1744228/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=149852 CPUtime=1788.96
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 66197 0 0 0 172950 5946 0 0 25 0 1 0 23376954 153448448 36866 1992294400 4194304 8395647 140735739397216 18446744073709551615 6119567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26764/statm: 37463 36866 730 1026 0 36433 0
Current children cumulated CPU time (s) 1788.96
Current children cumulated vsize (KiB) 149852
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26816
/proc/meminfo: memFree=1743236/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=149852 CPUtime=1789.75
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 66200 0 0 0 173027 5948 0 0 18 0 1 0 23376954 153448448 36869 1992294400 4194304 8395647 140735739397216 18446744073709551615 4665344 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26764/statm: 37463 36869 732 1026 0 36433 0
Current children cumulated CPU time (s) 1789.75
Current children cumulated vsize (KiB) 149852
[startup+1790.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 26816
/proc/meminfo: memFree=1743236/2059040 swapFree=4139772/4192956
[pid=26764] ppid=26762 vsize=149852 CPUtime=1789.95
/proc/26764/stat : 26764 (pbscip.linux.x8) R 26762 26764 26077 0 -1 4202496 66200 0 0 0 173047 5948 0 0 18 0 1 0 23376954 153448448 36869 1992294400 4194304 8395647 140735739397216 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26764/statm: 37463 36869 732 1026 0 36433 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 149852
Child status: 0
Real time (s): 1790.59
CPU time (s): 1790.05
CPU user time (s): 1730.55
CPU system time (s): 59.501
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 154900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.55
system time used= 59.501
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66201
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= 3
involuntary context switches= 6383
runsolver used 2.89856 second user time and 8.51071 second system time
The end