Trace number 2692364

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.6 1800.56

General information on the benchmark

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

Verifier Data 

OK	15281

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692364-1277913917/watcher-2692364-1277913917 -o /tmp/evaluation-result-2692364-1277913917/solver-2692364-1277913917 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692364-1277913917.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.06 2.12 3/178 14912
/proc/meminfo: memFree=30720940/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=9316 CPUtime=0
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 1613 0 0 0 0 0 0 0 25 0 1 0 132687702 9539584 1532 4089446400 4194304 8223781 140735886530000 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14912/statm: 2329 1542 369 984 0 1342 0

[startup+0.0731169 s]
/proc/loadavg: 1.96 2.06 2.12 3/178 14912
/proc/meminfo: memFree=30720940/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=22896 CPUtime=0.06
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 5038 0 0 0 6 0 0 0 25 0 1 0 132687702 23445504 4957 4089446400 4194304 8223781 140735886530000 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14912/statm: 5724 4957 369 984 0 4737 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22896

[startup+0.10111 s]
/proc/loadavg: 1.96 2.06 2.12 3/178 14912
/proc/meminfo: memFree=30720940/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=33144 CPUtime=0.09
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 7900 0 0 0 9 0 0 0 25 0 1 0 132687702 33939456 7455 4089446400 4194304 8223781 140735886530000 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 8319 7459 384 984 0 7332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33144

[startup+0.301064 s]
/proc/loadavg: 1.96 2.06 2.12 3/178 14912
/proc/meminfo: memFree=30720940/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=58292 CPUtime=0.29
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 16954 0 0 0 26 3 0 0 25 0 1 0 132687702 59691008 13394 4089446400 4194304 8223781 140735886530000 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 14573 13394 474 984 0 13586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58292

[startup+0.700985 s]
/proc/loadavg: 1.96 2.06 2.12 3/178 14912
/proc/meminfo: memFree=30720940/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=58496 CPUtime=0.69
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 18410 0 0 0 65 4 0 0 25 0 1 0 132687702 59899904 13553 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 14624 13553 486 984 0 13637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58496

[startup+1.50085 s]
/proc/loadavg: 1.96 2.06 2.12 4/179 14913
/proc/meminfo: memFree=30667612/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=59524 CPUtime=1.49
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 18671 0 0 0 144 5 0 0 25 0 1 0 132687702 60952576 13814 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 14881 13814 491 984 0 13894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59524

[startup+3.10058 s]
/proc/loadavg: 1.96 2.06 2.12 3/179 14913
/proc/meminfo: memFree=30650376/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=76268 CPUtime=3.09
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 27591 0 0 0 300 9 0 0 25 0 1 0 132687702 78098432 17714 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 19067 17714 591 984 0 18080 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76268

[startup+6.301 s]
/proc/loadavg: 1.96 2.06 2.12 3/179 14913
/proc/meminfo: memFree=30641416/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=86436 CPUtime=6.29
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 33831 0 0 0 618 11 0 0 25 0 1 0 132687702 88510464 19864 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 21609 19864 591 984 0 20622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86436

[startup+12.7009 s]
/proc/loadavg: 1.96 2.05 2.12 3/179 14913
/proc/meminfo: memFree=30628176/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=88756 CPUtime=12.69
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 66718 0 0 0 1251 18 0 0 25 0 1 0 132687702 90886144 20620 4089446400 4194304 8223781 140735886530000 18446744073709551615 6567862 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 22189 20620 605 984 0 21202 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88756

[startup+25.5006 s]
/proc/loadavg: 2.05 2.07 2.13 3/179 14913
/proc/meminfo: memFree=30616136/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=88784 CPUtime=25.5
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 101772 0 0 0 2523 27 0 0 25 0 1 0 132687702 90914816 20683 4089446400 4194304 8223781 140735886530000 18446744073709551615 6598901 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 22196 20683 605 984 0 21209 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 88784

[startup+51.1011 s]
/proc/loadavg: 2.03 2.06 2.12 3/179 14915
/proc/meminfo: memFree=30588436/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=88076 CPUtime=51.09
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 204337 0 0 0 5064 45 0 0 25 0 1 0 132687702 90189824 20522 4089446400 4194304 8223781 140735886530000 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 22019 20522 605 984 0 21032 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88076

[startup+102.306 s]
/proc/loadavg: 2.01 2.05 2.11 3/179 14915
/proc/meminfo: memFree=30530608/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=90032 CPUtime=102.3
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 384221 0 0 0 10150 80 0 0 25 0 1 0 132687702 92192768 20951 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 22508 20951 608 984 0 21521 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 90032

