0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2692628-1277932255.wbo>
0.03/0.07 c original problem has 11480 variables (7549 bin, 0 int, 0 impl, 3931 cont) and 7863 constraints
0.03/0.07 c problem read
0.03/0.07 c presolving settings loaded
0.29/0.30 o 199975
0.29/0.30 c feasible solution found by trivial heuristic, objective value 1.999750e+05
0.29/0.30 c presolving:
0.29/0.32 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 3931 impls, 0 clqs
0.29/0.34 c (round 2) 0 del vars, 1 del conss, 3931 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 3931 impls, 0 clqs
0.29/0.35 c (round 3) 0 del vars, 1 del conss, 3931 chg bounds, 537 chg sides, 1074 chg coeffs, 1 upgd conss, 3931 impls, 0 clqs
0.39/0.43 c (0.3s) probing: 101/7549 (1.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.43 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c presolving (4 rounds):
0.39/0.43 c 0 deleted vars, 1 deleted constraints, 3931 tightened bounds, 0 added holes, 537 changed sides, 1074 changed coefficients
0.39/0.43 c 3932 implications, 0 cliques
0.39/0.43 c presolved problem has 11480 variables (7549 bin, 0 int, 0 impl, 3931 cont) and 7862 constraints
0.39/0.43 c 3931 constraints of type <indicator>
0.39/0.43 c 1 constraints of type <varbound>
0.39/0.43 c 3930 constraints of type <linear>
0.39/0.43 c transformed objective value is always integral (scale: 1)
0.39/0.43 c Presolving Time: 0.30
0.39/0.43 c - non default parameters ----------------------------------------------------------------------
0.39/0.43 c # SCIP version 1.2.1.2
0.39/0.43 c
0.39/0.43 c # frequency for displaying node information lines
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43 c display/freq = 10000
0.39/0.43 c
0.39/0.43 c # maximal time in seconds to run
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/time = 1799.94
0.39/0.43 c
0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/memory = 3420
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.43 c
0.39/0.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.46 c t 0.4s| 1 | 0 | 0 | - | 34M| 0 | 0 | 11k|7862 | 11k| 0 | 0 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 201 | - | 35M| 0 | 118 | 11k|7862 | 11k| 201 | 201 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
0.39/0.48 o 199910
0.39/0.48 c y 0.4s| 1 | 0 | 201 | - | 35M| 0 | 118 | 11k|7862 | 11k| 201 | 201 | 0 | 0 | 0.000000e+00 | 1.999100e+05 | Inf
0.49/0.57 c 0.5s| 1 | 0 | 410 | - | 35M| 0 | 172 | 11k|7862 | 11k| 424 | 424 | 0 | 0 | 0.000000e+00 | 1.999100e+05 | Inf
0.69/0.75 c 0.6s| 1 | 0 | 973 | - | 36M| 0 | 397 | 11k|7862 | 11k| 655 | 655 | 0 | 0 | 0.000000e+00 | 1.999100e+05 | Inf
1.00/1.07 c 0.9s| 1 | 0 | 1102 | - | 36M| 0 | 469 | 11k|7862 | 11k| 777 | 777 | 0 | 0 | 0.000000e+00 | 1.999100e+05 | Inf
1.39/1.46 c 1.3s| 1 | 0 | 1226 | - | 36M| 0 | 517 | 11k|7862 | 11k| 864 | 864 | 0 | 0 | 0.000000e+00 | 1.999100e+05 | Inf
1.89/1.93 c 1.8s| 1 | 0 | 1487 | - | 36M| 0 | 546 | 11k|7862 | 11k| 962 | 962 | 0 | 0 | 0.000000e+00 | 1.999100e+05 | Inf
2.89/2.95 c 2.8s| 1 | 2 | 2186 | - | 37M| 0 | 546 | 11k|7862 | 11k| 962 | 962 | 0 | 33 | 0.000000e+00 | 1.999100e+05 | Inf
197.29/197.37 c 193s| 10000 | 10001 |252701 | 25.1 | 72M| 217 | 265 | 11k|7862 | 11k| 819 | 962 | 0 |3663 | 0.000000e+00 | 1.999100e+05 | Inf
321.21/321.25 c 314s| 20000 | 20001 |426900 | 21.3 | 107M| 225 | 250 | 11k|7862 | 11k| 819 | 962 | 0 |5354 | 0.000000e+00 | 1.999100e+05 | Inf
436.20/436.22 c 426s| 30000 | 30001 |587876 | 19.5 | 141M| 225 | 280 | 11k|7862 | 11k| 819 | 962 | 0 |6515 | 0.000000e+00 | 1.999100e+05 | Inf
537.50/537.54 c 526s| 40000 | 40001 |740624 | 18.5 | 176M| 225 | 318 | 11k|7862 | 11k| 819 | 962 | 0 |7568 | 0.000000e+00 | 1.999100e+05 | Inf
644.41/644.43 c 630s| 50000 | 50001 |898707 | 17.9 | 210M| 251 | 254 | 11k|7862 | 11k| 819 | 962 | 0 |8363 | 0.000000e+00 | 1.999100e+05 | Inf
729.61/729.67 c 713s| 60000 | 60001 | 1032k| 17.2 | 245M| 255 | 218 | 11k|7862 | 11k| 819 | 962 | 0 |8930 | 0.000000e+00 | 1.999100e+05 | Inf
825.60/825.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.60/825.61 c 807s| 70000 | 70001 | 1170k| 16.7 | 279M| 393 | 233 | 11k|7862 | 11k| 819 | 962 | 0 | 10k| 0.000000e+00 | 1.999100e+05 | Inf
917.11/917.16 c 896s| 80000 | 80001 | 1288k| 16.1 | 314M| 407 | 276 | 11k|7862 | 11k| 819 | 962 | 0 | 10k| 0.000000e+00 | 1.999100e+05 | Inf
1002.41/1002.46 c 980s| 90000 | 90001 | 1388k| 15.4 | 349M| 497 | 192 | 11k|7862 | 11k| 819 | 962 | 0 | 12k| 0.000000e+00 | 1.999100e+05 | Inf
1069.91/1069.95 c 1046s|100000 |100001 | 1463k| 14.6 | 383M| 629 | 171 | 11k|7862 | 11k| 819 | 962 | 0 | 13k| 0.000000e+00 | 1.999100e+05 | Inf
1135.61/1135.65 c 1111s|110000 |110001 | 1530k| 13.9 | 418M| 679 | 147 | 11k|7862 | 11k| 819 | 962 | 0 | 14k| 0.000000e+00 | 1.999100e+05 | Inf
1186.21/1186.20 c 1160s|120000 |120001 | 1585k| 13.2 | 452M| 749 | 72 | 11k|7862 | 11k| 819 | 962 | 0 | 14k| 0.000000e+00 | 1.999100e+05 | Inf
1230.82/1230.89 c 1204s|130000 |130001 | 1640k| 12.6 | 487M| 757 | 121 | 11k|7862 | 11k| 819 | 962 | 0 | 15k| 0.000000e+00 | 1.999100e+05 | Inf
1277.82/1277.86 c 1250s|140000 |140001 | 1697k| 12.1 | 521M| 815 | 128 | 11k|7862 | 11k| 819 |1877 | 0 | 16k| 0.000000e+00 | 1.999100e+05 | Inf
1322.41/1322.46 c 1293s|150000 |150001 | 1753k| 11.7 | 556M| 877 | 61 | 11k|7862 | 11k| 819 |3228 | 0 | 17k| 0.000000e+00 | 1.999100e+05 | Inf
1364.21/1364.25 c 1334s|160000 |160001 | 1818k| 11.4 | 590M| 911 | 18 | 11k|7862 | 11k| 892 |4777 | 0 | 17k| 0.000000e+00 | 1.999100e+05 | Inf
1410.02/1410.03 c 1378s|170000 |170001 | 1880k| 11.1 | 625M|1003 | 14 | 11k|7862 | 11k| 892 |6191 | 0 | 19k| 0.000000e+00 | 1.999100e+05 | Inf
1455.72/1455.79 c 1423s|180000 |179999 | 1927k| 10.7 | 660M|1241 | 0 | 11k|7863 | 11k| 922 |7879 | 1 | 20k| 0.000000e+00 | 1.999100e+05 | Inf
1505.82/1505.88 c 1472s|190000 |189999 | 1963k| 10.3 | 696M|1255 | 0 | 11k|7863 | 11k| 950 |9682 | 1 | 20k| 0.000000e+00 | 1.999100e+05 | Inf
1555.61/1555.69 c 1521s|200000 |199999 | 1996k| 10.0 | 731M|1347 | 11 | 11k|7863 | 11k| 884 | 11k| 1 | 21k| 0.000000e+00 | 1.999100e+05 | Inf
1608.52/1608.51 c 1573s|210000 |209997 | 2028k| 9.7 | 767M|1355 | 213 | 11k|7864 | 11k| 819 | 13k| 2 | 21k| 0.000000e+00 | 1.999100e+05 | Inf
1660.42/1660.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.42/1660.44 c 1624s|220000 |219997 | 2056k| 9.3 | 802M|1383 | 0 | 11k|7864 | 11k| 951 | 16k| 2 | 21k| 0.000000e+00 | 1.999100e+05 | Inf
1714.32/1714.30 c 1677s|230000 |229997 | 2077k| 9.0 | 838M|1391 | 16 | 11k|7865 | 11k| 819 | 18k| 3 | 22k| 0.000000e+00 | 1.999100e+05 | Inf
1766.02/1766.06 c 1728s|240000 |239997 | 2102k| 8.8 | 873M|1403 | 0 | 11k|7865 | 11k| 893 | 20k| 3 | 22k| 0.000000e+00 | 1.999100e+05 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1761.35
1800.02/1800.00 c Solving Nodes : 246230
1800.02/1800.00 c Primal Bound : +1.99910000000000e+05 (3 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.22/1800.28 s SATISFIABLE
1800.22/1800.28 v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600
1800.22/1800.28 v -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583
1800.22/1800.28 v -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565
1800.22/1800.28 v -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547
1800.22/1800.28 v -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529
1800.22/1800.28 v -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511
1800.22/1800.28 v -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493
1800.22/1800.28 v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475
1800.22/1800.28 v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458
1800.22/1800.28 v -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440
1800.22/1800.28 v -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422
1800.22/1800.28 v -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404
1800.22/1800.28 v -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386
1800.22/1800.28 v -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368
1800.22/1800.28 v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350
1800.22/1800.28 v -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333
1800.22/1800.28 v -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315
1800.22/1800.28 v -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297
1800.22/1800.28 v -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279
1800.22/1800.28 v -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261
1800.22/1800.28 v -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243
1800.22/1800.28 v -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225
1800.22/1800.28 v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208
1800.22/1800.28 v -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190
1800.22/1800.28 v -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172
1800.22/1800.28 v -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154
1800.22/1800.28 v -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136
1800.22/1800.28 v -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
1800.22/1800.28 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
1800.22/1800.28 v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083
1800.22/1800.28 v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065
1800.22/1800.28 v -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047
1800.22/1800.28 v -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029
1800.22/1800.28 v -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011
1800.22/1800.28 v -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993
1800.22/1800.28 v -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975
1800.22/1800.28 v -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958
1800.22/1800.28 v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940
1800.22/1800.28 v -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922
1800.22/1800.28 v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904
1800.22/1800.28 v -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886
1800.22/1800.28 v -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868
1800.22/1800.28 v -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
1800.22/1800.28 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833
1800.22/1800.28 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815
1800.22/1800.28 v -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797
1800.22/1800.28 v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779
1800.22/1800.28 v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761
1800.22/1800.28 v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743
1800.22/1800.28 v -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725
1800.22/1800.28 v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708
1800.22/1800.28 v -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690
1800.22/1800.28 v -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672
1800.22/1800.28 v -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654
1800.22/1800.28 v -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636
1800.22/1800.28 v -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618
1800.22/1800.28 v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600
1800.22/1800.28 v -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583
1800.22/1800.28 v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565
1800.22/1800.28 v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547
1800.22/1800.28 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529
1800.22/1800.28 v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511
1800.22/1800.28 v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493
1800.22/1800.28 v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475
1800.22/1800.28 v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458
1800.22/1800.28 v -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440
1800.22/1800.28 v -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422
1800.22/1800.28 v -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
1800.22/1800.28 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
1800.22/1800.28 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368
1800.22/1800.28 v -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350
1800.22/1800.28 v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333
1800.22/1800.28 v -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315
1800.22/1800.28 v -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297
1800.22/1800.28 v -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279
1800.22/1800.28 v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261
1800.22/1800.28 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243
1800.22/1800.28 v -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225
1800.22/1800.28 v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208
1800.22/1800.28 v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190
1800.22/1800.28 v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172
1800.22/1800.28 v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154
1800.22/1800.28 v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136
1800.22/1800.28 v -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118
1800.22/1800.28 v -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100
1800.22/1800.28 v -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083
1800.22/1800.28 v -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065
1800.22/1800.28 v -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047
1800.22/1800.28 v -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029
1800.22/1800.28 v -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011
1800.22/1800.28 v -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993
1800.22/1800.28 v -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975
1800.22/1800.28 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958
1800.22/1800.28 v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940
1800.22/1800.28 v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922
1800.22/1800.28 v -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904
1800.22/1800.28 v -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886
1800.22/1800.28 v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868
1800.22/1800.28 v -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
1800.22/1800.28 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833
1800.22/1800.28 v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815
1800.22/1800.28 v -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797
1800.22/1800.28 v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779
1800.22/1800.28 v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761
1800.22/1800.28 v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743
1800.22/1800.28 v -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725
1800.22/1800.28 v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708
1800.22/1800.28 v -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690
1800.22/1800.28 v -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672
1800.22/1800.28 v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654
1800.22/1800.28 v -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636
1800.22/1800.28 v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618
1800.22/1800.28 v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600
1800.22/1800.28 v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
1800.22/1800.28 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
1800.22/1800.28 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
1800.22/1800.28 v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529
1800.22/1800.28 v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 x1516 -x1515 -x1514 -x1513 -x1512 -x1511
1800.22/1800.28 v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493
1800.22/1800.28 v -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475
1800.22/1800.28 v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457
1800.22/1800.28 v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440
1800.22/1800.28 v -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422
1800.22/1800.28 v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404
1800.22/1800.28 v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386
1800.22/1800.28 v -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368
1800.22/1800.28 v -x1367 -x1366 -x1365 -x1364 -x1363 x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 x1355 -x1354 -x1353 -x1352 -x1351 -x1350
1800.22/1800.28 v -x1349 -x1348 -x1347 -x1346 x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
1800.22/1800.28 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314
1800.22/1800.28 v -x1313 -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
1800.22/1800.28 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 -x1280 -x1279 -x1278
1800.22/1800.28 v -x1277 x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
1800.22/1800.28 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
1800.22/1800.28 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
1800.22/1800.28 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206
1800.22/1800.28 v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
1800.22/1800.28 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170
1800.22/1800.28 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153
1800.22/1800.28 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
1800.22/1800.28 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116
1800.22/1800.28 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098
1800.22/1800.28 v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080
1800.22/1800.28 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
1800.22/1800.28 v x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
1800.22/1800.28 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026
1800.22/1800.28 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
1800.22/1800.28 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
1800.22/1800.28 v -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
1800.22/1800.28 v -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 x948 -x947
1800.22/1800.28 v -x946 -x945 x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 x928 -x927 -x926 -x925
1800.22/1800.28 v x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 x906 -x905 -x904
1800.22/1800.28 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1800.22/1800.28 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1800.22/1800.28 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1800.22/1800.28 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1800.22/1800.28 v x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799
1800.22/1800.28 v -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778
1800.22/1800.28 v -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756
1800.22/1800.28 v -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
1800.22/1800.28 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1800.22/1800.28 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 x700 -x699 -x698 -x697 x696 -x695 -x694 -x693
1800.22/1800.28 v x692 -x691 -x690 -x689 x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
1800.22/1800.28 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651
1800.22/1800.28 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630
1800.22/1800.28 v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609
1800.22/1800.28 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588
1800.22/1800.28 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.22/1800.28 v x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 x547 -x546
1800.22/1800.28 v -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525
1800.22/1800.28 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504
1800.22/1800.28 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483
1800.22/1800.28 v -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
1800.22/1800.28 v -x461 -x460 x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441
1800.22/1800.28 v -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419
1800.22/1800.28 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 x401 -x400 -x399 -x398
1800.22/1800.28 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
1800.22/1800.28 v -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356
1800.22/1800.28 v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336
1800.22/1800.28 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315
1800.22/1800.28 v -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293
1800.22/1800.28 v -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272
1800.22/1800.28 v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251
1800.22/1800.28 v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230
1800.22/1800.28 v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 x209
1800.22/1800.28 v -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
1800.22/1800.28 v -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
1800.22/1800.28 v -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146
1800.22/1800.28 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.22/1800.28 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.22/1800.28 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79
1800.22/1800.28 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54
1800.22/1800.28 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.22/1800.28 v -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2
1800.22/1800.28 v -x1
1800.22/1800.28 c SCIP Status : solving was interrupted [user interrupt]
1800.22/1800.28 c Solving Time : 1761.35
1800.22/1800.28 c Original Problem :
1800.22/1800.28 c Problem name : HOME/instance-2692628-1277932255.wbo
1800.22/1800.28 c Variables : 11480 (7549 binary, 0 integer, 0 implicit integer, 3931 continuous)
1800.22/1800.28 c Constraints : 7863 initial, 7863 maximal
1800.22/1800.28 c Presolved Problem :
1800.22/1800.28 c Problem name : t_HOME/instance-2692628-1277932255.wbo
1800.22/1800.28 c Variables : 11480 (7549 binary, 0 integer, 0 implicit integer, 3931 continuous)
1800.22/1800.28 c Constraints : 7862 initial, 7865 maximal
1800.22/1800.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.22/1800.28 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c implics : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c probing : 0.06 0 0 0 0 0 0 0 0
1800.22/1800.28 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c linear : 0.04 0 0 0 3931 0 1 537 1074
1800.22/1800.28 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.22/1800.28 c root node : - 0 - - 0 - - - -
1800.22/1800.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.22/1800.28 c integral : 0 0 0 249701 0 0 0 0 0 417042
1800.22/1800.28 c indicator : 3931 0 579254 41180 0 0 92689 0 0 0
1800.22/1800.28 c varbound : 1 6 579254 41180 0 0 0 1 0 0
1800.22/1800.28 c linear : 3930 6 579254 41180 0 0 105532 21250 0 0
1800.22/1800.28 c logicor : 0+ 0 285 0 0 0 130 0 0 0
1800.22/1800.28 c countsols : 0 0 0 37707 0 0 0 0 0 0
1800.22/1800.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.22/1800.28 c integral : 94.33 0.00 0.00 94.33 0.00
1800.22/1800.28 c indicator : 76.41 0.01 53.79 22.61 0.00
1800.22/1800.28 c varbound : 0.02 0.00 0.01 0.01 0.00
1800.22/1800.28 c linear : 78.84 0.01 46.35 32.48 0.00
1800.22/1800.28 c logicor : 0.00 0.00 0.00 0.00 0.00
1800.22/1800.28 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.22/1800.28 c Propagators : Time Calls Cutoffs DomReds
1800.22/1800.28 c vbounds : 0.06 2 0 0
1800.22/1800.28 c rootredcost : 0.02 1 0 0
1800.22/1800.28 c pseudoobj : 55.04 579054 0 0
1800.22/1800.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.22/1800.28 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.22/1800.28 c infeasible LP : 0.00 3 3 3 7.7 0 0.0 0
1800.22/1800.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.22/1800.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.22/1800.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.22/1800.28 c applied globally : - - - 3 7.7 - - -
1800.22/1800.28 c applied locally : - - - 0 0.0 - - -
1800.22/1800.28 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.22/1800.28 c cut pool : 0.00 4 - - 111 - (maximal pool size: 875)
1800.22/1800.28 c redcost : 63.01 249443 0 0 0 0
1800.22/1800.28 c impliedbounds : 0.00 5 0 0 0 0
1800.22/1800.28 c intobj : 0.00 0 0 0 0 0
1800.22/1800.28 c cgmip : 0.00 0 0 0 0 0
1800.22/1800.28 c gomory : 0.02 5 0 0 39 0
1800.22/1800.28 c strongcg : 0.00 5 0 0 0 0
1800.22/1800.28 c cmir : 0.43 5 0 0 392 0
1800.22/1800.28 c flowcover : 0.80 5 0 0 575 0
1800.22/1800.28 c clique : 0.00 1 0 0 0 0
1800.22/1800.28 c zerohalf : 0.00 0 0 0 0 0
1800.22/1800.28 c mcf : 0.00 1 0 0 0 0
1800.22/1800.28 c rapidlearning : 0.00 0 0 0 0 0
1800.22/1800.28 c Pricers : Time Calls Vars
1800.22/1800.28 c problem variables: 0.00 0 0
1800.22/1800.28 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.22/1800.28 c relpscost : 94.23 208521 0 0 0 0 417042
1800.22/1800.28 c pscost : 0.00 0 0 0 0 0 0
1800.22/1800.28 c inference : 40.66 37707 0 0 0 0 75414
1800.22/1800.28 c mostinf : 0.00 0 0 0 0 0 0
1800.22/1800.28 c leastinf : 0.00 0 0 0 0 0 0
1800.22/1800.28 c fullstrong : 0.00 0 0 0 0 0 0
1800.22/1800.28 c allfullstrong : 0.00 0 0 0 0 0 0
1800.22/1800.28 c random : 0.00 0 0 0 0 0 0
1800.22/1800.28 c Primal Heuristics : Time Calls Found
1800.22/1800.28 c LP solutions : 0.00 - 0
1800.22/1800.28 c pseudo solutions : 0.00 - 0
1800.22/1800.28 c crossover : 0.10 0 0
1800.22/1800.28 c feaspump : 0.01 0 0
1800.22/1800.28 c oneopt : 0.29 1 0
1800.22/1800.28 c rootsoldiving : 2.49 21 0
1800.22/1800.28 c intshifting : 1.71 49 0
1800.22/1800.28 c veclendiving : 51.91 149 0
1800.22/1800.28 c pscostdiving : 133.67 174 0
1800.22/1800.28 c fracdiving : 134.96 174 0
1800.22/1800.28 c linesearchdiving : 103.09 175 0
1800.22/1800.28 c guideddiving : 104.87 175 0
1800.22/1800.28 c coefdiving : 119.15 175 0
1800.22/1800.28 c objpscostdiving : 10.89 142 0
1800.22/1800.28 c trivial : 0.22 2 2
1800.22/1800.28 c simplerounding : 0.28 194492 0
1800.22/1800.28 c zirounding : 0.10 1000 0
1800.22/1800.28 c rounding : 0.42 6178 0
1800.22/1800.28 c shifting : 12.05 1955 0
1800.22/1800.28 c twoopt : 0.00 0 0
1800.22/1800.28 c fixandinfer : 0.00 0 0
1800.22/1800.28 c intdiving : 0.00 0 0
1800.22/1800.28 c actconsdiving : 0.00 0 0
1800.22/1800.28 c octane : 0.00 0 0
1800.22/1800.28 c rens : 0.06 1 0
1800.22/1800.28 c rins : 0.00 0 0
1800.22/1800.28 c localbranching : 0.00 0 0
1800.22/1800.28 c mutation : 0.00 0 0
1800.22/1800.28 c dins : 0.00 0 0
1800.22/1800.28 c undercover : 0.00 0 0
1800.22/1800.28 c nlp : 0.01 0 0
1800.22/1800.28 c trysol : 6.66 2504 1
1800.22/1800.28 c LP : Time Calls Iterations Iter/call Iter/sec
1800.22/1800.28 c primal LP : 0.00 0 0 0.00 -
1800.22/1800.28 c dual LP : 455.05 199625 1624324 8.14 3569.55
1800.22/1800.28 c lex dual LP : 0.00 0 0 0.00 -
1800.22/1800.28 c barrier LP : 0.00 0 0 0.00 -
1800.22/1800.28 c diving/probing LP: 345.10 232359 489941 2.11 1419.71
1800.22/1800.28 c strong branching : 83.33 22408 261235 11.66 3134.95
1800.22/1800.28 c (at root node) : - 33 7480 226.67 -
1800.22/1800.28 c conflict analysis: 0.00 0 0 0.00 -
1800.22/1800.28 c B&B Tree :
1800.22/1800.28 c number of runs : 1
1800.22/1800.28 c nodes : 246230
1800.22/1800.28 c nodes (total) : 246230
1800.22/1800.28 c nodes left : 246227
1800.22/1800.28 c max depth : 1407
1800.22/1800.28 c max depth (total): 1407
1800.22/1800.28 c backtracks : 1051 (0.4%)
1800.22/1800.28 c delayed cutoffs : 0
1800.22/1800.28 c repropagations : 393 (2 domain reductions, 0 cutoffs)
1800.22/1800.28 c avg switch length: 2.22
1800.22/1800.28 c switching time : 34.68
1800.22/1800.28 c Solution :
1800.22/1800.28 c Solutions found : 3 (2 improvements)
1800.22/1800.28 c First Solution : +1.99975000000000e+05 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.22/1800.28 c Primal Bound : +1.99910000000000e+05 (in run 1, after 1 nodes, 0.37 seconds, depth 0, found by <trysol>)
1800.22/1800.28 c Dual Bound : +0.00000000000000e+00
1800.22/1800.28 c Gap : infinite
1800.22/1800.28 c Root Dual Bound : +0.00000000000000e+00
1800.22/1800.28 c Root Iterations : 1487
1800.52/1800.56 c Time complete: 1800.59.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692628-1277932255/watcher-2692628-1277932255 -o /tmp/evaluation-result-2692628-1277932255/solver-2692628-1277932255 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692628-1277932255.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14756
/proc/meminfo: memFree=31218208/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=9408 CPUtime=0
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 134521858 9633792 1568 4089446400 4194304 8223781 140736820745856 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14756/statm: 2352 1569 369 984 0 1365 0
[startup+0.039376 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14756
/proc/meminfo: memFree=31218208/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=19884 CPUtime=0.03
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 4292 0 0 0 3 0 0 0 25 0 1 0 134521858 20361216 4212 4089446400 4194304 8223781 140736820745856 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14756/statm: 4971 4212 369 984 0 3984 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19884
[startup+0.100368 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14756
/proc/meminfo: memFree=31218208/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=45372 CPUtime=0.09
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 11002 0 0 0 8 1 0 0 25 0 1 0 134521858 46460928 10529 4089446400 4194304 8223781 140736820745856 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 11472 10549 400 984 0 10485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45372
[startup+0.300326 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14756
/proc/meminfo: memFree=31218208/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=52856 CPUtime=0.29
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 12402 0 0 0 28 1 0 0 25 0 1 0 134521858 54124544 11929 4089446400 4194304 8223781 140736820745856 18446744073709551615 6207086 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 13214 11929 429 984 0 12227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52856
[startup+0.70026 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 14756
/proc/meminfo: memFree=31218208/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=64876 CPUtime=0.69
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 16484 0 0 0 64 5 0 0 25 0 1 0 134521858 66433024 14922 4089446400 4194304 8223781 140736820745856 18446744073709551615 5727835 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 16219 14922 576 984 0 15232 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64876
[startup+1.50013 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 14757
/proc/meminfo: memFree=31156848/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=68952 CPUtime=1.49
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 17503 0 0 0 143 6 0 0 25 0 1 0 134521858 70606848 15921 4089446400 4194304 8223781 140736820745856 18446744073709551615 5716465 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 17238 15921 573 984 0 16251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68952
[startup+3.10085 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 14757
/proc/meminfo: memFree=31154864/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=69648 CPUtime=3.09
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 27569 0 0 0 295 14 0 0 25 0 1 0 134521858 71319552 16119 4089446400 4194304 8223781 140736820745856 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 17412 16119 587 984 0 16425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69648
[startup+6.30031 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14757
/proc/meminfo: memFree=31152568/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=69736 CPUtime=6.29
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 29855 0 0 0 599 30 0 0 25 0 1 0 134521858 71409664 16136 4089446400 4194304 8223781 140736820745856 18446744073709551615 6446678 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 17434 16136 587 984 0 16447 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69736
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 14757
/proc/meminfo: memFree=31150104/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=69668 CPUtime=12.69
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 34383 0 0 0 1200 69 0 0 25 0 1 0 134521858 71340032 16118 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 17417 16118 587 984 0 16430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69668
[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 14757
/proc/meminfo: memFree=31143352/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=72608 CPUtime=25.49
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 39094 0 0 0 2439 110 0 0 25 0 1 0 134521858 74350592 16872 4089446400 4194304 8223781 140736820745856 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 18152 16872 589 984 0 17165 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72608
[startup+51.1008 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 14759
/proc/meminfo: memFree=31127276/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=75824 CPUtime=51.09
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 47352 0 0 0 4947 162 0 0 25 0 1 0 134521858 77643776 17653 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 18956 17653 590 984 0 17969 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 75824
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 14759
/proc/meminfo: memFree=31096496/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=84428 CPUtime=102.3
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 67887 0 0 0 9958 272 0 0 25 0 1 0 134521858 86454272 19805 4089446400 4194304 8223781 140736820745856 18446744073709551615 6326827 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 21107 19805 590 984 0 20120 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 84428
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14761
/proc/meminfo: memFree=31049704/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=100016 CPUtime=162.29
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 77375 0 0 0 15845 384 0 0 25 0 1 0 134521858 102416384 23728 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 25004 23728 590 984 0 24017 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 100016
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14763
/proc/meminfo: memFree=31005160/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=115112 CPUtime=222.29
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 88015 0 0 0 21718 511 0 0 25 0 1 0 134521858 117874688 27510 4089446400 4194304 8223781 140736820745856 18446744073709551615 6445297 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 28778 27510 590 984 0 27791 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 115112
[startup+282.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 14765
/proc/meminfo: memFree=30960604/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=131020 CPUtime=282.3
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 99827 0 0 0 27597 633 0 0 25 0 1 0 134521858 134164480 31515 4089446400 4194304 8223781 140736820745856 18446744073709551615 6003233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 32755 31515 590 984 0 31768 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 131020
[startup+342.301 s]
/proc/loadavg: 2.11 2.02 2.01 3/179 14765
/proc/meminfo: memFree=30917768/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=146848 CPUtime=342.3
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 112054 0 0 0 33471 759 0 0 25 0 1 0 134521858 150372352 35489 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 36712 35489 590 984 0 35725 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 146848
[startup+402.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14767
/proc/meminfo: memFree=30867400/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=164132 CPUtime=402.3
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 131116 0 0 0 39334 896 0 0 25 0 1 0 134521858 168071168 39820 4089446400 4194304 8223781 140736820745856 18446744073709551615 6520480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 41033 39820 590 984 0 40046 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 164132
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14769
/proc/meminfo: memFree=30819248/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=182080 CPUtime=462.3
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 142370 0 0 0 45207 1023 0 0 25 0 1 0 134521858 186449920 44340 4089446400 4194304 8223781 140736820745856 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 45520 44340 590 984 0 44533 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 182080
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14771
/proc/meminfo: memFree=30768376/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=202456 CPUtime=522.3
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 150350 0 0 0 51078 1152 0 0 25 0 1 0 134521858 207314944 49458 4089446400 4194304 8223781 140736820745856 18446744073709551615 6444405 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 50614 49458 590 984 0 49627 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 202456
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14773
/proc/meminfo: memFree=30714388/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=223276 CPUtime=582.3
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 172492 0 0 0 56940 1290 0 0 25 0 1 0 134521858 228634624 54684 4089446400 4194304 8223781 140736820745856 18446744073709551615 6455710 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 55819 54684 590 984 0 54832 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 223276
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14773
/proc/meminfo: memFree=30661768/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=243844 CPUtime=642.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 195467 0 0 0 62793 1438 0 0 25 0 1 0 134521858 249696256 59850 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 60961 59850 590 984 0 59974 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 243844
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14783
/proc/meminfo: memFree=30331284/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=381256 CPUtime=1002.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 317204 0 0 0 97988 2243 0 0 25 0 1 0 134521858 390406144 93848 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 95314 93848 590 984 0 94327 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 381256
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14785
/proc/meminfo: memFree=30272084/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=407984 CPUtime=1062.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 326332 0 0 0 103868 2363 0 0 25 0 1 0 134521858 417775616 100565 4089446400 4194304 8223781 140736820745856 18446744073709551615 6162534 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 101996 100565 590 984 0 101009 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 407984
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14787
/proc/meminfo: memFree=30208172/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=438744 CPUtime=1122.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 337738 0 0 0 109749 2482 0 0 25 0 1 0 134521858 449273856 108282 4089446400 4194304 8223781 140736820745856 18446744073709551615 6003165 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 109686 108282 590 984 0 108699 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 438744
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14789
/proc/meminfo: memFree=30137688/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=476540 CPUtime=1182.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 347308 0 0 0 115630 2601 0 0 25 0 1 0 134521858 487976960 117775 4089446400 4194304 8223781 140736820745856 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 119135 117775 590 984 0 118148 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 476540
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14792
/proc/meminfo: memFree=30057728/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=522856 CPUtime=1242.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 358938 0 0 0 121497 2734 0 0 25 0 1 0 134521858 535404544 129405 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 130714 129405 590 984 0 129727 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 522856
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14794
/proc/meminfo: memFree=29985132/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=565432 CPUtime=1302.32
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 413155 0 0 0 127350 2882 0 0 25 0 1 0 134521858 579002368 140063 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 141358 140063 592 984 0 140371 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 565432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14796
/proc/meminfo: memFree=29907220/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=614520 CPUtime=1362.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 456899 0 0 0 133197 3034 0 0 25 0 1 0 134521858 629268480 152394 4089446400 4194304 8223781 140736820745856 18446744073709551615 6444686 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 153630 152394 592 984 0 152643 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 614520
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14798
/proc/meminfo: memFree=29835252/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=657572 CPUtime=1422.32
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 516926 0 0 0 139041 3191 0 0 25 0 1 0 134521858 673353728 163214 4089446400 4194304 8223781 140736820745856 18446744073709551615 6520475 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 164393 163214 592 984 0 163406 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 657572
[startup+1482.3 s]
/proc/loadavg: 1.71 1.93 1.98 2/171 14822
/proc/meminfo: memFree=30910188/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=702676 CPUtime=1482.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 559887 0 0 0 144921 3310 0 0 25 0 1 0 134521858 719540224 174572 4089446400 4194304 8223781 140736820745856 18446744073709551615 4414565 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 175669 174572 597 984 0 174682 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 702676
[startup+1542.3 s]
/proc/loadavg: 1.26 1.76 1.91 2/171 14822
/proc/meminfo: memFree=30866968/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=748636 CPUtime=1542.32
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 615414 0 0 0 150803 3429 0 0 25 0 1 0 134521858 766603264 185084 4089446400 4194304 8223781 140736820745856 18446744073709551615 6003331 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 187159 185084 597 984 0 186172 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 748636
[startup+1602.3 s]
/proc/loadavg: 1.09 1.62 1.85 2/171 14824
/proc/meminfo: memFree=30824780/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=791828 CPUtime=1602.32
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 666291 0 0 0 156699 3533 0 0 25 0 1 0 134521858 810831872 195884 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 197957 195884 597 984 0 196970 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 791828
[startup+1662.3 s]
/proc/loadavg: 1.03 1.50 1.80 2/171 14826
/proc/meminfo: memFree=30784436/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=830756 CPUtime=1662.32
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 696610 0 0 0 162593 3639 0 0 25 0 1 0 134521858 850694144 205664 4089446400 4194304 8223781 140736820745856 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 207689 205664 597 984 0 206702 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 830756
[startup+1722.3 s]
/proc/loadavg: 1.01 1.41 1.75 2/171 14828
/proc/meminfo: memFree=30746704/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=869224 CPUtime=1722.31
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 726055 0 0 0 168499 3732 0 0 25 0 1 0 134521858 890085376 215342 4089446400 4194304 8223781 140736820745856 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 217306 215342 597 984 0 216319 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 869224
[startup+1782.3 s]
/proc/loadavg: 1.00 1.33 1.70 2/171 14830
/proc/meminfo: memFree=30706500/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=908168 CPUtime=1782.32
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 754311 0 0 0 174402 3830 0 0 25 0 1 0 134521858 929964032 225138 4089446400 4194304 8223781 140736820745856 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 227042 225138 597 984 0 226055 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 908168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.31 1.68 2/171 14830
/proc/meminfo: memFree=30693972/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=920508 CPUtime=1800.02
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 771373 0 0 0 176140 3862 0 0 25 0 1 0 134521858 942600192 228235 4089446400 4194304 8223781 140736820745856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14756/statm: 230127 228235 597 984 0 229140 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 920508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 1.00 1.31 1.68 2/171 14830
/proc/meminfo: memFree=30693972/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=920508 CPUtime=1800.22
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 771377 0 0 0 176160 3862 0 0 25 0 1 0 134521858 942600192 228235 4089446400 4194304 8223781 140736820745856 18446744073709551615 4241129 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14756/statm: 230127 228235 597 984 0 229140 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 920508
[startup+1800.4 s]
/proc/loadavg: 1.00 1.31 1.68 2/171 14830
/proc/meminfo: memFree=30693972/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=817592 CPUtime=1800.42
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 771379 0 0 0 176179 3863 0 0 25 0 1 0 134521858 837214208 202508 4089446400 4194304 8223781 140736820745856 18446744073709551615 6206487 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14756/statm: 204398 202508 599 984 0 203411 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 817592
[startup+1800.5 s]
/proc/loadavg: 1.00 1.31 1.68 2/171 14830
/proc/meminfo: memFree=30693972/32950928 swapFree=67111528/67111528
[pid=14756] ppid=14754 vsize=349304 CPUtime=1800.52
/proc/14756/stat : 14756 (pbscip.linux.x8) R 14754 14756 14426 0 -1 4202496 771379 0 0 0 176187 3865 0 0 25 0 1 0 134521858 357687296 85436 4089446400 4194304 8223781 140736820745856 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14756/statm: 87326 85436 599 984 0 86339 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 349304
Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.6
CPU user time (s): 1761.94
CPU system time (s): 38.6631
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 920560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.94
system time used= 38.6631
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 771386
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= 2
involuntary context switches= 3015
runsolver used 2.67359 second user time and 6.86596 second system time
The end
Begin job on node126 at 2010-06-30 23:10:55
IDJOB=2692628
IDBENCH=79336
IDSOLVER=1204
FILE ID=node126/2692628-1277932255
PBS_JOBID= 11197418
Free space on /tmp= 74184 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692628-1277932255/watcher-2692628-1277932255 -o /tmp/evaluation-result-2692628-1277932255/solver-2692628-1277932255 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692628-1277932255.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 089f801cecdf2ec1cd48445a7f0604a7
RANDOM SEED=926688244
node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.72
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.835
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31218364 kB
Buffers: 212460 kB
Cached: 932620 kB
SwapCached: 0 kB
Active: 914420 kB
Inactive: 673468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31218364 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4696 kB
Writeback: 0 kB
AnonPages: 442496 kB
Mapped: 17320 kB
Slab: 79088 kB
PageTables: 5604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 601440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74188 MiB
End job on node126 at 2010-06-30 23:40:57