Trace number 4437413

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-LSMabP+Exact 2024-07-11SAT33253111 3585.75 3596.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUM542a59a1a1b8906e0495f473b09f11e4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30102502
Best CPU time to get the best result obtained on this benchmark71252.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
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 

3585.71/3596.01	o 83155259
3585.71/3596.01	o 63029999
3585.71/3596.01	o 53255759
3585.71/3596.01	o 52767047
3585.71/3596.01	o 52685595
3585.71/3596.01	o 52673351
3585.71/3596.01	o 52672271
3585.71/3596.01	o 52669887
3585.71/3596.01	o 52669387
3585.71/3596.01	o 52644232
3585.71/3596.01	o 52643666
3585.71/3596.01	o 52640086
3585.71/3596.01	o 52636405
3585.71/3596.01	o 52635082
3585.71/3596.01	o 52633496
3585.71/3596.01	o 52632436
3585.71/3596.01	o 52631127
3585.71/3596.01	o 52631062
3585.71/3596.01	o 52628268
3585.71/3596.01	o 52605036
3585.71/3596.01	o 52127352
3585.71/3596.01	o 52120848
3585.71/3596.01	o 52115040
3585.71/3596.01	o 52113639
3585.71/3596.01	o 52113446
3585.71/3596.01	o 52113223
3585.71/3596.01	o 52113169
3585.71/3596.01	o 52112912
3585.71/3596.01	o 52112133
3585.71/3596.01	o 52111991
3585.71/3596.01	o 52109700
3585.71/3596.01	o 52102068
3585.71/3596.01	o 52097240
3585.71/3596.01	o 52097033
3585.71/3596.01	o 52096721
3585.71/3596.01	o 52096288
3585.71/3596.01	o 52096239
3585.71/3596.01	o 52095934
3585.71/3596.01	o 52095727
3585.71/3596.01	o 52095415
3585.71/3596.01	o 52094982
3585.71/3596.01	o 52094599
3585.71/3596.01	o 52092785
3585.71/3596.01	o 52092367
3585.71/3596.01	o 52088763
3585.71/3596.01	o 52088052
3585.71/3596.01	o 52087499
3585.71/3596.01	o 52086917
3585.71/3596.01	o 52086692
3585.71/3596.01	o 52086632
3585.71/3596.01	o 52086486
3585.71/3596.01	o 52086344
3585.71/3596.01	o 52086089
3585.71/3596.01	o 52085433
3585.71/3596.01	o 52082812
3585.71/3596.01	o 52077951
3585.71/3596.01	o 52077482
3585.71/3596.01	o 52077269
3585.71/3596.01	o 52076636
3585.71/3596.01	o 52076444
3585.71/3596.01	o 52075351
3585.71/3596.01	o 52075227
3585.71/3596.01	o 52073155
3585.71/3596.01	o 52072751
3585.71/3596.01	o 52072583
3585.71/3596.01	o 52072079
3585.71/3596.01	o 52071790
3585.71/3596.01	o 52043401
3585.71/3596.01	o 52035313
3585.71/3596.01	o 52030957
3585.71/3596.01	o 52030904
3585.71/3596.01	o 52030762
3585.71/3596.01	o 52030567
3585.71/3596.01	o 52030496
3585.71/3596.01	o 52029601
3585.71/3596.01	o 52029541
3585.71/3596.01	o 52028944
3585.71/3596.01	o 52027543
3585.71/3596.01	o 52027397
3585.71/3596.01	o 52027181
3585.71/3596.01	o 52026892
3585.71/3596.01	o 52025573
3585.71/3596.01	o 52025549
3585.71/3596.01	o 52025333
3585.71/3596.01	o 52025279
3585.71/3596.01	o 52020923
3585.71/3596.01	o 52017647
3585.71/3596.01	o 52017358
3585.71/3596.01	o 52017234
3585.71/3596.01	o 52016287
3585.71/3596.01	o 52013588
3585.71/3596.01	o 52013431
3585.71/3596.01	o 52009377
3585.71/3596.01	o 52009034
3585.71/3596.01	o 52008476
3585.71/3596.01	o 52008044
3585.71/3596.01	o 52006655
3585.71/3596.01	o 52006498
3585.71/3596.01	o 52006303
3585.71/3596.01	o 52005812
3585.71/3596.01	o 52004857
3585.71/3596.01	o 52002942
3585.71/3596.01	o 52002611
3585.71/3596.01	o 52002464
3585.71/3596.01	o 52002104
3585.71/3596.01	o 52001891
3585.71/3596.01	o 52001260
3585.71/3596.01	o 52000982
3585.71/3596.01	o 51998826
3585.71/3596.01	o 51997818
3585.71/3596.01	o 51997456
3585.71/3596.01	o 51997268
3585.71/3596.01	o 51997206
3585.71/3596.01	o 51997095
3585.71/3596.01	o 51996882
3585.71/3596.01	o 51996828
3585.71/3596.01	o 51996737
3585.71/3596.01	o 51996626
3585.71/3596.01	o 51996413
3585.71/3596.01	o 51996359
3585.71/3596.01	o 51996235
3585.71/3596.01	o 51996089
3585.71/3596.01	o 51570613
3585.71/3596.01	o 51244093
3585.71/3596.01	o 51203278
3585.71/3596.01	o 51202039
3585.71/3596.01	o 51201844
3585.71/3596.01	o 51201815
3585.71/3596.01	o 51201790
3585.71/3596.01	o 51201521
3585.71/3596.01	o 51201438
3585.71/3596.01	o 51201314
3585.71/3596.01	o 51200811
3585.71/3596.01	o 51200729
3585.71/3596.01	o 51200578
3585.71/3596.01	o 51200076
3585.71/3596.01	o 51199948
3585.71/3596.01	o 51199898
3585.71/3596.01	o 51199085
3585.71/3596.01	o 51198235
3585.71/3596.01	o 51197903
3585.71/3596.01	o 51196645
3585.71/3596.01	o 51195831
3585.71/3596.01	o 51035783
3585.71/3596.01	o 50955759
3585.71/3596.01	o 50953765
3585.71/3596.01	o 50454301
3585.71/3596.01	o 50448841
3585.71/3596.01	o 50445289
3585.71/3596.01	o 50442905
3585.71/3596.01	o 50440875
3585.71/3596.01	o 44729259
3585.71/3596.01	o 42068523
3585.71/3596.01	o 41872811
3585.71/3596.01	o 39959179
3585.71/3596.01	o 39618459
3585.71/3596.01	o 39617756
3585.71/3596.01	o 39616214
3585.71/3596.01	o 39614026
3585.71/3596.01	o 39614018
3585.71/3596.01	o 39613365
3585.71/3596.01	o 39613152
3585.71/3596.01	o 39611991
3585.71/3596.01	o 39611946
3585.71/3596.01	o 39611733
3585.71/3596.01	o 39611124
3585.71/3596.01	o 39594788
3585.71/3596.01	o 39434876
3585.71/3596.01	o 39394898
3585.71/3596.01	o 39392255
3585.71/3596.01	o 39389348
3585.71/3596.01	o 39388538
3585.71/3596.01	o 39387163
3585.71/3596.01	o 39387105
3585.71/3596.01	o 39386743
3585.71/3596.01	o 39386740
3585.71/3596.01	o 39386012
3585.71/3596.01	o 39385947
3585.71/3596.01	o 39385946
3585.71/3596.01	o 39385710
3585.71/3596.01	o 39044134
3585.71/3596.01	o 39004719
3585.71/3596.01	o 38999634
3585.71/3596.01	o 38999556
3585.71/3596.01	o 38998712
3585.71/3596.01	o 38998526
3585.71/3596.01	o 38998518
3585.71/3596.01	o 38982166
3585.71/3596.01	o 38979972
3585.71/3596.01	o 38979906
3585.71/3596.01	o 38979869
3585.71/3596.01	o 38979850
3585.71/3596.01	o 38979763
3585.71/3596.01	o 38978726
3585.71/3596.01	o 38978217
3585.71/3596.01	o 38977874
3585.71/3596.01	o 38977808
3585.71/3596.01	o 38976361
3585.71/3596.01	o 38976164
3585.71/3596.01	o 38974023
3585.71/3596.01	o 38973400
3585.71/3596.01	o 38973037
3585.71/3596.01	o 38972628
3585.71/3596.01	o 38971190
3585.71/3596.01	o 38971179
3585.71/3596.01	o 38970556
3585.71/3596.01	o 38970490
3585.71/3596.01	o 38970388
3585.71/3596.01	o 38970382
3585.71/3596.01	o 38970220
3585.71/3596.01	o 38969877
3585.71/3596.01	o 38969811
3585.71/3596.01	o 38968530
3585.71/3596.01	o 38968175
3585.71/3596.01	o 38967670
3585.71/3596.01	o 38967530
3585.71/3596.01	o 38967352
3585.71/3596.01	o 38967047
3585.71/3596.01	o 38966729
3585.71/3596.01	o 38966424
3585.71/3596.01	o 38966330
3585.71/3596.01	o 38966152
3585.71/3596.01	o 38965847
3585.71/3596.01	o 38965631
3585.71/3596.01	o 38965321
3585.71/3596.01	o 38965096
3585.71/3596.01	o 38962866
3585.71/3596.01	o 38959774
3585.71/3596.01	o 38957943
3585.71/3596.01	o 38906946
3585.71/3596.01	o 38906751
3585.71/3596.01	o 38905703
3585.71/3596.01	o 38905590
3585.71/3596.01	o 38905541
3585.71/3596.01	o 38904808
3585.71/3596.01	o 38904790
3585.71/3596.01	o 38904733
3585.71/3596.01	o 38904576
3585.71/3596.01	o 38904570
3585.71/3596.01	o 38904437
3585.71/3596.01	o 38903970
3585.71/3596.01	o 38903957
3585.71/3596.01	o 38901915
3585.71/3596.01	o 37791132
3585.71/3596.01	o 37664277
3585.71/3596.01	o 37657017
3585.71/3596.01	o 37656981
3585.71/3596.01	o 37656528
3585.71/3596.01	o 37656430
3585.71/3596.01	o 37656217
3585.71/3596.01	o 37656015
3585.71/3596.01	o 37655766
3585.71/3596.01	o 37655670
3585.71/3596.01	o 37650798
3585.71/3596.01	o 37650307
3585.71/3596.01	o 37642584
3585.71/3596.01	o 37642535
3585.71/3596.01	o 37642338
3585.71/3596.01	o 37642033
3585.71/3596.01	o 37641887
3585.71/3596.01	o 37641582
3585.71/3596.01	o 37640917
3585.71/3596.01	o 37640612
3585.71/3596.01	o 37639962
3585.71/3596.01	o 37639657
3585.71/3596.01	o 37639323
3585.71/3596.01	o 37639018
3585.71/3596.01	o 37638854
3585.71/3596.01	o 37638549
3585.71/3596.01	o 37637092
3585.71/3596.01	o 37636787
3585.71/3596.01	o 37636134
3585.71/3596.01	o 37636120
3585.71/3596.01	o 37635883
3585.71/3596.01	o 37634135
3585.71/3596.01	o 37632898
3585.71/3596.01	o 37632245
3585.71/3596.01	o 37631940
3585.71/3596.01	o 37631860
3585.71/3596.01	o 37627329
3585.71/3596.01	o 37626925
3585.71/3596.01	o 37626757
3585.71/3596.01	o 37621933
3585.71/3596.01	o 37613573
3585.71/3596.01	o 37571168
3585.71/3596.01	o 37570805
3585.71/3596.01	o 37570075
3585.71/3596.01	o 37568534
3585.71/3596.01	o 37568462
3585.71/3596.01	o 37567148
3585.71/3596.01	o 37562187
3585.71/3596.01	o 37561553
3585.71/3596.01	o 37561467
3585.71/3596.01	o 37559863
3585.71/3596.01	o 37559358
3585.71/3596.01	o 37558432
3585.71/3596.01	o 37557537
3585.71/3596.01	o 37556940
3585.71/3596.01	o 37556724
3585.71/3596.01	o 37556133
3585.71/3596.01	o 37555354
3585.71/3596.01	o 37554811
3585.71/3596.01	o 37554615
3585.71/3596.01	o 37552517
3585.71/3596.01	o 37551167
3585.71/3596.01	o 37550946
3585.71/3596.01	o 37548805
3585.71/3596.01	o 37548446
3585.71/3596.01	o 37547888
3585.71/3596.01	o 37547333
3585.71/3596.01	o 37544691
3585.71/3596.01	o 37544057
3585.71/3596.01	o 37543727
3585.71/3596.01	o 37543620
3585.71/3596.01	o 37543611
3585.71/3596.01	o 37541707
3585.71/3596.01	o 37541130
3585.71/3596.01	o 37540993
3585.71/3596.01	o 37540014
3585.71/3596.01	o 37539381
3585.71/3596.01	o 37539165
3585.71/3596.01	o 37539030
3585.71/3596.01	o 37537481
3585.71/3596.01	o 37536836
3585.71/3596.01	o 37534912
3585.71/3596.01	o 37533721
3585.71/3596.01	o 37533121
3585.71/3596.01	o 37528235
3585.71/3596.01	o 37527707
3585.71/3596.01	o 37507755
3585.71/3596.01	o 37507534
3585.71/3596.01	o 37505393
3585.71/3596.01	o 37505034
3585.71/3596.01	o 37504476
3585.71/3596.01	o 37504052
3585.71/3596.01	o 37503157
3585.71/3596.01	o 37503083
3585.71/3596.01	o 37499831
3585.71/3596.01	o 37498875
3585.71/3596.01	o 37496524
3585.71/3596.01	o 37496019
3585.71/3596.01	o 37495981
3585.71/3596.01	o 37495843
3585.71/3596.01	o 37495753
3585.71/3596.01	o 37495596
3585.71/3596.01	o 37495120
3585.71/3596.01	o 37494957
3585.71/3596.01	o 37493344
3585.71/3596.01	o 37492748
3585.71/3596.01	o 37492229
3585.71/3596.01	o 37492045
3585.71/3596.01	o 37491364
3585.71/3596.01	o 37489277
3585.71/3596.01	o 37489101
3585.71/3596.01	o 37487859
3585.71/3596.01	o 37487790
3585.71/3596.01	o 37487614
3585.71/3596.01	o 37485354
3585.71/3596.01	o 37485164
3585.71/3596.01	o 37484805
3585.71/3596.01	o 37484793
3585.71/3596.01	o 37484766
3585.71/3596.01	o 37484744
3585.71/3596.01	o 37479496
3585.71/3596.01	o 37479423
3585.71/3596.01	o 37479350
3585.71/3596.01	o 37479145
3585.71/3596.01	o 37478742
3585.71/3596.01	o 37477910
3585.71/3596.01	o 37477710
3585.71/3596.01	o 37476682
3585.71/3596.01	o 37475635
3585.71/3596.01	o 37475613
3585.71/3596.01	o 37475445
3585.71/3596.01	o 37474928
3585.71/3596.01	o 37474648
3585.71/3596.01	o 37474220
3585.71/3596.01	o 36764092
3585.71/3596.01	o 36425812
3585.71/3596.01	o 36414196
3585.71/3596.01	o 36250864
3585.71/3596.01	o 35655940
3585.71/3596.01	o 35317420
3585.71/3596.01	o 35148160
3585.71/3596.01	o 35148022
3585.71/3596.01	o 35147767
3585.71/3596.01	o 35147679
3585.71/3596.01	o 35147659
3585.71/3596.01	o 35147513
3585.71/3596.01	o 35147033
3585.71/3596.01	o 35143552
3585.71/3596.01	o 35143479
3585.71/3596.01	o 35143350
3585.71/3596.01	o 35142991
3585.71/3596.01	o 35141963
3585.71/3596.01	o 35059345
3585.71/3596.01	o 35054085
3585.71/3596.01	o 35028933
3585.71/3596.01	o 35028564
3585.71/3596.01	o 35028242
3585.71/3596.01	o 35027894
3585.71/3596.01	o 35025749
3585.71/3596.01	o 35024485
3585.71/3596.01	o 35024466
3585.71/3596.01	o 35024460
3585.71/3596.01	o 35023216
3585.71/3596.01	o 35023129
3585.71/3596.01	o 35022991
3585.71/3596.01	o 35022793
3585.71/3596.01	o 35022738
3585.71/3596.01	o 35022732
3585.71/3596.01	o 35022660
3585.71/3596.01	o 35022645
3585.71/3596.01	o 35022274
3585.71/3596.01	o 35022136
3585.71/3596.01	o 35019918
3585.71/3596.01	o 35019667
3585.71/3596.01	o 35019054
3585.71/3596.01	o 35018582
3585.71/3596.01	o 34692062
3585.71/3596.01	o 34610432
3585.71/3596.01	o 34569617
3585.71/3596.01	o 34569585
3585.71/3596.01	o 34566183
3585.71/3596.01	o 34565987
3585.71/3596.01	o 34565630
3585.71/3596.01	o 34563158
3585.71/3596.01	o 34562718
3585.71/3596.01	o 34562049
3585.71/3596.01	o 34561374
3585.71/3596.01	o 34561320
3585.71/3596.01	o 34550031
3585.71/3596.01	o 34549730
3585.71/3596.01	o 34549055
3585.71/3596.01	o 34548984
3585.71/3596.01	o 34548827
3585.71/3596.01	o 34548515
3585.71/3596.01	o 34548393
3585.71/3596.01	o 34522706
3585.71/3596.01	o 34521497
3585.71/3596.01	o 34520532
3585.71/3596.01	o 34519641
3585.71/3596.01	o 34516889
3585.71/3596.01	o 34516255
3585.71/3596.01	o 34515162
3585.71/3596.01	o 34513549
3585.71/3596.01	o 34512235
3585.71/3596.01	o 34512084
3585.71/3596.01	o 34511582
3585.71/3596.01	o 34511277
3585.71/3596.01	o 34510805
3585.71/3596.01	o 34505543
3585.71/3596.01	o 34504456
3585.71/3596.01	o 34502261
3585.71/3596.01	o 34501829
3585.71/3596.01	o 34501636
3585.71/3596.01	o 34501183
3585.71/3596.01	o 34499691
3585.71/3596.01	o 34499434
3585.71/3596.01	o 34499277
3585.71/3596.01	o 34496312
3585.71/3596.01	o 34495144
3585.71/3596.01	o 34492644
3585.71/3596.01	o 34491756
3585.71/3596.01	o 34490804
3585.71/3596.01	o 34486973
3585.71/3596.01	o 34486129
3585.71/3596.01	o 34481164
3585.71/3596.01	o 34480194
3585.71/3596.01	o 34477799
3585.71/3596.01	o 34477199
3585.71/3596.01	o 34476208
3585.71/3596.01	o 34475962
3585.71/3596.01	o 34475902
3585.71/3596.01	o 34474009
3585.71/3596.01	o 34473704
3585.71/3596.01	o 34473649
3585.71/3596.01	o 34472966
3585.71/3596.01	o 34472894
3585.71/3596.01	o 34466390
3585.71/3596.01	o 34465218
3585.71/3596.01	o 34465076
3585.71/3596.01	o 34464216
3585.71/3596.01	o 34463784
3585.71/3596.01	o 34463757
3585.71/3596.01	o 34461036
3585.71/3596.01	o 34454532
3585.71/3596.01	o 34454189
3585.71/3596.01	o 34454032
3585.71/3596.01	o 34453839
3585.71/3596.01	o 34453386
3585.71/3596.01	o 34453235
3585.71/3596.01	o 34452733
3585.71/3596.01	o 34452203
3585.71/3596.01	o 34452148
3585.71/3596.01	o 34451955
3585.71/3596.01	o 34451502
3585.71/3596.01	o 34451360
3585.71/3596.01	o 34451029
3585.71/3596.01	o 34449539
3585.71/3596.01	o 34449422
3585.71/3596.01	o 34449367
3585.71/3596.01	o 34449225
3585.71/3596.01	o 34448877
3585.71/3596.01	o 34448735
3585.71/3596.01	o 34448680
3585.71/3596.01	o 34448375
3585.71/3596.01	o 34441871
3585.71/3596.01	o 34441290
3585.71/3596.01	o 34441213
3585.71/3596.01	o 34440711
3585.71/3596.01	o 34440656
3585.71/3596.02	o 34440155
3585.71/3596.02	o 34433651
3585.71/3596.02	o 34433339
3585.71/3596.02	o 34433182
3585.71/3596.02	o 34432537
3585.71/3596.02	o 34431940
3585.71/3596.02	o 34431833
3585.71/3596.02	o 34426788
3585.71/3596.02	o 34426419
3585.71/3596.02	o 34426130
3585.71/3596.02	o 34425973
3585.71/3596.02	o 34424709
3585.71/3596.02	o 34424135
3585.71/3596.02	o 34423635
3585.71/3596.02	o 34423069
3585.71/3596.02	o 34420103
3585.71/3596.02	o 34418945
3585.71/3596.02	o 34418885
3585.71/3596.02	o 34416357
3585.71/3596.02	o 34415367
3585.71/3596.02	o 34414206
3585.71/3596.02	o 34413990
3585.71/3596.02	o 34413981
3585.71/3596.02	o 34410825
3585.71/3596.02	o 34373418
3585.71/3596.02	o 34368540
3585.71/3596.02	o 34365831
3585.71/3596.02	o 34365159
3585.71/3596.02	o 34364943
3585.71/3596.02	o 34363947
3585.71/3596.02	o 34363554
3585.71/3596.02	o 34361029
3585.71/3596.02	o 34359972
3585.71/3596.02	o 34359025
3585.71/3596.02	o 34357444
3585.71/3596.02	o 34355995
3585.71/3596.02	o 34355248
3585.71/3596.02	o 34353718
3585.71/3596.02	o 34353248
3585.71/3596.02	o 34353207
3585.71/3596.02	o 34353128
3585.71/3596.02	o 34352126
3585.71/3596.02	o 34351908
3585.71/3596.02	o 34351659
3585.71/3596.02	o 34347316
3585.71/3596.02	o 34346685
3585.71/3596.02	o 34345962
3585.71/3596.02	o 34345163
3585.71/3596.02	o 34343806
3585.71/3596.02	o 34342798
3585.71/3596.02	o 34342693
3585.71/3596.02	o 34301339
3585.71/3596.02	o 34301105
3585.71/3596.02	o 34299777
3585.71/3596.02	o 34295078
3585.71/3596.02	o 34294510
3585.71/3596.02	o 34292719
3585.71/3596.02	o 34288302
3585.71/3596.02	o 34287905
3585.71/3596.02	o 34287747
3585.71/3596.02	o 34287313
3585.71/3596.02	o 34286833
3585.71/3596.02	o 34285385
3585.71/3596.02	o 34285002
3585.71/3596.02	o 34283931
3585.71/3596.02	o 34279551
3585.71/3596.02	o 34278901
3585.71/3596.02	o 34278217
3585.71/3596.02	o 34276771
3585.71/3596.02	o 34031881
3585.71/3596.02	o 33950751
3585.71/3596.02	o 33857341
3585.71/3596.02	o 33816526
3585.71/3596.02	o 33805033
3585.71/3596.02	o 33804824
3585.71/3596.02	o 33804678
3585.71/3596.02	o 33804101
3585.71/3596.02	o 33803111
3585.71/3596.02	o 33801984
3585.71/3596.02	o 33799048
3585.71/3596.02	o 33798012
3585.71/3596.02	o 33796308
3585.71/3596.02	o 33795575
3585.71/3596.02	o 33795433
3585.71/3596.02	o 33792681
3585.71/3596.02	o 33792290
3585.71/3596.02	o 33792121
3585.71/3596.02	o 33789751
3585.71/3596.02	o 33788636
3585.71/3596.02	o 33787330
3585.71/3596.02	o 33786947
3585.71/3596.02	o 33786805
3585.71/3596.02	o 33786316
3585.71/3596.02	o 33785494
3585.71/3596.02	o 33785276
3585.71/3596.02	o 33783989
3585.71/3596.02	o 33783003
3585.71/3596.02	o 33782683
3585.71/3596.02	o 33781761
3585.71/3596.02	o 33779847
3585.71/3596.02	o 33779656
3585.71/3596.02	o 33778894
3585.71/3596.02	o 33778841
3585.71/3596.02	o 33778251
3585.71/3596.02	o 33776921
3585.71/3596.02	o 33776115
3585.71/3596.02	o 33776101
3585.71/3596.02	o 33775494
3585.71/3596.02	o 33773430
3585.71/3596.02	o 33772946
3585.71/3596.02	o 33769277
3585.71/3596.02	o 33767804
3585.71/3596.02	o 33764465
3585.71/3596.02	o 33762932
3585.71/3596.02	o 33761771
3585.71/3596.02	o 33759762
3585.71/3596.02	o 33758449
3585.71/3596.02	o 33758292
3585.71/3596.02	o 33755824
3585.71/3596.02	o 33752356
3585.71/3596.02	o 33749908
3585.71/3596.02	o 33749835
3585.71/3596.02	o 33749619
3585.71/3596.02	o 33749076
3585.71/3596.02	o 33748880
3585.71/3596.02	o 33746654
3585.71/3596.02	o 33746577
3585.71/3596.02	o 33746350
3585.71/3596.02	o 33743850
3585.71/3596.02	o 33743849
3585.71/3596.02	o 33743776
3585.71/3596.02	o 33741962
3585.71/3596.02	o 33741544
3585.71/3596.02	o 33739026
3585.71/3596.02	o 33738913
3585.71/3596.02	o 33737962
3585.71/3596.02	o 33737737
3585.71/3596.02	o 33737457
3585.71/3596.02	o 33736988
3585.71/3596.02	o 33736816
3585.71/3596.02	o 33736564
3585.71/3596.02	o 33736477
3585.71/3596.02	o 33735551
3585.71/3596.02	o 33733843
3585.71/3596.02	o 33733488
3585.71/3596.02	o 33732571
3585.71/3596.02	o 33732549
3585.71/3596.02	o 33732354
3585.71/3596.02	o 33731882
3585.71/3596.02	o 33730859
3585.71/3596.02	o 33730634
3585.71/3596.02	o 33729538
3585.71/3596.02	o 33724406
3585.71/3596.02	o 33723906
3585.71/3596.02	o 33721971
3585.71/3596.02	o 33719574
3585.71/3596.02	o 33719176
3585.71/3596.02	o 33718249
3585.71/3596.02	o 33717657
3585.71/3596.02	o 33717105
3585.71/3596.02	o 33716887
3585.71/3596.02	o 33716452
3585.71/3596.02	o 33714621
3585.71/3596.02	o 33714564
3585.71/3596.02	o 33714234
3585.71/3596.02	o 33711332
3585.71/3596.02	o 33709106
3585.71/3596.02	o 33708339
3585.71/3596.02	o 33708155
3585.71/3596.02	o 33707311
3585.71/3596.02	o 33706979
3585.71/3596.02	o 33706279
3585.71/3596.02	o 33706232
3585.71/3596.02	o 33703284
3585.71/3596.02	o 33703273
3585.71/3596.02	o 33702511
3585.71/3596.02	o 33702143
3585.71/3596.02	o 33700436
3585.71/3596.02	o 33697635
3585.71/3596.02	o 33696873
3585.71/3596.02	o 33696345
3585.71/3596.02	o 33695899
3585.71/3596.02	o 33695008
3585.71/3596.02	o 33694975
3585.71/3596.02	o 33693093
3585.71/3596.02	o 33692645
3585.71/3596.02	o 33691960
3585.71/3596.02	o 33691451
3585.71/3596.02	o 33689153
3585.71/3596.02	o 33689012
3585.71/3596.02	o 33688580
3585.71/3596.02	o 33687858
3585.71/3596.02	o 33685704
3585.71/3596.02	o 33685423
3585.71/3596.02	o 33684911
3585.71/3596.02	o 33684840
3585.71/3596.02	o 33684774
3585.71/3596.02	o 33683256
3585.71/3596.02	o 33683227
3585.71/3596.02	o 33683222
3585.71/3596.02	o 33682991
3585.71/3596.02	o 33681171
3585.71/3596.02	o 33680718
3585.71/3596.02	o 33675772
3585.71/3596.02	o 33675282
3585.71/3596.02	o 33670354
3585.71/3596.02	o 33670330
3585.71/3596.02	o 33670268
3585.71/3596.02	o 33669440
3585.71/3596.02	o 33669293
3585.71/3596.02	o 33669156
3585.71/3596.02	o 33668522
3585.71/3596.02	o 33668371
3585.71/3596.02	o 33667905
3585.71/3596.02	o 33663012
3585.71/3596.02	o 33662522
3585.71/3596.02	o 33662010
3585.71/3596.02	o 33661098
3585.71/3596.02	o 33660501
3585.71/3596.02	o 33658829
3585.71/3596.02	o 33658763
3585.71/3596.02	o 33656142
3585.71/3596.02	o 33656046
3585.71/3596.02	o 33655591
3585.71/3596.02	o 33655065
3585.71/3596.02	o 33654479
3585.71/3596.02	o 33654080
3585.71/3596.02	o 33654014
3585.71/3596.02	o 33653442
3585.71/3596.02	o 33651670
3585.71/3596.02	o 33651480
3585.71/3596.02	o 33645805
3585.71/3596.02	o 33645391
3585.71/3596.02	o 33645376
3585.71/3596.02	o 33645344
3585.71/3596.02	o 33643797
3585.71/3596.02	o 33639757
3585.71/3596.02	o 33639750
3585.71/3596.02	o 33639633
3585.71/3596.02	o 33639290
3585.71/3596.02	o 33628523
3585.71/3596.02	o 33628268
3585.71/3596.02	o 33627785
3585.71/3596.02	o 33626921
3585.71/3596.02	o 33626889
3585.71/3596.02	o 33626759
3585.71/3596.02	o 33623628
3585.71/3596.02	o 33623621
3585.71/3596.02	o 33623579
3585.71/3596.02	o 33623504
3585.71/3596.02	o 33623161
3585.71/3596.02	o 33622646
3585.71/3596.02	o 33472646
3585.71/3596.02	o 33472277
3585.71/3596.02	o 33471770
3585.71/3596.02	o 33466867
3585.71/3596.02	o 33466779
3585.71/3596.02	o 33436129
3585.71/3596.02	o 33435934
3585.71/3596.02	o 33435546
3585.71/3596.02	o 33434484
3585.71/3596.02	o 33431510
3585.71/3596.02	o 33431127
3585.71/3596.02	o 33431045
3585.71/3596.02	o 33430448
3585.71/3596.02	o 33430187
3585.71/3596.02	o 33429721
3585.71/3596.02	o 33428377
3585.71/3596.02	o 33428370
3585.71/3596.02	o 33428233
3585.71/3596.02	o 33427728
3585.71/3596.02	o 33426949
3585.71/3596.02	o 33424633
3585.71/3596.02	o 33424036
3585.71/3596.02	o 33424029
3585.71/3596.02	o 33423925
3585.71/3596.02	o 33423399
3585.71/3596.02	o 33422176
3585.71/3596.02	o 33420024
3585.71/3596.02	o 33418978
3585.71/3596.02	o 33391795
3585.71/3596.02	o 33377900
3585.71/3596.02	o 33377275
3585.71/3596.02	o 33375287
3585.71/3596.02	o 33374534
3585.71/3596.02	o 33329936
3585.71/3596.02	o 33327735
3585.71/3596.02	o 33324901
3585.71/3596.02	o 33321974
3585.71/3596.02	o 33321207
3585.71/3596.02	o 33316321
3585.71/3596.02	o 33313680
3585.71/3596.02	o 33310472
3585.71/3596.02	o 33309917
3585.71/3596.02	o 33309572
3585.71/3596.02	o 33308833
3585.71/3596.02	o 33308026
3585.71/3596.02	o 33307857
3585.71/3596.02	o 33307417
3585.71/3596.02	o 33306917
3585.71/3596.02	o 33306831
3585.71/3596.02	o 33306674
3585.71/3596.02	o 33306079
3585.71/3596.02	o 33306013
3585.71/3596.02	o 33305670
3585.71/3596.02	o 33304364
3585.71/3596.02	o 33304262
3585.71/3596.02	o 33303455
3585.71/3596.02	o 33261590
3585.71/3596.02	o 33259519
3585.71/3596.02	o 33259070
3585.71/3596.02	o 33258727
3585.71/3596.02	o 33258224
3585.71/3596.02	o 33257881
3585.71/3596.02	o 33257326
3585.71/3596.02	o 33255950
3585.71/3596.02	o 33255607
3585.71/3596.02	o 33254272
3585.71/3596.02	o 33254115
3585.71/3596.02	o 33253890
3585.71/3596.02	o 33253811
3585.71/3596.02	o 33253578
3585.71/3596.02	o 33253320
3585.71/3596.02	o 33253111
3585.71/3596.02	c Program interrupted by user.
3585.71/3596.02	s SATISFIABLE
3585.71/3596.02	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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 x5146 -x5147 -x5148 x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 x5453 -x5454 x5455 -x5456 x5457 -x5458 -x5459 x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 x5871 -x5872 x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 x5994 -x5995 -x5996 -x5997 -x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 x6164 -x6165 -x6166 x6167 -x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 x6336 x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402

