Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1790.62 | 1790.53 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo |
| MD5SUM | 089f801cecdf2ec1cd48445a7f0604a7 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.038993 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 3618 |
| Total number of constraints | 3931 |
| Number of soft constraints | 3931 |
| Number of constraints which are clauses | 2865 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1066 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 199976 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 199975 |
| Biggest number in a constraint | 7394 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 19679 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705347-1278578357.wbo>
0.04/0.06 c original problem has 11480 variables (7549 bin, 0 int, 3931 impl, 0 cont) and 7863 constraints
0.04/0.06 c problem read
0.04/0.06 c presolving settings loaded
0.19/0.28 o 199975
0.19/0.28 c feasible solution found by trivial heuristic, objective value 1.999750e+05
0.19/0.28 c presolving:
0.19/0.29 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.30 c (round 2) 0 del vars, 1 del conss, 3931 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.32 c (round 3) 0 del vars, 1 del conss, 3931 chg bounds, 537 chg sides, 1074 chg coeffs, 1 upgd conss, 6796 impls, 0 clqs
0.29/0.39 c (0.3s) probing: 101/7549 (1.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.39 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.29/0.39 c presolving (4 rounds):
0.29/0.39 c 0 deleted vars, 1 deleted constraints, 3931 tightened bounds, 0 added holes, 537 changed sides, 1074 changed coefficients
0.29/0.39 c 6800 implications, 0 cliques
0.29/0.39 c presolved problem has 11480 variables (7549 bin, 0 int, 3931 impl, 0 cont) and 7862 constraints
0.29/0.39 c 1 constraints of type <varbound>
0.29/0.39 c 3930 constraints of type <linear>
0.29/0.39 c 3931 constraints of type <indicator>
0.29/0.39 c transformed objective value is always integral (scale: 1)
0.29/0.39 c Presolving Time: 0.29
0.29/0.39 c - non default parameters ----------------------------------------------------------------------
0.29/0.39 c # SCIP version 1.2.1.3
0.29/0.39 c
0.29/0.39 c # frequency for displaying node information lines
0.29/0.39 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.39 c display/freq = 10000
0.29/0.39 c
0.29/0.39 c # maximal time in seconds to run
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/time = 1789.94
0.29/0.39 c
0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.39 c limits/memory = 3420
0.29/0.39 c
0.29/0.39 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.39 c # [type: int, range: [1,2], default: 1]
0.29/0.39 c timing/clocktype = 2
0.29/0.39 c
0.29/0.39 c # should presolving try to simplify inequalities
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/linear/simplifyinequalities = TRUE
0.29/0.39 c
0.29/0.39 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/indicator/addCouplingCons = TRUE
0.29/0.39 c
0.29/0.39 c # should presolving try to simplify knapsacks
0.29/0.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.39 c
0.29/0.39 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.39 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.39 c separating/rapidlearning/freq = 0
0.29/0.39 c
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c start solving
0.29/0.39 c
0.39/0.41 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.41 c t 0.3s| 1 | 0 | 0 | - | 35M| 0 | 0 | 11k|7862 | 11k| 0 | 0 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 198 | - | 36M| 0 | 112 | 11k|7862 | 11k| 201 | 201 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
0.49/0.50 c 0.4s| 1 | 0 | 352 | - | 36M| 0 | 123 | 11k|7862 | 11k| 419 | 419 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
0.59/0.60 c 0.5s| 1 | 0 | 565 | - | 36M| 0 | 365 | 11k|7862 | 11k| 625 | 625 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
0.79/0.85 c 0.8s| 1 | 0 | 759 | - | 36M| 0 | 450 | 11k|7862 | 11k| 776 | 776 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
1.19/1.20 c 1.1s| 1 | 0 | 931 | - | 37M| 0 | 516 | 11k|7862 | 11k| 851 | 851 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
1.59/1.60 c 1.5s| 1 | 0 | 1132 | - | 37M| 0 | 563 | 11k|7862 | 11k| 949 | 949 | 0 | 0 | 0.000000e+00 | 1.999750e+05 | Inf
1.89/1.90 c 1.8s| 1 | 2 | 1132 | - | 37M| 0 | 563 | 11k|7862 | 11k| 949 | 949 | 0 | 33 | 0.000000e+00 | 1.999750e+05 | Inf
154.00/154.01 c 154s| 10000 | 10001 |152897 | 15.2 | 73M| 293 | 271 | 11k|7862 | 11k| 928 | 949 | 0 |4684 | 0.000000e+00 | 1.999750e+05 | Inf
245.00/245.04 c 245s| 20000 | 20001 |272045 | 13.5 | 108M| 293 | 368 | 11k|7862 | 11k| 928 | 949 | 0 |5927 | 0.000000e+00 | 1.999750e+05 | Inf
346.11/346.18 c 346s| 30000 | 30001 |407029 | 13.5 | 143M| 293 | 489 | 11k|7862 | 11k| 928 | 949 | 0 |7574 | 0.000000e+00 | 1.999750e+05 | Inf
409.90/409.91 o 199910
409.90/409.91 c y 410s| 38169 | 38168 |497726 | 13.0 | 172M| 293 | 379 | 11k|7862 | 11k| 928 | 949 | 0 |8407 | 0.000000e+00 | 1.999100e+05 | Inf
448.01/448.03 c 448s| 40000 | 40001 |532069 | 13.3 | 178M| 293 | 370 | 11k|7862 | 11k| 928 | 949 | 0 |8478 | 0.000000e+00 | 1.999100e+05 | Inf
551.92/551.93 c 552s| 50000 | 50001 |636085 | 12.7 | 213M| 329 | 248 | 11k|7862 | 11k| 928 | 949 | 0 |9334 | 0.000000e+00 | 1.999100e+05 | Inf
629.32/629.32 c 629s| 60000 | 60001 |723993 | 12.0 | 248M| 441 | 166 | 11k|7862 | 11k| 928 | 949 | 0 | 10k| 0.000000e+00 | 1.999100e+05 | Inf
692.93/692.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.93/692.99 c 693s| 70000 | 70001 |794130 | 11.3 | 283M| 443 | 236 | 11k|7862 | 11k| 928 | 949 | 0 | 10k| 0.000000e+00 | 1.999100e+05 | Inf
761.63/761.65 c 762s| 80000 | 80001 |866898 | 10.8 | 318M| 443 | 173 | 11k|7862 | 11k| 928 | 949 | 0 | 11k| 0.000000e+00 | 1.999100e+05 | Inf
827.73/827.74 c 828s| 90000 | 90001 |934947 | 10.4 | 353M| 443 | 259 | 11k|7862 | 11k| 928 | 949 | 0 | 11k| 0.000000e+00 | 1.999100e+05 | Inf
891.84/891.86 c 892s|100000 |100001 | 1016k| 10.2 | 388M| 443 | 264 | 11k|7862 | 11k| 928 | 949 | 0 | 12k| 0.000000e+00 | 1.999100e+05 | Inf
958.94/958.97 c 959s|110000 |110001 | 1085k| 9.9 | 423M| 443 | 166 | 11k|7862 | 11k| 928 | 949 | 0 | 12k| 0.000000e+00 | 1.999100e+05 | Inf
1025.04/1025.08 c 1025s|120000 |120001 | 1154k| 9.6 | 458M| 443 | 135 | 11k|7862 | 11k| 928 | 949 | 0 | 13k| 0.000000e+00 | 1.999100e+05 | Inf
1088.74/1088.73 c 1089s|130000 |130001 | 1223k| 9.4 | 493M| 443 | 156 | 11k|7862 | 11k| 928 | 949 | 0 | 13k| 0.000000e+00 | 1.999100e+05 | Inf
1161.14/1161.10 c 1161s|140000 |140001 | 1300k| 9.3 | 528M| 443 | 227 | 11k|7862 | 11k| 928 | 949 | 0 | 14k| 0.000000e+00 | 1.999100e+05 | Inf
1231.05/1231.06 c 1231s|150000 |150001 | 1379k| 9.2 | 563M| 443 | 253 | 11k|7862 | 11k| 928 | 949 | 0 | 15k| 0.000000e+00 | 1.999100e+05 | Inf
1295.35/1295.37 c 1295s|160000 |160001 | 1454k| 9.1 | 598M| 443 | 294 | 11k|7862 | 11k| 928 | 949 | 0 | 15k| 0.000000e+00 | 1.999100e+05 | Inf
1359.46/1359.50 c 1359s|170000 |170001 | 1520k| 8.9 | 633M| 443 | 258 | 11k|7862 | 11k| 928 | 949 | 0 | 16k| 0.000000e+00 | 1.999100e+05 | Inf
1421.56/1421.57 c 1422s|180000 |180001 | 1586k| 8.8 | 668M| 443 | 144 | 11k|7862 | 11k| 928 | 949 | 0 | 17k| 0.000000e+00 | 1.999100e+05 | Inf
1490.76/1490.76 c 1491s|190000 |190001 | 1658k| 8.7 | 703M| 443 | 248 | 11k|7862 | 11k| 928 | 949 | 0 | 18k| 0.000000e+00 | 1.999100e+05 | Inf
1555.47/1555.44 c 1555s|200000 |200001 | 1736k| 8.7 | 738M| 443 | 168 | 11k|7862 | 11k| 928 | 949 | 0 | 18k| 0.000000e+00 | 1.999100e+05 | Inf
1623.68/1623.62 c 1624s|210000 |210001 | 1807k| 8.6 | 773M| 443 | 164 | 11k|7862 | 11k| 928 | 949 | 0 | 19k| 0.000000e+00 | 1.999100e+05 | Inf
1688.27/1688.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.27/1688.22 c 1688s|220000 |220001 | 1874k| 8.5 | 808M| 451 | 158 | 11k|7862 | 11k| 928 | 949 | 0 | 19k| 0.000000e+00 | 1.999100e+05 | Inf
1755.17/1755.17 c 1755s|230000 |230001 | 1940k| 8.4 | 843M| 451 | 85 | 11k|7862 | 11k| 928 | 949 | 0 | 19k| 0.000000e+00 | 1.999100e+05 | Inf
1790.08/1790.01 c
1790.08/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.08/1790.01 c Solving Time (sec) : 1789.94
1790.08/1790.01 c Solving Nodes : 235057
1790.08/1790.01 c Primal Bound : +1.99910000000000e+05 (4 solutions)
1790.08/1790.01 c Dual Bound : +0.00000000000000e+00
1790.08/1790.01 c Gap : infinite
1790.28/1790.25 s SATISFIABLE
1790.28/1790.25 v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600
1790.28/1790.25 v -x3599 -x3598 x3597 -x3596 -x3595 x3594 x3593 x3592 x3591 x3590 x3589 x3588 x3587 x3586 -x3585 -x3584 -x3583 -x3582 -x3581
1790.28/1790.25 v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
1790.28/1790.25 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545
1790.28/1790.25 v -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 x3534 x3533 x3532 x3531 x3530 x3529 x3528 x3527 x3526
1790.28/1790.25 v x3525 x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508
1790.28/1790.25 v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490
1790.28/1790.25 v -x3489 -x3488 -x3487 -x3486 x3485 -x3484 x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472
1790.28/1790.25 v -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454
1790.28/1790.25 v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436
1790.28/1790.25 v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418
1790.28/1790.25 v -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400
1790.28/1790.25 v -x3399 x3398 x3397 x3396 x3395 x3394 x3393 x3392 x3391 x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381
1790.28/1790.25 v -x3380 -x3379 -x3378 x3377 -x3376 -x3375 x3374 x3373 x3372 x3371 x3370 x3369 x3368 x3367 x3366 x3365 x3364 x3363 x3362 x3361
1790.28/1790.25 v x3360 x3359 x3358 x3357 x3356 x3355 x3354 x3353 -x3352 x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342
1790.28/1790.25 v -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324
1790.28/1790.25 v -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306
1790.28/1790.25 v -x3305 -x3304 -x3303 -x3302 x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288
1790.28/1790.25 v -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270
1790.28/1790.25 v -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 x3254 -x3253 -x3252
1790.28/1790.25 v -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 x3238 -x3237 -x3236 -x3235 x3234
1790.28/1790.25 v x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216
1790.28/1790.25 v -x3215 x3214 -x3213 -x3212 -x3211 x3210 x3209 -x3208 -x3207 -x3206 x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 x3198
1790.28/1790.25 v x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180
1790.28/1790.25 v -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 x3162
1790.28/1790.25 v x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144
1790.28/1790.25 v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126
1790.28/1790.25 v -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108
1790.28/1790.25 v -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090
1790.28/1790.25 v -x3089 -x3088 -x3087 x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072
1790.28/1790.25 v -x3071 -x3070 -x3069 -x3068 x3067 x3066 x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 x3058 -x3057 -x3056 -x3055 x3054 x3053
1790.28/1790.25 v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035
1790.28/1790.25 v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 x3022 -x3021 -x3020 -x3019 x3018 x3017
1790.28/1790.25 v -x3016 -x3015 -x3014 x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999
1790.28/1790.25 v x2998 -x2997 -x2996 -x2995 x2994 x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981
1790.28/1790.25 v -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963
1790.28/1790.25 v -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945
1790.28/1790.25 v -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927
1790.28/1790.25 v -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909
1790.28/1790.25 v -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891
1790.28/1790.25 v -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 x2877 -x2876 -x2875 -x2874 -x2873
1790.28/1790.25 v -x2872 -x2871 x2870 x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855
1790.28/1790.25 v -x2854 x2853 -x2852 x2851 -x2850 x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 x2838 x2837
1790.28/1790.25 v -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 x2827 x2826 x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818
1790.28/1790.25 v -x2817 -x2816 x2815 x2814 x2813 x2812 x2811 x2810 x2809 x2808 x2807 x2806 x2805 x2804 x2803 x2802 x2801 -x2800 -x2799 -x2798
1790.28/1790.25 v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 x2791 x2790 x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780
1790.28/1790.25 v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762
1790.28/1790.25 v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744
1790.28/1790.25 v -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727
1790.28/1790.25 v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709
1790.28/1790.25 v -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691
1790.28/1790.25 v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673
1790.28/1790.25 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655
1790.28/1790.25 v -x2654 x2653 -x2652 -x2651 x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 x2641 x2640 x2639 -x2638 -x2637 -x2636
1790.28/1790.25 v -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619
1790.28/1790.25 v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601
1790.28/1790.25 v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583
1790.28/1790.25 v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565
1790.28/1790.25 v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547
1790.28/1790.25 v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 x2533 x2532 -x2531 -x2530 -x2529
1790.28/1790.25 v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 x2522 x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511
1790.28/1790.25 v -x2510 -x2509 -x2508 x2507 -x2506 -x2505 -x2504 x2503 -x2502 -x2501 x2500 -x2499 x2498 x2497 -x2496 -x2495 x2494 x2493 -x2492
1790.28/1790.25 v x2491 -x2490 -x2489 x2488 -x2487 x2486 x2485 x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 x2476 x2475 x2474 x2473
1790.28/1790.25 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 x2466 -x2465 x2464 x2463 -x2462 -x2461 -x2460 -x2459 -x2458 x2457 x2456 -x2455 -x2454
1790.28/1790.25 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436
1790.28/1790.25 v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419
1790.28/1790.25 v -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401
1790.28/1790.25 v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383
1790.28/1790.25 v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365
1790.28/1790.25 v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347
1790.28/1790.25 v -x2346 -x2345 x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329
1790.28/1790.25 v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311
1790.28/1790.25 v -x2310 -x2309 x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293
1790.28/1790.25 v -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275
1790.28/1790.25 v -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258
1790.28/1790.25 v -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
1790.28/1790.25 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
1790.28/1790.25 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204
1790.28/1790.25 v -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186
1790.28/1790.25 v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168
1790.28/1790.25 v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150
1790.28/1790.25 v -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133
1790.28/1790.25 v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115
1790.28/1790.25 v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097
1790.28/1790.25 v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079
1790.28/1790.25 v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061
1790.28/1790.25 v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043
1790.28/1790.25 v -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
1790.28/1790.25 v -x2024 -x2023 -x2022 -x2021 x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
1790.28/1790.25 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990
1790.28/1790.25 v -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972
1790.28/1790.25 v -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954
1790.28/1790.25 v -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936
1790.28/1790.25 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918
1790.28/1790.25 v -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 x1908 -x1907 -x1906 -x1905 -x1904 x1903 x1902 x1901 -x1900
1790.28/1790.25 v -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882
1790.28/1790.25 v -x1881 -x1880 -x1879 -x1878 -x1877 x1876 x1875 x1874 x1873 x1872 x1871 x1870 x1869 x1868 x1867 -x1866 x1865 -x1864 -x1863 -x1862
1790.28/1790.25 v -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844
1790.28/1790.25 v -x1843 -x1842 -x1841 x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 x1828 -x1827 -x1826
1790.28/1790.25 v -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808
1790.28/1790.25 v -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791
1790.28/1790.25 v -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773
1790.28/1790.25 v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 x1757 -x1756 -x1755
1790.28/1790.25 v -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737
1790.28/1790.25 v -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719
1790.28/1790.25 v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
1790.28/1790.25 v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683
1790.28/1790.25 v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665
1790.28/1790.25 v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648
1790.28/1790.25 v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630
1790.28/1790.25 v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
1790.28/1790.25 v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594
1790.28/1790.25 v -x1593 -x1592 -x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 x1582 x1581 x1580 x1579 -x1578 x1577 -x1576 -x1575 -x1574
1790.28/1790.25 v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556
1790.28/1790.25 v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539
1790.28/1790.25 v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 x1532 x1531 x1530 x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520
1790.28/1790.25 v -x1519 -x1518 -x1517 x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502
1790.28/1790.25 v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
1790.28/1790.25 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466
1790.28/1790.25 v -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449
1790.28/1790.25 v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431
1790.28/1790.25 v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413
1790.28/1790.25 v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395
1790.28/1790.25 v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377
1790.28/1790.25 v -x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368 x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359
1790.28/1790.25 v -x1358 -x1357 -x1356 x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341
1790.28/1790.25 v -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323
1790.28/1790.25 v -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305
1790.28/1790.25 v -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287
1790.28/1790.25 v -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269
1790.28/1790.25 v -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251
1790.28/1790.25 v -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233
1790.28/1790.25 v -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215
1790.28/1790.25 v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198
1790.28/1790.25 v -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180
1790.28/1790.25 v -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162
1790.28/1790.25 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144
1790.28/1790.25 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126
1790.28/1790.25 v -x1125 -x1124 x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107
1790.28/1790.25 v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089
1790.28/1790.25 v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 x1073 -x1072 -x1071
1790.28/1790.25 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 x1057 x1056 -x1055 -x1054 -x1053
1790.28/1790.25 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1790.28/1790.25 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017
1790.28/1790.25 v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999
1790.28/1790.25 v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978
1790.28/1790.25 v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957
1790.28/1790.25 v -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936
1790.28/1790.25 v -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915
1790.28/1790.25 v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894
1790.28/1790.25 v -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873
1790.28/1790.25 v -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1790.28/1790.25 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1790.28/1790.25 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1790.28/1790.25 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789
1790.28/1790.25 v x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768
1790.28/1790.25 v -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746
1790.28/1790.25 v -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1790.28/1790.25 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705
1790.28/1790.25 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1790.28/1790.25 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1790.28/1790.25 v -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642
1790.28/1790.25 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1790.28/1790.25 v -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1790.28/1790.25 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1790.28/1790.25 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1790.28/1790.25 v -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537
1790.28/1790.25 v -x536 x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1790.28/1790.25 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1790.28/1790.25 v -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1790.28/1790.25 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 x459 -x458 x457 -x456 -x455 -x454 -x453
1790.28/1790.25 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432
1790.28/1790.25 v -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1790.28/1790.25 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
1790.28/1790.25 v -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369
1790.28/1790.25 v x368 -x367 x366 -x365 -x364 -x363 x362 -x361 x360 -x359 -x358 x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 x348 -x347
1790.28/1790.25 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326
1790.28/1790.25 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1790.28/1790.25 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1790.28/1790.25 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1790.28/1790.25 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 x253 x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 x243 x242
1790.28/1790.25 v -x241 -x240 -x239 -x238 -x237 x236 x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1790.28/1790.25 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 x210 x209 x208 x207 x206 x205 -x204 -x203 x202 -x201 -x200 -x199 -x198
1790.28/1790.25 v -x197 x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 x186 x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1790.28/1790.25 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1790.28/1790.25 v x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 x138 -x137 -x136 -x135 -x134
1790.28/1790.25 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 x120 -x119 -x118 -x117 -x116 -x115 x114 x113 x112
1790.28/1790.25 v x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1790.28/1790.25 v -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
1790.28/1790.25 v -x63 -x62 x61 x60 x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38
1790.28/1790.25 v x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12
1790.28/1790.25 v x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1
1790.28/1790.25 c SCIP Status : solving was interrupted [time limit reached]
1790.28/1790.25 c Solving Time : 1789.94
1790.28/1790.25 c Original Problem :
1790.28/1790.25 c Problem name : HOME/instance-2705347-1278578357.wbo
1790.28/1790.25 c Variables : 11480 (7549 binary, 0 integer, 3931 implicit integer, 0 continuous)
1790.28/1790.25 c Constraints : 7863 initial, 7863 maximal
1790.28/1790.25 c Presolved Problem :
1790.28/1790.25 c Problem name : t_HOME/instance-2705347-1278578357.wbo
1790.28/1790.25 c Variables : 11480 (7549 binary, 0 integer, 3931 implicit integer, 0 continuous)
1790.28/1790.25 c Constraints : 7862 initial, 7862 maximal
1790.28/1790.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.28/1790.25 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.25 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.25 c implics : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.25 c probing : 0.06 0 0 0 0 0 0 0 0
1790.28/1790.25 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.25 c linear : 0.04 0 0 0 3931 0 1 537 1074
1790.28/1790.25 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.28/1790.25 c root node : - 0 - - 0 - - - -
1790.28/1790.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.28/1790.25 c integral : 0 0 0 235057 0 0 0 0 0 470114
1790.28/1790.25 c varbound : 1 6 623468 0 0 0 0 1 0 0
1790.28/1790.25 c linear : 3930 6 623468 0 0 0 153455 729 0 0
1790.28/1790.25 c indicator : 3931 0 623468 0 0 0 77576 0 0 0
1790.28/1790.25 c countsols : 0 0 0 0 0 0 0 0 0 0
1790.28/1790.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.28/1790.25 c integral : 77.19 0.00 0.00 77.19 0.00
1790.28/1790.25 c varbound : 0.42 0.00 0.42 0.00 0.00
1790.28/1790.25 c linear : 53.64 0.01 53.64 0.00 0.00
1790.28/1790.25 c indicator : 86.05 0.01 86.04 0.00 0.00
1790.28/1790.25 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.28/1790.25 c Propagators : Time Calls Cutoffs DomReds
1790.28/1790.25 c vbounds : 11.32 65793 0 0
1790.28/1790.25 c rootredcost : 0.28 1 0 0
1790.28/1790.25 c pseudoobj : 50.15 623268 0 0
1790.28/1790.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.28/1790.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.28/1790.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.28/1790.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.28/1790.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.28/1790.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.28/1790.25 c applied globally : - - - 0 0.0 - - -
1790.28/1790.25 c applied locally : - - - 0 0.0 - - -
1790.28/1790.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.28/1790.25 c cut pool : 0.00 4 - - 64 - (maximal pool size: 737)
1790.28/1790.25 c redcost : 68.12 235062 0 0 0 0
1790.28/1790.25 c impliedbounds : 0.00 5 0 0 0 0
1790.28/1790.25 c intobj : 0.00 0 0 0 0 0
1790.28/1790.25 c cgmip : 0.00 0 0 0 0 0
1790.28/1790.25 c gomory : 0.02 5 0 0 114 0
1790.28/1790.25 c strongcg : 0.01 5 0 0 135 0
1790.28/1790.25 c cmir : 0.39 5 0 0 282 0
1790.28/1790.25 c flowcover : 0.66 5 0 0 446 0
1790.28/1790.25 c clique : 0.00 1 0 0 0 0
1790.28/1790.25 c zerohalf : 0.00 0 0 0 0 0
1790.28/1790.25 c mcf : 0.00 1 0 0 0 0
1790.28/1790.25 c rapidlearning : 0.00 0 0 0 0 0
1790.28/1790.25 c Pricers : Time Calls Vars
1790.28/1790.25 c problem variables: 0.00 0 0
1790.28/1790.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.28/1790.25 c relpscost : 76.84 235057 0 0 0 0 470114
1790.28/1790.25 c pscost : 0.00 0 0 0 0 0 0
1790.28/1790.25 c inference : 0.00 0 0 0 0 0 0
1790.28/1790.25 c mostinf : 0.00 0 0 0 0 0 0
1790.28/1790.25 c leastinf : 0.00 0 0 0 0 0 0
1790.28/1790.25 c fullstrong : 0.00 0 0 0 0 0 0
1790.28/1790.25 c allfullstrong : 0.00 0 0 0 0 0 0
1790.28/1790.25 c random : 0.00 0 0 0 0 0 0
1790.28/1790.25 c Primal Heuristics : Time Calls Found
1790.28/1790.25 c LP solutions : 0.00 - 0
1790.28/1790.25 c pseudo solutions : 0.00 - 0
1790.28/1790.25 c crossover : 0.33 0 0
1790.28/1790.25 c oneopt : 0.11 1 0
1790.28/1790.25 c veclendiving : 52.17 48 0
1790.28/1790.25 c fracdiving : 186.64 75 0
1790.28/1790.25 c pscostdiving : 191.34 77 0
1790.28/1790.25 c coefdiving : 171.22 92 0
1790.28/1790.25 c guideddiving : 150.38 94 0
1790.28/1790.25 c trivial : 0.18 2 2
1790.28/1790.25 c simplerounding : 0.59 218042 0
1790.28/1790.25 c zirounding : 0.13 1000 0
1790.28/1790.25 c rounding : 0.59 6582 0
1790.28/1790.25 c shifting : 7.59 2160 0
1790.28/1790.25 c intshifting : 0.00 0 0
1790.28/1790.25 c twoopt : 0.00 0 0
1790.28/1790.25 c fixandinfer : 0.00 0 0
1790.28/1790.25 c feaspump : 0.00 0 0
1790.28/1790.25 c intdiving : 0.00 0 0
1790.28/1790.25 c actconsdiving : 0.00 0 0
1790.28/1790.25 c objpscostdiving : 4.77 4 0
1790.28/1790.25 c rootsoldiving : 3.07 7 0
1790.28/1790.25 c linesearchdiving : 103.45 46 0
1790.28/1790.25 c octane : 0.00 0 0
1790.28/1790.25 c rens : 0.08 1 0
1790.28/1790.25 c rins : 0.00 0 0
1790.28/1790.25 c localbranching : 0.00 0 0
1790.28/1790.25 c mutation : 0.00 0 0
1790.28/1790.25 c dins : 0.00 0 0
1790.28/1790.25 c undercover : 0.00 0 0
1790.28/1790.25 c nlp : 0.08 0 0
1790.28/1790.25 c trysol : 0.12 3 2
1790.28/1790.25 c LP : Time Calls Iterations Iter/call Iter/sec
1790.28/1790.25 c primal LP : 0.00 0 0 0.00 -
1790.28/1790.25 c dual LP : 436.47 218276 1402581 6.43 3213.48
1790.28/1790.25 c lex dual LP : 0.00 0 0 0.00 -
1790.28/1790.25 c barrier LP : 0.00 0 0 0.00 -
1790.28/1790.25 c diving/probing LP: 519.36 283403 572725 2.02 1102.76
1790.28/1790.25 c strong branching : 59.48 19980 214806 10.75 3611.17
1790.28/1790.25 c (at root node) : - 33 1755 53.18 -
1790.28/1790.25 c conflict analysis: 0.00 0 0 0.00 -
1790.28/1790.25 c B&B Tree :
1790.28/1790.25 c number of runs : 1
1790.28/1790.25 c nodes : 235057
1790.28/1790.25 c nodes (total) : 235057
1790.28/1790.25 c nodes left : 235058
1790.28/1790.25 c max depth : 451
1790.28/1790.25 c max depth (total): 451
1790.28/1790.25 c backtracks : 1170 (0.5%)
1790.28/1790.25 c delayed cutoffs : 0
1790.28/1790.25 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.28/1790.25 c avg switch length: 2.19
1790.28/1790.25 c switching time : 18.78
1790.28/1790.25 c Solution :
1790.28/1790.25 c Solutions found : 4 (2 improvements)
1790.28/1790.25 c First Solution : +1.99975000000000e+05 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.28/1790.25 c Primal Bound : +1.99910000000000e+05 (in run 1, after 38169 nodes, 409.83 seconds, depth 100, found by <trysol>)
1790.28/1790.25 c Dual Bound : +0.00000000000000e+00
1790.28/1790.25 c Gap : infinite
1790.28/1790.25 c Root Dual Bound : +0.00000000000000e+00
1790.28/1790.25 c Root Iterations : 1132
1790.57/1790.53 c Time complete: 1790.61.
OK 21641
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705347-1278578357/watcher-2705347-1278578357 -o /tmp/evaluation-result-2705347-1278578357/solver-2705347-1278578357 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705347-1278578357.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.85 1.97 1.90 4/178 31192 /proc/meminfo: memFree=29624980/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=12512 CPUtime=0 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 1975 0 0 0 0 0 0 0 21 0 1 0 26047661 12812288 1894 4089446400 4194304 10345943 140733638853584 18446744073709551615 5753750 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/31192/statm: 3128 1894 429 1502 0 1621 0 [startup+0.0516919 s] /proc/loadavg: 1.85 1.97 1.90 4/178 31192 /proc/meminfo: memFree=29624980/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=25804 CPUtime=0.04 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 5305 0 0 0 4 0 0 0 21 0 1 0 26047661 26423296 5224 4089446400 4194304 10345943 140733638853584 18446744073709551615 9122445 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/31192/statm: 6451 5224 430 1502 0 4944 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 25804 [startup+0.100687 s] /proc/loadavg: 1.85 1.97 1.90 4/178 31192 /proc/meminfo: memFree=29624980/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=49616 CPUtime=0.09 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 11711 0 0 0 8 1 0 0 21 0 1 0 26047661 50806784 11246 4089446400 4194304 10345943 140733638853584 18446744073709551615 4448990 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 12439 11280 490 1502 0 10932 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 49616 [startup+0.300649 s] /proc/loadavg: 1.85 1.97 1.90 4/178 31192 /proc/meminfo: memFree=29624980/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=57608 CPUtime=0.29 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 13161 0 0 0 28 1 0 0 21 0 1 0 26047661 58990592 12696 4089446400 4194304 10345943 140733638853584 18446744073709551615 5018850 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 14402 12696 537 1502 0 12895 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57608 [startup+0.700562 s] /proc/loadavg: 1.85 1.97 1.90 4/178 31192 /proc/meminfo: memFree=29624980/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=73032 CPUtime=0.69 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 16766 0 0 0 68 1 0 0 22 0 1 0 26047661 74784768 16211 4089446400 4194304 10345943 140733638853584 18446744073709551615 5823729 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 18258 16211 732 1502 0 16751 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 73032 [startup+1.5004 s] /proc/loadavg: 1.85 1.97 1.90 3/179 31193 /proc/meminfo: memFree=29561856/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=74684 CPUtime=1.49 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 17306 0 0 0 148 1 0 0 25 0 1 0 26047661 76476416 16751 4089446400 4194304 10345943 140733638853584 18446744073709551615 5838165 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 18671 16751 737 1502 0 17164 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 74684 [startup+3.10108 s] /proc/loadavg: 1.86 1.97 1.90 3/179 31193 /proc/meminfo: memFree=29556944/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=77540 CPUtime=3.09 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 28930 0 0 0 305 4 0 0 25 0 1 0 26047661 79400960 17322 4089446400 4194304 10345943 140733638853584 18446744073709551615 6518703 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 19385 17322 762 1502 0 17878 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 77540 [startup+6.30045 s] /proc/loadavg: 1.86 1.97 1.90 3/179 31193 /proc/meminfo: memFree=29555580/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=77076 CPUtime=6.29 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 66130 0 0 0 619 10 0 0 25 0 1 0 26047661 78925824 17257 4089446400 4194304 10345943 140733638853584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 19269 17257 762 1502 0 17762 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77076 [startup+12.7012 s] /proc/loadavg: 1.88 1.97 1.90 3/179 31194 /proc/meminfo: memFree=29555720/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=77824 CPUtime=12.69 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 120073 0 0 0 1252 17 0 0 25 0 1 0 26047661 79691776 17474 4089446400 4194304 10345943 140733638853584 18446744073709551615 6802983 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 19456 17474 764 1502 0 17949 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77824 [startup+25.5006 s] /proc/loadavg: 1.90 1.97 1.90 3/179 31194 /proc/meminfo: memFree=29536016/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=82476 CPUtime=25.49 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 127764 0 0 0 2529 20 0 0 25 0 1 0 26047661 84455424 19048 4089446400 4194304 10345943 140733638853584 18446744073709551615 6777436 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 20619 19048 765 1502 0 19112 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82476 [startup+51.1005 s] /proc/loadavg: 1.93 1.97 1.90 3/179 31194 /proc/meminfo: memFree=29487348/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=89768 CPUtime=51.09 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 138812 0 0 0 5083 26 0 0 25 0 1 0 26047661 91922432 20518 4089446400 4194304 10345943 140733638853584 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 22442 20518 776 1502 0 20935 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 89768 [startup+102.306 s] /proc/loadavg: 1.97 1.97 1.91 3/179 31196 /proc/meminfo: memFree=29385556/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=98876 CPUtime=102.3 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 151313 0 0 0 10194 36 0 0 25 0 1 0 26047661 101249024 22774 4089446400 4194304 10345943 140733638853584 18446744073709551615 6866074 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 24719 22774 776 1502 0 23212 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 98876 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31198 /proc/meminfo: memFree=29243512/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=120648 CPUtime=162.3 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 163554 0 0 0 16182 48 0 0 25 0 1 0 26047661 123543552 28178 4089446400 4194304 10345943 140733638853584 18446744073709551615 8160425 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 30162 28178 776 1502 0 28655 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 120648 [startup+222.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31199 /proc/meminfo: memFree=29152676/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=143072 CPUtime=222.3 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 174089 0 0 0 22171 59 0 0 25 0 1 0 26047661 146505728 33846 4089446400 4194304 10345943 140733638853584 18446744073709551615 6120388 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 35768 33846 776 1502 0 34261 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 143072 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31200 /proc/meminfo: memFree=29102772/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=164340 CPUtime=282.3 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 183027 0 0 0 28160 70 0 0 25 0 1 0 26047661 168284160 39118 4089446400 4194304 10345943 140733638853584 18446744073709551615 6755544 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 41085 39118 776 1502 0 39578 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 164340 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31202 /proc/meminfo: memFree=29075536/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=186952 CPUtime=342.3 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 192477 0 0 0 34149 81 0 0 25 0 1 0 26047661 191438848 45080 4089446400 4194304 10345943 140733638853584 18446744073709551615 7494614 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 46738 45080 776 1502 0 45231 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 186952 [startup+402.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31204 /proc/meminfo: memFree=29047224/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=208824 CPUtime=402.31 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 198174 0 0 0 40141 90 0 0 25 0 1 0 26047661 213835776 50369 4089446400 4194304 10345943 140733638853584 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 52206 50369 776 1502 0 50699 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 208824 [startup+462.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31206 /proc/meminfo: memFree=29032008/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=222004 CPUtime=462.31 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 210145 0 0 0 46130 101 0 0 25 0 1 0 26047661 227332096 53808 4089446400 4194304 10345943 140733638853584 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 55501 53808 776 1502 0 53994 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 222004 [startup+522.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31207 /proc/meminfo: memFree=29013456/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=239076 CPUtime=522.31 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 219862 0 0 0 52120 111 0 0 25 0 1 0 26047661 244813824 57839 4089446400 4194304 10345943 140733638853584 18446744073709551615 8160440 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 59769 57839 776 1502 0 58262 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 239076 [startup+582.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31208 /proc/meminfo: memFree=28982460/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=268224 CPUtime=582.32 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 229999 0 0 0 58111 121 0 0 25 0 1 0 26047661 274661376 65091 4089446400 4194304 10345943 140733638853584 18446744073709551615 8160425 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 67056 65091 776 1502 0 65549 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 268224 [startup+642.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31210 /proc/meminfo: memFree=28953880/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=295672 CPUtime=642.33 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 236589 0 0 0 64102 131 0 0 25 0 1 0 26047661 302768128 71680 4089446400 4194304 10345943 140733638853584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 73918 71680 776 1502 0 72411 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 295672 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28742672/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=485372 CPUtime=1002.34 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 290008 0 0 0 100047 187 0 0 25 0 1 0 26047661 497020928 118784 4089446400 4194304 10345943 140733638853584 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 121343 118784 776 1502 0 119836 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 485372 [startup+1062.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31222 /proc/meminfo: memFree=28705780/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=516776 CPUtime=1062.34 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 297853 0 0 0 106038 196 0 0 25 0 1 0 26047661 529178624 126622 4089446400 4194304 10345943 140733638853584 18446744073709551615 6518592 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 129194 126622 776 1502 0 127687 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 516776 [startup+1122.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31223 /proc/meminfo: memFree=28671840/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=547084 CPUtime=1122.34 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 307927 0 0 0 112028 206 0 0 25 0 1 0 26047661 560214016 134550 4089446400 4194304 10345943 140733638853584 18446744073709551615 6802838 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 136771 134550 776 1502 0 135264 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 547084 [startup+1182.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31224 /proc/meminfo: memFree=28638052/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=575088 CPUtime=1182.34 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 317782 0 0 0 118019 215 0 0 25 0 1 0 26047661 588890112 141823 4089446400 4194304 10345943 140733638853584 18446744073709551615 6518701 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 143772 141823 776 1502 0 142265 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 575088 [startup+1242.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31226 /proc/meminfo: memFree=28602124/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=605472 CPUtime=1242.35 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 325120 0 0 0 124010 225 0 0 25 0 1 0 26047661 620003328 149158 4089446400 4194304 10345943 140733638853584 18446744073709551615 6003207 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 151368 149158 776 1502 0 149861 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 605472 [startup+1302.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31228 /proc/meminfo: memFree=28567432/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=638192 CPUtime=1302.36 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 333391 0 0 0 130001 235 0 0 25 0 1 0 26047661 653508608 157404 4089446400 4194304 10345943 140733638853584 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 159548 157404 776 1502 0 158041 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 638192 [startup+1362.3 s] /proc/loadavg: 1.99 1.97 1.91 3/179 31239 /proc/meminfo: memFree=28533548/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=670324 CPUtime=1362.35 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 342612 0 0 0 135991 244 0 0 25 0 1 0 26047661 686411776 165257 4089446400 4194304 10345943 140733638853584 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 167581 165257 776 1502 0 166074 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 670324 [startup+1422.31 s] /proc/loadavg: 2.03 1.99 1.91 3/179 31240 /proc/meminfo: memFree=28500484/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=701948 CPUtime=1422.36 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 351364 0 0 0 141983 253 0 0 25 0 1 0 26047661 718794752 173359 4089446400 4194304 10345943 140733638853584 18446744073709551615 6756637 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 175487 173359 776 1502 0 173980 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 701948 [startup+1482.3 s] /proc/loadavg: 2.01 1.99 1.91 3/179 31241 /proc/meminfo: memFree=28467924/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=735080 CPUtime=1482.36 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 361127 0 0 0 147973 263 0 0 25 0 1 0 26047661 752721920 181703 4089446400 4194304 10345943 140733638853584 18446744073709551615 7522780 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 183770 181703 776 1502 0 182263 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 735080 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31243 /proc/meminfo: memFree=28435724/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=769788 CPUtime=1542.37 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 370056 0 0 0 153962 275 0 0 25 0 1 0 26047661 788262912 189522 4089446400 4194304 10345943 140733638853584 18446744073709551615 6847601 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 192447 189522 776 1502 0 190940 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 769788 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31245 /proc/meminfo: memFree=28405796/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=801008 CPUtime=1602.37 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 377524 0 0 0 159952 285 0 0 25 0 1 0 26047661 820232192 196944 4089446400 4194304 10345943 140733638853584 18446744073709551615 6702894 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 200252 196944 776 1502 0 198745 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 801008 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31247 /proc/meminfo: memFree=28373356/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=832344 CPUtime=1662.37 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 385563 0 0 0 165941 296 0 0 25 0 1 0 26047661 852320256 204983 4089446400 4194304 10345943 140733638853584 18446744073709551615 7568795 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 208086 204983 776 1502 0 206579 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 832344 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31248 /proc/meminfo: memFree=28343784/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=863244 CPUtime=1722.37 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 393156 0 0 0 171933 304 0 0 25 0 1 0 26047661 883961856 212572 4089446400 4194304 10345943 140733638853584 18446744073709551615 6757735 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 215811 212572 776 1502 0 214304 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 863244 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31249 /proc/meminfo: memFree=28313840/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=892444 CPUtime=1782.37 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 400478 0 0 0 177924 313 0 0 25 0 1 0 26047661 913862656 219827 4089446400 4194304 10345943 140733638853584 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 223111 219827 776 1502 0 221604 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 892444 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31276 /proc/meminfo: memFree=28780072/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=894036 CPUtime=1785.57 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 401342 0 0 0 178244 313 0 0 25 0 1 0 26047661 915492864 220691 4089446400 4194304 10345943 140733638853584 18446744073709551615 6777168 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 223509 220691 776 1502 0 222002 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (KiB) 894036 [startup+1788.7 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31276 /proc/meminfo: memFree=28777784/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=897200 CPUtime=1788.78 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 401873 0 0 0 178563 315 0 0 25 0 1 0 26047661 918732800 221222 4089446400 4194304 10345943 140733638853584 18446744073709551615 8160436 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 224300 221222 776 1502 0 222793 0 Current children cumulated CPU time (s) 1788.78 Current children cumulated vsize (KiB) 897200 [startup+1789.5 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31276 /proc/meminfo: memFree=28777784/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=897200 CPUtime=1789.58 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 401873 0 0 0 178643 315 0 0 25 0 1 0 26047661 918732800 221222 4089446400 4194304 10345943 140733638853584 18446744073709551615 6518701 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/31192/statm: 224300 221222 776 1502 0 222793 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (KiB) 897200 [startup+1790.3 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31276 /proc/meminfo: memFree=28776420/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=894036 CPUtime=1790.38 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 401887 0 0 0 178723 315 0 0 25 0 1 0 26047661 915492864 220738 4089446400 4194304 10345943 140733638853584 18446744073709551615 6324933 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/31192/statm: 223509 220738 780 1502 0 222002 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (KiB) 894036 [startup+1790.5 s] /proc/loadavg: 2.00 1.99 1.91 3/179 31276 /proc/meminfo: memFree=28776420/32950928 swapFree=67111528/67111528 [pid=31192] ppid=31190 vsize=886856 CPUtime=1790.57 /proc/31192/stat : 31192 (pbscip.linux.x8) R 31190 31192 30642 0 -1 4202496 401887 0 0 0 178742 315 0 0 25 0 1 0 26047661 908140544 177673 4089446400 4194304 10345943 140733638853584 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/31192/statm: 221714 177161 780 1502 0 220207 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (KiB) 886856 Child status: 0 Real time (s): 1790.53 CPU time (s): 1790.62 CPU user time (s): 1787.43 CPU system time (s): 3.18651 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 897200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.43 system time used= 3.18651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 401890 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= 1 involuntary context switches= 3964 runsolver used 3.12052 second user time and 6.12407 second system time The end
Begin job on node149 at 2010-07-08 10:39:17 IDJOB=2705347 IDBENCH=79336 IDSOLVER=1214 FILE ID=node149/2705347-1278578357 PBS_JOBID= 11240157 Free space on /tmp= 73416 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) 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.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705347-1278578357/watcher-2705347-1278578357 -o /tmp/evaluation-result-2705347-1278578357/solver-2705347-1278578357 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705347-1278578357.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 089f801cecdf2ec1cd48445a7f0604a7 RANDOM SEED=220041237 node149.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.827 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.65 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.827 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.75 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.827 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.827 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.75 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.827 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.75 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.827 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.79 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.827 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.827 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29625632 kB Buffers: 163920 kB Cached: 2863264 kB SwapCached: 0 kB Active: 1169848 kB Inactive: 1988684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29625632 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 26312 kB Writeback: 0 kB AnonPages: 131532 kB Mapped: 17560 kB Slab: 102156 kB PageTables: 4816 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 274380 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= 73404 MiB End job on node149 at 2010-07-08 11:09:08