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-3488572-1307783027.opb>
0.00/0.02 c original problem has 3659 variables (3659 bin, 0 int, 0 impl, 0 cont) and 4159 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.06/0.07 c (round 1) 3159 del vars, 1000 del conss, 0 add conss, 3159 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12636 impls, 0 clqs
0.06/0.07 c (round 2) 3159 del vars, 1000 del conss, 0 add conss, 3159 chg bounds, 0 chg sides, 0 chg coeffs, 3159 upgd conss, 12636 impls, 0 clqs
0.06/0.09 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.09 c presolving (3 rounds):
0.06/0.09 c 3159 deleted vars, 1000 deleted constraints, 0 added constraints, 3159 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.09 c 18952 implications, 0 cliques
0.06/0.09 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3159 constraints
0.06/0.09 c 3159 constraints of type <setppc>
0.06/0.09 c transformed objective value is always integral (scale: 1)
0.06/0.09 c Presolving Time: 0.06
0.06/0.09 c - non default parameters ----------------------------------------------------------------------
0.06/0.09 c # SCIP version 2.0.1.5
0.06/0.09 c
0.06/0.09 c # frequency for displaying node information lines
0.06/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.09 c display/freq = 10000
0.06/0.09 c
0.06/0.09 c # maximal time in seconds to run
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/time = 1797
0.06/0.09 c
0.06/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/memory = 13950
0.06/0.09 c
0.06/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.06/0.09 c # [type: int, range: [1,2], default: 1]
0.06/0.09 c timing/clocktype = 2
0.06/0.09 c
0.06/0.09 c # belongs reading time to solving time?
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c timing/reading = TRUE
0.06/0.09 c
0.06/0.09 c # should presolving try to simplify inequalities
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/linear/simplifyinequalities = TRUE
0.06/0.09 c
0.06/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/indicator/addCouplingCons = TRUE
0.06/0.09 c
0.06/0.09 c # should presolving try to simplify knapsacks
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.09 c
0.06/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.09 c separating/rapidlearning/freq = 0
0.06/0.09 c
0.06/0.09 c -----------------------------------------------------------------------------------------------
0.06/0.09 c start solving
0.06/0.09 c
0.09/0.12 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.12 c t 0.1s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.09/0.13 o -1
0.09/0.13 c R 0.1s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.09/0.14 o -2
0.09/0.14 c s 0.1s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.19/0.23 o -81
0.19/0.23 c y 0.2s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3159 | 500 |3159 | 0 | 0 | 0 |-2.500000e+02 |-8.100000e+01 | 67.60%
0.19/0.26 c 0.3s| 1 | 0 | 772 | - | 11M| 0 | 487 | 500 |3159 | 500 |3173 | 14 | 0 | 0 |-2.435000e+02 |-8.100000e+01 | 66.74%
0.29/0.35 c 0.4s| 1 | 0 | 986 | - | 11M| 0 | 476 | 500 |3159 | 500 |3185 | 26 | 0 | 0 |-2.380000e+02 |-8.100000e+01 | 65.97%
0.39/0.43 c 0.4s| 1 | 0 | 1100 | - | 11M| 0 | 471 | 500 |3159 | 500 |3195 | 36 | 0 | 0 |-2.355000e+02 |-8.100000e+01 | 65.61%
0.49/0.52 c 0.5s| 1 | 0 | 1214 | - | 11M| 0 | 466 | 500 |3159 | 500 |3207 | 48 | 0 | 0 |-2.330000e+02 |-8.100000e+01 | 65.24%
0.59/0.61 c 0.6s| 1 | 0 | 1421 | - | 11M| 0 | 457 | 500 |3159 | 500 |3220 | 61 | 0 | 0 |-2.285000e+02 |-8.100000e+01 | 64.55%
0.69/0.73 c 0.7s| 1 | 0 | 1748 | - | 11M| 0 | 454 | 500 |3159 | 500 |3230 | 71 | 0 | 0 |-2.270000e+02 |-8.100000e+01 | 64.32%
0.79/0.86 c 0.9s| 1 | 0 | 1832 | - | 12M| 0 | 455 | 500 |3159 | 500 |3238 | 79 | 0 | 0 |-2.260000e+02 |-8.100000e+01 | 64.16%
1.10/1.14 c 1.1s| 1 | 0 | 2869 | - | 13M| 0 | 452 | 500 |3159 | 500 |3250 | 91 | 0 | 0 |-2.245000e+02 |-8.100000e+01 | 63.92%
1.29/1.30 c 1.3s| 1 | 0 | 3428 | - | 13M| 0 | 447 | 500 |3159 | 500 |3260 | 101 | 0 | 0 |-2.230000e+02 |-8.100000e+01 | 63.68%
1.49/1.58 c 1.6s| 1 | 0 | 4928 | - | 13M| 0 | 443 | 500 |3159 | 500 |3273 | 114 | 0 | 0 |-2.197500e+02 |-8.100000e+01 | 63.14%
1.69/1.79 c 1.8s| 1 | 0 | 5408 | - | 14M| 0 | 437 | 500 |3159 | 500 | 958 | 124 | 0 | 0 |-2.185000e+02 |-8.100000e+01 | 62.93%
1.89/1.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.91 c 1.9s| 1 | 0 | 5699 | - | 15M| 0 | 433 | 500 |3159 | 500 | 967 | 133 | 0 | 0 |-2.172500e+02 |-8.100000e+01 | 62.72%
1.99/2.00 c 2.0s| 1 | 0 | 6220 | - | 15M| 0 | 418 | 500 |3159 | 500 | 997 | 163 | 0 | 0 |-2.160000e+02 |-8.100000e+01 | 62.50%
2.09/2.14 c 2.1s| 1 | 0 | 7444 | - | 15M| 0 | 460 | 500 |3159 | 500 |1054 | 220 | 0 | 0 |-2.130556e+02 |-8.100000e+01 | 61.98%
2.19/2.26 c 2.3s| 1 | 0 | 7903 | - | 15M| 0 | 427 | 500 |3159 | 500 |1233 | 399 | 0 | 0 |-2.117500e+02 |-8.100000e+01 | 61.75%
2.29/2.37 c 2.4s| 1 | 0 | 8365 | - | 15M| 0 | 447 | 500 |3159 | 500 |1261 | 427 | 0 | 0 |-2.098750e+02 |-8.100000e+01 | 61.41%
2.49/2.51 c 2.5s| 1 | 0 | 8972 | - | 17M| 0 | 439 | 500 |3159 | 500 |1124 | 533 | 0 | 0 |-2.087500e+02 |-8.100000e+01 | 61.20%
2.59/2.64 c 2.6s| 1 | 0 | 9472 | - | 18M| 0 | 418 | 500 |3159 | 500 |1156 | 565 | 0 | 0 |-2.075000e+02 |-8.100000e+01 | 60.96%
2.69/2.77 c 2.8s| 1 | 0 | 9751 | - | 19M| 0 | 443 | 500 |3159 | 500 |1203 | 612 | 0 | 0 |-2.071389e+02 |-8.100000e+01 | 60.90%
2.89/2.95 c 2.9s| 1 | 0 | 10669 | - | 19M| 0 | 438 | 500 |3159 | 500 |1283 | 692 | 0 | 0 |-2.053750e+02 |-8.100000e+01 | 60.56%
2.99/3.04 c 3.0s| 1 | 0 | 10954 | - | 19M| 0 | 406 | 500 |3159 | 500 |1340 | 749 | 0 | 0 |-2.050000e+02 |-8.100000e+01 | 60.49%
3.09/3.13 c 3.1s| 1 | 0 | 11476 | - | 19M| 0 | 428 | 500 |3159 | 500 |1365 | 774 | 0 | 0 |-2.047500e+02 |-8.100000e+01 | 60.44%
3.19/3.21 c 3.2s| 1 | 0 | 11827 | - | 19M| 0 | 427 | 500 |3159 | 500 |1129 | 781 | 0 | 0 |-2.040000e+02 |-8.100000e+01 | 60.29%
3.30/3.37 c 3.4s| 1 | 0 | 12905 | - | 21M| 0 | 435 | 500 |3159 | 500 |1167 | 819 | 0 | 0 |-2.035417e+02 |-8.100000e+01 | 60.20%
3.39/3.48 c 3.5s| 1 | 0 | 13440 | - | 21M| 0 | 425 | 500 |3159 | 500 |1240 | 892 | 0 | 0 |-2.028750e+02 |-8.100000e+01 | 60.07%
3.49/3.59 c 3.6s| 1 | 0 | 14014 | - | 21M| 0 | 446 | 500 |3159 | 500 |1278 | 930 | 0 | 0 |-2.023125e+02 |-8.100000e+01 | 59.96%
3.69/3.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.69/3.74 c 3.7s| 1 | 0 | 15030 | - | 21M| 0 | 467 | 500 |3159 | 500 |1304 | 956 | 0 | 0 |-2.015000e+02 |-8.100000e+01 | 59.80%
3.89/3.90 c 3.9s| 1 | 0 | 15617 | - | 22M| 0 | 437 | 500 |3159 | 500 |1459 |1111 | 0 | 0 |-2.000000e+02 |-8.100000e+01 | 59.50%
3.99/4.03 c 4.0s| 1 | 0 | 16582 | - | 22M| 0 | 462 | 500 |3159 | 500 |1092 |1135 | 0 | 0 |-1.992969e+02 |-8.100000e+01 | 59.36%
4.09/4.15 c 4.2s| 1 | 0 | 17303 | - | 22M| 0 | 460 | 500 |3159 | 500 |1144 |1187 | 0 | 0 |-1.978750e+02 |-8.100000e+01 | 59.07%
4.19/4.30 c 4.3s| 1 | 0 | 18091 | - | 23M| 0 | 427 | 500 |3159 | 500 |1238 |1281 | 0 | 0 |-1.972500e+02 |-8.100000e+01 | 58.94%
4.29/4.40 c 4.4s| 1 | 0 | 18383 | - | 23M| 0 | 429 | 500 |3159 | 500 |1323 |1366 | 0 | 0 |-1.972500e+02 |-8.100000e+01 | 58.94%
4.50/4.50 c 4.5s| 1 | 0 | 18811 | - | 23M| 0 | 397 | 500 |3159 | 500 |1341 |1384 | 0 | 0 |-1.970000e+02 |-8.100000e+01 | 58.88%
4.69/4.74 c 4.7s| 1 | 0 | 20546 | - | 24M| 0 | 444 | 500 |3159 | 500 |1363 |1406 | 0 | 0 |-1.962500e+02 |-8.100000e+01 | 58.73%
4.79/4.88 c 4.9s| 1 | 0 | 21287 | - | 24M| 0 | 449 | 500 |3159 | 500 |1152 |1432 | 0 | 0 |-1.957500e+02 |-8.100000e+01 | 58.62%
4.99/5.03 c 5.0s| 1 | 0 | 22199 | - | 25M| 0 | 426 | 500 |3159 | 500 |1167 |1447 | 0 | 0 |-1.950833e+02 |-8.100000e+01 | 58.48%
5.10/5.13 c 5.1s| 1 | 0 | 22739 | - | 25M| 0 | 448 | 500 |3159 | 500 |1189 |1469 | 0 | 0 |-1.946071e+02 |-8.100000e+01 | 58.38%
5.29/5.33 c 5.3s| 1 | 0 | 24120 | - | 25M| 0 | 462 | 500 |3159 | 500 |1243 |1523 | 0 | 0 |-1.944018e+02 |-8.100000e+01 | 58.33%
5.39/5.45 c 5.5s| 1 | 0 | 24596 | - | 26M| 0 | 454 | 500 |3159 | 500 |1286 |1566 | 0 | 0 |-1.937500e+02 |-8.100000e+01 | 58.19%
5.50/5.59 c 5.6s| 1 | 0 | 25332 | - | 26M| 0 | 420 | 500 |3159 | 500 |1356 |1636 | 0 | 0 |-1.935000e+02 |-8.100000e+01 | 58.14%
5.69/5.75 c 5.8s| 1 | 0 | 26212 | - | 27M| 0 | 415 | 500 |3159 | 500 |1008 |1646 | 0 | 0 |-1.932917e+02 |-8.100000e+01 | 58.09%
5.79/5.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.79/5.88 c 5.9s| 1 | 0 | 27050 | - | 27M| 0 | 465 | 500 |3159 | 500 |1041 |1679 | 0 | 0 |-1.931173e+02 |-8.100000e+01 | 58.06%
5.99/6.03 c 6.0s| 1 | 0 | 27918 | - | 28M| 0 | 457 | 500 |3159 | 500 |1136 |1774 | 0 | 0 |-1.929168e+02 |-8.100000e+01 | 58.01%
6.09/6.14 c 6.1s| 1 | 0 | 28287 | - | 28M| 0 | 456 | 500 |3159 | 500 |1219 |1857 | 0 | 0 |-1.928381e+02 |-8.100000e+01 | 58.00%
6.20/6.26 c 6.3s| 1 | 0 | 28730 | - | 29M| 0 | 465 | 500 |3159 | 500 |1246 |1884 | 0 | 0 |-1.924533e+02 |-8.100000e+01 | 57.91%
6.29/6.39 c 6.4s| 1 | 0 | 29118 | - | 29M| 0 | 473 | 500 |3159 | 500 |1278 |1916 | 0 | 0 |-1.922942e+02 |-8.100000e+01 | 57.88%
6.50/6.54 c 6.5s| 1 | 0 | 29578 | - | 29M| 0 | 466 | 500 |3159 | 500 |1137 |1949 | 0 | 0 |-1.921501e+02 |-8.100000e+01 | 57.85%
6.59/6.67 c 6.7s| 1 | 0 | 30151 | - | 29M| 0 | 475 | 500 |3159 | 500 |1152 |1964 | 0 | 0 |-1.920627e+02 |-8.100000e+01 | 57.83%
6.79/6.80 c 6.8s| 1 | 0 | 30595 | - | 29M| 0 | 453 | 500 |3159 | 500 |1238 |2050 | 0 | 0 |-1.919280e+02 |-8.100000e+01 | 57.80%
6.89/6.96 c 7.0s| 1 | 0 | 31314 | - | 29M| 0 | 474 | 500 |3159 | 500 |1272 |2084 | 0 | 0 |-1.917183e+02 |-8.100000e+01 | 57.75%
6.99/7.08 c 7.1s| 1 | 0 | 31746 | - | 30M| 0 | 484 | 500 |3159 | 500 |1325 |2137 | 0 | 0 |-1.916210e+02 |-8.100000e+01 | 57.73%
7.19/7.29 c 7.3s| 1 | 0 | 32689 | - | 31M| 0 | 492 | 500 |3159 | 500 |1356 |2168 | 0 | 0 |-1.914939e+02 |-8.100000e+01 | 57.70%
7.39/7.48 c 7.5s| 1 | 0 | 33120 | - | 31M| 0 | 488 | 500 |3159 | 500 |1111 |2205 | 0 | 0 |-1.914418e+02 |-8.100000e+01 | 57.69%
7.60/7.62 c 7.6s| 1 | 0 | 33396 | - | 31M| 0 | 485 | 500 |3159 | 500 |1132 |2226 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
7.70/7.79 c 7.8s| 1 | 0 | 33641 | - | 31M| 0 | 486 | 500 |3159 | 500 |1227 |2321 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
7.89/7.96 c 8.0s| 1 | 0 | 33883 | - | 31M| 0 | 488 | 500 |3159 | 500 |1240 |2334 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
8.09/8.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.14 c 8.1s| 1 | 0 | 34296 | - | 31M| 0 | 471 | 500 |3159 | 500 |1256 |2350 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
8.29/8.32 c 8.3s| 1 | 0 | 34858 | - | 31M| 0 | 480 | 500 |3159 | 500 |1279 |2373 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
8.39/8.49 c 8.5s| 1 | 0 | 35277 | - | 31M| 0 | 460 | 500 |3159 | 500 |1131 |2381 | 0 | 0 |-1.910000e+02 |-8.100000e+01 | 57.59%
10.29/10.32 c 10.3s| 1 | 2 | 35277 | - | 31M| 0 | 460 | 500 |3159 | 500 |1131 |2381 | 0 | 18 |-1.910000e+02 |-8.100000e+01 | 57.59%
131.79/131.86 c 132s| 10000 | 10001 | 1786k| 175.2 | 50M| 37 | 2 | 500 |3159 | 500 | 490 | 747k| 0 |6078 |-1.910000e+02 |-8.100000e+01 | 57.59%
245.30/245.34 c 245s| 20000 | 20001 | 3603k| 178.4 | 67M| 42 | 176 | 500 |3159 | 500 | 745 |1508k| 0 |8588 |-1.910000e+02 |-8.100000e+01 | 57.59%
342.00/342.01 c 342s| 30000 | 30001 | 5141k| 170.2 | 86M| 62 | 126 | 500 |3159 | 500 | 586 |2065k| 0 | 10k|-1.910000e+02 |-8.100000e+01 | 57.59%
433.30/433.35 c 433s| 40000 | 40001 | 6602k| 164.2 | 104M| 62 | 118 | 500 |3159 | 500 | 585 |2612k| 0 | 11k|-1.910000e+02 |-8.100000e+01 | 57.59%
515.70/515.73 c 516s| 50000 | 50001 | 7962k| 158.5 | 122M| 62 | 55 | 500 |3159 | 500 | 490 |3147k| 0 | 12k|-1.910000e+02 |-8.100000e+01 | 57.59%
598.50/598.52 c 599s| 60000 | 60001 | 9338k| 155.1 | 140M| 62 | 12 | 500 |3159 | 500 | 490 |3686k| 0 | 13k|-1.910000e+02 |-8.100000e+01 | 57.59%
682.91/682.90 c 683s| 70000 | 70001 | 10730k| 152.8 | 159M| 62 | 207 | 500 |3159 | 500 | 585 |4223k| 0 | 14k|-1.910000e+02 |-8.100000e+01 | 57.59%
767.72/767.79 c 768s| 80000 | 80001 | 12140k| 151.3 | 177M| 62 | 231 | 500 |3159 | 500 | 770 |4762k| 0 | 15k|-1.910000e+02 |-8.100000e+01 | 57.59%
855.91/855.96 c 856s| 90000 | 90001 | 13593k| 150.6 | 195M| 62 | 292 | 500 |3159 | 500 | 776 |5291k| 0 | 16k|-1.910000e+02 |-8.100000e+01 | 57.59%
944.01/944.08 c 944s|100000 |100001 | 15056k| 150.2 | 213M| 62 | 27 | 500 |3159 | 500 | 588 |5805k| 0 | 16k|-1.910000e+02 |-8.100000e+01 | 57.59%
1027.21/1027.22 c 1027s|110000 |110001 | 16452k| 149.2 | 230M| 63 | 159 | 500 |3159 | 500 | 735 |6325k| 0 | 17k|-1.910000e+02 |-8.100000e+01 | 57.59%
1108.42/1108.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.42/1108.41 c 1108s|120000 |120001 | 17816k| 148.2 | 248M| 63 | 4 | 500 |3159 | 500 | 490 |6854k| 0 | 18k|-1.910000e+02 |-8.100000e+01 | 57.59%
1197.22/1197.21 c 1197s|130000 |130001 | 19288k| 148.1 | 267M| 63 | 50 | 500 |3159 | 500 | 490 |7394k| 0 | 18k|-1.910000e+02 |-8.100000e+01 | 57.59%
1279.62/1279.63 c 1280s|140000 |140001 | 20673k| 147.4 | 285M| 63 | 16 | 500 |3159 | 500 | 490 |7914k| 0 | 19k|-1.910000e+02 |-8.100000e+01 | 57.59%
1361.73/1361.76 c 1362s|150000 |150001 | 22063k| 146.9 | 303M| 63 | 19 | 500 |3159 | 500 | 490 |8441k| 0 | 19k|-1.910000e+02 |-8.100000e+01 | 57.59%
1444.62/1444.60 c 1445s|160000 |160001 | 23456k| 146.4 | 321M| 63 | 236 | 500 |3159 | 500 | 853 |8975k| 0 | 20k|-1.910000e+02 |-8.100000e+01 | 57.59%
1529.42/1529.49 c 1529s|170000 |170001 | 24876k| 146.1 | 339M| 63 | 200 | 500 |3159 | 500 | 653 |9503k| 0 | 20k|-1.910000e+02 |-8.100000e+01 | 57.59%
1617.43/1617.47 c 1617s|180000 |180001 | 26337k| 146.1 | 357M| 63 | 4 | 500 |3159 | 500 | 490 | 10M| 0 | 21k|-1.910000e+02 |-8.100000e+01 | 57.59%
1703.73/1703.74 c 1704s|190000 |190001 | 27784k| 146.1 | 375M| 63 | 212 | 500 |3159 | 500 | 745 | 10M| 0 | 22k|-1.910000e+02 |-8.100000e+01 | 57.59%
1787.83/1787.81 c 1788s|200000 |200001 | 29198k| 145.8 | 393M| 63 | 260 | 500 |3159 | 500 | 775 | 11M| 0 | 22k|-1.910000e+02 |-8.100000e+01 | 57.59%
1797.03/1797.01 c
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Solving Time (sec) : 1797.01
1797.03/1797.01 c Solving Nodes : 201031
1797.03/1797.01 c Primal Bound : -8.10000000000000e+01 (547 solutions)
1797.03/1797.01 c Dual Bound : -1.91000000000000e+02
1797.03/1797.01 c Gap : 57.59 %
1797.03/1797.01 s SATISFIABLE
1797.03/1797.01 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479
1797.03/1797.01 v x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1797.03/1797.01 v x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1797.03/1797.01 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1797.03/1797.01 v -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1797.03/1797.01 v -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374
1797.03/1797.01 v -x373 x372 x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352
1797.03/1797.01 v -x351 -x350 -x349 x348 -x347 -x346 x345 -x344 x343 x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330
1797.03/1797.01 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309
1797.03/1797.01 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288
1797.03/1797.01 v -x287 -x286 x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.03/1797.01 v -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 x246
1797.03/1797.01 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
1797.03/1797.01 v -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203
1797.03/1797.01 v -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 x182
1797.03/1797.01 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161
1797.03/1797.01 v -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140
1797.03/1797.01 v -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118
1797.03/1797.01 v -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1797.03/1797.01 v -x95 -x94 -x93 -x92 x91 -x90 -x89 x88 x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 x72 x71 x70
1797.03/1797.01 v x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 x56 x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
1797.03/1797.01 v x43 -x42 -x41 x40 x39 x38 -x37 x36 x35 x34 -x33 -x32 -x31 -x30 x29 -x28 x27 x26 -x25 x24 -x23 x22 -x21 -x20 x19 x18 -x17 -x16
1797.03/1797.01 v x15 -x14 x13 x12 x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 x2 x1
1797.03/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.01 c Total Time : 1797.01
1797.03/1797.01 c solving : 1797.01
1797.03/1797.01 c presolving : 0.06 (included in solving)
1797.03/1797.01 c reading : 0.02 (included in solving)
1797.03/1797.01 c Original Problem :
1797.03/1797.01 c Problem name : HOME/instance-3488572-1307783027.opb
1797.03/1797.01 c Variables : 3659 (3659 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 4159 initial, 4159 maximal
1797.03/1797.01 c Presolved Problem :
1797.03/1797.01 c Problem name : t_HOME/instance-3488572-1307783027.opb
1797.03/1797.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.01 c Constraints : 3159 initial, 3159 maximal
1797.03/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.01 3159 0 0 3159 0 500 0 0 0
1797.03/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 246089 0 401382 0 0 0 0 0 402058
1797.03/1797.01 c setppc : 3159 59 629290 45060 2 401378 0 0 1606911 11191210 0 0
1797.03/1797.01 c countsols : 0 0 0 0 2 549 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 77.17 0.00 0.00 77.06 0.00 0.10 0.00
1797.03/1797.01 c setppc : 29.72 0.03 16.29 7.47 0.00 5.93 0.00
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 0 0 0 0
1797.03/1797.01 c pseudoobj : 629244 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.12 0.12 0.00
1797.03/1797.01 c rootredcost : 0.12 0.12 0.00
1797.03/1797.01 c pseudoobj : 5.48 5.48 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c infeasible LP : 0.00 2 2 2 99.0 0 0.0 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 0 0.0 - - -
1797.03/1797.01 c applied locally : - - - 0 0.0 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.12 58 - - 429 - (maximal pool size: 4865)
1797.03/1797.01 c redcost : 2.35 246147 0 0 0 0
1797.03/1797.01 c impliedbounds : 0.01 59 0 0 3380 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 2.82 59 0 0 25454 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.54 20 0 0 10000 0
1797.03/1797.01 c cmir : 0.07 10 0 0 0 0
1797.03/1797.01 c flowcover : 0.06 10 0 0 0 0
1797.03/1797.01 c clique : 0.17 59 0 0 404 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 76.94 201029 0 0 0 0 402058
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c intshifting : 0.00 0 0
1797.03/1797.01 c feaspump : 0.00 0 0
1797.03/1797.01 c oneopt : 0.11 1 0
1797.03/1797.01 c crossover : 0.29 10 4
1797.03/1797.01 c objpscostdiving : 18.44 872 40
1797.03/1797.01 c fracdiving : 33.51 3415 29
1797.03/1797.01 c veclendiving : 41.89 3415 49
1797.03/1797.01 c linesearchdiving : 33.57 3416 44
1797.03/1797.01 c coefdiving : 34.15 3416 97
1797.03/1797.01 c guideddiving : 33.85 3416 22
1797.03/1797.01 c pscostdiving : 34.37 3416 65
1797.03/1797.01 c trivial : 0.00 2 1
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 4.61 201083 193
1797.03/1797.01 c zirounding : 0.13 1000 0
1797.03/1797.01 c rounding : 13.37 21376 1
1797.03/1797.01 c shifting : 4.20 6266 1
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c rootsoldiving : 11.80 1129 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.01 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.01 1 0
1797.03/1797.01 c subnlp : 0.03 0 0
1797.03/1797.01 c trysol : 0.05 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 13.13 0 0 0.00 0.00
1797.03/1797.01 c dual LP : 1364.35 246125 25791779 104.79 18904.11
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 199.62 172650 3557752 20.61 17822.74
1797.03/1797.01 c strong branching : 71.92 22689 991972 43.72 13792.43
1797.03/1797.01 c (at root node) : - 18 15563 864.61 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 201031
1797.03/1797.01 c nodes (total) : 201031
1797.03/1797.01 c nodes left : 201032
1797.03/1797.01 c max depth : 63
1797.03/1797.01 c max depth (total): 63
1797.03/1797.01 c backtracks : 22494 (11.2%)
1797.03/1797.01 c delayed cutoffs : 0
1797.03/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.01 c avg switch length: 3.68
1797.03/1797.01 c switching time : 23.95
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 547 (4 improvements)
1797.03/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.01 c Primal Bound : -8.10000000000000e+01 (in run 1, after 1 nodes, 0.23 seconds, depth 0, found by <trysol>)
1797.03/1797.01 c Dual Bound : -1.91000000000000e+02
1797.03/1797.01 c Gap : 57.59 %
1797.03/1797.01 c Root Dual Bound : -1.91000000000000e+02
1797.03/1797.01 c Root Iterations : 35277
1797.44/1797.47 c Time complete: 1797.51.
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-3488572-1307783027/watcher-3488572-1307783027 -o /tmp/evaluation-result-3488572-1307783027/solver-3488572-1307783027 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488572-1307783027.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: 0.00 0.00 0.00 2/177 9095
/proc/meminfo: memFree=31750324/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 2146 0 0 0 0 0 0 0 25 0 1 0 870718811 12996608 2100 33554432000 4194304 9016284 140734453379200 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9095/statm: 3173 2108 353 1178 0 1991 0
[startup+0.073818 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 9095
/proc/meminfo: memFree=31750324/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=32120 CPUtime=0.06 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 6904 0 0 0 6 0 0 0 25 0 1 0 870718811 32890880 6601 33554432000 4194304 9016284 140734453379200 18446744073709551615 7870589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 8030 6646 500 1178 0 6848 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 32120
[startup+0.10081 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 9095
/proc/meminfo: memFree=31750324/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=37280 CPUtime=0.09 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 8480 0 0 0 9 0 0 0 25 0 1 0 870718811 38174720 8177 33554432000 4194304 9016284 140734453379200 18446744073709551615 7824814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 9320 8179 614 1178 0 8138 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37280
[startup+0.300775 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 9095
/proc/meminfo: memFree=31750324/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=39272 CPUtime=0.29 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 15987 0 0 0 27 2 0 0 25 0 1 0 870718811 40214528 8745 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 9818 8745 689 1178 0 8636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39272
[startup+0.700706 s]
/proc/loadavg: 0.00 0.00 0.00 2/177 9095
/proc/meminfo: memFree=31750324/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=42084 CPUtime=0.69 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 16635 0 0 0 65 4 0 0 25 0 1 0 870718811 43094016 9390 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 10521 9390 692 1178 0 9339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42084
[startup+1.50055 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 9096
/proc/meminfo: memFree=31704832/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=55880 CPUtime=1.49 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 20125 0 0 0 143 6 0 0 25 0 1 0 870718811 57221120 12863 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 13970 12863 701 1178 0 12788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55880
[startup+3.10027 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 9096
/proc/meminfo: memFree=31691084/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=71320 CPUtime=3.09 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 24072 0 0 0 299 10 0 0 25 0 1 0 870718811 73031680 16741 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 17830 16741 712 1178 0 16648 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71320
[startup+6.30072 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 9134
/proc/meminfo: memFree=31683364/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=84216 CPUtime=6.29 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 27377 0 0 0 609 20 0 0 25 0 1 0 870718811 86237184 19983 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 21054 19983 705 1178 0 19872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84216
[startup+12.7006 s]
/proc/loadavg: 0.31 0.07 0.02 3/178 9210
/proc/meminfo: memFree=31652212/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=86912 CPUtime=12.7 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 29802 0 0 0 1231 39 0 0 25 0 1 0 870718811 88997888 20690 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 21728 20690 697 1178 0 20546 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 86912
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/178 9210
/proc/meminfo: memFree=31647208/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=86912 CPUtime=25.49 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 36048 0 0 0 2447 102 0 0 25 0 1 0 870718811 88997888 20696 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 21728 20696 701 1178 0 20546 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86912
[startup+51.1009 s]
/proc/loadavg: 1.13 0.31 0.10 3/178 9211
/proc/meminfo: memFree=31625304/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=89360 CPUtime=51.1 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 43720 0 0 0 4857 253 0 0 25 0 1 0 870718811 91504640 21314 33554432000 4194304 9016284 140734453379200 18446744073709551615 4786576 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 22340 21314 701 1178 0 21158 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 89360
[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.20 3/178 9213
/proc/meminfo: memFree=31571316/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=98160 CPUtime=102.3 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 49425 0 0 0 9687 543 0 0 25 0 1 0 870718811 100515840 23501 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 24540 23501 701 1178 0 23358 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 98160
[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 3/178 9214
/proc/meminfo: memFree=31521172/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=106736 CPUtime=162.29 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 55090 0 0 0 15328 901 0 0 25 0 1 0 870718811 109297664 25692 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 26684 25692 701 1178 0 25502 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 106736
[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.41 3/178 9216
/proc/meminfo: memFree=31479084/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=118844 CPUtime=222.3 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 61632 0 0 0 20974 1256 0 0 25 0 1 0 870718811 121696256 28727 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/9095/statm: 29711 28727 701 1178 0 28529 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 118844
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.51 3/178 9217
/proc/meminfo: memFree=31427696/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=128604 CPUtime=282.3 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 64122 0 0 0 26622 1608 0 0 25 0 1 0 870718811 131690496 31197 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 32151 31197 701 1178 0 30969 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 128604
[startup+342.301 s]
/proc/loadavg: 2.05 1.37 0.60 3/178 9219
/proc/meminfo: memFree=31405828/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=138764 CPUtime=342.29 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 66678 0 0 0 32274 1955 0 0 25 0 1 0 870718811 142094336 33741 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 34691 33741 701 1178 0 33509 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 138764
[startup+402.3 s]
/proc/loadavg: 2.02 1.48 0.69 3/178 9220
/proc/meminfo: memFree=31371796/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=151260 CPUtime=402.3 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 69751 0 0 0 37934 2296 0 0 25 0 1 0 870718811 154890240 36813 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 37815 36813 701 1178 0 36633 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 151260
[startup+462.301 s]
/proc/loadavg: 2.00 1.57 0.77 3/178 9222
/proc/meminfo: memFree=31327732/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=165132 CPUtime=462.3 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 76924 0 0 0 43571 2659 0 0 25 0 1 0 870718811 169095168 40416 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 41283 40416 701 1178 0 40101 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 165132
[startup+522.3 s]
/proc/loadavg: 2.00 1.65 0.84 3/178 9224
/proc/meminfo: memFree=31283900/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=182748 CPUtime=522.3 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 81324 0 0 0 49207 3023 0 0 25 0 1 0 870718811 187133952 44814 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 45687 44814 701 1178 0 44505 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 182748
[startup+582.301 s]
/proc/loadavg: 2.00 1.71 0.91 3/178 9225
/proc/meminfo: memFree=31240944/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=192900 CPUtime=582.3 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 87380 0 0 0 54851 3379 0 0 25 0 1 0 870718811 197529600 47401 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 48225 47401 701 1178 0 47043 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 192900
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30974044/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=309984 CPUtime=1122.31 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 116431 0 0 0 105609 6622 0 0 25 0 1 0 870718811 317423616 76418 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 77496 76418 701 1178 0 76314 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 309984
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/178 9241
/proc/meminfo: memFree=30960472/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=323448 CPUtime=1182.32 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 123237 0 0 0 111255 6977 0 0 25 0 1 0 870718811 331210752 79720 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 80862 79720 701 1178 0 79680 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 323448
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/178 9243
/proc/meminfo: memFree=30945788/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=335332 CPUtime=1242.32 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 126246 0 0 0 116895 7337 0 0 25 0 1 0 870718811 343379968 82726 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 83833 82726 701 1178 0 82651 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 335332
[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/178 9248
/proc/meminfo: memFree=30924496/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=348964 CPUtime=1302.32 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 129711 0 0 0 122538 7694 0 0 25 0 1 0 870718811 357339136 86182 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 87241 86182 701 1178 0 86059 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 348964
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/178 9249
/proc/meminfo: memFree=30903424/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=360356 CPUtime=1362.32 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 132569 0 0 0 128167 8065 0 0 25 0 1 0 870718811 369004544 89040 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 90089 89040 701 1178 0 88907 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 360356
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 9251
/proc/meminfo: memFree=30878436/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=373512 CPUtime=1422.32 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 135902 0 0 0 133822 8410 0 0 25 0 1 0 870718811 382476288 92370 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 93378 92370 701 1178 0 92196 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 373512
[startup+1482.3 s]
/proc/loadavg: 2.04 1.99 1.57 3/178 9252
/proc/meminfo: memFree=30854080/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=386660 CPUtime=1482.32 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 139222 0 0 0 139459 8773 0 0 25 0 1 0 870718811 395939840 95666 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 96665 95666 701 1178 0 95483 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 386660
[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.59 3/178 9254
/proc/meminfo: memFree=30825500/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=398820 CPUtime=1542.33 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 142344 0 0 0 145100 9133 0 0 25 0 1 0 870718811 408391680 98787 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 99705 98787 701 1178 0 98523 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 398820
[startup+1602.3 s]
/proc/loadavg: 2.04 2.00 1.62 3/178 9256
/proc/meminfo: memFree=30798540/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=412616 CPUtime=1602.33 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 145821 0 0 0 150731 9502 0 0 25 0 1 0 870718811 422518784 102264 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 103154 102264 701 1178 0 101972 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 412616
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.64 3/178 9257
/proc/meminfo: memFree=30774052/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=423396 CPUtime=1662.33 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 148559 0 0 0 156372 9861 0 0 25 0 1 0 870718811 433557504 104996 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 105849 104996 701 1178 0 104667 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 423396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/178 9259
/proc/meminfo: memFree=30748204/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=437012 CPUtime=1722.33 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 151987 0 0 0 162004 10229 0 0 25 0 1 0 870718811 447500288 108415 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 109253 108415 701 1178 0 108071 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 437012
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9260
/proc/meminfo: memFree=30725204/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=450804 CPUtime=1782.33 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 154394 0 0 0 167633 10600 0 0 25 0 1 0 870718811 461623296 110821 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 112701 110821 701 1178 0 111519 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 450804
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9260
/proc/meminfo: memFree=30724212/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=451564 CPUtime=1785.53 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 154611 0 0 0 167933 10620 0 0 25 0 1 0 870718811 462401536 111038 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 112891 111038 701 1178 0 111709 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 451564
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9261
/proc/meminfo: memFree=30717636/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=455264 CPUtime=1791.94 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 155539 0 0 0 168536 10658 0 0 25 0 1 0 870718811 466190336 111966 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 113816 111966 701 1178 0 112634 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 455264
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9261
/proc/meminfo: memFree=30716392/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=455944 CPUtime=1795.13 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 155696 0 0 0 168836 10677 0 0 25 0 1 0 870718811 466886656 112118 33554432000 4194304 9016284 140734453379200 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 113986 112118 701 1178 0 112804 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 455944
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9261
/proc/meminfo: memFree=30716268/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=456952 CPUtime=1796.73 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 155927 0 0 0 168987 10686 0 0 25 0 1 0 870718811 467918848 112349 33554432000 4194304 9016284 140734453379200 18446744073709551615 7082051 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9095/statm: 114238 112349 701 1178 0 113056 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 456952
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9261
/proc/meminfo: memFree=30716268/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=458148 CPUtime=1797.13 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 156242 0 0 0 169025 10688 0 0 18 0 1 0 870718811 469143552 112662 33554432000 4194304 9016284 140734453379200 18446744073709551615 4839919 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9095/statm: 114537 112662 703 1178 0 113355 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 458148
[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9261
/proc/meminfo: memFree=30714036/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=458148 CPUtime=1797.34 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 156242 0 0 0 169046 10688 0 0 18 0 1 0 870718811 469143552 112662 33554432000 4194304 9016284 140734453379200 18446744073709551615 4330208 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9095/statm: 114537 112662 703 1178 0 113355 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 458148
[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 1.68 3/178 9261
/proc/meminfo: memFree=30714036/32951124 swapFree=67088052/67111528
[pid=9095] ppid=9093 vsize=458148 CPUtime=1797.44 cores=1,3,5,7
/proc/9095/stat : 9095 (scip-2.0.1.4b_2) R 9093 9095 9011 0 -1 4202496 156242 0 0 0 169056 10688 0 0 18 0 1 0 870718811 469143552 112662 33554432000 4194304 9016284 140734453379200 18446744073709551615 6779402 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9095/statm: 114537 112662 703 1178 0 113355 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 458148
Child status: 0
Real time (s): 1797.48
CPU time (s): 1797.52
CPU user time (s): 1690.62
CPU system time (s): 106.902
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 458148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1690.62
system time used= 106.902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156247
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= 17429
runsolver used 2.44963 second user time and 5.73013 second system time
The end