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-3488590-1307783793.opb>
0.00/0.02 c original problem has 3635 variables (3635 bin, 0 int, 0 impl, 0 cont) and 4135 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) 3135 del vars, 1000 del conss, 0 add conss, 3135 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12540 impls, 0 clqs
0.00/0.07 c (round 2) 3135 del vars, 1000 del conss, 0 add conss, 3135 chg bounds, 0 chg sides, 0 chg coeffs, 3135 upgd conss, 12540 impls, 0 clqs
0.08/0.09 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.09 c presolving (3 rounds):
0.08/0.09 c 3135 deleted vars, 1000 deleted constraints, 0 added constraints, 3135 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.09 c 18808 implications, 0 cliques
0.08/0.09 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3135 constraints
0.08/0.09 c 3135 constraints of type <setppc>
0.08/0.09 c transformed objective value is always integral (scale: 1)
0.08/0.09 c Presolving Time: 0.06
0.08/0.09 c - non default parameters ----------------------------------------------------------------------
0.08/0.09 c # SCIP version 2.0.1.5
0.08/0.09 c
0.08/0.09 c # frequency for displaying node information lines
0.08/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.09 c display/freq = 10000
0.08/0.09 c
0.08/0.09 c # maximal time in seconds to run
0.08/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.09 c limits/time = 1797
0.08/0.09 c
0.08/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.09 c limits/memory = 13950
0.08/0.09 c
0.08/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.09 c # [type: int, range: [1,2], default: 1]
0.08/0.09 c timing/clocktype = 2
0.08/0.09 c
0.08/0.09 c # belongs reading time to solving time?
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c timing/reading = TRUE
0.08/0.09 c
0.08/0.09 c # should presolving try to simplify inequalities
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/linear/simplifyinequalities = TRUE
0.08/0.09 c
0.08/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/indicator/addCouplingCons = TRUE
0.08/0.09 c
0.08/0.09 c # should presolving try to simplify knapsacks
0.08/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.09 c
0.08/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.09 c separating/rapidlearning/freq = 0
0.08/0.09 c
0.08/0.09 c -----------------------------------------------------------------------------------------------
0.08/0.09 c start solving
0.08/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 |3135 | 500 |3135 | 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 |3135 | 500 |3135 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.09/0.13 o -2
0.09/0.13 c s 0.1s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3135 | 500 |3135 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.19/0.23 o -80
0.19/0.23 c y 0.2s| 1 | 0 | 539 | - | 11M| 0 | 500 | 500 |3135 | 500 |3135 | 0 | 0 | 0 |-2.500000e+02 |-8.000000e+01 | 68.00%
0.19/0.25 c 0.3s| 1 | 0 | 658 | - | 11M| 0 | 491 | 500 |3135 | 500 |3146 | 11 | 0 | 0 |-2.455000e+02 |-8.000000e+01 | 67.41%
0.29/0.32 c 0.3s| 1 | 0 | 714 | - | 11M| 0 | 487 | 500 |3135 | 500 |3154 | 19 | 0 | 0 |-2.435000e+02 |-8.000000e+01 | 67.15%
0.39/0.40 c 0.4s| 1 | 0 | 819 | - | 11M| 0 | 480 | 500 |3135 | 500 |3162 | 27 | 0 | 0 |-2.400000e+02 |-8.000000e+01 | 66.67%
0.39/0.47 c 0.5s| 1 | 0 | 912 | - | 11M| 0 | 475 | 500 |3135 | 500 |3171 | 36 | 0 | 0 |-2.375000e+02 |-8.000000e+01 | 66.32%
0.49/0.59 c 0.6s| 1 | 0 | 1163 | - | 11M| 0 | 474 | 500 |3135 | 500 |3179 | 44 | 0 | 0 |-2.350000e+02 |-8.000000e+01 | 65.96%
0.69/0.72 c 0.7s| 1 | 0 | 1482 | - | 11M| 0 | 464 | 500 |3135 | 500 |3190 | 55 | 0 | 0 |-2.320000e+02 |-8.000000e+01 | 65.52%
0.79/0.86 c 0.9s| 1 | 0 | 1950 | - | 11M| 0 | 460 | 500 |3135 | 500 |3201 | 66 | 0 | 0 |-2.290000e+02 |-8.000000e+01 | 65.07%
0.89/0.95 c 1.0s| 1 | 0 | 2098 | - | 11M| 0 | 453 | 500 |3135 | 500 |3213 | 78 | 0 | 0 |-2.265000e+02 |-8.000000e+01 | 64.68%
1.00/1.08 c 1.1s| 1 | 0 | 2366 | - | 11M| 0 | 450 | 500 |3135 | 500 |3220 | 85 | 0 | 0 |-2.250000e+02 |-8.000000e+01 | 64.44%
1.10/1.19 c 1.2s| 1 | 0 | 2691 | - | 11M| 0 | 448 | 500 |3135 | 500 |3228 | 93 | 0 | 0 |-2.240000e+02 |-8.000000e+01 | 64.29%
1.29/1.32 c 1.3s| 1 | 0 | 3116 | - | 11M| 0 | 443 | 500 |3135 | 500 | 854 | 102 | 0 | 0 |-2.213333e+02 |-8.000000e+01 | 63.86%
1.39/1.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.40 c 1.4s| 1 | 0 | 3548 | - | 12M| 0 | 461 | 500 |3135 | 500 | 866 | 114 | 0 | 0 |-2.195000e+02 |-8.000000e+01 | 63.55%
1.49/1.59 c 1.6s| 1 | 0 | 4659 | - | 13M| 0 | 432 | 500 |3135 | 500 |1144 | 392 | 0 | 0 |-2.185000e+02 |-8.000000e+01 | 63.39%
1.69/1.72 c 1.7s| 1 | 0 | 5348 | - | 13M| 0 | 433 | 500 |3135 | 500 |1210 | 458 | 0 | 0 |-2.175000e+02 |-8.000000e+01 | 63.22%
1.79/1.83 c 1.8s| 1 | 0 | 5914 | - | 13M| 0 | 415 | 500 |3135 | 500 |1224 | 472 | 0 | 0 |-2.155000e+02 |-8.000000e+01 | 62.88%
1.89/1.91 c 1.9s| 1 | 0 | 6336 | - | 13M| 0 | 427 | 500 |3135 | 500 |1288 | 536 | 0 | 0 |-2.143333e+02 |-8.000000e+01 | 62.67%
1.99/2.00 c 2.0s| 1 | 0 | 6617 | - | 14M| 0 | 432 | 500 |3135 | 500 |1058 | 552 | 0 | 0 |-2.135000e+02 |-8.000000e+01 | 62.53%
2.09/2.14 c 2.1s| 1 | 0 | 7389 | - | 14M| 0 | 418 | 500 |3135 | 500 |1103 | 597 | 0 | 0 |-2.129167e+02 |-8.000000e+01 | 62.43%
2.19/2.27 c 2.3s| 1 | 0 | 8150 | - | 14M| 0 | 418 | 500 |3135 | 500 |1166 | 660 | 0 | 0 |-2.110000e+02 |-8.000000e+01 | 62.09%
2.39/2.40 c 2.4s| 1 | 0 | 8984 | - | 14M| 0 | 405 | 500 |3135 | 500 |1189 | 683 | 0 | 0 |-2.095000e+02 |-8.000000e+01 | 61.81%
2.39/2.47 c 2.5s| 1 | 0 | 9219 | - | 14M| 0 | 407 | 500 |3135 | 500 |1241 | 735 | 0 | 0 |-2.090000e+02 |-8.000000e+01 | 61.72%
2.49/2.53 c 2.5s| 1 | 0 | 9579 | - | 14M| 0 | 434 | 500 |3135 | 500 |1292 | 786 | 0 | 0 |-2.080000e+02 |-8.000000e+01 | 61.54%
2.59/2.64 c 2.6s| 1 | 0 | 10021 | - | 14M| 0 | 422 | 500 |3135 | 500 |1020 | 848 | 0 | 0 |-2.070000e+02 |-8.000000e+01 | 61.35%
2.69/2.73 c 2.7s| 1 | 0 | 10508 | - | 15M| 0 | 452 | 500 |3135 | 500 |1043 | 871 | 0 | 0 |-2.060000e+02 |-8.000000e+01 | 61.17%
2.79/2.87 c 2.9s| 1 | 0 | 10871 | - | 15M| 0 | 410 | 500 |3135 | 500 |1326 |1154 | 0 | 0 |-2.060000e+02 |-8.000000e+01 | 61.17%
2.89/2.99 c 3.0s| 1 | 0 | 11881 | - | 16M| 0 | 436 | 500 |3135 | 500 |1341 |1169 | 0 | 0 |-2.046250e+02 |-8.000000e+01 | 60.90%
2.99/3.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.09 c 3.1s| 1 | 0 | 12401 | - | 16M| 0 | 424 | 500 |3135 | 500 |1385 |1213 | 0 | 0 |-2.030000e+02 |-8.000000e+01 | 60.59%
3.09/3.18 c 3.2s| 1 | 0 | 12782 | - | 16M| 0 | 430 | 500 |3135 | 500 |1416 |1244 | 0 | 0 |-2.016250e+02 |-8.000000e+01 | 60.32%
3.29/3.34 c 3.3s| 1 | 0 | 14032 | - | 16M| 0 | 461 | 500 |3135 | 500 |1131 |1297 | 0 | 0 |-2.004175e+02 |-8.000000e+01 | 60.08%
3.39/3.48 c 3.5s| 1 | 0 | 14869 | - | 17M| 0 | 433 | 500 |3135 | 500 |1249 |1415 | 0 | 0 |-1.996250e+02 |-8.000000e+01 | 59.92%
3.49/3.55 c 3.5s| 1 | 0 | 14990 | - | 17M| 0 | 410 | 500 |3135 | 500 |1313 |1479 | 0 | 0 |-1.995000e+02 |-8.000000e+01 | 59.90%
3.59/3.66 c 3.7s| 1 | 0 | 15780 | - | 18M| 0 | 405 | 500 |3135 | 500 |1330 |1496 | 0 | 0 |-1.990000e+02 |-8.000000e+01 | 59.80%
3.69/3.77 c 3.8s| 1 | 0 | 16233 | - | 18M| 0 | 402 | 500 |3135 | 500 |1347 |1513 | 0 | 0 |-1.977500e+02 |-8.000000e+01 | 59.54%
3.79/3.85 c 3.9s| 1 | 0 | 16484 | - | 18M| 0 | 394 | 500 |3135 | 500 |1360 |1526 | 0 | 0 |-1.970000e+02 |-8.000000e+01 | 59.39%
3.90/3.95 c 4.0s| 1 | 0 | 17027 | - | 18M| 0 | 396 | 500 |3135 | 500 | 942 |1535 | 0 | 0 |-1.970000e+02 |-8.000000e+01 | 59.39%
4.00/4.05 c 4.1s| 1 | 0 | 17340 | - | 19M| 0 | 430 | 500 |3135 | 500 | 955 |1548 | 0 | 0 |-1.970000e+02 |-8.000000e+01 | 59.39%
4.09/4.15 c 4.1s| 1 | 0 | 17673 | - | 19M| 0 | 431 | 500 |3135 | 500 |1054 |1647 | 0 | 0 |-1.970000e+02 |-8.000000e+01 | 59.39%
4.30/4.34 c 4.3s| 1 | 0 | 19151 | - | 19M| 0 | 441 | 500 |3135 | 500 |1106 |1699 | 0 | 0 |-1.965870e+02 |-8.000000e+01 | 59.31%
4.40/4.46 c 4.5s| 1 | 0 | 19657 | - | 20M| 0 | 471 | 500 |3135 | 500 |1173 |1766 | 0 | 0 |-1.962059e+02 |-8.000000e+01 | 59.23%
4.59/4.67 c 4.7s| 1 | 0 | 20316 | - | 21M| 0 | 466 | 500 |3135 | 500 |1367 |1960 | 0 | 0 |-1.955588e+02 |-8.000000e+01 | 59.09%
4.79/4.82 c 4.8s| 1 | 0 | 20982 | - | 22M| 0 | 474 | 500 |3135 | 500 |1103 |1999 | 0 | 0 |-1.949634e+02 |-8.000000e+01 | 58.97%
4.89/4.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.89/4.95 c 4.9s| 1 | 0 | 21506 | - | 23M| 0 | 394 | 500 |3135 | 500 |1153 |2049 | 0 | 0 |-1.945000e+02 |-8.000000e+01 | 58.87%
4.99/5.09 c 5.1s| 1 | 0 | 22216 | - | 23M| 0 | 461 | 500 |3135 | 500 |1167 |2063 | 0 | 0 |-1.941102e+02 |-8.000000e+01 | 58.79%
5.19/5.27 c 5.3s| 1 | 0 | 23122 | - | 23M| 0 | 477 | 500 |3135 | 500 |1261 |2157 | 0 | 0 |-1.935732e+02 |-8.000000e+01 | 58.67%
5.29/5.39 c 5.4s| 1 | 0 | 23281 | - | 23M| 0 | 455 | 500 |3135 | 500 |1346 |2242 | 0 | 0 |-1.935000e+02 |-8.000000e+01 | 58.66%
5.50/5.53 c 5.5s| 1 | 0 | 23780 | - | 23M| 0 | 429 | 500 |3135 | 500 |1359 |2255 | 0 | 0 |-1.930000e+02 |-8.000000e+01 | 58.55%
5.59/5.66 c 5.7s| 1 | 0 | 24269 | - | 23M| 0 | 448 | 500 |3135 | 500 |1234 |2268 | 0 | 0 |-1.930000e+02 |-8.000000e+01 | 58.55%
5.79/5.80 c 5.8s| 1 | 0 | 24644 | - | 24M| 0 | 448 | 500 |3135 | 500 |1244 |2278 | 0 | 0 |-1.930000e+02 |-8.000000e+01 | 58.55%
5.89/5.93 c 5.9s| 1 | 0 | 24895 | - | 24M| 0 | 435 | 500 |3135 | 500 |1267 |2301 | 0 | 0 |-1.930000e+02 |-8.000000e+01 | 58.55%
6.19/6.21 c 6.2s| 1 | 0 | 26728 | - | 24M| 0 | 452 | 500 |3135 | 500 |1287 |2321 | 0 | 0 |-1.928333e+02 |-8.000000e+01 | 58.51%
6.39/6.45 c 6.5s| 1 | 0 | 28195 | - | 24M| 0 | 477 | 500 |3135 | 500 |1322 |2356 | 0 | 0 |-1.923367e+02 |-8.000000e+01 | 58.41%
6.69/6.71 c 6.7s| 1 | 0 | 29691 | - | 25M| 0 | 484 | 500 |3135 | 500 |1395 |2429 | 0 | 0 |-1.921793e+02 |-8.000000e+01 | 58.37%
6.79/6.87 c 6.9s| 1 | 0 | 29870 | - | 25M| 0 | 490 | 500 |3135 | 500 |1189 |2455 | 0 | 0 |-1.921610e+02 |-8.000000e+01 | 58.37%
6.99/7.06 c 7.1s| 1 | 0 | 30658 | - | 25M| 0 | 495 | 500 |3135 | 500 |1206 |2472 | 0 | 0 |-1.921405e+02 |-8.000000e+01 | 58.36%
7.19/7.20 c 7.2s| 1 | 0 | 30824 | - | 25M| 0 | 490 | 500 |3135 | 500 |1233 |2499 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.39/7.41 c 7.4s| 1 | 0 | 31306 | - | 25M| 0 | 489 | 500 |3135 | 500 |1265 |2531 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.49/7.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.49/7.56 c 7.6s| 1 | 0 | 31456 | - | 25M| 0 | 490 | 500 |3135 | 500 |1284 |2550 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.70/7.73 c 7.7s| 1 | 0 | 31768 | - | 25M| 0 | 464 | 500 |3135 | 500 |1311 |2577 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
7.89/7.93 c 7.9s| 1 | 0 | 32358 | - | 25M| 0 | 478 | 500 |3135 | 500 |1172 |2601 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
8.09/8.11 c 8.1s| 1 | 0 | 33021 | - | 25M| 0 | 481 | 500 |3135 | 500 |1181 |2610 | 0 | 0 |-1.920000e+02 |-8.000000e+01 | 58.33%
13.09/13.20 c 13.2s| 1 | 2 | 33021 | - | 25M| 0 | 481 | 500 |3135 | 500 |1181 |2610 | 0 | 44 |-1.920000e+02 |-8.000000e+01 | 58.33%
113.20/113.29 c 113s| 10000 | 10001 | 1421k| 138.9 | 43M| 50 | 234 | 500 |3135 | 500 | 733 | 503k| 0 |4731 |-1.920000e+02 |-8.000000e+01 | 58.33%
205.09/205.18 c 205s| 20000 | 20001 | 2839k| 140.3 | 61M| 62 | 330 | 500 |3135 | 500 | 809 | 988k| 0 |6777 |-1.920000e+02 |-8.000000e+01 | 58.33%
294.50/294.54 c 295s| 30000 | 30001 | 4220k| 139.6 | 78M| 76 | 111 | 500 |3135 | 500 | 582 |1441k| 0 |8234 |-1.920000e+02 |-8.000000e+01 | 58.33%
378.20/378.20 c 378s| 40000 | 40001 | 5524k| 137.3 | 96M| 76 | 191 | 500 |3135 | 500 | 586 |1870k| 0 |9460 |-1.920000e+02 |-8.000000e+01 | 58.33%
470.50/470.56 c 471s| 50000 | 50001 | 6969k| 138.7 | 114M| 76 | 127 | 500 |3135 | 500 | 493 |2325k| 0 | 10k|-1.920000e+02 |-8.000000e+01 | 58.33%
553.81/553.80 c 554s| 60000 | 60001 | 8279k| 137.4 | 132M| 76 | 170 | 500 |3135 | 500 | 693 |2761k| 0 | 11k|-1.918814e+02 |-8.000000e+01 | 58.31%
634.80/634.85 c 635s| 70000 | 70001 | 9580k| 136.4 | 150M| 76 | 10 | 500 |3135 | 500 | 493 |3202k| 0 | 12k|-1.918105e+02 |-8.000000e+01 | 58.29%
712.81/712.85 c 713s| 80000 | 80001 | 10845k| 135.2 | 168M| 76 | 2 | 500 |3135 | 500 | 493 |3640k| 0 | 12k|-1.917500e+02 |-8.000000e+01 | 58.28%
794.21/794.27 c 794s| 90000 | 90001 | 12139k| 134.5 | 185M| 76 | 147 | 500 |3135 | 500 | 633 |4079k| 0 | 13k|-1.916852e+02 |-8.000000e+01 | 58.26%
874.82/874.81 c 875s|100000 |100001 | 13441k| 134.1 | 203M| 76 | 2 | 500 |3135 | 500 | 493 |4523k| 0 | 14k|-1.916667e+02 |-8.000000e+01 | 58.26%
958.02/958.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.02/958.05 c 958s|110000 |110001 | 14766k| 133.9 | 221M| 76 | 307 | 500 |3135 | 500 | 797 |4953k| 0 | 14k|-1.915750e+02 |-8.000000e+01 | 58.24%
1039.62/1039.64 c 1040s|120000 |120001 | 16074k| 133.7 | 239M| 76 | 292 | 500 |3135 | 500 | 809 |5396k| 0 | 15k|-1.915000e+02 |-8.000000e+01 | 58.22%
1122.42/1122.41 c 1122s|130000 |130001 | 17401k| 133.6 | 257M| 76 | 7 | 500 |3135 | 500 | 493 |5846k| 0 | 16k|-1.915000e+02 |-8.000000e+01 | 58.22%
1201.32/1201.33 c 1201s|140000 |140001 | 18683k| 133.2 | 275M| 76 | 38 | 500 |3135 | 500 | 590 |6284k| 0 | 16k|-1.914600e+02 |-8.000000e+01 | 58.22%
1280.52/1280.53 c 1281s|150000 |150001 | 19974k| 132.9 | 293M| 76 | 253 | 500 |3135 | 500 | 735 |6730k| 0 | 17k|-1.913953e+02 |-8.000000e+01 | 58.20%
1363.63/1363.61 c 1364s|160000 |160001 | 21302k| 132.9 | 311M| 76 | 10 | 500 |3135 | 500 | 493 |7173k| 0 | 17k|-1.913333e+02 |-8.000000e+01 | 58.19%
1443.23/1443.29 c 1443s|170000 |170001 | 22597k| 132.7 | 329M| 76 | 101 | 500 |3135 | 500 | 493 |7616k| 0 | 18k|-1.912903e+02 |-8.000000e+01 | 58.18%
1523.73/1523.71 c 1524s|180000 |180001 | 23904k| 132.6 | 348M| 76 | 32 | 500 |3135 | 500 | 493 |8073k| 0 | 18k|-1.912500e+02 |-8.000000e+01 | 58.17%
1605.43/1605.49 c 1605s|190000 |190001 | 25236k| 132.7 | 366M| 76 | 124 | 500 |3135 | 500 | 689 |8525k| 0 | 19k|-1.912000e+02 |-8.000000e+01 | 58.16%
1685.23/1685.27 c 1685s|200000 |200001 | 26532k| 132.5 | 384M| 76 | 40 | 500 |3135 | 500 | 493 |8973k| 0 | 19k|-1.911429e+02 |-8.000000e+01 | 58.15%
1766.83/1766.82 c 1767s|210000 |210001 | 27851k| 132.5 | 402M| 76 | 232 | 500 |3135 | 500 | 589 |9413k| 0 | 19k|-1.910217e+02 |-8.000000e+01 | 58.12%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 213602
1797.03/1797.00 c Primal Bound : -8.00000000000000e+01 (465 solutions)
1797.03/1797.00 c Dual Bound : -1.91000000000000e+02
1797.03/1797.00 c Gap : 58.12 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 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.00 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.00 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.00 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 -x415
1797.03/1797.00 v x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1797.03/1797.00 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.03/1797.00 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352
1797.03/1797.00 v x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331
1797.03/1797.00 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 x310
1797.03/1797.00 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288
1797.03/1797.00 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.00 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.00 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.00 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.00 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.00 v -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 -x160
1797.03/1797.00 v -x159 x158 -x157 -x156 -x155 -x154 -x153 x152 x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1797.03/1797.00 v -x138 x137 -x136 -x135 -x134 x133 x132 x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1797.03/1797.00 v -x116 x115 -x114 x113 -x112 -x111 x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1797.03/1797.00 v 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 x69 -x68
1797.03/1797.00 v -x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 x47 x46 -x45 -x44 x43 -x42
1797.03/1797.00 v 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.00 v x15 x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 x4 x3 x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.06 (included in solving)
1797.03/1797.00 c reading : 0.02 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488590-1307783793.opb
1797.03/1797.00 c Variables : 3635 (3635 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 4135 initial, 4135 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488590-1307783793.opb
1797.03/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3135 initial, 3135 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.01 3135 0 0 3135 0 500 0 0 0
1797.03/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 253752 0 393093 0 0 0 0 0 427202
1797.03/1797.00 c setppc : 3135 60 642716 40151 1 393089 0 0 1741376 9575712 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 467 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 82.65 0.00 0.00 82.55 0.00 0.10 0.00
1797.03/1797.00 c setppc : 28.87 0.03 16.10 6.47 0.00 6.27 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 643312 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.12 0.12 0.00
1797.03/1797.00 c rootredcost : 0.12 0.12 0.00
1797.03/1797.00 c pseudoobj : 5.58 5.58 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.07 59 - - 477 - (maximal pool size: 3907)
1797.03/1797.00 c redcost : 2.46 253811 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.01 60 0 0 3589 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 2.78 60 0 0 25197 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.42 20 0 0 10000 0
1797.03/1797.00 c cmir : 0.07 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.05 10 0 0 0 0
1797.03/1797.00 c clique : 0.16 60 0 0 386 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 82.42 213601 0 0 0 0 427202
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c intshifting : 0.00 0 0
1797.03/1797.00 c oneopt : 0.11 1 0
1797.03/1797.00 c crossover : 0.31 11 5
1797.03/1797.00 c guideddiving : 30.98 3241 35
1797.03/1797.00 c fracdiving : 31.12 3241 55
1797.03/1797.00 c veclendiving : 38.41 3241 40
1797.03/1797.00 c coefdiving : 32.03 3242 40
1797.03/1797.00 c pscostdiving : 31.32 3242 64
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 4.96 213656 152
1797.03/1797.00 c zirounding : 0.12 1000 0
1797.03/1797.00 c rounding : 13.32 22050 1
1797.03/1797.00 c shifting : 4.36 6602 1
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 17.75 726 24
1797.03/1797.00 c rootsoldiving : 12.40 1118 0
1797.03/1797.00 c linesearchdiving : 33.51 3242 46
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.01 1 0
1797.03/1797.00 c subnlp : 0.03 0 0
1797.03/1797.00 c trysol : 0.06 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 12.63 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1373.04 253784 25104143 98.92 18283.61
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 188.63 161511 3239496 20.06 17174.24
1797.03/1797.00 c strong branching : 77.19 20006 1021950 51.08 13238.78
1797.03/1797.00 c (at root node) : - 44 39867 906.07 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 213602
1797.03/1797.00 c nodes (total) : 213602
1797.03/1797.00 c nodes left : 213603
1797.03/1797.00 c max depth : 76
1797.03/1797.00 c max depth (total): 76
1797.03/1797.00 c backtracks : 21293 (10.0%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 3.94
1797.03/1797.00 c switching time : 23.72
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 465 (4 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -8.00000000000000e+01 (in run 1, after 1 nodes, 0.23 seconds, depth 0, found by <trysol>)
1797.03/1797.00 c Dual Bound : -1.91000000000000e+02
1797.03/1797.00 c Gap : 58.12 %
1797.03/1797.00 c Root Dual Bound : -1.92000000000000e+02
1797.03/1797.00 c Root Iterations : 33021
1797.44/1797.48 c Time complete: 1797.52.
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-3488590-1307783793/watcher-3488590-1307783793 -o /tmp/evaluation-result-3488590-1307783793/solver-3488590-1307783793 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488590-1307783793.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.96 2/177 21526
/proc/meminfo: memFree=31772032/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=12700 CPUtime=0 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 2168 0 0 0 0 0 0 0 25 0 1 0 889978057 13004800 2123 33554432000 4194304 9016284 140734229046512 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21526/statm: 3175 2124 353 1178 0 1993 0
[startup+0.0887539 s]
/proc/loadavg: 1.92 1.98 1.96 2/177 21526
/proc/meminfo: memFree=31772032/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=32960 CPUtime=0.08 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 7262 0 0 0 8 0 0 0 25 0 1 0 889978057 33751040 6960 33554432000 4194304 9016284 140734229046512 18446744073709551615 5519463 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 8240 6960 520 1178 0 7058 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32960
[startup+0.100782 s]
/proc/loadavg: 1.92 1.98 1.96 2/177 21526
/proc/meminfo: memFree=31772032/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=37264 CPUtime=0.09 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 8479 0 0 0 9 0 0 0 25 0 1 0 889978057 38158336 8175 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 9316 8175 615 1178 0 8134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37264
[startup+0.300718 s]
/proc/loadavg: 1.92 1.98 1.96 2/177 21526
/proc/meminfo: memFree=31772032/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=39648 CPUtime=0.29 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 15973 0 0 0 28 1 0 0 25 0 1 0 889978057 40599552 8893 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 9912 8893 704 1178 0 8730 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39648
[startup+0.700698 s]
/proc/loadavg: 1.92 1.98 1.96 2/177 21526
/proc/meminfo: memFree=31772032/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=45212 CPUtime=0.69 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 17276 0 0 0 67 2 0 0 25 0 1 0 889978057 46297088 10177 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 11303 10177 687 1178 0 10121 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45212
[startup+1.50062 s]
/proc/loadavg: 1.93 1.98 1.96 3/178 21527
/proc/meminfo: memFree=31730260/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=51172 CPUtime=1.49 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 18897 0 0 0 146 3 0 0 25 0 1 0 889978057 52400128 11780 33554432000 4194304 9016284 140734229046512 18446744073709551615 6561037 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 12793 11780 689 1178 0 11611 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51172
[startup+3.10027 s]
/proc/loadavg: 1.93 1.98 1.96 3/178 21527
/proc/meminfo: memFree=31708436/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=62312 CPUtime=3.09 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 21687 0 0 0 304 5 0 0 25 0 1 0 889978057 63807488 14563 33554432000 4194304 9016284 140734229046512 18446744073709551615 4786445 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 15578 14563 700 1178 0 14396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62312
[startup+6.30066 s]
/proc/loadavg: 1.93 1.98 1.96 3/178 21527
/proc/meminfo: memFree=31673724/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=81040 CPUtime=6.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 26392 0 0 0 621 9 0 0 25 0 1 0 889978057 82984960 19214 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 20260 19214 739 1178 0 19078 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 81040
[startup+12.7006 s]
/proc/loadavg: 1.94 1.98 1.96 3/178 21527
/proc/meminfo: memFree=31656248/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=81040 CPUtime=12.69 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 28046 0 0 0 1254 15 0 0 25 0 1 0 889978057 82984960 19263 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 20260 19263 695 1178 0 19078 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81040
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.96 3/178 21527
/proc/meminfo: memFree=31636816/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=81040 CPUtime=25.5 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 30904 0 0 0 2514 36 0 0 25 0 1 0 889978057 82984960 19271 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 20260 19271 702 1178 0 19078 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 81040
[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.96 3/178 21528
/proc/meminfo: memFree=31610304/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=82796 CPUtime=51.09 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 44389 0 0 0 5017 92 0 0 25 0 1 0 889978057 84783104 19700 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 20699 19700 701 1178 0 19517 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 82796
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.96 3/178 21529
/proc/meminfo: memFree=31581468/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=91760 CPUtime=102.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 50150 0 0 0 10035 195 0 0 25 0 1 0 889978057 93962240 21952 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 22940 21952 701 1178 0 21758 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91760
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21531
/proc/meminfo: memFree=31568312/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=104796 CPUtime=162.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 53442 0 0 0 15909 321 0 0 25 0 1 0 889978057 107311104 25240 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 26199 25240 701 1178 0 25017 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 104796
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21533
/proc/meminfo: memFree=31555708/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=116916 CPUtime=222.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 59998 0 0 0 21795 435 0 0 25 0 1 0 889978057 119721984 28308 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 29229 28308 701 1178 0 28047 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 116916
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21534
/proc/meminfo: memFree=31543100/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=129428 CPUtime=282.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 63165 0 0 0 27677 553 0 0 25 0 1 0 889978057 132534272 31455 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 32357 31455 701 1178 0 31175 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 129428
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21536
/proc/meminfo: memFree=31530528/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=142004 CPUtime=342.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 66316 0 0 0 33559 671 0 0 25 0 1 0 889978057 145412096 34596 33554432000 4194304 9016284 140734229046512 18446744073709551615 7081835 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 35501 34596 701 1178 0 34319 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 142004
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21537
/proc/meminfo: memFree=31517840/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=154316 CPUtime=402.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 72946 0 0 0 39449 781 0 0 25 0 1 0 889978057 158019584 37753 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 38579 37753 701 1178 0 37397 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 154316
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21539
/proc/meminfo: memFree=31506380/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=166260 CPUtime=462.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 75934 0 0 0 45332 898 0 0 25 0 1 0 889978057 170250240 40730 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 41565 40730 701 1178 0 40383 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 166260
[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21540
/proc/meminfo: memFree=31491708/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=180204 CPUtime=522.3 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 79462 0 0 0 51227 1003 0 0 25 0 1 0 889978057 184528896 44247 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 45051 44247 701 1178 0 43869 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 180204
[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.96 3/178 21542
/proc/meminfo: memFree=31476284/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=195860 CPUtime=582.31 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 86732 0 0 0 57109 1122 0 0 25 0 1 0 889978057 200560640 48090 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 48965 48090 701 1178 0 47783 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 195860
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31332640/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=315780 CPUtime=1122.31 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 123610 0 0 0 110053 2178 0 0 25 0 1 0 889978057 323358720 77918 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 78945 77918 701 1178 0 77763 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 315780
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21558
/proc/meminfo: memFree=31313752/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=329116 CPUtime=1182.31 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 126979 0 0 0 115937 2294 0 0 25 0 1 0 889978057 337014784 81282 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 82279 81282 701 1178 0 81097 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 329116
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21560
/proc/meminfo: memFree=31296836/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=340976 CPUtime=1242.32 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 129928 0 0 0 121822 2410 0 0 25 0 1 0 889978057 349159424 84225 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 85244 84225 701 1178 0 84062 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 340976
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21561
/proc/meminfo: memFree=31275852/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=354172 CPUtime=1302.32 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 133312 0 0 0 127709 2523 0 0 25 0 1 0 889978057 362672128 87602 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 88543 87602 701 1178 0 87361 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 354172
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21563
/proc/meminfo: memFree=31259796/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=366644 CPUtime=1362.33 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 136450 0 0 0 133594 2639 0 0 25 0 1 0 889978057 375443456 90736 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 91661 90736 701 1178 0 90479 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 366644
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 21565
/proc/meminfo: memFree=31238528/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=380844 CPUtime=1422.33 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 139984 0 0 0 139484 2749 0 0 25 0 1 0 889978057 389984256 94268 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 95211 94268 701 1178 0 94029 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 380844
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/178 21566
/proc/meminfo: memFree=31223224/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=392872 CPUtime=1482.32 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 143089 0 0 0 145371 2861 0 0 25 0 1 0 889978057 402300928 97371 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 98218 97371 701 1178 0 97036 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 392872
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 21568
/proc/meminfo: memFree=31196772/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=408936 CPUtime=1542.33 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 147150 0 0 0 151262 2971 0 0 25 0 1 0 889978057 418750464 101429 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 102234 101429 701 1178 0 101052 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 408936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21569
/proc/meminfo: memFree=31182476/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=419248 CPUtime=1602.33 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 149745 0 0 0 157144 3089 0 0 25 0 1 0 889978057 429309952 104021 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 104812 104021 701 1178 0 103630 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 419248
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21571
/proc/meminfo: memFree=31162712/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=437660 CPUtime=1662.33 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 153355 0 0 0 163029 3204 0 0 25 0 1 0 889978057 448163840 107622 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 109415 107622 701 1178 0 108233 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 437660
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/178 21572
/proc/meminfo: memFree=31144056/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=449280 CPUtime=1722.34 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 156212 0 0 0 168913 3321 0 0 25 0 1 0 889978057 460062720 110476 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 112320 110476 702 1178 0 111138 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 449280
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 21574
/proc/meminfo: memFree=31127040/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=460076 CPUtime=1782.33 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 158999 0 0 0 174797 3436 0 0 25 0 1 0 889978057 471117824 113254 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 115019 113254 701 1178 0 113837 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 460076
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 21574
/proc/meminfo: memFree=31126420/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=460272 CPUtime=1785.54 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 159092 0 0 0 175111 3443 0 0 25 0 1 0 889978057 471318528 113347 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 115068 113347 701 1178 0 113886 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 460272
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 21574
/proc/meminfo: memFree=31123300/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=463028 CPUtime=1791.94 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 159793 0 0 0 175738 3456 0 0 25 0 1 0 889978057 474140672 114039 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 115757 114039 701 1178 0 114575 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 463028
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 21612
/proc/meminfo: memFree=31385280/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=463540 CPUtime=1795.14 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 159941 0 0 0 176053 3461 0 0 25 0 1 0 889978057 474664960 114187 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 115885 114187 701 1178 0 114703 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 463540
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21612
/proc/meminfo: memFree=31385104/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=464564 CPUtime=1796.74 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 160171 0 0 0 176209 3465 0 0 25 0 1 0 889978057 475713536 114417 33554432000 4194304 9016284 140734229046512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21526/statm: 116141 114417 701 1178 0 114959 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 464564
[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21612
/proc/meminfo: memFree=31385104/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=464564 CPUtime=1797.13 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 160173 0 0 0 176248 3465 0 0 18 0 1 0 889978057 475713536 114419 33554432000 4194304 9016284 140734229046512 18446744073709551615 4330208 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21526/statm: 116141 114419 703 1178 0 114959 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 464564
[startup+1797.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21613
/proc/meminfo: memFree=31384236/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=464564 CPUtime=1797.34 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 160173 0 0 0 176269 3465 0 0 18 0 1 0 889978057 475713536 114419 33554432000 4194304 9016284 140734229046512 18446744073709551615 4897758 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21526/statm: 116141 114419 703 1178 0 114959 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 464564
[startup+1797.41 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21613
/proc/meminfo: memFree=31384236/32950928 swapFree=67052112/67111528
[pid=21526] ppid=21524 vsize=464564 CPUtime=1797.44 cores=0,2,4,6
/proc/21526/stat : 21526 (scip-2.0.1.4b_2) R 21524 21526 18976 0 -1 4202496 160173 0 0 0 176279 3465 0 0 18 0 1 0 889978057 475713536 114419 33554432000 4194304 9016284 140734229046512 18446744073709551615 6812671 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21526/statm: 116141 114419 703 1178 0 114959 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 464564
Child status: 0
Real time (s): 1797.49
CPU time (s): 1797.53
CPU user time (s): 1762.86
CPU system time (s): 34.6737
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 464564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.86
system time used= 34.6737
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2390
runsolver used 2.6066 second user time and 5.57015 second system time
The end