[startup+162.301 s]
/proc/loadavg: 2.00 2.04 2.10 3/179 14917
/proc/meminfo: memFree=30469688/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=93724 CPUtime=162.3
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 612914 0 0 0 16101 129 0 0 25 0 1 0 132687702 95973376 21748 4089446400 4194304 8223781 140735886530000 18446744073709551615 6568463 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 23431 21748 608 984 0 22444 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 93724

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.09 3/179 14919
/proc/meminfo: memFree=30407152/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=97076 CPUtime=222.3
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 864809 0 0 0 22050 180 0 0 25 0 1 0 132687702 99405824 22462 4089446400 4194304 8223781 140735886530000 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 24269 22462 609 984 0 23282 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 97076

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.08 3/179 14921
/proc/meminfo: memFree=30337552/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=103660 CPUtime=282.3
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 1140290 0 0 0 27996 234 0 0 25 0 1 0 132687702 106147840 24309 4089446400 4194304 8223781 140735886530000 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 25915 24309 610 984 0 24928 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 103660

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.08 3/179 14922
/proc/meminfo: memFree=30247356/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=131408 CPUtime=342.3
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 1658108 0 0 0 33905 325 0 0 25 0 1 0 132687702 134561792 31288 4089446400 4194304 8223781 140735886530000 18446744073709551615 6436943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 32852 31288 610 984 0 31865 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 131408

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/179 14923
/proc/meminfo: memFree=30156428/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=166696 CPUtime=402.31
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 1931386 0 0 0 39839 392 0 0 25 0 1 0 132687702 170696704 40057 4089446400 4194304 8223781 140735886530000 18446744073709551615 6248442 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 41674 40057 610 984 0 40687 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 166696

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 14925
/proc/meminfo: memFree=30059292/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=199580 CPUtime=462.3
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 2218823 0 0 0 45772 458 0 0 25 0 1 0 132687702 204369920 48354 4089446400 4194304 8223781 140735886530000 18446744073709551615 6445658 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 49895 48354 610 984 0 48908 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 199580

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 14927
/proc/meminfo: memFree=29976916/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=220644 CPUtime=522.3
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 2747059 0 0 0 51681 549 0 0 25 0 1 0 132687702 225939456 53665 4089446400 4194304 8223781 140735886530000 18446744073709551615 6514382 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 55161 53665 610 984 0 54174 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 220644

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 14929
/proc/meminfo: memFree=29884492/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=253484 CPUtime=582.31
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 3019387 0 0 0 57622 609 0 0 25 0 1 0 132687702 259567616 61882 4089446400 4194304 8223781 140735886530000 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 63352 61876 610 984 0 62365 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 253484