Verifier Data 

OK	33253111

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100091 s]*
/proc/loadavg: 4.10 4.09 3.70 5/263 336548
/proc/meminfo: memFree=119721888/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=27940 CPUtime=0.09 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5538 0 0 0 8 1 0 0 20 0 1 0 61620536 42303488 6985 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 6985 1073 2753 0 6981 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31640 KiB

[startup+0.205868 s]*
/proc/loadavg: 4.10 4.09 3.70 5/263 336548
/proc/meminfo: memFree=119721384/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=0.2 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 19 1 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+0.305796 s]*
/proc/loadavg: 4.10 4.09 3.70 5/263 336548
/proc/meminfo: memFree=119721216/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=0.29 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 28 1 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+0.700288 s]
/proc/loadavg: 4.10 4.09 3.70 5/263 336548
/proc/meminfo: memFree=119721076/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=0.68 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 66 2 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+1.50028 s]
/proc/loadavg: 4.10 4.09 3.70 5/263 336548
/proc/meminfo: memFree=119721076/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=1.49 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 145 4 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+3.10576 s]
/proc/loadavg: 4.10 4.09 3.70 5/263 336548
/proc/meminfo: memFree=119720832/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=3.08 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 302 6 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+6.30028 s]
/proc/loadavg: 4.10 4.09 3.70 6/263 336550
/proc/meminfo: memFree=119720616/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=6.27 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 617 10 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.09 3.70 5/263 336550
/proc/meminfo: memFree=119717272/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=12.65 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 1244 21 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 3.71 5/263 336553
/proc/meminfo: memFree=119711440/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=25.42 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5585 0 0 0 2499 43 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+51.1058 s]
/proc/loadavg: 4.10 4.09 3.72 5/263 336558
/proc/meminfo: memFree=119632336/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 663 584 264 0 134 0
[pid=336547] ppid=336544 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/336547/stat : 336547 (timeout) S 336544 336547 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61620536 8867840 262 134679101440 94784029540352 94784029575368 140732505639168 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94784031672784 94784031674916 94784056938496 140732505642019 140732505642141 140732505642141 140732505649127 0
/proc/336547/statm: 2165 262 238 9 0 87 0
[pid=336548] ppid=336547 vsize=41312 memory=28204 CPUtime=50.96 cores=0,2
/proc/336548/stat : 336548 (LS-MabP) R 336547 336547 335463 0 -1 4194304 5586 0 0 0 5004 92 0 0 20 0 1 0 61620536 42303488 7051 134679101440 4194304 15467897 140722260859952 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 36073472 140722260866103 140722260866212 140722260866212 140722260873198 0
/proc/336548/statm: 10328 7051 1073 2753 0 6981 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 31904 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 3.74 5/264 336567
/proc/meminfo: memFree=119596476/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2652 CPUtime=0 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 235 99 0 0 0 0 0 0 20 0 1 0 61620536 10170368 663 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0

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

