Trace number 4437553

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 NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT9 3588.52 3596.09

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUMa964700945576a67d3d8d9c44c1c5e5c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark6.7253
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10772
Total number of constraints12051
Number of constraints which are clauses10247
Number of constraints which are cardinality constraints (but not clauses)1804
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 10772
Biggest coefficient in the objective function 5356
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 30986
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5356
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 30986
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3588.42/3596.08	c Filename:instance-4437553-1722948202.opb, Cutoff_time:1798, memory_limit_gb:29976
3588.42/3596.08	c Use Presolve
3588.42/3596.08	c Parse finsih
3588.42/3596.08	c Start Presolve
3588.42/3596.08	c After Reduce Vars: 10768 Clauses: 22816 Top clause weight: 25627 Hard Clauses: 12048
3588.42/3596.08	c Use LS-small
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3703
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3699
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3695
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3691
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3687
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3683
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3679
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3675
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3671
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3667
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3663
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3659
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3655
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3651
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3647
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3643
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3639
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3635
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3631
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3627
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3623
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3619
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3615
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3611
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3607
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3603
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3599
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3595
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3591
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3587
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3583
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3579
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3575
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3571
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3567
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3563
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3559
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3555
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3551
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3547
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3543
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3539
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3535
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3531
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3527
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3523
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3519
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3515
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3511
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3507
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3503
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3499
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3495
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3491
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3487
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3483
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3479
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3475
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3471
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3467
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3463
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3459
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3455
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3451
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3447
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3443
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3439
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3435
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3431
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3427
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3423
3588.42/3596.08	c Use postsolve
3588.42/3596.08	o 3419
3588.42/3596.08	c Use postsolve
3588.42/3596.09	o 3415
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3411
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3407
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3403
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3399
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3395
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3391
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3387
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3383
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3379
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3375
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3371
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3367
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3363
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3359
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3355
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3351
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3347
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3343
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3339
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3335
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3332
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3328
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3324
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3320
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3316
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3312
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3308
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3304
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3300
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3296
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3292
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3288
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3284
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3280
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3276
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3272
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3268
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3264
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3260
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3256
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3252
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3248
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3244
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3240
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3236
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3232
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3228
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3224
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3220
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3216
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3212
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3208
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3204
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3200
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3196
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3192
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3188
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3184
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3180
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3176
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3172
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3168
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3164
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3160
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3156
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3152
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3148
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3144
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3140
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3136
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3132
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3128
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3124
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3120
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3116
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3112
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3108
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3104
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3100
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3096
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3092
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3088
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3084
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3080
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3076
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3072
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3068
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3064
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3060
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3056
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3052
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3048
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3044
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3040
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3036
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3032
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3028
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3024
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3020
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3016
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3012
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3008
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3004
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 3000
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2996
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2992
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2988
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2984
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2980
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2976
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2972
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2968
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2964
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2960
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2956
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2952
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2948
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2944
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2940
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2936
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2932
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2928
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2924
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2920
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2916
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2912
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2908
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2904
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2900
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2896
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2892
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2888
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2884
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2880
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2876
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2872
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2868
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2864
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2860
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2856
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2852
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2848
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2844
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2840
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2836
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2832
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2828
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2824
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2820
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2816
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2812
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2808
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2804
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2800
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2796
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2792
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2788
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2784
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2780
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2776
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2772
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2768
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2764
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2760
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2756
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2752
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2748
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2744
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2740
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2736
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2732
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2728
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2724
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2720
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2716
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2712
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2708
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2704
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2700
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2696
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2692
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2688
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2684
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2680
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2676
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2672
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2668
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2664
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2660
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2656
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2652
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2648
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2644
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2640
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2636
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2632
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2628
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2624
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2620
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2616
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2612
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2608
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2604
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2600
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2596
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2592
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2588
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2584
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2580
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2576
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2572
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2568
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2564
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2560
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2556
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2552
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2548
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2544
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2540
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2536
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2532
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2528
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2524
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2520
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2516
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2512
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2508
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2504
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2500
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2496
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2492
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2489
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2485
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2481
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2478
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2474
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2470
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2466
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2462
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2458
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2454
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2450
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2446
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2442
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2438
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2434
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2430
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2426
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2422
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2418
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2414
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2410
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2406
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2402
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2398
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2394
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2390
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2386
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2383
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2379
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2375
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2371
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2367
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2363
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2360
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2356
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2352
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2348
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2344
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2340
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2336
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2333
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2329
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2325
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2321
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2317
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2314
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2310
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2306
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2302
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2298
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2294
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2290
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2286
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2282
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2278
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2275
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2272
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2268
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2264
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2260
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2256
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2252
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2249
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2246
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2242
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2239
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2235
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2232
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2228
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2225
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2221
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2218
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2214
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2210
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2206
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2202
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2198
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2194
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2190
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2187
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2184
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2180
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2176
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2173
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2170
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2166
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2162
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2158
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2154
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2150
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2146
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2142
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2138
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2134
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2130
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2126
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2122
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2118
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2114
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2110
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2106
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2102
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2099
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2096
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2092
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2088
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2085
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2082
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2078
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2075
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2072
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2068
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2065
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2061
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2058
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2055
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2052
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2048
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2045
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2042
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2038
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2034
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2030
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2027
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2024
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2020
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2016
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2012
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2009
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2006
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 2002
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1999
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1996
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1993
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1990
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1987
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1983
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1979
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1976
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1973
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1969
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1966
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1962
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1958
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1955
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1952
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1948
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1945
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1941
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1938
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1934
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1931
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1928
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1924
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1920
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1916
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1913
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 1910
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 391
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 98
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 64
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 63
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 61
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 51
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 46
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 45
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 41
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 39
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 38
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 37
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 31
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 30
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 29
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 28
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 25
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 23
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 22
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 21
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 20
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 19
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 18
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 17
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 16
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 15
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 14
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 13
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 12
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 11
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 10
3588.42/3596.09	c Use postsolve
3588.42/3596.09	o 9
3588.42/3596.09	s SATISFIABLE
3588.42/3596.09	c Use postsolve
3588.42/3596.09	v -x9583 -x6786 -x5147 x4651 -x4504 x3806 x1035 -x879 -x9585 -x5151 -x4508 x3805 x1036 x6785 -x4652 -x4507 x3804 -x2193 x1040 -x883 -x9586 x6788 -x4653 -x4509 x3802 x2198 -x1039 -x881 -x4656 -x4590 -x4513 x3803 -x2603 x2197 -x1037 -x756 -x418 x6789 -x4654 x4589 -x4512 -x2607 -x1038 -x882 -x9992 -x6791 -x6143 -x4655 x4591 -x4510 x2200 -x886 x755 -x6792 -x6147 -x5269 x4594 -x4511 x2201 x759 -x10458 -x9991 -x6454 -x5268 x4593 x2204 -x9995 -x7679 x4598 x2202 x760 x10726 -x10461 -x7678 -x6453 -x5270 -x4597 x2203 -x10462 -x9996 x7680 -x6457 x5272 -x4595 -x1889 -x964 x10725 x7681 -x7009 -x6809 -x5167 -x4596 -x3912 -x1888 -x1161 -x963 -x681 -x10729 x7682 -x6813 -x6458 -x6089 x5273 -x5172 -x2083 -x1890 x969 -x7689 -x7008 -x6531 -x6404 -x6088 x5275 -x5171 -x3915 -x2082 -x1891 x968 x680 -x10730 x7683 -x6536 -x6408 -x6090 -x5946 x5276 -x3916 -x2088 x1892 -x970 -x684 x7684 -x7014 -x6535 -x6091 -x5945 -x5174 -x4131 x2087 x1899 -x974 x7685 -x7012 x6092 -x5175 -x4136 -x2089 x1893 -x973 -x685 -x10357 x6538 -x6099 -x5947 x5178 -x4976 x4135 -x2093 -x1894 -x971 -x7326 -x7013 -x6539 x6093 x5949 -x5176 -x4980 -x2092 -x1895 -x972 -x10356 -x8968 -x8775 -x7325 -x7017 -x6642 -x6542 x6094 -x5177 x4138 -x2090 -x1109 -x10360 -x9764 x7331 -x6540 x6095 -x5950 x4139 -x2091 -x1108 -x9763 -x8967 -x7632 x7330 -x6645 -x6541 x5952 -x4630 -x4142 -x1828 -x1799 x1110 -x10361 x9769 -x7743 -x7637 -x7332 -x6646 x5953 -x4629 -x4140 -x1803 x1113 x9768 -x8973 -x8721 -x8203 -x7742 -x7636 -x7336 x4631 -x4141 x1112 -x558 -x9770 -x8971 -x8726 -x8207 x7744 -x7335 x4634 x1117 -x9774 -x8725 x7745 x7639 -x7333 -x5850 x4633 -x3498 -x2390 -x1116 -x557 -x10159 -x9773 -x8972 x7746 x7640 -x7334 x4638 -x3503 -x2389 -x1114 x10158 -x9930 -x9771 -x8976 -x8728 x7753 -x7643 -x4637 -x3502 -x2391 -x1115 x563 -x9934 -x9772 -x8729 x7747 -x7641 -x4635 x2394 -x561 x10160 -x9338 x8732 -x7748 -x7642 -x4636 -x3505 x2393 -x153 x10162 -x8730 -x7749 -x6596 -x3506 -x2767 x2398 -x562 x158 -x9337 -x8918 -x8731 -x6595 -x4253 -x3509 x2766 -x2698 -x2397 -x1400 -x566 x157 x10163 -x9341 -x6597 -x4252 -x3507 -x2703 -x2395 -x10165 -x8921 x6598 -x5999 -x4254 -x3508 -x3289 x2768 -x2702 -x2396 -x1399 x160 -x10166 -x9342 -x8922 x6599 x4257 -x4087 -x2770 -x1403 x161 x7723 -x7520 -x6606 -x5076 x4256 x4086 -x3292 -x2705 -x164 -x8352 -x7524 x6600 -x4261 -x3293 -x2771 -x2706 -x1404 -x162 -x9018 -x8351 x7722 -x6621 -x6601 -x5075 -x4260 x4088 x2773 -x2709 -x583 -x163 x7726 -x6602 -x4258 x4090 x2774 -x2707 -x1844 -x9017 -x8353 x5081 -x4259 -x2708 -x1843 -x1373 -x582 -x9358 -x9021 -x8355 x7727 x5079 x4091 -x1849 -x1378 -x9357 -x4093 -x1848 x1377 -x588 -x506 -x9363 -x9022 -x8356 x5080 -x4094 x1850 -x586 -x511 -x9362 -x8358 -x5084 x1854 -x1699 x1380 -x1091 x510 -x9364 -x8359 -x6329 -x3595 x1853 x1381 -x1090 -x587 -x10233 -x9859 x9368 -x7875 -x6328 -x3594 x1851 -x1698 -x1384 -x1092 -x591 x513 -x9367 -x7880 -x6687 -x6334 -x3596 x1852 -x1702 -x1382 x1095 x514 -x10232 -x9365 -x7879 -x6686 -x6333 x5309 -x4321 -x3597 -x3114 -x1383 x1094 x517 -x10236 -x9366 -x6692 -x6335 -x4320 x3598 -x1703 x1099 -x515 x7882 -x6691 -x6339 x5308 -x4322 x3605 -x3117 -x1098 -x516 -x10237 -x8288 -x7883 -x6693 -x6338 x5312 x4325 x3599 -x3118 -x1096 -x8287 -x7886 x6697 -x6336 -x4393 x4324 -x3600 -x1574 -x1097 -x459 -x7884 -x6696 -x6337 x5313 -x4397 x4369 x4329 -x3601 -x464 -x8893 -x8289 -x7885 -x6694 x4368 x4328 -x2041 -x1573 -x463 -x245 x8291 -x6695 x4326 -x2045 -x1577 -x8892 -x6553 -x5101 x4370 -x4327 x466 x8292 -x6552 -x5105 x4372 -x1578 x467 x8898 -x8294 -x6554 x470 -x9188 x8896 -x8295 x6557 x4373 -x468 -x9187 -x8451 x6556 x4375 -x469 x9193 x8897 x6561 -x4376 x9192 -x8901 -x8454 x6560 -x5974 x3690 x9194 -x8455 x6558 x9198 x6559 x3689 -x2483 x9197 x6500 -x2487 x9195 x6499 -x6074 -x2486 x9196 -x10433 x9582 -x6782 -x5146 -x4648 x3814 x1034 -x878 -x10437 -x9587 -x5150 x4650 -x4503 -x3810 x1033 x6787 x4649 -x4505 -x3809 -x1044 -x884 x414 x6790 -x4657 -x4506 -x2192 -x9589 -x6794 -x4517 -x2602 x2194 -x887 -x635 -x417 -x9590 -x6793 -x2606 x2199 -x885 -x8526 -x6888 -x6142 x2196 x757 -x8530 -x6146 -x5264 x4592 x2205 x761 -x10457 -x9993 -x8004 -x5263 x4606 -x9997 -x8008 -x4602 -x10463 -x6455 x5271 -x4601 -x1429 -x1157 -x763 -x6459 x5274 -x764 x10727 -x9999 -x9880 -x7692 -x7004 -x6808 x5278 -x3911 -x1160 -x10731 -x10000 -x9884 x7693 -x6812 x5277 -x5166 -x965 -x10466 -x7688 -x7010 -x6461 -x6403 -x5168 -x4905 -x3917 -x1902 x966 x682 -x6530 -x6462 -x6407 x5941 -x5173 -x2084 -x1903 x967 -x686 -x10733 -x7686 -x7015 -x6532 -x6102 x5940 x5170 -x2085 -x1898 x978 -x10734 -x6537 -x6103 x5179 -x4130 x2086 -x8771 -x7018 x6534 -x6098 -x5948 -x4975 x4132 -x3920 -x2245 -x2097 -x1896 -x688 -x7016 x6543 x5951 -x4979 x4137 -x2249 -x689 x10358 -x8963 -x8774 -x6641 -x6096 x5955 x4134 -x1824 -x10362 -x7327 x5954 x4143 -x10109 -x8969 -x7328 x6647 -x1827 -x1798 -x10113 -x9765 -x7631 x7329 -x1802 x1111 -x10364 x9766 -x8974 -x8202 -x7633 x7340 -x5846 -x1125 -x553 -x10365 x9767 -x8720 -x8206 -x7638 x4632 -x1121 x9778 -x8977 x8722 -x7756 x7635 -x6650 -x5849 -x4646 -x1120 -x559 -x10154 -x8975 -x8727 x7757 x7644 x4642 -x3497 x10153 -x9929 x8724 -x7752 -x4641 -x3499 x564 -x9933 x8733 -x3504 -x2392 x10161 -x7750 x3501 -x2406 -x567 x10164 x3510 -x2762 x2402 -x565 -x152 x10168 -x9339 -x8917 -x5995 -x2761 x2401 x154 x10167 -x9343 -x2697 x159 x8923 -x6609 -x5998 -x3288 x2769 -x2699 -x1401 x156 x6610 x4255 -x4082 -x2772 -x2704 -x1405 -x165 -x9345 -x7519 -x6617 -x6605 -x5071 -x4269 -x4081 -x3294 x2776 x2701 -x9346 -x8347 -x7523 -x4265 x2775 -x2710 -x8926 -x8346 x7724 -x6620 -x6603 -x5077 -x4264 x4089 -x1407 -x578 x7728 x4092 -x1408 -x9047 -x9019 x8354 -x8095 x5082 -x4096 -x3297 -x584 x9023 -x8357 -x8099 -x4095 -x1845 -x1372 x8361 -x7730 -x5085 x1846 -x1374 -x589 -x9359 x8360 -x7731 -x5083 x1847 x1379 -x505 -x9855 -x9360 -x9025 -x2841 x1858 x1376 -x592 x507 x9361 -x9026 -x2845 -x1385 -x590 x512 -x9858 x9372 -x1700 -x1454 x509 -x7874 -x6330 -x1704 -x1093 x518 -x10234 -x7876 -x6358 x6331 -x3608 -x3113 -x2345 -x1107 -x10238 -x7881 -x6688 x6332 -x3609 -x2349 x1103 x7878 -x6689 -x6343 -x5576 x5310 -x3604 -x3119 x1706 -x1102 -x8283 -x7887 x6690 x5314 -x4323 x1707 -x10240 -x8282 x6701 -x4392 x4337 -x3602 -x1649 -x241 -x10241 -x4396 -x4364 x4333 -x1653 x458 -x8888 x8290 -x5316 -x4363 -x4332 -x3122 -x2040 x1575 x460 -x244 x8293 -x5317 -x2044 -x1579 -x465 -x9317 x8894 -x8297 -x5100 x4371 x462 -x8296 -x5104 x4374 x471 x8899 x4378 -x1581 x6555 x4377 -x1582 -x8902 x8450 x6569 -x5970 -x4212 x9189 -x8900 -x6565 x9190 -x8456 -x6564 x5973 x9191 x9202 -x8501 -x6070 x3691 -x8505 -x6496 x2482 -x8459 -x6495 -x6073 x2484 -x1554 -x2488 -x3693 x2750 -x3694 x2754 x10757 -x10432 x9584 -x7615 -x5148 x3813 -x1047 -x876 -x10436 -x9588 -x6781 -x5152 x4647 -x1048 x880 -x9592 x6783 -x4665 -x4520 -x3807 -x1043 x877 -x631 x413 -x9591 x6784 -x4661 -x4521 -x888 x751 -x6884 x6798 -x5154 -x4660 -x4516 -x3808 -x2604 -x2578 -x1041 x750 -x634 -x419 -x9987 -x5155 -x2608 -x2582 x2195 -x10453 -x9986 -x8525 -x6887 x6144 -x4876 x4603 -x4514 -x2213 x758 -x8529 -x6449 -x6148 -x4880 x4605 x2209 x762 -x10459 -x9994 -x8003 -x6448 -x5800 -x2610 x2208 -x1425 x766 -x422 -x10721 x9998 -x8007 x5265 -x2611 -x765 x10720 -x10464 -x10002 -x7691 -x6456 -x6150 x5266 -x4599 -x3907 -x3787 -x1428 -x1156 -x10001 -x7690 x6460 -x6151 x5267 -x676 x10728 -x10467 -x9879 -x6810 -x6464 -x5282 -x4901 -x4600 -x3913 -x1901 x1162 x675 x10732 -x10465 -x9883 -x7003 -x6814 -x6463 -x1900 x10736 -x7005 -x6405 -x6101 -x4904 -x4545 -x4162 -x3918 -x981 x683 -x10735 -x7011 -x6409 -x6100 x5169 -x4549 -x982 -x687 -x7687 x7007 -x6816 -x5244 -x5187 -x3921 -x2100 -x1165 x977 -x691 -x10352 -x7019 -x6817 -x6533 x5942 -x5248 x5183 -x3919 -x2101 -x690 -x10351 -x8770 -x7983 -x6637 -x6551 x6411 x5943 -x5182 -x4977 -x2244 -x2096 -x1897 -x975 -x6547 -x6412 x5944 -x4981 x4133 -x2248 x10359 -x8776 -x6643 -x6546 -x6097 x5959 -x5825 x4151 -x2094 -x1823 x10363 -x8962 x4147 -x10367 -x10108 -x8964 -x7343 x6648 -x5395 -x4983 x4146 -x1829 -x1800 -x1122 -x10366 -x10112 -x8970 x7344 -x4984 -x1804 -x1124 -x9781 x8966 -x8779 -x8204 -x7755 x7339 -x6651 x5845 -x4643 -x9782 x8978 -x8208 -x7754 -x7634 -x6649 -x4645 -x552 -x9777 x7652 -x7337 x5851 -x1832 -x1806 -x1118 -x554 x8723 x7648 -x1807 x560 -x9931 -x9775 -x8741 x8210 -x7647 -x4639 -x2403 -x1119 x556 x10155 -x9935 -x9333 x8737 -x8211 x3500 -x2405 -x568 x10156 -x9332 -x8913 x8736 -x7751 -x7084 -x5854 -x4640 x3518 x10157 -x7088 x3514 -x1395 -x10172 -x9937 x9340 -x8919 -x6608 -x5994 x3513 -x3284 -x2399 -x1394 -x1136 -x9938 x9344 -x6607 -x2763 x155 -x9348 x8924 -x6000 -x4266 -x3290 x2764 -x2400 x1402 -x173 -x83 -x9347 -x7718 -x4268 x2765 -x2700 -x1406 x169 -x87 -x8927 -x7717 -x7521 -x6616 -x3295 x2780 x2718 x1410 -x993 -x168 -x9013 -x8925 -x7525 -x5070 -x4083 x2714 -x1409 -x9043 -x9012 x7725 -x6622 -x6604 -x6003 -x5072 -x4262 -x4084 -x3298 x2713 -x8348 x7729 -x5078 x4085 -x3296 -x577 -x9046 x9020 -x8349 x8094 -x7733 -x7527 x5074 -x4263 -x4100 -x579 x9024 x8350 -x8098 -x7732 -x7528 x5086 -x585 x9028 x8365 -x6625 -x3268 -x1861 x581 -x9027 x1862 -x1694 x1375 -x593 x9854 -x9375 -x2840 -x1857 -x1693 -x1450 x1393 -x10228 -x9376 -x2844 x1389 x508 -x10227 -x9860 -x9371 -x6354 -x3607 -x3109 -x1855 x1701 -x1453 x1388 -x1104 x526 -x5304 -x3606 x1705 -x1106 x522 -x10235 -x9369 -x6357 -x6346 -x5572 -x5303 -x3115 x2344 x1709 x521 -x10239 x7877 -x6347 -x2348 x1708 x10243 -x9863 -x7895 -x6704 -x6342 -x5575 x5311 -x4334 -x3120 -x2941 -x1100 -x10242 x7891 -x6705 x5315 -x4336 -x2945 -x1569 -x8555 x7890 -x7306 x6700 -x6340 x5319 -x4394 -x3603 -x3123 -x1648 -x1568 -x1101 -x240 -x8284 -x7310 -x5318 -x4398 -x3121 -x1652 -x9313 -x8285 x6698 -x6168 -x4330 -x2042 x1576 -x246 -x8887 x8286 -x6172 -x4365 -x2046 x1580 x461 -x9316 -x8889 x8301 x5102 -x4400 -x4366 -x4331 x1584 -x479 x8895 x5106 -x4401 x4367 -x1583 -x475 x8891 -x8446 -x6909 -x6566 x4382 -x4208 -x2048 -x474 -x249 x8903 -x6913 -x6568 -x2049 -x10258 x8452 x5969 -x5108 -x4955 -x4211 -x10262 -x5109 -x3686 x9205 x8457 -x6562 x5975 -x3685 x9206 x9201 -x8500 -x8460 -x6563 -x6069 x3692 -x1550 -x8504 -x8458 -x9199 x6075 -x5978 -x3696 -x1553 -x6497 -x3695 x2485 -x7113 x6498 -x3821 x2749 x2496 -x3825 x2753 x2492 -x10434 -x9581 x8604 -x7614 x5149 -x4662 -x4519 x3811 -x1045 -x409 -x10438 x9580 x5153 -x4664 -x4518 -x2598 -x875 x9596 -x6801 -x5157 -x2597 x896 -x630 x415 x6802 -x6138 -x5156 -x892 -x10440 -x6883 -x6797 -x6137 -x4658 x2605 -x2577 -x2210 -x2108 -x1042 -x891 -x636 x420 -x10441 -x4604 x2609 -x2581 -x2212 -x2112 x752 -x8527 -x6889 -x6795 x6145 -x5796 -x4875 -x4659 -x4515 x2613 x753 -x423 -x10452 -x9988 -x8531 -x6149 -x4879 -x2612 x754 -x421 -x10454 -x9989 -x8005 -x6153 -x5799 -x3783 x2206 -x1424 -x1152 x770 -x735 -x639 -x10460 x9990 -x8009 -x6804 -x6450 -x6152 x10456 -x10006 -x8533 -x6892 -x6803 -x6451 -x6122 x5285 -x3786 -x2207 -x1430 -x1158 x10722 -x10468 -x8534 x6452 -x6399 x5286 -x3906 x10723 -x9881 -x8011 -x6811 -x6468 -x6398 -x5281 -x4900 -x4158 -x3908 x1163 -x980 x10724 -x9885 -x8012 -x6815 -x3914 -x979 x677 x10740 -x6819 -x6406 -x5279 -x5184 -x4906 -x4544 -x4161 -x4111 x3910 -x2099 -x1433 -x1166 x678 -x7006 -x6818 -x6410 -x5186 -x4971 -x4548 -x4115 -x3922 -x2098 -x1164 x679 -x9887 -x8766 -x7979 -x7027 -x6548 x6414 -x5243 -x4970 x695 -x9888 x7023 -x6550 x6413 -x5247 -x8772 -x7982 x7022 -x5962 -x5821 -x5180 -x4978 -x4909 x4148 -x2246 -x1819 -x976 -x10353 -x6636 x5963 x4982 x4150 -x2250 -x1794 x10354 -x8993 -x8777 -x7342 x6638 -x6544 -x5958 -x5824 -x5391 -x5181 -x4986 -x2095 -x1825 -x1793 x10355 x8997 -x8198 -x7341 -x6644 -x4985 -x1123 -x10371 -x10110 -x9780 -x8780 -x8197 x6640 -x6545 -x5956 -x5841 -x5394 x4144 -x2252 -x1830 -x1801 -x10114 -x9779 -x8965 -x8778 -x6652 -x4644 -x2253 -x1805 -x8986 x8205 -x7649 x5847 x4145 -x1833 -x1809 -x9925 x8982 x8209 -x7651 -x1831 -x1808 -x10116 -x9924 -x9242 x8981 -x8738 x8213 -x7338 x5852 -x10117 -x8740 x8212 -x2404 x555 -x9932 -x9776 -x7645 -x5855 -x3515 x576 -x9936 -x5853 -x3517 x572 -x10175 x9940 -x8734 -x7646 x7083 -x5990 -x3966 -x1132 x571 x10176 -x9939 x9334 -x8912 -x7087 -x10171 x9335 x8914 -x8735 x5996 -x3511 -x1135 -x170 x9336 x8920 -x7515 -x4267 -x3283 -x1396 -x172 -x10169 -x9352 x8916 -x7514 x7135 -x6612 -x6001 -x3512 -x3285 -x2783 -x2715 -x1397 -x989 x82 x8928 -x3291 x2784 -x2717 x1398 -x86 -x9905 -x7522 -x6618 -x6004 -x3858 x3287 x2779 x1414 -x992 -x166 -x9909 -x7719 x7526 -x6002 -x3299 -x9042 x7720 -x7530 -x6623 -x4103 x2777 -x2711 -x167 -x9014 x7721 -x7529 -x5073 -x4104 -x9048 x9015 -x8368 x8096 -x7737 -x6626 x5094 -x4099 -x3264 -x2712 -x1860 x9016 -x8369 x8100 -x6624 -x5090 -x1859 x580 -x9850 -x9374 x9032 -x8364 -x6511 -x5089 -x4097 -x3267 -x1390 x601 -x9373 -x6515 x1392 x597 x9856 -x9051 -x8362 -x8102 -x2842 -x1449 x596 -x523 -x8 -x8103 -x2846 x1695 -x1105 -x525 -x12 x9861 -x6353 -x6345 -x1856 x1696 -x1455 -x1386 -x10229 -x6344 -x3108 x1697 -x10230 -x9864 -x9370 -x7892 -x6703 -x6359 -x5571 -x3110 -x2848 x2346 x1713 -x1387 x519 x10231 -x9862 -x7894 -x6702 -x5305 -x4388 -x4335 -x3116 -x2849 -x2350 -x10247 -x8551 -x5577 -x5306 -x4387 x3112 -x2940 -x1458 x520 -x236 x5307 -x3124 -x2944 -x2036 -x8554 -x7888 x7305 -x6362 -x6341 x5323 -x4395 -x2352 -x2035 -x1650 -x242 -x7309 -x5096 x4399 -x2353 -x1654 -x1570 -x9312 -x8304 -x7889 x6699 -x6167 -x5580 x5095 -x4403 -x2043 -x1571 -x476 x247 -x8305 -x6171 -x4402 -x2047 x1572 -x478 x9318 x8300 x5103 -x4385 -x2816 -x2051 -x1656 -x1588 -x250 -x8890 -x6567 x5107 x4386 -x2820 -x2050 -x1657 -x248 -x8911 -x8298 x6908 -x5965 x5111 -x4951 x4381 -x4207 -x472 -x8907 -x8445 -x6912 x5110 -x10257 -x9321 -x9204 -x8906 x8447 x5971 -x5026 -x4954 x4379 -x4213 -x473 -x10261 x9203 x8453 -x5030 x8449 -x6065 x5976 x8461 -x3687 x8502 -x6071 x5979 -x4216 x3688 -x1549 -x8506 -x5977 -x9200 -x7109 x6076 -x5701 -x3700 x2493 -x1555 x2495 -x8850 -x8508 x7112 -x6503 -x6077 -x3820 x2751 -x8509 x6504 -x6078 -x3824 x2755 x2491 x10435 -x9599 x8603 -x7616 -x6800 x5145 -x4663 -x3812 -x1046 -x893 -x626 -x10439 x9600 -x6799 x5144 -x895 -x408 x10443 x9595 -x6879 -x5161 -x632 -x410 -x10442 -x8521 -x2599 -x2211 x416 x9593 -x8520 -x7620 -x6885 -x2600 -x2579 -x2107 -x889 -x637 x412 -x7999 -x6139 x2601 x2583 -x2111 -x424 x8528 -x7998 -x7206 -x6890 -x6796 -x6140 -x5795 -x4877 x2617 -x1420 -x890 -x773 -x731 -x640 -x8532 -x7210 x6141 -x4881 x774 -x638 x10009 -x8536 x8006 -x6893 -x6157 -x6118 -x5801 -x5284 x3782 -x2585 -x1426 -x769 -x734 x10455 x10010 -x9875 -x8535 -x8010 -x6891 -x5283 -x2586 -x1151 x10476 -x10005 -x9874 -x8014 -x6471 -x6121 x4896 -x4883 -x3788 -x1431 -x1153 -x767 x10472 -x8013 -x6805 -x6472 -x4884 -x1159 -x10743 -x10471 -x10003 -x9882 -x6806 -x6467 -x5804 -x4902 x4157 -x1434 x1155 -x10744 -x9886 x6807 -x6400 -x5185 -x3909 -x1432 -x1167 -x10739 -x9890 -x7024 -x6823 -x6465 x6401 -x5280 x4907 -x4546 x4163 -x4110 -x3930 -x3791 -x698 -x9889 -x7026 -x6549 x6402 -x4550 -x4114 x3926 -x2240 -x699 -x10737 -x7978 x6418 -x5961 -x5245 -x4910 -x4041 x3925 -x2239 x694 -x8765 -x5960 -x5249 -x4972 -x4908 -x4149 -x8767 -x7984 -x7020 -x5820 -x5551 -x4973 -x4552 -x4166 x2247 x692 -x10104 -x8773 x4974 -x4553 x2251 -x1818 -x10374 -x10103 x8992 -x8769 -x7021 -x5826 -x5390 -x5251 -x4990 -x3143 -x2255 -x1820 -x10375 x8996 -x8781 x6639 -x5252 -x2254 -x1826 -x1795 -x10370 -x10111 -x8983 -x7987 -x6660 -x5957 -x5396 x1822 -x1796 -x10115 -x8985 -x8199 -x7650 -x6656 -x5840 -x1834 x1797 -x10368 x10119 -x9238 -x8200 -x6655 -x5842 -x5829 x1813 -x10118 -x8739 x8201 x5848 x9241 -x8979 x8217 x5844 -x5399 -x2270 -x573 -x9926 x5856 -x3516 -x2274 x575 -x10174 -x9927 -x8980 -x7599 -x3962 -x10173 x9928 -x9944 x7085 x3965 -x1131 x569 x7089 -x5989 -x171 -x9355 -x7131 -x5991 -x2782 -x2438 -x1137 -x570 -x9356 x8915 x5997 -x2781 -x2716 -x2442 -x10170 -x9351 -x8936 x7134 -x7091 x5993 -x3854 -x1417 -x988 x84 -x8932 -x7516 -x7092 -x6611 -x6005 x3286 x1418 -x88 -x10299 -x9904 -x9349 -x9038 -x8931 -x7517 -x6613 -x4102 -x3857 -x3307 -x1413 -x1140 x994 -x10303 x9908 -x8090 x7518 -x6619 -x4101 -x3303 -x10021 -x9044 -x8367 -x8089 -x7740 x7534 x6615 -x5091 -x3302 -x2778 -x1411 -x90 -x8366 x7741 x6627 -x5093 -x91 -x9049 x9035 x8097 -x7736 -x7260 -x3263 -x997 x598 x9036 x8101 -x2836 -x1391 x600 -x9052 x9031 x8105 -x7734 -x6510 -x5087 -x4098 -x3269 -x2835 -x1445 -x9849 -x9050 x8104 -x6514 -x524 -x9851 x9029 -x8363 -x6349 -x5088 -x3193 x2843 x1451 -x594 -x7 x9857 -x2847 -x2340 -x11 x9853 -x6355 -x5567 -x4930 -x3272 -x2851 x2339 -x1716 x1456 -x595 -x9865 -x7893 -x2850 x1717 -x10250 -x6360 -x5573 -x5223 x2347 -x1712 x1459 x10251 x3111 -x2351 -x1644 -x1457 -x10246 -x8550 x6363 -x5578 -x5326 -x3132 -x2942 x2355 -x1710 -x1643 -x6361 x5327 -x4389 -x3128 -x2946 -x2354 -x235 -x10244 -x10063 x9308 -x8556 -x8303 x7307 -x6020 -x5581 -x5322 -x4390 -x3127 -x1651 -x237 -x8302 -x7311 -x6024 -x5579 x4391 -x2037 -x1655 -x477 x243 -x9314 -x8680 -x6169 -x5320 -x4407 -x4384 -x2948 -x2038 -x1659 x1591 x239 -x6173 x5097 -x4383 -x2949 x2039 -x1658 x1592 -x251 x9319 -x8908 -x8559 -x7313 x5098 -x4203 -x2815 -x2055 -x1587 -x8910 -x7314 x5099 -x2819 -x9322 -x8299 x6910 -x6175 x5115 -x4950 -x4209 -x1585 -x9320 x6914 -x6176 -x5964 -x10259 -x8904 -x5966 -x5025 -x4956 -x4380 x4214 x10263 -x8496 x8448 x5972 -x5029 -x8905 -x8495 x8469 -x6916 x5968 -x4217 -x1545 -x1186 -x8465 -x6917 -x6064 x5980 -x4215 -x10265 x8503 -x8464 x6066 -x5697 -x4959 -x3703 -x2895 -x1551 -x10266 -x8507 x6072 x3704 -x2745 x2494 -x8846 -x8511 -x7108 -x6502 x6068 -x5700 -x3699 -x2744 x1556 -x8510 -x6501 x6079 -x8849 x7114 -x3822 -x3697 x2752 -x1557 x3826 x2756 -x2489 -x1558 -x10431 -x9597 x8605 x7617 x5164 -x894 x10430 x5165 -x2573 -x625 -x10447 -x7621 -x5160 -x2572 x627 -x7619 -x6878 -x4871 -x633 -x411 -x9594 -x8609 -x6880 -x5791 -x5158 -x4870 -x2620 x2580 x2109 -x772 x629 -x432 -x8522 -x6886 -x2621 x2584 -x2113 -x771 x641 x428 x10008 -x8523 -x8124 -x7205 x6882 -x6160 -x5797 -x4878 -x3778 -x2616 -x2588 -x730 x427 x10007 x8524 -x8000 -x7209 -x6894 -x6161 -x4882 -x2587 -x1419 -x10473 x8540 -x8001 -x6470 -x6156 -x6117 -x5802 -x4886 x3784 -x2614 -x2115 -x1421 -x736 -x10475 x8002 -x6469 -x4885 -x2116 -x1427 -x10742 -x8018 -x6222 -x6154 -x6123 x5805 -x4153 -x3789 x1423 -x768 -x10741 x9876 -x5803 x4895 -x4540 -x1435 -x1154 -x10469 -x10004 x9877 -x6826 x4897 -x4539 x4159 -x3927 -x3792 -x1175 -x739 -x697 x9878 -x7025 x6827 -x5239 -x4903 -x3929 -x3790 -x1171 -x696 -x10470 -x9894 -x7974 -x7768 -x6822 -x6466 x6421 -x6126 -x5238 x4899 -x4547 x4164 -x4112 -x4037 -x1170 x6422 -x4911 -x4551 -x4116 -x10738 x7980 -x6820 x6417 -x5816 -x5547 -x5246 -x4555 -x4167 -x4040 -x3923 -x5250 -x4554 -x4165 -x2241 -x10373 -x7985 -x6415 -x5822 -x5550 -x5386 -x5254 -x4993 -x4118 -x3924 -x3139 x2242 x693 -x10372 -x8768 -x5253 -x4994 -x4119 x2243 x8994 -x8789 x7988 -x6657 x5827 -x5392 -x4989 -x3142 -x2259 -x10105 x8998 -x8984 -x8785 x7986 -x6659 -x1821 x10106 -x8784 -x5830 -x5397 -x4987 x1842 -x1816 x10107 -x5828 -x1838 x1817 -x10369 x10123 x9237 -x9000 -x8220 -x6653 -x5400 -x1837 x1812 -x9001 -x8221 x5843 -x5398 -x574 x9243 -x8216 -x7595 -x6654 -x6268 x5864 -x2269 x1810 -x7079 -x6272 x5860 x2273 -x9947 -x8214 -x7598 -x7078 x5859 -x3961 -x1127 x9948 -x9943 -x9354 -x9246 -x7929 x7086 x3967 x1133 -x9353 -x7933 x7090 -x78 -x9941 -x9408 -x8933 -x7130 x7094 -x2437 -x1416 -x1138 -x984 x77 -x9412 -x8935 x7093 x5992 -x2441 -x1415 x7136 -x6013 -x3970 -x3853 -x3304 x1141 -x990 x85 x6009 -x3306 -x1139 x89 -x10298 -x10017 -x9906 -x9350 -x8929 -x7739 -x7537 -x6762 -x6008 x3859 x995 -x93 -x10302 x9910 -x9037 -x7738 -x7538 -x6766 -x6614 -x5092 -x92 -x10020 -x9039 -x9034 -x8930 x7533 -x7256 -x7139 -x6635 -x3300 -x3259 -x1412 x998 -x9045 -x9033 -x8091 -x6631 -x996 x599 -x9912 x9041 -x8092 x7531 -x7259 -x6630 -x5750 -x3862 -x3301 -x3265 -x9913 -x9053 x8093 -x8376 x8109 -x7735 -x6512 -x3579 -x3270 -x3189 -x8380 x6516 -x2837 -x1444 x9030 -x4926 -x3273 -x3192 x2838 -x1715 -x1446 -x9 -x9852 -x6348 -x3271 x2839 -x1714 x1452 -x13 -x10249 x9873 -x6518 -x6350 -x5219 -x4929 -x2855 x1448 -x112 -x10248 -x9869 -x6519 -x6356 -x5566 -x2936 x2341 x1460 -x9868 -x8546 x6352 -x5568 -x5325 -x5222 -x3129 -x2935 x2342 -x1979 -x15 -x7301 x6364 -x5574 -x5324 -x3131 x2343 x1983 -x16 -x10059 -x8552 -x7300 x5570 -x2943 -x2359 -x1711 -x6163 x5582 x2947 -x1645 -x10245 -x10062 -x8676 x8557 x7308 -x6162 -x6019 -x4410 -x3125 -x2951 -x1646 -x1590 x9307 -x7312 -x6023 x4411 -x2950 x1647 -x1589 -x238 x9309 -x8679 -x8560 -x7316 -x6170 -x5321 -x4406 -x3126 -x2058 -x1663 x259 -x9315 -x8909 -x8558 -x7315 -x6904 -x6174 -x2059 x255 x9311 -x6903 -x6178 -x5118 -x4946 -x4404 x3168 -x2817 -x2220 -x2054 x254 -x10253 -x9323 -x6177 x5119 -x4202 x2821 -x2224 -x10252 x6911 x5114 -x4952 -x4204 -x2052 -x1586 -x1504 x6915 x4210 -x10260 -x8466 x6919 x5112 -x5027 -x4957 x4206 -x2823 -x1182 x10264 -x8468 -x6918 x5967 -x5031 x4218 -x2824 x10268 x5988 x4960 -x3702 -x2891 -x2370 -x1185 x10267 x8497 x5984 -x4958 -x3701 -x2374 -x1544 x8498 -x8462 -x7104 -x5983 -x5696 -x5033 -x2894 x1546 x8499 x6067 -x5034 -x3816 x1552 -x8845 x8515 -x8463 -x7110 x6087 -x5702 -x3815 x1548 -x341 -x6083 x2746 x1559 -x345 -x8851 x7115 -x6082 -x3823 -x3698 x2747 x3827 x2748 -x2490 x10450 -x9598 x8606 x7618 -x5162 x10451 -x7622 -x2103 -x10446 x8610 -x2619 x2102 -x1054 -x429 -x8608 -x2618 x2574 -x1058 x628 -x431 -x10444 -x8120 -x6159 -x5159 x2575 x2110 -x726 x649 -x6881 -x6158 -x5790 -x4872 x2576 -x2114 x645 -x8543 -x8123 x7207 x6902 -x6113 -x5792 -x4873 x3432 -x2592 -x2118 -x732 -x644 -x425 -x10474 x8544 -x7211 -x6898 -x5798 x4874 -x3777 -x2117 -x8539 -x8021 -x6897 -x6218 -x6119 x5794 x4890 -x3779 -x2615 -x737 -x426 -x8022 x5806 x3785 -x1422 -x8537 -x8017 -x7213 -x6825 -x6221 -x6155 -x6124 x3781 -x3525 -x1443 -x1172 -x740 -x7214 -x6824 -x4152 -x4106 -x3928 -x3793 -x3529 x1439 -x1174 -x738 -x9897 -x8405 -x8015 -x7764 -x6420 x6127 x4154 -x4105 -x1438 -x9898 x6419 -x6125 x4898 -x4541 x4160 -x9893 -x7767 x4919 -x4542 x4156 -x4113 -x4036 -x1168 -x7973 -x5240 -x4915 x4543 -x4168 x4117 -x9891 -x7975 -x6821 -x5546 x5241 -x4992 -x4914 x4559 -x4121 -x4042 -x1169 -x8988 x7981 -x5815 x5242 -x4991 -x4120 -x8987 -x8786 -x8630 x7977 -x6416 -x5817 -x5647 -x5552 x5258 -x3138 x2262 -x8788 x7989 -x6658 -x5823 -x5651 -x5385 x2263 x8995 x5819 -x5387 -x4045 -x3144 -x2258 -x1839 -x1815 -x1674 x8999 x5831 -x5393 -x1841 -x1814 -x1678 x10126 -x9233 x9003 -x8782 -x8219 -x5555 x5389 -x4988 -x3453 -x2256 x10127 -x9002 -x8218 x5401 -x3457 -x10122 -x9500 x9239 -x8783 x5861 -x3147 -x1835 x5863 -x10120 -x9946 x9244 -x7594 -x6267 -x3957 x2271 -x1836 -x1811 -x9945 -x6271 x2275 x9247 -x8215 -x7600 x5857 -x3963 -x9245 x7080 -x1126 -x7928 -x7126 x7081 -x5858 x3968 -x2277 x1128 -x8934 -x7932 x7082 -x2278 x1134 -x9942 -x9407 -x7603 -x7132 x7098 -x6010 -x3971 -x3849 -x2439 x1130 -x9900 -x9411 -x6012 -x3969 -x3305 -x2443 x1142 -x983 x79 -x9899 -x8825 -x7536 x7137 -x3855 -x985 x80 -x7535 x991 x81 -x10300 -x10016 -x9907 x7140 -x6761 -x6632 -x6006 x3860 -x2445 x987 -x97 -x10304 x9911 -x7138 -x6765 -x6634 -x2446 x999 -x10022 x9915 -x7255 -x6007 -x5746 -x5055 -x3863 x9914 -x9040 -x6506 -x3861 x3258 -x10306 x9061 -x8112 -x7532 x7261 -x6628 -x6505 -x5749 -x3575 x3260 -x10307 x9057 -x8113 x3266 -x3 -x10025 -x9056 -x8375 -x8108 -x6629 -x6513 -x3578 x3262 -x3188 -x2 -x8379 x6517 x3274 -x9870 -x8106 x7264 x6521 -x4925 -x3194 -x2858 -x108 x10 x9872 -x6520 x2859 x1447 -x14 -x5218 x4931 -x2854 -x1468 -x111 -x18 x6351 -x3130 x1464 -x17 -x9866 -x6934 x6372 -x5224 -x3197 -x2852 x2362 -x1978 x1463 -x8545 -x6938 x6368 -x5569 -x2937 x2363 x1982 -x10058 -x9867 -x8547 -x8480 x6367 -x6309 -x5590 -x4934 -x4409 x2938 -x2358 x8553 -x7302 -x6313 -x5586 -x4408 x2939 -x10064 -x9072 -x8675 x8549 -x7303 -x6021 -x5585 -x5522 -x5227 -x2955 -x2356 -x2057 -x1666 -x256 -x8561 x7304 -x6164 -x6025 -x5526 x2811 -x2056 -x1667 -x258 -x8681 x7320 -x6165 -x5363 -x5117 -x3616 -x3164 x2810 -x1662 x9310 x6166 -x5116 -x3620 -x10067 x9331 x6182 -x6027 -x4405 x3167 -x2818 -x2219 -x1660 -x1500 -x252 x9327 -x6905 -x6028 -x5021 -x4945 x2822 -x2223 -x9326 -x8684 x6906 -x5020 -x4947 -x2826 -x2657 -x2053 -x1724 -x1503 -x253 -x10254 -x8467 x6907 x4953 -x4205 -x2825 -x1728 -x10255 x6923 -x5985 x5113 -x5028 x4949 -x4226 -x1181 x10256 -x5987 -x5032 x4961 -x4222 x10272 -x5692 -x5036 -x4726 -x4221 -x2890 -x2369 x1187 -x5035 x2373 -x8947 -x8841 -x8518 -x6084 -x5981 x5698 -x2896 x8519 -x7103 -x6086 x1547 -x8847 x8514 -x7105 -x5982 x5703 x1567 -x1190 -x340 -x7111 x3817 -x1563 -x344 x8852 -x8512 x7107 -x6080 -x5704 x3818 -x2899 -x2759 -x1562 x7116 -x5705 x3819 x2760 x10448 x8607 x7630 -x5163 x8611 x7626 -x430 x7625 -x1206 -x1053 -x646 -x7201 x2104 -x1210 -x1057 x648 -x10445 -x8542 -x8119 -x7200 -x6899 -x6243 -x3428 x2595 x2105 -x8541 -x6901 -x6247 x2596 x2106 -x725 -x8125 -x8020 x7208 -x4893 x3431 -x2591 x2122 -x727 -x642 -x8019 -x7212 -x6112 x5793 x4894 -x733 -x7216 -x6895 -x6217 -x6114 x5814 -x4889 -x2589 -x1440 x729 -x643 -x7215 -x6120 x5810 -x3780 -x1442 -x1173 x741 -x9896 -x8538 -x8401 -x8128 -x7834 -x6896 -x6223 x6116 x5809 -x4887 -x3801 -x3524 -x9895 x6128 x3797 -x3528 x8404 -x8016 -x7763 -x5871 -x4916 -x4032 -x3796 -x1436 -x5875 x4918 x4155 x4107 -x7769 -x6226 -x5542 x4562 -x4176 x4108 -x4038 -x1437 -x291 x4563 -x4172 x4109 -x295 -x9892 -x8626 x5548 -x5261 -x4912 -x4558 -x4171 -x4125 x4043 x3991 -x3550 -x3134 -x2261 -x8787 x7976 -x5262 -x3554 x2260 -x8629 -x7997 x7772 -x5646 -x5553 x5257 -x4913 -x4556 -x4046 -x3140 -x2004 -x8989 x7993 -x5818 -x5650 -x4044 -x2008 -x1840 -x10125 -x8990 -x7992 x5839 x5556 -x5255 x3145 -x2532 -x1673 -x10124 x8991 x5835 -x5554 -x5388 -x1677 -x9496 x9007 -x6197 x5834 -x5409 x3452 -x3148 -x2257 -x9232 -x5862 x5405 x3456 -x3146 -x2265 -x10088 -x9499 x9234 -x7590 -x5404 x2264 x9240 -x10121 x9236 -x7596 -x6963 -x6269 -x6045 x2272 x9248 -x6273 -x6049 -x3956 x2276 -x7601 x3958 -x3243 x2280 x3964 -x2433 x2279 -x7930 x7604 -x7101 -x6275 x3960 -x2432 -x133 -x7934 x7602 -x7125 x7102 -x6276 -x6011 -x3972 x1129 -x137 -x9409 -x8821 x7127 x7097 -x2440 -x1150 -x10294 -x9413 -x7133 x3848 -x2444 -x1146 -x10293 -x10012 -x8824 -x7936 x7129 -x7095 x3850 x2448 -x1145 -x100 -x9901 -x7937 x7141 -x6633 -x3856 x2447 -x986 x101 -x10301 x10018 -x9902 -x9415 -x7251 -x6763 -x5051 x3852 -x1007 -x96 -x10305 x9903 -x9416 -x6767 x3864 -x1003 x10309 -x10023 x9919 -x9058 -x8111 x7257 -x5745 -x5054 -x1002 -x94 -x10308 -x9060 -x8110 x10026 -x7574 x7262 -x6769 -x5751 -x3574 -x3184 -x10024 -x6770 x6507 x3261 -x9054 -x8377 -x8328 x7265 x6508 -x5447 -x4921 -x3580 x3282 -x3190 -x2857 -x9871 -x8381 x7263 x6509 -x5451 x3278 -x2856 -x4 -x9055 -x8872 -x8107 -x6525 -x5754 -x5214 x4927 -x3277 -x3195 -x2295 -x1465 x107 -x5 -x2299 -x1467 x6 -x8383 -x7545 -x6369 -x5220 x4932 -x3583 x3198 -x2361 x113 -x22 -x8384 -x7549 x6371 -x3196 -x2360 -x10054 -x8476 -x6933 -x5587 x5225 x4935 -x2853 -x2553 -x1980 -x1461 -x6937 -x6015 -x5589 -x4933 -x2557 x1984 -x10060 -x9068 x8671 -x8479 -x6365 -x6308 -x6014 x5228 -x2958 -x1665 -x1462 -x116 x8548 -x6312 x5226 -x2959 -x1664 -x257 -x10065 -x9071 -x8677 x8569 -x7323 -x6366 x6022 -x5583 -x5521 -x5359 -x2954 -x2357 -x1986 -x8565 -x7324 x6026 -x5525 -x1987 -x10068 -x9959 -x9328 -x8682 -x8564 x7319 x6185 -x6030 -x5584 -x5362 -x3615 -x3163 -x2952 -x10066 -x9330 x6186 -x6029 -x3619 x2812 -x9217 -x8685 -x7317 x6181 x3169 x2813 -x2653 -x2221 -x1661 -x1499 -x8683 x2814 -x2225 -x9324 -x6926 -x6179 -x4223 -x2830 -x2656 -x1723 x1505 -x1303 -x1177 -x6927 -x5986 x5022 -x4948 -x4225 -x1727 -x1307 -x10275 -x9325 -x6922 x5023 x4969 -x4722 -x3172 -x2886 -x2227 x1183 -x10276 x5024 x4965 -x2228 x10271 -x8943 -x8517 -x6920 -x5040 -x4964 -x4725 -x4219 -x2892 x2371 -x1508 x1188 -x8516 -x6085 -x5691 x2375 x10269 -x8946 x5693 -x4220 -x2897 -x1564 -x1191 -x8840 x5699 x1566 -x1189 x8842 x5695 -x3016 -x2900 -x2758 -x2377 -x342 x8848 x7106 -x5706 -x3020 -x2898 -x2757 -x2378 -x346 x8844 -x8513 x7124 -x6081 x3830 -x1560 x8853 x7120 x3831 x10449 x8619 x7629 x8615 -x647 x8614 -x8115 -x7623 -x2594 -x1205 x1055 -x6900 -x2593 x1209 x1059 x8121 -x7624 -x6242 -x4892 -x3427 -x2125 -x706 -x7202 x6246 -x4891 -x2126 -x710 -x8126 -x7203 -x6213 -x5811 -x3666 x3433 x2121 -x1061 x7204 -x5813 -x3670 -x1441 -x1062 -x728 -x8129 -x7830 x7220 -x6219 -x3798 -x2590 -x2119 x749 -x8127 -x6115 -x3800 x745 x8400 -x7833 -x7759 x6224 -x6136 x5807 -x4888 -x3526 -x3436 -x744 x6132 -x4917 -x3530 x8406 -x7765 x6227 x6131 -x5870 -x5808 -x4561 -x4173 -x3794 -x2507 -x6225 x5874 -x4560 -x4175 -x4031 -x7770 -x5260 x4128 -x4033 -x3987 -x3795 -x3532 -x290 -x5541 -x5259 x4129 x4039 -x3533 -x294 -x10134 -x8625 -x8409 -x7994 x7773 -x5543 -x4169 -x4124 x4035 x3990 -x3549 -x10138 -x7996 x7771 x5549 -x4047 -x3553 -x3133 -x8631 -x5836 -x5648 x5545 -x4557 -x4170 -x4122 -x3135 -x2528 -x2003 -x1353 -x5838 -x5652 x5557 x3141 -x2007 -x1357 -x9010 -x7990 -x6193 -x5406 -x5256 x3137 -x2531 -x1675 x9011 -x5408 -x3149 -x1679 -x10084 -x9495 x9006 -x8634 -x7991 -x6196 x5832 -x5654 x3454 -x6263 -x5655 x3458 -x10087 -x9501 -x9004 -x6959 -x6262 -x5833 -x5402 -x4066 -x1681 x9235 -x7589 x2266 -x1682 -x9256 x7591 -x6962 -x6270 x6044 -x5403 -x3460 -x3239 x2267 x9252 -x7924 x7597 -x6274 -x6048 -x3461 x2268 -x9504 x9251 -x7923 x7593 -x7100 -x6278 -x3242 -x2284 -x9403 x7605 -x7099 -x6277 x3959 -x9402 -x7931 x3980 -x1147 x132 -x58 x7935 x3976 -x2434 -x1149 -x136 -x62 x9410 -x8820 -x7939 -x3975 x2435 -x1014 -x99 -x9414 -x7938 x7128 -x6757 x2436 -x1018 -x98 -x9418 -x8826 x7149 -x7096 -x6756 x2452 -x1143 -x1004 -x10295 -x10011 -x9417 x7145 x3851 -x1006 x10296 x10013 -x9922 -x7144 -x6764 -x5741 -x5050 x3872 -x1144 x10297 x10019 -x9923 -x9059 -x7250 -x6768 x3868 x10313 x10015 -x9918 -x8829 -x7570 -x7252 -x6772 -x5747 -x5056 -x4237 x3867 -x3570 -x1000 -x95 x10027 -x8371 x7258 -x6771 -x9916 -x8370 -x8324 -x7573 x7254 -x5752 x3576 -x3279 -x1001 x7266 -x3281 -x3183 -x8868 x8378 x8327 -x6528 -x5755 -x5446 -x5059 -x3581 -x3185 -x103 x8382 -x6529 -x5753 -x5450 -x4920 -x3191 -x1466 -x8871 -x8386 -x6524 -x4922 -x4276 -x3584 -x3275 x3187 -x2294 x109 -x25 -x8385 -x6370 -x5213 x4928 -x4280 -x3582 x3199 -x2298 -x1974 -x26 -x7544 -x6522 -x5215 x4924 -x3276 -x1973 x114 -x21 -x7548 -x5588 x5221 x4936 x8475 -x6935 x5217 -x2957 -x2552 -x1981 -x117 -x19 -x10053 -x6939 x5229 -x2956 -x2556 x1985 -x115 -x10055 -x9067 -x8566 -x8481 -x7322 -x6433 -x6310 x1989 -x200 x10061 x8670 -x8568 -x7321 -x6314 -x6016 -x1988 -x204 x10057 -x9955 -x9073 x8672 -x6941 -x6863 x6184 -x6017 -x5523 -x5358 -x3159 -x10069 -x9329 -x8678 -x6942 x6183 x6018 -x5527 -x2215 -x9958 -x9213 -x9172 x8674 -x8562 -x8484 -x6316 -x6034 -x5364 -x3617 -x3165 -x2953 -x2214 -x1495 -x8686 -x6317 x3621 -x9216 -x9076 -x8563 -x7318 -x6925 -x5529 x3170 -x2833 -x2652 x2222 -x1501 -x6924 -x5530 -x4224 x2834 x2226 -x10274 -x6180 -x5367 -x4966 -x3623 x3173 -x2829 -x2658 x2230 -x1725 x1506 -x1302 -x10273 -x4968 -x3624 -x3171 -x2365 -x2229 x1729 -x1306 -x1176 x5043 -x4721 -x2827 -x2364 -x2177 x1509 -x1178 x5044 -x2885 -x1507 x1184 -x8942 -x6921 -x5039 -x4962 -x4727 -x2887 -x2661 x2372 -x1731 x1180 x2893 x2376 -x1732 -x1565 -x1192 -x336 x10270 -x8948 -x5037 -x4963 x2889 -x2380 -x335 x5694 x2901 -x2379 -x7121 x5714 -x4730 -x3829 -x3015 x343 x8843 x7123 -x5710 x3828 -x3019 -x347 -x8951 x8861 -x5709 -x4617 -x1561 -x348 x8857 x7119 -x349 x8618 x7627 x1278 -x1050 -x1282 -x9446 x8612 -x3423 -x2124 x1207 x1056 -x8114 -x2123 x1211 x1060 -x8613 x8116 -x6244 -x3429 x1064 -x705 x8122 x6248 -x5812 -x1063 -x709 x8118 -x7223 -x3665 x3434 -x1213 -x746 -x8130 -x7224 -x6212 -x3799 -x3669 -x3520 -x1214 x748 -x8396 -x7829 -x7219 x6250 -x6214 -x6133 -x3519 x3437 -x2120 -x6251 x6220 -x6135 -x3435 x8402 -x7859 -x7835 -x7217 x6216 x3527 -x2503 -x742 -x7758 x6228 -x4174 -x3531 x8407 -x7760 x6129 -x5872 -x4127 -x3535 -x2506 -x743 -x7766 x5876 -x4126 -x3534 -x8621 -x8410 -x7838 x7762 x6130 -x3986 -x292 -x8408 -x7995 x7774 -x5642 -x4034 -x296 -x10133 -x8627 x5878 -x5641 -x4055 x3992 -x3551 -x10137 -x5879 -x5837 -x5544 x4051 -x3555 -x1669 -x9009 -x8632 -x5649 -x5565 -x4123 x4050 -x2527 -x2005 -x1668 -x1352 -x320 -x298 -x9008 -x5653 -x5561 -x5407 -x3448 x3136 x2009 -x1356 -x299 -x9491 -x8635 -x6192 x5657 -x5560 -x4851 -x3995 -x3557 -x3447 -x3157 -x2533 x1676 -x8633 x5656 -x4855 -x3558 -x3153 -x1680 -x10083 x9497 -x9143 -x6198 -x4062 x3455 -x3152 -x2011 x1684 -x9147 x3459 -x2012 x1683 -x10089 x9502 -x9253 -x9005 -x8576 -x6958 -x4065 -x3463 -x2536 -x9255 -x8580 x6264 -x3462 -x9505 -x6964 x6265 -x6201 x6046 -x3314 -x3238 -x2287 -x1529 -x9503 x7592 x6266 -x6050 -x3318 -x2288 -x10092 -x9249 x7613 x6282 -x3977 -x3244 -x2283 -x7925 x7609 x3979 -x1148 -x9250 -x8816 -x7926 -x7608 -x6967 x6052 -x2281 x134 -x57 x9404 x7927 -x6053 -x138 -x61 x9405 -x8822 x7943 -x7231 -x7146 -x3973 -x3247 -x2455 x1013 x9406 -x7235 -x7148 x2456 -x1017 -x1005 -x9921 x9422 x8827 -x5046 -x3974 -x3869 x2451 -x140 -x9920 x6758 x3871 -x141 -x10316 -x8830 -x7142 x6759 -x5052 -x4233 -x2449 -x10317 x10014 -x8828 x6760 -x5740 -x10312 x10035 -x7569 -x7143 -x6776 -x5742 x5057 -x4236 -x3865 x1753 x10031 -x7253 x5748 x3569 -x3280 -x10310 x10030 -x9917 -x8323 -x7575 -x7274 -x6527 x5744 -x5060 -x3866 x3571 -x806 x8372 -x7270 -x6526 x5756 -x5058 x3577 -x810 -x8867 x8373 x8329 -x7269 -x5448 x3573 -x24 x8374 -x5452 -x3585 -x3186 -x102 -x23 -x8873 -x8390 -x7578 -x4275 x3207 -x2296 -x104 -x6929 -x4923 -x4279 x3203 x2300 x110 -x8471 -x8332 -x7546 -x6928 -x6523 -x5454 x4944 -x3202 -x1774 x106 -x7550 -x6304 -x5455 x5216 -x4940 -x1975 -x1778 x118 x10603 -x9063 -x8876 x8477 -x6936 -x6429 -x6303 -x5237 -x4939 x2554 -x2302 -x1976 -x20 -x10607 -x8567 x6940 -x5517 -x5233 -x2558 -x2303 x1977 -x9069 x8482 -x7552 x6944 -x6859 -x6432 -x6311 -x5516 -x5354 -x5334 -x5232 -x1993 -x199 -x10056 -x7553 x6943 -x6315 -x5338 -x3611 -x203 -x10077 -x9954 -x9168 x9074 -x8485 -x8263 -x6862 x6319 -x6037 -x5524 -x5360 -x3610 -x3218 -x2560 -x10073 x8673 -x8483 -x8267 -x6318 -x6038 -x5528 -x3158 -x2561 -x10072 -x9960 -x9212 -x9171 -x9077 x8694 -x6033 x5532 -x5365 -x3618 -x3160 -x3093 -x2832 -x2648 -x9075 -x8690 -x5531 x3622 -x3166 -x2831 -x2216 x1719 -x1494 -x9218 -x8689 -x6031 -x5368 x3626 x3162 -x2654 -x2217 x1718 -x1496 -x5366 -x4967 -x3625 x3174 x2218 x1502 -x9963 -x5042 -x4717 -x2659 x2234 -x2173 -x1726 x1498 -x1304 x5041 x1730 x1510 -x1308 -x9221 -x8938 -x4723 -x2828 -x2662 -x2176 x1734 -x2660 -x2366 x1733 x1179 x8944 -x4728 x2367 -x1479 -x1310 -x1200 -x2888 x2368 -x1311 -x1196 -x9263 -x8949 -x5711 -x5038 x4731 x2909 x2384 -x1195 -x9267 -x7122 x5713 -x4729 x2905 x337 -x8952 x8858 -x4613 -x3405 -x3017 -x2904 x338 -x8950 x8860 -x3409 x3021 x339 -x5707 -x4616 x353 x8856 x7117 -x9442 x8616 x7628 x1277 -x1202 -x1074 -x6238 x1281 -x1049 -x9445 -x6237 x1208 x1051 x3422 x1212 x1052 -x7222 -x6245 x3424 x1216 -x1068 -x707 x8117 -x7221 x6249 -x3430 x1215 -x747 -x711 x8138 -x7825 x6253 -x3667 x3426 x8134 x6252 -x6134 -x3671 x3438 -x8133 -x7855 x7831 -x713 -x8395 x6215 -x5866 x3521 -x714 -x8397 -x7858 -x7836 -x7218 x6236 x5865 -x5601 -x3673 x3522 -x2502 x8403 -x6232 -x3674 x3523 -x286 x8399 -x7839 -x6231 x5873 -x3982 -x3539 -x2508 -x285 x8411 -x7837 -x7761 x5877 -x3545 -x7782 x6576 x5881 -x4052 x3988 -x3544 -x293 -x8620 -x7778 -x6580 x5880 -x4054 -x1999 x297 -x10135 -x8622 -x7777 -x5562 x3993 -x3552 -x2523 -x2511 -x1998 -x316 x301 -x10139 -x8628 -x5643 -x5564 -x3556 -x300 x8624 -x6188 -x5644 -x4187 x4048 -x3996 -x3560 -x3154 -x2529 -x2006 -x1354 -x319 -x8636 x5645 -x3994 -x3559 -x3156 x2010 -x1670 -x1358 -x10141 -x10079 x6194 -x5661 -x5558 -x4850 x4049 -x2534 -x2014 x1671 -x10142 -x9490 -x4854 -x3449 -x2013 x1672 -x10085 -x9492 -x9142 -x6954 -x6199 -x5559 -x4061 x3450 -x3150 x2537 x1688 -x1360 x9498 -x9254 -x9146 -x6040 x3451 -x2535 -x1361 x10090 x9494 -x8575 -x6960 -x6202 -x6039 -x4067 x3467 -x3234 -x3151 -x2286 -x1525 x9506 -x8579 -x6200 -x2285 -x10093 x7610 -x6965 x6285 x6047 -x3313 -x3240 -x3043 -x1528 -x10091 x7612 x6286 x6051 -x3978 -x3317 -x128 -x9565 -x6968 x6281 x6055 -x4070 -x3245 -x127 -x6966 x6054 -x7946 -x7606 -x6279 -x3248 -x2454 -x2282 x135 -x59 -x8815 -x7947 -x7147 -x3246 -x2453 x139 -x63 x9425 -x8817 x7942 -x7607 -x7230 -x6988 x1015 -x143 x9426 x8823 -x7234 -x3870 -x1019 -x142 -x10315 x9421 x8819 x7940 -x65 -x10314 x8831 -x5045 -x66 x10032 x9419 -x7565 -x6779 x5047 -x4232 -x2450 -x1749 -x1021 x10034 x6780 x5053 -x1022 -x8319 -x7571 -x7271 -x6775 x5049 -x4238 -x2152 x1752 -x7273 -x5743 -x5442 -x5061 -x10311 x10028 -x8863 -x8325 -x7576 -x6773 -x5764 -x5441 -x805 -x5760 x3572 -x2290 -x809 -x10029 -x8869 x8393 x8330 -x7579 -x7267 -x5759 x5449 -x4241 -x3593 -x3204 -x2289 x8394 -x7577 -x7540 -x5453 -x3589 x3206 x8874 -x8389 -x8333 -x7539 -x7268 -x5457 -x4941 -x4277 -x3588 -x2297 x1603 -x8331 -x5456 x4943 -x4281 -x2548 x2301 x105 -x8877 -x8387 -x7547 -x5234 -x3200 -x2547 -x2305 -x1773 -x364 x126 -x8875 -x8470 -x7551 -x6930 -x5236 -x2304 -x1777 -x368 x122 x10602 -x8472 -x7555 -x6931 -x6428 -x4937 -x4283 -x3201 x2555 -x1996 x121 -x10606 -x9062 x8478 -x7554 x6932 -x6305 -x4284 x2559 -x1997 -x10074 -x9950 -x9656 -x9064 x8474 -x6948 -x6858 -x6434 -x6306 -x6036 -x5333 -x5230 -x4938 -x3214 x2563 -x1992 -x201 -x10076 -x9070 -x8486 x6307 -x6035 -x5518 -x5353 -x5337 -x2562 -x205 -x9956 -x9208 -x9167 x9066 x8691 -x8262 -x6864 -x6323 -x5519 x5355 -x5231 -x3217 -x3089 -x1990 -x1929 x9078 x8693 -x8266 x5520 -x5361 -x3612 -x1933 -x10070 -x9961 -x9214 -x9173 -x6437 x5536 x5357 -x4697 -x3613 -x3092 -x207 -x5369 -x4701 x3614 -x3161 -x2647 -x1298 -x208 -x10071 -x9964 -x9219 -x8687 -x6867 -x6032 -x5896 x3630 x3182 -x2649 -x2237 -x1297 -x9962 -x5900 x3178 x2655 -x2238 x1720 -x1497 -x9222 -x9176 -x8688 -x3177 x2651 x2233 -x2172 x1721 -x1518 -x1305 -x9220 -x4716 x2663 x1722 -x1514 -x1309 -x4718 -x2231 x2178 x1738 -x1513 -x1475 x1313 -x1197 -x8937 -x4724 x1312 -x1199 x8939 -x7663 x4720 -x2906 x2387 -x1478 x8945 -x5712 x4732 -x3011 -x2908 x2388 -x9262 x8941 -x3010 x2383 -x2181 -x1193 x9266 -x8953 -x8859 -x4612 -x3404 -x3018 -x2902 x2381 -x1194 x356 -x3408 x3022 x357 -x6483 -x5708 -x4618 -x4528 x3023 -x2903 x352 x8854 -x7118 -x4532 x3024 x9441 x8617 -x2063 x1279 -x1073 -x2067 x1283 x1201 -x701 x9447 -x8750 x1203 -x1071 -x700 -x6239 -x3661 x1204 -x1072 -x8135 -x6737 x6240 -x3660 -x1285 x1220 -x1067 -x708 -x8137 -x6741 x6241 x3425 -x1286 -x712 -x9450 x6257 -x3668 x3446 -x1065 x716 -x7824 -x3672 x3442 x715 -x8131 -x7854 x7826 -x7351 -x6233 -x5597 x3676 -x3441 -x2498 x7832 -x7355 x6235 -x3675 -x8132 -x7860 x7828 -x5600 -x3542 -x2504 -x266 -x8398 x7840 x5867 -x3543 -x270 x8419 -x7779 -x6229 x5868 -x3538 -x2509 -x660 -x10129 x8415 -x7781 x5869 -x4053 -x3981 -x287 -x10208 -x10128 -x8414 -x7863 x6575 -x6230 x5885 -x3983 -x3536 x2512 -x1260 -x288 -x10212 -x6579 -x5563 x3989 -x3546 -x2510 -x1348 x289 -x10136 -x7775 -x5497 -x4183 x3985 -x3547 -x1347 -x315 x305 -x10140 -x8623 -x5501 x3997 x3548 -x3155 -x2522 -x2000 x10144 x8644 -x7776 -x5664 -x4186 -x3564 -x2524 -x2001 -x1355 -x321 -x10143 -x8640 -x6187 -x5665 -x2530 x2002 x1359 -x8639 -x6189 -x5660 x4852 -x4057 x2526 -x2018 -x1691 x1363 -x10078 x6195 -x4856 x2538 -x1692 x1362 -x10080 -x9144 x6191 -x5658 -x5622 -x4063 x3470 -x1687 -x324 x10086 -x9493 x9148 -x6953 -x6203 -x5626 x3471 x10082 -x9514 x8577 -x6955 -x6284 -x4858 -x4463 -x4068 -x3466 -x3039 -x1685 -x1524 -x10094 x9510 -x8581 -x7611 -x6961 x6283 x6041 -x4859 -x3233 -x9561 -x9509 -x9150 x6957 x6042 -x4071 -x3464 -x3315 -x3235 -x3042 -x2795 -x1530 -x9151 -x6969 x6043 -x4069 -x3319 -x3241 -x53 x9564 -x8583 -x7945 -x6059 x3237 -x52 -x8584 -x7944 x3249 -x1009 x129 -x10705 -x9424 -x6984 -x6280 -x3321 -x1533 -x1008 x130 x60 -x9423 -x3322 x131 x64 -x8149 -x7232 -x6987 x1016 x147 -x68 -x8818 -x7236 x1020 -x67 x8839 -x7941 -x6778 -x6379 -x4228 x1024 -x10033 x8835 -x6777 -x6383 x1023 -x9420 x8834 -x7238 x4234 -x2148 -x1748 -x1332 -x7564 -x7272 -x7239 x5048 -x7566 -x5761 -x5069 -x4239 x2151 x1754 -x8318 -x7572 -x5763 -x5065 -x8392 -x8320 x7568 -x6774 -x5064 -x4242 -x3590 x807 -x8862 x8391 -x8326 x7580 -x5443 -x4271 -x4240 -x3592 -x3205 -x811 -x8864 x8322 -x5757 -x5444 -x4270 -x1757 x1599 -x8870 -x8334 x5445 -x4942 -x2291 -x9097 x8866 -x5758 x5461 -x4278 -x3586 -x2292 x1602 -x813 -x123 -x8878 -x7541 -x5235 -x4282 x2293 -x814 -x125 -x8388 -x7542 -x6424 x4286 -x3587 -x2309 -x1995 -x1775 -x363 x7543 -x4285 -x2549 -x1994 -x1779 -x367 -x195 x10604 x9652 x7559 -x7038 -x6951 -x6854 -x6430 -x2550 -x194 -x119 -x10608 -x10075 -x8473 x6952 x2551 -x9655 -x9163 -x8494 -x6947 -x6860 x6435 -x6326 -x5725 x5335 -x3213 -x2567 x1781 -x202 -x120 -x9949 -x9065 -x8692 x8490 -x6327 -x5339 x1782 x206 -x10610 -x9951 -x9169 -x9086 -x8489 -x8264 -x6945 -x6865 x6438 -x6322 -x5539 -x3219 -x3088 -x1991 -x1928 x210 -x10611 -x9957 -x9207 x9082 -x8268 -x6436 -x5540 x5356 -x1932 -x209 x9953 -x9209 -x9174 -x9081 -x6868 -x6320 -x5535 x5377 -x5341 -x4696 -x3633 -x3179 -x3094 -x2236 -x1231 -x932 -x9965 -x9215 -x6866 x5373 -x5342 -x4700 x3634 -x3181 -x2235 -x1235 x9211 -x9177 -x8270 -x5895 -x5533 -x5372 x3629 -x3222 -x2168 -x1515 -x9223 -x9175 -x8271 x5899 -x2650 -x1517 -x1299 -x3627 -x3175 -x3097 x2671 -x2174 x1741 -x1300 x2667 x1742 x1301 -x1198 -x7659 -x3176 -x2666 -x2386 -x2232 x2179 x1737 -x1511 -x1474 x1317 -x4719 -x2907 -x2385 -x10660 -x7662 x4740 -x2182 -x1735 -x1512 x1480 x8940 x4736 -x2180 -x9264 x8961 x4735 -x4608 -x3758 -x2995 -x355 x9268 -x8957 -x3762 -x3012 x354 -x8956 -x6479 -x4614 -x3406 -x3013 -x2382 x1483 -x608 -x3410 x3014 -x612 -x9270 -x6482 x4619 -x4527 x3028 x350 -x9271 -x8855 x4531 x9443 -x8746 -x3733 -x2062 x1280 x1075 -x1070 -x3737 -x2066 x1284 -x1069 x9448 -x8749 -x7702 x1288 x1223 -x8136 -x1287 x1224 -x702 x9451 -x6736 -x6260 -x3443 x1219 -x1079 x703 -x33 x9449 -x6740 -x6261 -x3662 -x3445 x704 -x37 -x7850 x6256 -x5001 -x4676 -x3663 x1217 -x1066 x720 -x6234 -x5005 x3664 -x7856 -x7350 -x7281 -x6254 x5596 x3680 -x3541 -x3439 x7827 x7354 -x7285 -x3540 -x2497 -x8416 -x7861 x7848 -x5602 -x3440 -x2499 -x656 -x265 -x8418 x7844 -x7780 -x2505 -x269 -x7864 x7843 -x5888 x2501 -x1256 -x659 -x7862 x5889 x2513 -x10207 -x8412 x6577 x5884 -x5605 -x3537 -x1259 -x311 -x308 -x10211 x10130 x6581 -x3984 -x309 -x10483 x10131 -x8641 -x8413 -x5882 -x5663 -x5496 -x4182 x4005 -x3567 -x317 -x304 -x10487 x10132 -x8643 -x5662 -x5500 -x4846 x4001 -x3568 -x1349 -x10148 x6583 -x4845 -x4188 x4000 -x3563 -x2021 -x1690 x1350 -x322 -x302 -x9138 x6584 -x2525 -x2022 -x1689 x1351 -x9137 -x8637 x4853 -x3561 -x3469 -x2546 -x2017 x1367 x325 -x8571 -x6190 x4857 -x4056 x3468 -x2542 -x323 -x9511 x9145 -x8638 -x8570 x6211 -x5659 -x5621 -x4861 -x4459 -x4191 -x4058 -x2541 -x2015 -x1520 -x10081 -x9513 x9149 -x6207 -x5625 -x4860 -x4064 -x3309 -x10102 -x9834 -x9153 x8578 -x6206 x4462 x4060 -x3308 -x3038 -x2791 -x1686 -x1526 x10098 -x9152 -x8582 -x6956 x4072 -x10097 -x9560 -x9507 x8586 -x7417 -x6977 -x6062 -x3465 x3316 -x3044 -x2794 -x2467 x1531 -x8585 -x7421 -x6973 x6063 -x3320 x3236 -x10701 x9566 -x9508 -x6972 -x6058 x3324 x3257 -x1534 -x831 -x7226 x3323 -x3253 -x1532 -x835 -x54 -x10704 -x8145 -x7225 x6983 -x6056 -x3252 -x3047 -x150 x55 -x1010 x151 x56 -x9569 -x8836 -x8148 -x7233 -x6989 -x6671 x1011 x146 x72 -x8838 x7237 x1012 x7241 -x6378 -x1744 -x1328 x1028 x144 x7240 -x6382 -x4227 x8832 -x6992 -x5066 x4229 -x3339 -x2147 x1750 -x1331 -x5762 -x5068 x4235 -x3343 -x801 -x8833 -x7954 x4231 x2153 x1755 -x800 -x7958 -x7567 -x4243 -x3591 -x7588 -x5672 -x5062 -x2920 -x1758 x808 -x8321 x7584 -x5676 -x1756 x812 -x9093 -x8342 x7583 -x5464 -x5063 -x2156 x1598 x816 x8865 -x8338 -x5465 -x4272 -x1769 -x815 -x124 -x9096 x8886 -x8337 -x7181 -x5460 -x4273 x2312 -x1768 x1604 -x10598 -x8882 -x7185 x4274 x2313 -x10597 -x8881 -x7562 -x7034 -x6950 -x5458 x4290 -x2308 -x1776 -x365 -x7563 -x6949 -x6423 -x5329 -x1780 -x369 x10605 x9651 -x8491 -x7558 -x7059 -x7037 -x6425 -x6325 -x5721 -x5328 -x3209 -x2570 -x2306 x1784 -x1607 -x10609 -x8493 -x8258 -x7063 -x6853 -x6431 -x6324 -x2571 x1783 -x196 -x10613 -x9657 -x9083 -x8257 -x7556 -x6855 x6427 -x5724 -x5538 x5336 -x3215 -x3084 -x2566 -x537 -x371 -x197 -x10612 -x9162 -x9085 -x6861 x6439 -x5537 -x5340 -x372 x198 -x9164 -x8487 -x8265 -x6946 x6857 -x5374 x5344 -x3632 -x3364 -x3220 -x3090 -x2564 -x1930 -x928 -x214 x9952 -x9170 x8269 -x6869 x5376 -x5343 -x3631 -x3368 -x3180 -x1934 -x9973 -x9660 x9166 -x9079 -x8488 -x8273 -x6321 -x4698 -x4305 -x3223 x3095 -x1230 -x931 -x9969 x9210 x9178 -x8272 -x4702 -x3221 -x1516 -x1234 -x9968 x9231 -x9080 -x5925 -x5897 -x5534 -x5370 -x3478 x3098 x2668 -x1936 -x1740 x9227 x5901 -x3482 -x3096 x2670 -x2167 -x1937 -x1739 -x9226 -x5371 -x4704 -x3628 -x2169 -x1470 x1320 -x4705 -x2175 x1321 -x10656 -x7658 -x5903 -x4737 -x2664 -x2413 x2171 -x1958 x1476 x1316 -x9258 -x5904 -x4739 -x2417 x2183 -x10659 -x9257 -x8958 x7664 -x2991 -x2665 -x1736 x1481 x1314 x8960 -x3400 -x9265 x4733 -x3757 -x3399 -x2994 x1484 x9269 -x4607 -x3761 x1482 -x9273 -x8954 -x7667 -x6478 -x4803 -x4734 -x4609 x3407 x3031 -x607 -x9272 -x4807 x4615 -x3411 x3032 -x611 -x10042 -x8955 -x6484 x4611 -x4529 -x3412 x3027 x351 -x10046 -x4620 x4533 -x3413 x9439 -x8745 -x7698 -x3732 x2064 -x1276 -x1222 x1076 -x948 x9444 -x3736 -x2068 x1275 -x1221 -x952 x9440 -x8751 -x7701 -x6259 x1292 x1080 x9452 -x6258 -x3444 x1078 -x9805 -x7160 -x6738 -x4672 x2070 -x723 -x32 -x9809 x6742 -x2071 -x724 -x36 -x8754 -x5592 -x5000 -x4675 x3683 -x1218 x719 -x7849 -x5004 x3684 -x7851 -x7845 x7352 x7280 -x6744 -x6255 x5598 -x3679 -x717 -x8417 x7857 -x7847 x7356 -x7284 -x6745 x7853 -x5887 x5603 -x4488 -x3677 -x655 -x267 x7865 -x6571 -x5886 -x2500 -x271 -x10508 x7841 -x7358 -x6570 x5606 -x3715 x2521 -x1255 -x661 -x307 -x10512 -x7359 -x5604 x2517 -x306 x10209 -x7842 x6578 -x4178 -x4002 -x3566 x2516 -x1261 -x273 -x10213 -x8642 x6582 x4004 -x3565 -x310 -x274 -x10482 -x10151 x6586 -x5883 x5498 -x4184 -x2020 -x664 -x312 -x10486 -x10152 x6585 -x5502 -x2019 x318 -x10215 -x10147 -x4189 -x3998 -x2543 x1370 -x1264 x314 -x303 -x10216 -x4847 -x2545 x1371 x326 -x10145 -x6208 -x5504 x4848 -x4348 -x4192 -x3999 -x3562 x1366 -x9512 x9139 -x6210 -x5505 x4849 -x4190 -x10099 -x9830 x9140 -x5623 x4865 -x4458 -x3034 -x2539 -x2016 x1364 -x10101 x9141 x8572 -x5627 -x4059 -x1519 -x10562 -x9833 -x9556 x9157 x8573 -x6974 -x6204 -x6061 x4464 -x4080 -x3040 -x2790 -x2540 -x2463 -x1521 x8574 -x6976 -x6060 x4076 -x3310 -x1527 -x10095 -x9562 -x8651 -x8590 -x7416 -x6716 -x6205 x5629 -x4075 -x3311 -x3254 -x3045 -x2796 -x2466 x1523 -x8655 -x7420 x5630 x3312 x3256 -x1535 -x10700 -x10096 x9567 -x6979 -x6970 -x4467 x3328 -x3048 -x830 -x149 -x3046 -x834 -x148 -x10706 x9570 -x9118 -x8144 x6985 -x6971 -x6667 -x6057 -x5198 -x3250 -x2799 x75 -x9568 -x9122 -x8837 x7227 x76 x8150 x7228 -x6990 -x6670 -x3251 -x1031 -x71 x7229 x1032 -x10709 x7245 x6993 x6380 -x2143 -x1327 -x1027 -x145 -x69 -x6991 -x6384 -x5067 x1743 -x8153 -x3338 x2149 x1745 -x1333 -x1025 -x860 x4230 -x3342 x1751 -x7953 -x7585 -x6386 x4251 -x2916 x2154 x1747 x7957 -x7587 -x6387 -x4247 x1759 -x802 -x9292 -x8339 -x5671 -x5463 -x4246 -x2919 -x2157 x1594 -x1336 x803 -x8341 -x5675 -x5462 -x2155 x804 -x9092 -x8883 -x7581 x2311 x1600 x820 x8885 x2310 -x359 -x9098 -x8430 -x8335 -x7582 -x7561 -x7180 -x5416 -x4293 x1605 -x358 -x7560 -x7184 -x5420 -x4294 x1770 -x9647 -x8879 -x8336 -x7033 -x5459 -x4289 -x2569 x1771 x1608 x366 -x10599 -x8492 -x2568 x1772 x1606 -x370 x10600 x9653 -x9101 -x8880 -x7058 -x7039 -x5720 -x4287 -x2307 -x1788 -x533 x374 x10601 -x9084 -x7062 -x6426 -x5330 -x3208 -x1924 -x373 -x10617 -x9658 -x7557 x6447 -x5726 -x5331 x3210 -x1923 -x781 -x536 -x217 -x8259 x6856 -x6443 -x5375 x5332 -x4692 -x3216 -x3083 -x785 -x218 -x9970 x9661 -x8260 -x7042 x6877 -x6442 -x5348 -x4691 -x4301 -x3363 x3212 -x3085 -x2565 -x1931 -x927 -x213 -x9972 -x9659 -x9165 x8261 -x6873 -x5891 -x3367 x3224 -x3091 x1935 x9228 -x9186 -x8277 -x6872 -x5921 -x5890 -x5729 -x4699 x4304 x3087 -x1939 -x1232 -x933 -x211 x9230 x9182 -x4703 x3099 -x2669 -x1938 -x1236 -x9966 -x9181 -x5924 -x5898 x4707 -x3477 -x1319 x5902 x4706 -x3481 -x1318 -x9967 -x9224 -x7654 x5906 -x1954 x1238 -x936 x5905 -x4738 x2170 -x1469 -x1239 -x10655 -x9225 -x7660 -x2412 x2191 -x1957 x1471 -x8959 -x2416 x2187 x1477 -x10661 -x10187 x7665 -x2990 x2186 x1473 -x1315 -x9259 x1485 x9260 x7668 -x6474 -x3759 -x3030 -x2996 x9261 -x7666 -x4523 x3763 -x3401 -x3029 -x10664 -x9277 x6480 -x5130 -x4802 -x4522 -x3402 -x609 -x4806 -x4610 x3403 -x613 -x10041 -x6485 -x4628 x4530 -x3765 -x3417 x3025 x2999 -x228 -x10045 x4624 x4534 -x3766 -x8747 -x7697 -x5288 -x3734 x2065 -x1295 x1077 -x947 x9438 -x6732 -x5292 -x3738 x2069 -x1296 x1081 -x951 -x9460 x8752 -x7703 -x7156 -x6731 x2073 -x1291 -x722 x9456 x2072 -x721 -x10533 -x9804 -x9455 -x8755 -x7159 x6739 -x4671 -x3740 -x3682 -x1289 x34 -x10537 -x9808 -x8753 -x7346 x6743 -x3741 x3681 -x38 -x7706 -x7345 -x6747 x5002 -x4677 -x7846 -x6746 -x5591 -x5006 -x261 x7353 x7282 x5593 -x4484 -x718 -x651 -x260 -x40 x7852 x7357 -x7286 x5599 -x41 x7873 -x7483 x7361 x5595 -x5008 -x4680 -x4487 -x3711 -x3678 -x2518 -x1251 -x657 -x268 -x10203 x7869 -x7487 -x7360 x5607 -x5009 -x2520 -x272 -x10507 -x10202 -x7868 -x7288 -x3714 -x2320 -x1257 x662 -x490 x276 -x10511 -x7289 -x6572 -x5492 -x4003 -x2324 x275 x10210 -x10150 x6573 -x5491 -x2514 x1262 -x665 x10214 -x10149 x6574 -x4177 -x663 x10484 x10218 -x6590 x5499 -x4179 -x2515 -x1369 -x1265 -x10488 x10217 x5503 -x4185 -x2544 -x1368 -x1263 -x313 -x7376 x5507 -x4344 x4181 -x334 -x7380 -x6209 -x5617 -x5506 -x4193 x330 -x10490 -x10146 -x5616 x4868 -x4454 -x4347 x329 -x10491 -x10100 x4869 -x10558 x9829 x9160 x5624 -x4864 -x4460 -x4077 -x2786 -x1365 x9161 -x6975 -x5628 -x4079 -x3033 -x10561 -x9835 -x9156 x8593 -x6712 x5632 -x4862 x4465 -x3035 -x2792 -x2462 -x9555 x8594 x5631 -x3255 -x3041 -x1522 -x10696 -x9557 -x9154 -x8650 -x8589 -x7418 -x6715 -x4468 -x4073 -x3331 x3037 x2797 -x2729 -x2468 -x1543 -x9563 -x8654 x7422 -x4466 -x3332 x3049 -x1539 -x10702 -x9838 x9559 -x8587 -x8140 -x5194 -x4074 -x3327 x2800 -x1538 -x832 -x74 x9571 -x6978 x2798 x836 -x73 x10707 -x9117 -x8146 -x7424 -x6980 -x6666 -x5197 -x3325 -x2471 -x1030 -x9121 -x7425 x6986 -x6374 -x1029 x10710 x8151 -x7248 x6982 -x6672 -x6373 -x3937 -x1323 -x838 -x10708 -x7249 x6994 -x3941 -x839 -x8154 x7244 x6381 -x1329 -x907 -x856 -x70 -x8152 x6385 -x2142 -x7242 -x6675 x6389 -x4248 -x3340 -x2966 -x2144 x1334 -x1026 -x859 -x7586 x6388 -x4250 -x3344 -x2970 x2150 x1746 -x9288 -x7955 x2915 x2146 x1767 -x1337 -x8340 x7959 x2158 -x1763 -x1335 -x9291 -x9088 -x5673 -x4244 -x3346 x2921 -x1762 -x823 -x8884 x5677 -x3347 x1593 -x824 x9094 -x8426 -x7961 -x7906 -x4292 -x4245 x1595 -x819 -x7962 -x4291 x1601 -x9099 -x8429 -x7182 -x7029 x5679 -x5415 -x3645 -x2924 x1597 -x817 -x7186 -x5680 -x5419 x1609 -x360 -x9102 -x7035 -x5716 x1791 x361 -x9646 -x9100 x1792 x362 x10620 -x9648 -x7188 -x7060 -x7040 x6444 -x5722 -x4288 -x1787 -x532 x378 -x216 x10621 x9654 -x7189 -x7064 x6446 -x215 -x10616 x9650 -x7043 -x6874 -x5727 -x5351 -x1785 -x923 -x780 -x538 -x389 -x9971 x9662 -x7041 -x6876 -x5352 x3211 -x1925 -x1226 -x784 -x393 -x10614 -x9183 -x8280 -x7066 -x6440 -x5730 -x5347 -x4300 -x3365 x3232 x1926 -x1225 -x929 x9229 -x9185 -x8281 -x7067 -x5728 -x4693 x3369 -x3228 -x3086 x1927 -x8276 -x6870 -x6441 -x5920 -x5345 -x4694 x4306 -x3227 -x3107 -x1943 -x1233 -x934 -x541 -x212 -x5892 x4695 -x3103 -x1237 -x9179 -x8274 -x6871 -x5926 -x5893 -x4711 -x3479 -x3371 -x3102 -x2632 x1241 -x937 x5894 -x3483 -x3372 x1240 -x935 -x10651 -x9180 x5910 -x4309 -x2188 x1953 x7653 -x2190 -x10657 -x10183 x7655 -x5929 -x4422 -x3485 x2986 -x2414 -x1959 x7661 -x3753 -x3486 -x2418 x1472 -x10662 -x10186 x7657 -x3752 x2992 x2184 -x1493 x7669 -x1489 -x603 x10665 -x9280 -x8178 -x5126 -x3760 x2997 -x2420 -x2185 -x1962 -x1488 -x602 -x10663 x9281 -x8182 -x6473 x3764 -x2421 -x9276 -x6475 -x5129 x4804 -x4625 -x3768 -x3420 x3000 -x610 -x224 x6481 -x4808 -x4627 -x4524 -x3767 x3421 x2998 -x614 -x10043 -x9274 x6477 -x4525 -x3416 -x3392 x3026 -x615 -x227 -x10047 -x6486 x4623 x4526 -x616 -x9457 -x8743 -x7699 -x5287 x3735 -x2061 -x1293 x1089 x949 -x9459 x8748 x5291 -x3739 x2060 -x1085 -x953 -x28 x8744 -x7704 -x7155 -x4667 -x3743 x2077 -x1084 -x27 -x8756 -x6733 -x4996 -x3742 -x10532 -x9806 -x9453 -x7707 -x7161 -x6734 x4995 -x4673 -x1290 -x955 x35 -x10536 -x9810 -x7705 -x7276 x6735 -x956 x39 -x9454 -x7275 -x6751 x5003 x4678 -x4016 x43 -x7347 x5007 -x42 -x9812 -x7870 -x7348 x7283 -x7164 -x5011 x4681 -x4483 -x9813 -x7872 x7349 x7287 x5594 -x5010 -x4679 -x2519 -x650 -x262 -x7482 x7365 x7291 -x5615 x4489 -x3710 -x652 -x486 -x263 -x7486 x7290 x5611 -x1250 -x658 x264 -x10509 -x7866 -x5610 -x3716 -x2319 -x1252 x654 x489 x280 -x10513 -x10478 x10204 -x2323 x1258 -x666 -x10477 -x10324 x10205 -x7867 x6593 -x4574 -x4492 x1254 -x10328 x10206 x6594 -x5493 -x1266 -x10515 x10485 x10222 -x6589 x5494 -x3719 -x331 -x10516 x10489 x5495 -x4180 -x333 x10493 -x7375 -x6587 x5511 -x4867 -x4343 x4201 -x10492 x7379 -x4866 -x4197 -x9825 -x9159 x7793 x4349 -x4196 -x327 x9158 -x5618 -x4453 -x4078 -x10557 x9831 -x8592 x5619 -x4455 -x2458 -x328 -x8591 -x7412 x5620 -x4461 -x2785 -x10563 -x9836 -x7411 -x6711 x5636 -x4863 -x4747 x4457 x4352 -x3330 -x2787 -x2725 -x2464 -x1540 -x4751 x4469 -x3329 -x3036 -x2793 -x1542 -x826 -x9839 -x9744 -x9155 x8652 -x7419 -x6717 -x3057 x2789 -x2728 -x2469 -x825 -x10695 -x9837 -x9748 -x9558 -x8656 x7423 -x3053 x2801 -x10697 -x10566 -x9579 -x8588 -x7427 x6834 -x6662 -x5193 -x3052 -x2472 -x1536 x833 -x10703 x9575 -x8139 -x7426 -x6838 -x2470 x837 x10699 -x9574 -x9119 -x8658 -x8141 -x7247 -x6720 x6668 -x5199 -x3326 -x1537 x841 x10711 -x9123 -x8659 -x8147 -x7246 -x6981 x840 x8143 x7002 -x6673 -x3936 -x3879 -x903 x8155 x6998 x6375 -x3940 -x3883 -x3334 -x1322 -x9125 x6997 -x6676 x6376 -x5202 -x3333 x1324 -x906 -x855 -x9126 -x7949 -x6674 x6377 -x4249 x1330 -x7948 -x7243 x6393 x3341 -x2965 -x2911 -x2678 -x1764 x1326 -x861 -x5667 -x3345 -x2969 -x2682 x2145 -x1766 -x1338 -x9287 -x7956 -x5666 x3349 -x3068 x2917 x2166 -x822 x7960 -x3348 x2162 -x821 -x9293 -x7964 -x7902 -x5674 x2922 x2161 -x1760 -x864 -x9087 -x7963 -x7176 x5678 x9089 -x8425 -x7905 -x7175 x5682 -x3641 -x2925 -x1761 x9095 x5681 -x2923 x1596 -x9296 x9091 -x8431 -x7183 -x5417 -x3644 -x1790 x1617 -x818 -x9103 -x7187 -x7054 -x7028 -x5421 x1789 x1613 -x10619 x7191 -x7053 -x7030 x1612 -x528 -x381 -x10618 -x7190 -x7036 x6445 -x5715 -x382 -x8434 -x7061 x7032 -x5717 -x5423 -x5350 -x534 x377 -x9649 -x7065 -x7044 -x6875 -x5723 -x5424 -x5349 -x3359 -x9670 -x9383 -x8279 -x7069 x5719 -x4296 -x3358 -x3229 -x1786 -x782 -x539 -x388 x375 x9666 -x9387 -x9184 -x8278 -x7068 x5731 x3231 -x922 -x786 -x392 -x10615 -x10411 -x9665 -x5916 -x4302 x3366 -x3104 -x1946 -x924 x542 -x10415 -x3473 x3370 -x3106 -x1947 -x1227 x930 x540 -x5922 -x5346 -x4714 x4307 -x3472 x3374 -x3225 -x2628 -x1942 -x1228 x926 -x788 -x4715 -x3373 x1229 -x938 -x789 -x8275 -x7446 -x5927 -x5913 -x4710 x4310 -x3480 -x3226 -x3100 -x2631 -x1949 -x1940 x1245 -x5914 x4308 -x3484 -x2408 -x2189 x5930 -x5909 -x4708 -x4418 -x3488 -x3101 -x2407 x1955 -x10650 x5928 -x3487 -x10652 -x10182 -x5907 -x4421 -x2415 x1960 -x1490 -x10658 x7656 x2985 -x2419 -x1492 x10654 -x10188 -x9279 x7677 x2987 -x2423 -x1963 x10666 -x9278 x7673 -x4798 -x3754 x2993 -x2422 -x1961 -x9540 -x8177 x7672 -x5125 -x4797 -x3755 -x3419 x2989 -x1486 -x10037 -x9544 -x8181 -x4626 x3756 -x3418 x3001 -x604 -x10191 -x10036 -x5131 x4805 -x3772 -x3388 -x1487 x605 -x223 -x6476 x4809 x606 -x10044 -x9275 -x6494 -x4810 -x4537 -x3414 x3391 -x620 x229 -x10048 x6490 -x4811 x4621 x4538 -x9458 -x7695 -x7151 x5289 -x3731 -x2080 -x1294 x1088 x950 -x9800 -x8742 -x7700 x5293 x3730 -x2081 x954 -x9799 -x8764 -x7696 -x7157 x3747 -x2076 -x1082 x958 x8760 -x7708 -x4666 x957 -x29 -x10534 -x9807 -x8759 -x7162 -x6754 -x5295 -x4668 x4012 -x2074 -x1083 x30 -x10538 -x9811 -x6755 -x5296 x4997 -x4674 x31 x9815 -x7165 -x6750 x4998 x4670 -x4479 -x4015 -x47 x9814 -x7871 -x7277 -x7163 x4999 x4682 -x10540 -x8238 -x7368 -x7278 -x6748 -x5612 x5015 x4485 -x3706 -x10541 -x10503 -x8242 x7369 x7279 -x5614 -x10502 -x7484 -x7364 x7295 x4490 -x3712 -x485 x283 -x7488 -x653 x284 x10510 -x7362 -x6592 -x5608 -x4570 -x4493 -x3717 -x2321 -x674 x491 x279 -x10514 -x6591 -x4491 -x2325 -x1253 -x670 -x10518 -x10323 x10225 -x7490 -x5609 -x4573 -x3720 x1274 -x669 -x277 -x10517 -x10479 -x10327 x10226 -x7491 -x3718 x1270 -x332 -x10480 x10221 x5514 -x4339 -x4198 x2327 -x1269 -x494 x10481 x5515 -x4200 -x2328 x10497 -x10219 -x7789 -x7377 -x6588 x5510 x4345 x7381 -x10553 x7792 -x5508 x4350 -x4194 -x9824 -x10559 -x9826 x7383 -x6707 -x5639 x4353 -x4195 x9832 -x8646 -x7384 -x5640 -x4456 x4351 -x2457 -x1541 -x10564 x9828 -x8645 -x6713 x5635 -x4746 -x4477 -x3054 -x2724 -x2459 -x9840 -x7413 -x4750 x4473 -x3056 -x2788 -x2465 -x10567 -x9743 -x9576 x8653 -x7414 -x6718 -x5633 -x5189 -x4472 -x2809 -x2730 x2461 -x10565 -x9747 -x9578 -x9113 -x8657 x7415 -x2805 -x2473 -x827 -x9112 -x8661 x7431 x6833 -x6721 -x5195 -x3050 -x2804 x828 -x10698 -x8660 x6837 -x6719 -x6661 x829 x10719 -x9572 x9120 -x6999 -x6663 -x5200 -x3051 -x2733 -x845 -x10715 x9124 -x8142 -x7001 x6669 -x10714 -x9573 x9128 x8163 x6665 -x5203 -x3938 -x3878 -x902 -x851 -x9127 x8159 -x6677 -x5201 -x3942 -x3882 -x8158 -x6995 x6396 -x908 x857 x6397 -x3335 -x1765 x1325 -x9283 -x6996 -x6392 -x3944 x3336 -x3064 x2967 -x2677 x2163 -x1346 -x862 -x7950 -x3945 x3337 -x2971 -x2910 -x2681 x2165 x1342 -x9289 x7951 -x6390 -x3353 -x3067 -x2912 x1341 -x911 -x865 x7952 -x5668 x2918 -x863 -x9294 -x8421 -x7968 -x7901 x5669 -x2973 x2914 -x2159 x5670 -x5411 -x2974 x2926 -x9297 -x8427 x7907 -x5686 -x5410 x3640 -x2160 -x1614 -x9295 x9090 -x7177 -x1616 -x9111 x8432 x7178 -x5418 -x3646 -x380 x9107 x7179 -x5422 -x379 -x9106 x8435 -x7910 x7195 x5426 -x1610 x8433 x7055 -x7031 -x5425 -x776 -x527 -x9667 x7056 x7052 -x3649 -x1611 -x775 -x529 -x9669 x7057 -x7048 -x5718 -x3230 -x535 -x9382 -x7073 -x7047 x5739 -x1945 -x783 x531 -x390 -x376 -x9386 x5735 -x4295 -x3360 -x3105 -x1944 x787 x543 -x394 -x10410 -x9663 x5734 -x4713 -x4297 -x3361 x791 -x10414 -x5915 -x4712 -x4303 x3362 -x925 x790 -x9664 -x7442 -x5917 -x5912 x4299 x3378 -x2627 -x1248 x946 -x396 -x5923 -x5911 x4311 -x3474 x1249 x942 -x397 -x7445 x5919 x3475 -x2633 -x1941 -x1244 -x941 x5931 x3476 -x1948 -x10178 -x4709 -x4417 x3492 x1950 -x1242 -x2409 x1956 -x1491 -x10184 -x8705 -x7674 -x5908 -x4423 -x2636 x2410 x1952 -x10653 x7676 x2411 -x1964 -x10674 -x10189 -x5121 x2427 x10670 x2988 -x10669 x10192 -x9539 -x8179 -x7670 x5127 -x4426 x3775 -x3009 -x220 -x10190 -x9543 -x8183 -x4799 x3776 x3005 -x7671 -x6491 x5132 x4800 -x4536 -x3771 -x3387 -x3004 -x623 x225 -x10038 -x6493 x4801 -x4535 -x624 -x10039 -x8185 -x5133 -x4815 -x3769 -x3415 x3393 -x619 x230 x10040 -x8186 -x6489 -x5134 -x4622 -x8761 x5290 x3750 -x2078 -x1086 x10758 -x10528 -x8763 -x7694 -x7150 x5294 x3751 -x10527 -x7716 -x7152 -x6753 -x5298 x3746 x962 -x9801 -x7712 -x7158 -x6752 -x5297 -x10535 -x9802 -x8757 -x7711 x7154 x4011 -x3744 -x2075 -x50 -x10539 x9803 -x7166 -x4669 -x51 x10543 x9819 -x8758 -x7367 -x5018 x4690 -x4017 -x46 x10542 -x7478 -x7366 -x5613 -x5019 x4686 -x4478 -x8237 x7477 -x7298 -x6749 x5014 x4685 -x4480 -x1873 -x481 -x282 -x44 -x8241 x7299 x4486 -x3705 -x2315 -x281 x7485 x7294 -x5012 x4482 -x4020 -x3707 -x2314 -x671 -x487 -x10504 x7489 -x4494 -x3713 -x673 -x10505 -x10224 -x7493 -x7363 x7292 -x4569 x3709 -x2322 -x1271 x492 x10506 -x10223 -x7492 -x3721 -x2326 x1273 x10522 -x10325 -x5513 -x4776 -x4575 x2330 -x667 -x495 -x278 x10329 -x7371 -x5512 -x4199 x2329 -x493 x10500 -x7370 -x1267 -x668 x10501 x4338 x10496 -x10331 -x10220 -x7788 x7378 -x4578 x4340 -x1268 -x10332 x7382 x4346 -x10494 x7794 x7386 -x5638 -x5509 x4342 -x10552 x7385 -x5637 x4354 -x10554 -x4474 -x2720 x10560 -x9827 -x6706 -x4476 -x3055 x10556 -x9848 -x7797 -x6708 -x4748 -x2806 x2726 -x10568 -x9844 -x9577 x8647 -x6714 -x4752 -x2808 -x2460 -x9843 -x9745 x8648 -x7434 x6710 -x5634 -x4470 -x2731 -x2481 -x9749 x8649 -x7435 x6722 -x5188 -x2477 -x10716 -x8665 x7430 x6835 x5190 -x4754 -x4471 -x2802 -x2734 -x2476 -x848 -x10718 -x9114 -x7000 x6839 -x5196 -x4755 -x3932 -x2732 x849 -x9751 -x9115 -x8160 -x7428 x5192 x3931 -x2803 -x898 -x844 -x9752 x9116 x8162 -x6664 -x5204 -x10712 -x9132 -x6841 x6685 -x6395 x3939 -x3880 -x904 -x842 -x6842 x6681 x6394 x3943 -x3884 -x2961 -x850 -x10713 -x8156 -x6680 -x5775 x3947 x2960 -x1343 -x909 -x852 -x3946 -x2164 -x1345 x858 -x8157 -x3886 x3356 -x3063 x2968 -x2679 -x912 x854 -x9282 -x3887 x3357 -x2972 -x2683 -x910 -x866 -x9284 x7971 -x7897 -x6391 -x3352 -x3069 -x2976 x1339 -x9290 x7972 -x2975 x2913 x9286 -x7967 -x7903 -x5689 -x3636 -x3350 x2934 x2685 -x1340 -x9298 x8420 -x5690 x2930 -x2686 -x1615 -x9108 x8422 -x7965 x7908 -x5685 x3642 -x3072 -x2929 -x9110 x8428 -x5412 x8424 -x7911 -x7198 -x5683 x5413 -x4830 x3647 x8436 -x7909 x7199 x5414 -x9104 x7194 -x7049 x5430 -x3650 -x9668 -x7051 -x3648 -x384 -x9105 x7192 x7076 -x5736 x383 x7077 x5738 -x777 x530 -x9384 -x7072 -x7045 x778 x551 -x391 -x9388 x779 -x547 x395 -x10412 -x7070 -x7046 x5732 -x3381 -x2623 -x1247 -x943 x795 -x546 x399 -x10416 -x4298 -x3382 -x1246 -x945 -x398 -x9390 x7441 -x5733 x4319 -x3377 x2629 -x9391 -x5918 x4315 x10586 -x10418 -x7447 x5939 -x4413 x4314 -x3495 -x3375 -x2634 -x939 -x10419 x5935 x3496 -x8701 x5934 -x4419 x3491 -x2637 -x1243 -x940 -x10177 -x7675 -x2635 x1951 -x10671 -x10179 -x8704 -x7450 -x4424 -x3489 x2430 x1972 -x10673 -x10185 -x8173 x2431 x1968 x10181 x8172 x4427 -x3774 -x3006 -x2426 -x1967 x10193 x5120 -x4425 x3773 -x3008 -x10667 -x9541 -x8180 x5122 -x3384 -x2424 -x622 -x9545 x8184 -x6492 x5128 -x621 -x219 -x10668 x8188 x5124 x4818 -x3389 -x3002 -x221 -x8187 x5135 x4819 x226 x10051 -x9547 -x4814 -x3770 x3394 -x3003 -x617 x10052 -x9548 -x6487 x10759 -x8762 -x7713 x10760 x3748 -x2079 -x1087 -x7715 x5302 x4007 x961 -x49 -x10529 x7153 -x48 x10530 -x9822 -x7709 x7174 -x5017 -x4687 x4013 -x3745 -x959 x10531 -x9823 x7170 -x5016 -x4689 x10547 x9818 -x7710 -x7297 x7169 -x4018 -x2866 -x1869 -x7296 -x2870 -x9816 -x8239 x4683 -x4021 x1872 -x45 -x8243 x7479 x4481 -x4019 -x672 -x480 -x8800 x7480 -x5013 -x4684 -x4565 -x4502 x482 -x10319 x7481 x4498 -x3708 -x2316 -x1272 -x488 -x10525 -x10318 -x8245 x7497 -x7293 -x4772 x4571 -x4497 -x3729 -x2317 x484 -x10526 -x8246 x3725 x2318 -x496 -x10521 -x10499 x10326 -x4775 x4576 -x3724 x2334 x10498 x10330 -x10519 -x10334 -x9677 -x7784 x4579 -x10333 -x9681 -x7372 x4577 x7790 -x7404 x7373 x7374 x4341 -x10495 x7795 x7390 x4362 -x4742 -x4475 x4358 -x9845 x7798 -x4741 x4357 x10555 -x9847 -x9739 x7796 -x2807 -x2719 x10576 x9738 -x7433 -x4749 -x2721 -x2478 x10572 -x7432 -x6829 -x6709 -x4753 x2727 -x2480 x10571 -x9841 -x9746 -x8668 -x6828 x6730 -x4757 x2723 -x847 -x10717 x9750 -x8669 -x6726 -x4756 x2735 -x846 -x9842 x9754 -x8664 x6836 -x6725 -x2474 x9753 -x8161 x6840 x5191 -x3874 x9135 -x8662 -x7429 -x6844 x6682 -x5212 -x3873 -x2475 x9136 -x6843 x6684 -x5208 x3933 -x897 -x9131 -x5771 -x5207 x3934 x3881 -x899 -x843 x3935 x3885 -x2673 -x1344 x905 -x9129 -x6678 -x5774 x3951 -x3889 -x3355 -x3059 -x2672 x901 -x3888 x3354 x2962 -x913 -x853 -x9607 -x7970 -x6679 -x3065 x2963 -x2680 x874 -x9611 -x7969 x2964 -x2684 -x870 -x5688 x3070 x2980 -x2931 x2688 -x869 x9285 -x7896 -x5687 -x2933 x2687 x9306 -x7898 -x3351 x3073 x9302 -x9109 x7904 -x3635 -x3071 x9301 -x7966 x7900 -x7197 -x4826 -x3637 -x2927 x8423 x7912 -x7196 x3643 x8444 -x5684 x5433 -x4829 x3639 -x2928 x8440 -x7050 x5434 x3651 x8439 x8033 -x7075 -x5429 x9378 -x7074 -x5737 x9377 x7193 -x5427 -x548 -x10406 -x550 x385 -x10405 x9385 -x3380 x798 x386 -x9389 -x3379 -x944 x799 x387 x10413 x9393 -x7437 -x7071 -x4316 -x794 -x544 x403 -x10417 x9392 x4318 -x2622 -x10582 x10421 x7443 -x5936 -x3494 -x2624 -x792 -x545 -x10420 -x5938 -x3493 x2630 x10585 -x7448 x4312 -x3376 x2626 -x4412 -x2638 -x8700 x7451 -x5932 -x4414 -x4313 -x2429 x1969 -x10672 -x7449 x4420 x2428 x1971 -x8706 -x5933 x4416 -x3490 x10180 -x9536 x4428 -x3007 x10201 -x9535 -x1965 x10197 x8174 x10196 -x9542 -x8709 x8175 -x4817 -x2425 -x1966 -x9546 x8176 x5123 -x4816 -x3383 -x10050 x9550 x8192 x5143 -x3385 x10049 -x9549 -x5139 -x3390 x222 -x5138 -x4812 -x618 x234 -x6488 x10761 -x7714 x3749 -x9821 x7171 x5301 -x9820 x7173 -x4688 x4006 x10550 -x5299 x4008 -x960 x10551 -x8233 x4014 x10546 -x8232 x7167 x4010 -x2865 -x1868 -x4022 -x2869 -x10544 -x9817 -x8796 x8240 -x7168 -x4499 x1874 x8244 -x4501 -x10524 -x8799 x8248 -x7500 -x3726 -x10523 x8247 -x7501 x4564 -x3728 x483 -x7496 -x4771 x4566 -x4495 x2337 -x1877 x504 -x10320 x4572 x2338 x500 x10321 -x7494 -x4777 x4568 -x4496 -x3722 x2333 -x499 x10322 x4580 -x10520 x10338 -x9676 -x7400 -x3723 x2331 -x9680 -x7783 x7785 -x7403 x7393 -x4780 x4359 x7791 x7394 x4361 x7787 x7389 -x9846 x7799 x10573 x7387 -x4355 x10575 x4743 -x2479 -x8667 -x6727 x4744 -x4356 x9740 -x8666 -x6729 x4745 -x2722 -x10569 x9741 -x9631 x4761 x2743 x9742 -x9635 x6830 x2739 -x10570 x9758 -x9134 x6831 -x6723 -x5209 x2738 x9133 x6832 -x6683 -x5211 -x9707 -x9471 -x8663 x6848 -x6724 -x9475 -x3875 x5770 -x5205 -x3954 x3876 -x3955 x3877 x900 -x9130 -x5776 -x5206 -x3950 x3893 x921 -x871 x3058 -x2674 x917 -x873 -x9606 -x3948 x3060 -x2983 x2675 x916 -x9610 -x3066 x2984 -x2932 x2676 x9303 -x5779 -x5472 x3062 -x2979 x2692 -x867 x9305 -x5476 x3074 -x2977 -x868 x7899 x9299 -x8441 x7920 -x5432 x4825 -x8443 x7916 -x5431 -x3638 -x9300 -x8029 x7915 x4831 x3659 -x439 x3655 -x443 -x8437 x8032 x3654 -x549 -x8438 -x5428 -x4834 -x797 x9379 x796 -x9524 x9380 x406 -x10407 x9381 -x4317 x407 x10408 x9397 x402 x10409 -x7436 -x5937 x10581 x10425 x7817 -x7438 -x793 -x400 x7444 -x2625 x10587 -x8696 x7440 x2646 x7452 x2642 -x1970 -x8702 x2641 x4415 -x10590 x10198 -x8707 x4436 x10200 x4432 -x8710 x4431 -x9537 -x8708 x10194 x9538 x8195 -x5140 x8196 -x5142 -x10195 x8191 x231 x3386 x233 x8189 -x5136 -x4813 x3398 -x7172 x10549 x10548 -x3833 -x5300 -x1864 x4009 x4030 x2867 x1870 -x8234 -x4500 x4026 x2871 -x10545 x8795 -x8235 -x7499 -x4025 x1875 x8236 -x7498 -x3727 -x10394 x8801 x8252 -x4767 -x2873 -x2336 x1878 -x501 -x10398 -x2874 -x2335 -x1876 x503 -x9792 x4773 x4567 -x10341 -x8804 -x7495 x4778 x4588 -x497 x10342 x4584 x10337 x9678 -x7399 -x7392 -x4781 x4583 -x2332 -x498 -x9682 x7391 -x4779 -x4360 -x10335 x7405 x7786 -x9684 x7807 -x1909 x10574 -x9685 x7803 -x1913 x7802 -x7388 -x6728 -x4764 x2740 x4765 x2742 x10639 x9761 -x9630 -x4760 -x10643 x9762 -x9634 -x5210 x9757 -x9703 x6851 -x4758 x2736 x6852 x9755 x9706 -x9470 x6847 -x5766 -x3953 -x2737 -x9474 -x3952 x6845 x5772 x3896 -x918 x3897 x920 -x872 x5777 x3892 -x2982 -x2981 x9608 -x8054 x5780 -x3949 -x3890 -x2695 -x914 x9612 -x9304 x8058 -x5778 x3061 -x2696 -x5471 x3082 -x2691 -x915 x5475 x3078 -x9614 -x7917 -x4821 x3077 -x2978 -x2689 -x1624 -x9615 -x8442 x7919 -x1628 x4827 x3656 x3658 -x8028 x7913 x4832 -x438 -x442 x8034 x7914 -x4835 x3652 -x4833 -x9520 x3653 -x405 x404 x9723 -x9523 -x9400 x8037 x9727 -x9401 -x10578 x10428 x9396 -x7813 x10429 x10583 x10424 -x9394 x7816 -x2643 -x401 -x7439 -x2645 x10588 -x10422 x7460 -x8695 x7456 x10591 -x8697 x7455 x4433 -x2639 x10589 x10199 -x8703 x4435 x8699 -x2640 x8711 x8194 x4429 x8193 -x5141 x9553 -x4430 x183 x9554 x232 -x3395 -x3397 x8190 -x5137 x10762 -x3832 x2861 x4027 x2860 x4029 -x1863 -x8791 x2868 x1865 x2872 x1871 -x10754 x8797 x8255 -x4023 -x2876 x1867 x8256 -x2875 x1879 -x502 -x10393 -x9788 x8802 x8251 -x4024 -x10397 -x4766 -x10340 -x9791 -x8805 x8249 x4768 x4585 -x10339 x9672 -x8803 x4774 x4587 x9671 -x7396 x4770 x4782 -x10680 x9679 x7401 x4581 -x10684 x9683 -x10336 x9687 x7804 x7406 -x4582 -x9686 x7806 x1908 x1912 -x10380 x7800 -x4763 -x10382 -x4762 x2741 -x9760 -x7801 x9759 x10638 -x9632 -x6850 x10642 -x9636 -x6849 x9702 -x4759 -x9756 x9708 x9638 -x9472 -x7466 -x3895 -x9639 -x9476 -x7470 x5765 -x3894 -x919 x6846 x5767 -x9602 x5773 -x9711 x9601 x9478 x5769 -x2694 -x9479 x5781 -x2693 x9609 -x8053 -x3891 x3079 x9613 x8057 x3081 x9617 -x5473 -x9616 -x7918 x5477 x3075 -x2690 -x1623 -x4820 x3657 -x1627 -x8078 -x8024 -x6296 -x5479 x4822 x3076 -x8082 -x5480 x4828 -x8030 x4824 -x440 -x4836 x444 x8035 -x9519 -x9399 x8038 x446 -x9398 x8036 x447 x10427 x9722 -x9525 x10426 x9726 x7812 -x10577 -x2644 x10579 -x9528 -x9395 x7818 -x7457 x10584 x7459 -x10423 x10592 -x4434 x10625 x10763 -x7453 x10627 -x8698 x8719 -x7454 x8715 -x9552 x8714 -x4438 x179 x9551 -x4442 x182 -x3396 -x9462 x4028 -x3834 x2862 -x10750 -x8254 -x3836 x2863 -x8790 x8253 -x3837 x2864 x1866 -x10753 -x8792 x2880 x1887 x8798 x1883 -x10395 -x9787 x8794 x1882 x10399 -x8806 x4586 -x9793 -x8250 x4769 -x10401 x4790 -x10402 x9673 -x7395 x4786 -x10679 -x9796 x9674 x7397 x4785 x10683 x9675 -x7805 x7402 -x9691 x1910 x1914 x10379 -x10381 x9627 x9626 x1916 x1917 x10640 x9699 -x9633 x10644 -x9637 -x9466 x9704 x9641 -x9465 x9640 -x10646 x9709 -x9473 -x7465 -x10647 -x9477 -x7469 x9712 x9481 x9710 x9480 x5768 x5789 x9603 x5785 x5467 -x3080 x9604 -x8055 x5784 x5466 x9605 x8059 x9621 -x8311 -x5474 x5478 -x8061 -x6292 x5482 x1625 -x8062 x5481 x1629 -x434 -x8077 -x6295 x433 -x8081 -x8023 x4823 x8025 x4844 -x1631 -x441 -x8031 x4840 -x1632 x445 -x9516 x8027 x4839 x449 x8039 x448 -x9521 x9724 x9526 -x7809 x9728 -x10282 -x9529 x7814 -x9527 -x7458 x9730 x7819 x10580 x9731 x10596 x10624 x8716 x10626 x8718 x8712 -x4437 x178 x4441 x8713 x184 x7507 -x2132 -x9461 x3835 x5378 x3839 -x5379 x3838 x10749 x6109 -x2883 -x1884 -x10390 x2884 x1886 x10755 x10389 -x9784 -x2879 x8793 x10396 x9789 x8814 -x2877 -x1880 x10400 x8810 x10404 x9794 -x8809 -x4787 -x1881 x10403 -x4789 x9797 x9795 -x10681 x9694 -x4783 x2024 x10685 x9695 x7398 -x2028 -x1905 -x9690 x7410 -x4784 x1904 -x10687 -x9688 x1911 -x10688 x1915 -x10635 x10383 x1918 -x10634 x9628 x10641 -x10385 x9629 x10645 -x10386 x9698 x10649 x9700 x9645 x10648 x9705 -x9467 -x9468 x7467 x9713 x9469 -x7471 x9485 x5786 -x8049 x5788 -x8048 -x7473 -x7474 x9624 -x8307 x8056 -x5782 x9625 x8060 x5468 -x1619 -x9620 x8310 x8064 -x5783 x5469 -x1618 -x8063 x5470 -x9618 x6291 x5486 x1626 x1630 x8079 -x6297 -x4841 x1634 -x8083 x4843 x1633 x435 x436 x8026 x437 x8085 x8047 -x6300 -x4837 x453 -x9719 -x9515 x8086 x8043 -x9718 x9517 x8042 -x4838 -x9522 -x10278 x9725 x9729 x9530 x7808 x10281 x9733 x7810 x9732 x7815 x10593 x10595 -x8717 x10628 -x10764 x8596 -x175 x10630 -x4439 x180 -x10631 x4443 -x10344 x185 -x10348 x7506 -x4445 x2131 -x4446 -x8344 -x9463 x5380 -x10746 x6105 x3843 -x2882 -x2881 -x1885 x10751 x6108 x10756 -x8811 x10391 -x9783 x8813 x10392 -x9785 -x2878 x9790 -x4788 -x8807 -x10676 x9798 -x10675 x9693 -x8808 x9692 -x10682 x7407 -x5436 x2023 x10686 x7409 -x5439 -x2027 x10690 x10689 -x10377 x1906 x10376 -x9689 x1907 x10384 x10388 -x10636 x10387 x10637 -x7462 -x9644 x7461 x9701 -x9642 x9488 x7468 x9717 x9489 x7472 -x5787 x9716 x9484 x7476 -x7475 x9623 x9482 x9622 x8050 -x8306 -x8223 x8051 -x8227 x8052 x8312 x8068 x6288 -x5489 -x8074 x5490 -x1620 -x9619 -x8073 x6293 -x5485 x1621 -x4842 x1622 -x8315 x8080 x6298 -x5483 -x1638 x8084 x8088 -x8044 x6301 x4795 -x456 x8087 x8046 x6299 -x457 x452 x8040 x450 -x9720 x9518 x10277 x9721 -x8041 -x9534 x10283 x9737 -x9533 -x10594 x7811 x7823 -x10623 x10622 -x10286 x10765 x10629 x10633 x8595 x10632 -x174 x4440 -x176 x4444 x181 -x10343 x4448 -x2128 -x10347 -x4447 x7508 x2133 x8343 -x10766 -x5384 x3846 -x9464 x3847 x6104 -x3842 x10745 x10747 x6110 -x3840 x10752 -x8812 x9786 -x10677 -x7408 x10678 -x5435 x2025 -x5438 -x2029 x10694 -x2031 x1921 x10378 -x2032 x1922 -x9487 -x9486 x7463 -x9643 x7464 x9714 -x10767 x9697 x9715 -x9483 x8308 -x8222 x8071 -x5488 -x8226 x8072 -x5487 x8313 x8067 x6287 x8316 x8065 x6289 -x1641 -x8314 x8075 x6294 x1642 x8076 -x5484 x4792 -x1637 -x455 -x8045 x6302 -x454 x4794 -x1635 x451 x10279 x10284 x9736 -x9531 -x8165 -x7820 x3899 -x8169 x7822 x10287 x9734 -x9532 -x9435 x10285 x8597 -x7503 x177 x10345 -x9975 -x8600 x7502 -x4452 x193 x10349 -x9979 -x2127 x189 x7509 -x2129 x188 x2134 x8345 -x3845 -x3844 -x5383 x6106 -x5381 x6111 -x3841 x10748 -x5437 x2026 x5440 -x2030 x10693 x2034 -x1920 x2033 -x1919 x10691 -x7922 x9696 -x8070 x8069 -x8224 x8309 -x8228 -x1640 x8317 -x1639 -x8230 -x8066 -x8231 x6290 x4791 x4796 -x1636 -x10768 x10769 x10280 -x7821 -x9431 -x8164 x3898 x10288 -x8168 x9735 -x9434 x10770 x8598 -x8601 -x190 -x8599 x192 x10346 -x9974 -x4451 x10350 -x9978 x7504 x7505 -x4449 x186 -x2130 x7513 x2141 -x187 -x5382 x6107 -x10692 x7921 x8225 -x8229 x4793 -x9430 -x8166 x3900 x10292 -x8170 x10291 x9436 -x3903 -x8602 -x191 x9976 -x9980 -x4450 x2138 x2140 -x9982 x7512 -x9983 x2137 -x9429 -x9432 x8167 x3901 x8171 -x10289 x9437 x3904 x3902 -x10290 x9977 -x9981 x2139 -x9985 -x9984 x7510 x2135 -x9428 -x9427 x9433 x3905 x10771 x10772 x7511 x2136 x1 
3588.42/3596.09	c Done 6.77s

