Trace number 3447304

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4MSAT (TO) 1800.24 1800.2

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

Verifier Data 

OK	3093

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447304-1307899110/watcher-3447304-1307899110 -o /tmp/evaluation-result-3447304-1307899110/solver-3447304-1307899110 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447304-1307899110.wbo -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.96 1.90 2/174 3799
/proc/meminfo: memFree=32468044/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=10136 CPUtime=0 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 1517 0 0 0 0 0 0 0 20 0 1 0 901513742 10379264 1471 33554432000 4194304 9128323 140736566216160 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3799/statm: 2534 1475 399 1205 0 1325 0

[startup+0.0228441 s]
/proc/loadavg: 1.84 1.96 1.90 2/174 3799
/proc/meminfo: memFree=32468044/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=13612 CPUtime=0.02 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 2411 0 0 0 2 0 0 0 20 0 1 0 901513742 13938688 2365 33554432000 4194304 9128323 140736566216160 18446744073709551615 7952316 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3799/statm: 3403 2365 399 1205 0 2194 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13612

[startup+0.100847 s]
/proc/loadavg: 1.84 1.96 1.90 2/174 3799
/proc/meminfo: memFree=32468044/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=36876 CPUtime=0.09 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 8204 0 0 0 9 0 0 0 20 0 1 0 901513742 37761024 8155 33554432000 4194304 9128323 140736566216160 18446744073709551615 6889312 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 9252 8178 446 1205 0 8043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36876

[startup+0.300845 s]
/proc/loadavg: 1.84 1.96 1.90 2/174 3799
/proc/meminfo: memFree=32468044/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=65900 CPUtime=0.29 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 15744 0 0 0 28 1 0 0 20 0 1 0 901513742 67481600 15028 33554432000 4194304 9128323 140736566216160 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 16475 15028 626 1205 0 15266 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65900

[startup+0.700786 s]
/proc/loadavg: 1.84 1.96 1.90 2/174 3799
/proc/meminfo: memFree=32468044/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=65900 CPUtime=0.69 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 15761 0 0 0 68 1 0 0 21 0 1 0 901513742 67481600 15029 33554432000 4194304 9128323 140736566216160 18446744073709551615 5090093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 16475 15029 611 1205 0 15266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65900

[startup+1.50063 s]
/proc/loadavg: 1.84 1.96 1.90 3/178 3810
/proc/meminfo: memFree=32345632/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=92128 CPUtime=1.49 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 22537 0 0 0 147 2 0 0 23 0 1 0 901513742 94339072 21544 33554432000 4194304 9128323 140736566216160 18446744073709551615 4792770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 23032 21545 626 1205 0 21823 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92128

[startup+3.10034 s]
/proc/loadavg: 1.84 1.96 1.90 3/178 3810
/proc/meminfo: memFree=32275952/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=110632 CPUtime=3.09 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 27117 0 0 0 306 3 0 0 25 0 1 0 901513742 113287168 25924 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 27658 25924 715 1205 0 26449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110632

[startup+6.30078 s]
/proc/loadavg: 1.85 1.96 1.90 3/178 3810
/proc/meminfo: memFree=32261612/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=117500 CPUtime=6.29 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 29253 0 0 0 624 5 0 0 25 0 1 0 901513742 120320000 27814 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 29375 27814 745 1205 0 28166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117500

[startup+12.7006 s]
/proc/loadavg: 1.86 1.97 1.90 3/178 3810
/proc/meminfo: memFree=32235224/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=143440 CPUtime=12.69 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 42831 0 0 0 1258 11 0 0 25 0 1 0 901513742 146882560 34051 33554432000 4194304 9128323 140736566216160 18446744073709551615 7342479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 35860 34051 743 1205 0 34651 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 143440

[startup+25.5004 s]
/proc/loadavg: 1.89 1.97 1.91 3/178 3810
/proc/meminfo: memFree=32235560/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=143440 CPUtime=25.49 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 42831 0 0 0 2534 15 0 0 25 0 1 0 901513742 146882560 34051 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 35860 34051 743 1205 0 34651 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143440

[startup+51.1008 s]
/proc/loadavg: 1.93 1.97 1.91 3/178 3811
/proc/meminfo: memFree=32235940/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=143440 CPUtime=51.1 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 42831 0 0 0 5087 23 0 0 25 0 1 0 901513742 146882560 34051 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 35860 34051 743 1205 0 34651 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 143440

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.91 3/178 3812
/proc/meminfo: memFree=32233464/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=143440 CPUtime=102.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 42924 0 0 0 10196 34 0 0 25 0 1 0 901513742 146882560 34142 33554432000 4194304 9128323 140736566216160 18446744073709551615 7205364 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 35860 34142 751 1205 0 34651 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 143440

