Trace number 2705050

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 1790.84 1790.81

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-43s.smv--soft-33-100-0.wbo
MD5SUMd20dc576722845e6dd504314dac61b63
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard 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.158975
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 constraints5857
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 294055
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 294054
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

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

Verifier Data 

OK	10165

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705050-1278574754/watcher-2705050-1278574754 -o /tmp/evaluation-result-2705050-1278574754/solver-2705050-1278574754 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705050-1278574754.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.94 1.67 4/176 21141
/proc/meminfo: memFree=29600400/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=12192 CPUtime=0
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 1908 0 0 0 0 0 0 0 22 0 1 0 25689158 12484608 1827 4089446400 4194304 10345943 140733781556736 18446744073709551615 9134648 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21141/statm: 3048 1827 429 1502 0 1541 0

[startup+0.0377791 s]
/proc/loadavg: 1.85 1.94 1.67 4/176 21141
/proc/meminfo: memFree=29600400/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=21692 CPUtime=0.03
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 4285 0 0 0 3 0 0 0 22 0 1 0 25689158 22212608 4204 4089446400 4194304 10345943 140733781556736 18446744073709551615 9270522 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21141/statm: 5423 4204 430 1502 0 3916 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21692

[startup+0.100767 s]
/proc/loadavg: 1.85 1.94 1.67 4/176 21141
/proc/meminfo: memFree=29600400/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=32320 CPUtime=0.08
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 7319 0 0 0 8 0 0 0 22 0 1 0 25689158 33095680 6861 4089446400 4194304 10345943 140733781556736 18446744073709551615 6324989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21141/statm: 8080 6861 449 1502 0 6573 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32320

[startup+0.300733 s]
/proc/loadavg: 1.85 1.94 1.67 4/176 21141
/proc/meminfo: memFree=29600400/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=75976 CPUtime=0.29
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 17971 0 0 0 28 1 0 0 22 0 1 0 25689158 77799424 17496 4089446400 4194304 10345943 140733781556736 18446744073709551615 5608280 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21141/statm: 18994 17496 626 1502 0 17487 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75976

[startup+0.700665 s]
/proc/loadavg: 1.85 1.94 1.67 4/176 21141
/proc/meminfo: memFree=29600400/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=75976 CPUtime=0.69
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 17993 0 0 0 68 1 0 0 24 0 1 0 25689158 77799424 17496 4089446400 4194304 10345943 140733781556736 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21141/statm: 18994 17496 604 1502 0 17487 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75976

[startup+1.50053 s]
/proc/loadavg: 1.85 1.94 1.67 3/177 21142
/proc/meminfo: memFree=29516692/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=96412 CPUtime=1.49
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 22492 0 0 0 147 2 0 0 25 0 1 0 25689158 98725888 21977 4089446400 4194304 10345943 140733781556736 18446744073709551615 9134643 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21141/statm: 24103 21977 769 1502 0 22596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96412

[startup+3.10026 s]
/proc/loadavg: 1.85 1.94 1.67 3/177 21142
/proc/meminfo: memFree=29510616/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=99636 CPUtime=3.09
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 23159 0 0 0 307 2 0 0 25 0 1 0 25689158 102027264 22644 4089446400 4194304 10345943 140733781556736 18446744073709551615 9134608 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21141/statm: 24909 22644 769 1502 0 23402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99636

[startup+6.30072 s]
/proc/loadavg: 2.02 1.97 1.68 3/177 21142
/proc/meminfo: memFree=29504436/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=99656 CPUtime=6.29
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 48127 0 0 0 623 6 0 0 25 0 1 0 25689158 102047744 22782 4089446400 4194304 10345943 140733781556736 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 24914 22782 795 1502 0 23407 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99656

[startup+12.7006 s]
/proc/loadavg: 2.02 1.97 1.68 3/177 21143
/proc/meminfo: memFree=29490788/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=107408 CPUtime=12.69
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 55428 0 0 0 1261 8 0 0 25 0 1 0 25689158 109985792 23941 4089446400 4194304 10345943 140733781556736 18446744073709551615 7522115 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 26852 23941 799 1502 0 25345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 107408

