0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488633-1307785587.opb>
0.00/0.02 c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3563 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.03/0.07 c (round 1) 0 del vars, 3462 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24696 impls, 199 clqs
0.03/0.07 c (round 2) 3062 del vars, 3462 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24696 impls, 0 clqs
0.03/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.09 c presolving (3 rounds):
0.03/0.09 c 3062 deleted vars, 3462 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.09 c 24696 implications, 0 cliques
0.03/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.03/0.09 c 200 constraints of type <knapsack>
0.03/0.09 c 100 constraints of type <setppc>
0.03/0.09 c 1 constraints of type <linear>
0.03/0.09 c transformed objective value is always integral (scale: 1)
0.03/0.09 c Presolving Time: 0.06
0.03/0.09 c - non default parameters ----------------------------------------------------------------------
0.03/0.09 c # SCIP version 2.0.1.5
0.03/0.09 c
0.03/0.09 c # frequency for displaying node information lines
0.03/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.09 c display/freq = 10000
0.03/0.09 c
0.03/0.09 c # maximal time in seconds to run
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.09 c limits/time = 1797
0.03/0.09 c
0.03/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.09 c limits/memory = 13950
0.03/0.09 c
0.03/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.09 c # [type: int, range: [1,2], default: 1]
0.03/0.09 c timing/clocktype = 2
0.03/0.09 c
0.03/0.09 c # belongs reading time to solving time?
0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.09 c timing/reading = TRUE
0.03/0.09 c
0.03/0.09 c # should presolving try to simplify inequalities
0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.09 c constraints/linear/simplifyinequalities = TRUE
0.03/0.09 c
0.03/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.09 c constraints/indicator/addCouplingCons = TRUE
0.03/0.09 c
0.03/0.09 c # should presolving try to simplify knapsacks
0.03/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.09 c
0.03/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.09 c separating/rapidlearning/freq = 0
0.03/0.09 c
0.03/0.09 c -----------------------------------------------------------------------------------------------
0.03/0.09 c start solving
0.03/0.09 c
0.09/0.19 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.19 c t 0.2s| 1 | 0 | 1000 | - |8592k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.09/0.19 o -1
0.09/0.19 c R 0.2s| 1 | 0 | 1000 | - |8604k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.27 o -10
0.19/0.27 c y 0.3s| 1 | 0 | 1000 | - |8619k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
1.49/1.51 c 1.5s| 1 | 2 | 1000 | - |8615k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 25 |-5.000000e+01 |-1.000000e+01 | 80.00%
2.59/2.68 o -11
2.59/2.68 c R 2.7s| 12 | 11 | 1857 | 77.9 |8665k| 11 | 20 | 200 | 301 | 200 | 301 | 0 | 0 | 168 |-4.976930e+01 |-1.100000e+01 | 77.90%
11.39/11.44 o -12
11.39/11.44 c S11.4s| 75 | 76 | 7389 | 86.3 |8799k| 15 | 0 | 200 | 303 | 200 | 301 | 0 | 2 | 972 |-4.885123e+01 |-1.200000e+01 | 75.44%
14.38/14.40 o -13
14.38/14.40 c C14.4s| 275 | 212 | 19122 | 66.1 |9121k| 21 | 33 | 200 | 303 | 200 | 301 | 0 | 2 |1063 |-4.776470e+01 |-1.300000e+01 | 72.78%
17.39/17.42 o -14
17.39/17.42 c l17.4s| 972 | 579 | 51967 | 52.5 | 10M| 62 | - | 200 | 315 | 200 | 301 | 0 | 17 |1088 |-4.171219e+01 |-1.400000e+01 | 66.44%
60.50/60.55 c 60.6s| 10000 | 8321 |618524 | 61.8 | 19M| 83 | 33 | 200 | 494 | 200 | 301 | 0 | 250 |1174 |-3.730156e+01 |-1.400000e+01 | 62.47%
97.10/97.13 c 97.1s| 20000 | 15759 | 1135k| 56.7 | 28M| 83 | - | 200 | 458 | 200 | 301 | 0 | 379 |1416 |-3.629066e+01 |-1.400000e+01 | 61.42%
131.90/131.93 c 132s| 30000 | 23141 | 1647k| 54.9 | 38M| 84 | - | 200 | 466 | 200 | 301 | 0 | 487 |1665 |-3.543071e+01 |-1.400000e+01 | 60.49%
162.10/162.13 c 162s| 40000 | 29739 | 2105k| 52.6 | 46M| 97 | 52 | 200 | 473 | 200 | 301 | 0 | 578 |1848 |-3.492194e+01 |-1.400000e+01 | 59.91%
189.79/189.84 c 190s| 50000 | 35949 | 2526k| 50.5 | 54M| 98 | 28 | 200 | 440 | 200 | 301 | 0 | 641 |2028 |-3.445597e+01 |-1.400000e+01 | 59.37%
216.90/216.91 c 217s| 60000 | 41895 | 2938k| 49.0 | 62M| 99 | 33 | 200 | 417 | 200 | 301 | 0 | 699 |2189 |-3.406330e+01 |-1.400000e+01 | 58.90%
242.59/242.64 c 243s| 70000 | 47859 | 3342k| 47.7 | 70M| 101 | 61 | 200 | 396 | 200 | 301 | 0 | 751 |2316 |-3.380046e+01 |-1.400000e+01 | 58.58%
265.01/265.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.01/265.03 c 265s| 80000 | 53153 | 3695k| 46.2 | 77M| 101 | 41 | 200 | 396 | 200 | 301 | 0 | 798 |2457 |-3.364821e+01 |-1.400000e+01 | 58.39%
287.50/287.55 c 288s| 90000 | 58463 | 4048k| 45.0 | 84M| 101 | 101 | 200 | 406 | 200 | 301 | 0 | 844 |2556 |-3.346920e+01 |-1.400000e+01 | 58.17%
309.79/309.83 c 310s|100000 | 63793 | 4404k| 44.0 | 92M| 102 | 64 | 200 | 415 | 200 | 301 | 0 | 901 |2679 |-3.331385e+01 |-1.400000e+01 | 57.98%
331.30/331.33 c 331s|110000 | 68997 | 4751k| 43.2 | 99M| 102 | 41 | 200 | 417 | 200 | 301 | 0 | 951 |2771 |-3.315291e+01 |-1.400000e+01 | 57.77%
352.80/352.88 c 353s|120000 | 74173 | 5098k| 42.5 | 106M| 102 | 38 | 200 | 408 | 200 | 301 | 0 | 990 |2871 |-3.305553e+01 |-1.400000e+01 | 57.65%
374.30/374.37 c 374s|130000 | 79399 | 5452k| 41.9 | 113M| 103 | 85 | 200 | 388 | 200 | 301 | 0 |1023 |2970 |-3.293157e+01 |-1.400000e+01 | 57.49%
395.30/395.36 c 395s|140000 | 84705 | 5795k| 41.4 | 120M| 103 | - | 200 | 414 | 200 | 301 | 0 |1090 |3062 |-3.281502e+01 |-1.400000e+01 | 57.34%
416.20/416.28 c 416s|150000 | 89925 | 6136k| 40.9 | 128M| 103 | - | 200 | 416 | 200 | 301 | 0 |1141 |3164 |-3.269493e+01 |-1.400000e+01 | 57.18%
436.50/436.50 c 436s|160000 | 95033 | 6471k| 40.4 | 135M| 103 | 28 | 200 | 375 | 200 | 301 | 0 |1166 |3255 |-3.255807e+01 |-1.400000e+01 | 57.00%
456.90/456.99 c 457s|170000 |100111 | 6813k| 40.1 | 142M| 104 | 33 | 200 | 377 | 200 | 301 | 0 |1204 |3327 |-3.245520e+01 |-1.400000e+01 | 56.86%
477.21/477.25 c 477s|180000 |105179 | 7149k| 39.7 | 149M| 104 | 29 | 200 | 388 | 200 | 301 | 0 |1247 |3401 |-3.236556e+01 |-1.400000e+01 | 56.74%
497.21/497.25 c 497s|190000 |110255 | 7477k| 39.4 | 156M| 104 | 99 | 200 | 380 | 200 | 301 | 0 |1282 |3483 |-3.229381e+01 |-1.400000e+01 | 56.65%
517.30/517.31 c 517s|200000 |115247 | 7802k| 39.0 | 163M| 105 | - | 200 | 386 | 200 | 301 | 0 |1324 |3535 |-3.220611e+01 |-1.400000e+01 | 56.53%
537.00/537.08 c 537s|210000 |120303 | 8130k| 38.7 | 170M| 105 | 101 | 200 | 394 | 200 | 301 | 0 |1363 |3613 |-3.212940e+01 |-1.400000e+01 | 56.43%
556.71/556.77 c 557s|220000 |125265 | 8454k| 38.4 | 177M| 105 | 34 | 200 | 396 | 200 | 301 | 0 |1418 |3682 |-3.202448e+01 |-1.400000e+01 | 56.28%
576.10/576.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.10/576.10 c 576s|230000 |130229 | 8777k| 38.2 | 184M| 106 | - | 200 | 398 | 200 | 301 | 0 |1451 |3744 |-3.196596e+01 |-1.400000e+01 | 56.20%
595.41/595.45 c 595s|240000 |135109 | 9100k| 37.9 | 191M| 106 | - | 200 | 397 | 200 | 301 | 0 |1485 |3802 |-3.189766e+01 |-1.400000e+01 | 56.11%
615.10/615.10 c 615s|250000 |139957 | 9422k| 37.7 | 197M| 106 | 59 | 200 | 396 | 200 | 301 | 0 |1524 |3867 |-3.183334e+01 |-1.400000e+01 | 56.02%
633.81/633.87 c 634s|260000 |144803 | 9736k| 37.4 | 204M| 106 | - | 200 | 369 | 200 | 301 | 0 |1558 |3928 |-3.177675e+01 |-1.400000e+01 | 55.94%
652.70/652.77 c 653s|270000 |149675 | 10048k| 37.2 | 211M| 107 | - | 200 | 353 | 200 | 301 | 0 |1585 |4001 |-3.170697e+01 |-1.400000e+01 | 55.85%
671.81/671.84 c 672s|280000 |154473 | 10364k| 37.0 | 218M| 107 | 37 | 200 | 357 | 200 | 301 | 0 |1613 |4068 |-3.164745e+01 |-1.400000e+01 | 55.76%
690.50/690.50 c 690s|290000 |159129 | 10676k| 36.8 | 224M| 107 | 30 | 200 | 374 | 200 | 301 | 0 |1652 |4137 |-3.160345e+01 |-1.400000e+01 | 55.70%
709.31/709.37 c 709s|300000 |163969 | 10990k| 36.6 | 231M| 107 | 40 | 200 | 368 | 200 | 301 | 0 |1687 |4191 |-3.152658e+01 |-1.400000e+01 | 55.59%
728.22/728.27 c 728s|310000 |168719 | 11303k| 36.5 | 238M| 107 | 95 | 200 | 366 | 200 | 301 | 0 |1716 |4259 |-3.146812e+01 |-1.400000e+01 | 55.51%
746.61/746.68 c 747s|320000 |173453 | 11616k| 36.3 | 245M| 107 | 66 | 200 | 371 | 200 | 301 | 0 |1752 |4315 |-3.140893e+01 |-1.400000e+01 | 55.43%
764.91/764.95 c 765s|330000 |178177 | 11923k| 36.1 | 252M| 107 | 28 | 200 | 374 | 200 | 301 | 0 |1782 |4363 |-3.136480e+01 |-1.400000e+01 | 55.36%
783.41/783.40 c 783s|340000 |183045 | 12235k| 36.0 | 259M| 107 | 26 | 200 | 372 | 200 | 301 | 0 |1808 |4428 |-3.132667e+01 |-1.400000e+01 | 55.31%
801.51/801.58 c 802s|350000 |187679 | 12543k| 35.8 | 265M| 108 | 30 | 200 | 377 | 200 | 301 | 0 |1853 |4487 |-3.126647e+01 |-1.400000e+01 | 55.22%
819.61/819.65 c 820s|360000 |192309 | 12851k| 35.7 | 272M| 108 | 26 | 200 | 383 | 200 | 301 | 0 |1879 |4536 |-3.121863e+01 |-1.400000e+01 | 55.15%
837.71/837.71 c 838s|370000 |196937 | 13161k| 35.6 | 279M| 108 | 27 | 200 | 388 | 200 | 301 | 0 |1910 |4590 |-3.117551e+01 |-1.400000e+01 | 55.09%
855.91/855.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.91/855.97 c 856s|380000 |201581 | 13472k| 35.5 | 285M| 108 | 70 | 200 | 392 | 200 | 301 | 0 |1941 |4656 |-3.112903e+01 |-1.400000e+01 | 55.03%
874.11/874.16 c 874s|390000 |206231 | 13784k| 35.3 | 292M| 108 | 35 | 200 | 386 | 200 | 301 | 0 |1971 |4704 |-3.110303e+01 |-1.400000e+01 | 54.99%
892.12/892.14 c 892s|400000 |210753 | 14093k| 35.2 | 299M| 108 | 28 | 200 | 387 | 200 | 301 | 0 |2009 |4747 |-3.105489e+01 |-1.400000e+01 | 54.92%
909.91/909.96 c 910s|410000 |215415 | 14397k| 35.1 | 305M| 108 | 24 | 200 | 379 | 200 | 301 | 0 |2041 |4790 |-3.100955e+01 |-1.400000e+01 | 54.85%
927.91/927.98 c 928s|420000 |220047 | 14708k| 35.0 | 312M| 108 | 32 | 200 | 378 | 200 | 301 | 0 |2074 |4842 |-3.097260e+01 |-1.400000e+01 | 54.80%
945.41/945.40 c 945s|430000 |224527 | 15008k| 34.9 | 318M| 108 | - | 200 | 375 | 200 | 301 | 0 |2100 |4876 |-3.090782e+01 |-1.400000e+01 | 54.70%
962.91/962.96 c 963s|440000 |229105 | 15311k| 34.8 | 325M| 108 | 28 | 200 | 364 | 200 | 301 | 0 |2121 |4928 |-3.087273e+01 |-1.400000e+01 | 54.65%
980.42/980.43 c 980s|450000 |233523 | 15613k| 34.7 | 331M| 108 | 87 | 200 | 374 | 200 | 301 | 0 |2161 |4970 |-3.083095e+01 |-1.400000e+01 | 54.59%
997.82/997.88 c 998s|460000 |237983 | 15915k| 34.6 | 338M| 109 | 35 | 200 | 369 | 200 | 301 | 0 |2179 |5014 |-3.079248e+01 |-1.400000e+01 | 54.53%
1015.32/1015.34 c 1015s|470000 |242535 | 16215k| 34.5 | 345M| 109 | 89 | 200 | 360 | 200 | 301 | 0 |2200 |5061 |-3.075726e+01 |-1.400000e+01 | 54.48%
1032.72/1032.75 c 1033s|480000 |247033 | 16519k| 34.4 | 351M| 109 | 27 | 200 | 380 | 200 | 301 | 0 |2243 |5102 |-3.072127e+01 |-1.400000e+01 | 54.43%
1050.11/1050.18 c 1050s|490000 |251501 | 16822k| 34.3 | 357M| 109 | 92 | 200 | 359 | 200 | 301 | 0 |2266 |5136 |-3.068429e+01 |-1.400000e+01 | 54.37%
1067.32/1067.34 c 1067s|500000 |256085 | 17119k| 34.2 | 364M| 109 | 84 | 200 | 363 | 200 | 301 | 0 |2304 |5168 |-3.065289e+01 |-1.400000e+01 | 54.33%
1084.63/1084.67 c 1085s|510000 |260623 | 17420k| 34.2 | 371M| 109 | 29 | 200 | 378 | 200 | 301 | 0 |2341 |5198 |-3.061437e+01 |-1.400000e+01 | 54.27%
1102.01/1102.06 c 1102s|520000 |265083 | 17720k| 34.1 | 377M| 109 | - | 200 | 379 | 200 | 301 | 0 |2378 |5235 |-3.058668e+01 |-1.400000e+01 | 54.23%
1118.91/1118.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.91/1118.92 c 1119s|530000 |269543 | 18014k| 34.0 | 384M| 109 | - | 200 | 390 | 200 | 301 | 0 |2418 |5266 |-3.055847e+01 |-1.400000e+01 | 54.19%
1136.02/1136.03 c 1136s|540000 |273935 | 18312k| 33.9 | 390M| 109 | 34 | 200 | 382 | 200 | 301 | 0 |2447 |5308 |-3.052245e+01 |-1.400000e+01 | 54.13%
1152.72/1152.79 c 1153s|550000 |278309 | 18602k| 33.8 | 397M| 109 | - | 200 | 401 | 200 | 301 | 0 |2487 |5345 |-3.048577e+01 |-1.400000e+01 | 54.08%
1169.12/1169.16 c 1169s|560000 |282479 | 18892k| 33.7 | 403M| 111 | 79 | 200 | 400 | 200 | 301 | 0 |2514 |5374 |-3.046578e+01 |-1.400000e+01 | 54.05%
1184.62/1184.61 c 1185s|570000 |286427 | 19159k| 33.6 | 408M| 111 | 43 | 200 | 394 | 200 | 301 | 0 |2543 |5427 |-3.043782e+01 |-1.400000e+01 | 54.00%
1200.12/1200.17 c 1200s|580000 |290393 | 19432k| 33.5 | 414M| 111 | 27 | 200 | 383 | 200 | 301 | 0 |2571 |5460 |-3.041395e+01 |-1.400000e+01 | 53.97%
1215.42/1215.50 c 1216s|590000 |294383 | 19698k| 33.4 | 420M| 111 | 77 | 200 | 393 | 200 | 301 | 0 |2601 |5495 |-3.039119e+01 |-1.400000e+01 | 53.93%
1230.93/1230.95 c 1231s|600000 |298253 | 19968k| 33.3 | 426M| 111 | 27 | 200 | 392 | 200 | 301 | 0 |2634 |5535 |-3.036325e+01 |-1.400000e+01 | 53.89%
1246.52/1246.57 c 1247s|610000 |302233 | 20241k| 33.2 | 432M| 111 | 50 | 200 | 405 | 200 | 301 | 0 |2668 |5569 |-3.033019e+01 |-1.400000e+01 | 53.84%
1262.12/1262.14 c 1262s|620000 |306233 | 20514k| 33.1 | 438M| 111 | - | 200 | 393 | 200 | 301 | 0 |2694 |5600 |-3.030273e+01 |-1.400000e+01 | 53.80%
1277.62/1277.66 c 1278s|630000 |310147 | 20786k| 33.0 | 444M| 111 | 21 | 200 | 388 | 200 | 301 | 0 |2714 |5640 |-3.028207e+01 |-1.400000e+01 | 53.77%
1293.22/1293.21 c 1293s|640000 |314053 | 21060k| 32.9 | 449M| 111 | 36 | 200 | 374 | 200 | 301 | 0 |2735 |5678 |-3.026184e+01 |-1.400000e+01 | 53.74%
1308.52/1308.52 c 1309s|650000 |317957 | 21331k| 32.8 | 455M| 111 | 50 | 200 | 388 | 200 | 301 | 0 |2761 |5712 |-3.024225e+01 |-1.400000e+01 | 53.71%
1323.92/1323.94 c 1324s|660000 |321895 | 21600k| 32.7 | 461M| 111 | 31 | 200 | 378 | 200 | 301 | 0 |2771 |5760 |-3.021451e+01 |-1.400000e+01 | 53.66%
1339.32/1339.38 c 1339s|670000 |325897 | 21871k| 32.6 | 467M| 112 | 31 | 200 | 381 | 200 | 301 | 0 |2795 |5790 |-3.019690e+01 |-1.400000e+01 | 53.64%
1354.42/1354.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.42/1354.45 c 1354s|680000 |329843 | 22135k| 32.6 | 473M| 112 | 32 | 200 | 374 | 200 | 301 | 0 |2814 |5823 |-3.017280e+01 |-1.400000e+01 | 53.60%
1369.83/1369.80 c 1370s|690000 |333833 | 22406k| 32.5 | 479M| 112 | 41 | 200 | 375 | 200 | 301 | 0 |2835 |5853 |-3.015532e+01 |-1.400000e+01 | 53.57%
1386.32/1386.30 c 1386s|700000 |337815 | 22676k| 32.4 | 485M| 112 | - | 200 | 382 | 200 | 301 | 0 |2859 |5892 |-3.013131e+01 |-1.400000e+01 | 53.54%
1401.52/1401.59 c 1402s|710000 |341715 | 22946k| 32.3 | 490M| 113 | 22 | 200 | 371 | 200 | 301 | 0 |2869 |5923 |-3.010904e+01 |-1.400000e+01 | 53.50%
1416.83/1416.82 c 1417s|720000 |345605 | 23216k| 32.2 | 496M| 113 | 65 | 200 | 371 | 200 | 301 | 0 |2888 |5967 |-3.008833e+01 |-1.400000e+01 | 53.47%
1431.82/1431.85 c 1432s|730000 |349447 | 23479k| 32.2 | 502M| 113 | 78 | 200 | 375 | 200 | 301 | 0 |2920 |6006 |-3.006963e+01 |-1.400000e+01 | 53.44%
1446.93/1446.96 c 1447s|740000 |353309 | 23743k| 32.1 | 508M| 113 | - | 200 | 370 | 200 | 301 | 0 |2942 |6039 |-3.005461e+01 |-1.400000e+01 | 53.42%
1461.93/1461.99 c 1462s|750000 |357121 | 24007k| 32.0 | 513M| 113 | 32 | 200 | 369 | 200 | 301 | 0 |2967 |6062 |-3.003765e+01 |-1.400000e+01 | 53.39%
1476.73/1476.79 c 1477s|760000 |360935 | 24269k| 31.9 | 519M| 113 | 89 | 200 | 371 | 200 | 301 | 0 |2996 |6094 |-3.001555e+01 |-1.400000e+01 | 53.36%
1491.63/1491.68 c 1492s|770000 |364803 | 24533k| 31.9 | 525M| 113 | 86 | 200 | 376 | 200 | 301 | 0 |3025 |6119 |-2.999658e+01 |-1.400000e+01 | 53.33%
1506.62/1506.62 c 1507s|780000 |368645 | 24798k| 31.8 | 530M| 114 | 41 | 200 | 368 | 200 | 301 | 0 |3050 |6160 |-2.997632e+01 |-1.400000e+01 | 53.30%
1521.53/1521.55 c 1522s|790000 |372439 | 25062k| 31.7 | 536M| 114 | 45 | 200 | 354 | 200 | 301 | 0 |3063 |6189 |-2.995125e+01 |-1.400000e+01 | 53.26%
1536.33/1536.36 c 1536s|800000 |376227 | 25322k| 31.7 | 542M| 114 | 31 | 200 | 374 | 200 | 301 | 0 |3098 |6213 |-2.993866e+01 |-1.400000e+01 | 53.24%
1551.52/1551.55 c 1552s|810000 |380047 | 25593k| 31.6 | 547M| 114 | 82 | 200 | 380 | 200 | 301 | 0 |3119 |6244 |-2.991981e+01 |-1.400000e+01 | 53.21%
1566.63/1566.69 c 1567s|820000 |383907 | 25862k| 31.5 | 553M| 114 | 93 | 200 | 397 | 200 | 301 | 0 |3153 |6265 |-2.990276e+01 |-1.400000e+01 | 53.18%
1581.63/1581.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.63/1581.70 c 1582s|830000 |387667 | 26128k| 31.5 | 559M| 114 | - | 200 | 393 | 200 | 301 | 0 |3181 |6298 |-2.988464e+01 |-1.400000e+01 | 53.15%
1596.63/1596.63 c 1597s|840000 |391497 | 26392k| 31.4 | 564M| 114 | - | 200 | 367 | 200 | 301 | 0 |3191 |6327 |-2.986722e+01 |-1.400000e+01 | 53.13%
1611.43/1611.44 c 1611s|850000 |395229 | 26655k| 31.4 | 570M| 115 | - | 200 | 375 | 200 | 301 | 0 |3223 |6353 |-2.984691e+01 |-1.400000e+01 | 53.09%
1626.23/1626.29 c 1626s|860000 |399083 | 26918k| 31.3 | 576M| 115 | - | 200 | 379 | 200 | 301 | 0 |3247 |6389 |-2.982279e+01 |-1.400000e+01 | 53.06%
1641.24/1641.24 c 1641s|870000 |402889 | 27185k| 31.2 | 581M| 115 | 25 | 200 | 371 | 200 | 301 | 0 |3262 |6406 |-2.980736e+01 |-1.400000e+01 | 53.03%
1656.33/1656.38 c 1656s|880000 |406647 | 27456k| 31.2 | 587M| 115 | 29 | 200 | 363 | 200 | 301 | 0 |3277 |6440 |-2.979343e+01 |-1.400000e+01 | 53.01%
1671.23/1671.25 c 1671s|890000 |410335 | 27723k| 31.1 | 593M| 115 | 83 | 200 | 359 | 200 | 301 | 0 |3295 |6468 |-2.977802e+01 |-1.400000e+01 | 52.99%
1685.73/1685.76 c 1686s|900000 |414067 | 27980k| 31.1 | 598M| 115 | - | 200 | 359 | 200 | 301 | 0 |3310 |6496 |-2.976596e+01 |-1.400000e+01 | 52.97%
1700.54/1700.54 c 1701s|910000 |417737 | 28245k| 31.0 | 604M| 115 | - | 200 | 356 | 200 | 301 | 0 |3326 |6530 |-2.974519e+01 |-1.400000e+01 | 52.93%
1715.23/1715.29 c 1715s|920000 |421399 | 28510k| 31.0 | 609M| 115 | - | 200 | 359 | 200 | 301 | 0 |3349 |6556 |-2.973020e+01 |-1.400000e+01 | 52.91%
1730.33/1730.33 c 1730s|930000 |425133 | 28777k| 30.9 | 615M| 115 | 26 | 200 | 368 | 200 | 301 | 0 |3371 |6597 |-2.971512e+01 |-1.400000e+01 | 52.89%
1745.03/1745.05 c 1745s|940000 |428845 | 29042k| 30.9 | 620M| 115 | - | 200 | 361 | 200 | 301 | 0 |3388 |6620 |-2.970174e+01 |-1.400000e+01 | 52.86%
1759.64/1759.68 c 1760s|950000 |432559 | 29301k| 30.8 | 626M| 115 | 54 | 200 | 348 | 200 | 301 | 0 |3400 |6658 |-2.968513e+01 |-1.400000e+01 | 52.84%
1774.43/1774.45 c 1774s|960000 |436267 | 29565k| 30.8 | 631M| 115 | 24 | 200 | 358 | 200 | 301 | 0 |3426 |6685 |-2.967216e+01 |-1.400000e+01 | 52.82%
1789.04/1789.01 c 1789s|970000 |440019 | 29826k| 30.7 | 637M| 115 | 28 | 200 | 349 | 200 | 301 | 0 |3447 |6706 |-2.965847e+01 |-1.400000e+01 | 52.80%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 975477
1797.03/1797.00 c Primal Bound : -1.40000000000000e+01 (459 solutions)
1797.03/1797.00 c Dual Bound : -2.96487964957583e+01
1797.03/1797.00 c Gap : 52.78 %
1797.03/1797.01 s SATISFIABLE
1797.03/1797.01 v -x160 -x183 -x118 -x165 -x126 -x157 -x148 -x158 -x196 -x181 -x167 x156 -x142 -x131 -x198 x197 -x163 -x137 -x110 -x171 -x107 -x103
1797.03/1797.01 v -x144 -x130 -x125 -x122 -x113 -x119 -x159 -x192 -x195 -x164 -x179 -x175 -x188 x145 -x191 x151 x169 -x102 -x152 x146 -x140
1797.03/1797.01 v -x135 -x112 x105 x134 -x143 -x190 -x186 -x189 -x123 -x194 -x136 -x114 -x138 -x154 -x141 -x162 x200 -x109 x185 -x101 -x193 -x178
1797.03/1797.01 v -x172 -x170 x155 -x139 -x124 -x120 x117 -x116 -x108 -x104 -x128 -x147 -x168 -x153 -x184 -x132 -x180 -x106 -x115 -x187 -x129
1797.03/1797.01 v x199 -x161 -x149 -x127 -x182 -x174 -x150 -x121 -x133 -x177 -x173 x111 -x166 -x176 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 x92
1797.03/1797.01 v x91 -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
1797.03/1797.01 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
1797.03/1797.01 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
1797.03/1797.01 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.00
1797.03/1797.01 c solving : 1797.00
1797.03/1797.01 c presolving : 0.06 (included in solving)
1797.03/1797.01 c reading : 0.02 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3488633-1307785587.opb
1797.03/1797.01 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 3563 initial, 3563 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3488633-1307785587.opb
1797.03/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 301 initial, 503 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 3062 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoboolean : 0.01 0 0 0 0 0 3462 200 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 709188 0 464 0 12 452 0 0 1417656
1797.03/1797.01 c knapsack : 200 1 1870475 0 1 459 80088 891 7467576 0 0 0
1797.03/1797.01 c setppc : 100 1 1854774 0 1 458 4046 0 295275 0 0 0
1797.03/1797.01 c linear : 1 1 1869584 0 0 458 2 993 33 0 0 0
1797.03/1797.01 c logicor : 0+ 0 422743 0 0 0 1 0 250 0 0 0
1797.03/1797.01 c countsols : 0 0 0 0 1 462 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 44.14 0.00 0.00 44.14 0.00 0.00 0.00
1797.03/1797.01 c knapsack : 20.25 0.00 20.17 0.00 0.00 0.04 0.03
1797.03/1797.01 c setppc : 1.47 0.00 1.46 0.00 0.00 0.00 0.00
1797.03/1797.01 c linear : 1.53 0.00 1.53 0.00 0.00 0.00 0.00
1797.03/1797.01 c logicor : 0.74 0.00 0.74 0.00 0.00 0.00 0.00
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 5 0 0 0
1797.03/1797.01 c pseudoobj : 1878433 1785 1155 5596
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.32 0.32 0.00
1797.03/1797.01 c rootredcost : 0.32 0.32 0.00
1797.03/1797.01 c pseudoobj : 5.91 5.90 0.01
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.09 891 890 7443 57.4 0 0.0 -
1797.03/1797.01 c infeasible LP : 0.10 2324 2244 7931 29.0 0 0.0 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 3277 16.7 - - -
1797.03/1797.01 c applied locally : - - - 187 39.9 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.03/1797.01 c redcost : 4.61 766675 0 112991 0 0
1797.03/1797.01 c impliedbounds : 0.00 1 0 0 0 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 0.02 1 0 0 0 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.01 1 0 0 0 0
1797.03/1797.01 c cmir : 0.00 1 0 0 0 0
1797.03/1797.01 c flowcover : 0.00 1 0 0 0 0
1797.03/1797.01 c clique : 0.00 1 0 0 0 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 43.76 709188 12 452 0 0 1417656
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c feaspump : 0.01 0 0
1797.03/1797.01 c oneopt : 0.22 5 0
1797.03/1797.01 c crossover : 4.33 12 6
1797.03/1797.01 c coefdiving : 4.47 1672 0
1797.03/1797.01 c linesearchdiving : 4.79 1672 1
1797.03/1797.01 c guideddiving : 5.53 1672 0
1797.03/1797.01 c pscostdiving : 4.58 1672 0
1797.03/1797.01 c fracdiving : 5.02 1672 0
1797.03/1797.01 c veclendiving : 6.60 1672 0
1797.03/1797.01 c objpscostdiving : 7.03 837 79
1797.03/1797.01 c rootsoldiving : 3.98 837 117
1797.03/1797.01 c trivial : 0.00 2 1
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 0.16 0 0
1797.03/1797.01 c zirounding : 18.25 0 0
1797.03/1797.01 c rounding : 12.50 56798 2
1797.03/1797.01 c shifting : 20.93 48933 252
1797.03/1797.01 c intshifting : 0.01 0 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.01 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.15 0 0
1797.03/1797.01 c trysol : 0.21 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.01 c dual LP : 1535.02 992838 29265073 29.48 19064.92
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 34.22 130343 703948 5.40 20570.85
1797.03/1797.01 c strong branching : 34.22 6723 353815 52.63 10339.97
1797.03/1797.01 c (at root node) : - 25 5809 232.36 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 975477
1797.03/1797.01 c nodes (total) : 975477
1797.03/1797.01 c nodes left : 442070
1797.03/1797.01 c max depth : 115
1797.03/1797.01 c max depth (total): 115
1797.03/1797.01 c backtracks : 69704 (7.1%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 347 (250 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 5.89
1797.03/1797.01 c switching time : 26.36
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 459 (7 improvements)
1797.03/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : -1.40000000000000e+01 (in run 1, after 972 nodes, 17.42 seconds, depth 81, found by <linesearchdiving>)
1797.03/1797.01 c Dual Bound : -2.96487964957583e+01
1797.03/1797.01 c Gap : 52.78 %
1797.03/1797.01 c Root Dual Bound : -5.00000000000000e+01
1797.03/1797.01 c Root Iterations : 1000
1797.93/1797.98 c Time complete: 1798.01.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488633-1307785587/watcher-3488633-1307785587 -o /tmp/evaluation-result-3488633-1307785587/solver-3488633-1307785587 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488633-1307785587.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.02 2.01 1.97 3/177 21611
/proc/meminfo: memFree=31420728/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=11972 CPUtime=0 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 1951 0 0 0 0 0 0 0 25 0 1 0 890157483 12259328 1906 33554432000 4194304 9016284 140734379207152 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21611/statm: 2993 1919 340 1178 0 1811 0
[startup+0.046762 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 21611
/proc/meminfo: memFree=31420728/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=28692 CPUtime=0.03 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 6184 0 0 0 3 0 0 0 25 0 1 0 890157483 29380608 5882 33554432000 4194304 9016284 140734379207152 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 7173 5882 485 1178 0 5991 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28692
[startup+0.100747 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 21611
/proc/meminfo: memFree=31420728/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=32324 CPUtime=0.09 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 7317 0 0 0 8 1 0 0 25 0 1 0 890157483 33099776 7012 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 8081 7012 637 1178 0 6899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32324
[startup+0.300715 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 21611
/proc/meminfo: memFree=31420728/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=41304 CPUtime=0.29 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 11095 0 0 0 28 1 0 0 25 0 1 0 890157483 42295296 9345 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 10326 9345 703 1178 0 9144 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41304
[startup+0.70064 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 21611
/proc/meminfo: memFree=31420728/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=41304 CPUtime=0.69 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 11097 0 0 0 67 2 0 0 25 0 1 0 890157483 42295296 9347 33554432000 4194304 9016284 140734379207152 18446744073709551615 7219247 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 10326 9347 705 1178 0 9144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41304
[startup+1.50044 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 21612
/proc/meminfo: memFree=31385280/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=41304 CPUtime=1.49 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 11097 0 0 0 145 4 0 0 25 0 1 0 890157483 42295296 9347 33554432000 4194304 9016284 140734379207152 18446744073709551615 7190378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 10326 9347 705 1178 0 9144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41304
[startup+3.10022 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21612
/proc/meminfo: memFree=31385104/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=41304 CPUtime=3.09 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 11101 0 0 0 299 10 0 0 25 0 1 0 890157483 42295296 9351 33554432000 4194304 9016284 140734379207152 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 10326 9351 709 1178 0 9144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41304
[startup+6.30059 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21651
/proc/meminfo: memFree=31794380/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=41304 CPUtime=6.29 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 11101 0 0 0 612 17 0 0 25 0 1 0 890157483 42295296 9351 33554432000 4194304 9016284 140734379207152 18446744073709551615 7178612 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 10326 9351 709 1178 0 9144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41304
[startup+12.7005 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21651
/proc/meminfo: memFree=31793428/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=41304 CPUtime=12.69 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 11102 0 0 0 1234 35 0 0 25 0 1 0 890157483 42295296 9352 33554432000 4194304 9016284 140734379207152 18446744073709551615 7214222 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 10326 9352 710 1178 0 9144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41304
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21651
/proc/meminfo: memFree=31793640/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=41304 CPUtime=25.49 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 13237 0 0 0 2470 79 0 0 25 0 1 0 890157483 42295296 9396 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 10326 9396 717 1178 0 9144 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41304
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21652
/proc/meminfo: memFree=31784520/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=50960 CPUtime=51.1 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 17506 0 0 0 4927 183 0 0 25 0 1 0 890157483 52183040 11829 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 12740 11829 717 1178 0 11558 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 50960
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21653
/proc/meminfo: memFree=31776440/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=60188 CPUtime=102.3 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 25520 0 0 0 9826 404 0 0 25 0 1 0 890157483 61632512 14176 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 15047 14176 717 1178 0 13865 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 60188
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21655
/proc/meminfo: memFree=31752832/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=79188 CPUtime=162.29 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 33050 0 0 0 15558 671 0 0 25 0 1 0 890157483 81088512 18896 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 19797 18896 717 1178 0 18615 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 79188
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21656
/proc/meminfo: memFree=31729356/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=102188 CPUtime=222.29 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 41779 0 0 0 21289 940 0 0 25 0 1 0 890157483 104640512 24760 33554432000 4194304 9016284 140734379207152 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 25547 24760 717 1178 0 24365 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 102188
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21658
/proc/meminfo: memFree=31707976/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=122956 CPUtime=282.3 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 47018 0 0 0 27000 1230 0 0 25 0 1 0 890157483 125906944 29993 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 30739 29993 717 1178 0 29557 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 122956
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 21660
/proc/meminfo: memFree=31684372/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=145788 CPUtime=342.3 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 55115 0 0 0 32705 1525 0 0 25 0 1 0 890157483 149286912 35242 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 36447 35242 717 1178 0 35265 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 145788
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 21661
/proc/meminfo: memFree=31659268/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=170276 CPUtime=402.3 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 61282 0 0 0 38417 1813 0 0 25 0 1 0 890157483 174362624 41409 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 42569 41409 717 1178 0 41387 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 170276
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21663
/proc/meminfo: memFree=31638032/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=189780 CPUtime=462.3 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 66230 0 0 0 44112 2118 0 0 25 0 1 0 890157483 194334720 46357 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 47445 46357 717 1178 0 46263 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 189780
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21664
/proc/meminfo: memFree=31615044/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=211104 CPUtime=522.3 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 74358 0 0 0 49802 2428 0 0 25 0 1 0 890157483 216170496 51738 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 52776 51738 717 1178 0 51594 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 211104
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21666
/proc/meminfo: memFree=31588476/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=236600 CPUtime=582.3 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 80760 0 0 0 55502 2728 0 0 25 0 1 0 890157483 242278400 58140 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 59150 58140 717 1178 0 57968 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 236600
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31389776/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=416872 CPUtime=1062.31 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 127880 0 0 0 100972 5259 0 0 25 0 1 0 890157483 426876928 102625 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 104218 102625 717 1178 0 103036 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 416872
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 21692
/proc/meminfo: memFree=31370048/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=435968 CPUtime=1122.31 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 132709 0 0 0 106649 5582 0 0 25 0 1 0 890157483 446431232 107454 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 108992 107454 717 1178 0 107810 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 435968
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 21694
/proc/meminfo: memFree=31337648/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=461968 CPUtime=1182.32 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 139311 0 0 0 112334 5898 0 0 25 0 1 0 890157483 473055232 114056 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 115492 114056 717 1178 0 114310 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 461968
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 21696
/proc/meminfo: memFree=31318372/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=479108 CPUtime=1242.31 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 143635 0 0 0 118019 6212 0 0 25 0 1 0 890157483 490606592 118380 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 119777 118380 717 1178 0 118595 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 479108
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 21697
/proc/meminfo: memFree=31289920/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=505796 CPUtime=1302.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 150378 0 0 0 123684 6549 0 0 25 0 1 0 890157483 517935104 125123 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 126449 125123 717 1178 0 125267 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 505796
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21699
/proc/meminfo: memFree=31262720/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=527884 CPUtime=1362.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 156803 0 0 0 129349 6884 0 0 25 0 1 0 890157483 540553216 130700 33554432000 4194304 9016284 140734379207152 18446744073709551615 7219191 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 131971 130700 717 1178 0 130789 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 527884
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21700
/proc/meminfo: memFree=31232904/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=553444 CPUtime=1422.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 165517 0 0 0 135008 7225 0 0 25 0 1 0 890157483 566726656 137146 33554432000 4194304 9016284 140734379207152 18446744073709551615 4689524 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 138361 137146 717 1178 0 137179 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 553444
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21702
/proc/meminfo: memFree=31214004/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=571892 CPUtime=1482.32 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 170179 0 0 0 140679 7553 0 0 25 0 1 0 890157483 585617408 141808 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 142973 141808 717 1178 0 141791 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 571892
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21704
/proc/meminfo: memFree=31187532/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=592504 CPUtime=1542.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 175404 0 0 0 146352 7881 0 0 25 0 1 0 890157483 606724096 147033 33554432000 4194304 9016284 140734379207152 18446744073709551615 7219712 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 148126 147033 717 1178 0 146944 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 592504
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21705
/proc/meminfo: memFree=31160696/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=615960 CPUtime=1602.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 181348 0 0 0 152021 8212 0 0 25 0 1 0 890157483 630743040 152977 33554432000 4194304 9016284 140734379207152 18446744073709551615 7219374 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 153990 152977 717 1178 0 152808 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 615960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21707
/proc/meminfo: memFree=31137464/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=637740 CPUtime=1662.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 186850 0 0 0 157694 8539 0 0 25 0 1 0 890157483 653045760 158479 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 159435 158479 717 1178 0 158253 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 637740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21708
/proc/meminfo: memFree=31109160/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=662332 CPUtime=1722.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 193033 0 0 0 163363 8870 0 0 25 0 1 0 890157483 678227968 164662 33554432000 4194304 9016284 140734379207152 18446744073709551615 5945949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 165583 164662 717 1178 0 164401 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 662332
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21710
/proc/meminfo: memFree=31088520/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=681168 CPUtime=1782.33 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 197830 0 0 0 169026 9207 0 0 25 0 1 0 890157483 697516032 169459 33554432000 4194304 9016284 140734379207152 18446744073709551615 5880643 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 170292 169459 717 1178 0 169110 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 681168
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21710
/proc/meminfo: memFree=31086660/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=682940 CPUtime=1785.53 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 198269 0 0 0 169328 9225 0 0 25 0 1 0 890157483 699330560 169898 33554432000 4194304 9016284 140734379207152 18446744073709551615 7055196 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 170735 169898 717 1178 0 169553 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 682940
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21710
/proc/meminfo: memFree=31083308/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=685556 CPUtime=1791.93 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 198897 0 0 0 169935 9258 0 0 25 0 1 0 890157483 702009344 170526 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 171389 170526 717 1178 0 170207 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 685556
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21710
/proc/meminfo: memFree=31081944/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=686480 CPUtime=1795.14 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 199126 0 0 0 170238 9276 0 0 25 0 1 0 890157483 702955520 170755 33554432000 4194304 9016284 140734379207152 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 171620 170755 717 1178 0 170438 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 686480
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21710
/proc/meminfo: memFree=31080952/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=687420 CPUtime=1796.73 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 199371 0 0 0 170389 9284 0 0 25 0 1 0 890157483 703918080 171000 33554432000 4194304 9016284 140734379207152 18446744073709551615 7082005 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/21611/statm: 171855 171000 717 1178 0 170673 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 687420
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21710
/proc/meminfo: memFree=31081188/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=687420 CPUtime=1797.53 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 199374 0 0 0 170467 9286 0 0 25 0 1 0 890157483 703918080 171003 33554432000 4194304 9016284 140734379207152 18446744073709551615 6812671 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21611/statm: 171855 171003 719 1178 0 170673 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 687420
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21710
/proc/meminfo: memFree=31081188/32950928 swapFree=67052112/67111528
[pid=21611] ppid=21609 vsize=687420 CPUtime=1797.93 cores=1,3,5,7
/proc/21611/stat : 21611 (scip-2.0.1.4b_2) R 21609 21611 18976 0 -1 4202496 199374 0 0 0 170507 9286 0 0 25 0 1 0 890157483 703918080 171003 33554432000 4194304 9016284 140734379207152 18446744073709551615 4329904 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21611/statm: 171855 171003 719 1178 0 170673 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 687420
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.03
CPU user time (s): 1705.14
CPU system time (s): 92.8879
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 687420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.14
system time used= 92.8879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199379
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= 9
involuntary context switches= 1263
runsolver used 2.44263 second user time and 5.74513 second system time
The end