[startup+162.301 s]
/proc/loadavg: 2.04 1.99 1.91 3/178 3814
/proc/meminfo: memFree=32216304/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=143440 CPUtime=162.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 53533 0 0 0 16184 46 0 0 25 0 1 0 901513742 146882560 34185 33554432000 4194304 9128323 140736566216160 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 35860 34185 752 1205 0 34651 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 143440

[startup+222.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 3816
/proc/meminfo: memFree=32197776/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=150240 CPUtime=222.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 54975 0 0 0 22171 59 0 0 25 0 1 0 901513742 153845760 35577 33554432000 4194304 9128323 140736566216160 18446744073709551615 7162933 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 37560 35577 844 1205 0 36351 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 150240

[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 3817
/proc/meminfo: memFree=32160028/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=162556 CPUtime=282.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 69596 0 0 0 28158 72 0 0 25 0 1 0 901513742 166457344 38771 33554432000 4194304 9128323 140736566216160 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 40639 38771 752 1205 0 39430 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 162556

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 3819
/proc/meminfo: memFree=32131580/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=171752 CPUtime=342.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 82951 0 0 0 34149 81 0 0 25 0 1 0 901513742 175874048 40890 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 42938 40890 752 1205 0 41729 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 171752

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 3820
/proc/meminfo: memFree=32107208/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=186768 CPUtime=402.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 98034 0 0 0 40137 93 0 0 25 0 1 0 901513742 191250432 44517 33554432000 4194304 9128323 140736566216160 18446744073709551615 7346479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 46692 44517 752 1205 0 45483 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 186768

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 3822
/proc/meminfo: memFree=32082600/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=198236 CPUtime=462.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 112744 0 0 0 46125 105 0 0 25 0 1 0 901513742 202993664 47406 33554432000 4194304 9128323 140736566216160 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 49559 47406 752 1205 0 48350 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 198236

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 3824
/proc/meminfo: memFree=32059460/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=213248 CPUtime=522.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 116627 0 0 0 52115 115 0 0 25 0 1 0 901513742 218365952 51289 33554432000 4194304 9128323 140736566216160 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 53312 51289 752 1205 0 52103 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 213248

[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 3825
/proc/meminfo: memFree=32036348/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=229416 CPUtime=582.3 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 121072 0 0 0 58104 126 0 0 25 0 1 0 901513742 234921984 55335 33554432000 4194304 9128323 140736566216160 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 57354 55335 875 1205 0 56145 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 229416

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 3833
/proc/meminfo: memFree=31893568/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=306224 CPUtime=882.31 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 154289 0 0 0 88057 174 0 0 25 0 1 0 901513742 313573376 74501 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 76556 74501 861 1205 0 75347 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 306224

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 3835
/proc/meminfo: memFree=31877528/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=320840 CPUtime=942.31 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 158270 0 0 0 94047 184 0 0 25 0 1 0 901513742 328540160 78009 33554432000 4194304 9128323 140736566216160 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 80210 78009 752 1205 0 79001 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 320840

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 3836
/proc/meminfo: memFree=31859508/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=334796 CPUtime=1002.31 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 173777 0 0 0 100037 194 0 0 25 0 1 0 901513742 342831104 81702 33554432000 4194304 9128323 140736566216160 18446744073709551615 7192219 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 83699 81702 752 1205 0 82490 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 334796

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 3876
/proc/meminfo: memFree=31840516/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=351608 CPUtime=1062.31 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 178398 0 0 0 106029 202 0 0 25 0 1 0 901513742 360046592 85904 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 87902 85904 752 1205 0 86693 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 351608

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 3878
/proc/meminfo: memFree=31824208/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=367292 CPUtime=1122.32 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 182744 0 0 0 112020 212 0 0 25 0 1 0 901513742 376107008 89891 33554432000 4194304 9128323 140736566216160 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 91823 89891 752 1205 0 90614 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 367292

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 3879
/proc/meminfo: memFree=31807548/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=383392 CPUtime=1182.32 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 187637 0 0 0 118010 222 0 0 25 0 1 0 901513742 392593408 93807 33554432000 4194304 9128323 140736566216160 18446744073709551615 7162943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 95848 93807 752 1205 0 94639 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 383392

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 3881
/proc/meminfo: memFree=31781704/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=408308 CPUtime=1242.32 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 194149 0 0 0 124002 230 0 0 25 0 1 0 901513742 418107392 100185 33554432000 4194304 9128323 140736566216160 18446744073709551615 7191206 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 102077 100185 752 1205 0 100868 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 408308

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 3882
/proc/meminfo: memFree=31759080/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=430916 CPUtime=1302.33 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 200336 0 0 0 129992 241 0 0 25 0 1 0 901513742 441257984 105834 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 107729 105834 755 1205 0 106520 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 430916

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 3884
/proc/meminfo: memFree=31736720/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=453364 CPUtime=1362.33 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 206530 0 0 0 135983 250 0 0 25 0 1 0 901513742 464244736 111454 33554432000 4194304 9128323 140736566216160 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 113341 111454 932 1205 0 112132 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 453364

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 3886
/proc/meminfo: memFree=31716944/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=468028 CPUtime=1422.33 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 210483 0 0 0 141975 258 0 0 25 0 1 0 901513742 479260672 115127 33554432000 4194304 9128323 140736566216160 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 117007 115127 753 1205 0 115798 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 468028

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 3887
/proc/meminfo: memFree=31696188/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=486032 CPUtime=1482.33 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 216006 0 0 0 147966 267 0 0 25 0 1 0 901513742 497696768 119570 33554432000 4194304 9128323 140736566216160 18446744073709551615 7049627 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 121508 119570 752 1205 0 120299 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 486032

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 3889
/proc/meminfo: memFree=31676920/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=508032 CPUtime=1542.33 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 233701 0 0 0 153954 279 0 0 25 0 1 0 901513742 520224768 125155 33554432000 4194304 9128323 140736566216160 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 127008 125155 752 1205 0 125799 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 508032

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 3890
/proc/meminfo: memFree=31652684/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=529632 CPUtime=1602.33 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 239695 0 0 0 159945 288 0 0 25 0 1 0 901513742 542343168 130570 33554432000 4194304 9128323 140736566216160 18446744073709551615 7262267 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 132408 130570 793 1205 0 131199 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 529632

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 3892
/proc/meminfo: memFree=31629440/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=552232 CPUtime=1662.33 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 245450 0 0 0 165936 297 0 0 25 0 1 0 901513742 565485568 135980 33554432000 4194304 9128323 140736566216160 18446744073709551615 7183614 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 138058 135980 752 1205 0 136849 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 552232

[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.94 3/178 3894
/proc/meminfo: memFree=31602724/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=575980 CPUtime=1722.34 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 251788 0 0 0 171928 306 0 0 25 0 1 0 901513742 589803520 142161 33554432000 4194304 9128323 140736566216160 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 143995 142161 753 1205 0 142786 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 575980

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/178 3895
/proc/meminfo: memFree=31584316/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=593812 CPUtime=1782.34 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 256792 0 0 0 177918 316 0 0 25 0 1 0 901513742 608063488 146651 33554432000 4194304 9128323 140736566216160 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 148453 146651 755 1205 0 147244 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 593812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.02 1.94 3/178 3896
/proc/meminfo: memFree=31578712/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=601396 CPUtime=1800.04 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 258183 0 0 0 179685 319 0 0 25 0 1 0 901513742 615829504 148041 33554432000 4194304 9128323 140736566216160 18446744073709551615 4893875 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/3799/statm: 150349 148041 755 1205 0 149140 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 601396

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

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

[startup+1800.11 s]
/proc/loadavg: 2.02 2.02 1.94 3/178 3896
/proc/meminfo: memFree=31578712/32951124 swapFree=67050044/67111528
[pid=3799] ppid=3797 vsize=601396 CPUtime=1800.14 cores=0,2,4,6
/proc/3799/stat : 3799 (scip-2.0.1.4.li) R 3797 3799 2655 0 -1 4202496 258185 0 0 0 179695 319 0 0 18 0 1 0 901513742 615829504 148043 33554432000 4194304 9128323 140736566216160 18446744073709551615 8001238 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/3799/statm: 150349 148043 757 1205 0 149140 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 601396

Child status: 0
Real time (s): 1800.2
CPU time (s): 1800.24
CPU user time (s): 1797.03
CPU system time (s): 3.21751
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 601396

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

runsolver used 3.24051 second user time and 6.43502 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-12 19:18:30
IDJOB=3447304
IDBENCH=79014
IDSOLVER=1944
FILE ID=node101/3447304-1307899110
RUNJOBID= node101-1307897307-3643
PBS_JOBID= 13559601
Free space on /tmp= 74048 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-43s.smv--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447304-1307899110/watcher-3447304-1307899110 -o /tmp/evaluation-result-3447304-1307899110/solver-3447304-1307899110 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447304-1307899110.wbo -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d20dc576722845e6dd504314dac61b63
RANDOM SEED=425194441

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.77
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.841
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.841
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.841
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32468348 kB
Buffers:        106456 kB
Cached:         162016 kB
SwapCached:      24724 kB
Active:         214104 kB
Inactive:        82652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32468348 kB
SwapTotal:    67111528 kB
SwapFree:     67050044 kB
Dirty:           12468 kB
Writeback:           0 kB
AnonPages:       25540 kB
Mapped:           8828 kB
Slab:           120564 kB
PageTables:       3916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190164 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= 74036 MiB
End job on node101 at 2011-06-12 19:48:32