Trace number 4503865

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-NuPBODeepOptS-ExactPRnols 2025-06-02SAT2899749 2946.42 2953.42

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
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 benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
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 

2946.40/2953.40	c 12510 constraints
2946.40/2953.40	c after presolve  12512
2946.40/2953.40	o 103089263
2946.40/2953.40	o 78533409
2946.40/2953.40	o 68726255
2946.40/2953.40	o 68710713
2946.40/2953.40	o 68686329
2946.40/2953.40	o 68682159
2946.40/2953.40	o 12072997
2946.40/2953.40	o 12051043
2946.40/2953.40	o 12008673
2946.40/2953.40	o 11939121
2946.40/2953.40	o 11873391
2946.40/2953.40	o 11863255
2946.40/2953.40	o 11819351
2946.40/2953.40	o 11711441
2946.40/2953.40	o 11695017
2946.40/2953.40	o 11633527
2946.40/2953.40	o 11623391
2946.40/2953.40	o 11592279
2946.40/2953.40	o 11575855
2946.40/2953.40	o 11571007
2946.40/2953.40	o 11528447
2946.40/2953.40	o 11520953
2946.40/2953.40	o 11518393
2946.40/2953.40	o 11472279
2946.40/2953.40	o 9383121
2946.40/2953.40	o 9379757
2946.40/2953.40	o 9350819
2946.40/2953.40	o 9321789
2946.40/2953.40	o 9293137
2946.40/2953.40	o 9282513
2946.40/2953.40	o 9272459
2946.40/2953.40	o 9269799
2946.40/2953.40	o 9268271
2946.40/2953.40	o 9258233
2946.40/2953.40	o 9250295
2946.40/2953.40	o 9237001
2946.40/2953.40	o 9235897
2946.40/2953.40	o 9229819
2946.40/2953.40	o 9229161
2946.40/2953.40	o 9226161
2946.40/2953.40	o 9215543
2946.40/2953.40	o 9204041
2946.40/2953.40	o 9167337
2946.40/2953.40	o 9151173
2946.40/2953.40	o 8910077
2946.40/2953.40	o 8793149
2946.40/2953.40	o 8784151
2946.40/2953.40	o 8754077
2946.40/2953.40	o 8731659
2946.40/2953.40	o 8728537
2946.40/2953.40	o 8720599
2946.40/2953.40	o 8715243
2946.40/2953.40	o 8710593
2946.40/2953.40	o 8648723
2946.40/2953.40	o 8581913
2946.40/2953.40	o 8565369
2946.40/2953.40	o 7800653
2946.40/2953.40	o 7758299
2946.40/2953.40	o 7757957
2946.40/2953.40	o 7750623
2946.40/2953.40	o 7735223
2946.40/2953.40	o 7714453
2946.40/2953.40	o 7713321
2946.40/2953.40	o 7692893
2946.40/2953.40	o 7651117
2946.40/2953.40	o 7426099
2946.40/2953.40	o 7405699
2946.40/2953.40	o 7398029
2946.40/2953.40	o 7351661
2946.40/2953.40	o 7345211
2946.40/2953.40	o 7303725
2946.40/2953.40	o 7242773
2946.40/2953.40	o 7238499
2946.40/2953.40	o 7193723
2946.40/2953.40	o 7166333
2946.40/2953.40	o 7153109
2946.40/2953.40	o 7142471
2946.40/2953.40	o 7122191
2946.40/2953.40	o 7121893
2946.40/2953.40	o 7104563
2946.40/2953.40	o 7103617
2946.40/2953.40	o 7100931
2946.40/2953.40	o 7089587
2946.40/2953.40	o 7084653
2946.40/2953.40	o 6995639
2946.40/2953.40	o 6972991
2946.40/2953.40	o 6945639
2946.40/2953.40	o 6924389
2946.40/2953.40	o 6923917
2946.40/2953.40	o 6921431
2946.40/2953.40	o 6914765
2946.40/2953.40	o 6904373
2946.40/2953.40	o 6818581
2946.40/2953.40	o 6791229
2946.40/2953.40	o 6787029
2946.40/2953.40	o 6779157
2946.40/2953.40	o 6743877
2946.40/2953.40	o 6729575
2946.40/2953.40	o 6723637
2946.40/2953.40	o 6720095
2946.40/2953.40	o 6714605
2946.40/2953.40	o 6714367
2946.40/2953.40	o 6710063
2946.40/2953.40	o 6706493
2946.40/2953.40	o 6703643
2946.40/2953.40	o 6703013
2946.40/2953.40	o 6699071
2946.40/2953.40	o 6688711
2946.40/2953.40	o 6670113
2946.40/2953.40	o 6668583
2946.40/2953.40	o 6649767
2946.40/2953.40	o 6648447
2946.40/2953.40	o 6639631
2946.40/2953.40	o 6628069
2946.40/2953.40	o 6601737
2946.40/2953.40	o 6597381
2946.40/2953.40	o 6588129
2946.40/2953.40	o 6578575
2946.40/2953.40	o 6575403
2946.40/2953.40	o 6574601
2946.40/2953.40	o 6572529
2946.40/2953.40	o 6569369
2946.40/2953.40	o 6565019
2946.40/2953.40	o 6563355
2946.40/2953.40	o 6560481
2946.40/2953.40	o 6557321
2946.40/2953.40	o 6556127
2946.40/2953.40	o 6555935
2946.40/2953.40	o 6551593
2946.40/2953.40	o 6551141
2946.40/2953.40	o 6547813
2946.40/2953.40	o 6529531
2946.40/2953.40	o 6528819
2946.40/2953.40	o 6516767
2946.40/2953.40	o 6515103
2946.40/2953.40	o 6509165
2946.40/2953.40	o 6509011
2946.40/2953.40	o 6505851
2946.40/2953.40	o 6505805
2946.40/2953.40	o 6504811
2946.40/2953.40	o 6499661
2946.40/2953.40	o 6499615
2946.40/2953.40	o 6496823
2946.40/2953.40	o 6495151
2946.40/2953.40	o 6493921
2946.40/2953.40	o 6492913
2946.40/2953.40	o 6485485
2946.40/2953.40	o 6484739
2946.40/2953.40	o 6483981
2946.40/2953.40	o 6483063
2946.40/2953.40	o 6482181
2946.40/2953.40	o 6481989
2946.40/2953.40	o 6481943
2946.40/2953.40	o 6480795
2946.40/2953.40	o 6480699
2946.40/2953.40	o 6477677
2946.40/2953.40	o 6476013
2946.40/2953.40	o 6468815
2946.40/2953.40	o 6467495
2946.40/2953.40	o 6462655
2946.40/2953.40	o 6448791
2946.40/2953.40	o 6448599
2946.40/2953.40	o 6448553
2946.40/2953.40	o 6447559
2946.40/2953.40	o 6446415
2946.40/2953.40	o 6445095
2946.40/2953.40	o 6440255
2946.40/2953.40	o 6433919
2946.40/2953.40	o 6432599
2946.40/2953.40	o 6429839
2946.40/2953.40	o 6429577
2946.40/2953.40	o 6428831
2946.40/2953.40	o 6421927
2946.40/2953.40	o 6421881
2946.40/2953.40	o 6420887
2946.40/2953.40	o 6420733
2946.40/2953.40	o 6419815
2946.40/2953.40	o 6410695
2946.40/2953.40	o 6410591
2946.40/2953.40	o 6410063
2946.40/2953.40	o 6410017
2946.40/2953.40	o 6409083
2946.40/2953.40	o 6406271
2946.40/2953.40	o 6406117
2946.40/2953.40	o 6405445
2946.40/2953.40	o 6405399
2946.40/2953.40	o 6404405
2946.40/2953.40	o 6401883
2946.40/2953.40	o 6401837
2946.40/2953.40	o 6397455
2946.40/2953.40	o 6395185
2946.40/2953.40	o 6394037
2946.40/2953.40	o 6385757
2946.40/2953.40	o 6385077
2946.40/2953.40	o 6384703
2946.40/2953.40	o 6368191
2946.40/2953.40	o 6341199
2946.40/2953.40	o 6335039
2946.40/2953.40	o 6334045
2946.40/2953.40	o 6329519
2946.40/2953.40	o 6316647
2946.40/2953.40	o 6310655
2946.40/2953.40	o 6302801
2946.40/2953.40	o 6298721
2946.40/2953.40	o 6275585
2946.40/2953.40	o 6267257
2946.40/2953.40	o 6250097
2946.40/2953.40	o 6237761
2946.40/2953.40	o 6237155
2946.40/2953.40	o 6231149
2946.40/2953.40	o 6227229
2946.40/2953.40	o 6227179
2946.40/2953.40	o 6226507
2946.40/2953.40	o 6218361
2946.40/2953.40	o 6217257
2946.40/2953.40	o 6214513
2946.40/2953.40	o 6207683
2946.40/2953.40	o 6201147
2946.40/2953.40	o 6190787
2946.40/2953.40	o 6188557
2946.40/2953.40	o 6180357
2946.40/2953.40	o 6180133
2946.40/2953.40	o 6177661
2946.40/2953.40	o 6171605
2946.40/2953.40	o 6171215
2946.40/2953.40	o 6163991
2946.40/2953.40	o 6163655
2946.40/2953.40	o 6160869
2946.40/2953.40	o 6160229
2946.40/2953.40	o 6158237
2946.40/2953.40	o 6140133
2946.40/2953.40	o 6140085
2946.40/2953.40	o 6139941
2946.40/2953.40	o 6139605
2946.40/2953.40	o 6127499
2946.40/2953.40	o 6123611
2946.40/2953.40	o 6122467
2946.40/2953.40	o 6115075
2946.40/2953.40	o 6114739
2946.40/2953.40	o 6111301
2946.40/2953.40	o 6110069
2946.40/2953.40	o 6109531
2946.40/2953.40	o 6109269
2946.40/2953.40	o 6107605
2946.40/2953.40	o 6107451
2946.40/2953.40	o 6103299
2946.40/2953.40	o 6102963
2946.40/2953.40	o 6101731
2946.40/2953.40	o 6101261
2946.40/2953.40	o 6101103
2946.40/2953.40	o 6099285
2946.40/2953.40	o 6092427
2946.40/2953.40	o 6090859
2946.40/2953.40	o 6090389
2946.40/2953.40	o 6086497
2946.40/2953.40	o 6080771
2946.40/2953.40	o 6077635
2946.40/2953.40	o 6077165
2946.40/2953.40	o 6073557
2946.40/2953.40	o 6073221
2946.40/2953.40	o 6071525
2946.40/2953.40	o 6069861
2946.40/2953.40	o 6068475
2946.40/2953.40	o 5983395
2946.40/2953.40	o 4191265
2946.40/2953.40	o 4182417
2946.40/2953.40	o 4164799
2946.40/2953.40	o 4129383
2946.40/2953.40	o 4126823
2946.40/2953.40	o 4083943
2946.40/2953.40	o 3834845
2946.40/2953.40	o 3832405
2946.40/2953.40	o 3819629
2946.40/2953.40	o 3818021
2946.40/2953.40	o 3817821
2946.40/2953.40	o 3810509
2946.40/2953.40	o 3808549
2946.40/2953.40	o 3807813
2946.40/2953.40	o 3803709
2946.40/2953.40	o 3800893
2946.40/2953.40	o 3800781
2946.40/2953.40	o 3795605
2946.40/2953.40	o 3795415
2946.40/2953.40	o 3794791
2946.40/2953.40	o 3789087
2946.40/2953.40	o 3786047
2946.40/2953.40	o 3784175
2946.40/2953.40	o 3777919
2946.40/2953.40	o 3771283
2946.40/2953.40	o 3769283
2946.40/2953.40	o 3761077
2946.40/2953.40	o 3757307
2946.40/2953.40	o 3750781
2946.40/2953.40	o 3750779
2946.40/2953.40	o 3747527
2946.40/2953.40	o 3746045
2946.40/2953.40	o 3743903
2946.40/2953.40	o 3741047
2946.40/2953.40	o 3737841
2946.40/2953.40	o 3727863
2946.40/2953.40	o 3725943
2946.40/2953.40	o 3724501
2946.40/2953.40	o 3723909
2946.40/2953.40	o 3722453
2946.40/2953.40	o 3720645
2946.40/2953.40	o 3562885
2946.40/2953.40	o 3562445
2946.40/2953.40	o 3558181
2946.40/2953.40	o 3553811
2946.40/2953.40	o 3550515
2946.40/2953.40	o 3546653
2946.40/2953.40	o 3542671
2946.40/2953.40	o 3539441
2946.40/2953.40	o 3518441
2946.40/2953.40	o 3514305
2946.40/2953.40	o 3511553
2946.40/2953.40	o 3510595
2946.40/2953.40	o 3506535
2946.40/2953.40	o 3502991
2946.40/2953.40	o 3502271
2946.40/2953.40	o 3491007
2946.40/2953.40	o 3488439
2946.40/2953.40	o 3488109
2946.40/2953.40	o 3479967
2946.40/2953.40	o 3478815
2946.40/2953.40	o 3477527
2946.40/2953.40	o 3470711
2946.40/2953.40	o 3466263
2946.40/2953.40	o 3465933
2946.40/2953.40	o 3441283
2946.40/2953.40	o 3441133
2946.40/2953.40	o 3440803
2946.40/2953.40	o 3436685
2946.40/2953.40	o 3436355
2946.40/2953.40	o 3407585
2946.40/2953.40	o 3401715
2946.40/2953.40	o 3397323
2946.40/2953.40	o 3396741
2946.40/2953.40	o 3396411
2946.40/2953.40	o 3395825
2946.40/2953.40	o 3394543
2946.40/2953.40	o 3390515
2946.40/2953.40	o 3389565
2946.40/2953.40	o 3389509
2946.40/2953.40	o 3382741
2946.40/2953.40	o 3382155
2946.40/2953.40	o 3376789
2946.40/2953.40	o 3376039
2946.40/2953.40	o 3375509
2946.40/2953.40	o 3374871
2946.40/2953.40	o 3374541
2946.40/2953.40	o 3374485
2946.40/2953.40	o 3371897
2946.40/2953.40	o 3371567
2946.40/2953.40	o 3363525
2946.40/2953.40	o 3359133
2946.40/2953.40	o 3359077
2946.40/2953.40	o 3358109
2946.40/2953.40	o 3327189
2946.40/2953.40	o 3327133
2946.40/2953.40	o 3326165
2946.40/2953.40	o 3323541
2946.40/2953.40	o 3320117
2946.40/2953.40	o 3318919
2946.40/2953.40	o 3318389
2946.40/2953.40	o 3304045
2946.40/2953.40	o 3302893
2946.40/2953.40	o 3298445
2946.40/2953.40	o 3295853
2946.40/2953.40	o 3294385
2946.40/2953.40	o 3281673
2946.40/2953.40	o 3268817
2946.40/2953.40	o 3257147
2946.40/2953.40	o 3245185
2946.40/2953.40	o 3237023
2946.40/2953.40	o 3232991
2946.40/2953.40	o 3227405
2946.40/2953.40	o 3224477
2946.40/2953.40	o 3223987
2946.40/2953.40	o 3219899
2946.40/2953.40	o 3218453
2946.40/2953.40	o 3216219
2946.40/2953.40	o 3215523
2946.40/2953.40	o 3214077
2946.40/2953.40	o 3213045
2946.40/2953.40	o 3211349
2946.40/2953.40	o 3208763
2946.40/2953.40	o 3205083
2946.40/2953.40	o 3203355
2946.40/2953.40	o 3201909
2946.40/2953.40	o 3197265
2946.40/2953.40	o 3194681
2946.40/2953.40	o 3192203
2946.40/2953.40	o 3184685
2946.40/2953.40	o 3181139
2946.40/2953.40	o 3177891
2946.40/2953.40	o 3177609
2946.40/2953.40	o 3176699
2946.40/2953.40	o 3176417
2946.40/2953.40	o 3167003
2946.40/2953.40	o 3163245
2946.40/2953.40	o 3160717
2946.40/2953.40	o 3154157
2946.40/2953.40	o 3153029
2946.40/2953.40	o 3152957
2946.40/2953.40	o 3150701
2946.40/2953.40	o 3147971
2946.40/2953.40	o 3146779
2946.40/2953.40	o 3140285
2946.40/2953.40	o 3139591
2946.40/2953.40	o 3137335
2946.40/2953.40	o 3128111
2946.40/2953.40	o 3128067
2946.40/2953.40	o 3118843
2946.40/2953.40	o 3111675
2946.40/2953.40	o 3106267
2946.40/2953.40	o 3097005
2946.40/2953.40	o 3086589
2946.40/2953.40	o 3084859
2946.40/2953.40	o 3082337
2946.40/2953.40	o 3079451
2946.40/2953.40	o 3061797
2946.40/2953.40	o 3055861
2946.40/2953.40	o 3054733
2946.40/2953.40	o 3053541
2946.40/2953.40	o 3053191
2946.40/2953.40	o 3053093
2946.40/2953.40	o 3050773
2946.40/2953.40	o 3049237
2946.40/2953.40	o 3044837
2946.40/2953.40	o 3043511
2946.40/2953.40	o 3043229
2946.40/2953.40	o 3034943
2946.40/2953.40	o 3033815
2946.40/2953.40	o 3031535
2946.40/2953.40	o 3030407
2946.40/2953.40	o 3026589
2946.40/2953.40	o 3025461
2946.40/2953.40	o 3021549
2946.40/2953.40	o 3020323
2946.40/2953.40	o 3019131
2946.40/2953.40	o 3018781
2946.40/2953.40	o 3016701
2946.40/2953.40	o 3015573
2946.40/2953.40	o 3013201
2946.40/2953.40	o 3012049
2946.40/2953.40	o 3007601
2946.40/2953.40	o 3007071
2946.40/2953.40	o 2995807
2946.40/2953.40	o 2993341
2946.40/2953.40	o 2991359
2946.40/2953.40	o 2988265
2946.40/2953.40	o 2985799
2946.40/2953.40	o 2964407
2946.40/2953.40	o 2940327
2946.40/2953.40	o 2934519
2946.40/2953.40	o 2922087
2946.40/2953.40	o 2913207
2946.40/2953.40	o 2909943
2946.40/2953.40	o 2905887
2946.40/2953.40	o 2905689
2946.40/2953.40	o 2900901
2946.40/2953.40	o 2899749
2946.40/2953.40	s SATISFIABLE
2946.40/2953.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 x857 -x858 x859 x860 -x861 -x862 -x863 x864 x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 x1635 -x1636 -x1637 x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 x2262 x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 x2295 x2296 x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

