Trace number 2692344

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.88 1800.83

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

Verifier Data 

OK	16267

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692344-1277913356/watcher-2692344-1277913356 -o /tmp/evaluation-result-2692344-1277913356/solver-2692344-1277913356 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692344-1277913356.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.01 2.06 2.26 3/178 11853
/proc/meminfo: memFree=31196824/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=9416 CPUtime=0
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 1647 0 0 0 0 0 0 0 21 0 1 0 132633139 9641984 1567 4089446400 4194304 8223781 140735673839504 18446744073709551615 7235108 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11853/statm: 2354 1567 369 984 0 1367 0

[startup+0.0221831 s]
/proc/loadavg: 2.01 2.06 2.26 3/178 11853
/proc/meminfo: memFree=31196824/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=15120 CPUtime=0.01
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 3079 0 0 0 1 0 0 0 21 0 1 0 132633139 15482880 2999 4089446400 4194304 8223781 140735673839504 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11853/statm: 3780 2999 369 984 0 2793 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15120

[startup+0.101177 s]
/proc/loadavg: 2.01 2.06 2.26 3/178 11853
/proc/meminfo: memFree=31196824/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=34544 CPUtime=0.09
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 8218 0 0 0 8 1 0 0 22 0 1 0 132633139 35373056 7749 4089446400 4194304 8223781 140735673839504 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 8636 7775 395 984 0 7649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34544

[startup+0.300131 s]
/proc/loadavg: 2.01 2.06 2.26 3/178 11853
/proc/meminfo: memFree=31196824/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=72124 CPUtime=0.29
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 19786 0 0 0 23 6 0 0 22 0 1 0 132633139 73854976 16774 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 18031 16774 521 984 0 17044 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72124

[startup+0.70107 s]
/proc/loadavg: 2.01 2.06 2.26 3/178 11853
/proc/meminfo: memFree=31196824/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=84820 CPUtime=0.7
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 23207 0 0 0 63 7 0 0 18 0 1 0 132633139 86855680 19827 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 21205 19842 563 984 0 20218 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 84820

[startup+1.50092 s]
/proc/loadavg: 2.01 2.06 2.26 3/179 11854
/proc/meminfo: memFree=31117208/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=91460 CPUtime=1.49
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 25403 0 0 0 140 9 0 0 19 0 1 0 132633139 93655040 21013 4089446400 4194304 8223781 140735673839504 18446744073709551615 6448679 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 22865 21013 613 984 0 21878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91460

[startup+3.10064 s]
/proc/loadavg: 2.01 2.06 2.26 3/179 11854
/proc/meminfo: memFree=31114140/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=94124 CPUtime=3.09
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 28671 0 0 0 296 13 0 0 22 0 1 0 132633139 96382976 21617 4089446400 4194304 8223781 140735673839504 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 23531 21617 611 984 0 22544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94124

[startup+6.30107 s]
/proc/loadavg: 2.01 2.06 2.25 3/179 11854
/proc/meminfo: memFree=31110668/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=96868 CPUtime=6.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 76895 0 0 0 606 24 0 0 25 0 1 0 132633139 99192832 22128 4089446400 4194304 8223781 140735673839504 18446744073709551615 6454392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 24217 22128 623 984 0 23230 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 96868

[startup+12.701 s]
/proc/loadavg: 2.01 2.06 2.25 3/179 11854
/proc/meminfo: memFree=31111860/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=97060 CPUtime=12.69
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 129076 0 0 0 1234 35 0 0 25 0 1 0 132633139 99389440 22245 4089446400 4194304 8223781 140735673839504 18446744073709551615 6560042 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 24265 22245 623 984 0 23278 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 97060

[startup+25.5007 s]
/proc/loadavg: 2.01 2.05 2.25 3/179 11855
/proc/meminfo: memFree=31113280/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=96644 CPUtime=25.49
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 220780 0 0 0 2491 58 0 0 25 0 1 0 132633139 98963456 22161 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 24161 22161 623 984 0 23174 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96644

[startup+51.1002 s]
/proc/loadavg: 2.00 2.05 2.24 3/179 11856
/proc/meminfo: memFree=31107628/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=102084 CPUtime=51.09
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 375806 0 0 0 5008 101 0 0 25 0 1 0 132633139 104534016 23520 4089446400 4194304 8223781 140735673839504 18446744073709551615 6568243 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 25521 23521 626 984 0 24534 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102084