/proc/337755/statm: 99969 85583 852 745 0 99034 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 418468 KiB
Current children cumulated memory: 346044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 338755
/proc/meminfo: memFree=121249724/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=400388 memory=342952 CPUtime=1659.14 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 56896 0 0 0 165897 17 0 0 20 0 1 0 61800336 409997312 85738 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100097 85738 852 745 0 99162 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 418980 KiB
Current children cumulated memory: 346664 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 338767
/proc/meminfo: memFree=121247728/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=400900 memory=343468 CPUtime=1718.96 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57044 0 0 0 171879 17 0 0 20 0 1 0 61800336 410521600 85867 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100225 85867 852 745 0 99290 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 419492 KiB
Current children cumulated memory: 347180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 338778
/proc/meminfo: memFree=121244296/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=402456 memory=344940 CPUtime=1778.77 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57586 0 0 0 177860 17 0 0 20 0 1 0 61800336 412114944 86235 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100614 86235 852 745 0 99679 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 421048 KiB
Current children cumulated memory: 348652 KiB

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

# cumulated CPU time of all completed processes:  user=3554.45 s, system=31.2955 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.12 4.09 5/263 338778
/proc/meminfo: memFree=121244352/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=402456 memory=345032 CPUtime=1780.47 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57708 0 0 0 178030 17 0 0 20 0 1 0 61800336 412114944 86258 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100614 86258 852 745 0 99679 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 421048 KiB
Current children cumulated memory: 348744 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 338779
/proc/meminfo: memFree=121244296/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=402456 memory=345032 CPUtime=1786.85 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57726 0 0 0 178668 17 0 0 20 0 1 0 61800336 412114944 86258 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100614 86258 852 745 0 99679 0
Current children cumulated CPU time: 3580.12 s
Current children cumulated vsize: 421048 KiB
Current children cumulated memory: 348744 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 338779
/proc/meminfo: memFree=121244240/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=402456 memory=345032 CPUtime=1790.04 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57726 0 0 0 178987 17 0 0 20 0 1 0 61800336 412114944 86258 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100614 86258 852 745 0 99679 0
Current children cumulated CPU time: 3583.31 s
Current children cumulated vsize: 421048 KiB
Current children cumulated memory: 348744 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 338781
/proc/meminfo: memFree=121243904/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=402456 memory=345032 CPUtime=1791.64 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57726 0 0 0 179147 17 0 0 20 0 1 0 61800336 412114944 86258 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100614 86258 852 745 0 99679 0
Current children cumulated CPU time: 3584.91 s
Current children cumulated vsize: 421048 KiB
Current children cumulated memory: 348744 KiB