Verifier Data 

OK	2899749

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: 63665 MiB (62523 MiB free)
  memory of node 1: 64507 MiB (61667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503865-1751449939/watcher-4503865-1751449939 -o /tmp/evaluation-result-4503865-1751449939/solver-4503865-1751449939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751442705-64448 --watchdog 3760 ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4503865-1751449939.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=65424, runsolver pid=65421

[startup+0.100063 s]*
/proc/loadavg: 4.00 4.07 4.08 5/272 65428
/proc/meminfo: memFree=127170664/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23680 CPUtime=0.07 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4929 0 0 0 7 0 0 0 20 0 1 0 60671690 39981056 5920 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27776 KiB

[startup+0.20582 s]*
/proc/loadavg: 4.00 4.07 4.08 5/272 65428
/proc/meminfo: memFree=127170664/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23680 CPUtime=0.17 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4933 0 0 0 17 0 0 0 20 0 1 0 60671690 39981056 5920 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27776 KiB

[startup+0.305617 s]*
/proc/loadavg: 4.00 4.07 4.08 5/272 65428
/proc/meminfo: memFree=127170664/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23680 CPUtime=0.27 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4933 0 0 0 27 0 0 0 20 0 1 0 60671690 39981056 5920 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27776 KiB

[startup+0.70019 s]
/proc/loadavg: 4.00 4.07 4.08 5/272 65428
/proc/meminfo: memFree=127170664/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23680 CPUtime=0.66 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4938 0 0 0 66 0 0 0 20 0 1 0 60671690 39981056 5920 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27776 KiB

[startup+1.5002 s]
/proc/loadavg: 4.00 4.07 4.08 5/272 65428
/proc/meminfo: memFree=127170664/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23680 CPUtime=1.46 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4938 0 0 0 146 0 0 0 20 0 1 0 60671690 39981056 5920 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27776 KiB

[startup+3.1055 s]
/proc/loadavg: 4.00 4.07 4.08 5/272 65428
/proc/meminfo: memFree=127170672/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23680 CPUtime=3.06 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4938 0 0 0 306 0 0 0 20 0 1 0 60671690 39981056 5920 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27776 KiB

[startup+6.30018 s]
/proc/loadavg: 4.00 4.06 4.08 5/272 65428
/proc/meminfo: memFree=127170672/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23680 CPUtime=6.25 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4938 0 0 0 625 0 0 0 20 0 1 0 60671690 39981056 5920 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5920 1088 2752 0 6414 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27776 KiB

[startup+12.7002 s]
/proc/loadavg: 4.00 4.06 4.08 5/272 65428
/proc/meminfo: memFree=127154288/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23808 CPUtime=12.63 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4978 0 0 0 1263 0 0 0 20 0 1 0 60671690 39981056 5952 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5952 1088 2752 0 6414 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27904 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 65429
/proc/meminfo: memFree=127151960/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23808 CPUtime=25.4 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4978 0 0 0 2540 0 0 0 20 0 1 0 60671690 39981056 5952 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5952 1088 2752 0 6414 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27904 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.08 4.09 5/272 65429
/proc/meminfo: memFree=127152616/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0
[pid=65427] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65427/stat : 65427 (timeout) S 65424 65427 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60671689 2723840 320 18446744073709551615 94885093199872 94885093216385 140734317219680 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94885093231152 94885093233240 94885109579776 140734317226416 140734317226530 140734317226530 140734317232103 0
/proc/65427/statm: 665 320 320 5 0 90 0
[pid=65428] ppid=65427 vsize=39044 memory=23808 CPUtime=50.95 cores=4,6
/proc/65428/stat : 65428 (NuPBO-DeepOptS+) R 65427 65427 64437 0 -1 4194304 4978 0 0 0 5095 0 0 0 20 0 1 0 60671690 39981056 5952 18446744073709551615 4198400 15468185 140723250791792 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 52178944 140723250796988 140723250797089 140723250797089 140723250802662 0
/proc/65428/statm: 9761 5952 1088 2752 0 6414 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 46028 KiB
Current children cumulated memory: 27904 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 65431
/proc/meminfo: memFree=127153900/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 244 103 0 0 0 0 0 0 20 0 1 0 60671688 4427776 704 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 704 672 219 0 143 0

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

/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=404816 memory=336720 CPUtime=403.07 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 49795 0 0 0 40238 69 0 0 20 0 1 0 60911491 414531584 84180 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 101204 84180 1888 2271 0 95842 0
Current children cumulated CPU time: 2795.76 s
Current children cumulated vsize: 411800 KiB
Current children cumulated memory: 340944 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/271 65684
/proc/meminfo: memFree=128105376/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=406316 memory=338256 CPUtime=462.89 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 50179 0 0 0 46211 78 0 0 20 0 1 0 60911491 416067584 84564 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 101579 84564 1888 2271 0 96217 0
Current children cumulated CPU time: 2855.58 s
Current children cumulated vsize: 413300 KiB
Current children cumulated memory: 342480 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/271 65686
/proc/meminfo: memFree=128062332/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=407832 memory=339664 CPUtime=522.71 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 50523 0 0 0 52186 85 0 0 20 0 1 0 60911491 417619968 84916 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 101958 84916 1888 2271 0 96596 0
Current children cumulated CPU time: 2915.4 s
Current children cumulated vsize: 414816 KiB
Current children cumulated memory: 343888 KiB

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

# cumulated CPU time of all completed processes:  user=2945.47 s, system=0.949403 s

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

[startup+2931.2 s]
/proc/loadavg: 4.10 4.16 4.13 5/271 65689
/proc/meminfo: memFree=128054632/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=407832 memory=339664 CPUtime=531.58 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 50545 0 0 0 53072 86 0 0 20 0 1 0 60911491 417619968 84916 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 101958 84916 1888 2271 0 96596 0
Current children cumulated CPU time: 2924.27 s
Current children cumulated vsize: 414816 KiB
Current children cumulated memory: 343888 KiB

[startup+2944 s]*
/proc/loadavg: 4.08 4.15 4.13 5/271 65689
/proc/meminfo: memFree=128038500/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=411272 memory=343120 CPUtime=544.35 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 51395 0 0 0 54346 89 0 0 20 0 1 0 60911491 421142528 85780 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 102818 85780 1888 2271 0 97456 0
Current children cumulated CPU time: 2937.04 s
Current children cumulated vsize: 418256 KiB
Current children cumulated memory: 347344 KiB

[startup+2950.4 s]
/proc/loadavg: 4.07 4.15 4.13 5/271 65689
/proc/meminfo: memFree=128037448/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=411272 memory=343120 CPUtime=550.72 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 51395 0 0 0 54983 89 0 0 20 0 1 0 60911491 421142528 85780 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 102818 85780 1888 2271 0 97456 0
Current children cumulated CPU time: 2943.41 s
Current children cumulated vsize: 418256 KiB
Current children cumulated memory: 347344 KiB

[startup+2952 s]*
/proc/loadavg: 4.07 4.15 4.12 5/271 65689
/proc/meminfo: memFree=128037448/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=411272 memory=343120 CPUtime=552.32 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 51395 0 0 0 55143 89 0 0 20 0 1 0 60911491 421142528 85780 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 102818 85780 1888 2271 0 97456 0
Current children cumulated CPU time: 2945.01 s
Current children cumulated vsize: 418256 KiB
Current children cumulated memory: 347344 KiB

[startup+2952.8 s]
/proc/loadavg: 4.07 4.15 4.12 5/271 65689
/proc/meminfo: memFree=128037448/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=411272 memory=343120 CPUtime=553.12 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 51395 0 0 0 55223 89 0 0 20 0 1 0 60911491 421142528 85780 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 102818 85780 1888 2271 0 97456 0
Current children cumulated CPU time: 2945.81 s
Current children cumulated vsize: 418256 KiB
Current children cumulated memory: 347344 KiB

[startup+2953.2 s]
/proc/loadavg: 4.07 4.15 4.12 5/271 65689
/proc/meminfo: memFree=128037700/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2392.69 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 280 5327 0 0 0 0 239267 2 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
[pid=65663] ppid=65424 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/65663/stat : 65663 (timeout) S 65424 65663 64437 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 60911490 2723840 320 18446744073709551615 94232015384576 94232015401089 140736678496464 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94232015415856 94232015417944 94232047513600 140736678500739 140736678500898 140736678500898 140736678506471 0
/proc/65663/statm: 665 320 320 5 0 90 0
[pid=65664] ppid=65663 vsize=411272 memory=343120 CPUtime=553.51 cores=4,6
/proc/65664/stat : 65664 (ExactPR-nols) R 65663 65663 64437 0 -1 4194304 51395 0 0 0 55262 89 0 0 20 0 1 0 60911491 421142528 85780 18446744073709551615 94553685217280 94553694516933 140728114910160 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94553696303424 94553696342504 94553708367872 140728114915736 140728114915876 140728114915876 140728114921449 0
/proc/65664/statm: 102818 85780 1888 2271 0 97456 0
Current children cumulated CPU time: 2946.2 s
Current children cumulated vsize: 418256 KiB
Current children cumulated memory: 347344 KiB

[startup+2953.4 s]
/proc/loadavg: 4.07 4.15 4.12 5/271 65689
/proc/meminfo: memFree=128037700/131249996 swapFree=33010416/33010684
[pid=65424] ppid=65421 vsize=4324 memory=2944 CPUtime=2946.4 cores=4,6
/proc/65424/stat : 65424 (Hybrid-NuPBODee) S 65421 65424 64437 0 -1 4194304 369 57466 0 0 0 0 294546 94 20 0 1 0 60671688 4427776 736 18446744073709551615 94819415449600 94819416344133 140723883064368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94819416583184 94819416630928 94819432943616 140723883067739 140723883067891 140723883067891 140723883073493 0
/proc/65424/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 2946.4 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 2953.42
CPU time (s): 2946.42
CPU user time (s): 2945.47
CPU system time (s): 0.949403
CPU usage (%): 99.7628
Max. virtual memory (cumulated for all children) (KiB): 418256
Max. memory (cumulated for all children) (KiB): 347344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2945.47
system time used= 0.949403
maximum resident set size= 343632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 910
involuntary context switches= 1335


# summary of solver processes directly reported to runsolver:
#   pid: 65424
#   total CPU time (s): 2946.42
#   total CPU user time (s): 2945.47
#   total CPU system time (s): 0.949403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11967 second user time and 12.9963 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-02 11:52:19
IDJOB=4503865
IDBENCH=155610
IDSOLVER=3332
FILE ID=nodeC022/4503865-1751449939
RUNJOBID= nodeC022-1751442705-64448
SLURM_JOB_ID= 9598414
Free space on /tmp= 432260 MiB

SOLVER NAME= Hybrid-NuPBODeepOptS-ExactPRnols 2025-06-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= ./Hybrid-NuPBODeepOptS-ExactPRnols BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503865-1751449939/watcher-4503865-1751449939 -o /tmp/evaluation-result-4503865-1751449939/solver-4503865-1751449939 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751442705-64448 --watchdog 3760  ./Hybrid-NuPBODeepOptS-ExactPRnols HOME/instance-4503865-1751449939.opb 3600 HOME

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=292663524

nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.676
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.716
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3598.143
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.918
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.717
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3599.706
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127170640 kB
MemAvailable:   127478844 kB
Buffers:            2128 kB
Cached:          1092936 kB
SwapCached:           32 kB
Active:          2851696 kB
Inactive:         550608 kB
Active(anon):    2321092 kB
Inactive(anon):     4176 kB
Active(file):     530604 kB
Inactive(file):   546432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28528 kB
Writeback:             0 kB
AnonPages:       2310124 kB
Mapped:           123888 kB
Shmem:             18028 kB
KReclaimable:     140416 kB
Slab:             230620 kB
SReclaimable:     140416 kB
SUnreclaim:        90204 kB
KernelStack:        4364 kB
PageTables:         7964 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2769752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    452608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432276 MiB
End job on nodeC022 at 2025-07-02 12:41:33