Trace number 2705300

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solverMSAT 1791.08 1791.21

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-0-100-0.wbo
MD5SUMce035d98af56bba024c7eadbdc340830
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.194969
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3655
Total number of constraints8686
Number of soft constraints8686
Number of constraints which are clauses7982
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints704
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 442262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 442261
Biggest number in a constraint 158
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 539
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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-2705300-1278578354.wbo>
0.09/0.10	c original problem has 21027 variables (12341 bin, 0 int, 8686 impl, 0 cont) and 17373 constraints
0.09/0.10	c problem read
0.09/0.10	c presolving settings loaded
0.89/0.90	o 442261
0.89/0.90	c feasible solution found by trivial heuristic, objective value  4.422610e+05
0.89/0.90	c presolving:
0.89/0.92	c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.89/0.94	c (round 2) 0 del vars, 1 del conss, 8686 chg bounds, 352 chg sides, 704 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.09/1.10	c    (1.0s) probing: 101/12341 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.10	c    (1.0s) probing aborted: 100/100 successive totally useless probings
1.09/1.10	c presolving (3 rounds):
1.09/1.10	c  0 deleted vars, 1 deleted constraints, 8686 tightened bounds, 0 added holes, 352 changed sides, 704 changed coefficients
1.09/1.10	c  16668 implications, 0 cliques
1.09/1.10	c presolved problem has 21027 variables (12341 bin, 0 int, 8686 impl, 0 cont) and 17372 constraints
1.09/1.10	c       1 constraints of type <varbound>
1.09/1.10	c    8685 constraints of type <linear>
1.09/1.10	c    8686 constraints of type <indicator>
1.09/1.10	c transformed objective value is always integral (scale: 1)
1.09/1.10	c Presolving Time: 0.95
1.09/1.10	c - non default parameters ----------------------------------------------------------------------
1.09/1.10	c # SCIP version 1.2.1.3
1.09/1.10	c 
1.09/1.10	c # frequency for displaying node information lines
1.09/1.10	c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.10	c display/freq = 10000
1.09/1.10	c 
1.09/1.10	c # maximal time in seconds to run
1.09/1.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.10	c limits/time = 1789.9
1.09/1.10	c 
1.09/1.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.10	c limits/memory = 3420
1.09/1.10	c 
1.09/1.10	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.09/1.10	c # [type: int, range: [1,2], default: 1]
1.09/1.10	c timing/clocktype = 2
1.09/1.10	c 
1.09/1.10	c # should presolving try to simplify inequalities
1.09/1.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.10	c constraints/linear/simplifyinequalities = TRUE
1.09/1.10	c 
1.09/1.10	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.09/1.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.10	c constraints/indicator/addCouplingCons = TRUE
1.09/1.10	c 
1.09/1.10	c # should presolving try to simplify knapsacks
1.09/1.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.09/1.10	c constraints/knapsack/simplifyinequalities = TRUE
1.09/1.10	c 
1.09/1.10	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.09/1.10	c # [type: int, range: [-1,2147483647], default: -1]
1.09/1.10	c separating/rapidlearning/freq = 0
1.09/1.10	c 
1.09/1.10	c -----------------------------------------------------------------------------------------------
1.09/1.10	c start solving
1.09/1.11	c 
1.09/1.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.09/1.15	c t 1.1s|     1 |     0 |     0 |     - |  67M|   0 |   0 |  21k|  17k|  21k|   0 |   0 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
1.09/1.16	c   1.1s|     1 |     0 |   201 |     - |  67M|   0 |   8 |  21k|  17k|  21k| 201 | 201 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
1.19/1.21	c   1.1s|     1 |     0 |   344 |     - |  68M|   0 |   3 |  21k|  17k|  21k| 409 | 409 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
1.19/1.28	c   1.2s|     1 |     0 |   543 |     - |  68M|   0 | 128 |  21k|  17k|  21k| 613 | 613 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
1.39/1.46	c   1.4s|     1 |     0 |   777 |     - |  68M|   0 | 228 |  21k|  17k|  21k| 830 | 830 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
1.59/1.67	c   1.6s|     1 |     0 |   977 |     - |  68M|   0 | 217 |  21k|  17k|  21k|1062 |1062 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
1.99/2.10	c   2.0s|     1 |     0 |  1304 |     - |  69M|   0 | 539 |  21k|  17k|  21k|1377 |1377 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
2.39/2.42	c   2.3s|     1 |     0 |  1568 |     - |  69M|   0 | 577 |  21k|  17k|  21k|1541 |1541 |   0 |   0 | 0.000000e+00 | 4.422610e+05 |    Inf 
2.69/2.76	c   2.7s|     1 |     2 |  1568 |     - |  69M|   0 | 577 |  21k|  17k|  21k|1541 |1541 |   0 |  33 | 0.000000e+00 | 4.422610e+05 |    Inf 
290.14/290.30	c   290s| 10000 | 10001 |209071 |  20.8 | 129M| 179 | 227 |  21k|  17k|  21k|1482 |1541 |   0 |5287 | 0.000000e+00 | 4.422610e+05 |    Inf 
455.84/456.09	c   456s| 20000 | 20001 |308024 |  15.3 | 189M| 187 | 284 |  21k|  17k|  21k|1482 |1541 |   0 |6301 | 0.000000e+00 | 4.422610e+05 |    Inf 
608.54/608.70	c   609s| 30000 | 30001 |395819 |  13.1 | 249M| 223 | 186 |  21k|  17k|  21k|1482 |1541 |   0 |7462 | 0.000000e+00 | 4.422610e+05 |    Inf 
705.85/706.09	o 442173
705.85/706.09	c y 706s| 38616 | 38615 |427661 |  11.0 | 301M| 437 |   - |  21k|  17k|   0 |   0 |2787 |   0 |8491 | 0.000000e+00 | 4.421730e+05 |    Inf 
722.25/722.46	c   722s| 40000 | 40001 |432949 |  10.8 | 310M| 455 |  76 |  21k|  17k|  21k|1482 |3943 |   0 |8795 | 0.000000e+00 | 4.421730e+05 |    Inf 
864.64/864.82	c   865s| 50000 | 50001 |453800 |   9.0 | 380M| 733 |   0 |  21k|  17k|  21k|1678 |  10k|   0 |9178 | 0.000000e+00 | 4.421730e+05 |    Inf 
1032.85/1033.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1032.85/1033.03	c  1033s| 60000 | 60001 |466968 |   7.8 | 447M| 733 |   0 |  21k|  17k|  21k|1655 |  14k|   0 |9297 | 0.000000e+00 | 4.421730e+05 |    Inf 
1203.85/1204.07	c  1204s| 70000 | 70001 |480161 |   6.8 | 515M| 733 |   0 |  21k|  17k|  21k|1663 |  19k|   0 |9356 | 0.000000e+00 | 4.421730e+05 |    Inf 
1376.85/1377.08	c  1377s| 80000 | 80001 |493518 |   6.1 | 580M| 733 |  13 |  21k|  17k|  21k|1566 |  24k|   0 |9390 | 0.000000e+00 | 4.421730e+05 |    Inf 
1555.05/1555.29	c  1555s| 90000 | 90001 |504288 |   5.6 | 641M| 735 |   0 |  21k|  17k|  21k|1652 |  29k|   0 |9423 | 0.000000e+00 | 4.421730e+05 |    Inf 
1735.76/1735.98	c  1736s|100000 |100001 |514688 |   5.1 | 702M| 735 |   0 |  21k|  17k|  21k|1654 |  34k|   0 |9438 | 0.000000e+00 | 4.421730e+05 |    Inf 
1789.86/1790.00	c 
1789.86/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.86/1790.00	c Solving Time (sec) : 1789.90
1789.86/1790.00	c Solving Nodes      : 103426
1789.86/1790.00	c Primal Bound       : +4.42173000000000e+05 (103 solutions)
1789.86/1790.00	c Dual Bound         : +0.00000000000000e+00
1789.86/1790.00	c Gap                : infinite
1790.76/1790.98	s SATISFIABLE
1790.76/1790.98	v -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 
1790.76/1790.98	v x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 x3626 x3625 x3624 -x3623 -x3622 x3621 -x3620 -x3619 
1790.76/1790.98	v -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 x3612 x3611 x3610 -x3609 -x3608 x3607 x3606 x3605 x3604 x3603 x3602 -x3601 x3600 
1790.76/1790.98	v -x3599 x3598 x3597 x3596 x3595 x3594 x3593 -x3592 x3591 x3590 x3589 x3588 -x3587 x3586 x3585 -x3584 x3583 x3582 x3581 x3580 x3579 
1790.76/1790.98	v -x3578 -x3577 -x3576 x3575 x3574 x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 x3565 x3564 -x3563 -x3562 -x3561 
1790.76/1790.98	v x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 x3553 x3552 -x3551 -x3550 -x3549 -x3548 -x3547 x3546 -x3545 x3544 x3543 -x3542 
1790.76/1790.98	v x3541 -x3540 x3539 x3538 x3537 x3536 x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 x3526 x3525 x3524 x3523 
1790.76/1790.98	v -x3522 -x3521 -x3520 x3519 -x3518 x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 x3510 x3509 -x3508 -x3507 -x3506 -x3505 x3504 
1790.76/1790.98	v -x3503 x3502 x3501 x3500 x3499 x3498 x3497 x3496 x3495 -x3494 -x3493 -x3492 -x3491 -x3490 x3489 x3488 x3487 -x3486 -x3485 
1790.76/1790.98	v x3484 x3483 x3482 x3481 -x3480 -x3479 -x3478 -x3477 -x3476 x3475 x3474 -x3473 -x3472 -x3471 -x3470 x3469 -x3468 x3467 -x3466 
1790.76/1790.98	v -x3465 x3464 x3463 x3462 x3461 x3460 -x3459 x3458 -x3457 x3456 x3455 x3454 x3453 -x3452 -x3451 x3450 x3449 x3448 x3447 x3446 
1790.76/1790.98	v x3445 x3444 x3443 x3442 x3441 x3440 -x3439 x3438 x3437 x3436 x3435 x3434 -x3433 x3432 x3431 x3430 x3429 x3428 x3427 x3426 x3425 
1790.76/1790.98	v x3424 x3423 x3422 x3421 x3420 x3419 x3418 -x3417 -x3416 -x3415 x3414 x3413 x3412 x3411 -x3410 -x3409 x3408 x3407 x3406 -x3405 
1790.76/1790.98	v x3404 -x3403 x3402 x3401 x3400 x3399 x3398 x3397 -x3396 -x3395 -x3394 x3393 x3392 x3391 -x3390 -x3389 x3388 x3387 x3386 x3385 
1790.76/1790.98	v x3384 x3383 -x3382 -x3381 -x3380 x3379 -x3378 x3377 x3376 x3375 x3374 x3373 -x3372 -x3371 x3370 -x3369 -x3368 -x3367 -x3366 
1790.76/1790.98	v x3365 x3364 x3363 x3362 x3361 x3360 x3359 -x3358 x3357 x3356 -x3355 -x3354 -x3353 x3352 x3351 x3350 x3349 x3348 -x3347 -x3346 
1790.76/1790.98	v -x3345 x3344 x3343 x3342 x3341 -x3340 -x3339 -x3338 -x3337 -x3336 x3335 x3334 x3333 x3332 x3331 x3330 x3329 x3328 x3327 
1790.76/1790.98	v -x3326 -x3325 -x3324 -x3323 x3322 x3321 x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 x3313 -x3312 -x3311 -x3310 -x3309 -x3308 
1790.76/1790.98	v x3307 x3306 -x3305 -x3304 -x3303 -x3302 -x3301 x3300 x3299 -x3298 -x3297 -x3296 x3295 x3294 x3293 x3292 -x3291 -x3290 x3289 
1790.76/1790.98	v x3288 x3287 x3286 -x3285 x3284 x3283 x3282 x3281 x3280 -x3279 x3278 x3277 -x3276 x3275 x3274 -x3273 x3272 x3271 x3270 -x3269 
1790.76/1790.98	v -x3268 -x3267 -x3266 x3265 x3264 -x3263 -x3262 -x3261 -x3260 -x3259 x3258 x3257 -x3256 x3255 x3254 x3253 x3252 x3251 x3250 
1790.76/1790.98	v x3249 x3248 x3247 x3246 x3245 -x3244 x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 
1790.76/1790.98	v -x3230 -x3229 x3228 x3227 x3226 x3225 x3224 x3223 x3222 x3221 -x3220 -x3219 -x3218 x3217 x3216 -x3215 x3214 -x3213 x3212 x3211 
1790.76/1790.98	v x3210 x3209 x3208 x3207 -x3206 -x3205 -x3204 -x3203 x3202 x3201 -x3200 -x3199 -x3198 x3197 -x3196 x3195 x3194 -x3193 -x3192 
1790.76/1790.98	v -x3191 -x3190 -x3189 x3188 x3187 -x3186 x3185 -x3184 x3183 -x3182 -x3181 x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174 x3173 
1790.76/1790.98	v x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 x3159 -x3158 -x3157 -x3156 -x3155 
1790.76/1790.98	v -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 
1790.76/1790.98	v -x3136 x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 x3128 -x3127 -x3126 -x3125 -x3124 -x3123 x3122 -x3121 -x3120 -x3119 
1790.76/1790.98	v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 x3104 -x3103 -x3102 -x3101 
1790.76/1790.98	v x3100 x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 x3085 -x3084 -x3083 
1790.76/1790.98	v -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 x3067 -x3066 -x3065 
1790.76/1790.98	v -x3064 -x3063 x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047 
1790.76/1790.98	v -x3046 -x3045 -x3044 x3043 -x3042 -x3041 -x3040 -x3039 x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 
1790.76/1790.98	v x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 
1790.76/1790.98	v -x3009 -x3008 x3007 x3006 -x3005 -x3004 -x3003 x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 x2992 
1790.76/1790.98	v -x2991 x2990 -x2989 -x2988 -x2987 -x2986 x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 
1790.76/1790.98	v -x2973 -x2972 x2971 -x2970 -x2969 -x2968 -x2967 -x2966 x2965 -x2964 -x2963 -x2962 -x2961 -x2960 x2959 -x2958 -x2957 -x2956 
1790.76/1790.98	v -x2955 -x2954 x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947 -x2946 -x2945 -x2944 x2943 -x2942 -x2941 -x2940 x2939 -x2938 -x2937 
1790.76/1790.98	v x2936 x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 x2925 -x2924 -x2923 -x2922 x2921 -x2920 -x2919 
1790.76/1790.98	v -x2918 x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 x2907 -x2906 -x2905 -x2904 -x2903 x2902 -x2901 -x2900 
1790.76/1790.98	v -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 -x2889 -x2888 x2887 -x2886 -x2885 x2884 x2883 -x2882 
1790.76/1790.98	v -x2881 -x2880 -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 
1790.76/1790.98	v -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 
1790.76/1790.98	v -x2845 -x2844 x2843 -x2842 x2841 x2840 x2839 -x2838 -x2837 -x2836 -x2835 -x2834 x2833 -x2832 -x2831 -x2830 -x2829 x2828 -x2827 
1790.76/1790.98	v -x2826 -x2825 x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817 x2816 -x2815 -x2814 -x2813 -x2812 -x2811 x2810 -x2809 
1790.76/1790.98	v -x2808 -x2807 x2806 -x2805 x2804 -x2803 -x2802 x2801 -x2800 x2799 -x2798 -x2797 x2796 -x2795 x2794 -x2793 -x2792 x2791 -x2790 
1790.76/1790.98	v x2789 -x2788 -x2787 x2786 -x2785 x2784 -x2783 -x2782 x2781 -x2780 x2779 -x2778 -x2777 -x2776 -x2775 x2774 -x2773 -x2772 -x2771 
1790.76/1790.98	v -x2770 x2769 -x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762 -x2761 -x2760 -x2759 x2758 -x2757 -x2756 -x2755 -x2754 x2753 
1790.76/1790.98	v -x2752 x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 x2744 -x2743 -x2742 -x2741 -x2740 x2739 -x2738 -x2737 -x2736 -x2735 
1790.76/1790.98	v -x2734 -x2733 -x2732 x2731 -x2730 -x2729 -x2728 -x2727 x2726 -x2725 -x2724 -x2723 -x2722 -x2721 x2720 -x2719 -x2718 -x2717 -x2716 
1790.76/1790.98	v x2715 -x2714 -x2713 -x2712 x2711 x2710 -x2709 x2708 -x2707 -x2706 -x2705 -x2704 -x2703 x2702 -x2701 x2700 -x2699 -x2698 
1790.76/1790.98	v x2697 -x2696 x2695 -x2694 -x2693 -x2692 -x2691 x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 
1790.76/1790.98	v -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 
1790.76/1790.98	v -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 
1790.76/1790.98	v -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 
1790.76/1790.98	v -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 
1790.76/1790.98	v -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 
1790.76/1790.98	v -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 
1790.76/1790.98	v -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 
1790.76/1790.98	v -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 
1790.76/1790.98	v -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 
1790.76/1790.98	v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 x2509 -x2508 -x2507 -x2506 x2505 x2504 x2503 -x2502 -x2501 -x2500 
1790.76/1790.98	v -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 
1790.76/1790.98	v -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 x2466 -x2465 -x2464 
1790.76/1790.98	v -x2463 -x2462 x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 
1790.76/1790.98	v -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 
1790.76/1790.98	v -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 
1790.76/1790.98	v -x2409 x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 
1790.76/1790.98	v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 
1790.76/1790.98	v -x2374 -x2373 -x2372 x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 
1790.76/1790.98	v -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 
1790.76/1790.98	v -x2338 -x2337 -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 
1790.76/1790.98	v -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 
1790.76/1790.98	v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2285 
1790.76/1790.98	v -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267 
1790.76/1790.98	v -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 
1790.76/1790.98	v -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232 -x2231 
1790.76/1790.98	v -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 
1790.76/1790.98	v -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 x2197 -x2196 -x2195 
1790.76/1790.98	v -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 
1790.76/1790.98	v -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 
1790.76/1790.98	v -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 
1790.76/1790.98	v -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 -x2123 
1790.76/1790.98	v -x2122 -x2121 -x2120 -x2119 x2118 x2117 x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 
1790.76/1790.98	v -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 
1790.76/1790.98	v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 
1790.76/1790.98	v -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 -x2051 
1790.76/1790.98	v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 
1790.76/1790.98	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 x2016 -x2015 
1790.76/1790.98	v -x2014 -x2013 x2012 x2011 x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 x1998 x1997 
1790.76/1790.98	v -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 x1983 x1982 -x1981 -x1980 -x1979 -x1978 
1790.76/1790.98	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 x1961 -x1960 
1790.76/1790.98	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 
1790.76/1790.98	v -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 
1790.76/1790.98	v x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 x1911 -x1910 -x1909 -x1908 -x1907 
1790.76/1790.98	v -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 
1790.76/1790.98	v -x1888 -x1887 x1886 x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871 -x1870 
1790.76/1790.98	v -x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 
1790.76/1790.98	v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 x1844 -x1843 -x1842 -x1841 -x1840 -x1839 x1838 x1837 -x1836 -x1835 -x1834 
1790.76/1790.98	v -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 x1818 -x1817 -x1816 
1790.76/1790.98	v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 -x1798 
1790.76/1790.98	v x1797 x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 
1790.76/1790.98	v -x1779 -x1778 -x1777 -x1776 -x1775 x1774 -x1773 -x1772 -x1771 -x1770 -x1769 x1768 x1767 -x1766 -x1765 -x1764 -x1763 -x1762 
1790.76/1790.98	v -x1761 x1760 x1759 x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 x1746 -x1745 -x1744 x1743 
1790.76/1790.98	v -x1742 -x1741 -x1740 -x1739 x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 
1790.76/1790.98	v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 x1714 -x1713 x1712 x1711 -x1710 -x1709 x1708 x1707 x1706 
1790.76/1790.98	v -x1705 -x1704 -x1703 -x1702 x1701 x1700 x1699 x1698 x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 
1790.76/1790.98	v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 
1790.76/1790.98	v -x1669 -x1668 -x1667 x1666 -x1665 x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 x1653 -x1652 -x1651 
1790.76/1790.98	v -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1641 x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634 -x1633 
1790.76/1790.98	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
1790.76/1790.98	v -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607 x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 
1790.76/1790.98	v -x1596 -x1595 -x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
1790.76/1790.98	v -x1578 x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 x1565 x1564 -x1563 x1562 -x1561 -x1560 
1790.76/1790.98	v -x1559 x1558 -x1557 -x1556 -x1555 x1554 x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 
1790.76/1790.98	v x1541 -x1540 x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 
1790.76/1790.98	v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 x1506 
1790.76/1790.98	v x1505 -x1504 -x1503 -x1502 x1501 x1500 -x1499 x1498 -x1497 -x1496 x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 
1790.76/1790.98	v -x1486 -x1485 -x1484 -x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469 
1790.76/1790.98	v -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 x1452 x1451 -x1450 
1790.76/1790.98	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 x1441 -x1440 -x1439 x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 
1790.76/1790.98	v x1431 x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 x1423 -x1422 -x1421 -x1420 x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
1790.76/1790.98	v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 x1406 x1405 -x1404 -x1403 -x1402 x1401 -x1400 -x1399 -x1398 -x1397 x1396 -x1395 
1790.76/1790.98	v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 x1378 x1377 
1790.76/1790.98	v -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359 
1790.76/1790.98	v -x1358 x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 
1790.76/1790.98	v -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 x1332 -x1331 -x1330 -x1329 x1328 -x1327 -x1326 -x1325 -x1324 -x1323 
1790.76/1790.98	v -x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 x1313 x1312 x1311 x1310 -x1309 -x1308 x1307 x1306 -x1305 -x1304 
1790.76/1790.98	v -x1303 x1302 x1301 -x1300 -x1299 x1298 x1297 -x1296 -x1295 -x1294 x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 
1790.76/1790.98	v x1284 x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 
1790.76/1790.98	v -x1266 x1265 -x1264 x1263 x1262 -x1261 -x1260 x1259 x1258 x1257 -x1256 -x1255 -x1254 x1253 x1252 x1251 x1250 -x1249 -x1248 
1790.76/1790.98	v -x1247 -x1246 x1245 -x1244 x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234 x1233 -x1232 -x1231 -x1230 -x1229 
1790.76/1790.98	v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 
1790.76/1790.98	v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 
1790.76/1790.98	v -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 
1790.76/1790.98	v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 
1790.76/1790.98	v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 
1790.76/1790.98	v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 
1790.76/1790.98	v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 
1790.76/1790.98	v -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 x1087 x1086 
1790.76/1790.98	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 
1790.76/1790.98	v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 
1790.76/1790.98	v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 
1790.76/1790.98	v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 
1790.76/1790.98	v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 
1790.76/1790.98	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 
1790.76/1790.98	v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 
1790.76/1790.98	v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 x935 -x934 -x933 
1790.76/1790.98	v -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 
1790.76/1790.98	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 
1790.76/1790.98	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 
1790.76/1790.98	v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 
1790.76/1790.98	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
1790.76/1790.98	v -x828 -x827 -x826 -x825 x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 
1790.76/1790.98	v -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 
1790.76/1790.98	v -x785 -x784 -x783 -x782 -x781 -x780 x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 
1790.76/1790.98	v -x764 -x763 -x762 -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 
1790.76/1790.98	v -x743 -x742 -x741 x740 -x739 -x738 -x737 x736 x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 
1790.76/1790.98	v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 
1790.76/1790.98	v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 
1790.76/1790.98	v -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 
1790.76/1790.98	v -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 
1790.76/1790.98	v -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 
1790.76/1790.98	v -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 
1790.76/1790.98	v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 -x578 -x577 -x576 -x575 
1790.76/1790.98	v x574 x573 x572 x571 x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 x560 x559 -x558 -x557 x556 -x555 -x554 -x553 
1790.76/1790.98	v -x552 -x551 x550 -x549 x548 x547 x546 x545 x544 -x543 -x542 -x541 -x540 x539 x538 x537 -x536 -x535 -x534 x533 x532 x531 -x530 
1790.76/1790.98	v -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 x516 -x515 x514 -x513 -x512 -x511 x510 x509 -x508 
1790.76/1790.98	v -x507 x506 -x505 x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 x495 x494 -x493 -x492 x491 x490 x489 x488 -x487 -x486 
1790.76/1790.98	v x485 -x484 -x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 x474 x473 x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 
1790.76/1790.98	v -x463 -x462 -x461 -x460 -x459 x458 x457 -x456 -x455 x454 -x453 -x452 x451 -x450 -x449 -x448 x447 x446 -x445 -x444 x443 -x442 
1790.76/1790.98	v x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 x429 x428 -x427 x426 x425 x424 -x423 x422 -x421 -x420 
1790.76/1790.98	v -x419 x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 x400 x399 -x398 
1790.76/1790.98	v -x397 x396 x395 x394 -x393 -x392 x391 x390 x389 x388 -x387 x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 x378 -x377 -x376 x375 
1790.76/1790.98	v -x374 -x373 -x372 x371 x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 x357 -x356 -x355 -x354 
1790.76/1790.98	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 
1790.76/1790.98	v -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 x313 -x312 x311 
1790.76/1790.98	v x310 -x309 -x308 -x307 x306 x305 x304 x303 x302 x301 x300 -x299 x298 -x297 -x296 x295 x294 -x293 -x292 -x291 x290 x289 x288 
1790.76/1790.98	v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 x270 -x269 -x268 -x267 -x266 
1790.76/1790.98	v x265 -x264 -x263 x262 -x261 -x260 x259 x258 x257 -x256 -x255 -x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 
1790.76/1790.98	v -x243 -x242 -x241 -x240 -x239 x238 x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 
1790.76/1790.98	v -x222 x221 -x220 x219 -x218 -x217 x216 x215 x214 -x213 x212 -x211 x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 
1790.76/1790.98	v x199 -x198 x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 x188 x187 x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 
1790.76/1790.98	v -x177 -x176 x175 -x174 x173 -x172 -x171 -x170 x169 x168 -x167 -x166 -x165 -x164 x163 -x162 x161 -x160 -x159 x158 -x157 -x156 
1790.76/1790.98	v x155 -x154 -x153 x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 x137 x136 x135 x134 
1790.76/1790.98	v -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 
1790.76/1790.98	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 x97 x96 x95 x94 -x93 -x92 -x91 x90 -x89 
1790.76/1790.98	v -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 -x63 
1790.76/1790.98	v -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 -x37 -x36 
1790.76/1790.98	v -x35 -x34 -x33 x32 x31 x30 -x29 -x28 x27 -x26 x25 -x24 -x23 -x22 x21 x20 -x19 -x18 -x17 x16 x15 -x14 -x13 x12 x11 x10 -x9 -x8 
1790.76/1790.98	v -x7 -x6 x5 -x4 -x3 -x2 -x1 
1790.76/1790.98	c SCIP Status        : solving was interrupted [time limit reached]
1790.76/1790.98	c Solving Time       :    1789.90
1790.76/1790.98	c Original Problem   :
1790.76/1790.98	c   Problem name     : HOME/instance-2705300-1278578354.wbo
1790.76/1790.98	c   Variables        : 21027 (12341 binary, 0 integer, 8686 implicit integer, 0 continuous)
1790.76/1790.98	c   Constraints      : 17373 initial, 17373 maximal
1790.76/1790.98	c Presolved Problem  :
1790.76/1790.98	c   Problem name     : t_HOME/instance-2705300-1278578354.wbo
1790.76/1790.98	c   Variables        : 21027 (12341 binary, 0 integer, 8686 implicit integer, 0 continuous)
1790.76/1790.98	c   Constraints      : 17372 initial, 17372 maximal
1790.76/1790.98	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.76/1790.98	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1790.76/1790.99	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1790.76/1790.99	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.76/1790.99	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.76/1790.99	c   implics          :       0.00          0          0          0          0          0          0          0          0
1790.76/1790.99	c   probing          :       0.14          0          0          0          0          0          0          0          0
1790.76/1790.99	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.76/1790.99	c   linear           :       0.05          0          0          0       8686          0          1        352        704
1790.76/1790.99	c   indicator        :       0.01          0          0          0          0          0          0          0          0
1790.76/1790.99	c   root node        :          -          0          -          -          0          -          -          -          -
1790.76/1790.99	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.76/1790.99	c   integral         :          0          0          0     105195          0          0          0          0          0     112410
1790.76/1790.99	c   varbound         :          1          7     156877      28152          0          0         71          1          0          0
1790.76/1790.99	c   linear           :       8685          7     189727      48990          0          0      42998      35381          0          0
1790.76/1790.99	c   indicator        :       8686          0     189727      48990          0          0      34327          0          0          0
1790.76/1790.99	c   countsols        :          0          0          0      47221          0          0          0          0          0          0
1790.76/1790.99	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.76/1790.99	c   integral         :      62.80       0.00       0.00      62.80       0.00
1790.76/1790.99	c   varbound         :       0.19       0.00       0.16       0.03       0.00
1790.76/1790.99	c   linear           :     233.50       0.01      54.45     179.04       0.00
1790.76/1790.99	c   indicator        :     182.68       0.01      74.17     108.50       0.00
1790.76/1790.99	c   countsols        :       0.02       0.00       0.00       0.02       0.00
1790.76/1790.99	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.76/1790.99	c   vbounds          :       3.52      20140          0          0
1790.76/1790.99	c   rootredcost      :       0.15          1          0          0
1790.76/1790.99	c   pseudoobj        :      86.11     189527          0          0
1790.76/1790.99	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.76/1790.99	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.76/1790.99	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.76/1790.99	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.76/1790.99	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.76/1790.99	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.76/1790.99	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.76/1790.99	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.76/1790.99	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.76/1790.99	c   cut pool         :       0.00          5          -          -         74          -    (maximal pool size: 632)
1790.76/1790.99	c   redcost          :     139.83     105131          0          0          0          0
1790.76/1790.99	c   impliedbounds    :       0.00          6          0          0          0          0
1790.76/1790.99	c   intobj           :       0.00          0          0          0          0          0
1790.76/1790.99	c   cgmip            :       0.00          0          0          0          0          0
1790.76/1790.99	c   gomory           :       0.08          6          0          0        749          0
1790.76/1790.99	c   strongcg         :       0.08          6          0          0        745          0
1790.76/1790.99	c   cmir             :       0.30          6          0          0        150          0
1790.76/1790.99	c   flowcover        :       0.63          6          0          0        487          0
1790.76/1790.99	c   clique           :       0.01          1          0          0          0          0
1790.76/1790.99	c   zerohalf         :       0.00          0          0          0          0          0
1790.76/1790.99	c   mcf              :       0.00          2          0          0          0          0
1790.76/1790.99	c   rapidlearning    :       0.00          0          0          0          0          0
1790.76/1790.99	c Pricers            :       Time      Calls       Vars
1790.76/1790.99	c   problem variables:       0.00          0          0
1790.76/1790.99	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.76/1790.99	c   relpscost        :      62.58      56205          0          0          0          0     112410
1790.76/1790.99	c   pscost           :       0.00          0          0          0          0          0          0
1790.76/1790.99	c   inference        :     224.31      47221          0          0          0          0      94442
1790.76/1790.99	c   mostinf          :       0.00          0          0          0          0          0          0
1790.76/1790.99	c   leastinf         :       0.00          0          0          0          0          0          0
1790.76/1790.99	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.76/1790.99	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.76/1790.99	c   random           :       0.00          0          0          0          0          0          0
1790.76/1790.99	c Primal Heuristics  :       Time      Calls      Found
1790.76/1790.99	c   LP solutions     :       0.00          -          0
1790.76/1790.99	c   pseudo solutions :       0.00          -          0
1790.76/1790.99	c   intshifting      :       0.00          0          0
1790.76/1790.99	c   feaspump         :       0.00          0          0
1790.76/1790.99	c   oneopt           :       0.15          1          0
1790.76/1790.99	c   objpscostdiving  :       6.26          2          0
1790.76/1790.99	c   rootsoldiving    :       2.56          7          0
1790.76/1790.99	c   crossover        :       1.39          7          0
1790.76/1790.99	c   veclendiving     :      39.49         71          0
1790.76/1790.99	c   linesearchdiving :      45.92         94          0
1790.76/1790.99	c   pscostdiving     :      62.63        160          0
1790.76/1790.99	c   guideddiving     :       2.86        178          0
1790.76/1790.99	c   coefdiving       :      62.54        188          0
1790.76/1790.99	c   fracdiving       :      69.13        188          0
1790.76/1790.99	c   trivial          :       0.74          2          2
1790.76/1790.99	c   simplerounding   :       0.36      52715          0
1790.76/1790.99	c   zirounding       :       0.21       1000          0
1790.76/1790.99	c   rounding         :       0.74       3212          0
1790.76/1790.99	c   shifting         :       2.52       1020          0
1790.76/1790.99	c   twoopt           :       0.00          0          0
1790.76/1790.99	c   fixandinfer      :       0.00          0          0
1790.76/1790.99	c   intdiving        :       0.00          0          0
1790.76/1790.99	c   actconsdiving    :       0.00          0          0
1790.76/1790.99	c   octane           :       0.00          0          0
1790.76/1790.99	c   rens             :       0.14          1          0
1790.76/1790.99	c   rins             :       0.00          0          0
1790.76/1790.99	c   localbranching   :       0.00          0          0
1790.76/1790.99	c   mutation         :       0.00          0          0
1790.76/1790.99	c   dins             :       0.00          0          0
1790.76/1790.99	c   undercover       :       0.00          0          0
1790.76/1790.99	c   nlp              :       0.05          0          0
1790.76/1790.99	c   trysol           :       1.43        179        101
1790.76/1790.99	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.76/1790.99	c   primal LP        :       0.00          0          0       0.00          -
1790.76/1790.99	c   dual LP          :     303.18      54660     382743       7.00    1262.44
1790.76/1790.99	c   lex dual LP      :       0.00          0          0       0.00          -
1790.76/1790.99	c   barrier LP       :       0.00          0          0       0.00          -
1790.76/1790.99	c   diving/probing LP:     124.89      37920     135003       3.56    1080.97
1790.76/1790.99	c   strong branching :      57.01       9438     137002      14.52    2403.24
1790.76/1790.99	c     (at root node) :          -         33        258       7.82          -
1790.76/1790.99	c   conflict analysis:       0.00          0          0       0.00          -
1790.76/1790.99	c B&B Tree           :
1790.76/1790.99	c   number of runs   :          1
1790.76/1790.99	c   nodes            :     103426
1790.76/1790.99	c   nodes (total)    :     103426
1790.76/1790.99	c   nodes left       :     103427
1790.76/1790.99	c   max depth        :        735
1790.76/1790.99	c   max depth (total):        735
1790.76/1790.99	c   backtracks       :        603 (0.6%)
1790.76/1790.99	c   delayed cutoffs  :          0
1790.76/1790.99	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.76/1790.99	c   avg switch length:       2.25
1790.76/1790.99	c   switching time   :      15.57
1790.76/1790.99	c Solution           :
1790.76/1790.99	c   Solutions found  :        103 (2 improvements)
1790.76/1790.99	c   First Solution   : +4.42261000000000e+05   (in run 1, after 0 nodes, 0.08 seconds, depth 0, found by <trivial>)
1790.76/1790.99	c   Primal Bound     : +4.42173000000000e+05   (in run 1, after 38615 nodes, 705.94 seconds, depth 438, found by <trysol>)
1790.76/1790.99	c   Dual Bound       : +0.00000000000000e+00
1790.76/1790.99	c   Gap              :   infinite
1790.76/1790.99	c   Root Dual Bound  : +0.00000000000000e+00
1790.76/1790.99	c   Root Iterations  :       1568
1791.06/1791.20	c Time complete: 1791.06.