[startup+102.306 s]
/proc/loadavg: 2.00 2.04 2.23 3/179 11857
/proc/meminfo: memFree=31103604/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=105316 CPUtime=102.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 615823 0 0 0 10045 185 0 0 25 0 1 0 132633139 107843584 24389 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 26329 24389 626 984 0 25342 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 105316

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.21 3/179 11858
/proc/meminfo: memFree=31098372/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=108516 CPUtime=162.29
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 856448 0 0 0 15951 278 0 0 25 0 1 0 132633139 111120384 25415 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 27129 25415 627 984 0 26142 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 108516

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.19 3/179 11860
/proc/meminfo: memFree=31079852/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=127800 CPUtime=222.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 1238965 0 0 0 21838 392 0 0 25 0 1 0 132633139 130867200 29970 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 31950 29970 627 984 0 30963 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 127800

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.18 3/179 11862
/proc/meminfo: memFree=31061972/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=145356 CPUtime=282.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 1612728 0 0 0 27717 513 0 0 25 0 1 0 132633139 148844544 34440 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 36339 34440 627 984 0 35352 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 145356

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/179 11873
/proc/meminfo: memFree=31038500/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=167988 CPUtime=342.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 1899234 0 0 0 33606 624 0 0 25 0 1 0 132633139 172019712 40247 4089446400 4194304 8223781 140735673839504 18446744073709551615 6505971 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 41997 40247 627 984 0 41010 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 167988

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 11874
/proc/meminfo: memFree=31016272/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=191176 CPUtime=402.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 2193837 0 0 0 39498 732 0 0 25 0 1 0 132633139 195764224 46059 4089446400 4194304 8223781 140735673839504 18446744073709551615 6445101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 47794 46059 627 984 0 46807 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 191176

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 11875
/proc/meminfo: memFree=30987972/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=217296 CPUtime=462.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 2416033 0 0 0 45407 823 0 0 25 0 1 0 132633139 222511104 52471 4089446400 4194304 8223781 140735673839504 18446744073709551615 6436949 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 54324 52471 628 984 0 53337 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 217296

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 11877
/proc/meminfo: memFree=30958544/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=246688 CPUtime=522.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 2715170 0 0 0 51301 929 0 0 25 0 1 0 132633139 252608512 59792 4089446400 4194304 8223781 140735673839504 18446744073709551615 6599043 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 61672 59792 628 984 0 60685 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 246688

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 11879
/proc/meminfo: memFree=30932356/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=271788 CPUtime=582.3
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 2977906 0 0 0 57196 1034 0 0 25 0 1 0 132633139 278310912 66121 4089446400 4194304 8223781 140735673839504 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 67947 66121 628 984 0 66960 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 271788

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 11881
/proc/meminfo: memFree=30902328/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=301556 CPUtime=642.31
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 3166311 0 0 0 63111 1120 0 0 25 0 1 0 132633139 308793344 73589 4089446400 4194304 8223781 140735673839504 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 75389 73589 628 984 0 74402 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 301556

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 11889
/proc/meminfo: memFree=30750888/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=452476 CPUtime=942.32
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 3825591 0 0 0 92748 1484 0 0 25 0 1 0 132633139 463335424 111287 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 113119 111287 628 984 0 112132 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 452476

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 11890
/proc/meminfo: memFree=30717136/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=486752 CPUtime=1002.31
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 3934834 0 0 0 98669 1562 0 0 25 0 1 0 132633139 498434048 119507 4089446400 4194304 8223781 140735673839504 18446744073709551615 4697644 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 121688 119507 628 984 0 120701 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 486752