[startup+642.301 s]
/proc/loadavg: 2.03 2.01 2.05 3/179 14930
/proc/meminfo: memFree=29794540/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=282068 CPUtime=642.31
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 3416072 0 0 0 63547 684 0 0 25 0 1 0 132687702 288837632 69052 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 70517 69052 610 984 0 69530 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 282068

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 14939
/proc/meminfo: memFree=29222260/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=485680 CPUtime=1002.31
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4469273 0 0 0 99276 955 0 0 25 0 1 0 132687702 497336320 119602 4089446400 4194304 8223781 140735886530000 18446744073709551615 6455710 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 121420 119602 610 984 0 120433 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 485680

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 14941
/proc/meminfo: memFree=29125592/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=522748 CPUtime=1062.31
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4503290 0 0 0 105251 980 0 0 25 0 1 0 132687702 535293952 128971 4089446400 4194304 8223781 140735886530000 18446744073709551615 4651293 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 130687 128971 610 984 0 129700 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 522748

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 14943
/proc/meminfo: memFree=29030452/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=557736 CPUtime=1122.32
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4598082 0 0 0 111218 1014 0 0 25 0 1 0 132687702 571121664 137724 4089446400 4194304 8223781 140735886530000 18446744073709551615 6329557 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 139434 137724 610 984 0 138447 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 557736

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.01 3/179 14945
/proc/meminfo: memFree=28929096/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=596688 CPUtime=1182.32
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4666667 0 0 0 117188 1044 0 0 25 0 1 0 132687702 611008512 147484 4089446400 4194304 8223781 140735886530000 18446744073709551615 4834565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 149172 147484 610 984 0 148185 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 596688

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14946
/proc/meminfo: memFree=28828468/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=633624 CPUtime=1242.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4724968 0 0 0 123160 1073 0 0 25 0 1 0 132687702 648830976 156785 4089446400 4194304 8223781 140735886530000 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 158456 156792 610 984 0 157469 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 633624

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14947
/proc/meminfo: memFree=28726612/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=673088 CPUtime=1302.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4777901 0 0 0 129135 1098 0 0 25 0 1 0 132687702 689242112 166684 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 168272 166684 622 984 0 167285 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 673088

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14949
/proc/meminfo: memFree=28631452/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=710976 CPUtime=1362.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4818693 0 0 0 135109 1124 0 0 25 0 1 0 132687702 728039424 176187 4089446400 4194304 8223781 140735886530000 18446744073709551615 6004033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14912/statm: 177744 176187 622 984 0 176757 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 710976

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15033
/proc/meminfo: memFree=30370988/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=745596 CPUtime=1422.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4859694 0 0 0 141048 1185 0 0 25 0 1 0 132687702 763490304 184873 4089446400 4194304 8223781 140735886530000 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 186399 184873 622 984 0 185412 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 745596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15062
/proc/meminfo: memFree=30342956/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=778432 CPUtime=1482.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4883224 0 0 0 146996 1237 0 0 25 0 1 0 132687702 797114368 193110 4089446400 4194304 8223781 140735886530000 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 194608 193110 622 984 0 193621 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 778432

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15063
/proc/meminfo: memFree=30244992/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=814328 CPUtime=1542.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4912666 0 0 0 152944 1289 0 0 25 0 1 0 132687702 833871872 202113 4089446400 4194304 8223781 140735886530000 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 203582 202113 622 984 0 202595 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 814328

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15067
/proc/meminfo: memFree=30153896/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=847892 CPUtime=1602.32
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4949901 0 0 0 158891 1341 0 0 25 0 1 0 132687702 868241408 210523 4089446400 4194304 8223781 140735886530000 18446744073709551615 6450697 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 211973 210523 616 984 0 210986 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 847892

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15069
/proc/meminfo: memFree=30058888/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=883272 CPUtime=1662.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 4983987 0 0 0 164838 1395 0 0 25 0 1 0 132687702 904470528 219411 4089446400 4194304 8223781 140735886530000 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 220818 219411 616 984 0 219831 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 883272

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15071
/proc/meminfo: memFree=29972404/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=917112 CPUtime=1722.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 5007655 0 0 0 170791 1442 0 0 25 0 1 0 132687702 939122688 227901 4089446400 4194304 8223781 140735886530000 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 229278 227901 616 984 0 228291 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 917112

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15073
/proc/meminfo: memFree=29879832/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=951332 CPUtime=1782.33
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 5046782 0 0 0 176739 1494 0 0 25 0 1 0 132687702 974163968 236535 4089446400 4194304 8223781 140735886530000 18446744073709551615 4210625 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 237833 236535 616 984 0 236846 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 951332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15073
/proc/meminfo: memFree=29850420/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=963008 CPUtime=1800.04
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 5054430 0 0 0 178495 1509 0 0 25 0 1 0 132687702 986120192 239412 4089446400 4194304 8223781 140735886530000 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14912/statm: 240752 239412 616 984 0 239765 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 963008

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.00 2.00 2.00 3/179 15073
/proc/meminfo: memFree=29850420/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=962868 CPUtime=1800.23
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 5054432 0 0 0 178514 1509 0 0 18 0 1 0 132687702 985976832 239379 4089446400 4194304 8223781 140735886530000 18446744073709551615 6207239 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14912/statm: 240717 239379 618 984 0 239730 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 962868

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15073
/proc/meminfo: memFree=29850420/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=592832 CPUtime=1800.44
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 5054432 0 0 0 178533 1511 0 0 18 0 1 0 132687702 607059968 146870 4089446400 4194304 8223781 140735886530000 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14912/statm: 148208 146870 618 984 0 147221 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 592832

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15073
/proc/meminfo: memFree=29850420/32951124 swapFree=67111528/67111528
[pid=14912] ppid=14910 vsize=202472 CPUtime=1800.53
/proc/14912/stat : 14912 (pbscip.linux.x8) R 14910 14912 14376 0 -1 4202496 5054432 0 0 0 178540 1513 0 0 18 0 1 0 132687702 207331328 49283 4089446400 4194304 8223781 140735886530000 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14912/statm: 50555 49220 618 984 0 49568 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 202472

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.6
CPU user time (s): 1785.46
CPU system time (s): 15.1437
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 963008

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

runsolver used 3.11453 second user time and 5.74213 second system time

The end

Launcher Data 

Begin job on node136 at 2010-06-30 18:05:17
IDJOB=2692364
IDBENCH=79024
IDSOLVER=1204
FILE ID=node136/2692364-1277913917
PBS_JOBID= 11197270
Free space on /tmp= 74136 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-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-2692364-1277913917/watcher-2692364-1277913917 -o /tmp/evaluation-result-2692364-1277913917/solver-2692364-1277913917 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692364-1277913917.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 80a5fa7f2bade0e6a5ccc7308f7e3b7b
RANDOM SEED=1896380674

node136.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.840
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.68
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.840
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.82
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.840
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.840
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.83
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.840
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.74
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.840
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.840
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.840
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:      30721476 kB
Buffers:        197424 kB
Cached:        1377480 kB
SwapCached:          0 kB
Active:        1175240 kB
Inactive:       909112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30721476 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4732 kB
Writeback:           0 kB
AnonPages:      509420 kB
Mapped:          16932 kB
Slab:            81912 kB
PageTables:       5936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   661852 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= 74132 MiB
End job on node136 at 2010-06-30 18:35:19