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-3488660-1307786631.opb>
0.01/0.02 c original problem has 3270 variables (3270 bin, 0 int, 0 impl, 0 cont) and 3571 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/0.03 o 0
0.01/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.03 c presolving:
0.01/0.07 c (round 1) 0 del vars, 3470 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24760 impls, 199 clqs
0.01/0.08 c (round 2) 3070 del vars, 3470 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24760 impls, 0 clqs
0.01/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.09 c presolving (3 rounds):
0.01/0.09 c 3070 deleted vars, 3470 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.09 c 24760 implications, 0 cliques
0.01/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.01/0.09 c 200 constraints of type <knapsack>
0.01/0.09 c 100 constraints of type <setppc>
0.01/0.09 c 1 constraints of type <linear>
0.01/0.09 c transformed objective value is always integral (scale: 1)
0.01/0.09 c Presolving Time: 0.06
0.01/0.09 c - non default parameters ----------------------------------------------------------------------
0.01/0.09 c # SCIP version 2.0.1.5
0.01/0.09 c
0.01/0.09 c # frequency for displaying node information lines
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.09 c display/freq = 10000
0.01/0.09 c
0.01/0.09 c # maximal time in seconds to run
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/time = 1797
0.01/0.09 c
0.01/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/memory = 13950
0.01/0.09 c
0.01/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.09 c # [type: int, range: [1,2], default: 1]
0.01/0.09 c timing/clocktype = 2
0.01/0.09 c
0.01/0.09 c # belongs reading time to solving time?
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c timing/reading = TRUE
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify inequalities
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/linear/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/indicator/addCouplingCons = TRUE
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify knapsacks
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09 c separating/rapidlearning/freq = 0
0.01/0.09 c
0.01/0.09 c -----------------------------------------------------------------------------------------------
0.01/0.09 c start solving
0.01/0.09 c
0.18/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.18/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.18/0.21 o -1
0.18/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.18/0.29 o -8
0.18/0.29 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.19/1.29 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.01 o -9
3.99/4.01 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.50/5.52 o -14
5.50/5.52 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%
56.79/56.88 c 56.9s| 10000 | 8255 |574657 | 57.3 | 20M| 81 | 85 | 200 | 445 | 200 | 301 | 0 | 199 |1448 |-3.763544e+01 |-1.400000e+01 | 62.80%
96.79/96.86 c 96.9s| 20000 | 15729 | 1081k| 54.0 | 29M| 82 | 122 | 200 | 459 | 200 | 301 | 0 | 338 |1818 |-3.624323e+01 |-1.400000e+01 | 61.37%
132.39/132.41 c 132s| 30000 | 22265 | 1553k| 51.7 | 38M| 97 | - | 200 | 414 | 200 | 301 | 0 | 408 |2128 |-3.527404e+01 |-1.400000e+01 | 60.31%
163.70/163.75 c 164s| 40000 | 28361 | 1983k| 49.6 | 46M| 99 | 29 | 200 | 429 | 200 | 301 | 0 | 503 |2360 |-3.479577e+01 |-1.400000e+01 | 59.77%
191.90/191.94 c 192s| 50000 | 33969 | 2369k| 47.4 | 54M| 101 | - | 200 | 422 | 200 | 301 | 0 | 556 |2574 |-3.439595e+01 |-1.400000e+01 | 59.30%
217.99/218.04 c 218s| 60000 | 39359 | 2740k| 45.7 | 61M| 101 | 33 | 200 | 394 | 200 | 301 | 0 | 602 |2740 |-3.401360e+01 |-1.400000e+01 | 58.84%
243.30/243.31 c 243s| 70000 | 44815 | 3102k| 44.3 | 69M| 102 | - | 200 | 396 | 200 | 301 | 0 | 643 |2886 |-3.373381e+01 |-1.400000e+01 | 58.50%
268.00/268.00 c 268s| 80000 | 50049 | 3459k| 43.2 | 76M| 103 | 47 | 200 | 408 | 200 | 301 | 0 | 694 |3016 |-3.346843e+01 |-1.400000e+01 | 58.17%
293.50/293.55 c 294s| 90000 | 55405 | 3805k| 42.3 | 83M| 103 | 30 | 200 | 385 | 200 | 301 | 0 | 735 |3136 |-3.331221e+01 |-1.400000e+01 | 57.97%
317.00/317.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.00/317.09 c 317s|100000 | 60573 | 4148k| 41.5 | 91M| 103 | - | 200 | 393 | 200 | 301 | 0 | 787 |3255 |-3.312512e+01 |-1.400000e+01 | 57.74%
336.80/336.88 o -15
336.80/336.88 c * 337s|108578 | 52175 | 4439k| 40.9 | 79M| 104 | - | 200 | 373 | 200 | 301 | 0 | 811 |3330 |-3.299499e+01 |-1.500000e+01 | 54.54%
340.20/340.25 c 340s|110000 | 52795 | 4481k| 40.7 | 80M| 104 | - | 200 | 379 | 200 | 301 | 0 | 825 |3342 |-3.297992e+01 |-1.500000e+01 | 54.52%
362.00/362.01 c 362s|120000 | 57185 | 4783k| 39.8 | 86M| 105 | - | 200 | 378 | 200 | 301 | 0 | 858 |3429 |-3.285644e+01 |-1.500000e+01 | 54.35%
383.30/383.34 c 383s|130000 | 61449 | 5083k| 39.1 | 93M| 105 | 79 | 200 | 381 | 200 | 301 | 0 | 900 |3535 |-3.271911e+01 |-1.500000e+01 | 54.16%
404.50/404.57 c 405s|140000 | 65761 | 5384k| 38.5 | 99M| 105 | 36 | 200 | 380 | 200 | 301 | 0 | 926 |3605 |-3.258869e+01 |-1.500000e+01 | 53.97%
425.20/425.26 c 425s|150000 | 69887 | 5675k| 37.8 | 105M| 107 | 43 | 200 | 377 | 200 | 301 | 0 | 953 |3688 |-3.249884e+01 |-1.500000e+01 | 53.84%
445.70/445.71 c 446s|160000 | 74019 | 5966k| 37.3 | 111M| 108 | 104 | 200 | 365 | 200 | 301 | 0 | 975 |3771 |-3.235743e+01 |-1.500000e+01 | 53.64%
466.20/466.25 c 466s|170000 | 78131 | 6255k| 36.8 | 117M| 109 | 78 | 200 | 362 | 200 | 301 | 0 | 986 |3863 |-3.224246e+01 |-1.500000e+01 | 53.48%
486.80/486.86 c 487s|180000 | 82269 | 6550k| 36.4 | 123M| 109 | 100 | 200 | 380 | 200 | 301 | 0 |1029 |3950 |-3.213980e+01 |-1.500000e+01 | 53.33%
506.61/506.66 c 507s|190000 | 86289 | 6831k| 35.9 | 129M| 109 | 94 | 200 | 385 | 200 | 301 | 0 |1065 |4033 |-3.203347e+01 |-1.500000e+01 | 53.17%
525.81/525.83 c 526s|200000 | 90123 | 7104k| 35.5 | 135M| 111 | - | 200 | 375 | 200 | 301 | 0 |1089 |4112 |-3.196655e+01 |-1.500000e+01 | 53.08%
544.42/544.40 c 544s|210000 | 93797 | 7367k| 35.1 | 140M| 111 | - | 200 | 355 | 200 | 301 | 0 |1104 |4181 |-3.187208e+01 |-1.500000e+01 | 52.94%
562.91/562.96 c 563s|220000 | 97393 | 7635k| 34.7 | 146M| 111 | 92 | 200 | 350 | 200 | 301 | 0 |1124 |4254 |-3.179957e+01 |-1.500000e+01 | 52.83%
581.01/581.07 c 581s|230000 |100979 | 7895k| 34.3 | 151M| 111 | - | 200 | 345 | 200 | 301 | 0 |1140 |4327 |-3.174216e+01 |-1.500000e+01 | 52.74%
599.61/599.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.61/599.62 c 600s|240000 |104581 | 8162k| 34.0 | 157M| 111 | - | 200 | 337 | 200 | 301 | 0 |1148 |4416 |-3.166673e+01 |-1.500000e+01 | 52.63%
617.71/617.77 c 618s|250000 |108139 | 8423k| 33.7 | 162M| 112 | 34 | 200 | 327 | 200 | 301 | 0 |1154 |4498 |-3.159897e+01 |-1.500000e+01 | 52.53%
636.11/636.17 c 636s|260000 |111605 | 8689k| 33.4 | 167M| 112 | - | 200 | 332 | 200 | 301 | 0 |1166 |4589 |-3.151893e+01 |-1.500000e+01 | 52.41%
654.11/654.18 c 654s|270000 |115119 | 8954k| 33.2 | 173M| 112 | 92 | 200 | 342 | 200 | 301 | 0 |1191 |4661 |-3.147012e+01 |-1.500000e+01 | 52.34%
672.02/672.00 c 672s|280000 |118539 | 9216k| 32.9 | 178M| 112 | 75 | 200 | 349 | 200 | 301 | 0 |1220 |4726 |-3.142296e+01 |-1.500000e+01 | 52.26%
690.11/690.16 c 690s|290000 |122111 | 9484k| 32.7 | 183M| 112 | 36 | 200 | 338 | 200 | 301 | 0 |1235 |4801 |-3.136994e+01 |-1.500000e+01 | 52.18%
708.21/708.26 c 708s|300000 |125625 | 9749k| 32.5 | 189M| 112 | 27 | 200 | 335 | 200 | 301 | 0 |1262 |4870 |-3.132258e+01 |-1.500000e+01 | 52.11%
726.11/726.12 c 726s|310000 |129123 | 10010k| 32.3 | 194M| 112 | - | 200 | 336 | 200 | 301 | 0 |1279 |4932 |-3.128150e+01 |-1.500000e+01 | 52.05%
744.12/744.14 c 744s|320000 |132599 | 10272k| 32.1 | 199M| 112 | - | 200 | 347 | 200 | 301 | 0 |1300 |5011 |-3.123610e+01 |-1.500000e+01 | 51.98%
761.72/761.73 c 762s|330000 |136063 | 10531k| 31.9 | 205M| 112 | - | 200 | 334 | 200 | 301 | 0 |1312 |5083 |-3.116864e+01 |-1.500000e+01 | 51.87%
779.11/779.16 c 779s|340000 |139457 | 10785k| 31.7 | 210M| 112 | 35 | 200 | 331 | 200 | 301 | 0 |1326 |5124 |-3.113187e+01 |-1.500000e+01 | 51.82%
796.52/796.52 c 797s|350000 |142879 | 11042k| 31.5 | 215M| 112 | - | 200 | 337 | 200 | 301 | 0 |1339 |5181 |-3.109655e+01 |-1.500000e+01 | 51.76%
813.82/813.85 c 814s|360000 |146341 | 11297k| 31.4 | 220M| 112 | - | 200 | 341 | 200 | 301 | 0 |1354 |5240 |-3.107020e+01 |-1.500000e+01 | 51.72%
831.32/831.33 c 831s|370000 |149785 | 11556k| 31.2 | 226M| 112 | 48 | 200 | 333 | 200 | 301 | 0 |1359 |5296 |-3.102768e+01 |-1.500000e+01 | 51.66%
848.81/848.86 c 849s|380000 |153269 | 11813k| 31.1 | 231M| 112 | - | 200 | 335 | 200 | 301 | 0 |1374 |5353 |-3.098391e+01 |-1.500000e+01 | 51.59%
866.02/866.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.02/866.05 c 866s|390000 |156681 | 12065k| 30.9 | 236M| 112 | - | 200 | 334 | 200 | 301 | 0 |1384 |5416 |-3.095638e+01 |-1.500000e+01 | 51.54%
883.62/883.61 c 884s|400000 |160131 | 12324k| 30.8 | 242M| 112 | - | 200 | 335 | 200 | 301 | 0 |1397 |5487 |-3.090806e+01 |-1.500000e+01 | 51.47%
900.72/900.79 c 901s|410000 |163629 | 12578k| 30.7 | 247M| 112 | 33 | 200 | 339 | 200 | 301 | 0 |1414 |5537 |-3.087530e+01 |-1.500000e+01 | 51.42%
918.02/918.07 c 918s|420000 |167007 | 12836k| 30.6 | 252M| 112 | - | 200 | 349 | 200 | 301 | 0 |1433 |5605 |-3.084251e+01 |-1.500000e+01 | 51.37%
934.72/934.80 c 935s|430000 |170395 | 13086k| 30.4 | 257M| 114 | 31 | 200 | 359 | 200 | 301 | 0 |1458 |5656 |-3.080287e+01 |-1.500000e+01 | 51.30%
951.72/951.73 c 952s|440000 |173803 | 13340k| 30.3 | 263M| 114 | 29 | 200 | 351 | 200 | 301 | 0 |1476 |5711 |-3.076788e+01 |-1.500000e+01 | 51.25%
968.63/968.68 c 969s|450000 |177181 | 13595k| 30.2 | 268M| 114 | 39 | 200 | 345 | 200 | 301 | 0 |1491 |5744 |-3.072512e+01 |-1.500000e+01 | 51.18%
985.43/985.40 c 985s|460000 |180547 | 13848k| 30.1 | 273M| 114 | 33 | 200 | 331 | 200 | 301 | 0 |1496 |5803 |-3.069427e+01 |-1.500000e+01 | 51.13%
1002.32/1002.37 c 1002s|470000 |183941 | 14104k| 30.0 | 278M| 114 | 42 | 200 | 333 | 200 | 301 | 0 |1508 |5851 |-3.065654e+01 |-1.500000e+01 | 51.07%
1019.32/1019.38 c 1019s|480000 |187269 | 14360k| 29.9 | 284M| 114 | - | 200 | 341 | 200 | 301 | 0 |1521 |5897 |-3.062697e+01 |-1.500000e+01 | 51.02%
1036.13/1036.16 c 1036s|490000 |190599 | 14613k| 29.8 | 289M| 114 | 35 | 200 | 331 | 200 | 301 | 0 |1535 |5954 |-3.059509e+01 |-1.500000e+01 | 50.97%
1052.52/1052.57 c 1053s|500000 |193921 | 14862k| 29.7 | 294M| 114 | 95 | 200 | 333 | 200 | 301 | 0 |1549 |6004 |-3.057056e+01 |-1.500000e+01 | 50.93%
1068.72/1068.78 c 1069s|510000 |197233 | 15111k| 29.6 | 299M| 114 | 31 | 200 | 329 | 200 | 301 | 0 |1558 |6048 |-3.054261e+01 |-1.500000e+01 | 50.89%
1085.12/1085.17 c 1085s|520000 |200527 | 15361k| 29.5 | 304M| 114 | - | 200 | 325 | 200 | 301 | 0 |1563 |6092 |-3.051851e+01 |-1.500000e+01 | 50.85%
1101.42/1101.45 c 1101s|530000 |203769 | 15610k| 29.5 | 309M| 114 | - | 200 | 338 | 200 | 301 | 0 |1584 |6138 |-3.049645e+01 |-1.500000e+01 | 50.81%
1117.72/1117.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.72/1117.71 c 1118s|540000 |206985 | 15859k| 29.4 | 314M| 114 | - | 200 | 357 | 200 | 301 | 0 |1613 |6184 |-3.048025e+01 |-1.500000e+01 | 50.79%
1134.03/1134.04 c 1134s|550000 |210183 | 16112k| 29.3 | 319M| 114 | 84 | 200 | 339 | 200 | 301 | 0 |1622 |6218 |-3.045677e+01 |-1.500000e+01 | 50.75%
1150.33/1150.38 c 1150s|560000 |213445 | 16361k| 29.2 | 324M| 114 | - | 200 | 344 | 200 | 301 | 0 |1640 |6276 |-3.043181e+01 |-1.500000e+01 | 50.71%
1166.83/1166.89 c 1167s|570000 |216737 | 16614k| 29.1 | 330M| 114 | 28 | 200 | 350 | 200 | 301 | 0 |1666 |6319 |-3.040740e+01 |-1.500000e+01 | 50.67%
1183.13/1183.13 c 1183s|580000 |219955 | 16864k| 29.1 | 335M| 114 | 88 | 200 | 360 | 200 | 301 | 0 |1698 |6349 |-3.038285e+01 |-1.500000e+01 | 50.63%
1199.24/1199.25 c 1199s|590000 |223091 | 17115k| 29.0 | 340M| 114 | 40 | 200 | 352 | 200 | 301 | 0 |1716 |6387 |-3.036588e+01 |-1.500000e+01 | 50.60%
1215.44/1215.42 c 1215s|600000 |226281 | 17363k| 28.9 | 345M| 114 | 32 | 200 | 349 | 200 | 301 | 0 |1727 |6424 |-3.033477e+01 |-1.500000e+01 | 50.55%
1231.83/1231.81 c 1232s|610000 |229561 | 17617k| 28.9 | 350M| 114 | - | 200 | 357 | 200 | 301 | 0 |1751 |6463 |-3.031264e+01 |-1.500000e+01 | 50.52%
1248.23/1248.29 c 1248s|620000 |232847 | 17871k| 28.8 | 355M| 114 | 85 | 200 | 359 | 200 | 301 | 0 |1771 |6504 |-3.028641e+01 |-1.500000e+01 | 50.47%
1264.53/1264.54 c 1265s|630000 |236001 | 18124k| 28.8 | 360M| 114 | - | 200 | 350 | 200 | 301 | 0 |1787 |6545 |-3.026584e+01 |-1.500000e+01 | 50.44%
1280.63/1280.62 c 1281s|640000 |239175 | 18374k| 28.7 | 365M| 114 | - | 200 | 344 | 200 | 301 | 0 |1796 |6597 |-3.024344e+01 |-1.500000e+01 | 50.40%
1296.84/1296.87 c 1297s|650000 |242391 | 18624k| 28.7 | 370M| 114 | 29 | 200 | 340 | 200 | 301 | 0 |1810 |6628 |-3.021926e+01 |-1.500000e+01 | 50.36%
1313.03/1313.07 c 1313s|660000 |245621 | 18876k| 28.6 | 375M| 114 | - | 200 | 341 | 200 | 301 | 0 |1827 |6664 |-3.019381e+01 |-1.500000e+01 | 50.32%
1329.24/1329.21 c 1329s|670000 |248783 | 19128k| 28.5 | 380M| 114 | 40 | 200 | 349 | 200 | 301 | 0 |1845 |6699 |-3.016758e+01 |-1.500000e+01 | 50.28%
1345.44/1345.40 c 1345s|680000 |252025 | 19380k| 28.5 | 385M| 114 | 29 | 200 | 339 | 200 | 301 | 0 |1847 |6744 |-3.013453e+01 |-1.500000e+01 | 50.22%
1361.34/1361.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.34/1361.35 c 1361s|690000 |255213 | 19627k| 28.4 | 390M| 114 | 28 | 200 | 342 | 200 | 301 | 0 |1867 |6789 |-3.011541e+01 |-1.500000e+01 | 50.19%
1377.24/1377.27 c 1377s|700000 |258417 | 19875k| 28.4 | 395M| 114 | 88 | 200 | 359 | 200 | 301 | 0 |1893 |6821 |-3.009038e+01 |-1.500000e+01 | 50.15%
1393.03/1393.05 c 1393s|710000 |261635 | 20120k| 28.3 | 400M| 114 | 49 | 200 | 356 | 200 | 301 | 0 |1904 |6858 |-3.007076e+01 |-1.500000e+01 | 50.12%
1409.34/1409.34 c 1409s|720000 |264761 | 20376k| 28.3 | 405M| 114 | - | 200 | 359 | 200 | 301 | 0 |1932 |6885 |-3.005088e+01 |-1.500000e+01 | 50.08%
1425.34/1425.37 c 1425s|730000 |267991 | 20627k| 28.3 | 410M| 114 | - | 200 | 344 | 200 | 301 | 0 |1937 |6920 |-3.002644e+01 |-1.500000e+01 | 50.04%
1441.43/1441.45 c 1441s|740000 |271159 | 20879k| 28.2 | 415M| 114 | 27 | 200 | 346 | 200 | 301 | 0 |1959 |6957 |-2.999874e+01 |-1.500000e+01 | 50.00%
1457.04/1457.00 c 1457s|750000 |274321 | 21121k| 28.2 | 420M| 114 | 91 | 200 | 349 | 200 | 301 | 0 |1978 |6996 |-2.997524e+01 |-1.500000e+01 | 49.96%
1472.85/1472.87 c 1473s|760000 |277497 | 21370k| 28.1 | 425M| 114 | 24 | 200 | 347 | 200 | 301 | 0 |1993 |7027 |-2.995019e+01 |-1.500000e+01 | 49.92%
1488.54/1488.57 c 1489s|770000 |280657 | 21612k| 28.1 | 430M| 114 | 42 | 200 | 339 | 200 | 301 | 0 |2003 |7063 |-2.992747e+01 |-1.500000e+01 | 49.88%
1503.94/1503.91 c 1504s|780000 |283707 | 21852k| 28.0 | 435M| 114 | 31 | 200 | 337 | 200 | 301 | 0 |2015 |7094 |-2.990124e+01 |-1.500000e+01 | 49.83%
1519.54/1519.52 c 1520s|790000 |286799 | 22095k| 28.0 | 440M| 114 | 74 | 200 | 333 | 200 | 301 | 0 |2030 |7121 |-2.988573e+01 |-1.500000e+01 | 49.81%
1535.24/1535.28 c 1535s|800000 |289927 | 22342k| 27.9 | 445M| 114 | 37 | 200 | 339 | 200 | 301 | 0 |2051 |7154 |-2.986731e+01 |-1.500000e+01 | 49.78%
1550.95/1550.99 c 1551s|810000 |293035 | 22588k| 27.9 | 450M| 114 | 39 | 200 | 329 | 200 | 301 | 0 |2062 |7192 |-2.984127e+01 |-1.500000e+01 | 49.73%
1566.85/1566.85 c 1567s|820000 |296107 | 22836k| 27.8 | 454M| 114 | 33 | 200 | 342 | 200 | 301 | 0 |2086 |7222 |-2.981518e+01 |-1.500000e+01 | 49.69%
1582.54/1582.56 c 1583s|830000 |299179 | 23081k| 27.8 | 459M| 114 | 27 | 200 | 334 | 200 | 301 | 0 |2099 |7255 |-2.980083e+01 |-1.500000e+01 | 49.67%
1598.14/1598.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1598.14/1598.16 c 1598s|840000 |302267 | 23327k| 27.8 | 464M| 114 | - | 200 | 333 | 200 | 301 | 0 |2114 |7289 |-2.978009e+01 |-1.500000e+01 | 49.63%
1613.54/1613.59 c 1614s|850000 |305355 | 23569k| 27.7 | 469M| 117 | - | 200 | 339 | 200 | 301 | 0 |2137 |7315 |-2.976110e+01 |-1.500000e+01 | 49.60%
1628.94/1628.95 c 1629s|860000 |308433 | 23812k| 27.7 | 474M| 117 | - | 200 | 342 | 200 | 301 | 0 |2157 |7343 |-2.974183e+01 |-1.500000e+01 | 49.57%
1644.45/1644.40 c 1644s|870000 |311407 | 24055k| 27.6 | 479M| 117 | - | 200 | 370 | 200 | 301 | 0 |2198 |7379 |-2.972506e+01 |-1.500000e+01 | 49.54%
1659.85/1659.81 c 1660s|880000 |314521 | 24297k| 27.6 | 484M| 117 | 31 | 200 | 351 | 200 | 301 | 0 |2214 |7406 |-2.970804e+01 |-1.500000e+01 | 49.51%
1675.85/1675.81 c 1676s|890000 |317625 | 24544k| 27.6 | 488M| 117 | 33 | 200 | 354 | 200 | 301 | 0 |2232 |7429 |-2.968858e+01 |-1.500000e+01 | 49.48%
1691.34/1691.34 c 1691s|900000 |320701 | 24788k| 27.5 | 493M| 117 | 46 | 200 | 350 | 200 | 301 | 0 |2251 |7458 |-2.967454e+01 |-1.500000e+01 | 49.45%
1706.65/1706.64 c 1707s|910000 |323731 | 25030k| 27.5 | 498M| 117 | 37 | 200 | 356 | 200 | 301 | 0 |2274 |7487 |-2.966001e+01 |-1.500000e+01 | 49.43%
1721.84/1721.87 c 1722s|920000 |326739 | 25270k| 27.5 | 503M| 117 | - | 200 | 363 | 200 | 301 | 0 |2307 |7520 |-2.964441e+01 |-1.500000e+01 | 49.40%
1737.24/1737.24 c 1737s|930000 |329803 | 25513k| 27.4 | 508M| 117 | 31 | 200 | 348 | 200 | 301 | 0 |2316 |7539 |-2.962520e+01 |-1.500000e+01 | 49.37%
1752.75/1752.79 c 1753s|940000 |332913 | 25759k| 27.4 | 513M| 117 | 89 | 200 | 338 | 200 | 301 | 0 |2333 |7574 |-2.961011e+01 |-1.500000e+01 | 49.34%
1768.24/1768.26 c 1768s|950000 |335959 | 26006k| 27.4 | 518M| 117 | 31 | 200 | 338 | 200 | 301 | 0 |2354 |7600 |-2.959081e+01 |-1.500000e+01 | 49.31%
1783.65/1783.60 c 1784s|960000 |339035 | 26249k| 27.3 | 522M| 117 | 34 | 200 | 330 | 200 | 301 | 0 |2360 |7621 |-2.956870e+01 |-1.500000e+01 | 49.27%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 968711
1797.05/1797.00 c Primal Bound : -1.50000000000000e+01 (530 solutions)
1797.05/1797.00 c Dual Bound : -2.95553697849812e+01
1797.05/1797.00 c Gap : 49.25 %
1797.05/1797.00 s SATISFIABLE
1797.05/1797.00 v -x146 -x154 x136 x128 -x198 -x166 x193 -x151 -x182 -x124 -x110 -x130 -x116 -x171 -x156 -x163 -x185 -x189 -x181 x153 -x179 -x167
1797.05/1797.00 v -x178 -x149 x161 -x133 -x172 -x160 -x159 -x152 -x112 -x188 -x134 -x139 -x197 -x170 -x194 -x117 -x187 -x122 -x196 -x191 -x158
1797.05/1797.00 v -x140 -x135 -x113 -x111 -x109 -x108 -x107 x190 -x148 x144 -x173 -x143 -x132 -x176 -x177 -x162 -x125 -x195 -x120 -x200 x131 x121
1797.05/1797.00 v -x101 x199 x192 x168 -x157 -x147 -x141 -x137 -x114 -x106 -x183 -x123 -x119 -x174 x180 x169 -x105 -x118 -x150 -x142 -x103
1797.05/1797.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
1797.05/1797.00 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.05/1797.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
1797.05/1797.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
1797.05/1797.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.06 (included in solving)
1797.05/1797.00 c reading : 0.02 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3488660-1307786631.opb
1797.05/1797.00 c Variables : 3270 (3270 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 3571 initial, 3571 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3488660-1307786631.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 301 initial, 467 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 3070 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c pseudoboolean : 0.01 0 0 0 0 0 3470 200 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 661967 0 534 0 25 569 0 0 1323114
1797.05/1797.00 c knapsack : 200 1 1779483 1 0 529 41303 457 7171320 0 0 0
1797.05/1797.00 c setppc : 100 1 1773061 1 0 528 2189 0 317587 0 0 0
1797.05/1797.00 c linear : 1+ 2 1779026 1 0 528 0 459 0 0 0 0
1797.05/1797.00 c logicor : 0+ 0 351977 0 0 0 0 0 157 0 0 0
1797.05/1797.00 c countsols : 0 0 0 1 0 532 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 46.51 0.00 0.00 46.50 0.00 0.00 0.00
1797.05/1797.00 c knapsack : 22.83 0.00 22.76 0.00 0.00 0.05 0.02
1797.05/1797.00 c setppc : 1.63 0.00 1.62 0.00 0.00 0.00 0.00
1797.05/1797.00 c linear : 1.51 0.00 1.51 0.00 0.00 0.00 0.00
1797.05/1797.00 c logicor : 0.54 0.00 0.54 0.00 0.00 0.00 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 4 0 0 0
1797.05/1797.00 c pseudoobj : 1786510 914 637 3744
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.33 0.33 0.00
1797.05/1797.00 c rootredcost : 0.34 0.34 0.00
1797.05/1797.00 c pseudoobj : 6.22 6.21 0.01
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.04 457 457 3273 57.8 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.08 1699 1647 5528 27.5 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 2144 15.7 - - -
1797.05/1797.00 c applied locally : - - - 235 41.6 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.05/1797.00 c redcost : 4.83 718244 0 107916 0 0
1797.05/1797.00 c impliedbounds : 0.00 1 0 0 0 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.02 1 0 0 0 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.01 1 0 0 0 0
1797.05/1797.00 c cmir : 0.00 1 0 0 0 0
1797.05/1797.00 c flowcover : 0.00 1 0 0 0 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.04 1 0 0 0 1
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 46.09 661966 25 569 0 0 1323114
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.02 - 1
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c feaspump : 0.01 0 0
1797.05/1797.00 c intshifting : 0.01 0 0
1797.05/1797.00 c oneopt : 0.24 4 0
1797.05/1797.00 c crossover : 4.58 19 9
1797.05/1797.00 c pscostdiving : 3.52 1107 0
1797.05/1797.00 c linesearchdiving : 3.59 1107 0
1797.05/1797.00 c guideddiving : 3.80 1107 0
1797.05/1797.00 c fracdiving : 3.67 1107 1
1797.05/1797.00 c veclendiving : 4.75 1107 0
1797.05/1797.00 c objpscostdiving : 5.72 554 90
1797.05/1797.00 c rootsoldiving : 3.23 554 118
1797.05/1797.00 c coefdiving : 3.43 1108 0
1797.05/1797.00 c trivial : 0.00 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 0.17 0 0
1797.05/1797.00 c zirounding : 18.70 0 0
1797.05/1797.00 c rounding : 12.48 54714 2
1797.05/1797.00 c shifting : 23.57 49169 307
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.01 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.17 0 0
1797.05/1797.00 c trysol : 0.23 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 1530.69 985954 25985833 26.36 16976.55
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 25.93 88337 474256 5.37 18289.41
1797.05/1797.00 c strong branching : 36.04 7649 345671 45.19 9590.26
1797.05/1797.00 c (at root node) : - 21 4769 227.10 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 968711
1797.05/1797.00 c nodes (total) : 968711
1797.05/1797.00 c nodes left : 341630
1797.05/1797.00 c max depth : 117
1797.05/1797.00 c max depth (total): 117
1797.05/1797.00 c backtracks : 64625 (6.7%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 195 (157 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 5.66
1797.05/1797.00 c switching time : 27.80
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 530 (6 improvements)
1797.05/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : -1.50000000000000e+01 (in run 1, after 108578 nodes, 336.86 seconds, depth 37, found by <relaxation>)
1797.05/1797.00 c Dual Bound : -2.95553697849812e+01
1797.05/1797.00 c Gap : 49.25 %
1797.05/1797.00 c Root Dual Bound : -5.00000000000000e+01
1797.05/1797.00 c Root Iterations : 1262
1797.85/1797.87 c Time complete: 1797.93.
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-3488660-1307786631/watcher-3488660-1307786631 -o /tmp/evaluation-result-3488660-1307786631/solver-3488660-1307786631 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488660-1307786631.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.01 2.01 1.91 2/174 13900
/proc/meminfo: memFree=31048308/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 1803 0 0 0 0 0 0 0 25 0 1 0 871078720 11206656 1757 33554432000 4194304 9016284 140734998172896 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13900/statm: 2736 1769 340 1178 0 1554 0
[startup+0.0197101 s]
/proc/loadavg: 2.01 2.01 1.91 2/174 13900
/proc/meminfo: memFree=31048308/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=17296 CPUtime=0.01 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 3318 0 0 0 1 0 0 0 25 0 1 0 871078720 17711104 3272 33554432000 4194304 9016284 140734998172896 18446744073709551615 5207200 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13900/statm: 4324 3273 378 1178 0 3142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17296
[startup+0.10066 s]
/proc/loadavg: 2.01 2.01 1.91 2/174 13900
/proc/meminfo: memFree=31048308/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=32592 CPUtime=0.09 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 7366 0 0 0 9 0 0 0 18 0 1 0 871078720 33374208 7063 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 8148 7063 637 1178 0 6966 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32592
[startup+0.30066 s]
/proc/loadavg: 2.01 2.01 1.91 2/174 13900
/proc/meminfo: memFree=31048308/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=48148 CPUtime=0.29 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 11069 0 0 0 28 1 0 0 18 0 1 0 871078720 49303552 10724 33554432000 4194304 9016284 140734998172896 18446744073709551615 7933303 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 12037 10371 700 1178 0 10855 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48148
[startup+0.700583 s]
/proc/loadavg: 2.01 2.01 1.91 2/174 13900
/proc/meminfo: memFree=31048308/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=45324 CPUtime=0.69 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 11309 0 0 0 68 1 0 0 18 0 1 0 871078720 46411776 10258 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 11331 10258 707 1178 0 10149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45324
[startup+1.50046 s]
/proc/loadavg: 2.01 2.01 1.91 3/175 13901
/proc/meminfo: memFree=31009876/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=45324 CPUtime=1.49 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 11311 0 0 0 148 1 0 0 19 0 1 0 871078720 46411776 10260 33554432000 4194304 9016284 140734998172896 18446744073709551615 7219239 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 11331 10260 709 1178 0 10149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45324
[startup+3.10116 s]
/proc/loadavg: 2.01 2.01 1.91 3/175 13901
/proc/meminfo: memFree=31009504/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=45324 CPUtime=3.09 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 11311 0 0 0 307 2 0 0 25 0 1 0 871078720 46411776 10260 33554432000 4194304 9016284 140734998172896 18446744073709551615 7218915 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 11331 10260 709 1178 0 10149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45324
[startup+6.30055 s]
/proc/loadavg: 2.01 2.01 1.91 3/175 13901
/proc/meminfo: memFree=31009128/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=45324 CPUtime=6.29 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 11331 0 0 0 625 4 0 0 25 0 1 0 871078720 46411776 10280 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 11331 10280 709 1178 0 10149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45324
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 1.91 3/175 13940
/proc/meminfo: memFree=31364360/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=47812 CPUtime=12.68 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 11756 0 0 0 1259 9 0 0 25 0 1 0 871078720 48959488 10705 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 11953 10705 714 1178 0 10771 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47812
[startup+25.5009 s]
/proc/loadavg: 2.01 2.00 1.91 3/175 13941
/proc/meminfo: memFree=31363444/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=45308 CPUtime=25.49 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 12446 0 0 0 2522 27 0 0 25 0 1 0 871078720 46395392 10398 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 11327 10398 714 1178 0 10145 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45308
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 13941
/proc/meminfo: memFree=31360992/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=47972 CPUtime=51.09 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 15583 0 0 0 5046 63 0 0 25 0 1 0 871078720 49123328 11034 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13900/statm: 11993 11034 714 1178 0 10811 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 47972
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.92 3/175 13943
/proc/meminfo: memFree=31346316/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=62468 CPUtime=102.3 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 28257 0 0 0 10090 140 0 0 25 0 1 0 871078720 63967232 14698 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 15617 14698 717 1178 0 14435 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 62468
[startup+162.301 s]
/proc/loadavg: 2.07 2.02 1.93 3/175 13944
/proc/meminfo: memFree=31328800/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=79808 CPUtime=162.29 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 34135 0 0 0 16001 228 0 0 25 0 1 0 871078720 81723392 19096 33554432000 4194304 9016284 140734998172896 18446744073709551615 4786612 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 19952 19096 717 1178 0 18770 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 79808
[startup+222.301 s]
/proc/loadavg: 2.02 2.02 1.93 3/175 13946
/proc/meminfo: memFree=31303948/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=102812 CPUtime=222.3 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 42809 0 0 0 21903 327 0 0 25 0 1 0 871078720 105279488 24876 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 25703 24876 717 1178 0 24521 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 102812
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/175 13947
/proc/meminfo: memFree=31288400/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=117820 CPUtime=282.3 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 49551 0 0 0 27804 426 0 0 25 0 1 0 871078720 120647680 28669 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 29455 28669 717 1178 0 28273 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 117820
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/175 13949
/proc/meminfo: memFree=31269136/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=136152 CPUtime=342.3 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 62528 0 0 0 33708 522 0 0 25 0 1 0 871078720 139419648 33350 33554432000 4194304 9016284 140734998172896 18446744073709551615 7198996 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 34038 33350 717 1178 0 32856 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 136152
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13951
/proc/meminfo: memFree=31265120/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=140792 CPUtime=402.31 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 73367 0 0 0 39611 620 0 0 25 0 1 0 871078720 144171008 34474 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 35198 34474 717 1178 0 34016 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 140792
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13952
/proc/meminfo: memFree=31246232/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=161952 CPUtime=462.3 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 80880 0 0 0 45515 715 0 0 25 0 1 0 871078720 165838848 39240 33554432000 4194304 9016284 140734998172896 18446744073709551615 7219394 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 40488 39240 717 1178 0 39306 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 161952
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13954
/proc/meminfo: memFree=31226476/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=180844 CPUtime=522.3 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 85725 0 0 0 51416 814 0 0 25 0 1 0 871078720 185184256 44085 33554432000 4194304 9016284 140734998172896 18446744073709551615 5945560 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 45211 44085 717 1178 0 44029 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 180844
[startup+582.301 s]
/proc/loadavg: 2.07 2.02 1.93 3/175 13955
/proc/meminfo: memFree=31204232/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=200656 CPUtime=582.31 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 93274 0 0 0 57317 914 0 0 25 0 1 0 871078720 205471744 49043 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 50164 49043 717 1178 0 48982 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 200656
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31022836/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=367492 CPUtime=1122.33 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 139448 0 0 0 110408 1825 0 0 25 0 1 0 871078720 376311808 90145 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 91873 90145 717 1178 0 90691 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 367492
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13971
/proc/meminfo: memFree=31001340/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=387380 CPUtime=1182.33 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 144430 0 0 0 116301 1932 0 0 25 0 1 0 871078720 396677120 95125 33554432000 4194304 9016284 140734998172896 18446744073709551615 7220608 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 96845 95125 717 1178 0 95663 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 387380
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/175 13973
/proc/meminfo: memFree=30974388/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=410684 CPUtime=1242.33 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 150295 0 0 0 122195 2038 0 0 25 0 1 0 871078720 420540416 100990 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 102671 100990 717 1178 0 101489 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 410684
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 13978
/proc/meminfo: memFree=30957212/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=425124 CPUtime=1302.33 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 153966 0 0 0 128086 2147 0 0 25 0 1 0 871078720 435326976 104661 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 106281 104661 717 1178 0 105099 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 425124
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13979
/proc/meminfo: memFree=30936540/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=443936 CPUtime=1362.33 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 158730 0 0 0 133982 2251 0 0 25 0 1 0 871078720 454590464 109425 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 110984 109425 717 1178 0 109802 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 443936
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13981
/proc/meminfo: memFree=30918152/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=459788 CPUtime=1422.34 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 162756 0 0 0 139874 2360 0 0 25 0 1 0 871078720 470822912 113451 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 114947 113451 717 1178 0 113765 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 459788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13982
/proc/meminfo: memFree=30898632/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=478056 CPUtime=1482.33 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 167361 0 0 0 145765 2468 0 0 25 0 1 0 871078720 489529344 118056 33554432000 4194304 9016284 140734998172896 18446744073709551615 7158223 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 119514 118056 717 1178 0 118332 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 478056
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13984
/proc/meminfo: memFree=30880868/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=494420 CPUtime=1542.34 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 171536 0 0 0 151663 2571 0 0 25 0 1 0 871078720 506286080 122231 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 123605 122231 717 1178 0 122423 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 494420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13986
/proc/meminfo: memFree=30855304/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=517484 CPUtime=1602.34 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 177285 0 0 0 157553 2681 0 0 25 0 1 0 871078720 529903616 127977 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 129371 127977 717 1178 0 128189 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 517484
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.94 3/175 13987
/proc/meminfo: memFree=30833304/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=536000 CPUtime=1662.35 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 181966 0 0 0 163445 2790 0 0 25 0 1 0 871078720 548864000 132658 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 134000 132658 717 1178 0 132818 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 536000
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/175 13989
/proc/meminfo: memFree=30815284/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=553528 CPUtime=1722.35 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 188933 0 0 0 169333 2902 0 0 25 0 1 0 871078720 566812672 137077 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 138382 137077 717 1178 0 137200 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 553528
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13990
/proc/meminfo: memFree=30795152/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=569696 CPUtime=1782.35 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193025 0 0 0 175219 3016 0 0 25 0 1 0 871078720 583368704 141169 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 142424 141169 717 1178 0 141242 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 569696
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13991
/proc/meminfo: memFree=30795152/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=569696 CPUtime=1785.55 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193030 0 0 0 175533 3022 0 0 25 0 1 0 871078720 583368704 141174 33554432000 4194304 9016284 140734998172896 18446744073709551615 6403995 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 142424 141174 717 1178 0 141242 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 569696
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13991
/proc/meminfo: memFree=30793660/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=570596 CPUtime=1791.95 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193283 0 0 0 176163 3032 0 0 25 0 1 0 871078720 584290304 141427 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 142649 141427 717 1178 0 141467 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 570596
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13991
/proc/meminfo: memFree=30793040/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=571268 CPUtime=1795.15 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193461 0 0 0 176476 3039 0 0 25 0 1 0 871078720 584978432 141605 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 142817 141605 717 1178 0 141635 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 571268
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13991
/proc/meminfo: memFree=30791800/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=572156 CPUtime=1796.75 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193651 0 0 0 176633 3042 0 0 25 0 1 0 871078720 585887744 141795 33554432000 4194304 9016284 140734998172896 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13900/statm: 143039 141795 717 1178 0 141857 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 572156
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13991
/proc/meminfo: memFree=30790560/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=572296 CPUtime=1797.55 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193684 0 0 0 176713 3042 0 0 18 0 1 0 871078720 586031104 141828 33554432000 4194304 9016284 140734998172896 18446744073709551615 6812702 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13900/statm: 143074 141828 719 1178 0 141892 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 572296
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13991
/proc/meminfo: memFree=30790560/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=572296 CPUtime=1797.75 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193684 0 0 0 176733 3042 0 0 18 0 1 0 871078720 586031104 141828 33554432000 4194304 9016284 140734998172896 18446744073709551615 6812647 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13900/statm: 143074 141828 719 1178 0 141892 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 572296
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13991
/proc/meminfo: memFree=30790560/32951124 swapFree=67064580/67111528
[pid=13900] ppid=13898 vsize=572296 CPUtime=1797.85 cores=0,2,4,6
/proc/13900/stat : 13900 (scip-2.0.1.4b_2) R 13898 13900 13556 0 -1 4202496 193684 0 0 0 176743 3042 0 0 18 0 1 0 871078720 586031104 141828 33554432000 4194304 9016284 140734998172896 18446744073709551615 4329904 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13900/statm: 143074 141828 719 1178 0 141892 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 572296
Child status: 0
Real time (s): 1797.88
CPU time (s): 1797.94
CPU user time (s): 1767.49
CPU system time (s): 30.4524
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 572296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.49
system time used= 30.4524
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193689
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= 7
involuntary context switches= 3624
runsolver used 2.77258 second user time and 5.41018 second system time
The end