[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.07 3/179 11891
/proc/meminfo: memFree=30684996/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=519032 CPUtime=1062.32
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4016466 0 0 0 104600 1632 0 0 25 0 1 0 132633139 531488768 127599 4089446400 4194304 8223781 140735673839504 18446744073709551615 6505971 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 129758 127599 628 984 0 128771 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 519032

[startup+1122.3 s]
/proc/loadavg: 1.95 2.00 2.06 2/174 11913
/proc/meminfo: memFree=30740548/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=544908 CPUtime=1122.32
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4161596 0 0 0 110520 1712 0 0 25 0 1 0 132633139 557985792 134090 4089446400 4194304 8223781 140735673839504 18446744073709551615 5990663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 136227 134090 628 984 0 135240 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 544908

[startup+1182.3 s]
/proc/loadavg: 1.98 2.00 2.05 3/179 11923
/proc/meminfo: memFree=30554488/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=576324 CPUtime=1182.32
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4302322 0 0 0 116421 1811 0 0 25 0 1 0 132633139 590155776 141997 4089446400 4194304 8223781 140735673839504 18446744073709551615 4329836 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 144081 141997 628 984 0 143094 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 576324

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/179 11925
/proc/meminfo: memFree=30518356/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=605944 CPUtime=1242.32
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4438014 0 0 0 122325 1907 0 0 25 0 1 0 132633139 620486656 149393 4089446400 4194304 8223781 140735673839504 18446744073709551615 6162525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 151486 149393 628 984 0 150499 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 605944

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/179 11926
/proc/meminfo: memFree=30477900/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=638568 CPUtime=1302.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4502193 0 0 0 128251 1982 0 0 25 0 1 0 132633139 653893632 157571 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 159642 157571 628 984 0 158655 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 638568

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/179 11927
/proc/meminfo: memFree=30438052/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=672120 CPUtime=1362.32
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4593275 0 0 0 134165 2067 0 0 25 0 1 0 132633139 688250880 165985 4089446400 4194304 8223781 140735673839504 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 168030 165985 628 984 0 167043 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 672120

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.03 3/179 11929
/proc/meminfo: memFree=30397852/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=705856 CPUtime=1422.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4658523 0 0 0 140084 2149 0 0 25 0 1 0 132633139 722796544 174357 4089446400 4194304 8223781 140735673839504 18446744073709551615 6483706 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 176464 174357 628 984 0 175477 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 705856

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 11931
/proc/meminfo: memFree=30363344/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=734124 CPUtime=1482.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4746179 0 0 0 146010 2223 0 0 25 0 1 0 132633139 751742976 181538 4089446400 4194304 8223781 140735673839504 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 183531 181538 628 984 0 182544 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 734124

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 11933
/proc/meminfo: memFree=30325120/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=767172 CPUtime=1542.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4778369 0 0 0 151948 2285 0 0 25 0 1 0 132633139 785584128 189822 4089446400 4194304 8223781 140735673839504 18446744073709551615 4697625 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 191793 189822 628 984 0 190806 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 767172

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.02 3/179 11934
/proc/meminfo: memFree=30287764/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=798580 CPUtime=1602.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4857245 0 0 0 157876 2357 0 0 25 0 1 0 132633139 817745920 197698 4089446400 4194304 8223781 140735673839504 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 199645 197698 628 984 0 198658 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 798580

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 11935
/proc/meminfo: memFree=30252904/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=828568 CPUtime=1662.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 4929892 0 0 0 163804 2429 0 0 25 0 1 0 132633139 848453632 205216 4089446400 4194304 8223781 140735673839504 18446744073709551615 6482896 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 207142 205216 628 984 0 206155 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 828568

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 11937
/proc/meminfo: memFree=30218408/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=858308 CPUtime=1722.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 5039646 0 0 0 169719 2514 0 0 25 0 1 0 132633139 878907392 212672 4089446400 4194304 8223781 140735673839504 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 214577 212672 628 984 0 213590 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 858308

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11939
/proc/meminfo: memFree=30184008/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=888224 CPUtime=1782.33
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 5104097 0 0 0 175647 2586 0 0 25 0 1 0 132633139 909541376 220174 4089446400 4194304 8223781 140735673839504 18446744073709551615 4697577 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 222056 220174 628 984 0 221069 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 888224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11939
/proc/meminfo: memFree=30171224/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=898476 CPUtime=1800.04
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 5111870 0 0 0 177397 2607 0 0 25 0 1 0 132633139 920039424 222743 4089446400 4194304 8223781 140735673839504 18446744073709551615 6445658 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11853/statm: 224619 222743 628 984 0 223632 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 898476

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

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11940
/proc/meminfo: memFree=30170968/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=898188 CPUtime=1800.64
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 5111872 0 0 0 177457 2607 0 0 18 0 1 0 132633139 919744512 222709 4089446400 4194304 8223781 140735673839504 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11853/statm: 224547 222709 630 984 0 223560 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 898188

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11940
/proc/meminfo: memFree=30170968/32951124 swapFree=67111528/67111528
[pid=11853] ppid=11851 vsize=169432 CPUtime=1800.83
/proc/11853/stat : 11853 (pbscip.linux.x8) R 11851 11853 11701 0 -1 4202496 5111872 0 0 0 177473 2610 0 0 18 0 1 0 132633139 173498368 40530 4089446400 4194304 8223781 140735673839504 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11853/statm: 42358 40530 630 984 0 41371 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 169432

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.88
CPU user time (s): 1774.76
CPU system time (s): 26.113
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 898476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.76
system time used= 26.113
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5111876
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= 4
involuntary context switches= 1667

runsolver used 2.97455 second user time and 6.69098 second system time

The end

Launcher Data 

Begin job on node107 at 2010-06-30 17:55:56
IDJOB=2692344
IDBENCH=79014
IDSOLVER=1204
FILE ID=node107/2692344-1277913356
PBS_JOBID= 11197316
Free space on /tmp= 74204 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-43s.smv--soft-33-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-2692344-1277913356/watcher-2692344-1277913356 -o /tmp/evaluation-result-2692344-1277913356/solver-2692344-1277913356 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692344-1277913356.wbo -t 1800 -m 3800

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

MD5SUM BENCH= d20dc576722845e6dd504314dac61b63
RANDOM SEED=792251055

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.82
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.849
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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
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.849
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.75
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.849
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.82
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.849
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31196856 kB
Buffers:        196940 kB
Cached:        1277568 kB
SwapCached:          0 kB
Active:         501532 kB
Inactive:      1107080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31196856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4920 kB
Writeback:           0 kB
AnonPages:      134224 kB
Mapped:          17472 kB
Slab:            79760 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   282544 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= 74204 MiB
End job on node107 at 2010-06-30 18:25:58