[startup+25.5005 s]
/proc/loadavg: 2.02 1.97 1.69 3/177 21143
/proc/meminfo: memFree=29474280/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=107392 CPUtime=25.49
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 98952 0 0 0 2536 13 0 0 25 0 1 0 25689158 109969408 24051 4089446400 4194304 10345943 140733781556736 18446744073709551615 7569550 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 26848 24051 799 1502 0 25341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 107392

[startup+51.1011 s]
/proc/loadavg: 2.01 1.97 1.70 3/177 21143
/proc/meminfo: memFree=29445004/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=109800 CPUtime=51.09
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 218987 0 0 0 5077 32 0 0 25 0 1 0 25689158 112435200 24464 4089446400 4194304 10345943 140733781556736 18446744073709551615 7509375 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 27450 24464 811 1502 0 25943 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 109800

[startup+102.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/177 21145
/proc/meminfo: memFree=29406072/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=113788 CPUtime=102.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 335211 0 0 0 10176 54 0 0 25 0 1 0 25689158 116518912 26504 4089446400 4194304 10345943 140733781556736 18446744073709551615 6864761 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 28447 26504 811 1502 0 26940 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 113788

[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/177 21147
/proc/meminfo: memFree=29372444/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=145084 CPUtime=162.29
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 417127 0 0 0 16156 73 0 0 25 0 1 0 25689158 148566016 33433 4089446400 4194304 10345943 140733781556736 18446744073709551615 6715923 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 36271 33433 811 1502 0 34764 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 145084

[startup+222.306 s]
/proc/loadavg: 2.00 1.97 1.74 3/177 21148
/proc/meminfo: memFree=29334700/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=176036 CPUtime=222.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 496625 0 0 0 22140 90 0 0 25 0 1 0 25689158 180260864 42515 4089446400 4194304 10345943 140733781556736 18446744073709551615 6711902 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 44009 42515 814 1502 0 42502 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 176036

[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 21149
/proc/meminfo: memFree=29292760/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=223668 CPUtime=282.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 535562 0 0 0 28129 101 0 0 25 0 1 0 25689158 229036032 52735 4089446400 4194304 10345943 140733781556736 18446744073709551615 6520140 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 55917 52735 814 1502 0 54410 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 223668

[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.76 3/177 21151
/proc/meminfo: memFree=29256516/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=253816 CPUtime=342.29
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 568277 0 0 0 34118 111 0 0 25 0 1 0 25689158 259907584 61354 4089446400 4194304 10345943 140733781556736 18446744073709551615 5926454 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 63454 61354 814 1502 0 61947 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 253816

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.77 3/177 21153
/proc/meminfo: memFree=29223372/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=281900 CPUtime=402.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 575570 0 0 0 40115 115 0 0 25 0 1 0 25689158 288665600 68573 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 70475 68573 814 1502 0 68968 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 281900

[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/177 21155
/proc/meminfo: memFree=29188624/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=315360 CPUtime=462.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 600900 0 0 0 46108 122 0 0 25 0 1 0 25689158 322928640 76693 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 78840 76693 814 1502 0 77333 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 315360

[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/177 21156
/proc/meminfo: memFree=29156596/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=346180 CPUtime=522.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 611765 0 0 0 52102 128 0 0 25 0 1 0 25689158 354488320 84121 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 86545 84121 814 1502 0 85038 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 346180

[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.81 3/177 21157
/proc/meminfo: memFree=29129788/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=369912 CPUtime=582.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 647365 0 0 0 58095 135 0 0 25 0 1 0 25689158 378789888 90615 4089446400 4194304 10345943 140733781556736 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 92478 90615 814 1502 0 90971 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 369912

[startup+642.301 s]
/proc/loadavg: 2.00 1.97 1.82 3/177 21159
/proc/meminfo: memFree=29097520/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=400780 CPUtime=642.3
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 657811 0 0 0 64090 140 0 0 25 0 1 0 25689158 410398720 97865 4089446400 4194304 10345943 140733781556736 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 100195 97865 814 1502 0 98688 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 400780

[startup+702.301 s]

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

/proc/meminfo: memFree=28928444/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=559692 CPUtime=1002.31
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 745742 0 0 0 100063 168 0 0 25 0 1 0 25689158 573124608 137799 4089446400 4194304 10345943 140733781556736 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 139923 137799 814 1502 0 138416 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 559692

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/177 21171
/proc/meminfo: memFree=28901144/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=586448 CPUtime=1062.31
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 771873 0 0 0 106056 175 0 0 25 0 1 0 25689158 600522752 144124 4089446400 4194304 10345943 140733781556736 18446744073709551615 5012556 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 146612 144124 814 1502 0 145105 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 586448

[startup+1122.3 s]
/proc/loadavg: 2.08 2.01 1.88 3/177 21172
/proc/meminfo: memFree=28875076/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=612080 CPUtime=1122.31
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 800381 0 0 0 112048 183 0 0 25 0 1 0 25689158 626769920 150664 4089446400 4194304 10345943 140733781556736 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 153020 150664 814 1502 0 151513 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 612080

[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 1.88 3/177 21173
/proc/meminfo: memFree=28849624/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=636476 CPUtime=1182.31
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 808962 0 0 0 118045 186 0 0 25 0 1 0 25689158 651751424 156876 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476309 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 159119 156876 814 1502 0 157612 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 636476

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/177 21175
/proc/meminfo: memFree=28826284/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=658580 CPUtime=1242.31
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 814601 0 0 0 124042 189 0 0 25 0 1 0 25689158 674385920 162515 4089446400 4194304 10345943 140733781556736 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 164645 162515 814 1502 0 163138 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 658580

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 21177
/proc/meminfo: memFree=28799588/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=686312 CPUtime=1302.31
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 824554 0 0 0 130037 194 0 0 25 0 1 0 25689158 702783488 169370 4089446400 4194304 10345943 140733781556736 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 171578 169370 814 1502 0 170071 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 686312

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 21188
/proc/meminfo: memFree=28773068/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=708644 CPUtime=1362.31
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 830495 0 0 0 136034 197 0 0 25 0 1 0 25689158 725651456 175308 4089446400 4194304 10345943 140733781556736 18446744073709551615 6519219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 177161 175308 814 1502 0 175654 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 708644

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21189
/proc/meminfo: memFree=28746372/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=736452 CPUtime=1422.32
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 846860 0 0 0 142031 201 0 0 25 0 1 0 25689158 754126848 181899 4089446400 4194304 10345943 140733781556736 18446744073709551615 6756198 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 184113 181899 814 1502 0 182606 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 736452

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21190
/proc/meminfo: memFree=28721436/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=759320 CPUtime=1482.32
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 853097 0 0 0 148027 205 0 0 25 0 1 0 25689158 777543680 187792 4089446400 4194304 10345943 140733781556736 18446744073709551615 4882053 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 189830 187792 814 1502 0 188323 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 759320

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21192
/proc/meminfo: memFree=28692276/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=785884 CPUtime=1542.33
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 859830 0 0 0 154026 207 0 0 25 0 1 0 25689158 804745216 194525 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 196471 194525 814 1502 0 194964 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 785884

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21194
/proc/meminfo: memFree=28666452/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=810920 CPUtime=1602.32
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 865856 0 0 0 160023 209 0 0 25 0 1 0 25689158 830382080 200549 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 202730 200549 814 1502 0 201223 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 810920

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21196
/proc/meminfo: memFree=28640252/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=835784 CPUtime=1662.32
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 872242 0 0 0 166021 211 0 0 25 0 1 0 25689158 855842816 206935 4089446400 4194304 10345943 140733781556736 18446744073709551615 8160422 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 208946 206935 814 1502 0 207439 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 835784

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21197
/proc/meminfo: memFree=28617036/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=857760 CPUtime=1722.32
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 903891 0 0 0 172016 216 0 0 25 0 1 0 25689158 878346240 212584 4089446400 4194304 10345943 140733781556736 18446744073709551615 5614724 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 214440 212584 814 1502 0 212933 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 857760

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21198
/proc/meminfo: memFree=28592708/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=882876 CPUtime=1782.32
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 916804 0 0 0 178012 220 0 0 25 0 1 0 25689158 904065024 218681 4089446400 4194304 10345943 140733781556736 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 220719 218681 814 1502 0 219212 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 882876

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21198
/proc/meminfo: memFree=28591832/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=883068 CPUtime=1785.62
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 917044 0 0 0 178342 220 0 0 25 0 1 0 25689158 904261632 218921 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 220767 218921 814 1502 0 219260 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 883068

[startup+1788.8 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 21215
/proc/meminfo: memFree=28775348/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=885112 CPUtime=1788.83
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 917556 0 0 0 178662 221 0 0 25 0 1 0 25689158 906354688 219433 4089446400 4194304 10345943 140733781556736 18446744073709551615 4687925 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 221278 219433 814 1502 0 219771 0
Current children cumulated CPU time (s) 1788.83
Current children cumulated vsize (KiB) 885112

[startup+1789.6 s]
/proc/loadavg: 2.00 2.00 1.91 2/172 21215
/proc/meminfo: memFree=28775348/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=885112 CPUtime=1789.63
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 917556 0 0 0 178742 221 0 0 25 0 1 0 25689158 906354688 219433 4089446400 4194304 10345943 140733781556736 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/21141/statm: 221278 219433 814 1502 0 219771 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 885112

[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 21219
/proc/meminfo: memFree=28775332/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=885112 CPUtime=1790.43
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 917556 0 0 0 178822 221 0 0 25 0 1 0 25689158 906354688 219433 4089446400 4194304 10345943 140733781556736 18446744073709551615 4246683 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21141/statm: 221278 219433 814 1502 0 219771 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (KiB) 885112

[startup+1790.8 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 21225
/proc/meminfo: memFree=29415516/32951132 swapFree=67111528/67111528
[pid=21141] ppid=21139 vsize=101136 CPUtime=1790.82
/proc/21141/stat : 21141 (pbscip.linux.x8) R 21139 21141 20861 0 -1 4202496 917813 0 0 0 178859 223 0 0 18 0 1 0 25689158 103563264 24012 4089446400 4194304 10345943 140733781556736 18446744073709551615 4751208 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/21141/statm: 25284 24012 815 1502 0 23777 0
Current children cumulated CPU time (s) 1790.82
Current children cumulated vsize (KiB) 101136

Child status: 0
Real time (s): 1790.81
CPU time (s): 1790.84
CPU user time (s): 1788.6
CPU system time (s): 2.24066
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 886136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.6
system time used= 2.24066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917816
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= 3
involuntary context switches= 1693

runsolver used 2.54461 second user time and 5.75812 second system time

The end

Launcher Data 

Begin job on node129 at 2010-07-08 09:39:14
IDJOB=2705050
IDBENCH=79014
IDSOLVER=1214
FILE ID=node129/2705050-1278574754
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/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-43s.smv--soft-33-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-2705050-1278574754/watcher-2705050-1278574754 -o /tmp/evaluation-result-2705050-1278574754/solver-2705050-1278574754 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705050-1278574754.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d20dc576722845e6dd504314dac61b63
RANDOM SEED=1752006390

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:      29600928 kB
Buffers:        152816 kB
Cached:        2941672 kB
SwapCached:          0 kB
Active:        1301280 kB
Inactive:      1895176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29600928 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26204 kB
Writeback:           0 kB
AnonPages:      101488 kB
Mapped:          17864 kB
Slab:            90524 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   244812 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 10:09:05