Verifier Data 

OK	9

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61846 MiB free)
  memory of node 1: 64510 MiB (62912 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437553-1722948202/watcher-4437553-1722948202 -o /tmp/evaluation-result-4437553-1722948202/solver-4437553-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722948202-337147 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437553-1722948202.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=337195, runsolver pid=337190

[startup+0.100347 s]*
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127736708/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=22416 memory=9872 CPUtime=0.06 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 1217 0 0 0 6 0 0 0 20 0 1 0 61416043 22953984 2468 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 5604 2468 1073 2753 0 2257 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 41008 KiB
Current children cumulated memory: 13676 KiB

[startup+0.216166 s]*
/proc/loadavg: 0.10 0.09 0.09 5/267 337222
/proc/meminfo: memFree=127723428/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=31400 memory=18304 CPUtime=0.16 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 4107 0 0 0 16 0 0 0 20 0 1 0 61416043 32153600 4576 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 7850 4576 1105 2753 0 4503 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 49992 KiB
Current children cumulated memory: 22108 KiB

[startup+0.305417 s]*
/proc/loadavg: 0.10 0.09 0.09 5/267 337222
/proc/meminfo: memFree=127704312/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=31400 memory=18304 CPUtime=0.25 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 4108 0 0 0 25 0 0 0 20 0 1 0 61416043 32153600 4576 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 7850 4576 1105 2753 0 4503 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 49992 KiB
Current children cumulated memory: 22108 KiB

[startup+0.700264 s]
/proc/loadavg: 0.10 0.09 0.09 5/267 337222
/proc/meminfo: memFree=127649464/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=41212 memory=27184 CPUtime=0.64 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 17930 0 0 0 63 1 0 0 20 0 1 0 61416043 42201088 6796 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 10303 6796 1153 2753 0 6956 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 59804 KiB
Current children cumulated memory: 30988 KiB

[startup+1.50029 s]
/proc/loadavg: 0.10 0.09 0.09 6/267 337222
/proc/meminfo: memFree=127642628/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=41212 memory=27184 CPUtime=1.44 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 99223 0 0 0 134 10 0 0 20 0 1 0 61416043 42201088 6796 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 10303 6796 1153 2753 0 6956 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 59804 KiB
Current children cumulated memory: 30988 KiB

[startup+3.1063 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337222
/proc/meminfo: memFree=127619060/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=39084 memory=25612 CPUtime=3.04 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 247254 0 0 0 275 29 0 0 20 0 1 0 61416043 40022016 6403 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 9771 6403 1169 2753 0 6424 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 29416 KiB

[startup+6.3003 s]
/proc/loadavg: 0.42 0.15 0.11 6/267 337224
/proc/meminfo: memFree=127619044/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=39084 memory=25612 CPUtime=6.23 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 255335 0 0 0 572 51 0 0 20 0 1 0 61416043 40022016 6403 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 9771 6403 1169 2753 0 6424 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 29416 KiB

[startup+12.7003 s]
/proc/loadavg: 0.70 0.22 0.13 6/267 337224
/proc/meminfo: memFree=127618900/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=39084 memory=25612 CPUtime=12.62 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 255841 0 0 0 1171 91 0 0 20 0 1 0 61416043 40022016 6403 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 9771 6403 1169 2753 0 6424 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 29416 KiB

[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.20 6/267 337227
/proc/meminfo: memFree=127618548/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=39084 memory=25612 CPUtime=25.39 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 255841 0 0 0 2361 178 0 0 20 0 1 0 61416043 40022016 6403 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 9771 6403 1169 2753 0 6424 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 29416 KiB

[startup+51.1063 s]
/proc/loadavg: 2.31 0.69 0.30 6/267 337230
/proc/meminfo: memFree=127615464/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 238 104 0 0 0 0 0 0 20 0 1 0 61416038 10170368 696 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 696 618 264 0 134 0
[pid=337202] ppid=337195 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/337202/stat : 337202 (timeout) S 337195 337202 337135 0 -1 4194304 104 0 1 0 0 0 0 0 20 0 1 0 61416039 8867840 255 134679101440 94746661244928 94746661279944 140728823305392 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 3 0 0 94746663377360 94746663379492 94746671353856 140728823309347 140728823309469 140728823309469 140728823316455 0
/proc/337202/statm: 2165 255 231 9 0 87 0
[pid=337219] ppid=337202 vsize=39084 memory=25612 CPUtime=50.96 cores=1,3
/proc/337219/stat : 337219 (LS-MabP) R 337202 337202 337135 0 -1 4194304 255841 0 0 0 4728 368 0 0 20 0 1 0 61416043 40022016 6403 134679101440 4194304 15467897 140723788152608 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 23740416 140723788158007 140723788158116 140723788158116 140723788165102 0
/proc/337219/statm: 9771 6403 1169 2753 0 6424 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 29416 KiB

[startup+102.3 s]
/proc/loadavg: 3.31 1.22 0.50 6/267 337238
/proc/meminfo: memFree=127610724/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2784 CPUtime=0 cores=1,3

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

/proc/338129/statm: 386804 356536 804 745 0 385869 0
Current children cumulated CPU time: 3395.26 s
Current children cumulated vsize: 1565808 KiB
Current children cumulated memory: 1429892 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.10 6/267 339059
/proc/meminfo: memFree=125845408/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1548340 memory=1432428 CPUtime=1660.15 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 159789 0 0 0 165948 67 0 0 20 0 1 0 61595844 1585500160 358107 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387085 358107 804 745 0 386150 0
Current children cumulated CPU time: 3455.1 s
Current children cumulated vsize: 1566932 KiB
Current children cumulated memory: 1436176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.10 6/267 339070
/proc/meminfo: memFree=125838624/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1550388 memory=1437428 CPUtime=1719.98 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 161686 0 0 0 171930 68 0 0 20 0 1 0 61595844 1587597312 359357 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387597 359357 804 745 0 386662 0
Current children cumulated CPU time: 3514.93 s
Current children cumulated vsize: 1568980 KiB
Current children cumulated memory: 1441176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.10 6/267 339080
/proc/meminfo: memFree=125828064/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1551032 memory=1438324 CPUtime=1779.81 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 162472 0 0 0 177913 68 0 0 20 0 1 0 61595844 1588256768 359581 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387758 359581 804 745 0 386823 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 1569624 KiB
Current children cumulated memory: 1442072 KiB

[startup+3596.09 s]
# the end of solver process 337195 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3450.29 s, system=138.234 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.11 4.15 4.10 7/268 339081
/proc/meminfo: memFree=125827808/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1551032 memory=1438324 CPUtime=1781.51 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 162474 0 0 0 178083 68 0 0 20 0 1 0 61595844 1588256768 359581 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387758 359581 804 745 0 386823 0
Current children cumulated CPU time: 3576.46 s
Current children cumulated vsize: 1569624 KiB
Current children cumulated memory: 1442072 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820696/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1551032 memory=1438324 CPUtime=1787.89 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 162481 0 0 0 178721 68 0 0 20 0 1 0 61595844 1588256768 359581 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387758 359581 804 745 0 386823 0
Current children cumulated CPU time: 3582.84 s
Current children cumulated vsize: 1569624 KiB
Current children cumulated memory: 1442072 KiB

[startup+3593.6 s]
/proc/loadavg: 4.18 4.17 4.10 6/267 339082
/proc/meminfo: memFree=125820700/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1551032 memory=1438324 CPUtime=1791.08 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 162485 0 0 0 179040 68 0 0 20 0 1 0 61595844 1588256768 359581 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387758 359581 804 745 0 386823 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 1569624 KiB
Current children cumulated memory: 1442072 KiB

[startup+3595.2 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1551032 memory=1438324 CPUtime=1792.67 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 162487 0 0 0 179199 68 0 0 20 0 1 0 61595844 1588256768 359581 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387758 359581 804 745 0 386823 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 1569624 KiB
Current children cumulated memory: 1442072 KiB

[startup+3595.6 s]
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820444/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1551032 memory=1438324 CPUtime=1793.07 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 162487 0 0 0 179239 68 0 0 20 0 1 0 61595844 1588256768 359581 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387758 359581 804 745 0 386823 0
Current children cumulated CPU time: 3588.02 s
Current children cumulated vsize: 1569624 KiB
Current children cumulated memory: 1442072 KiB

[startup+3596 s]*
/proc/loadavg: 4.17 4.16 4.10 6/267 339083
/proc/meminfo: memFree=125820420/131524600 swapFree=131071996/131071996
[pid=337195] ppid=337190 vsize=9932 memory=2832 CPUtime=1794.95 cores=1,3
/proc/337195/stat : 337195 (Hybrid-LSMabP+E) S 337190 337195 337135 0 -1 4194304 270 256827 0 1 0 0 165742 13753 20 0 1 0 61416038 10170368 708 134679101440 94074893852672 94074894931992 140728427471520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94074897030448 94074897077636 94074918170624 140728427475946 140728427476091 140728427476091 140728427483106 0
/proc/337195/statm: 2483 708 618 264 0 134 0
[pid=338128] ppid=337195 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/338128/stat : 338128 (timeout) S 337195 338128 337135 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 61595843 8867840 229 134679101440 94780442320896 94780442355912 140721096936112 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94780444453328 94780444455460 94780476051456 140721096938484 140721096938653 140721096938653 140721096945639 0
/proc/338128/statm: 2165 229 205 9 0 87 0
[pid=338129] ppid=338128 vsize=1551032 memory=1438324 CPUtime=1793.47 cores=1,3
/proc/338129/stat : 338129 (Exact) R 338128 338128 337135 0 -1 4194304 162488 0 0 0 179279 68 0 0 20 0 1 0 61595844 1588256768 359581 134679101440 4194304 7243121 140730277776800 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 19202048 140730277778448 140730277778598 140730277778598 140730277785584 0
/proc/338129/statm: 387758 359581 804 745 0 386823 0
Current children cumulated CPU time: 3588.42 s
Current children cumulated vsize: 1569624 KiB
Current children cumulated memory: 1442072 KiB

Child status: 0

Real time (s): 3596.09
CPU time (s): 3588.52
CPU user time (s): 3450.29
CPU system time (s): 138.234
CPU usage (%): 99.7895
Max. virtual memory (cumulated for all children) (KiB): 1775784
Max. memory (cumulated for all children) (KiB): 1442072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3450.29
system time used= 138.234
maximum resident set size= 1438324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422754
page faults= 2
swaps= 0
block input operations= 408
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133
involuntary context switches= 1832


# summary of solver processes directly reported to runsolver:
#   pid: 337195
#   total CPU time (s): 3588.52
#   total CPU user time (s): 3450.29
#   total CPU system time (s): 138.234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.496 second user time and 17.5092 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-08-06 14:43:23
IDJOB=4437553
IDBENCH=146657
IDSOLVER=3071
FILE ID=nodeC014/4437553-1722948202
RUNJOBID= nodeC014-1722948202-337147
SLURM_JOB_ID= 8258985
Free space on /tmp= 890084 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437553-1722948202/watcher-4437553-1722948202 -o /tmp/evaluation-result-4437553-1722948202/solver-4437553-1722948202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722948202-337147 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437553-1722948202.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=1395330820

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3812.013
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3638.001
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3605.955
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3781.853
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3851.011
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.731
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3616.595
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3909.004
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127768180 kB
MemAvailable:   129783976 kB
Buffers:          334440 kB
Cached:          2521428 kB
SwapCached:            0 kB
Active:           755564 kB
Inactive:        2469032 kB
Active(anon):       1448 kB
Inactive(anon):   405084 kB
Active(file):     754116 kB
Inactive(file):  2063948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             88584 kB
Writeback:             0 kB
AnonPages:        368732 kB
Mapped:            98716 kB
Shmem:             37720 kB
KReclaimable:      74756 kB
Slab:             167636 kB
SReclaimable:      74756 kB
SUnreclaim:        92880 kB
KernelStack:        3920 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     688984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29408 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295636 kB
DirectMap2M:    21497856 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889996 MiB
End job on nodeC014 at 2024-08-06 15:43:21