[startup+3595.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 338781
/proc/meminfo: memFree=121243904/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=402456 memory=345032 CPUtime=1792.03 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57726 0 0 0 179186 17 0 0 20 0 1 0 61800336 412114944 86258 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100614 86258 852 745 0 99679 0
Current children cumulated CPU time: 3585.3 s
Current children cumulated vsize: 421048 KiB
Current children cumulated memory: 348744 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.12 4.09 5/263 338781
/proc/meminfo: memFree=121244072/131524600 swapFree=131071472/131071996
[pid=336544] ppid=336541 vsize=9932 memory=2696 CPUtime=1793.27 cores=0,2
/proc/336544/stat : 336544 (Hybrid-LSMabP+E) S 336541 336544 335463 0 -1 4194304 268 6464 0 0 0 0 176216 3111 20 0 1 0 61620536 10170368 674 134679101440 94923202674688 94923203754008 140725938469280 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94923205852464 94923205899652 94923229155328 140725938471914 140725938472059 140725938472059 140725938479074 0
/proc/336544/statm: 2483 674 584 264 0 134 0
[pid=337754] ppid=336544 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/337754/stat : 337754 (timeout) S 336544 337754 335463 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 61800336 8867840 254 134679101440 94858761097216 94858761132232 140729999629744 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94858763229648 94858763231780 94858796777472 140729999631348 140729999631517 140729999631517 140729999638503 0
/proc/337754/statm: 2165 254 230 9 0 87 0
[pid=337755] ppid=337754 vsize=402456 memory=345032 CPUtime=1792.44 cores=0,2
/proc/337755/stat : 337755 (Exact) R 337754 337754 335463 0 -1 4194304 57726 0 0 0 179227 17 0 0 20 0 1 0 61800336 412114944 86258 134679101440 4194304 7243121 140724257960224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 18939904 140724257969168 140724257969318 140724257969318 140724257976304 0
/proc/337755/statm: 100614 86258 852 745 0 99679 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 421048 KiB
Current children cumulated memory: 348744 KiB

Child status: 0

Real time (s): 3596.02
CPU time (s): 3585.75
CPU user time (s): 3554.45
CPU system time (s): 31.2955
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 421048
Max. memory (cumulated for all children) (KiB): 348744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.45
system time used= 31.2955
maximum resident set size= 345032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90
involuntary context switches= 24567


# summary of solver processes directly reported to runsolver:
#   pid: 336544
#   total CPU time (s): 3585.75
#   total CPU user time (s): 3554.45
#   total CPU system time (s): 31.2955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5067 second user time and 10.0965 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-08-06 15:17:06
IDJOB=4437413
IDBENCH=146797
IDSOLVER=3071
FILE ID=nodeC020/4437413-1722950226
RUNJOBID= nodeC020-1722948202-335473
SLURM_JOB_ID= 8259001
Free space on /tmp= 890020 MiB

SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437413-1722950226/watcher-4437413-1722950226 -o /tmp/evaluation-result-4437413-1722950226/solver-4437413-1722950226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722948202-335473 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437413-1722950226.opb 3600 HOME 31000

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

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=1957872260

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.238
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3689.302
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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		: 3668.426
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3600.541
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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		: 3681.797
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3689.329
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
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		: 3625.114
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.38
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		: 3600.472
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119746876 kB
MemAvailable:   127950152 kB
Buffers:          334852 kB
Cached:          8693632 kB
SwapCached:           28 kB
Active:           604340 kB
Inactive:       10609980 kB
Active(anon):       1896 kB
Inactive(anon):  2221612 kB
Active(file):     602444 kB
Inactive(file):  8388368 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             21428 kB
Writeback:            12 kB
AnonPages:       2183792 kB
Mapped:           109008 kB
Shmem:             37668 kB
KReclaimable:     104224 kB
Slab:             197176 kB
SReclaimable:     104224 kB
SUnreclaim:        92952 kB
KernelStack:        4160 kB
PageTables:        14080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2910568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            26688 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1560576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      287444 kB
DirectMap2M:    27797504 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC020 at 2024-08-06 16:17:03