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-2664617-1276406274.opb>
0.03/0.05 c original problem has 840 variables (840 bin, 0 int, 0 impl, 0 cont) and 2526 constraints
0.03/0.05 c problem read
0.03/0.05 c presolving settings loaded
0.03/0.05 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.03/0.07 c presolving:
0.09/0.13 c (round 1) 140 del vars, 140 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2246 upgd conss, 1156 impls, 0 clqs
0.09/0.14 c (round 2) 140 del vars, 281 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2246 upgd conss, 1156 impls, 0 clqs
0.09/0.17 c (0.1s) probing: 101/700 (14.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (3 rounds):
0.09/0.17 c 140 deleted vars, 281 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 1156 implications, 0 cliques
0.09/0.17 c presolved problem has 700 variables (700 bin, 0 int, 0 impl, 0 cont) and 2245 constraints
0.09/0.17 c 23 constraints of type <knapsack>
0.09/0.17 c 2222 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.08
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.95
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 2 | 0 | - |3761k| 0 | - | 700 |2245 | 0 | 0 | 0 | 0 | 0 | 1.400000e+01 | -- | Inf
8.89/8.97 c 8.6s| 10000 | 5825 | 0 | 0.0 |9979k| 55 | - | 700 |3295 | 0 | 0 | 0 |4973 | 0 | 1.600000e+01 | -- | Inf
19.58/19.60 c 18.9s| 20000 | 10400 | 0 | 0.0 | 16M| 55 | - | 700 |3687 | 0 | 0 | 0 | 11k| 0 | 1.800000e+01 | -- | Inf
31.89/31.97 c 30.9s| 30000 | 13755 | 0 | 0.0 | 22M| 55 | - | 700 |4141 | 0 | 0 | 0 | 21k| 0 | 1.900000e+01 | -- | Inf
44.87/44.95 c 43.5s| 40000 | 17862 | 0 | 0.0 | 30M| 56 | - | 700 |4631 | 0 | 0 | 0 | 31k| 0 | 2.000000e+01 | -- | Inf
58.96/59.07 c 57.2s| 50000 | 21633 | 0 | 0.0 | 37M| 56 | - | 700 |4836 | 0 | 0 | 0 | 42k| 0 | 2.100000e+01 | -- | Inf
72.96/73.00 c 70.8s| 60000 | 26074 | 0 | 0.0 | 46M| 57 | - | 700 |5219 | 0 | 0 | 0 | 53k| 0 | 2.200000e+01 | -- | Inf
87.46/87.58 c 85.0s| 70000 | 29955 | 0 | 0.0 | 53M| 57 | - | 700 |5563 | 0 | 0 | 0 | 66k| 0 | 2.300000e+01 | -- | Inf
103.05/103.13 c 100s| 80000 | 33495 | 0 | 0.0 | 62M| 58 | - | 700 |5477 | 0 | 0 | 0 | 79k| 0 | 2.300000e+01 | -- | Inf
118.75/118.82 c 115s| 90000 | 37686 | 0 | 0.0 | 70M| 58 | - | 700 |6304 | 0 | 0 | 0 | 93k| 0 | 2.400000e+01 | -- | Inf
135.33/135.46 c 132s|100000 | 41197 | 0 | 0.0 | 78M| 58 | - | 700 |6391 | 0 | 0 | 0 | 107k| 0 | 2.400000e+01 | -- | Inf
152.33/152.50 c 148s|110000 | 45285 | 0 | 0.0 | 86M| 58 | - | 700 |7346 | 0 | 0 | 0 | 120k| 0 | 2.400000e+01 | -- | Inf
169.82/169.90 c 165s|120000 | 49174 | 0 | 0.0 | 95M| 58 | - | 700 |7494 | 0 | 0 | 0 | 134k| 0 | 2.500000e+01 | -- | Inf
188.21/188.35 c 183s|130000 | 52356 | 0 | 0.0 | 103M| 63 | - | 700 |7838 | 0 | 0 | 0 | 148k| 0 | 2.500000e+01 | -- | Inf
206.72/206.83 c 202s|140000 | 56240 | 0 | 0.0 | 111M| 63 | - | 700 |8050 | 0 | 0 | 0 | 163k| 0 | 2.500000e+01 | -- | Inf
225.20/225.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.20/225.31 c 220s|150000 | 59919 | 0 | 0.0 | 119M| 63 | - | 700 |8697 | 0 | 0 | 0 | 177k| 0 | 2.600000e+01 | -- | Inf
244.40/244.51 c 238s|160000 | 63176 | 0 | 0.0 | 126M| 63 | - | 700 |8038 | 0 | 0 | 0 | 192k| 0 | 2.600000e+01 | -- | Inf
263.49/263.66 c 257s|170000 | 66410 | 0 | 0.0 | 134M| 66 | - | 700 |8405 | 0 | 0 | 0 | 207k| 0 | 2.600000e+01 | -- | Inf
283.69/283.84 c 277s|180000 | 70012 | 0 | 0.0 | 142M| 66 | - | 700 |9519 | 0 | 0 | 0 | 222k| 0 | 2.700000e+01 | -- | Inf
303.98/304.12 c 297s|190000 | 73604 | 0 | 0.0 | 150M| 66 | - | 700 | 10k| 0 | 0 | 0 | 238k| 0 | 2.700000e+01 | -- | Inf
323.77/323.92 c 316s|200000 | 77212 | 0 | 0.0 | 159M| 66 | - | 700 |9658 | 0 | 0 | 0 | 252k| 0 | 2.700000e+01 | -- | Inf
344.86/345.00 c 337s|210000 | 79957 | 0 | 0.0 | 166M| 66 | - | 700 |8554 | 0 | 0 | 0 | 268k| 0 | 2.700000e+01 | -- | Inf
365.95/366.14 c 358s|220000 | 83403 | 0 | 0.0 | 174M| 66 | - | 700 |9963 | 0 | 0 | 0 | 284k| 0 | 2.800000e+01 | -- | Inf
387.14/387.35 c 379s|230000 | 87062 | 0 | 0.0 | 183M| 66 | - | 700 | 11k| 0 | 0 | 0 | 300k| 0 | 2.800000e+01 | -- | Inf
408.64/408.80 c 400s|240000 | 90649 | 0 | 0.0 | 191M| 66 | - | 700 | 11k| 0 | 0 | 0 | 315k| 0 | 2.800000e+01 | -- | Inf
431.43/431.62 c 422s|250000 | 93829 | 0 | 0.0 | 198M| 66 | - | 700 | 11k| 0 | 0 | 0 | 331k| 0 | 2.800000e+01 | -- | Inf
454.52/454.79 c 445s|260000 | 96660 | 0 | 0.0 | 206M| 66 | - | 700 | 10k| 0 | 0 | 0 | 347k| 0 | 2.800000e+01 | -- | Inf
476.51/476.72 c 466s|270000 | 99554 | 0 | 0.0 | 213M| 66 | - | 700 | 10k| 0 | 0 | 0 | 364k| 0 | 2.800000e+01 | -- | Inf
500.31/500.58 c 490s|280000 |102798 | 0 | 0.0 | 222M| 66 | - | 700 | 12k| 0 | 0 | 0 | 382k| 0 | 2.900000e+01 | -- | Inf
524.69/524.97 c 514s|290000 |106054 | 0 | 0.0 | 229M| 66 | - | 700 | 12k| 0 | 0 | 0 | 398k| 0 | 2.900000e+01 | -- | Inf
548.88/549.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.88/549.11 c 538s|300000 |109284 | 0 | 0.0 | 237M| 66 | - | 700 | 12k| 0 | 0 | 0 | 414k| 0 | 2.900000e+01 | -- | Inf
573.68/573.98 c 562s|310000 |112286 | 0 | 0.0 | 244M| 66 | - | 700 | 12k| 0 | 0 | 0 | 430k| 0 | 2.900000e+01 | -- | Inf
599.18/599.40 c 587s|320000 |114926 | 0 | 0.0 | 252M| 66 | - | 700 | 11k| 0 | 0 | 0 | 447k| 0 | 2.900000e+01 | -- | Inf
623.37/623.62 c 611s|330000 |117637 | 0 | 0.0 | 259M| 66 | - | 700 | 12k| 0 | 0 | 0 | 465k| 0 | 2.900000e+01 | -- | Inf
648.55/648.84 c 636s|340000 |120754 | 0 | 0.0 | 267M| 66 | - | 700 | 13k| 0 | 0 | 0 | 482k| 0 | 2.900000e+01 | -- | Inf
675.54/675.82 c 662s|350000 |123788 | 0 | 0.0 | 274M| 66 | - | 700 | 13k| 0 | 0 | 0 | 500k| 0 | 3.000000e+01 | -- | Inf
701.23/701.53 c 688s|360000 |127038 | 0 | 0.0 | 281M| 66 | - | 700 | 14k| 0 | 0 | 0 | 517k| 0 | 3.000000e+01 | -- | Inf
728.82/729.14 c 715s|370000 |130069 | 0 | 0.0 | 288M| 66 | - | 700 | 15k| 0 | 0 | 0 | 533k| 0 | 3.000000e+01 | -- | Inf
757.02/757.37 c 743s|380000 |132941 | 0 | 0.0 | 295M| 66 | - | 700 | 16k| 0 | 0 | 0 | 551k| 0 | 3.000000e+01 | -- | Inf
786.70/787.03 c 772s|390000 |135407 | 0 | 0.0 | 302M| 66 | - | 700 | 15k| 0 | 0 | 0 | 569k| 0 | 3.000000e+01 | -- | Inf
815.29/815.60 c 800s|400000 |137600 | 0 | 0.0 | 308M| 66 | - | 700 | 12k| 0 | 0 | 0 | 587k| 0 | 3.000000e+01 | -- | Inf
842.88/843.27 c 827s|410000 |140335 | 0 | 0.0 | 316M| 66 | - | 700 | 13k| 0 | 0 | 0 | 605k| 0 | 3.000000e+01 | -- | Inf
871.76/872.11 c 856s|420000 |143390 | 0 | 0.0 | 323M| 66 | - | 700 | 15k| 0 | 0 | 0 | 623k| 0 | 3.100000e+01 | -- | Inf
901.16/901.52 c 885s|430000 |146504 | 0 | 0.0 | 331M| 66 | - | 700 | 16k| 0 | 0 | 0 | 640k| 0 | 3.100000e+01 | -- | Inf
931.74/932.18 c 915s|440000 |149516 | 0 | 0.0 | 338M| 66 | - | 700 | 17k| 0 | 0 | 0 | 658k| 0 | 3.100000e+01 | -- | Inf
964.13/964.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.13/964.59 c 947s|450000 |152476 | 0 | 0.0 | 346M| 66 | - | 700 | 20k| 0 | 0 | 0 | 675k| 0 | 3.100000e+01 | -- | Inf
1001.63/1002.00 c 984s|460000 |154978 | 0 | 0.0 | 354M| 66 | - | 700 | 20k| 0 | 0 | 0 | 694k| 0 | 3.100000e+01 | -- | Inf
1039.61/1040.04 c 1022s|470000 |157199 | 0 | 0.0 | 360M| 66 | - | 700 | 20k| 0 | 0 | 0 | 712k| 0 | 3.100000e+01 | -- | Inf
1078.39/1078.87 c 1060s|480000 |159015 | 0 | 0.0 | 366M| 66 | - | 700 | 17k| 0 | 0 | 0 | 731k| 0 | 3.100000e+01 | -- | Inf
1111.48/1111.91 c 1093s|490000 |161058 | 0 | 0.0 | 371M| 66 | - | 700 | 14k| 0 | 0 | 0 | 750k| 0 | 3.100000e+01 | -- | Inf
1141.57/1142.09 c 1122s|500000 |163679 | 0 | 0.0 | 378M| 66 | - | 700 | 14k| 0 | 0 | 0 | 768k| 0 | 3.100000e+01 | -- | Inf
1171.36/1171.82 c 1152s|510000 |166787 | 0 | 0.0 | 386M| 66 | - | 700 | 16k| 0 | 0 | 0 | 786k| 0 | 3.100000e+01 | -- | Inf
1202.85/1203.33 c 1183s|520000 |169826 | 0 | 0.0 | 393M| 66 | - | 700 | 19k| 0 | 0 | 0 | 804k| 0 | 3.200000e+01 | -- | Inf
1237.53/1238.04 c 1217s|530000 |172707 | 0 | 0.0 | 400M| 66 | - | 700 | 21k| 0 | 0 | 0 | 823k| 0 | 3.200000e+01 | -- | Inf
1274.32/1274.87 c 1253s|540000 |175233 | 0 | 0.0 | 407M| 66 | - | 700 | 21k| 0 | 0 | 0 | 841k| 0 | 3.200000e+01 | -- | Inf
1314.71/1315.24 c 1293s|550000 |177647 | 0 | 0.0 | 414M| 66 | - | 700 | 22k| 0 | 0 | 0 | 860k| 0 | 3.200000e+01 | -- | Inf
1358.89/1359.47 c 1337s|560000 |179724 | 0 | 0.0 | 421M| 66 | - | 700 | 23k| 0 | 0 | 0 | 880k| 0 | 3.200000e+01 | -- | Inf
1404.58/1405.15 c 1382s|570000 |181766 | 0 | 0.0 | 429M| 66 | - | 700 | 24k| 0 | 0 | 0 | 899k| 0 | 3.200000e+01 | -- | Inf
1454.35/1454.99 c 1432s|580000 |183327 | 0 | 0.0 | 435M| 66 | - | 700 | 23k| 0 | 0 | 0 | 918k| 0 | 3.200000e+01 | -- | Inf
1502.14/1502.74 c 1479s|590000 |184716 | 0 | 0.0 | 442M| 66 | - | 700 | 22k| 0 | 0 | 0 | 939k| 0 | 3.200000e+01 | -- | Inf
1542.52/1543.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.52/1543.10 c 1519s|600000 |186286 | 0 | 0.0 | 445M| 66 | - | 700 | 15k| 0 | 0 | 0 | 958k| 0 | 3.200000e+01 | -- | Inf
1575.11/1575.74 c 1551s|610000 |188774 | 0 | 0.0 | 453M| 66 | - | 700 | 18k| 0 | 0 | 0 | 976k| 0 | 3.200000e+01 | -- | Inf
1608.00/1608.65 c 1584s|620000 |191615 | 0 | 0.0 | 459M| 66 | - | 700 | 18k| 0 | 0 | 0 | 995k| 0 | 3.200000e+01 | -- | Inf
1642.88/1643.58 c 1618s|630000 |194461 | 0 | 0.0 | 466M| 66 | - | 700 | 21k| 0 | 0 | 0 |1014k| 0 | 3.200000e+01 | -- | Inf
1683.07/1683.75 c 1658s|640000 |196853 | 0 | 0.0 | 473M| 66 | - | 700 | 23k| 0 | 0 | 0 |1034k| 0 | 3.300000e+01 | -- | Inf
1726.45/1727.19 c 1701s|650000 |199160 | 0 | 0.0 | 480M| 66 | - | 700 | 23k| 0 | 0 | 0 |1053k| 0 | 3.300000e+01 | -- | Inf
1774.14/1774.81 c 1748s|660000 |201183 | 0 | 0.0 | 488M| 66 | - | 700 | 27k| 0 | 0 | 0 |1074k| 0 | 3.300000e+01 | -- | Inf
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1774.06
1800.05/1800.71 c Solving Nodes : 664860
1800.05/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71 c Dual Bound : +3.30000000000000e+01
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 s UNKNOWN
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1774.06
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-2664617-1276406274.opb
1800.05/1800.71 c Variables : 840 (840 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 2526 initial, 2526 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-2664617-1276406274.opb
1800.05/1800.71 c Variables : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 2245 initial, 28671 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c implics : 0.01 0 140 0 0 0 0 0 0
1800.05/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.72 c knapsack : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.72 c linear : 0.03 0 0 0 0 0 280 0 0
1800.05/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.72 c root node : - 0 - - 0 - - - -
1800.05/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.72 c knapsack : 23 0 2912487 0 490622 182664 13600016 0 0 0
1800.05/1800.72 c logicor : 2222+ 0 2547321 0 490622 79841 14567789 0 0 0
1800.05/1800.72 c countsols : 0 0 0 0 490615 0 0 0 0 0
1800.05/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.72 c knapsack : 79.37 0.00 75.73 0.00 3.64
1800.05/1800.72 c logicor : 911.33 0.00 688.31 0.00 223.02
1800.05/1800.72 c countsols : 0.14 0.00 0.00 0.00 0.14
1800.05/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.72 c vbounds : 1.49 2 0 0
1800.05/1800.72 c rootredcost : 1.43 0 0 0
1800.05/1800.72 c pseudoobj : 110.22 2912287 0 0
1800.05/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.72 c propagation : 27.42 262505 261494 1894111 24.4 12834 15.3 -
1800.05/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.72 c applied globally : - - - 1084440 21.4 - - -
1800.05/1800.72 c applied locally : - - - 0 0.0 - - -
1800.05/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.72 c redcost : 0.00 0 0 0 0 0
1800.05/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.72 c intobj : 0.00 0 0 0 0 0
1800.05/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.72 c gomory : 0.00 0 0 0 0 0
1800.05/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.72 c cmir : 0.00 0 0 0 0 0
1800.05/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.72 c clique : 0.00 0 0 0 0 0
1800.05/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.72 c mcf : 0.00 0 0 0 0 0
1800.05/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.72 c Pricers : Time Calls Vars
1800.05/1800.72 c problem variables: 0.00 0 0
1800.05/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.72 c inference : 78.28 490615 0 0 0 0 981230
1800.05/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c random : 0.00 0 0 0 0 0 0
1800.05/1800.72 c Primal Heuristics : Time Calls Found
1800.05/1800.72 c LP solutions : 0.00 - 0
1800.05/1800.72 c pseudo solutions : 0.00 - 0
1800.05/1800.72 c oneopt : 0.47 0 0
1800.05/1800.72 c trivial : 0.00 2 0
1800.05/1800.72 c simplerounding : 0.00 0 0
1800.05/1800.72 c zirounding : 0.00 0 0
1800.05/1800.72 c rounding : 0.00 0 0
1800.05/1800.72 c shifting : 0.00 0 0
1800.05/1800.72 c intshifting : 0.00 0 0
1800.05/1800.72 c twoopt : 0.00 0 0
1800.05/1800.72 c fixandinfer : 0.00 0 0
1800.05/1800.72 c feaspump : 0.00 0 0
1800.05/1800.72 c coefdiving : 0.00 0 0
1800.05/1800.72 c pscostdiving : 0.00 0 0
1800.05/1800.72 c fracdiving : 0.00 0 0
1800.05/1800.72 c veclendiving : 0.00 0 0
1800.05/1800.72 c intdiving : 0.00 0 0
1800.05/1800.72 c actconsdiving : 0.00 0 0
1800.05/1800.72 c objpscostdiving : 0.00 0 0
1800.05/1800.72 c rootsoldiving : 0.00 0 0
1800.05/1800.72 c linesearchdiving : 0.00 0 0
1800.05/1800.72 c guideddiving : 0.00 0 0
1800.05/1800.72 c octane : 0.00 0 0
1800.05/1800.72 c rens : 0.00 0 0
1800.05/1800.72 c rins : 0.00 0 0
1800.05/1800.72 c localbranching : 0.00 0 0
1800.05/1800.72 c mutation : 0.00 0 0
1800.05/1800.72 c crossover : 0.00 0 0
1800.05/1800.72 c dins : 0.00 0 0
1800.05/1800.72 c undercover : 0.00 0 0
1800.05/1800.72 c nlp : 0.50 0 0
1800.05/1800.72 c trysol : 0.36 0 0
1800.05/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.72 c (at root node) : - 0 0 0.00 -
1800.05/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.72 c B&B Tree :
1800.05/1800.72 c number of runs : 1
1800.05/1800.72 c nodes : 664860
1800.05/1800.72 c nodes (total) : 664860
1800.05/1800.72 c nodes left : 201857
1800.05/1800.72 c max depth : 66
1800.05/1800.72 c max depth (total): 66
1800.05/1800.72 c backtracks : 109515 (16.5%)
1800.05/1800.72 c delayed cutoffs : 114514
1800.05/1800.72 c repropagations : 365373 (8338836 domain reductions, 88260 cutoffs)
1800.05/1800.72 c avg switch length: 7.96
1800.05/1800.72 c switching time : 403.45
1800.05/1800.72 c Solution :
1800.05/1800.72 c Solutions found : 0 (0 improvements)
1800.05/1800.72 c Primal Bound : -
1800.05/1800.72 c Dual Bound : +3.30000000000000e+01
1800.05/1800.72 c Gap : infinite
1800.05/1800.72 c Root Dual Bound : +1.40000000000000e+01
1800.05/1800.72 c Root Iterations : 0
1801.43/1802.16 c Time complete: 1801.49.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664617-1276406274/watcher-2664617-1276406274 -o /tmp/evaluation-result-2664617-1276406274/solver-2664617-1276406274 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664617-1276406274.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.33 1.10 1.02 3/106 22101
/proc/meminfo: memFree=1752932/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=6584 CPUtime=0
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 973 0 0 0 0 0 0 0 20 0 1 0 16228998 6742016 895 1992294400 4194304 7136930 140735835963568 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22101/statm: 1646 905 254 719 0 925 0
[startup+0.0425701 s]
/proc/loadavg: 1.33 1.10 1.02 3/106 22101
/proc/meminfo: memFree=1752932/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=9380 CPUtime=0.03
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 1832 0 0 0 3 0 0 0 20 0 1 0 16228998 9605120 1754 1992294400 4194304 7136930 140735835963568 18446744073709551615 6274821 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22101/statm: 2345 1754 271 719 0 1624 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9380
[startup+0.101582 s]
/proc/loadavg: 1.33 1.10 1.02 3/106 22101
/proc/meminfo: memFree=1752932/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=14408 CPUtime=0.09
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 3509 0 0 0 8 1 0 0 20 0 1 0 16228998 14753792 2820 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 3602 2820 342 719 0 2881 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14408
[startup+0.301624 s]
/proc/loadavg: 1.33 1.10 1.02 3/106 22101
/proc/meminfo: memFree=1752932/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=17480 CPUtime=0.29
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 5876 0 0 0 27 2 0 0 20 0 1 0 16228998 17899520 3645 1992294400 4194304 7136930 140735835963568 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 4370 3645 396 719 0 3649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17480
[startup+0.701709 s]
/proc/loadavg: 1.33 1.10 1.02 3/106 22101
/proc/meminfo: memFree=1752932/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=18052 CPUtime=0.69
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 6044 0 0 0 65 4 0 0 21 0 1 0 16228998 18485248 3813 1992294400 4194304 7136930 140735835963568 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 4513 3813 396 719 0 3792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18052
[startup+1.50088 s]
/proc/loadavg: 1.33 1.10 1.02 2/107 22102
/proc/meminfo: memFree=1738788/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=18864 CPUtime=1.49
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 6224 0 0 0 142 7 0 0 23 0 1 0 16228998 19316736 3993 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 4716 3993 396 719 0 3995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18864
[startup+3.10122 s]
/proc/loadavg: 1.33 1.10 1.02 2/107 22102
/proc/meminfo: memFree=1736804/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=21160 CPUtime=3.09
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 6813 0 0 0 297 12 0 0 25 0 1 0 16228998 21667840 4582 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 5290 4582 396 719 0 4569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21160
[startup+6.3009 s]
/proc/loadavg: 1.30 1.10 1.02 2/107 22102
/proc/meminfo: memFree=1733828/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=23512 CPUtime=6.29
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 7382 0 0 0 606 23 0 0 25 0 1 0 16228998 24076288 5151 1992294400 4194304 7136930 140735835963568 18446744073709551615 5005221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 5878 5151 396 719 0 5157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23512
[startup+12.7013 s]
/proc/loadavg: 1.28 1.10 1.02 2/107 22102
/proc/meminfo: memFree=1728372/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=28932 CPUtime=12.69
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 8729 0 0 0 1226 43 0 0 25 0 1 0 16228998 29626368 6498 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 7233 6498 396 719 0 6512 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28932
[startup+25.501 s]
/proc/loadavg: 1.22 1.09 1.02 2/107 22104
/proc/meminfo: memFree=1719320/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=37752 CPUtime=25.49
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 10940 0 0 0 2469 80 0 0 25 0 1 0 16228998 38658048 8709 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 9438 8709 396 719 0 8717 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37752
[startup+51.1014 s]
/proc/loadavg: 1.14 1.08 1.02 2/107 22104
/proc/meminfo: memFree=1699976/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=57732 CPUtime=51.07
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 15846 0 0 0 4955 152 0 0 25 0 1 0 16228998 59117568 13615 1992294400 4194304 7136930 140735835963568 18446744073709551615 5005272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 14433 13615 396 719 0 13712 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57732
[startup+102.309 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 22106
/proc/meminfo: memFree=1662280/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=95304 CPUtime=102.26
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 25047 0 0 0 9941 285 0 0 25 0 1 0 16228998 97591296 22816 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 23826 22816 396 719 0 23105 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 95304
[startup+162.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 22106
/proc/meminfo: memFree=1622352/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=136624 CPUtime=162.23
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 35028 0 0 0 15804 419 0 0 25 0 1 0 16228998 139902976 32797 1992294400 4194304 7136930 140735835963568 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 34156 32797 396 719 0 33435 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 136624
[startup+222.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 22108
/proc/meminfo: memFree=1593708/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=165200 CPUtime=222.2
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 42145 0 0 0 21675 545 0 0 25 0 1 0 16228998 169164800 39914 1992294400 4194304 7136930 140735835963568 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 41300 39914 396 719 0 40579 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 165200
[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 22110
/proc/meminfo: memFree=1555020/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=207448 CPUtime=282.18
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 51811 0 0 0 27554 664 0 0 25 0 1 0 16228998 212426752 49580 1992294400 4194304 7136930 140735835963568 18446744073709551615 5954132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 51862 49580 396 719 0 51141 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 207448
[startup+342.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22112
/proc/meminfo: memFree=1531088/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=232808 CPUtime=342.16
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 57769 0 0 0 33437 779 0 0 25 0 1 0 16228998 238395392 55538 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 58202 55538 396 719 0 57481 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 232808
[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22114
/proc/meminfo: memFree=1506412/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=256428 CPUtime=402.14
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 63935 0 0 0 39328 886 0 0 25 0 1 0 16228998 262582272 61704 1992294400 4194304 7136930 140735835963568 18446744073709551615 5000163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 64107 61704 396 719 0 63386 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 256428
[startup+462.301 s]
/proc/loadavg: 1.42 1.13 1.04 2/107 22114
/proc/meminfo: memFree=1487068/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=277064 CPUtime=462.12
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 68706 0 0 0 45224 988 0 0 25 0 1 0 16228998 283713536 66475 1992294400 4194304 7136930 140735835963568 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 69266 66475 396 719 0 68545 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 277064
[startup+522.301 s]
/proc/loadavg: 1.22 1.12 1.04 2/107 22116
/proc/meminfo: memFree=1458796/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=308328 CPUtime=522.1
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 75930 0 0 0 51125 1085 0 0 25 0 1 0 16228998 315727872 73699 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 77082 73699 396 719 0 76361 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 308328
[startup+582.301 s]
/proc/loadavg: 1.15 1.11 1.04 2/107 22118
/proc/meminfo: memFree=1434368/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=333408 CPUtime=582.08
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 81860 0 0 0 57021 1187 0 0 25 0 1 0 16228998 341409792 79629 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 83352 79629 396 719 0 82631 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 333408
[startup+642.3 s]
/proc/loadavg: 1.11 1.11 1.04 2/107 22120
/proc/meminfo: memFree=1414776/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=353048 CPUtime=642.06
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 86685 0 0 0 62926 1280 0 0 25 0 1 0 16228998 361521152 84454 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 88262 84454 396 719 0 87541 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 353048
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.02 2/107 22130
/proc/meminfo: memFree=1296480/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=471276 CPUtime=1061.9
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 116109 0 0 0 104365 1825 0 0 25 0 1 0 16228998 482586624 113878 1992294400 4194304 7136930 140735835963568 18446744073709551615 4212311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 117819 113878 396 719 0 117098 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 471276
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 22132
/proc/meminfo: memFree=1285072/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=484136 CPUtime=1121.88
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 118941 0 0 0 110286 1902 0 0 25 0 1 0 16228998 495755264 116710 1992294400 4194304 7136930 140735835963568 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 121034 116710 396 719 0 120313 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 484136
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22134
/proc/meminfo: memFree=1273416/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=495896 CPUtime=1181.86
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 121829 0 0 0 116209 1977 0 0 25 0 1 0 16228998 507797504 119598 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 123974 119598 396 719 0 123253 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 495896
[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22136
/proc/meminfo: memFree=1261016/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=508908 CPUtime=1241.84
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 124911 0 0 0 122133 2051 0 0 25 0 1 0 16228998 521121792 122680 1992294400 4194304 7136930 140735835963568 18446744073709551615 5507003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 127227 122680 396 719 0 126506 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 508908
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22138
/proc/meminfo: memFree=1251840/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=518684 CPUtime=1301.82
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 127157 0 0 0 128067 2115 0 0 25 0 1 0 16228998 531132416 124926 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 129671 124926 396 719 0 128950 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 518684
[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22138
/proc/meminfo: memFree=1236836/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=534404 CPUtime=1361.79
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 130899 0 0 0 134004 2175 0 0 25 0 1 0 16228998 547229696 128668 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 133601 128668 396 719 0 132880 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 534404
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22140
/proc/meminfo: memFree=1231504/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=540332 CPUtime=1421.78
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 132239 0 0 0 139951 2227 0 0 25 0 1 0 16228998 553299968 130008 1992294400 4194304 7136930 140735835963568 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 135083 130008 396 719 0 134362 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 540332
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22142
/proc/meminfo: memFree=1223816/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=547556 CPUtime=1481.75
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 134160 0 0 0 145895 2280 0 0 25 0 1 0 16228998 560697344 131929 1992294400 4194304 7136930 140735835963568 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 136889 131929 396 719 0 136168 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 547556
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22144
/proc/meminfo: memFree=1212780/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=559980 CPUtime=1541.72
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 136890 0 0 0 151831 2341 0 0 25 0 1 0 16228998 573419520 134659 1992294400 4194304 7136930 140735835963568 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 139995 134659 396 719 0 139274 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 559980
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22146
/proc/meminfo: memFree=1205340/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=568472 CPUtime=1601.7
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 138754 0 0 0 157761 2409 0 0 25 0 1 0 16228998 582115328 136523 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 142118 136523 396 719 0 141397 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 568472
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22146
/proc/meminfo: memFree=1197776/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=575852 CPUtime=1661.68
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 140645 0 0 0 163696 2472 0 0 25 0 1 0 16228998 589672448 138414 1992294400 4194304 7136930 140735835963568 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 143963 138414 396 719 0 143242 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 575852
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22148
/proc/meminfo: memFree=1189592/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=587872 CPUtime=1721.66
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 142667 0 0 0 169637 2529 0 0 25 0 1 0 16228998 601980928 140436 1992294400 4194304 7136930 140735835963568 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 146968 140436 396 719 0 146247 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 587872
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22150
/proc/meminfo: memFree=1177688/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=601752 CPUtime=1781.64
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 145833 0 0 0 175585 2579 0 0 25 0 1 0 16228998 616194048 143602 1992294400 4194304 7136930 140735835963568 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 150438 143602 396 719 0 149717 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 601752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22150
/proc/meminfo: memFree=1174340/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=604280 CPUtime=1800.05
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 146412 0 0 0 177411 2594 0 0 25 0 1 0 16228998 618782720 144181 1992294400 4194304 7136930 140735835963568 18446744073709551615 4210607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22101/statm: 151070 144181 396 719 0 150349 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 604280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22150
/proc/meminfo: memFree=1174340/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=604320 CPUtime=1800.73
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 146426 0 0 0 177479 2594 0 0 25 0 1 0 16228998 618823680 144195 1992294400 4194304 7136930 140735835963568 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22101/statm: 151080 144195 402 719 0 150359 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 604320
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22151
/proc/meminfo: memFree=1174208/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=604320 CPUtime=1801.14
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 146426 0 0 0 177520 2594 0 0 25 0 1 0 16228998 618823680 144195 1992294400 4194304 7136930 140735835963568 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22101/statm: 151080 144195 402 719 0 150359 0
Current children cumulated CPU time (s) 1801.14
Current children cumulated vsize (KiB) 604320
[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22151
/proc/meminfo: memFree=1174208/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=604320 CPUtime=1801.33
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 146426 0 0 0 177539 2594 0 0 25 0 1 0 16228998 618823680 144195 1992294400 4194304 7136930 140735835963568 18446744073709551615 6165652 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22101/statm: 151080 144195 402 719 0 150359 0
Current children cumulated CPU time (s) 1801.33
Current children cumulated vsize (KiB) 604320
[startup+1802.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 22151
/proc/meminfo: memFree=1174208/2059040 swapFree=4187004/4192956
[pid=22101] ppid=22099 vsize=526112 CPUtime=1801.43
/proc/22101/stat : 22101 (pbscip.linux.x8) R 22099 22101 15586 0 -1 4202496 146426 0 0 0 177548 2595 0 0 25 0 1 0 16228998 538738688 124648 1992294400 4194304 7136930 140735835963568 18446744073709551615 4333578 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22101/statm: 131528 124648 402 719 0 130807 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 526112
Child status: 0
Real time (s): 1802.17
CPU time (s): 1801.5
CPU user time (s): 1775.5
CPU system time (s): 26.008
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 604320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.5
system time used= 26.008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146433
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= 21303
runsolver used 3.15052 second user time and 8.33673 second system time
The end