0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450713-1307109253.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.00/0.07 c (round 1) 0 del vars, 3262 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24696 impls, 199 clqs
0.00/0.08 c (round 2) 3062 del vars, 3262 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24696 impls, 0 clqs
0.00/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.09 c presolving (3 rounds):
0.00/0.09 c 3062 deleted vars, 3262 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.09 c 24696 implications, 0 cliques
0.00/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.09 c 200 constraints of type <knapsack>
0.00/0.09 c 100 constraints of type <setppc>
0.00/0.09 c 1 constraints of type <linear>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.06
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 2.0.1.5
0.00/0.09 c
0.00/0.09 c # frequency for displaying node information lines
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.09 c display/freq = 10000
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1800
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 13950
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify inequalities
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/linear/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/indicator/addCouplingCons = TRUE
0.00/0.09 c
0.00/0.09 c # should presolving try to simplify knapsacks
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c separating/rapidlearning/freq = 0
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/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.67 o -11
2.59/2.67 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.29/11.38 o -12
11.29/11.38 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.30/14.34 o -13
14.30/14.34 c C14.3s| 275 | 212 | 19122 | 66.1 |9121k| 21 | 33 | 200 | 303 | 200 | 301 | 0 | 2 |1063 |-4.776470e+01 |-1.300000e+01 | 72.78%
17.29/17.33 o -14
17.29/17.33 c l17.3s| 972 | 579 | 51967 | 52.5 | 10M| 62 | - | 200 | 315 | 200 | 301 | 0 | 17 |1088 |-4.171219e+01 |-1.400000e+01 | 66.44%
60.09/60.11 c 60.1s| 10000 | 8321 |618524 | 61.8 | 19M| 83 | 33 | 200 | 494 | 200 | 301 | 0 | 250 |1174 |-3.730156e+01 |-1.400000e+01 | 62.47%
96.09/96.10 c 96.1s| 20000 | 15743 | 1135k| 56.7 | 28M| 83 | - | 200 | 448 | 200 | 301 | 0 | 375 |1401 |-3.631568e+01 |-1.400000e+01 | 61.45%
130.78/130.84 c 131s| 30000 | 23101 | 1652k| 55.0 | 38M| 83 | 28 | 200 | 483 | 200 | 301 | 0 | 532 |1637 |-3.546905e+01 |-1.400000e+01 | 60.53%
161.18/161.23 c 161s| 40000 | 29861 | 2116k| 52.9 | 46M| 97 | 31 | 200 | 480 | 200 | 301 | 0 | 625 |1814 |-3.490781e+01 |-1.400000e+01 | 59.89%
188.68/188.79 c 189s| 50000 | 36043 | 2541k| 50.8 | 54M| 98 | - | 200 | 444 | 200 | 301 | 0 | 685 |1995 |-3.436774e+01 |-1.400000e+01 | 59.26%
214.98/215.05 c 215s| 60000 | 42049 | 2950k| 49.2 | 62M| 99 | 89 | 200 | 448 | 200 | 301 | 0 | 748 |2140 |-3.401627e+01 |-1.400000e+01 | 58.84%
239.58/239.60 c 240s| 70000 | 47695 | 3342k| 47.7 | 70M| 101 | - | 200 | 442 | 200 | 301 | 0 | 813 |2269 |-3.377216e+01 |-1.400000e+01 | 58.55%
262.28/262.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.28/262.35 c 262s| 80000 | 53003 | 3707k| 46.3 | 77M| 101 | 31 | 200 | 431 | 200 | 301 | 0 | 870 |2391 |-3.362003e+01 |-1.400000e+01 | 58.36%
284.68/284.72 c 285s| 90000 | 58333 | 4067k| 45.2 | 84M| 102 | 50 | 200 | 423 | 200 | 301 | 0 | 916 |2513 |-3.343349e+01 |-1.400000e+01 | 58.13%
306.58/306.68 c 307s|100000 | 63665 | 4422k| 44.2 | 91M| 102 | 43 | 200 | 424 | 200 | 301 | 0 | 964 |2630 |-3.330003e+01 |-1.400000e+01 | 57.96%
328.28/328.32 c 328s|110000 | 68903 | 4773k| 43.4 | 99M| 102 | 94 | 200 | 412 | 200 | 301 | 0 | 993 |2735 |-3.315532e+01 |-1.400000e+01 | 57.77%
351.08/351.17 c 351s|120000 | 74025 | 5125k| 42.7 | 106M| 103 | 30 | 200 | 404 | 200 | 301 | 0 |1020 |2856 |-3.304910e+01 |-1.400000e+01 | 57.64%
371.79/371.90 c 372s|130000 | 79109 | 5468k| 42.1 | 113M| 103 | 49 | 200 | 392 | 200 | 301 | 0 |1052 |2960 |-3.294999e+01 |-1.400000e+01 | 57.51%
392.58/392.69 c 393s|140000 | 84257 | 5811k| 41.5 | 120M| 103 | - | 200 | 396 | 200 | 301 | 0 |1090 |3049 |-3.283695e+01 |-1.400000e+01 | 57.37%
413.48/413.56 c 414s|150000 | 89523 | 6155k| 41.0 | 127M| 103 | - | 200 | 393 | 200 | 301 | 0 |1134 |3153 |-3.269176e+01 |-1.400000e+01 | 57.18%
433.68/433.76 c 434s|160000 | 94677 | 6491k| 40.6 | 134M| 104 | - | 200 | 377 | 200 | 301 | 0 |1158 |3235 |-3.255130e+01 |-1.400000e+01 | 56.99%
440.38/440.48 o -15
440.38/440.48 c v 440s|163356 | 77036 | 6602k| 40.4 | 110M| 104 | - | 200 | 377 | 200 | 301 | 0 |1174 |3267 |-3.252332e+01 |-1.500000e+01 | 53.88%
453.58/453.65 c 454s|170000 | 79892 | 6807k| 40.0 | 114M| 104 | - | 200 | 375 | 200 | 301 | 0 |1191 |3312 |-3.246123e+01 |-1.500000e+01 | 53.79%
472.49/472.57 c 473s|180000 | 84282 | 7107k| 39.5 | 121M| 104 | 32 | 200 | 382 | 200 | 301 | 0 |1239 |3392 |-3.237879e+01 |-1.500000e+01 | 53.67%
491.48/491.51 c 492s|190000 | 88584 | 7406k| 39.0 | 127M| 105 | 82 | 200 | 359 | 200 | 301 | 0 |1263 |3462 |-3.227785e+01 |-1.500000e+01 | 53.53%
510.18/510.26 c 510s|200000 | 92942 | 7707k| 38.5 | 133M| 105 | 25 | 200 | 361 | 200 | 301 | 0 |1296 |3531 |-3.218621e+01 |-1.500000e+01 | 53.40%
528.98/529.10 c 529s|210000 | 97274 | 8012k| 38.1 | 140M| 105 | 29 | 200 | 365 | 200 | 301 | 0 |1318 |3593 |-3.213359e+01 |-1.500000e+01 | 53.32%
547.59/547.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.59/547.61 c 548s|220000 |101592 | 8308k| 37.8 | 146M| 105 | 42 | 200 | 354 | 200 | 301 | 0 |1336 |3656 |-3.205195e+01 |-1.500000e+01 | 53.20%
566.08/566.16 c 566s|230000 |105790 | 8609k| 37.4 | 152M| 105 | 38 | 200 | 358 | 200 | 301 | 0 |1362 |3722 |-3.198733e+01 |-1.500000e+01 | 53.11%
584.39/584.47 c 584s|240000 |109912 | 8908k| 37.1 | 158M| 106 | 34 | 200 | 364 | 200 | 301 | 0 |1391 |3785 |-3.191860e+01 |-1.500000e+01 | 53.01%
602.69/602.75 c 603s|250000 |114096 | 9208k| 36.8 | 164M| 106 | 33 | 200 | 364 | 200 | 301 | 0 |1418 |3863 |-3.184882e+01 |-1.500000e+01 | 52.90%
620.89/620.93 c 621s|260000 |118294 | 9505k| 36.6 | 170M| 107 | 39 | 200 | 365 | 200 | 301 | 0 |1456 |3952 |-3.178288e+01 |-1.500000e+01 | 52.80%
638.69/638.76 c 639s|270000 |122484 | 9795k| 36.3 | 176M| 107 | - | 200 | 375 | 200 | 301 | 0 |1490 |4025 |-3.173158e+01 |-1.500000e+01 | 52.73%
656.70/656.74 c 657s|280000 |126596 | 10089k| 36.0 | 182M| 107 | 77 | 200 | 365 | 200 | 301 | 0 |1512 |4095 |-3.165630e+01 |-1.500000e+01 | 52.62%
674.40/674.48 c 674s|290000 |130672 | 10377k| 35.8 | 188M| 107 | 36 | 200 | 359 | 200 | 301 | 0 |1538 |4181 |-3.160811e+01 |-1.500000e+01 | 52.54%
692.01/692.04 c 692s|300000 |134850 | 10659k| 35.5 | 195M| 107 | 38 | 200 | 356 | 200 | 301 | 0 |1562 |4245 |-3.155754e+01 |-1.500000e+01 | 52.47%
709.89/709.92 c 710s|310000 |138968 | 10950k| 35.3 | 201M| 107 | 28 | 200 | 365 | 200 | 301 | 0 |1590 |4300 |-3.150156e+01 |-1.500000e+01 | 52.38%
727.21/727.22 c 727s|320000 |143044 | 11232k| 35.1 | 207M| 107 | - | 200 | 356 | 200 | 301 | 0 |1606 |4362 |-3.145209e+01 |-1.500000e+01 | 52.31%
744.39/744.48 c 744s|330000 |147054 | 11510k| 34.9 | 213M| 107 | 95 | 200 | 344 | 200 | 301 | 0 |1618 |4424 |-3.139598e+01 |-1.500000e+01 | 52.22%
761.39/761.41 c 761s|340000 |151052 | 11787k| 34.7 | 219M| 107 | - | 200 | 359 | 200 | 301 | 0 |1645 |4477 |-3.134886e+01 |-1.500000e+01 | 52.15%
778.69/778.73 c 779s|350000 |155130 | 12064k| 34.5 | 225M| 107 | 30 | 200 | 363 | 200 | 301 | 0 |1681 |4535 |-3.129087e+01 |-1.500000e+01 | 52.06%
795.69/795.70 c 796s|360000 |159068 | 12342k| 34.3 | 230M| 107 | - | 200 | 360 | 200 | 301 | 0 |1701 |4592 |-3.125308e+01 |-1.500000e+01 | 52.00%
812.39/812.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.39/812.48 c 812s|370000 |163064 | 12615k| 34.1 | 236M| 107 | - | 200 | 363 | 200 | 301 | 0 |1723 |4657 |-3.121623e+01 |-1.500000e+01 | 51.95%
829.51/829.59 c 830s|380000 |167114 | 12895k| 33.9 | 243M| 107 | 43 | 200 | 372 | 200 | 301 | 0 |1758 |4722 |-3.116562e+01 |-1.500000e+01 | 51.87%
846.20/846.27 c 846s|390000 |171062 | 13167k| 33.8 | 249M| 107 | 39 | 200 | 366 | 200 | 301 | 0 |1770 |4775 |-3.111455e+01 |-1.500000e+01 | 51.79%
862.79/862.82 c 863s|400000 |175008 | 13436k| 33.6 | 254M| 107 | - | 200 | 377 | 200 | 301 | 0 |1797 |4831 |-3.107950e+01 |-1.500000e+01 | 51.74%
879.49/879.54 c 880s|410000 |178962 | 13710k| 33.4 | 260M| 107 | 72 | 200 | 377 | 200 | 301 | 0 |1816 |4891 |-3.103184e+01 |-1.500000e+01 | 51.66%
896.29/896.39 c 896s|420000 |182960 | 13985k| 33.3 | 266M| 107 | 30 | 200 | 371 | 200 | 301 | 0 |1833 |4941 |-3.099039e+01 |-1.500000e+01 | 51.60%
912.80/912.89 c 913s|430000 |186816 | 14256k| 33.2 | 272M| 107 | 38 | 200 | 369 | 200 | 301 | 0 |1861 |4992 |-3.095253e+01 |-1.500000e+01 | 51.54%
929.51/929.55 c 930s|440000 |190712 | 14530k| 33.0 | 278M| 107 | - | 200 | 371 | 200 | 301 | 0 |1881 |5050 |-3.089711e+01 |-1.500000e+01 | 51.45%
946.19/946.22 c 946s|450000 |194654 | 14806k| 32.9 | 284M| 107 | 67 | 200 | 364 | 200 | 301 | 0 |1908 |5117 |-3.084658e+01 |-1.500000e+01 | 51.37%
962.40/962.49 c 962s|460000 |198466 | 15074k| 32.8 | 290M| 107 | - | 200 | 370 | 200 | 301 | 0 |1934 |5166 |-3.082206e+01 |-1.500000e+01 | 51.33%
978.70/978.71 c 979s|470000 |202274 | 15342k| 32.6 | 296M| 107 | 41 | 200 | 365 | 200 | 301 | 0 |1952 |5209 |-3.077800e+01 |-1.500000e+01 | 51.26%
995.00/995.06 c 995s|480000 |206118 | 15612k| 32.5 | 302M| 107 | - | 200 | 374 | 200 | 301 | 0 |1988 |5264 |-3.074478e+01 |-1.500000e+01 | 51.21%
1010.50/1010.52 c 1011s|490000 |209590 | 15869k| 32.4 | 307M| 110 | 38 | 200 | 367 | 200 | 301 | 0 |2004 |5303 |-3.072274e+01 |-1.500000e+01 | 51.18%
1025.50/1025.57 c 1026s|500000 |213092 | 16117k| 32.2 | 312M| 110 | - | 200 | 364 | 200 | 301 | 0 |2015 |5362 |-3.069721e+01 |-1.500000e+01 | 51.14%
1040.61/1040.65 c 1041s|510000 |216570 | 16368k| 32.1 | 318M| 110 | 33 | 200 | 371 | 200 | 301 | 0 |2037 |5414 |-3.066336e+01 |-1.500000e+01 | 51.08%
1055.60/1055.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.60/1055.60 c 1056s|520000 |220004 | 16616k| 32.0 | 323M| 110 | 38 | 200 | 373 | 200 | 301 | 0 |2058 |5456 |-3.063335e+01 |-1.500000e+01 | 51.03%
1070.89/1070.91 c 1071s|530000 |223468 | 16872k| 31.8 | 328M| 110 | - | 200 | 358 | 200 | 301 | 0 |2064 |5511 |-3.059838e+01 |-1.500000e+01 | 50.98%
1085.90/1085.97 c 1086s|540000 |226942 | 17120k| 31.7 | 334M| 110 | 47 | 200 | 354 | 200 | 301 | 0 |2078 |5564 |-3.056726e+01 |-1.500000e+01 | 50.93%
1100.80/1100.89 c 1101s|550000 |230334 | 17370k| 31.6 | 339M| 110 | 31 | 200 | 358 | 200 | 301 | 0 |2092 |5602 |-3.053453e+01 |-1.500000e+01 | 50.88%
1115.80/1115.88 c 1116s|560000 |233710 | 17618k| 31.5 | 344M| 110 | 29 | 200 | 369 | 200 | 301 | 0 |2119 |5666 |-3.050111e+01 |-1.500000e+01 | 50.82%
1131.00/1131.01 c 1131s|570000 |237060 | 17872k| 31.4 | 349M| 110 | - | 200 | 373 | 200 | 301 | 0 |2139 |5708 |-3.046827e+01 |-1.500000e+01 | 50.77%
1145.90/1145.92 c 1146s|580000 |240450 | 18121k| 31.2 | 355M| 112 | - | 200 | 383 | 200 | 301 | 0 |2167 |5745 |-3.044119e+01 |-1.500000e+01 | 50.72%
1160.80/1160.87 c 1161s|590000 |243814 | 18369k| 31.1 | 360M| 112 | - | 200 | 371 | 200 | 301 | 0 |2183 |5821 |-3.040468e+01 |-1.500000e+01 | 50.67%
1175.80/1175.89 c 1176s|600000 |247206 | 18621k| 31.0 | 365M| 112 | 33 | 200 | 385 | 200 | 301 | 0 |2216 |5854 |-3.037731e+01 |-1.500000e+01 | 50.62%
1190.81/1190.83 c 1191s|610000 |250572 | 18869k| 30.9 | 371M| 112 | 39 | 200 | 359 | 200 | 301 | 0 |2225 |5908 |-3.034167e+01 |-1.500000e+01 | 50.56%
1205.50/1205.58 c 1206s|620000 |253950 | 19114k| 30.8 | 376M| 112 | - | 200 | 368 | 200 | 301 | 0 |2250 |5949 |-3.031225e+01 |-1.500000e+01 | 50.52%
1220.30/1220.30 c 1220s|630000 |257238 | 19363k| 30.7 | 381M| 112 | - | 200 | 366 | 200 | 301 | 0 |2264 |6010 |-3.029063e+01 |-1.500000e+01 | 50.48%
1234.70/1234.77 c 1235s|640000 |260500 | 19606k| 30.6 | 386M| 112 | 35 | 200 | 363 | 200 | 301 | 0 |2281 |6034 |-3.027344e+01 |-1.500000e+01 | 50.45%
1249.10/1249.19 c 1249s|650000 |263766 | 19845k| 30.5 | 391M| 112 | 39 | 200 | 349 | 200 | 301 | 0 |2289 |6099 |-3.025512e+01 |-1.500000e+01 | 50.42%
1263.91/1263.92 c 1264s|660000 |267150 | 20093k| 30.4 | 396M| 112 | 34 | 200 | 373 | 200 | 301 | 0 |2320 |6129 |-3.022900e+01 |-1.500000e+01 | 50.38%
1278.61/1278.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.61/1278.61 c 1279s|670000 |270454 | 20339k| 30.4 | 402M| 112 | 31 | 200 | 357 | 200 | 301 | 0 |2329 |6192 |-3.020892e+01 |-1.500000e+01 | 50.35%
1293.10/1293.14 c 1293s|680000 |273758 | 20583k| 30.3 | 407M| 112 | 33 | 200 | 369 | 200 | 301 | 0 |2358 |6222 |-3.018946e+01 |-1.500000e+01 | 50.31%
1307.60/1307.65 c 1308s|690000 |277052 | 20826k| 30.2 | 412M| 112 | - | 200 | 369 | 200 | 301 | 0 |2376 |6273 |-3.016976e+01 |-1.500000e+01 | 50.28%
1321.90/1321.93 c 1322s|700000 |280312 | 21065k| 30.1 | 417M| 112 | - | 200 | 364 | 200 | 301 | 0 |2389 |6302 |-3.015271e+01 |-1.500000e+01 | 50.25%
1336.62/1336.64 c 1337s|710000 |283652 | 21312k| 30.0 | 422M| 114 | 26 | 200 | 360 | 200 | 301 | 0 |2401 |6348 |-3.013265e+01 |-1.500000e+01 | 50.22%
1351.01/1351.04 c 1351s|720000 |286998 | 21553k| 29.9 | 427M| 114 | 39 | 200 | 352 | 200 | 301 | 0 |2415 |6374 |-3.011019e+01 |-1.500000e+01 | 50.18%
1365.41/1365.40 c 1365s|730000 |290212 | 21796k| 29.9 | 432M| 114 | 86 | 200 | 353 | 200 | 301 | 0 |2433 |6423 |-3.009561e+01 |-1.500000e+01 | 50.16%
1379.53/1379.58 c 1380s|740000 |293448 | 22037k| 29.8 | 438M| 114 | 30 | 200 | 353 | 200 | 301 | 0 |2447 |6453 |-3.007957e+01 |-1.500000e+01 | 50.13%
1393.91/1393.99 c 1394s|750000 |296716 | 22280k| 29.7 | 443M| 115 | 70 | 200 | 354 | 200 | 301 | 0 |2463 |6488 |-3.006470e+01 |-1.500000e+01 | 50.11%
1408.31/1408.31 c 1408s|760000 |299924 | 22522k| 29.6 | 448M| 115 | - | 200 | 367 | 200 | 301 | 0 |2490 |6517 |-3.004648e+01 |-1.500000e+01 | 50.08%
1422.61/1422.66 c 1423s|770000 |303186 | 22764k| 29.6 | 453M| 115 | - | 200 | 359 | 200 | 301 | 0 |2503 |6560 |-3.002793e+01 |-1.500000e+01 | 50.05%
1436.91/1436.93 c 1437s|780000 |306438 | 23006k| 29.5 | 458M| 115 | 50 | 200 | 360 | 200 | 301 | 0 |2531 |6590 |-3.001005e+01 |-1.500000e+01 | 50.02%
1451.41/1451.43 c 1451s|790000 |309636 | 23251k| 29.4 | 463M| 115 | 55 | 200 | 365 | 200 | 301 | 0 |2551 |6636 |-2.999471e+01 |-1.500000e+01 | 49.99%
1465.61/1465.62 c 1466s|800000 |312746 | 23489k| 29.4 | 468M| 115 | 36 | 200 | 351 | 200 | 301 | 0 |2556 |6682 |-2.997700e+01 |-1.500000e+01 | 49.96%
1479.81/1479.82 c 1480s|810000 |315856 | 23732k| 29.3 | 473M| 115 | 68 | 200 | 346 | 200 | 301 | 0 |2572 |6706 |-2.995960e+01 |-1.500000e+01 | 49.93%
1494.21/1494.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.21/1494.23 c 1494s|820000 |319102 | 23976k| 29.2 | 478M| 115 | 33 | 200 | 348 | 200 | 301 | 0 |2585 |6758 |-2.993729e+01 |-1.500000e+01 | 49.90%
1508.23/1508.28 c 1508s|830000 |322294 | 24214k| 29.2 | 483M| 115 | 50 | 200 | 342 | 200 | 301 | 0 |2591 |6784 |-2.992108e+01 |-1.500000e+01 | 49.87%
1522.32/1522.40 c 1522s|840000 |325424 | 24454k| 29.1 | 488M| 115 | 26 | 200 | 351 | 200 | 301 | 0 |2609 |6824 |-2.990711e+01 |-1.500000e+01 | 49.84%
1536.22/1536.26 c 1536s|850000 |328570 | 24689k| 29.0 | 493M| 115 | 78 | 200 | 359 | 200 | 301 | 0 |2633 |6855 |-2.988835e+01 |-1.500000e+01 | 49.81%
1550.31/1550.35 c 1550s|860000 |331748 | 24927k| 29.0 | 498M| 115 | 88 | 200 | 357 | 200 | 301 | 0 |2654 |6884 |-2.986346e+01 |-1.500000e+01 | 49.77%
1564.61/1564.61 c 1565s|870000 |334914 | 25171k| 28.9 | 503M| 115 | 26 | 200 | 367 | 200 | 301 | 0 |2677 |6926 |-2.984173e+01 |-1.500000e+01 | 49.73%
1578.91/1578.92 c 1579s|880000 |338052 | 25418k| 28.9 | 508M| 115 | 33 | 200 | 358 | 200 | 301 | 0 |2685 |6945 |-2.982335e+01 |-1.500000e+01 | 49.70%
1593.01/1593.03 c 1593s|890000 |341124 | 25659k| 28.8 | 513M| 115 | 32 | 200 | 363 | 200 | 301 | 0 |2709 |6995 |-2.980982e+01 |-1.500000e+01 | 49.68%
1607.02/1607.10 c 1607s|900000 |344338 | 25898k| 28.8 | 518M| 115 | 40 | 200 | 363 | 200 | 301 | 0 |2722 |7019 |-2.979602e+01 |-1.500000e+01 | 49.66%
1621.31/1621.35 c 1621s|910000 |347570 | 26141k| 28.7 | 523M| 115 | 25 | 200 | 352 | 200 | 301 | 0 |2738 |7058 |-2.978131e+01 |-1.500000e+01 | 49.63%
1635.12/1635.16 c 1635s|920000 |350624 | 26376k| 28.7 | 528M| 116 | 44 | 200 | 351 | 200 | 301 | 0 |2747 |7081 |-2.976857e+01 |-1.500000e+01 | 49.61%
1649.21/1649.28 c 1649s|930000 |353850 | 26615k| 28.6 | 533M| 116 | 40 | 200 | 359 | 200 | 301 | 0 |2760 |7130 |-2.975581e+01 |-1.500000e+01 | 49.59%
1663.33/1663.36 c 1663s|940000 |357016 | 26855k| 28.6 | 538M| 116 | 37 | 200 | 348 | 200 | 301 | 0 |2767 |7165 |-2.974141e+01 |-1.500000e+01 | 49.57%
1677.31/1677.30 c 1677s|950000 |360118 | 27096k| 28.5 | 543M| 116 | 38 | 200 | 346 | 200 | 301 | 0 |2782 |7193 |-2.972875e+01 |-1.500000e+01 | 49.54%
1691.31/1691.35 c 1691s|960000 |363230 | 27337k| 28.5 | 548M| 116 | 51 | 200 | 352 | 200 | 301 | 0 |2799 |7229 |-2.971512e+01 |-1.500000e+01 | 49.52%
1705.22/1705.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.22/1705.25 c 1705s|970000 |366396 | 27572k| 28.4 | 553M| 116 | 35 | 200 | 347 | 200 | 301 | 0 |2817 |7263 |-2.969958e+01 |-1.500000e+01 | 49.49%
1719.22/1719.25 c 1719s|980000 |369564 | 27812k| 28.4 | 558M| 116 | - | 200 | 362 | 200 | 301 | 0 |2841 |7283 |-2.968301e+01 |-1.500000e+01 | 49.47%
1733.32/1733.30 c 1733s|990000 |372654 | 28051k| 28.3 | 563M| 116 | - | 200 | 357 | 200 | 301 | 0 |2856 |7336 |-2.966499e+01 |-1.500000e+01 | 49.44%
1747.02/1747.02 c 1747s| 1000k|375808 | 28286k| 28.3 | 568M| 116 | 40 | 200 | 362 | 200 | 301 | 0 |2868 |7361 |-2.965186e+01 |-1.500000e+01 | 49.41%
1760.91/1760.97 c 1761s| 1010k|378942 | 28525k| 28.2 | 573M| 116 | - | 200 | 353 | 200 | 301 | 0 |2878 |7395 |-2.963722e+01 |-1.500000e+01 | 49.39%
1774.62/1774.64 c 1775s| 1020k|381978 | 28760k| 28.2 | 578M| 116 | 34 | 200 | 361 | 200 | 301 | 0 |2903 |7423 |-2.962343e+01 |-1.500000e+01 | 49.36%
1788.41/1788.42 c 1788s| 1030k|385106 | 28997k| 28.2 | 582M| 116 | - | 200 | 363 | 200 | 301 | 0 |2927 |7457 |-2.960840e+01 |-1.500000e+01 | 49.34%
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Solving Time (sec) : 1800.00
1800.02/1800.00 c Solving Nodes : 1038415
1800.02/1800.00 c Primal Bound : -1.50000000000000e+01 (448 solutions)
1800.02/1800.00 c Dual Bound : -2.95950325080184e+01
1800.02/1800.00 c Gap : 49.32 %
1800.02/1800.01 s SATISFIABLE
1800.02/1800.01 v -x160 -x183 -x118 -x165 -x126 -x157 -x148 -x158 -x196 x181 -x167 -x156 -x142 -x131 -x198 -x197 -x163 -x137 -x110 -x171 -x107 -x103
1800.02/1800.01 v -x144 -x130 -x125 -x122 -x113 x119 -x159 -x192 x195 -x164 -x179 -x175 -x188 -x145 -x191 -x151 -x169 -x102 -x152 -x146 -x140
1800.02/1800.01 v -x135 -x112 -x105 x134 -x143 x190 x186 -x189 x123 -x194 x136 -x114 x138 -x154 x141 -x162 -x200 x109 x185 -x101 -x193 -x178
1800.02/1800.01 v -x172 -x170 x155 -x139 -x124 -x120 -x117 -x116 -x108 -x104 -x128 -x147 -x168 -x153 -x184 -x132 -x180 -x106 -x115 -x187 -x129
1800.02/1800.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
1800.02/1800.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
1800.02/1800.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
1800.02/1800.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 -x14
1800.02/1800.01 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Total Time : 1800.00
1800.02/1800.01 c solving : 1800.00
1800.02/1800.01 c presolving : 0.06 (included in solving)
1800.02/1800.01 c reading : 0.02 (included in solving)
1800.02/1800.01 c Original Problem :
1800.02/1800.01 c Problem name : HOME/instance-3450713-1307109253.opb
1800.02/1800.01 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.01 c Constraints : 3563 initial, 3563 maximal
1800.02/1800.01 c Presolved Problem :
1800.02/1800.01 c Problem name : t_HOME/instance-3450713-1307109253.opb
1800.02/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.01 c Constraints : 301 initial, 506 maximal
1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.02/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c dualfix : 0.00 3062 0 0 0 0 0 0 0 0
1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.02/1800.01 c pseudoboolean : 0.01 0 0 0 0 0 3262 0 0 0
1800.02/1800.01 c root node : - 0 - - 0 - - - - -
1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c integral : 0 0 0 723281 0 453 0 19 719 0 0 1445520
1800.02/1800.01 c knapsack : 200 1 1929411 0 1 448 57786 614 7691617 0 0 0
1800.02/1800.01 c setppc : 100 1 1921021 0 1 447 2865 0 303176 0 0 0
1800.02/1800.01 c linear : 1 1 1928797 0 0 447 2 591 6 0 0 0
1800.02/1800.01 c logicor : 0+ 0 416311 0 0 0 0 0 161 0 0 0
1800.02/1800.01 c countsols : 0 0 0 0 1 451 0 0 0 0 0 0
1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.02/1800.01 c integral : 45.72 0.00 0.00 45.72 0.00 0.00 0.00
1800.02/1800.01 c knapsack : 22.51 0.00 22.44 0.00 0.00 0.04 0.02
1800.02/1800.01 c setppc : 1.60 0.00 1.59 0.00 0.00 0.00 0.00
1800.02/1800.01 c linear : 1.59 0.00 1.58 0.00 0.00 0.00 0.00
1800.02/1800.01 c logicor : 0.69 0.00 0.69 0.00 0.00 0.00 0.00
1800.02/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.02/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.02/1800.01 c vbounds : 0 0 0 0
1800.02/1800.01 c rootredcost : 6 0 0 0
1800.02/1800.01 c pseudoobj : 1937250 1231 865 3938
1800.02/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.02/1800.01 c vbounds : 0.33 0.33 0.00
1800.02/1800.01 c rootredcost : 0.39 0.39 0.00
1800.02/1800.01 c pseudoobj : 6.28 6.27 0.01
1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.01 c propagation : 0.06 614 613 5073 56.6 0 0.0 -
1800.02/1800.01 c infeasible LP : 0.09 2089 2030 6743 27.5 0 0.0 0
1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.01 c applied globally : - - - 2809 15.8 - - -
1800.02/1800.01 c applied locally : - - - 128 40.3 - - -
1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.01 c redcost : 4.75 779295 0 98754 0 0
1800.02/1800.01 c impliedbounds : 0.00 1 0 0 0 0
1800.02/1800.01 c intobj : 0.00 0 0 0 0 0
1800.02/1800.01 c gomory : 0.02 1 0 0 0 0
1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.02/1800.01 c strongcg : 0.01 1 0 0 0 0
1800.02/1800.01 c cmir : 0.00 1 0 0 0 0
1800.02/1800.01 c flowcover : 0.00 1 0 0 0 0
1800.02/1800.01 c clique : 0.00 1 0 0 0 0
1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.01 c mcf : 0.00 1 0 0 0 0
1800.02/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.02/1800.01 c rapidlearning : 0.04 1 0 0 0 0
1800.02/1800.01 c Pricers : Time Calls Vars
1800.02/1800.01 c problem variables: 0.00 0 0
1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c relpscost : 45.32 723281 19 719 0 0 1445520
1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c random : 0.00 0 0 0 0 0 0
1800.02/1800.01 c Primal Heuristics : Time Calls Found
1800.02/1800.01 c LP solutions : 0.00 - 0
1800.02/1800.01 c pseudo solutions : 0.00 - 0
1800.02/1800.01 c feaspump : 0.01 0 0
1800.02/1800.01 c intshifting : 0.01 0 0
1800.02/1800.01 c oneopt : 0.25 6 0
1800.02/1800.01 c crossover : 4.46 18 6
1800.02/1800.01 c veclendiving : 6.24 1448 1
1800.02/1800.01 c coefdiving : 3.92 1448 0
1800.02/1800.01 c linesearchdiving : 4.33 1448 1
1800.02/1800.01 c guideddiving : 4.79 1448 0
1800.02/1800.01 c pscostdiving : 3.98 1448 0
1800.02/1800.01 c fracdiving : 4.45 1449 0
1800.02/1800.01 c rootsoldiving : 3.63 725 112
1800.02/1800.01 c objpscostdiving : 7.09 725 84
1800.02/1800.01 c trivial : 0.00 2 1
1800.02/1800.01 c shiftandpropagate: 0.00 0 0
1800.02/1800.01 c simplerounding : 0.15 0 0
1800.02/1800.01 c zirounding : 19.22 0 0
1800.02/1800.01 c rounding : 12.24 57134 2
1800.02/1800.01 c shifting : 21.92 48749 240
1800.02/1800.01 c twoopt : 0.00 0 0
1800.02/1800.01 c fixandinfer : 0.00 0 0
1800.02/1800.01 c clique : 0.00 0 0
1800.02/1800.01 c intdiving : 0.00 0 0
1800.02/1800.01 c actconsdiving : 0.00 0 0
1800.02/1800.01 c octane : 0.00 0 0
1800.02/1800.01 c rens : 0.01 0 0
1800.02/1800.01 c rins : 0.00 0 0
1800.02/1800.01 c localbranching : 0.00 0 0
1800.02/1800.01 c mutation : 0.00 0 0
1800.02/1800.01 c dins : 0.00 0 0
1800.02/1800.01 c vbounds : 0.00 0 0
1800.02/1800.01 c undercover : 0.00 0 0
1800.02/1800.01 c subnlp : 0.16 0 0
1800.02/1800.01 c trysol : 0.23 0 0
1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.01 c dual LP : 1530.31 1053836 28543593 27.09 18652.19
1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.01 c diving/probing LP: 31.43 117378 653603 5.57 20797.72
1800.02/1800.01 c strong branching : 35.19 7479 375688 50.23 10675.56
1800.02/1800.01 c (at root node) : - 25 5809 232.36 -
1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.01 c B&B Tree :
1800.02/1800.01 c number of runs : 1
1800.02/1800.01 c nodes : 1038415
1800.02/1800.01 c nodes (total) : 1038415
1800.02/1800.01 c nodes left : 387685
1800.02/1800.01 c max depth : 116
1800.02/1800.01 c max depth (total): 116
1800.02/1800.01 c backtracks : 71131 (6.8%)
1800.02/1800.01 c delayed cutoffs : 0
1800.02/1800.01 c repropagations : 224 (161 domain reductions, 0 cutoffs)
1800.02/1800.01 c avg switch length: 5.71
1800.02/1800.01 c switching time : 29.16
1800.02/1800.01 c Solution :
1800.02/1800.01 c Solutions found : 448 (8 improvements)
1800.02/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.02/1800.01 c Primal Bound : -1.50000000000000e+01 (in run 1, after 163356 nodes, 440.45 seconds, depth 64, found by <veclendiving>)
1800.02/1800.01 c Dual Bound : -2.95950325080184e+01
1800.02/1800.01 c Gap : 49.32 %
1800.02/1800.01 c Root Dual Bound : -5.00000000000000e+01
1800.02/1800.01 c Root Iterations : 1000
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450713-1307109253/watcher-3450713-1307109253 -o /tmp/evaluation-result-3450713-1307109253/solver-3450713-1307109253 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450713-1307109253.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.00 2.01 2.00 3/424 24889
/proc/meminfo: memFree=25599648/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=14900 CPUtime=0 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 2714 0 0 0 0 0 0 0 25 0 1 0 822523529 15257600 2668 33554432000 4194304 9163163 140734858786592 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24889/statm: 3725 2668 410 1214 0 2507 0
[startup+0.103249 s]
/proc/loadavg: 2.00 2.01 2.00 3/424 24889
/proc/meminfo: memFree=25599648/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=32464 CPUtime=0.09 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 7306 0 0 0 9 0 0 0 18 0 1 0 822523529 33243136 7002 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 8116 7002 656 1214 0 6898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32464
[startup+0.200241 s]
/proc/loadavg: 2.00 2.01 2.00 3/424 24889
/proc/meminfo: memFree=25599648/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=33680 CPUtime=0.19 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 7703 0 0 0 19 0 0 0 18 0 1 0 822523529 34488320 7342 33554432000 4194304 9163163 140734858786592 18446744073709551615 4816966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 8420 7342 667 1214 0 7202 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33680
[startup+0.300212 s]
/proc/loadavg: 2.00 2.01 2.00 3/424 24889
/proc/meminfo: memFree=25599648/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=41444 CPUtime=0.29 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 11124 0 0 0 28 1 0 0 18 0 1 0 822523529 42438656 9370 33554432000 4194304 9163163 140734858786592 18446744073709551615 7379386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 10361 9370 731 1214 0 9143 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41444
[startup+0.70014 s]
/proc/loadavg: 2.00 2.01 2.00 3/424 24889
/proc/meminfo: memFree=25599648/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=41444 CPUtime=0.68 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 11125 0 0 0 67 1 0 0 18 0 1 0 822523529 42438656 9371 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 10361 9371 732 1214 0 9143 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 41444
[startup+1.50099 s]
/proc/loadavg: 2.00 2.01 2.00 2/423 24891
/proc/meminfo: memFree=25922800/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=41444 CPUtime=1.49 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 11125 0 0 0 145 4 0 0 19 0 1 0 822523529 42438656 9371 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 10361 9371 732 1214 0 9143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41444
[startup+3.1007 s]
/proc/loadavg: 2.00 2.01 2.00 2/423 24891
/proc/meminfo: memFree=25921808/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=41444 CPUtime=3.09 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 11127 0 0 0 299 10 0 0 24 0 1 0 822523529 42438656 9373 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 10361 9373 734 1214 0 9143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41444
[startup+6.30013 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24918
/proc/meminfo: memFree=25878076/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=41444 CPUtime=6.28 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 11127 0 0 0 611 17 0 0 25 0 1 0 822523529 42438656 9373 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 10361 9373 734 1214 0 9143 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41444
[startup+12.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24918
/proc/meminfo: memFree=25877192/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=41444 CPUtime=12.69 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 11130 0 0 0 1231 38 0 0 25 0 1 0 822523529 42438656 9376 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 10361 9376 737 1214 0 9143 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41444
[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24919
/proc/meminfo: memFree=25876472/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=41444 CPUtime=25.49 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 12642 0 0 0 2453 96 0 0 25 0 1 0 822523529 42438656 9419 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 10361 9419 743 1214 0 9143 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41444
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24919
/proc/meminfo: memFree=25866436/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=51244 CPUtime=51.09 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 16935 0 0 0 4862 247 0 0 25 0 1 0 822523529 52473856 11888 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 12811 11888 743 1214 0 11593 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51244
[startup+102.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/425 24921
/proc/meminfo: memFree=25854920/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=61616 CPUtime=102.3 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 25120 0 0 0 9669 561 0 0 25 0 1 0 822523529 63094784 14490 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24889/statm: 15404 14490 743 1214 0 14186 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 61616
[startup+162.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 24922
/proc/meminfo: memFree=25832948/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=80960 CPUtime=162.27 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 32884 0 0 0 15290 937 0 0 25 0 1 0 822523529 82903040 19369 33554432000 4194304 9163163 140734858786592 18446744073709551615 7379427 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 20240 19369 743 1214 0 19022 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 80960
[startup+222.316 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24924
/proc/meminfo: memFree=25811848/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=102116 CPUtime=222.29 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 39729 0 0 0 20911 1318 0 0 25 0 1 0 822523529 104566784 24720 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 25529 24720 743 1214 0 24311 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 102116
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24926
/proc/meminfo: memFree=25789880/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=123128 CPUtime=282.28 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 45015 0 0 0 26507 1721 0 0 25 0 1 0 822523529 126083072 30006 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 30782 30006 743 1214 0 29564 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 123128
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24927
/proc/meminfo: memFree=25765292/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=148636 CPUtime=342.28 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 56517 0 0 0 32094 2134 0 0 25 0 1 0 822523529 152203264 35903 33554432000 4194304 9163163 140734858786592 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 37159 35903 743 1214 0 35941 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 148636
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24929
/proc/meminfo: memFree=25743828/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=168548 CPUtime=402.28 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 61599 0 0 0 37696 2532 0 0 25 0 1 0 822523529 172593152 40985 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 42137 40985 743 1214 0 40919 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 168548
[startup+462.301 s]
/proc/loadavg: 2.23 2.06 2.02 3/425 24939
/proc/meminfo: memFree=25724496/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=184512 CPUtime=462.29 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 74665 0 0 0 43281 2948 0 0 25 0 1 0 822523529 188940288 44973 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 46128 44973 743 1214 0 44910 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 184512
[startup+522.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/425 24941
/proc/meminfo: memFree=25721108/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=188004 CPUtime=522.28 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 80444 0 0 0 48886 3342 0 0 25 0 1 0 822523529 192516096 45820 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 47001 45820 743 1214 0 45783 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 188004
[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/425 24943
/proc/meminfo: memFree=25703704/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=203952 CPUtime=582.29 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 89599 0 0 0 54489 3740 0 0 25 0 1 0 822523529 208846848 49905 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 50988 49905 743 1214 0 49770 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 203952
[startup+642.3 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24954
/proc/meminfo: memFree=25575844/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=312868 CPUtime=882.31 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 121675 0 0 0 82451 5780 0 0 25 0 1 0 822523529 320376832 77376 33554432000 4194304 9163163 140734858786592 18446744073709551615 6889495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 78217 77376 743 1214 0 76999 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 312868
[startup+942.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/425 24955
/proc/meminfo: memFree=25555484/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=332692 CPUtime=942.3 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 126672 0 0 0 88042 6188 0 0 25 0 1 0 822523529 340676608 82373 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 83173 82373 743 1214 0 81955 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 332692
[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/425 24957
/proc/meminfo: memFree=25533264/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=357924 CPUtime=1002.3 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 131999 0 0 0 93623 6607 0 0 25 0 1 0 822523529 366514176 87700 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 89481 87700 743 1214 0 88263 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 357924
[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/425 24958
/proc/meminfo: memFree=25509420/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=379644 CPUtime=1062.3 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 137479 0 0 0 99206 7024 0 0 25 0 1 0 822523529 388755456 93180 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 94911 93180 743 1214 0 93693 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 379644
[startup+1122.3 s]
/proc/loadavg: 2.22 2.10 2.03 3/425 24960
/proc/meminfo: memFree=25477404/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=405724 CPUtime=1122.3 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 144072 0 0 0 104794 7436 0 0 25 0 1 0 822523529 415461376 99773 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 101431 99773 743 1214 0 100213 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 405724
[startup+1182.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/425 24962
/proc/meminfo: memFree=25455408/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=423912 CPUtime=1182.31 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 148730 0 0 0 110380 7851 0 0 25 0 1 0 822523529 434085888 104431 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 105978 104431 743 1214 0 104760 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 423912
[startup+1242.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/425 24963
/proc/meminfo: memFree=25429704/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=444344 CPUtime=1242.3 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 153855 0 0 0 115955 8275 0 0 25 0 1 0 822523529 455008256 109556 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 111086 109556 743 1214 0 109868 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 444344
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 24965
/proc/meminfo: memFree=25406232/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=462800 CPUtime=1302.3 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 158490 0 0 0 121533 8697 0 0 25 0 1 0 822523529 473907200 114191 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 115700 114191 743 1214 0 114482 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 462800
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 24966
/proc/meminfo: memFree=25384372/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=482960 CPUtime=1362.31 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 163583 0 0 0 127122 9109 0 0 25 0 1 0 822523529 494551040 119284 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 120740 119284 743 1214 0 119522 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 482960
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24968
/proc/meminfo: memFree=25359412/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=504664 CPUtime=1422.32 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 169882 0 0 0 132696 9536 0 0 25 0 1 0 822523529 516775936 124751 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 126166 124751 743 1214 0 124948 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 504664
[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/425 24970
/proc/meminfo: memFree=25327892/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=532640 CPUtime=1482.31 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 176977 0 0 0 138273 9958 0 0 25 0 1 0 822523529 545423360 131846 33554432000 4194304 9163163 140734858786592 18446744073709551615 5927513 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 133160 131846 743 1214 0 131942 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 532640
[startup+1542.32 s]
/proc/loadavg: 2.11 2.06 2.01 3/425 24971
/proc/meminfo: memFree=25312240/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=548188 CPUtime=1542.33 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 180872 0 0 0 143849 10384 0 0 25 0 1 0 822523529 561344512 135741 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 137047 135741 743 1214 0 135829 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 548188
[startup+1602.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/425 24973
/proc/meminfo: memFree=25286292/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=569876 CPUtime=1602.31 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 186349 0 0 0 149412 10819 0 0 25 0 1 0 822523529 583553024 141218 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 142469 141218 743 1214 0 141251 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 569876
[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/425 24974
/proc/meminfo: memFree=25266920/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=587124 CPUtime=1662.31 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 190715 0 0 0 154987 11244 0 0 25 0 1 0 822523529 601214976 145584 33554432000 4194304 9163163 140734858786592 18446744073709551615 7379298 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 146781 145584 743 1214 0 145563 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 587124
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/425 24976
/proc/meminfo: memFree=25243076/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=609388 CPUtime=1722.32 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 196333 0 0 0 160566 11666 0 0 25 0 1 0 822523529 624013312 151202 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 152347 151202 743 1214 0 151129 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 609388
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 24978
/proc/meminfo: memFree=25222580/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=625244 CPUtime=1782.32 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 200403 0 0 0 166138 12094 0 0 25 0 1 0 822523529 640249856 155272 33554432000 4194304 9163163 140734858786592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24889/statm: 156311 155272 743 1214 0 155093 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 625244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24978
/proc/meminfo: memFree=25211660/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=636564 CPUtime=1800.03 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 203189 0 0 0 167778 12225 0 0 25 0 1 0 822523529 651841536 158058 33554432000 4194304 9163163 140734858786592 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24889/statm: 159141 158058 745 1214 0 157923 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 636564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24978
/proc/meminfo: memFree=25211660/32951124 swapFree=44043512/67111528
[pid=24889] ppid=24887 vsize=636564 CPUtime=1800.03 cores=1,3,5,7
/proc/24889/stat : 24889 (scip-2.0.1.4b.l) R 24887 24889 23890 0 -1 4202496 203189 0 0 0 167778 12225 0 0 25 0 1 0 822523529 651841536 158058 33554432000 4194304 9163163 140734858786592 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24889/statm: 159141 158058 745 1214 0 157923 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 636564
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.07
CPU user time (s): 1677.79
CPU system time (s): 122.28
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 636564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1677.79
system time used= 122.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203190
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= 6
involuntary context switches= 1567
runsolver used 7.13091 second user time and 17.4084 second system time
The end