Trace number 2692399

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverMSAT (TO) 1800.35 1800.31

General information on the benchmark

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

Verifier Data 

OK	7368

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692399-1277914749/watcher-2692399-1277914749 -o /tmp/evaluation-result-2692399-1277914749/solver-2692399-1277914749 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692399-1277914749.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: 2.00 2.00 2.00 4/178 16796
/proc/meminfo: memFree=30929368/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=9144 CPUtime=0
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 1603 0 0 0 0 0 0 0 25 0 1 0 132769419 9363456 1523 4089446400 4194304 8223781 140736023353808 18446744073709551615 6640525 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16796/statm: 2326 1530 369 984 0 1339 0

[startup+0.089826 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16796
/proc/meminfo: memFree=30929368/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=34296 CPUtime=0.08
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 8189 0 0 0 7 1 0 0 25 0 1 0 132769419 35119104 7745 4089446400 4194304 8223781 140736023353808 18446744073709551615 4563921 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 8574 7745 405 984 0 7587 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34296

[startup+0.100822 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16796
/proc/meminfo: memFree=30929368/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=37824 CPUtime=0.09
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 8763 0 0 0 8 1 0 0 25 0 1 0 132769419 38731776 8319 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 9456 8319 441 984 0 8469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37824

[startup+0.300793 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16796
/proc/meminfo: memFree=30929368/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=52968 CPUtime=0.29
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 14602 0 0 0 27 2 0 0 25 0 1 0 132769419 54239232 12155 4089446400 4194304 8223781 140736023353808 18446744073709551615 4568775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 13242 12155 563 984 0 12255 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52968

[startup+0.700718 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 16796
/proc/meminfo: memFree=30929368/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=54060 CPUtime=0.69
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 15323 0 0 0 66 3 0 0 25 0 1 0 132769419 55357440 12389 4089446400 4194304 8223781 140736023353808 18446744073709551615 5716512 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 13515 12389 571 984 0 12528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54060

[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16797
/proc/meminfo: memFree=30879884/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=57724 CPUtime=1.49
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 16606 0 0 0 145 4 0 0 25 0 1 0 132769419 59109376 13177 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 14431 13177 590 984 0 13444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57724

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16797
/proc/meminfo: memFree=30876164/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=63096 CPUtime=3.09
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 19302 0 0 0 303 6 0 0 25 0 1 0 132769419 64610304 14325 4089446400 4194304 8223781 140736023353808 18446744073709551615 6568222 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 15774 14325 587 984 0 14787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63096

[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16797
/proc/meminfo: memFree=30872244/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=63412 CPUtime=6.29
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 51955 0 0 0 619 10 0 0 25 0 1 0 132769419 64933888 14492 4089446400 4194304 8223781 140736023353808 18446744073709551615 6568234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 15853 14492 600 984 0 14866 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63412

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16798
/proc/meminfo: memFree=30872184/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=63268 CPUtime=12.69
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 165466 0 0 0 1245 24 0 0 25 0 1 0 132769419 64786432 14427 4089446400 4194304 8223781 140736023353808 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 15817 14427 600 984 0 14830 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63268

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16798
/proc/meminfo: memFree=30866532/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=64552 CPUtime=25.49
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 308211 0 0 0 2502 47 0 0 25 0 1 0 132769419 66101248 14764 4089446400 4194304 8223781 140736023353808 18446744073709551615 6571358 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 16138 14764 604 984 0 15151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64552

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16799
/proc/meminfo: memFree=30859916/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=65568 CPUtime=51.09
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 632656 0 0 0 5021 88 0 0 25 0 1 0 132769419 67141632 15037 4089446400 4194304 8223781 140736023353808 18446744073709551615 6569342 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 16392 15037 604 984 0 15405 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65568

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16800
/proc/meminfo: memFree=30840260/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=68768 CPUtime=102.3
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 887505 0 0 0 10089 141 0 0 25 0 1 0 132769419 70418432 15890 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 17192 15890 605 984 0 16205 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 68768

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16801
/proc/meminfo: memFree=30818980/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=73392 CPUtime=162.29
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 1283233 0 0 0 16014 215 0 0 25 0 1 0 132769419 75153408 16852 4089446400 4194304 8223781 140736023353808 18446744073709551615 6436929 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 18348 16852 605 984 0 17361 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 73392

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16803
/proc/meminfo: memFree=30795272/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=83756 CPUtime=222.3
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 1724274 0 0 0 21927 303 0 0 25 0 1 0 132769419 85766144 19669 4089446400 4194304 8223781 140736023353808 18446744073709551615 6482584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 20939 19669 608 984 0 19952 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 83756

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16805
/proc/meminfo: memFree=30765328/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=96016 CPUtime=282.3
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 2150957 0 0 0 27847 383 0 0 25 0 1 0 132769419 98320384 22569 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 24004 22569 606 984 0 23017 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 96016

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16807
/proc/meminfo: memFree=30737136/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=108140 CPUtime=342.3
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 2451580 0 0 0 33775 455 0 0 25 0 1 0 132769419 110735360 25554 4089446400 4194304 8223781 140736023353808 18446744073709551615 6003617 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 27035 25554 606 984 0 26048 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 108140

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16808
/proc/meminfo: memFree=30709912/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=117060 CPUtime=402.3
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 2788274 0 0 0 39698 532 0 0 25 0 1 0 132769419 119869440 27869 4089446400 4194304 8223781 140736023353808 18446744073709551615 6448550 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 29265 27869 606 984 0 28278 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 117060

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16810
/proc/meminfo: memFree=30682316/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=129220 CPUtime=462.3
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 3194973 0 0 0 45623 607 0 0 25 0 1 0 132769419 132321280 30780 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 32305 30780 606 984 0 31318 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 129220

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16811
/proc/meminfo: memFree=30658480/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=138068 CPUtime=522.31
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 3428548 0 0 0 51556 675 0 0 25 0 1 0 132769419 141381632 33145 4089446400 4194304 8223781 140736023353808 18446744073709551615 6521544 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 34517 33145 606 984 0 33530 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 138068

[startup+582.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16813
/proc/meminfo: memFree=30631652/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=148396 CPUtime=582.3
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 3798594 0 0 0 57482 748 0 0 25 0 1 0 132769419 151957504 35672 4089446400 4194304 8223781 140736023353808 18446744073709551615 6482446 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 37099 35672 619 984 0 36112 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 148396

[startup+642.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16815
/proc/meminfo: memFree=30589692/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=170280 CPUtime=642.31
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 3989402 0 0 0 63427 804 0 0 25 0 1 0 132769419 174366720 41274 4089446400 4194304 8223781 140736023353808 18446744073709551615 6326768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 42570 41274 606 984 0 41583 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 170280

[startup+702.301 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16826
/proc/meminfo: memFree=30384892/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=255896 CPUtime=942.32
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 5037250 0 0 0 93137 1095 0 0 25 0 1 0 132769419 262037504 62765 4089446400 4194304 8223781 140736023353808 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 63974 62765 622 984 0 62987 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 255896

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16827
/proc/meminfo: memFree=30337964/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=276264 CPUtime=1002.32
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 5183769 0 0 0 99085 1147 0 0 25 0 1 0 132769419 282894336 67402 4089446400 4194304 8223781 140736023353808 18446744073709551615 6592712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 69066 67402 606 984 0 68079 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 276264

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16828
/proc/meminfo: memFree=30292552/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=292928 CPUtime=1062.32
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 5360994 0 0 0 105028 1204 0 0 25 0 1 0 132769419 299958272 71559 4089446400 4194304 8223781 140736023353808 18446744073709551615 6003266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16796/statm: 73232 71559 606 984 0 72245 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 292928

[startup+1122.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/197 16987
/proc/meminfo: memFree=30770000/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=311240 CPUtime=1122.31
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 5539108 0 0 0 110912 1319 0 0 25 0 1 0 132769419 318709760 76139 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 77810 76139 606 984 0 76823 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 311240

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 16989
/proc/meminfo: memFree=30735052/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=327620 CPUtime=1182.32
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 5766421 0 0 0 116777 1455 0 0 25 0 1 0 132769419 335482880 80160 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 81905 80160 606 984 0 80918 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 327620

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 16991
/proc/meminfo: memFree=30707224/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=345320 CPUtime=1242.32
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 6000109 0 0 0 122640 1592 0 0 25 0 1 0 132769419 353607680 84699 4089446400 4194304 8223781 140736023353808 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 86330 84699 606 984 0 85343 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 345320

[startup+1302.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/197 16992
/proc/meminfo: memFree=30691176/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=358888 CPUtime=1302.32
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 6289844 0 0 0 128489 1743 0 0 25 0 1 0 132769419 367501312 88002 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 89722 88002 606 984 0 88735 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 358888

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17021
/proc/meminfo: memFree=30880452/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=372544 CPUtime=1362.33
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 6614660 0 0 0 134338 1895 0 0 25 0 1 0 132769419 381485056 91571 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 93136 91571 606 984 0 92149 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 372544

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17068
/proc/meminfo: memFree=30645192/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=395632 CPUtime=1422.33
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 6843838 0 0 0 140213 2020 0 0 25 0 1 0 132769419 405127168 97404 4089446400 4194304 8223781 140736023353808 18446744073709551615 5893875 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 98908 97404 606 984 0 97921 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 395632

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 17070
/proc/meminfo: memFree=30602144/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=418008 CPUtime=1482.32
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 7011916 0 0 0 146090 2142 0 0 25 0 1 0 132769419 428040192 103011 4089446400 4194304 8223781 140736023353808 18446744073709551615 6436943 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 104502 103011 606 984 0 103515 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 418008

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 17072
/proc/meminfo: memFree=30567868/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=439196 CPUtime=1542.33
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 7217091 0 0 0 151962 2271 0 0 25 0 1 0 132769419 449736704 108333 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 109799 108333 606 984 0 108812 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 439196

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17073
/proc/meminfo: memFree=30534592/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=458580 CPUtime=1602.33
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 7400044 0 0 0 157835 2398 0 0 25 0 1 0 132769419 469585920 113107 4089446400 4194304 8223781 140736023353808 18446744073709551615 6520517 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 114645 113107 606 984 0 113658 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 458580

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 17075
/proc/meminfo: memFree=30502692/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=478400 CPUtime=1662.33
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 7590247 0 0 0 163716 2517 0 0 25 0 1 0 132769419 489881600 118138 4089446400 4194304 8223781 140736023353808 18446744073709551615 6520513 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 119600 118138 606 984 0 118613 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 478400

[startup+1722.3 s]
/proc/loadavg: 2.68 2.17 2.06 3/197 17076
/proc/meminfo: memFree=30477248/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=495852 CPUtime=1722.33
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 7808889 0 0 0 169589 2644 0 0 25 0 1 0 132769419 507752448 122477 4089446400 4194304 8223781 140736023353808 18446744073709551615 6448522 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 123963 122477 606 984 0 122976 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 495852

[startup+1782.3 s]
/proc/loadavg: 2.25 2.14 2.05 3/197 17078
/proc/meminfo: memFree=30446088/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=514480 CPUtime=1782.34
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 8019949 0 0 0 175466 2768 0 0 25 0 1 0 132769419 526827520 127221 4089446400 4194304 8223781 140736023353808 18446744073709551615 6599131 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 128730 127240 606 984 0 127743 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 514480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.19 2.13 2.05 3/197 17078
/proc/meminfo: memFree=30438132/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=520188 CPUtime=1800.04
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 8071638 0 0 0 177202 2802 0 0 25 0 1 0 132769419 532672512 128625 4089446400 4194304 8223781 140736023353808 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16796/statm: 130047 128625 606 984 0 129060 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 520188

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.19 2.13 2.05 3/197 17078
/proc/meminfo: memFree=30438132/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=400592 CPUtime=1800.23
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 8071676 0 0 0 177221 2802 0 0 18 0 1 0 132769419 410206208 98788 4089446400 4194304 8223781 140736023353808 18446744073709551615 4212558 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16796/statm: 100148 98788 609 984 0 99161 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 400592

[startup+1800.3 s]
/proc/loadavg: 2.19 2.13 2.05 3/197 17078
/proc/meminfo: memFree=30438132/32951124 swapFree=67111528/67111528
[pid=16796] ppid=16794 vsize=88012 CPUtime=1800.33
/proc/16796/stat : 16796 (pbscip.linux.x8) R 16794 16796 16243 0 -1 4202496 8071676 0 0 0 177230 2803 0 0 18 0 1 0 132769419 90124288 20774 4089446400 4194304 8223781 140736023353808 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16796/statm: 21513 20526 609 984 0 20526 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 88012

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.35
CPU user time (s): 1772.31
CPU system time (s): 28.0407
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 520696

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

runsolver used 3.04454 second user time and 6.61199 second system time

The end

Launcher Data 

Begin job on node140 at 2010-06-30 18:19:09
IDJOB=2692399
IDBENCH=79039
IDSOLVER=1204
FILE ID=node140/2692399-1277914749
PBS_JOBID= 11197265
Free space on /tmp= 74196 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692399-1277914749/watcher-2692399-1277914749 -o /tmp/evaluation-result-2692399-1277914749/solver-2692399-1277914749 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692399-1277914749.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 2f5b39eda2f3d2ee24cba69641294774
RANDOM SEED=292250662

node140.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.790
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.58
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.790
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	: 5226.07
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.790
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.790
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.89
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.790
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	: 5421.15
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.790
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.83
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.790
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.790
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30929896 kB
Buffers:        197680 kB
Cached:        1285172 kB
SwapCached:          0 kB
Active:        1147392 kB
Inactive:       728660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30929896 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5288 kB
Writeback:           0 kB
AnonPages:      393340 kB
Mapped:          17420 kB
Slab:            81024 kB
PageTables:       5492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   545588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74196 MiB
End job on node140 at 2010-06-30 18:49:11