Verifier Data 

OK	15090

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705300-1278578354/watcher-2705300-1278578354 -o /tmp/evaluation-result-2705300-1278578354/solver-2705300-1278578354 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705300-1278578354.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.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=12520 CPUtime=0
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1975 0 0 0 0 0 0 0 23 0 1 0 26049134 12820480 1893 4089446400 4194304 10345943 140737370592064 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21358/statm: 3130 1893 429 1502 0 1623 0

[startup+0.088349 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=37868 CPUtime=0.07
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 8329 0 0 0 7 0 0 0 23 0 1 0 26049134 38776832 8247 4089446400 4194304 10345943 140737370592064 18446744073709551615 9122440 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21358/statm: 9467 8247 430 1502 0 7960 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37868

[startup+0.100347 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=40152 CPUtime=0.09
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 8871 0 0 0 9 0 0 0 23 0 1 0 26049134 41115648 8789 4089446400 4194304 10345943 140737370592064 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21358/statm: 10038 8789 430 1502 0 8531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40152

[startup+0.300315 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=86704 CPUtime=0.29
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 20260 0 0 0 28 1 0 0 23 0 1 0 26049134 88784896 19803 4089446400 4194304 10345943 140737370592064 18446744073709551615 9138388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 21676 19803 524 1502 0 20169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86704

[startup+0.700245 s]
/proc/loadavg: 1.98 2.00 1.95 4/176 21358
/proc/meminfo: memFree=29558664/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=86704 CPUtime=0.69
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 20260 0 0 0 68 1 0 0 25 0 1 0 26049134 88784896 19803 4089446400 4194304 10345943 140737370592064 18446744073709551615 4246683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 21676 19803 524 1502 0 20169 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86704

[startup+1.50111 s]
/proc/loadavg: 1.98 2.00 1.95 3/177 21359
/proc/meminfo: memFree=29476196/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=114328 CPUtime=1.49
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 26653 0 0 0 147 2 0 0 25 0 1 0 26049134 117071872 26099 4089446400 4194304 10345943 140737370592064 18446744073709551615 4500349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 28582 26099 744 1502 0 27075 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114328

[startup+3.10082 s]
/proc/loadavg: 1.98 2.00 1.95 3/177 21359
/proc/meminfo: memFree=29455196/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=120408 CPUtime=3.09
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 56453 0 0 0 303 6 0 0 25 0 1 0 26049134 123297792 27324 4089446400 4194304 10345943 140737370592064 18446744073709551615 6363001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21358/statm: 30102 27324 770 1502 0 28595 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120408

[startup+6.30029 s]
/proc/loadavg: 2.14 2.03 1.96 3/177 21359
/proc/meminfo: memFree=29451368/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=120740 CPUtime=6.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 127141 0 0 0 600 15 0 0 25 0 1 0 26049134 123637760 27380 4089446400 4194304 10345943 140737370592064 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 30185 27380 770 1502 0 28678 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 120740

[startup+12.7002 s]
/proc/loadavg: 2.13 2.03 1.96 3/177 21360
/proc/meminfo: memFree=29445680/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=120536 CPUtime=12.55
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 219363 0 0 0 1229 26 0 0 25 0 1 0 26049134 123428864 27373 4089446400 4194304 10345943 140737370592064 18446744073709551615 6566392 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 30134 27373 770 1502 0 28627 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 120536

[startup+25.501 s]
/proc/loadavg: 2.10 2.03 1.96 3/177 21360
/proc/meminfo: memFree=29433048/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=119696 CPUtime=25.35
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 331923 0 0 0 2498 37 0 0 25 0 1 0 26049134 122568704 27745 4089446400 4194304 10345943 140737370592064 18446744073709551615 4701101 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 29924 27745 771 1502 0 28417 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 119696

[startup+51.1007 s]
/proc/loadavg: 2.07 2.03 1.96 3/177 21360
/proc/meminfo: memFree=29403404/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=121744 CPUtime=50.95
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 562429 0 0 0 5032 63 0 0 25 0 1 0 26049134 124665856 28301 4089446400 4194304 10345943 140737370592064 18446744073709551615 4612720 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 30436 28301 771 1502 0 28929 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 121744

[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 21362
/proc/meminfo: memFree=29311720/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=124812 CPUtime=102.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 701549 0 0 0 10131 84 0 0 25 0 1 0 26049134 127807488 29081 4089446400 4194304 10345943 140737370592064 18446744073709551615 6803086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 31203 29081 773 1502 0 29696 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 124812

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 21364
/proc/meminfo: memFree=29213112/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=136916 CPUtime=162.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 836686 0 0 0 16108 106 0 0 25 0 1 0 26049134 140201984 32037 4089446400 4194304 10345943 140737370592064 18446744073709551615 4610074 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 34229 32037 773 1502 0 32722 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 136916

[startup+222.301 s]
/proc/loadavg: 2.05 2.03 1.97 3/177 21365
/proc/meminfo: memFree=29185916/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=155620 CPUtime=222.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 892127 0 0 0 22097 116 0 0 25 0 1 0 26049134 159354880 36743 4089446400 4194304 10345943 140737370592064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21358/statm: 38905 36743 773 1502 0 37398 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 155620

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 21366
/proc/meminfo: memFree=29158724/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=175720 CPUtime=282.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1021263 0 0 0 28078 135 0 0 25 0 1 0 26049134 179937280 41791 4089446400 4194304 10345943 140737370592064 18446744073709551615 6119613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 43930 41791 773 1502 0 42423 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 175720

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 21368
/proc/meminfo: memFree=29134388/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=197400 CPUtime=342.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1100054 0 0 0 34064 149 0 0 25 0 1 0 26049134 202137600 47193 4089446400 4194304 10345943 140737370592064 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 49350 47193 773 1502 0 47843 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 197400

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 21370
/proc/meminfo: memFree=29107692/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=219036 CPUtime=402.13
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1155303 0 0 0 40051 162 0 0 25 0 1 0 26049134 224292864 52423 4089446400 4194304 10345943 140737370592064 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 54759 52423 773 1502 0 53252 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 219036

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21372
/proc/meminfo: memFree=29083980/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=238472 CPUtime=462.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1227328 0 0 0 46040 174 0 0 25 0 1 0 26049134 244195328 57418 4089446400 4194304 10345943 140737370592064 18446744073709551615 4698013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 59618 57418 773 1502 0 58111 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 238472

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21373
/proc/meminfo: memFree=29059024/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=263196 CPUtime=522.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1243696 0 0 0 52031 183 0 0 25 0 1 0 26049134 269512704 63479 4089446400 4194304 10345943 140737370592064 18446744073709551615 6756383 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 65799 63479 773 1502 0 64292 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 263196

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21374
/proc/meminfo: memFree=29034688/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=284680 CPUtime=582.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1265405 0 0 0 58023 191 0 0 25 0 1 0 26049134 291512320 69094 4089446400 4194304 10345943 140737370592064 18446744073709551615 6777589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 71170 69094 773 1502 0 69663 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 284680

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21376
/proc/meminfo: memFree=29008996/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=310568 CPUtime=642.14
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1294100 0 0 0 64013 201 0 0 25 0 1 0 26049134 318021632 75585 4089446400 4194304 10345943 140737370592064 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 77642 75585 773 1502 0 76135 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 310568

[startup+702.3 s]

################
# More data... #
################

/proc/meminfo: memFree=28836056/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=478352 CPUtime=1002.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1482278 0 0 0 99972 243 0 0 25 0 1 0 26049134 489832448 117727 4089446400 4194304 10345943 140737370592064 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 119588 117727 774 1502 0 118081 0
Current children cumulated CPU time (s) 1002.15
Current children cumulated vsize (KiB) 478352

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 21388
/proc/meminfo: memFree=28814572/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=501772 CPUtime=1062.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1489920 0 0 0 105969 246 0 0 25 0 1 0 26049134 513814528 123128 4089446400 4194304 10345943 140737370592064 18446744073709551615 6120333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 125443 123128 774 1502 0 123936 0
Current children cumulated CPU time (s) 1062.15
Current children cumulated vsize (KiB) 501772

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21389
/proc/meminfo: memFree=28788628/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=527716 CPUtime=1122.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1513016 0 0 0 111964 251 0 0 25 0 1 0 26049134 540381184 129639 4089446400 4194304 10345943 140737370592064 18446744073709551615 6777399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 131929 129639 774 1502 0 130422 0
Current children cumulated CPU time (s) 1122.15
Current children cumulated vsize (KiB) 527716

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21390
/proc/meminfo: memFree=28765292/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=552668 CPUtime=1182.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1518980 0 0 0 117961 254 0 0 25 0 1 0 26049134 565932032 135603 4089446400 4194304 10345943 140737370592064 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 138167 135603 774 1502 0 136660 0
Current children cumulated CPU time (s) 1182.15
Current children cumulated vsize (KiB) 552668

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21392
/proc/meminfo: memFree=28740328/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=576232 CPUtime=1242.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1525934 0 0 0 123958 257 0 0 25 0 1 0 26049134 590061568 141614 4089446400 4194304 10345943 140737370592064 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 144058 141614 774 1502 0 142551 0
Current children cumulated CPU time (s) 1242.15
Current children cumulated vsize (KiB) 576232

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21394
/proc/meminfo: memFree=28716476/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=598680 CPUtime=1302.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1531764 0 0 0 129956 260 0 0 25 0 1 0 26049134 613048320 147187 4089446400 4194304 10345943 140737370592064 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 149670 147187 774 1502 0 148163 0
Current children cumulated CPU time (s) 1302.16
Current children cumulated vsize (KiB) 598680

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21405
/proc/meminfo: memFree=28696324/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=620040 CPUtime=1362.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1536829 0 0 0 135953 262 0 0 25 0 1 0 26049134 634920960 152252 4089446400 4194304 10345943 140737370592064 18446744073709551615 4476327 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 155010 152252 774 1502 0 153503 0
Current children cumulated CPU time (s) 1362.15
Current children cumulated vsize (KiB) 620040

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 21406
/proc/meminfo: memFree=28674708/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=640160 CPUtime=1422.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1542795 0 0 0 141950 266 0 0 25 0 1 0 26049134 655523840 157666 4089446400 4194304 10345943 140737370592064 18446744073709551615 6802904 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 160040 157666 774 1502 0 158533 0
Current children cumulated CPU time (s) 1422.16
Current children cumulated vsize (KiB) 640160

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 21407
/proc/meminfo: memFree=28654584/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=661420 CPUtime=1482.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1547787 0 0 0 147948 268 0 0 25 0 1 0 26049134 677294080 162658 4089446400 4194304 10345943 140737370592064 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 165355 162658 774 1502 0 163848 0
Current children cumulated CPU time (s) 1482.16
Current children cumulated vsize (KiB) 661420

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21409
/proc/meminfo: memFree=28633960/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=680284 CPUtime=1542.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1564479 0 0 0 153944 272 0 0 25 0 1 0 26049134 696610816 167649 4089446400 4194304 10345943 140737370592064 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 170071 167649 774 1502 0 168564 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 680284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21411
/proc/meminfo: memFree=28616064/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=699316 CPUtime=1602.15
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1569313 0 0 0 159940 275 0 0 25 0 1 0 26049134 716099584 172483 4089446400 4194304 10345943 140737370592064 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 174829 172483 774 1502 0 173322 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 699316

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21413
/proc/meminfo: memFree=28595572/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=718540 CPUtime=1662.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1575302 0 0 0 165937 279 0 0 25 0 1 0 26049134 735784960 177225 4089446400 4194304 10345943 140737370592064 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 179635 177225 774 1502 0 178128 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 718540

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21414
/proc/meminfo: memFree=28574840/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=740532 CPUtime=1722.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1580758 0 0 0 171935 281 0 0 25 0 1 0 26049134 758304768 182681 4089446400 4194304 10345943 140737370592064 18446744073709551615 6777399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21358/statm: 185133 182681 774 1502 0 183626 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 740532

[startup+1782.3 s]
/proc/loadavg: 2.16 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28850796/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=757920 CPUtime=1782.16
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1585228 0 0 0 177932 284 0 0 25 0 1 0 26049134 776110080 187151 4089446400 4194304 10345943 140737370592064 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 189480 187151 774 1502 0 187973 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 757920

Solver just ended. Dumping a history of the last processes samples

[startup+1785.6 s]
/proc/loadavg: 2.15 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28842520/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=760992 CPUtime=1785.47
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1585993 0 0 0 178262 285 0 0 25 0 1 0 26049134 779255808 187916 4089446400 4194304 10345943 140737370592064 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 190248 187916 774 1502 0 188741 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (KiB) 760992

[startup+1788.8 s]
/proc/loadavg: 2.15 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28834424/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=762796 CPUtime=1788.66
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586285 0 0 0 178581 285 0 0 25 0 1 0 26049134 781103104 188208 4089446400 4194304 10345943 140737370592064 18446744073709551615 4688027 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21358/statm: 190699 188208 774 1502 0 189192 0
Current children cumulated CPU time (s) 1788.66
Current children cumulated vsize (KiB) 762796

[startup+1790.4 s]
/proc/loadavg: 2.13 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28833928/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=763304 CPUtime=1790.26
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586506 0 0 0 178741 285 0 0 25 0 1 0 26049134 781623296 188429 4089446400 4194304 10345943 140737370592064 18446744073709551615 4246696 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21358/statm: 190826 188429 774 1502 0 189319 0
Current children cumulated CPU time (s) 1790.26
Current children cumulated vsize (KiB) 763304

[startup+1790.8 s]
/proc/loadavg: 2.13 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28830328/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=763304 CPUtime=1790.66
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586506 0 0 0 178781 285 0 0 25 0 1 0 26049134 781623296 188429 4089446400 4194304 10345943 140737370592064 18446744073709551615 4246693 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21358/statm: 190826 188429 774 1502 0 189319 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (KiB) 763304

[startup+1791.2 s]
/proc/loadavg: 2.13 2.03 1.99 3/177 21442
/proc/meminfo: memFree=28830328/32951132 swapFree=67111528/67111528
[pid=21358] ppid=21356 vsize=320680 CPUtime=1791.06
/proc/21358/stat : 21358 (pbscip.linux.x8) R 21356 21358 20861 0 -1 4202496 1586511 0 0 0 178818 288 0 0 25 0 1 0 26049134 328376320 41708 4089446400 4194304 10345943 140737370592064 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21358/statm: 80170 41533 778 1502 0 78663 0
Current children cumulated CPU time (s) 1791.06
Current children cumulated vsize (KiB) 320680

Child status: 0
Real time (s): 1791.21
CPU time (s): 1791.08
CPU user time (s): 1788.19
CPU system time (s): 2.88956
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 763304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.19
system time used= 2.88956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1586514
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= 4688

runsolver used 2.6586 second user time and 5.59615 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-08 10:39:14
IDJOB=2705300
IDBENCH=79326
IDSOLVER=1214
FILE ID=node129/2705300-1278578354
PBS_JOBID= 11240196
Free space on /tmp= 73780 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-43s.smv--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-2705300-1278578354/watcher-2705300-1278578354 -o /tmp/evaluation-result-2705300-1278578354/solver-2705300-1278578354 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705300-1278578354.wbo -t 1800 -m 3800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ce035d98af56bba024c7eadbdc340830
RANDOM SEED=184596561

node129.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.836
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.836
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.836
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.836
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.836
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	: 5311.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.836
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.836
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.836
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:     32951132 kB
MemFree:      29559068 kB
Buffers:        155464 kB
Cached:        2942476 kB
SwapCached:          0 kB
Active:        1340844 kB
Inactive:      1897724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29559068 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26200 kB
Writeback:           0 kB
AnonPages:      141096 kB
Mapped:          17844 kB
Slab:            90616 kB
PageTables:       4948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   284288 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node129 at 2010-07-08 11:09:05