0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450740-1307110738.opb>
0.00/0.02 c original problem has 3270 variables (3270 bin, 0 int, 0 impl, 0 cont) and 3571 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 0 del vars, 3270 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24760 impls, 199 clqs
0.07/0.08 c (round 2) 3070 del vars, 3270 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24760 impls, 0 clqs
0.07/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.07/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.07/0.09 c presolving (3 rounds):
0.07/0.09 c 3070 deleted vars, 3270 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.07/0.09 c 24760 implications, 0 cliques
0.07/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.07/0.09 c 200 constraints of type <knapsack>
0.07/0.09 c 100 constraints of type <setppc>
0.07/0.09 c 1 constraints of type <linear>
0.07/0.09 c transformed objective value is always integral (scale: 1)
0.07/0.09 c Presolving Time: 0.07
0.07/0.09 c - non default parameters ----------------------------------------------------------------------
0.07/0.09 c # SCIP version 2.0.1.5
0.07/0.09 c
0.07/0.09 c # frequency for displaying node information lines
0.07/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.07/0.09 c display/freq = 10000
0.07/0.09 c
0.07/0.09 c # maximal time in seconds to run
0.07/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.07/0.09 c limits/time = 1800
0.07/0.09 c
0.07/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.07/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.07/0.09 c limits/memory = 13950
0.07/0.09 c
0.07/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.07/0.09 c # [type: int, range: [1,2], default: 1]
0.07/0.09 c timing/clocktype = 2
0.07/0.09 c
0.07/0.09 c # belongs reading time to solving time?
0.07/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.09 c timing/reading = TRUE
0.07/0.09 c
0.07/0.09 c # should presolving try to simplify inequalities
0.07/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.09 c constraints/linear/simplifyinequalities = TRUE
0.07/0.09 c
0.07/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.07/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.09 c constraints/indicator/addCouplingCons = TRUE
0.07/0.09 c
0.07/0.09 c # should presolving try to simplify knapsacks
0.07/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.07/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.07/0.09 c
0.07/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.07/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.07/0.09 c separating/rapidlearning/freq = 0
0.07/0.09 c
0.07/0.09 c -----------------------------------------------------------------------------------------------
0.07/0.09 c start solving
0.07/0.09 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 0 | 1262 | - |8613k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.21 o -1
0.19/0.21 c R 0.2s| 1 | 0 | 1262 | - |8630k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.30 o -8
0.19/0.30 c y 0.3s| 1 | 0 | 1262 | - |8650k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-8.000000e+00 | 84.00%
1.29/1.30 c 1.3s| 1 | 2 | 1262 | - |8650k| 0 | 200 | 200 | 302 | 200 | 301 | 0 | 0 | 21 |-5.000000e+01 |-8.000000e+00 | 84.00%
3.99/4.00 o -9
3.99/4.00 c R 4.0s| 26 | 25 | 2798 | 61.4 |8753k| 13 | 36 | 200 | 302 | 200 | 301 | 0 | 0 | 377 |-4.977105e+01 |-9.000000e+00 | 81.92%
5.40/5.51 o -14
5.40/5.51 c f 5.5s| 39 | 40 | 3869 | 68.6 |8817k| 13 | - | 200 | 302 | 200 | 301 | 0 | 0 | 572 |-4.953727e+01 |-1.400000e+01 | 71.74%
57.65/57.73 c 57.7s| 10000 | 8307 |578612 | 57.7 | 20M| 87 | 45 | 200 | 433 | 200 | 301 | 0 | 200 |1442 |-3.762118e+01 |-1.400000e+01 | 62.79%
94.46/94.55 c 94.5s| 20000 | 15927 | 1091k| 54.5 | 29M| 87 | 49 | 200 | 469 | 200 | 301 | 0 | 350 |1772 |-3.639195e+01 |-1.400000e+01 | 61.53%
128.86/128.96 c 129s| 30000 | 23365 | 1599k| 53.3 | 39M| 87 | - | 200 | 477 | 200 | 301 | 0 | 501 |2023 |-3.557365e+01 |-1.400000e+01 | 60.65%
158.96/159.06 c 159s| 40000 | 30155 | 2047k| 51.2 | 47M| 103 | - | 200 | 459 | 200 | 301 | 0 | 595 |2224 |-3.490096e+01 |-1.400000e+01 | 59.89%
183.86/183.96 c 184s| 50000 | 35901 | 2426k| 48.5 | 55M| 104 | - | 200 | 423 | 200 | 301 | 0 | 639 |2390 |-3.453782e+01 |-1.400000e+01 | 59.46%
206.96/207.07 c 207s| 60000 | 41421 | 2785k| 46.4 | 63M| 104 | 29 | 200 | 419 | 200 | 301 | 0 | 695 |2546 |-3.423551e+01 |-1.400000e+01 | 59.11%
229.46/229.52 o -15
229.46/229.52 c * 230s| 69764 | 38759 | 3137k| 45.0 | 60M| 105 | - | 200 | 395 | 200 | 301 | 0 | 715 |2696 |-3.400872e+01 |-1.500000e+01 | 55.89%
230.16/230.27 c 230s| 70000 | 38863 | 3144k| 44.9 | 60M| 105 | 37 | 200 | 394 | 200 | 301 | 0 | 715 |2696 |-3.400841e+01 |-1.500000e+01 | 55.89%
252.06/252.13 c 252s| 80000 | 43489 | 3460k| 43.2 | 67M| 106 | - | 200 | 389 | 200 | 301 | 0 | 753 |2829 |-3.378305e+01 |-1.500000e+01 | 55.60%
273.26/273.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.26/273.36 c 273s| 90000 | 48081 | 3779k| 42.0 | 74M| 106 | 32 | 200 | 374 | 200 | 301 | 0 | 788 |2971 |-3.356704e+01 |-1.500000e+01 | 55.31%
293.76/293.87 c 294s|100000 | 52633 | 4092k| 40.9 | 80M| 107 | 86 | 200 | 371 | 200 | 301 | 0 | 827 |3085 |-3.333673e+01 |-1.500000e+01 | 55.00%
313.86/313.93 c 314s|110000 | 57171 | 4401k| 40.0 | 87M| 107 | 104 | 200 | 349 | 200 | 301 | 0 | 845 |3212 |-3.319115e+01 |-1.500000e+01 | 54.81%
333.56/333.64 c 334s|120000 | 61607 | 4708k| 39.2 | 93M| 108 | - | 200 | 350 | 200 | 301 | 0 | 873 |3321 |-3.304882e+01 |-1.500000e+01 | 54.61%
353.26/353.37 c 353s|130000 | 66009 | 5017k| 38.6 | 100M| 108 | 48 | 200 | 345 | 200 | 301 | 0 | 895 |3413 |-3.291158e+01 |-1.500000e+01 | 54.42%
372.78/372.91 c 373s|140000 | 70377 | 5323k| 38.0 | 106M| 108 | 28 | 200 | 348 | 200 | 301 | 0 | 917 |3522 |-3.275143e+01 |-1.500000e+01 | 54.20%
392.06/392.13 c 392s|150000 | 74755 | 5624k| 37.5 | 112M| 109 | - | 200 | 345 | 200 | 301 | 0 | 933 |3619 |-3.263151e+01 |-1.500000e+01 | 54.03%
410.56/410.69 c 411s|160000 | 78913 | 5917k| 37.0 | 118M| 111 | 27 | 200 | 353 | 200 | 301 | 0 | 957 |3708 |-3.251261e+01 |-1.500000e+01 | 53.86%
427.88/427.98 c 428s|170000 | 82787 | 6191k| 36.4 | 124M| 111 | 44 | 200 | 352 | 200 | 301 | 0 | 975 |3801 |-3.242248e+01 |-1.500000e+01 | 53.74%
445.27/445.36 c 445s|180000 | 86525 | 6464k| 35.9 | 130M| 112 | - | 200 | 344 | 200 | 301 | 0 | 988 |3896 |-3.232951e+01 |-1.500000e+01 | 53.60%
462.07/462.17 c 462s|190000 | 90297 | 6729k| 35.4 | 135M| 112 | 36 | 200 | 336 | 200 | 301 | 0 |1000 |3966 |-3.228043e+01 |-1.500000e+01 | 53.53%
479.27/479.32 c 479s|200000 | 94057 | 6999k| 35.0 | 141M| 112 | 32 | 200 | 353 | 200 | 301 | 0 |1031 |4065 |-3.217373e+01 |-1.500000e+01 | 53.38%
496.08/496.13 c 496s|210000 | 97787 | 7266k| 34.6 | 147M| 112 | 37 | 200 | 345 | 200 | 301 | 0 |1044 |4141 |-3.207700e+01 |-1.500000e+01 | 53.24%
512.96/513.04 c 513s|220000 |101495 | 7533k| 34.2 | 152M| 113 | 89 | 200 | 349 | 200 | 301 | 0 |1064 |4247 |-3.201728e+01 |-1.500000e+01 | 53.15%
529.76/529.80 c 530s|230000 |105191 | 7801k| 33.9 | 158M| 113 | 42 | 200 | 335 | 200 | 301 | 0 |1075 |4335 |-3.195086e+01 |-1.500000e+01 | 53.05%
546.06/546.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.06/546.13 c 546s|240000 |108911 | 8062k| 33.6 | 164M| 113 | 27 | 200 | 348 | 200 | 301 | 0 |1106 |4410 |-3.186688e+01 |-1.500000e+01 | 52.93%
562.57/562.65 c 563s|250000 |112621 | 8324k| 33.3 | 169M| 113 | 37 | 200 | 355 | 200 | 301 | 0 |1125 |4503 |-3.179497e+01 |-1.500000e+01 | 52.82%
579.06/579.19 c 579s|260000 |116235 | 8591k| 33.0 | 175M| 113 | 53 | 200 | 345 | 200 | 301 | 0 |1135 |4578 |-3.172735e+01 |-1.500000e+01 | 52.72%
595.47/595.58 c 596s|270000 |119937 | 8854k| 32.8 | 180M| 113 | - | 200 | 343 | 200 | 301 | 0 |1154 |4649 |-3.166452e+01 |-1.500000e+01 | 52.63%
612.07/612.12 c 612s|280000 |123539 | 9118k| 32.6 | 186M| 113 | - | 200 | 352 | 200 | 301 | 0 |1177 |4710 |-3.161626e+01 |-1.500000e+01 | 52.56%
628.26/628.32 c 628s|290000 |127093 | 9379k| 32.3 | 191M| 113 | 95 | 200 | 335 | 200 | 301 | 0 |1184 |4789 |-3.155311e+01 |-1.500000e+01 | 52.46%
644.27/644.33 c 644s|300000 |130733 | 9640k| 32.1 | 197M| 114 | - | 200 | 344 | 200 | 301 | 0 |1208 |4841 |-3.150562e+01 |-1.500000e+01 | 52.39%
660.47/660.56 c 661s|310000 |134323 | 9904k| 31.9 | 202M| 114 | - | 200 | 345 | 200 | 301 | 0 |1233 |4919 |-3.145553e+01 |-1.500000e+01 | 52.31%
676.66/676.78 c 677s|320000 |137919 | 10168k| 31.8 | 208M| 114 | 29 | 200 | 343 | 200 | 301 | 0 |1251 |4998 |-3.139939e+01 |-1.500000e+01 | 52.23%
692.47/692.53 c 693s|330000 |141511 | 10421k| 31.6 | 213M| 114 | 30 | 200 | 338 | 200 | 301 | 0 |1259 |5060 |-3.134563e+01 |-1.500000e+01 | 52.15%
708.28/708.39 c 708s|340000 |145121 | 10678k| 31.4 | 218M| 114 | 42 | 200 | 331 | 200 | 301 | 0 |1272 |5128 |-3.129790e+01 |-1.500000e+01 | 52.07%
724.27/724.32 c 724s|350000 |148721 | 10936k| 31.2 | 224M| 114 | 35 | 200 | 333 | 200 | 301 | 0 |1285 |5206 |-3.125335e+01 |-1.500000e+01 | 52.01%
740.07/740.15 c 740s|360000 |152335 | 11194k| 31.1 | 229M| 114 | 34 | 200 | 336 | 200 | 301 | 0 |1298 |5279 |-3.119290e+01 |-1.500000e+01 | 51.91%
755.77/755.85 c 756s|370000 |155887 | 11451k| 30.9 | 235M| 114 | - | 200 | 357 | 200 | 301 | 0 |1328 |5333 |-3.115584e+01 |-1.500000e+01 | 51.85%
771.47/771.55 c 772s|380000 |159425 | 11704k| 30.8 | 240M| 114 | - | 200 | 347 | 200 | 301 | 0 |1347 |5399 |-3.112463e+01 |-1.500000e+01 | 51.81%
787.07/787.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.07/787.18 c 787s|390000 |162953 | 11958k| 30.7 | 246M| 114 | - | 200 | 336 | 200 | 301 | 0 |1361 |5456 |-3.109267e+01 |-1.500000e+01 | 51.76%
802.77/802.81 c 803s|400000 |166479 | 12213k| 30.5 | 251M| 114 | - | 200 | 339 | 200 | 301 | 0 |1380 |5506 |-3.105575e+01 |-1.500000e+01 | 51.70%
818.29/818.38 c 818s|410000 |170009 | 12466k| 30.4 | 256M| 114 | - | 200 | 353 | 200 | 301 | 0 |1408 |5563 |-3.101637e+01 |-1.500000e+01 | 51.64%
834.17/834.28 c 834s|420000 |173595 | 12728k| 30.3 | 262M| 115 | 27 | 200 | 355 | 200 | 301 | 0 |1430 |5611 |-3.097599e+01 |-1.500000e+01 | 51.58%
849.88/849.93 c 850s|430000 |177129 | 12983k| 30.2 | 267M| 115 | 88 | 200 | 354 | 200 | 301 | 0 |1456 |5665 |-3.094046e+01 |-1.500000e+01 | 51.52%
865.17/865.22 c 865s|440000 |180601 | 13234k| 30.1 | 272M| 116 | 35 | 200 | 347 | 200 | 301 | 0 |1472 |5716 |-3.090070e+01 |-1.500000e+01 | 51.46%
880.57/880.64 c 881s|450000 |184103 | 13486k| 30.0 | 278M| 116 | - | 200 | 332 | 200 | 301 | 0 |1484 |5772 |-3.085764e+01 |-1.500000e+01 | 51.39%
896.18/896.22 c 896s|460000 |187547 | 13743k| 29.9 | 283M| 116 | 41 | 200 | 347 | 200 | 301 | 0 |1505 |5838 |-3.082305e+01 |-1.500000e+01 | 51.34%
911.57/911.60 c 912s|470000 |190959 | 13996k| 29.8 | 288M| 116 | 89 | 200 | 335 | 200 | 301 | 0 |1514 |5898 |-3.078751e+01 |-1.500000e+01 | 51.28%
926.67/926.77 c 927s|480000 |194387 | 14245k| 29.7 | 293M| 116 | - | 200 | 334 | 200 | 301 | 0 |1527 |5947 |-3.076117e+01 |-1.500000e+01 | 51.24%
941.98/942.09 c 942s|490000 |197815 | 14497k| 29.6 | 299M| 116 | 32 | 200 | 343 | 200 | 301 | 0 |1548 |5998 |-3.072346e+01 |-1.500000e+01 | 51.18%
957.18/957.22 c 957s|500000 |201213 | 14746k| 29.5 | 304M| 116 | 36 | 200 | 339 | 200 | 301 | 0 |1560 |6050 |-3.069121e+01 |-1.500000e+01 | 51.13%
972.18/972.31 c 972s|510000 |204571 | 14994k| 29.4 | 309M| 116 | 37 | 200 | 327 | 200 | 301 | 0 |1569 |6100 |-3.065331e+01 |-1.500000e+01 | 51.07%
987.28/987.32 c 987s|520000 |207983 | 15241k| 29.3 | 314M| 116 | - | 200 | 331 | 200 | 301 | 0 |1582 |6169 |-3.062614e+01 |-1.500000e+01 | 51.02%
1002.37/1002.42 c 1002s|530000 |211295 | 15488k| 29.2 | 319M| 116 | 28 | 200 | 329 | 200 | 301 | 0 |1598 |6217 |-3.059150e+01 |-1.500000e+01 | 50.97%
1017.67/1017.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.67/1017.78 c 1018s|540000 |214727 | 15740k| 29.1 | 325M| 116 | 46 | 200 | 339 | 200 | 301 | 0 |1611 |6296 |-3.056799e+01 |-1.500000e+01 | 50.93%
1032.67/1032.81 c 1033s|550000 |218093 | 15987k| 29.1 | 330M| 116 | 33 | 200 | 347 | 200 | 301 | 0 |1629 |6351 |-3.054150e+01 |-1.500000e+01 | 50.89%
1047.58/1047.61 c 1048s|560000 |221431 | 16231k| 29.0 | 335M| 116 | 34 | 200 | 346 | 200 | 301 | 0 |1647 |6420 |-3.051933e+01 |-1.500000e+01 | 50.85%
1062.38/1062.50 c 1062s|570000 |224755 | 16478k| 28.9 | 340M| 117 | 89 | 200 | 342 | 200 | 301 | 0 |1661 |6456 |-3.049372e+01 |-1.500000e+01 | 50.81%
1077.18/1077.24 c 1077s|580000 |228131 | 16722k| 28.8 | 345M| 117 | 46 | 200 | 335 | 200 | 301 | 0 |1676 |6511 |-3.047230e+01 |-1.500000e+01 | 50.77%
1092.08/1092.16 c 1092s|590000 |231525 | 16970k| 28.8 | 350M| 117 | - | 200 | 338 | 200 | 301 | 0 |1683 |6578 |-3.044834e+01 |-1.500000e+01 | 50.74%
1106.88/1106.90 c 1107s|600000 |234837 | 17216k| 28.7 | 355M| 117 | 37 | 200 | 344 | 200 | 301 | 0 |1701 |6617 |-3.042445e+01 |-1.500000e+01 | 50.70%
1121.78/1121.83 c 1122s|610000 |238175 | 17464k| 28.6 | 361M| 117 | - | 200 | 353 | 200 | 301 | 0 |1719 |6685 |-3.039066e+01 |-1.500000e+01 | 50.64%
1136.58/1136.66 c 1137s|620000 |241503 | 17714k| 28.6 | 366M| 118 | 27 | 200 | 356 | 200 | 301 | 0 |1734 |6739 |-3.037027e+01 |-1.500000e+01 | 50.61%
1151.08/1151.11 c 1151s|630000 |244787 | 17956k| 28.5 | 371M| 118 | - | 200 | 367 | 200 | 301 | 0 |1752 |6785 |-3.034796e+01 |-1.500000e+01 | 50.57%
1165.78/1165.89 c 1166s|640000 |248143 | 18206k| 28.4 | 376M| 118 | 23 | 200 | 379 | 200 | 301 | 0 |1780 |6830 |-3.032468e+01 |-1.500000e+01 | 50.54%
1180.48/1180.54 c 1181s|650000 |251521 | 18450k| 28.4 | 381M| 118 | - | 200 | 383 | 200 | 301 | 0 |1797 |6872 |-3.029447e+01 |-1.500000e+01 | 50.49%
1194.88/1194.97 c 1195s|660000 |254829 | 18692k| 28.3 | 386M| 118 | 34 | 200 | 371 | 200 | 301 | 0 |1810 |6906 |-3.027134e+01 |-1.500000e+01 | 50.45%
1209.48/1209.59 c 1210s|670000 |258103 | 18939k| 28.3 | 391M| 118 | 38 | 200 | 363 | 200 | 301 | 0 |1819 |6951 |-3.024842e+01 |-1.500000e+01 | 50.41%
1223.89/1223.97 c 1224s|680000 |261319 | 19182k| 28.2 | 396M| 118 | 32 | 200 | 352 | 200 | 301 | 0 |1830 |6992 |-3.022817e+01 |-1.500000e+01 | 50.38%
1238.38/1238.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.38/1238.48 c 1238s|690000 |264553 | 19428k| 28.2 | 401M| 118 | 37 | 200 | 356 | 200 | 301 | 0 |1844 |7033 |-3.020432e+01 |-1.500000e+01 | 50.34%
1252.58/1252.68 c 1253s|700000 |267799 | 19666k| 28.1 | 407M| 118 | 31 | 200 | 352 | 200 | 301 | 0 |1858 |7082 |-3.018405e+01 |-1.500000e+01 | 50.30%
1267.20/1267.28 c 1267s|710000 |271071 | 19912k| 28.0 | 412M| 118 | - | 200 | 345 | 200 | 301 | 0 |1866 |7116 |-3.016509e+01 |-1.500000e+01 | 50.27%
1281.69/1281.78 c 1282s|720000 |274363 | 20156k| 28.0 | 417M| 118 | 34 | 200 | 345 | 200 | 301 | 0 |1883 |7160 |-3.014289e+01 |-1.500000e+01 | 50.24%
1296.18/1296.21 c 1296s|730000 |277649 | 20400k| 27.9 | 422M| 118 | 27 | 200 | 340 | 200 | 301 | 0 |1892 |7205 |-3.012143e+01 |-1.500000e+01 | 50.20%
1310.68/1310.72 c 1311s|740000 |280893 | 20648k| 27.9 | 427M| 118 | - | 200 | 336 | 200 | 301 | 0 |1906 |7237 |-3.010266e+01 |-1.500000e+01 | 50.17%
1324.98/1325.07 c 1325s|750000 |284077 | 20892k| 27.9 | 432M| 118 | - | 200 | 351 | 200 | 301 | 0 |1930 |7294 |-3.008442e+01 |-1.500000e+01 | 50.14%
1339.28/1339.35 c 1339s|760000 |287287 | 21137k| 27.8 | 437M| 118 | - | 200 | 348 | 200 | 301 | 0 |1944 |7329 |-3.006020e+01 |-1.500000e+01 | 50.10%
1353.68/1353.79 c 1354s|770000 |290503 | 21383k| 27.8 | 442M| 118 | - | 200 | 337 | 200 | 301 | 0 |1957 |7378 |-3.003495e+01 |-1.500000e+01 | 50.06%
1367.98/1368.05 c 1368s|780000 |293715 | 21627k| 27.7 | 447M| 118 | - | 200 | 338 | 200 | 301 | 0 |1972 |7409 |-3.001720e+01 |-1.500000e+01 | 50.03%
1382.09/1382.12 c 1382s|790000 |296949 | 21867k| 27.7 | 452M| 118 | 33 | 200 | 336 | 200 | 301 | 0 |1992 |7461 |-3.000130e+01 |-1.500000e+01 | 50.00%
1396.28/1396.36 c 1396s|800000 |300163 | 22111k| 27.6 | 457M| 118 | 45 | 200 | 337 | 200 | 301 | 0 |2009 |7498 |-2.998015e+01 |-1.500000e+01 | 49.97%
1410.39/1410.43 c 1410s|810000 |303381 | 22351k| 27.6 | 462M| 118 | - | 200 | 343 | 200 | 301 | 0 |2026 |7546 |-2.996057e+01 |-1.500000e+01 | 49.93%
1424.29/1424.41 c 1424s|820000 |306533 | 22590k| 27.5 | 467M| 118 | - | 200 | 337 | 200 | 301 | 0 |2041 |7589 |-2.994471e+01 |-1.500000e+01 | 49.91%
1438.38/1438.47 c 1438s|830000 |309641 | 22830k| 27.5 | 472M| 118 | - | 200 | 339 | 200 | 301 | 0 |2055 |7625 |-2.992846e+01 |-1.500000e+01 | 49.88%
1452.69/1452.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.69/1452.71 c 1453s|840000 |312821 | 23073k| 27.5 | 477M| 118 | 71 | 200 | 336 | 200 | 301 | 0 |2067 |7665 |-2.990572e+01 |-1.500000e+01 | 49.84%
1466.78/1466.83 c 1467s|850000 |315965 | 23316k| 27.4 | 482M| 118 | 32 | 200 | 339 | 200 | 301 | 0 |2091 |7696 |-2.988617e+01 |-1.500000e+01 | 49.81%
1480.89/1480.94 c 1481s|860000 |319145 | 23558k| 27.4 | 487M| 118 | 35 | 200 | 341 | 200 | 301 | 0 |2107 |7742 |-2.986988e+01 |-1.500000e+01 | 49.78%
1494.80/1494.85 c 1495s|870000 |322247 | 23799k| 27.4 | 492M| 119 | 32 | 200 | 326 | 200 | 301 | 0 |2111 |7776 |-2.985153e+01 |-1.500000e+01 | 49.75%
1508.99/1509.00 c 1509s|880000 |325329 | 24042k| 27.3 | 496M| 119 | 32 | 200 | 335 | 200 | 301 | 0 |2130 |7822 |-2.983847e+01 |-1.500000e+01 | 49.73%
1523.09/1523.16 c 1523s|890000 |328477 | 24285k| 27.3 | 501M| 119 | - | 200 | 333 | 200 | 301 | 0 |2141 |7849 |-2.982054e+01 |-1.500000e+01 | 49.70%
1537.09/1537.14 c 1537s|900000 |331557 | 24526k| 27.2 | 506M| 119 | - | 200 | 323 | 200 | 301 | 0 |2146 |7891 |-2.979894e+01 |-1.500000e+01 | 49.66%
1551.39/1551.42 c 1551s|910000 |334737 | 24774k| 27.2 | 511M| 119 | - | 200 | 334 | 200 | 301 | 0 |2163 |7933 |-2.978434e+01 |-1.500000e+01 | 49.64%
1565.49/1565.52 c 1566s|920000 |337911 | 25016k| 27.2 | 516M| 119 | 26 | 200 | 338 | 200 | 301 | 0 |2179 |7959 |-2.976712e+01 |-1.500000e+01 | 49.61%
1579.60/1579.67 c 1580s|930000 |341063 | 25259k| 27.2 | 521M| 119 | 35 | 200 | 342 | 200 | 301 | 0 |2196 |8009 |-2.974760e+01 |-1.500000e+01 | 49.58%
1593.39/1593.47 c 1593s|940000 |344143 | 25497k| 27.1 | 526M| 119 | 35 | 200 | 337 | 200 | 301 | 0 |2212 |8037 |-2.973419e+01 |-1.500000e+01 | 49.55%
1607.00/1607.07 c 1607s|950000 |347201 | 25732k| 27.1 | 531M| 119 | - | 200 | 333 | 200 | 301 | 0 |2226 |8078 |-2.972153e+01 |-1.500000e+01 | 49.53%
1620.99/1621.00 c 1621s|960000 |350341 | 25975k| 27.1 | 536M| 119 | 29 | 200 | 330 | 200 | 301 | 0 |2236 |8100 |-2.970226e+01 |-1.500000e+01 | 49.50%
1634.51/1634.60 c 1635s|970000 |353331 | 26211k| 27.0 | 540M| 119 | 37 | 200 | 339 | 200 | 301 | 0 |2252 |8132 |-2.968667e+01 |-1.500000e+01 | 49.47%
1648.40/1648.41 c 1648s|980000 |356397 | 26449k| 27.0 | 545M| 119 | 80 | 200 | 329 | 200 | 301 | 0 |2264 |8163 |-2.966872e+01 |-1.500000e+01 | 49.44%
1662.01/1662.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.01/1662.11 c 1662s|990000 |359493 | 26686k| 27.0 | 550M| 119 | 27 | 200 | 320 | 200 | 301 | 0 |2267 |8204 |-2.965259e+01 |-1.500000e+01 | 49.41%
1675.79/1675.84 c 1676s| 1000k|362625 | 26923k| 26.9 | 555M| 119 | - | 200 | 335 | 200 | 301 | 0 |2288 |8229 |-2.963500e+01 |-1.500000e+01 | 49.38%
1689.51/1689.60 c 1690s| 1010k|365707 | 27162k| 26.9 | 560M| 119 | - | 200 | 336 | 200 | 301 | 0 |2304 |8258 |-2.962370e+01 |-1.500000e+01 | 49.36%
1703.20/1703.27 c 1703s| 1020k|368765 | 27400k| 26.9 | 565M| 119 | - | 200 | 335 | 200 | 301 | 0 |2319 |8284 |-2.960380e+01 |-1.500000e+01 | 49.33%
1717.00/1717.02 c 1717s| 1030k|371899 | 27637k| 26.8 | 570M| 119 | - | 200 | 336 | 200 | 301 | 0 |2334 |8317 |-2.958627e+01 |-1.500000e+01 | 49.30%
1730.69/1730.72 c 1731s| 1040k|374993 | 27874k| 26.8 | 575M| 119 | 35 | 200 | 333 | 200 | 301 | 0 |2340 |8341 |-2.957037e+01 |-1.500000e+01 | 49.27%
1744.40/1744.44 c 1744s| 1050k|378031 | 28115k| 26.8 | 579M| 119 | 34 | 200 | 334 | 200 | 301 | 0 |2357 |8373 |-2.955623e+01 |-1.500000e+01 | 49.25%
1757.89/1757.97 c 1758s| 1060k|381045 | 28349k| 26.7 | 584M| 119 | 86 | 200 | 333 | 200 | 301 | 0 |2368 |8390 |-2.953928e+01 |-1.500000e+01 | 49.22%
1771.70/1771.73 c 1772s| 1070k|384157 | 28590k| 26.7 | 589M| 119 | - | 200 | 334 | 200 | 301 | 0 |2381 |8423 |-2.952348e+01 |-1.500000e+01 | 49.19%
1785.40/1785.43 c 1785s| 1080k|387205 | 28830k| 26.7 | 594M| 119 | - | 200 | 338 | 200 | 301 | 0 |2399 |8441 |-2.950542e+01 |-1.500000e+01 | 49.16%
1799.10/1799.11 c 1799s| 1090k|390259 | 29067k| 26.7 | 599M| 119 | - | 200 | 340 | 200 | 301 | 0 |2416 |8482 |-2.948785e+01 |-1.500000e+01 | 49.13%
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Solving Time (sec) : 1800.00
1800.00/1800.00 c Solving Nodes : 1090649
1800.00/1800.00 c Primal Bound : -1.50000000000000e+01 (532 solutions)
1800.00/1800.00 c Dual Bound : -2.94870391877621e+01
1800.00/1800.00 c Gap : 49.13 %
1800.00/1800.00 s SATISFIABLE
1800.00/1800.00 v x146 x154 -x136 -x128 -x198 -x166 -x193 -x151 -x182 x124 -x110 -x130 -x116 -x171 -x156 -x163 -x185 -x189 -x181 -x153 -x179 -x167
1800.00/1800.00 v -x178 -x149 -x161 -x133 -x172 -x160 -x159 -x152 -x112 -x188 -x134 -x139 -x197 -x170 x194 -x117 -x187 -x122 -x196 -x191 -x158
1800.00/1800.00 v -x140 -x135 -x113 -x111 -x109 -x108 -x107 -x190 -x148 x144 -x173 -x143 -x132 -x176 x177 -x162 -x125 -x195 -x120 -x200 -x131
1800.00/1800.00 v x121 -x101 -x199 -x192 -x168 -x157 -x147 -x141 -x137 -x114 -x106 x183 -x123 -x119 -x174 x180 x169 -x105 -x118 x150 -x142 -x103
1800.00/1800.00 v -x104 x165 x115 -x155 -x145 -x186 -x129 -x126 -x138 x164 -x127 x175 -x184 -x102 -x100 x99 x98 x97 x96 -x95 -x94 -x93 x92 -x91
1800.00/1800.00 v -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.00/1800.00 v -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40
1800.00/1800.00 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.00/1800.00 v -x14 -x13 -x12 -x11 x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Total Time : 1800.00
1800.00/1800.00 c solving : 1800.00
1800.00/1800.00 c presolving : 0.07 (included in solving)
1800.00/1800.00 c reading : 0.02 (included in solving)
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-3450740-1307110738.opb
1800.00/1800.00 c Variables : 3270 (3270 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 3571 initial, 3571 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-3450740-1307110738.opb
1800.00/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 301 initial, 494 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 3070 0 0 0 0 0 0 0 0
1800.00/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c pseudoboolean : 0.01 0 0 0 0 0 3270 0 0 0
1800.00/1800.00 c root node : - 0 - - 0 - - - - -
1800.00/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c integral : 0 0 0 745035 0 536 0 31 792 0 0 1488968
1800.00/1800.00 c knapsack : 200 1 1996121 1 0 531 49745 592 8058807 0 0 0
1800.00/1800.00 c setppc : 100 1 1988539 1 0 530 2822 0 337976 0 0 0
1800.00/1800.00 c linear : 1+ 2 1995529 1 0 530 0 465 0 0 0 0
1800.00/1800.00 c logicor : 0+ 0 389477 0 0 0 2 0 185 0 0 0
1800.00/1800.00 c countsols : 0 0 0 1 0 534 0 0 0 0 0 0
1800.00/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.00 c integral : 45.27 0.00 0.00 45.27 0.00 0.00 0.00
1800.00/1800.00 c knapsack : 24.05 0.00 23.97 0.00 0.00 0.06 0.02
1800.00/1800.00 c setppc : 1.69 0.00 1.69 0.00 0.00 0.00 0.00
1800.00/1800.00 c linear : 1.61 0.00 1.60 0.00 0.00 0.00 0.00
1800.00/1800.00 c logicor : 0.56 0.00 0.56 0.00 0.00 0.00 0.00
1800.00/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.00 c vbounds : 0 0 0 0
1800.00/1800.00 c rootredcost : 4 0 0 0
1800.00/1800.00 c pseudoobj : 2004207 1184 785 4307
1800.00/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.00 c vbounds : 0.34 0.34 0.00
1800.00/1800.00 c rootredcost : 0.42 0.42 0.00
1800.00/1800.00 c pseudoobj : 6.48 6.47 0.01
1800.00/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.00 c propagation : 0.06 592 592 4646 55.8 0 0.0 -
1800.00/1800.00 c infeasible LP : 0.07 1591 1550 4786 26.7 0 0.0 0
1800.00/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.00 c applied globally : - - - 2231 16.1 - - -
1800.00/1800.00 c applied locally : - - - 185 39.3 - - -
1800.00/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.00 c redcost : 5.00 806247 0 113961 0 0
1800.00/1800.00 c impliedbounds : 0.00 1 0 0 0 0
1800.00/1800.00 c intobj : 0.00 0 0 0 0 0
1800.00/1800.00 c gomory : 0.02 1 0 0 0 0
1800.00/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.00 c strongcg : 0.01 1 0 0 0 0
1800.00/1800.00 c cmir : 0.00 1 0 0 0 0
1800.00/1800.00 c flowcover : 0.00 1 0 0 0 0
1800.00/1800.00 c clique : 0.00 1 0 0 0 0
1800.00/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.00 c mcf : 0.00 1 0 0 0 0
1800.00/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.00 c rapidlearning : 0.04 1 0 0 0 1
1800.00/1800.00 c Pricers : Time Calls Vars
1800.00/1800.00 c problem variables: 0.00 0 0
1800.00/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c relpscost : 44.85 745034 31 792 0 0 1488968
1800.00/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.00/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c random : 0.00 0 0 0 0 0 0
1800.00/1800.00 c Primal Heuristics : Time Calls Found
1800.00/1800.00 c LP solutions : 0.01 - 1
1800.00/1800.00 c pseudo solutions : 0.00 - 0
1800.00/1800.00 c feaspump : 0.01 0 0
1800.00/1800.00 c oneopt : 0.25 4 0
1800.00/1800.00 c crossover : 3.22 19 6
1800.00/1800.00 c guideddiving : 3.62 1187 0
1800.00/1800.00 c pscostdiving : 3.35 1187 0
1800.00/1800.00 c fracdiving : 3.57 1187 1
1800.00/1800.00 c veclendiving : 5.62 1187 0
1800.00/1800.00 c objpscostdiving : 5.73 594 85
1800.00/1800.00 c rootsoldiving : 3.00 594 119
1800.00/1800.00 c coefdiving : 3.28 1188 0
1800.00/1800.00 c linesearchdiving : 3.42 1188 0
1800.00/1800.00 c trivial : 0.00 2 1
1800.00/1800.00 c shiftandpropagate: 0.00 0 0
1800.00/1800.00 c simplerounding : 0.15 0 0
1800.00/1800.00 c zirounding : 19.44 0 0
1800.00/1800.00 c rounding : 12.19 58129 2
1800.00/1800.00 c shifting : 24.13 53984 316
1800.00/1800.00 c intshifting : 0.01 0 0
1800.00/1800.00 c twoopt : 0.00 0 0
1800.00/1800.00 c fixandinfer : 0.00 0 0
1800.00/1800.00 c clique : 0.00 0 0
1800.00/1800.00 c intdiving : 0.00 0 0
1800.00/1800.00 c actconsdiving : 0.00 0 0
1800.00/1800.00 c octane : 0.00 0 0
1800.00/1800.00 c rens : 0.01 0 0
1800.00/1800.00 c rins : 0.00 0 0
1800.00/1800.00 c localbranching : 0.00 0 0
1800.00/1800.00 c mutation : 0.00 0 0
1800.00/1800.00 c dins : 0.00 0 0
1800.00/1800.00 c vbounds : 0.00 0 0
1800.00/1800.00 c undercover : 0.00 0 0
1800.00/1800.00 c subnlp : 0.16 0 0
1800.00/1800.00 c trysol : 0.23 0 0
1800.00/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.00 c dual LP : 1530.31 1110104 28549073 25.72 18655.70
1800.00/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.00 c diving/probing LP: 25.87 96012 533677 5.56 20625.87
1800.00/1800.00 c strong branching : 34.47 8482 368466 43.44 10688.11
1800.00/1800.00 c (at root node) : - 21 4769 227.10 -
1800.00/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.00 c B&B Tree :
1800.00/1800.00 c number of runs : 1
1800.00/1800.00 c nodes : 1090649
1800.00/1800.00 c nodes (total) : 1090649
1800.00/1800.00 c nodes left : 390472
1800.00/1800.00 c max depth : 119
1800.00/1800.00 c max depth (total): 119
1800.00/1800.00 c backtracks : 72763 (6.7%)
1800.00/1800.00 c delayed cutoffs : 0
1800.00/1800.00 c repropagations : 246 (185 domain reductions, 0 cutoffs)
1800.00/1800.00 c avg switch length: 5.91
1800.00/1800.00 c switching time : 30.83
1800.00/1800.00 c Solution :
1800.00/1800.00 c Solutions found : 532 (6 improvements)
1800.00/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.00/1800.00 c Primal Bound : -1.50000000000000e+01 (in run 1, after 69764 nodes, 229.51 seconds, depth 42, found by <relaxation>)
1800.00/1800.00 c Dual Bound : -2.94870391877621e+01
1800.00/1800.00 c Gap : 49.13 %
1800.00/1800.00 c Root Dual Bound : -5.00000000000000e+01
1800.00/1800.00 c Root Iterations : 1262
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450740-1307110738/watcher-3450740-1307110738 -o /tmp/evaluation-result-3450740-1307110738/solver-3450740-1307110738 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450740-1307110738.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.05 2.01 2/473 26149
/proc/meminfo: memFree=20211960/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=16448 CPUtime=0.01 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 3111 0 0 0 1 0 0 0 25 0 1 0 822673445 16842752 3064 33554432000 4194304 9163163 140736812606672 18446744073709551615 7900752 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26149/statm: 4112 3064 410 1214 0 2894 0
[startup+0.0785331 s]
/proc/loadavg: 2.18 2.05 2.01 2/473 26149
/proc/meminfo: memFree=20211960/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=30272 CPUtime=0.07 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 6609 0 0 0 7 0 0 0 25 0 1 0 822673445 30998528 6304 33554432000 4194304 9163163 140736812606672 18446744073709551615 6923170 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 7831 6313 540 1214 0 6613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30272
[startup+0.100528 s]
/proc/loadavg: 2.18 2.05 2.01 2/473 26149
/proc/meminfo: memFree=20211960/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=32732 CPUtime=0.09 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 7369 0 0 0 9 0 0 0 25 0 1 0 822673445 33517568 7064 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 8183 7064 655 1214 0 6965 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32732
[startup+0.300487 s]
/proc/loadavg: 2.18 2.05 2.01 2/473 26149
/proc/meminfo: memFree=20211960/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=48288 CPUtime=0.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 11077 0 0 0 28 1 0 0 25 0 1 0 822673445 49446912 10738 33554432000 4194304 9163163 140736812606672 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 12072 10738 716 1214 0 10854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48288
[startup+0.70042 s]
/proc/loadavg: 2.18 2.05 2.01 2/473 26149
/proc/meminfo: memFree=20211960/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=45464 CPUtime=0.69 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 11323 0 0 0 68 1 0 0 25 0 1 0 822673445 46555136 10278 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 11366 10278 733 1214 0 10148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45464
[startup+1.50028 s]
/proc/loadavg: 2.18 2.05 2.01 3/474 26150
/proc/meminfo: memFree=20173264/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=45464 CPUtime=1.49 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 11324 0 0 0 148 1 0 0 25 0 1 0 822673445 46555136 10279 33554432000 4194304 9163163 140736812606672 18446744073709551615 7390117 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 11366 10279 734 1214 0 10148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45464
[startup+3.101 s]
/proc/loadavg: 2.16 2.04 2.01 3/474 26150
/proc/meminfo: memFree=20169796/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=45464 CPUtime=3.1 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 11324 0 0 0 307 3 0 0 25 0 1 0 822673445 46555136 10279 33554432000 4194304 9163163 140736812606672 18446744073709551615 7391808 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 11366 10279 734 1214 0 10148 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 45464
[startup+6.30043 s]
/proc/loadavg: 2.16 2.04 2.01 3/474 26150
/proc/meminfo: memFree=20165092/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=45464 CPUtime=6.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 11324 0 0 0 623 6 0 0 25 0 1 0 822673445 46555136 10279 33554432000 4194304 9163163 140736812606672 18446744073709551615 7390677 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 11366 10279 734 1214 0 10148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45464
[startup+12.7003 s]
/proc/loadavg: 2.15 2.04 2.01 3/474 26150
/proc/meminfo: memFree=20161376/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=47952 CPUtime=12.69 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 11784 0 0 0 1258 11 0 0 25 0 1 0 822673445 49102848 10738 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 11988 10738 741 1214 0 10770 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47952
[startup+25.501 s]
/proc/loadavg: 2.12 2.04 2.01 3/474 26150
/proc/meminfo: memFree=20159724/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=45448 CPUtime=25.47 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 12423 0 0 0 2515 32 0 0 25 0 1 0 822673445 46538752 10422 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/26149/statm: 11362 10422 741 1214 0 10144 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45448
[startup+51.1005 s]
/proc/loadavg: 2.08 2.04 2.01 3/474 26151
/proc/meminfo: memFree=20131252/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=47428 CPUtime=51.06 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 15448 0 0 0 5034 72 0 0 25 0 1 0 822673445 48566272 10912 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 11857 10912 741 1214 0 10639 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 47428
[startup+102.317 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 26153
/proc/meminfo: memFree=20086104/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=64524 CPUtime=102.27 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 31422 0 0 0 10060 167 0 0 25 0 1 0 822673445 66072576 15172 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 16131 15172 743 1214 0 14913 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64524
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 26154
/proc/meminfo: memFree=20065108/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=84364 CPUtime=162.26 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 36464 0 0 0 15942 284 0 0 25 0 1 0 822673445 86388736 20214 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 21091 20214 743 1214 0 19873 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 84364
[startup+222.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/474 26156
/proc/meminfo: memFree=20041140/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=108116 CPUtime=222.25 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 45317 0 0 0 21821 404 0 0 25 0 1 0 822673445 110710784 26197 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 27029 26197 743 1214 0 25811 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 108116
[startup+282.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/474 26157
/proc/meminfo: memFree=20032792/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=116292 CPUtime=282.26 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 64281 0 0 0 27702 524 0 0 25 0 1 0 822673445 119083008 28271 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 29073 28271 743 1214 0 27855 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 116292
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 26159
/proc/meminfo: memFree=20010180/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=139692 CPUtime=342.26 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 73818 0 0 0 33585 641 0 0 25 0 1 0 822673445 143044608 34189 33554432000 4194304 9163163 140736812606672 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 34923 34189 743 1214 0 33705 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 139692
[startup+402.301 s]
/proc/loadavg: 2.15 2.07 2.01 3/474 26161
/proc/meminfo: memFree=19987960/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=163500 CPUtime=402.26 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 79235 0 0 0 39460 766 0 0 25 0 1 0 822673445 167424000 39606 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 40875 39606 743 1214 0 39657 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 163500
[startup+462.301 s]
/proc/loadavg: 2.05 2.06 2.00 3/474 26162
/proc/meminfo: memFree=19968076/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=182172 CPUtime=462.26 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 86759 0 0 0 45334 892 0 0 25 0 1 0 822673445 186544128 44410 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 45543 44410 743 1214 0 44325 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 182172
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 26164
/proc/meminfo: memFree=19951548/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=198516 CPUtime=522.27 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 90875 0 0 0 51208 1019 0 0 25 0 1 0 822673445 203280384 48526 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 49629 48526 743 1214 0 48411 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 198516
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 26165
/proc/meminfo: memFree=19923988/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=225920 CPUtime=582.27 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 97764 0 0 0 57082 1145 0 0 25 0 1 0 822673445 231342080 55412 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 56480 55412 743 1214 0 55262 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 225920
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/474 26172
/proc/meminfo: memFree=19840776/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=309024 CPUtime=822.27 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 123771 0 0 0 80568 1659 0 0 25 0 1 0 822673445 316440576 76433 33554432000 4194304 9163163 140736812606672 18446744073709551615 7390300 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 77256 76433 743 1214 0 76038 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 309024
[startup+882.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 26173
/proc/meminfo: memFree=19823400/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=325644 CPUtime=882.27 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 127999 0 0 0 86440 1787 0 0 25 0 1 0 822673445 333459456 80660 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 81411 80660 743 1214 0 80193 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 325644
[startup+942.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/474 26175
/proc/meminfo: memFree=19799940/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=353464 CPUtime=942.28 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 133902 0 0 0 92308 1920 0 0 25 0 1 0 822673445 361947136 86563 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 88366 86563 743 1214 0 87148 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 353464
[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/474 26177
/proc/meminfo: memFree=19780812/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=373268 CPUtime=1002.28 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 138891 0 0 0 98179 2049 0 0 25 0 1 0 822673445 382226432 91552 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 93317 91552 743 1214 0 92099 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 373268
[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/474 26178
/proc/meminfo: memFree=19758208/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=395320 CPUtime=1062.28 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 144418 0 0 0 104049 2179 0 0 25 0 1 0 822673445 404807680 97079 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 98830 97079 743 1214 0 97612 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 395320
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 26180
/proc/meminfo: memFree=19736984/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=415944 CPUtime=1122.28 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 149681 0 0 0 109918 2310 0 0 25 0 1 0 822673445 425926656 102326 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 103986 102326 743 1214 0 102768 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 415944
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 26181
/proc/meminfo: memFree=19721700/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=430948 CPUtime=1182.28 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 153524 0 0 0 115791 2437 0 0 25 0 1 0 822673445 441290752 106169 33554432000 4194304 9163163 140736812606672 18446744073709551615 6687137 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 107737 106169 743 1214 0 106519 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 430948
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 26183
/proc/meminfo: memFree=19687208/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=455340 CPUtime=1242.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 159664 0 0 0 121662 2567 0 0 25 0 1 0 822673445 466268160 112309 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 113835 112309 743 1214 0 112617 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 455340
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 26185
/proc/meminfo: memFree=19667232/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=474176 CPUtime=1302.3 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 166729 0 0 0 127531 2699 0 0 25 0 1 0 822673445 485556224 117077 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 118544 117077 743 1214 0 117326 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 474176
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/474 26186
/proc/meminfo: memFree=19643024/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=500240 CPUtime=1362.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 173274 0 0 0 133393 2836 0 0 25 0 1 0 822673445 512245760 123622 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 125060 123622 743 1214 0 123842 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 500240
[startup+1422.32 s]
/proc/loadavg: 2.02 2.02 2.00 3/474 26188
/proc/meminfo: memFree=19624612/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=517972 CPUtime=1422.3 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 177782 0 0 0 139259 2971 0 0 25 0 1 0 822673445 530403328 128129 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 129493 128129 743 1214 0 128275 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 517972
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/474 26189
/proc/meminfo: memFree=19605468/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=537772 CPUtime=1482.28 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 182783 0 0 0 145130 3098 0 0 25 0 1 0 822673445 550678528 133124 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 134443 133124 743 1214 0 133225 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 537772
[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/474 26191
/proc/meminfo: memFree=19584252/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=557892 CPUtime=1542.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 187878 0 0 0 150999 3230 0 0 25 0 1 0 822673445 571281408 138219 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 139473 138219 743 1214 0 138255 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 557892
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/474 26193
/proc/meminfo: memFree=19567616/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=575052 CPUtime=1602.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 192182 0 0 0 156868 3361 0 0 25 0 1 0 822673445 588853248 142523 33554432000 4194304 9163163 140736812606672 18446744073709551615 5923311 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 143763 142523 743 1214 0 142545 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 575052
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 26194
/proc/meminfo: memFree=19539944/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=601744 CPUtime=1662.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 198959 0 0 0 162727 3502 0 0 25 0 1 0 822673445 616185856 149300 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 150436 149300 743 1214 0 149218 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 601744
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 26196
/proc/meminfo: memFree=19516976/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=624316 CPUtime=1722.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 204604 0 0 0 168593 3636 0 0 25 0 1 0 822673445 639299584 154945 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 156079 154945 743 1214 0 154861 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 624316
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 26197
/proc/meminfo: memFree=19498720/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=641604 CPUtime=1782.29 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 208978 0 0 0 174461 3768 0 0 25 0 1 0 822673445 657002496 159319 33554432000 4194304 9163163 140736812606672 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26149/statm: 160401 159319 743 1214 0 159183 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 641604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.93 1.99 1.99 3/474 26226
/proc/meminfo: memFree=19680984/32950928 swapFree=61858088/67111528
[pid=26149] ppid=26147 vsize=648188 CPUtime=1800.01 cores=0,2,4,6
/proc/26149/stat : 26149 (scip-2.0.1.4b.l) R 26147 26149 24628 0 -1 4202496 210681 0 0 0 176192 3809 0 0 18 0 1 0 822673445 663744512 161022 33554432000 4194304 9163163 140736812606672 18446744073709551615 4747565 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26149/statm: 162047 161022 746 1214 0 160829 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 648188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.05
CPU user time (s): 1761.93
CPU system time (s): 38.1212
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 648188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.93
system time used= 38.1212
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210681
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= 4
involuntary context switches= 1385
runsolver used 8.78766 second user time and 18.6792 second system time
The end