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-2663891-1276672403.opb>
0.00/0.04 c original problem has 3270 variables (3270 bin, 0 int, 0 impl, 0 cont) and 3371 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 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.07/0.08 o 0
0.07/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.07/0.08 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24760 impls, 200 clqs
0.49/0.58 c (0.3s) probing: 101/3270 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (2 rounds):
0.49/0.58 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 24760 implications, 200 cliques
0.49/0.58 c presolved problem has 3270 variables (3270 bin, 0 int, 0 impl, 0 cont) and 3371 constraints
0.49/0.58 c 200 constraints of type <setppc>
0.49/0.58 c 3070 constraints of type <and>
0.49/0.58 c 1 constraints of type <linear>
0.49/0.58 c 100 constraints of type <logicor>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.32
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 1.2.1.2
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1799.96
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 1620
0.49/0.58 c
0.49/0.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.58 c lp/solvefreq = -1
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c heuristics/undercover/freq = 0
0.49/0.58 c
0.49/0.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c separating/rapidlearning/freq = 0
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
0.49/0.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.59 c t 0.3s| 1 | 2 | 0 | - |9448k| 0 | - |3270 |3371 | 0 | 0 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
14.59/14.63 o -4
14.59/14.63 c *14.1s| 6128 | 4880 | 0 | 0.0 | 29M| 103 | - |3270 |3587 | 0 | 0 | 0 | 266 | 0 |-9.800000e+01 |-4.000000e+00 | 95.92%
15.69/15.70 o -5
15.69/15.70 c *15.2s| 6803 | 5499 | 0 | 0.0 | 31M| 103 | - |3270 |3620 | 0 | 0 | 0 | 300 | 0 |-9.800000e+01 |-5.000000e+00 | 94.90%
17.69/17.77 o -6
17.69/17.77 c *17.2s| 7924 | 6196 | 0 | 0.0 | 33M| 103 | - |3270 |3725 | 0 | 0 | 0 | 490 | 0 |-9.800000e+01 |-6.000000e+00 | 93.88%
22.38/22.43 c 21.7s| 10000 | 8091 | 0 | 0.0 | 46M| 103 | - |3270 |3679 | 0 | 0 | 0 | 584 | 0 |-9.800000e+01 |-6.000000e+00 | 93.88%
43.48/43.54 c 42.5s| 20000 | 17719 | 0 | 0.0 | 99M| 103 | - |3270 |3685 | 0 | 0 | 0 | 763 | 0 |-9.800000e+01 |-6.000000e+00 | 93.88%
62.27/62.33 c 60.9s| 30000 | 27329 | 0 | 0.0 | 142M| 103 | - |3270 |3709 | 0 | 0 | 0 | 951 | 0 |-9.800000e+01 |-6.000000e+00 | 93.88%
79.18/79.26 c 77.4s| 40000 | 36814 | 0 | 0.0 | 193M| 116 | - |3270 |3729 | 0 | 0 | 0 |1222 | 0 |-9.800000e+01 |-6.000000e+00 | 93.88%
79.56/79.67 o -7
79.56/79.67 c *77.8s| 40252 | 37048 | 0 | 0.0 | 195M| 116 | - |3270 |3728 | 0 | 0 | 0 |1231 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
96.55/96.60 c 94.4s| 50000 | 45916 | 0 | 0.0 | 246M| 116 | - |3270 |3908 | 0 | 0 | 0 |1755 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
113.85/113.90 c 111s| 60000 | 54427 | 0 | 0.0 | 295M| 116 | - |3270 |4076 | 0 | 0 | 0 |2686 | 0 |-9.800000e+01 |-7.000000e+00 | 92.86%
118.25/118.31 o -8
118.25/118.31 c * 116s| 62525 | 56438 | 0 | 0.0 | 308M| 116 | - |3270 |4173 | 0 | 0 | 0 |3058 | 0 |-9.800000e+01 |-8.000000e+00 | 91.84%
130.34/130.46 c 127s| 70000 | 62313 | 0 | 0.0 | 340M| 116 | - |3270 |4286 | 0 | 0 | 0 |4313 | 0 |-9.800000e+01 |-8.000000e+00 | 91.84%
147.35/147.49 c 144s| 80000 | 67378 | 0 | 0.0 | 365M| 122 | - |3270 |4384 | 0 | 0 | 0 |8023 | 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
171.34/171.42 c 168s| 90000 | 76651 | 0 | 0.0 | 437M| 122 | - |3270 |3922 | 0 | 0 | 0 |8436 | 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
192.63/192.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.63/192.73 c 188s|100000 | 86125 | 0 | 0.0 | 491M| 122 | - |3270 |3937 | 0 | 0 | 0 |8712 | 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
212.72/212.81 c 208s|110000 | 95684 | 0 | 0.0 | 542M| 122 | - |3270 |3921 | 0 | 0 | 0 |8952 | 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
232.62/232.75 c 228s|120000 |105259 | 0 | 0.0 | 595M| 122 | - |3270 |3928 | 0 | 0 | 0 |9173 | 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
252.51/252.64 c 247s|130000 |114818 | 0 | 0.0 | 651M| 122 | - |3270 |3967 | 0 | 0 | 0 |9404 | 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
273.20/273.37 c 268s|140000 |124205 | 0 | 0.0 | 712M| 122 | - |3270 |4025 | 0 | 0 | 0 |9772 | 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
294.10/294.28 c 288s|150000 |133636 | 0 | 0.0 | 775M| 122 | - |3270 |4065 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
313.30/313.43 c 307s|160000 |143152 | 0 | 0.0 | 829M| 122 | - |3270 |4089 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
332.89/333.05 c 326s|170000 |152528 | 0 | 0.0 | 891M| 122 | - |3270 |4184 | 0 | 0 | 0 | 10k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
352.58/352.71 c 345s|180000 |161838 | 0 | 0.0 | 948M| 122 | - |3270 |4268 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
371.88/372.05 c 364s|190000 |171224 | 0 | 0.0 |1005M| 122 | - |3270 |4212 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
390.86/391.01 c 383s|200000 |180468 | 0 | 0.0 |1056M| 122 | - |3270 |4265 | 0 | 0 | 0 | 11k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
409.65/409.88 c 401s|210000 |189845 | 0 | 0.0 |1110M| 122 | - |3270 |4317 | 0 | 0 | 0 | 12k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
428.25/428.48 c 419s|220000 |199171 | 0 | 0.0 |1162M| 122 | - |3270 |4300 | 0 | 0 | 0 | 12k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
446.15/446.34 c 437s|230000 |208585 | 0 | 0.0 |1215M| 122 | - |3270 |4387 | 0 | 0 | 0 | 13k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
464.44/464.68 c 455s|240000 |217906 | 0 | 0.0 |1270M| 122 | - |3270 |4448 | 0 | 0 | 0 | 13k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
483.14/483.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.14/483.39 c 473s|250000 |227076 | 0 | 0.0 |1327M| 122 | - |3270 |4498 | 0 | 0 | 0 | 14k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
493.53/493.75 c (node 255580) switching to memory saving mode (mem: 1296.0M/1620.0M)
499.34/499.51 c 488s|260000 |232097 | 0 | 0.0 |1361M| 188 | - |3270 |6440 | 0 | 0 | 0 | 18k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
510.02/510.29 c 499s|270000 |232098 | 0 | 0.0 |1363M| 188 | - |3270 |8108 | 0 | 0 | 0 | 28k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
520.33/520.59 c 508s|280000 |232099 | 0 | 0.0 |1364M| 188 | - |3270 |8634 | 0 | 0 | 0 | 38k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
531.72/531.96 c 519s|290000 |232097 | 0 | 0.0 |1366M| 188 | - |3270 |9765 | 0 | 0 | 0 | 48k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
544.42/544.67 c 531s|300000 |232098 | 0 | 0.0 |1369M| 188 | - |3270 | 12k| 0 | 0 | 0 | 59k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
560.31/560.53 c 547s|310000 |232097 | 0 | 0.0 |1374M| 188 | - |3270 | 16k| 0 | 0 | 0 | 69k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
573.30/573.56 c 559s|320000 |232097 | 0 | 0.0 |1368M| 188 | - |3270 | 11k| 0 | 0 | 0 | 79k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
587.70/587.96 c 573s|330000 |232098 | 0 | 0.0 |1369M| 188 | - |3270 | 12k| 0 | 0 | 0 | 89k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
603.50/603.70 c 588s|340000 |232097 | 0 | 0.0 |1371M| 188 | - |3270 | 13k| 0 | 0 | 0 | 100k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
620.29/620.58 c 605s|350000 |232098 | 0 | 0.0 |1374M| 188 | - |3270 | 16k| 0 | 0 | 0 | 110k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
638.79/639.04 c 623s|360000 |232098 | 0 | 0.0 |1378M| 188 | - |3270 | 18k| 0 | 0 | 0 | 120k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
658.08/658.38 c 642s|370000 |232097 | 0 | 0.0 |1377M| 188 | - |3270 | 18k| 0 | 0 | 0 | 131k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
676.97/677.27 c 660s|380000 |232096 | 0 | 0.0 |1382M| 188 | - |3270 | 22k| 0 | 0 | 0 | 141k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
693.67/693.99 c 676s|390000 |232095 | 0 | 0.0 |1377M| 188 | - |3270 | 18k| 0 | 0 | 0 | 152k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
712.36/712.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.36/712.68 c 694s|400000 |232097 | 0 | 0.0 |1376M| 188 | - |3270 | 17k| 0 | 0 | 0 | 162k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
731.75/732.05 c 713s|410000 |232095 | 0 | 0.0 |1381M| 188 | - |3270 | 21k| 0 | 0 | 0 | 172k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
752.75/753.06 c 734s|420000 |232098 | 0 | 0.0 |1379M| 188 | - |3270 | 20k| 0 | 0 | 0 | 183k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
775.74/776.09 c 756s|430000 |232097 | 0 | 0.0 |1380M| 188 | - |3270 | 20k| 0 | 0 | 0 | 193k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
798.83/799.11 c 779s|440000 |232097 | 0 | 0.0 |1384M| 188 | - |3270 | 23k| 0 | 0 | 0 | 204k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
824.12/824.42 c 804s|450000 |232097 | 0 | 0.0 |1386M| 188 | - |3270 | 25k| 0 | 0 | 0 | 214k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
852.23/852.54 c 831s|460000 |232096 | 0 | 0.0 |1388M| 188 | - |3270 | 26k| 0 | 0 | 0 | 225k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
878.90/879.25 c 858s|470000 |232096 | 0 | 0.0 |1382M| 188 | - |3270 | 22k| 0 | 0 | 0 | 235k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
902.71/903.10 c 881s|480000 |232095 | 0 | 0.0 |1386M| 188 | - |3270 | 25k| 0 | 0 | 0 | 245k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
929.79/930.11 c 908s|490000 |232096 | 0 | 0.0 |1386M| 188 | - |3270 | 25k| 0 | 0 | 0 | 256k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
960.49/960.83 c 938s|500000 |232096 | 0 | 0.0 |1390M| 188 | - |3270 | 28k| 0 | 0 | 0 | 266k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
982.78/983.18 c 960s|510000 |232082 | 0 | 0.0 |1364M| 188 | - |3270 |7292 | 0 | 0 | 0 | 277k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
994.57/994.90 c 971s|520000 |232081 | 0 | 0.0 |1368M| 188 | - |3270 | 10k| 0 | 0 | 0 | 287k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1005.67/1006.05 c 981s|530000 |232080 | 0 | 0.0 |1367M| 188 | - |3270 |9731 | 0 | 0 | 0 | 298k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1017.66/1018.05 c 993s|540000 |232082 | 0 | 0.0 |1366M| 188 | - |3270 |9048 | 0 | 0 | 0 | 308k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1029.96/1030.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.96/1030.39 c 1005s|550000 |232081 | 0 | 0.0 |1369M| 188 | - |3270 | 11k| 0 | 0 | 0 | 319k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1044.67/1045.07 c 1019s|560000 |232081 | 0 | 0.0 |1373M| 188 | - |3270 | 14k| 0 | 0 | 0 | 329k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1061.66/1062.02 c 1035s|570000 |232080 | 0 | 0.0 |1367M| 188 | - |3270 |9819 | 0 | 0 | 0 | 340k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1072.65/1073.08 c 1046s|580000 |232081 | 0 | 0.0 |1367M| 188 | - |3270 |9947 | 0 | 0 | 0 | 350k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1086.15/1086.60 c 1059s|590000 |232080 | 0 | 0.0 |1370M| 188 | - |3270 | 12k| 0 | 0 | 0 | 361k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1100.05/1100.42 c 1072s|600000 |232082 | 0 | 0.0 |1374M| 188 | - |3270 | 14k| 0 | 0 | 0 | 372k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1115.63/1116.08 c 1088s|610000 |232079 | 0 | 0.0 |1369M| 188 | - |3270 | 11k| 0 | 0 | 0 | 382k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1129.84/1130.22 c 1101s|620000 |232081 | 0 | 0.0 |1371M| 188 | - |3270 | 12k| 0 | 0 | 0 | 393k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1146.23/1146.61 c 1117s|630000 |232081 | 0 | 0.0 |1376M| 188 | - |3270 | 16k| 0 | 0 | 0 | 403k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1163.43/1163.89 c 1134s|640000 |232081 | 0 | 0.0 |1377M| 188 | - |3270 | 17k| 0 | 0 | 0 | 414k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1182.21/1182.63 c 1152s|650000 |232081 | 0 | 0.0 |1376M| 188 | - |3270 | 16k| 0 | 0 | 0 | 424k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1204.11/1204.57 c 1174s|660000 |232081 | 0 | 0.0 |1379M| 188 | - |3270 | 18k| 0 | 0 | 0 | 435k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1227.30/1227.73 c 1196s|670000 |232081 | 0 | 0.0 |1380M| 188 | - |3270 | 20k| 0 | 0 | 0 | 446k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1252.50/1252.92 c 1221s|680000 |232081 | 0 | 0.0 |1384M| 188 | - |3270 | 23k| 0 | 0 | 0 | 456k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1276.69/1277.13 c 1245s|690000 |232080 | 0 | 0.0 |1382M| 188 | - |3270 | 21k| 0 | 0 | 0 | 467k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1301.89/1302.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.89/1302.34 c 1270s|700000 |232080 | 0 | 0.0 |1385M| 188 | - |3270 | 23k| 0 | 0 | 0 | 478k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1329.87/1330.33 c 1297s|710000 |232081 | 0 | 0.0 |1386M| 188 | - |3270 | 24k| 0 | 0 | 0 | 488k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1358.76/1359.25 c 1326s|720000 |232080 | 0 | 0.0 |1390M| 188 | - |3270 | 27k| 0 | 0 | 0 | 499k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1381.76/1382.29 c 1348s|730000 |232081 | 0 | 0.0 |1385M| 188 | - |3270 | 23k| 0 | 0 | 0 | 510k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1406.55/1407.00 c 1373s|740000 |232079 | 0 | 0.0 |1387M| 188 | - |3270 | 25k| 0 | 0 | 0 | 521k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1430.74/1431.21 c 1396s|750000 |232078 | 0 | 0.0 |1380M| 188 | - |3270 | 20k| 0 | 0 | 0 | 532k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1452.43/1452.95 c 1418s|760000 |232078 | 0 | 0.0 |1382M| 188 | - |3270 | 21k| 0 | 0 | 0 | 542k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1474.93/1475.44 c 1440s|770000 |232077 | 0 | 0.0 |1384M| 188 | - |3270 | 23k| 0 | 0 | 0 | 552k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1499.72/1500.22 c 1464s|780000 |232077 | 0 | 0.0 |1387M| 188 | - |3270 | 26k| 0 | 0 | 0 | 563k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1525.51/1526.00 c 1489s|790000 |232061 | 0 | 0.0 |1367M| 188 | - |3270 |9684 | 0 | 0 | 0 | 573k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1536.51/1537.04 c 1500s|800000 |232057 | 0 | 0.0 |1369M| 188 | - |3270 | 10k| 0 | 0 | 0 | 583k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1549.41/1549.96 c 1512s|810000 |232059 | 0 | 0.0 |1370M| 188 | - |3270 | 11k| 0 | 0 | 0 | 594k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1565.00/1565.57 c 1527s|820000 |232059 | 0 | 0.0 |1372M| 188 | - |3270 | 13k| 0 | 0 | 0 | 604k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1583.51/1584.02 c 1545s|830000 |232059 | 0 | 0.0 |1375M| 188 | - |3270 | 15k| 0 | 0 | 0 | 615k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1602.69/1603.23 c 1564s|840000 |232057 | 0 | 0.0 |1379M| 188 | - |3270 | 18k| 0 | 0 | 0 | 625k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1620.59/1621.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.59/1621.16 c 1582s|850000 |232058 | 0 | 0.0 |1374M| 188 | - |3270 | 14k| 0 | 0 | 0 | 636k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1638.88/1639.43 c 1599s|860000 |232059 | 0 | 0.0 |1377M| 188 | - |3270 | 16k| 0 | 0 | 0 | 647k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1659.97/1660.59 c 1620s|870000 |232058 | 0 | 0.0 |1380M| 188 | - |3270 | 19k| 0 | 0 | 0 | 657k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1678.57/1679.15 c 1638s|880000 |232058 | 0 | 0.0 |1377M| 188 | - |3270 | 17k| 0 | 0 | 0 | 668k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1697.57/1698.12 c 1657s|890000 |232057 | 0 | 0.0 |1378M| 188 | - |3270 | 18k| 0 | 0 | 0 | 679k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1716.96/1717.51 c 1676s|900000 |232058 | 0 | 0.0 |1380M| 188 | - |3270 | 19k| 0 | 0 | 0 | 690k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1741.05/1741.67 c 1699s|910000 |232057 | 0 | 0.0 |1384M| 188 | - |3270 | 22k| 0 | 0 | 0 | 700k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1764.55/1765.19 c 1722s|920000 |232055 | 0 | 0.0 |1377M| 188 | - |3270 | 17k| 0 | 0 | 0 | 711k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1783.65/1784.21 c 1741s|930000 |232058 | 0 | 0.0 |1377M| 188 | - |3270 | 17k| 0 | 0 | 0 | 722k| 0 |-9.700000e+01 |-8.000000e+00 | 91.75%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1757.11
1800.04/1800.61 c Solving Nodes : 938396
1800.04/1800.61 c Primal Bound : -8.00000000000000e+00 (8 solutions)
1800.04/1800.61 c Dual Bound : -9.70000000000000e+01
1800.04/1800.61 c Gap : 91.75 %
1800.04/1800.62 s SATISFIABLE
1800.04/1800.62 v x146 -x154 -x136 -x128 x198 -x166 -x193 -x151 -x182 -x124 -x110 -x130 -x116 x171 -x156 x163 x185 -x189 -x181 -x153 -x179 -x167
1800.04/1800.62 v -x178 -x149 -x161 -x133 -x172 -x160 -x159 -x152 -x112 x188 -x134 -x139 -x197 -x170 -x194 -x117 x187 -x122 -x196 -x191 -x158 -x140
1800.04/1800.62 v -x135 -x113 -x111 -x109 -x108 -x107 -x190 -x148 -x144 -x173 -x143 -x132 -x176 -x177 -x162 -x125 -x195 -x120 -x200 -x131
1800.04/1800.62 v -x121 -x101 -x199 -x192 -x168 -x157 -x147 -x141 -x137 -x114 -x106 -x183 x123 -x119 -x174 -x180 -x169 -x105 -x118 -x150 -x142
1800.04/1800.62 v -x103 -x104 -x165 -x115 -x155 -x145 -x186 -x129 -x126 -x138 -x164 -x127 -x175 -x184 -x102 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1800.04/1800.62 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
1800.04/1800.62 v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 x48 -x47 -x46 -x45 -x44 -x43
1800.04/1800.62 v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18
1800.04/1800.62 v -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 x4 -x3 -x2 -x1
1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.62 c Solving Time : 1757.11
1800.04/1800.62 c Original Problem :
1800.04/1800.62 c Problem name : HOME/instance-2663891-1276672403.opb
1800.04/1800.62 c Variables : 3270 (3270 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 3371 initial, 3371 maximal
1800.04/1800.62 c Presolved Problem :
1800.04/1800.62 c Problem name : t_HOME/instance-2663891-1276672403.opb
1800.04/1800.62 c Variables : 3270 (3270 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 3371 initial, 30832 maximal
1800.04/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c probing : 0.08 0 0 0 0 0 0 0 0
1800.04/1800.62 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.62 c and : 0.19 0 0 0 0 0 0 0 0
1800.04/1800.62 c linear : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c root node : - 0 - - 0 - - - -
1800.04/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.62 c setppc : 200 0 4167019 0 604534 7384 1365955 0 0 0
1800.04/1800.62 c and : 3070 0 4232653 0 612892 143 22991180 0 0 0
1800.04/1800.62 c linear : 1 0 4233762 0 613157 64090 3339592 0 0 0
1800.04/1800.62 c logicor : 100+ 0 622701 0 612694 5039 492418 0 0 0
1800.04/1800.62 c countsols : 0 0 0 0 613162 0 0 0 0 0
1800.04/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c setppc : 89.09 0.00 10.01 0.00 79.08
1800.04/1800.62 c and : 120.80 0.00 113.49 0.00 7.31
1800.04/1800.62 c linear : 129.61 0.00 128.55 0.00 1.06
1800.04/1800.62 c logicor : 429.21 0.00 419.29 0.00 9.92
1800.04/1800.62 c countsols : 0.34 0.00 0.00 0.00 0.34
1800.04/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.62 c vbounds : 2.11 2 0 0
1800.04/1800.62 c rootredcost : 2.23 0 0 0
1800.04/1800.62 c pseudoobj : 348.85 4544449 302286 255007
1800.04/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.62 c propagation : 349.16 378942 378797 3683074 145.9 94 98.6 -
1800.04/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.62 c applied globally : - - - 731166 141.8 - - -
1800.04/1800.62 c applied locally : - - - 0 0.0 - - -
1800.04/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.62 c redcost : 0.00 0 0 0 0 0
1800.04/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.62 c intobj : 0.00 0 0 0 0 0
1800.04/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.62 c gomory : 0.00 0 0 0 0 0
1800.04/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.62 c cmir : 0.00 0 0 0 0 0
1800.04/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.62 c clique : 0.00 0 0 0 0 0
1800.04/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.62 c mcf : 0.00 0 0 0 0 0
1800.04/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.62 c Pricers : Time Calls Vars
1800.04/1800.62 c problem variables: 0.00 0 0
1800.04/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c inference : 145.97 613157 0 0 0 0 1226314
1800.04/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c random : 0.00 0 0 0 0 0 0
1800.04/1800.62 c Primal Heuristics : Time Calls Found
1800.04/1800.62 c LP solutions : 0.00 - 0
1800.04/1800.62 c pseudo solutions : 0.01 - 5
1800.04/1800.62 c oneopt : 0.99 0 0
1800.04/1800.62 c trivial : 0.02 2 3
1800.04/1800.62 c simplerounding : 0.00 0 0
1800.04/1800.62 c zirounding : 0.00 0 0
1800.04/1800.62 c rounding : 0.00 0 0
1800.04/1800.62 c shifting : 0.00 0 0
1800.04/1800.62 c intshifting : 0.00 0 0
1800.04/1800.62 c twoopt : 0.00 0 0
1800.04/1800.62 c fixandinfer : 0.00 0 0
1800.04/1800.62 c feaspump : 0.00 0 0
1800.04/1800.62 c coefdiving : 0.00 0 0
1800.04/1800.62 c pscostdiving : 0.00 0 0
1800.04/1800.62 c fracdiving : 0.00 0 0
1800.04/1800.62 c veclendiving : 0.00 0 0
1800.04/1800.62 c intdiving : 0.00 0 0
1800.04/1800.62 c actconsdiving : 0.00 0 0
1800.04/1800.62 c objpscostdiving : 0.00 0 0
1800.04/1800.62 c rootsoldiving : 0.00 0 0
1800.04/1800.62 c linesearchdiving : 0.00 0 0
1800.04/1800.62 c guideddiving : 0.00 0 0
1800.04/1800.62 c octane : 0.00 0 0
1800.04/1800.62 c rens : 0.00 0 0
1800.04/1800.62 c rins : 0.00 0 0
1800.04/1800.62 c localbranching : 0.00 0 0
1800.04/1800.62 c mutation : 0.00 0 0
1800.04/1800.62 c crossover : 0.00 0 0
1800.04/1800.62 c dins : 0.00 0 0
1800.04/1800.62 c undercover : 0.00 0 0
1800.04/1800.62 c nlp : 0.51 0 0
1800.04/1800.62 c trysol : 0.67 0 0
1800.04/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.62 c (at root node) : - 0 0 0.00 -
1800.04/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.62 c B&B Tree :
1800.04/1800.62 c number of runs : 1
1800.04/1800.62 c nodes : 938396
1800.04/1800.62 c nodes (total) : 938396
1800.04/1800.62 c nodes left : 232056
1800.04/1800.62 c max depth : 188
1800.04/1800.62 c max depth (total): 188
1800.04/1800.62 c backtracks : 62691 (6.7%)
1800.04/1800.62 c delayed cutoffs : 55863
1800.04/1800.62 c repropagations : 2226534 (1525979 domain reductions, 53708 cutoffs)
1800.04/1800.62 c avg switch length: 6.66
1800.04/1800.62 c switching time : 313.83
1800.04/1800.62 c Solution :
1800.04/1800.62 c Solutions found : 8 (6 improvements)
1800.04/1800.62 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.62 c Primal Bound : -8.00000000000000e+00 (in run 1, after 62525 nodes, 115.58 seconds, depth 65, found by <relaxation>)
1800.04/1800.62 c Dual Bound : -9.70000000000000e+01
1800.04/1800.62 c Gap : 91.75 %
1800.04/1800.62 c Root Dual Bound : -1.00000000000000e+02
1800.04/1800.62 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663891-1276672403/watcher-2663891-1276672403 -o /tmp/evaluation-result-2663891-1276672403/solver-2663891-1276672403 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663891-1276672403.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: 0.85 1.01 1.11 2/106 16592
/proc/meminfo: memFree=1537920/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=6584 CPUtime=0
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 1145 0 0 0 0 0 0 0 24 0 1 0 8531029 6742016 1067 1992294400 4194304 7136930 140735914250112 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16592/statm: 1646 1077 254 719 0 925 0
[startup+0.081487 s]
/proc/loadavg: 0.85 1.01 1.11 2/106 16592
/proc/meminfo: memFree=1537920/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=19040 CPUtime=0.07
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 4383 0 0 0 6 1 0 0 24 0 1 0 8531029 19496960 3951 1992294400 4194304 7136930 140735914250112 18446744073709551615 4331838 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 4760 3953 314 719 0 4039 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19040
[startup+0.101489 s]
/proc/loadavg: 0.85 1.01 1.11 2/106 16592
/proc/meminfo: memFree=1537920/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=19936 CPUtime=0.09
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 4619 0 0 0 8 1 0 0 24 0 1 0 8531029 20414464 4187 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 4984 4187 333 719 0 4263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19936
[startup+0.301511 s]
/proc/loadavg: 0.85 1.01 1.11 2/106 16592
/proc/meminfo: memFree=1537920/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=22856 CPUtime=0.29
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 5904 0 0 0 19 10 0 0 25 0 1 0 8531029 23404544 4958 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 5714 4958 356 719 0 4993 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22856
[startup+0.701555 s]
/proc/loadavg: 0.85 1.01 1.11 2/106 16592
/proc/meminfo: memFree=1537920/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=25356 CPUtime=0.69
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 7867 0 0 0 49 20 0 0 25 0 1 0 8531029 25964544 5636 1992294400 4194304 7136930 140735914250112 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 6339 5636 388 719 0 5618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25356
[startup+1.50164 s]
/proc/loadavg: 0.85 1.01 1.11 2/107 16593
/proc/meminfo: memFree=1514476/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=28096 CPUtime=1.49
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 8557 0 0 0 127 22 0 0 25 0 1 0 8531029 28770304 6326 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 7024 6326 393 719 0 6303 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28096
[startup+3.10082 s]
/proc/loadavg: 0.85 1.01 1.11 2/107 16593
/proc/meminfo: memFree=1513112/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=29944 CPUtime=3.09
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 9028 0 0 0 285 24 0 0 25 0 1 0 8531029 30662656 6797 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 7486 6797 393 719 0 6765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29944
[startup+6.30117 s]
/proc/loadavg: 0.86 1.01 1.11 2/107 16593
/proc/meminfo: memFree=1508524/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=34628 CPUtime=6.29
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 10176 0 0 0 600 29 0 0 25 0 1 0 8531029 35459072 7945 1992294400 4194304 7136930 140735914250112 18446744073709551615 4414772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 8657 7945 393 719 0 7936 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34628
[startup+12.7009 s]
/proc/loadavg: 0.87 1.01 1.11 2/107 16593
/proc/meminfo: memFree=1493272/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=50088 CPUtime=12.69
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 13921 0 0 0 1226 43 0 0 25 0 1 0 8531029 51290112 11690 1992294400 4194304 7136930 140735914250112 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 12522 11690 393 719 0 11801 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50088
[startup+25.5013 s]
/proc/loadavg: 0.90 1.01 1.10 2/107 16593
/proc/meminfo: memFree=1459916/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=86920 CPUtime=25.49
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 22178 0 0 0 2479 70 0 0 25 0 1 0 8531029 89006080 19947 1992294400 4194304 7136930 140735914250112 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 21730 19947 393 719 0 21009 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86920
[startup+51.1011 s]
/proc/loadavg: 0.93 1.01 1.10 2/107 16595
/proc/meminfo: memFree=1396180/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=158872 CPUtime=51.07
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 38158 0 0 0 4993 114 0 0 25 0 1 0 8531029 162684928 35927 1992294400 4194304 7136930 140735914250112 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 39718 35927 393 719 0 38997 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 158872
[startup+102.309 s]
/proc/loadavg: 0.97 1.00 1.09 2/107 16595
/proc/meminfo: memFree=1238452/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=346808 CPUtime=102.27
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 77238 0 0 0 9999 228 0 0 25 0 1 0 8531029 355131392 75007 1992294400 4194304 7136930 140735914250112 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 86702 75007 393 719 0 85981 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 346808
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.08 2/107 16597
/proc/meminfo: memFree=1076756/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=544676 CPUtime=162.24
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 118176 0 0 0 15863 361 0 0 25 0 1 0 8531029 557748224 115945 1992294400 4194304 7136930 140735914250112 18446744073709551615 5955538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 136169 115945 393 719 0 135448 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 544676
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.08 2/107 16599
/proc/meminfo: memFree=922500/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=725376 CPUtime=222.22
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 156278 0 0 0 21746 476 0 0 25 0 1 0 8531029 742785024 154047 1992294400 4194304 7136930 140735914250112 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 181344 154047 393 719 0 180623 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 725376
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.07 2/107 16601
/proc/meminfo: memFree=747784/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=946672 CPUtime=282.2
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 200036 0 0 0 27627 593 0 0 25 0 1 0 8531029 969392128 197805 1992294400 4194304 7136930 140735914250112 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 236668 197805 393 719 0 235947 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 946672
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.07 2/107 16603
/proc/meminfo: memFree=560420/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1175404 CPUtime=342.18
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 246320 0 0 0 33505 713 0 0 25 0 1 0 8531029 1203613696 244089 1992294400 4194304 7136930 140735914250112 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 293851 244089 393 719 0 293130 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1175404
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.06 2/107 16603
/proc/meminfo: memFree=389424/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1369312 CPUtime=402.16
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 289332 0 0 0 39374 842 0 0 25 0 1 0 8531029 1402175488 287101 1992294400 4194304 7136930 140735914250112 18446744073709551615 4225861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 342328 287101 393 719 0 341607 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1369312
[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.06 2/107 16605
/proc/meminfo: memFree=210244/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1594580 CPUtime=462.15
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 333751 0 0 0 45243 972 0 0 25 0 1 0 8531029 1632849920 331520 1992294400 4194304 7136930 140735914250112 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 398645 331520 393 719 0 397924 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1594580
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.05 2/107 16607
/proc/meminfo: memFree=93808/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1739560 CPUtime=522.12
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 363476 0 0 0 51000 1212 0 0 25 0 1 0 8531029 1781309440 360337 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 434890 360337 393 719 0 434169 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1739560
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.04 2/107 16609
/proc/meminfo: memFree=82152/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1750848 CPUtime=582.11
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 366343 0 0 0 56763 1448 0 0 25 0 1 0 8531029 1792868352 363204 1992294400 4194304 7136930 140735914250112 18446744073709551615 5909069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 437712 363204 393 719 0 436991 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1750848
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/107 16611
/proc/meminfo: memFree=77812/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1755612 CPUtime=642.09
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 367428 0 0 0 62587 1622 0 0 25 0 1 0 8531029 1797746688 364289 1992294400 4194304 7136930 140735914250112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 438903 364289 393 719 0 438182 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1755612
[startup+702.301 s]
################
# More data... #
################
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 373290 0 0 0 97791 2406 0 0 25 0 1 0 8531029 1819246592 369127 1992294400 4194304 7136930 140735914250112 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 444152 369127 393 719 0 443431 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1776608
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16621
/proc/meminfo: memFree=56856/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1777632 CPUtime=1061.96
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 373549 0 0 0 103577 2619 0 0 25 0 1 0 8531029 1820295168 369386 1992294400 4194304 7136930 140735914250112 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 444408 369386 393 719 0 443687 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1777632
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16623
/proc/meminfo: memFree=56856/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1777632 CPUtime=1121.93
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 373552 0 0 0 109370 2823 0 0 25 0 1 0 8531029 1820295168 369389 1992294400 4194304 7136930 140735914250112 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 444408 369389 393 719 0 443687 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1777632
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 16628
/proc/meminfo: memFree=55492/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1777860 CPUtime=1181.92
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 373573 0 0 0 115202 2990 0 0 25 0 1 0 8531029 1820528640 369410 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 444465 369410 393 719 0 443744 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1777860
[startup+1242.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 16630
/proc/meminfo: memFree=55492/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1777860 CPUtime=1241.89
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 373574 0 0 0 121076 3113 0 0 25 0 1 0 8531029 1820528640 369411 1992294400 4194304 7136930 140735914250112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 444465 369411 393 719 0 443744 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1777860
[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 16630
/proc/meminfo: memFree=54748/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1778884 CPUtime=1301.89
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 373867 0 0 0 126966 3223 0 0 25 0 1 0 8531029 1821577216 369704 1992294400 4194304 7136930 140735914250112 18446744073709551615 5001200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 444721 369704 393 719 0 444000 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1778884
[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16632
/proc/meminfo: memFree=53632/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1779908 CPUtime=1361.86
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 374132 0 0 0 132873 3313 0 0 25 0 1 0 8531029 1822625792 369969 1992294400 4194304 7136930 140735914250112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 444977 369969 393 719 0 444256 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1779908
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16634
/proc/meminfo: memFree=52516/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1781108 CPUtime=1421.85
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 374422 0 0 0 138760 3425 0 0 25 0 1 0 8531029 1823854592 370259 1992294400 4194304 7136930 140735914250112 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 445277 370259 393 719 0 444556 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1781108
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16636
/proc/meminfo: memFree=50656/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1782976 CPUtime=1481.83
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 374902 0 0 0 144637 3546 0 0 25 0 1 0 8531029 1825767424 370739 1992294400 4194304 7136930 140735914250112 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 445744 370739 393 719 0 445023 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1782976
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16638
/proc/meminfo: memFree=49044/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1784424 CPUtime=1541.81
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375302 0 0 0 150489 3692 0 0 25 0 1 0 8531029 1827250176 371139 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 446106 371139 393 719 0 445385 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1784424
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16638
/proc/meminfo: memFree=49044/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1784424 CPUtime=1601.79
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375324 0 0 0 156324 3855 0 0 25 0 1 0 8531029 1827250176 371161 1992294400 4194304 7136930 140735914250112 18446744073709551615 4223889 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 446106 371161 393 719 0 445385 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1784424
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16640
/proc/meminfo: memFree=48920/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1784424 CPUtime=1661.77
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375330 0 0 0 162185 3992 0 0 25 0 1 0 8531029 1827250176 371167 1992294400 4194304 7136930 140735914250112 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 446106 371167 393 719 0 445385 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1784424
[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 16642
/proc/meminfo: memFree=48920/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1784424 CPUtime=1721.75
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375336 0 0 0 168038 4137 0 0 25 0 1 0 8531029 1827250176 371173 1992294400 4194304 7136930 140735914250112 18446744073709551615 4223034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 446106 371173 393 719 0 445385 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1784424
[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16644
/proc/meminfo: memFree=48672/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1784424 CPUtime=1781.74
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375343 0 0 0 173922 4252 0 0 25 0 1 0 8531029 1827250176 371180 1992294400 4194304 7136930 140735914250112 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 446106 371180 393 719 0 445385 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1784424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16644
/proc/meminfo: memFree=48672/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1784424 CPUtime=1800.04
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375343 0 0 0 175713 4291 0 0 25 0 1 0 8531029 1827250176 371180 1992294400 4194304 7136930 140735914250112 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16592/statm: 446106 371180 393 719 0 445385 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1784424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16592
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16644
/proc/meminfo: memFree=48672/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1784424 CPUtime=1800.83
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375348 0 0 0 175792 4291 0 0 25 0 1 0 8531029 1827250176 371185 1992294400 4194304 7136930 140735914250112 18446744073709551615 4212587 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16592/statm: 446106 371185 398 719 0 445385 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1784424
[startup+1802.2 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 16645
/proc/meminfo: memFree=50152/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=1733744 CPUtime=1801.63
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375348 0 0 0 175871 4292 0 0 25 0 1 0 8531029 1775353856 358516 1992294400 4194304 7136930 140735914250112 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16592/statm: 433436 358516 398 719 0 432715 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 1733744
[startup+1802.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 16645
/proc/meminfo: memFree=50152/2059040 swapFree=4192956/4192956
[pid=16592] ppid=16590 vsize=509012 CPUtime=1802.03
/proc/16592/stat : 16592 (pbscip.linux.x8) R 16590 16592 16567 0 -1 4202496 375348 0 0 0 175899 4304 0 0 25 0 1 0 8531029 521228288 112599 1992294400 4194304 7136930 140735914250112 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16592/statm: 127206 112506 398 719 0 126485 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 509012
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.1
CPU user time (s): 1758.99
CPU system time (s): 43.1034
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1784424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.99
system time used= 43.1034
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375348
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= 7228
runsolver used 2.94055 second user time and 8.5587 second system time
The end