Trace number 4437176

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-LSMabSP+Exact 2024-07-11SAT41202 1887.78 1891.03

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
MD5SUM206b08b420dad9af66531a7207372127
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41202
Best CPU time to get the best result obtained on this benchmark0.09333
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1945
Total number of constraints3355
Number of constraints which are clauses3355
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint55
Number of terms in the objective function 1036
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1671510
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1671510
Number of bits of the biggest sum of numbers21
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 

1794.99/1891.01	o 202010
1794.99/1891.01	o 194101
1794.99/1891.01	o 192325
1794.99/1891.01	o 190973
1794.99/1891.01	o 189253
1794.99/1891.01	o 187901
1794.99/1891.01	o 186248
1794.99/1891.01	o 184934
1794.99/1891.01	o 183594
1794.99/1891.01	o 183354
1794.99/1891.01	o 181976
1794.99/1891.01	o 180270
1794.99/1891.01	o 180140
1794.99/1891.01	o 179786
1794.99/1891.01	o 178550
1794.99/1891.01	o 177404
1794.99/1891.01	o 176992
1794.99/1891.01	o 175672
1794.99/1891.01	o 175260
1794.99/1891.01	o 175216
1794.99/1891.01	o 175158
1794.99/1891.01	o 173568
1794.99/1891.01	o 172660
1794.99/1891.01	o 172576
1794.99/1891.01	o 172512
1794.99/1891.01	o 172454
1794.99/1891.01	o 172314
1794.99/1891.01	o 172248
1794.99/1891.01	o 172164
1794.99/1891.01	o 172100
1794.99/1891.01	o 172042
1794.99/1891.01	o 171990
1794.99/1891.01	o 171926
1794.99/1891.01	o 171860
1794.99/1891.01	o 171822
1794.99/1891.01	o 171764
1794.99/1891.01	o 171189
1794.99/1891.01	o 170960
1794.99/1891.01	o 170902
1794.99/1891.01	o 170650
1794.99/1891.01	o 170584
1794.99/1891.01	o 170557
1794.99/1891.01	o 170491
1794.99/1891.01	o 170262
1794.99/1891.01	o 170204
1794.99/1891.01	o 170179
1794.99/1891.01	o 170147
1794.99/1891.01	o 170127
1794.99/1891.01	o 170083
1794.99/1891.01	o 169961
1794.99/1891.01	o 169947
1794.99/1891.01	o 168706
1794.99/1891.01	o 168503
1794.99/1891.01	o 168471
1794.99/1891.01	o 168393
1794.99/1891.01	o 168373
1794.99/1891.01	o 168329
1794.99/1891.01	o 168299
1794.99/1891.01	o 168093
1794.99/1891.01	o 168061
1794.99/1891.01	o 167983
1794.99/1891.01	o 167963
1794.99/1891.01	o 167919
1794.99/1891.01	o 167893
1794.99/1891.01	o 167797
1794.99/1891.01	o 167751
1794.99/1891.01	o 167554
1794.99/1891.01	o 167516
1794.99/1891.01	o 167342
1794.99/1891.01	o 167099
1794.99/1891.01	o 166977
1794.99/1891.01	o 166957
1794.99/1891.01	o 166899
1794.99/1891.01	o 165559
1794.99/1891.01	o 165503
1794.99/1891.01	o 165489
1794.99/1891.01	o 165257
1794.99/1891.01	o 164329
1794.99/1891.01	o 164317
1794.99/1891.01	o 164303
1794.99/1891.01	o 164239
1794.99/1891.01	o 164225
1794.99/1891.01	o 164205
1794.99/1891.01	o 164161
1794.99/1891.01	o 164123
1794.99/1891.01	o 163949
1794.99/1891.01	o 163923
1794.99/1891.01	o 163909
1794.99/1891.01	o 163857
1794.99/1891.01	o 163767
1794.99/1891.01	o 163729
1794.99/1891.01	o 163069
1794.99/1891.01	o 163032
1794.99/1891.01	o 162948
1794.99/1891.01	o 162928
1794.99/1891.01	o 162884
1794.99/1891.01	o 162678
1794.99/1891.01	o 162614
1794.99/1891.01	o 162600
1794.99/1891.01	o 162403
1794.99/1891.01	o 160767
1794.99/1891.01	o 160755
1794.99/1891.01	o 160743
1794.99/1891.01	o 160729
1794.99/1891.01	o 160691
1794.99/1891.01	o 159557
1794.99/1891.01	o 159549
1794.99/1891.01	o 159505
1794.99/1891.01	o 159383
1794.99/1891.01	o 159292
1794.99/1891.01	o 158918
1794.99/1891.01	o 158738
1794.99/1891.01	o 158700
1794.99/1891.01	o 158642
1794.99/1891.01	o 158610
1794.99/1891.01	o 158532
1794.99/1891.01	o 158512
1794.99/1891.01	o 158468
1794.99/1891.01	o 158225
1794.99/1891.01	o 158179
1794.99/1891.01	o 157982
1794.99/1891.01	o 157892
1794.99/1891.01	o 157852
1794.99/1891.01	o 157782
1794.99/1891.01	o 157730
1794.99/1891.01	o 156114
1794.99/1891.01	o 155980
1794.99/1891.01	o 155928
1794.99/1891.01	o 155896
1794.99/1891.01	o 155876
1794.99/1891.01	o 155754
1794.99/1891.01	o 155577
1794.99/1891.01	o 155371
1794.99/1891.01	o 155357
1794.99/1891.01	o 155313
1794.99/1891.01	o 155249
1794.99/1891.01	o 155231
1794.99/1891.01	o 155046
1794.99/1891.01	o 154988
1794.99/1891.01	o 154974
1794.99/1891.01	o 154942
1794.99/1891.01	o 154922
1794.99/1891.01	o 154884
1794.99/1891.01	o 154840
1794.99/1891.01	o 154762
1794.99/1891.01	o 154710
1794.99/1891.01	o 154582
1794.99/1891.01	o 153108
1794.99/1891.01	o 153105
1794.99/1891.01	o 153091
1794.99/1891.01	o 153071
1794.99/1891.01	o 153027
1794.99/1891.01	o 152847
1794.99/1891.01	o 152725
1794.99/1891.01	o 152493
1794.99/1891.01	o 151179
1794.99/1891.01	o 151175
1794.99/1891.01	o 151161
1794.99/1891.01	o 150995
1794.99/1891.01	o 150871
1794.99/1891.01	o 149455
1794.99/1891.01	o 149176
1794.99/1891.01	o 149174
1794.99/1891.01	o 149160
1794.99/1891.01	o 149122
1794.99/1891.01	o 149110
1794.99/1891.01	o 149096
1794.99/1891.01	o 149032
1794.99/1891.01	o 148878
1794.99/1891.01	o 148698
1794.99/1891.01	o 148645
1794.99/1891.01	o 148587
1794.99/1891.01	o 148555
1794.99/1891.01	o 148477
1794.99/1891.01	o 148457
1794.99/1891.01	o 148413
1794.99/1891.01	o 148399
1794.99/1891.01	o 148385
1794.99/1891.01	o 148341
1794.99/1891.01	o 148219
1794.99/1891.01	o 148173
1794.99/1891.01	o 147976
1794.99/1891.01	o 147950
1794.99/1891.01	o 147930
1794.99/1891.01	o 147886
1794.99/1891.01	o 147764
1794.99/1891.01	o 147596
1794.99/1891.01	o 147558
1794.99/1891.01	o 147384
1794.99/1891.01	o 147366
1794.99/1891.01	o 147307
1794.99/1891.01	o 147272
1794.99/1891.01	o 147200
1794.99/1891.01	o 147032
1794.99/1891.01	o 145654
1794.99/1891.01	o 145630
1794.99/1891.01	o 145560
1794.99/1891.01	o 145531
1794.99/1891.01	o 145517
1794.99/1891.01	o 145461
1794.99/1891.01	o 145447
1794.99/1891.01	o 145441
1794.99/1891.01	o 145313
1794.99/1891.01	o 145299
1794.99/1891.01	o 145287
1794.99/1891.01	o 145273
1794.99/1891.01	o 145249
1794.99/1891.01	o 145235
1794.99/1891.01	o 145215
1794.99/1891.01	o 145171
1794.99/1891.01	o 145145
1794.99/1891.01	o 145055
1794.99/1891.01	o 145015
1794.99/1891.01	o 144945
1794.99/1891.01	o 144893
1794.99/1891.01	o 144713
1794.99/1891.01	o 144707
1794.99/1891.01	o 144681
1794.99/1891.01	o 144655
1794.99/1891.01	o 144501
1794.99/1891.01	o 144258
1794.99/1891.01	o 144239
1794.99/1891.01	o 144173
1794.99/1891.01	o 142528
1794.99/1891.01	o 142470
1794.99/1891.01	o 142418
1794.99/1891.01	o 142360
1794.99/1891.01	o 142302
1794.99/1891.01	o 142288
1794.99/1891.01	o 142222
1794.99/1891.01	o 141984
1794.99/1891.01	o 141932
1794.99/1891.01	o 141804
1794.99/1891.01	o 141624
1794.99/1891.01	o 141566
1794.99/1891.01	o 141412
1794.99/1891.01	o 141308
1794.99/1891.01	o 141290
1794.99/1891.01	o 141223
1794.99/1891.01	o 141180
1794.99/1891.01	o 141066
1794.99/1891.01	o 140959
1794.99/1891.01	o 140874
1794.99/1891.01	o 140625
1794.99/1891.01	o 139922
1794.99/1891.01	o 139870
1794.99/1891.01	o 139716
1794.99/1891.01	o 139638
1794.99/1891.01	o 139586
1794.99/1891.01	o 139537
1794.99/1891.01	o 139517
1794.99/1891.01	o 139465
1794.99/1891.01	o 139387
1794.99/1891.01	o 139343
1794.99/1891.01	o 139326
1794.99/1891.01	o 139306
1794.99/1891.01	o 139262
1794.99/1891.01	o 139236
1794.99/1891.01	o 137974
1794.99/1891.01	o 137942
1794.99/1891.01	o 137922
1794.99/1891.01	o 137896
1794.99/1891.01	o 137873
1794.99/1891.01	o 137867
1794.99/1891.01	o 137841
1794.99/1891.01	o 137763
1794.99/1891.01	o 137699
1794.99/1891.01	o 137687
1794.99/1891.01	o 137623
1794.99/1891.01	o 137591
1794.99/1891.01	o 137565
1794.99/1891.01	o 137527
1794.99/1891.01	o 137501
1794.99/1891.01	o 137487
1794.99/1891.01	o 137435
1794.99/1891.01	o 137307
1794.99/1891.01	o 137185
1794.99/1891.01	o 137149
1794.99/1891.01	o 136906
1794.99/1891.01	o 136902
1794.99/1891.01	o 136858
1794.99/1891.01	o 136840
1794.99/1891.01	o 136818
1794.99/1891.01	o 136804
1794.99/1891.01	o 136746
1794.99/1891.01	o 136682
1794.99/1891.01	o 136616
1794.99/1891.01	o 136608
1794.99/1891.01	o 136590
1794.99/1891.01	o 136480
1794.99/1891.01	o 135018
1794.99/1891.01	o 135007
1794.99/1891.01	o 134993
1794.99/1891.01	o 134839
1794.99/1891.01	o 134821
1794.99/1891.01	o 133614
1794.99/1891.01	o 133606
1794.99/1891.01	o 133588
1794.99/1891.01	o 133556
1794.99/1891.01	o 133536
1794.99/1891.01	o 133492
1794.99/1891.01	o 133478
1794.99/1891.01	o 133466
1794.99/1891.01	o 133458
1794.99/1891.01	o 133414
1794.99/1891.01	o 133400
1794.99/1891.01	o 133396
1794.99/1891.01	o 133382
1794.99/1891.01	o 133356
1794.99/1891.01	o 133324
1794.99/1891.01	o 133298
1794.99/1891.01	o 133066
1794.99/1891.01	o 133060
1794.99/1891.01	o 133042
1794.99/1891.01	o 132857
1794.99/1891.01	o 132799
1794.99/1891.01	o 132790
1794.99/1891.01	o 132787
1794.99/1891.01	o 132773
1794.99/1891.01	o 132723
1794.99/1891.01	o 132703
1794.99/1891.01	o 132645
1794.99/1891.01	o 132593
1794.99/1891.01	o 132549
1794.99/1891.01	o 132535
1794.99/1891.01	o 132471
1794.99/1891.01	o 132457
1794.99/1891.01	o 132399
1794.99/1891.01	o 132349
1794.99/1891.01	o 132309
1794.99/1891.01	o 132239
1794.99/1891.01	o 132187
1794.99/1891.01	o 131868
1794.99/1891.01	o 131842
1794.99/1891.01	o 131809
1794.99/1891.01	o 131731
1794.99/1891.01	o 131705
1794.99/1891.01	o 131703
1794.99/1891.01	o 131659
1794.99/1891.01	o 131531
1794.99/1891.01	o 131488
1794.99/1891.01	o 131475
1794.99/1891.01	o 131443
1794.99/1891.01	o 131365
1794.99/1891.01	o 131345
1794.99/1891.01	o 131301
1794.99/1891.01	o 131249
1794.99/1891.01	o 131121
1794.99/1891.01	o 131063
1794.99/1891.01	o 130909
1794.99/1891.01	o 130891
1794.99/1891.01	o 130855
1794.99/1891.01	o 130612
1794.99/1891.01	o 130388
1794.99/1891.01	o 130310
1794.99/1891.01	o 130156
1794.99/1891.01	o 129990
1794.99/1891.01	o 129912
1794.99/1891.01	o 129900
1794.99/1891.01	o 129880
1794.99/1891.01	o 129836
1794.99/1891.01	o 129792
1794.99/1891.01	o 129778
1794.99/1891.01	o 129764
1794.99/1891.01	o 129720
1794.99/1891.01	o 129712
1794.99/1891.01	o 129700
1794.99/1891.01	o 129648
1794.99/1891.01	o 129642
1794.99/1891.01	o 129616
1794.99/1891.01	o 129604
1794.99/1891.01	o 129590
1794.99/1891.01	o 129584
1794.99/1891.01	o 129566
1794.99/1891.01	o 129552
1794.99/1891.01	o 129500
1794.99/1891.01	o 129474
1794.99/1891.01	o 129468
1794.99/1891.01	o 129454
1794.99/1891.01	o 129436
1794.99/1891.01	o 129410
1794.99/1891.01	o 129406
1794.99/1891.01	o 129392
1794.99/1891.01	o 129380
1794.99/1891.01	o 129362
1794.99/1891.01	o 129336
1794.99/1891.01	o 129322
1794.99/1891.01	o 129296
1794.99/1891.01	o 129270
1794.99/1891.01	o 129264
1794.99/1891.01	o 129238
1794.99/1891.01	o 129224
1794.99/1891.01	o 129053
1794.99/1891.01	o 129027
1794.99/1891.01	o 129021
1794.99/1891.01	o 128989
1794.99/1891.01	o 128975
1794.99/1891.01	o 128847
1794.99/1891.01	o 128815
1794.99/1891.01	o 128789
1794.99/1891.01	o 128769
1794.99/1891.01	o 128763
1794.99/1891.01	o 128711
1794.99/1891.01	o 128707
1794.99/1891.01	o 128693
1794.99/1891.01	o 128679
1794.99/1891.01	o 128635
1794.99/1891.01	o 128625
1794.99/1891.01	o 128581
1794.99/1891.01	o 128523
1794.99/1891.01	o 128505
1794.99/1891.01	o 128462
1794.99/1891.01	o 128455
1794.99/1891.01	o 128412
1794.99/1891.01	o 128282
1794.99/1891.01	o 128039
1794.99/1891.01	o 126699
1794.99/1891.01	o 125425
1794.99/1891.01	o 123977
1794.99/1891.01	o 123915
1794.99/1891.01	o 123727
1794.99/1891.01	o 123605
1794.99/1891.01	o 123593
1794.99/1891.01	o 123558
1794.99/1891.01	o 123535
1794.99/1891.01	o 123413
1794.99/1891.01	o 123401
1794.99/1891.01	o 123387
1794.99/1891.01	o 123375
1794.99/1891.01	o 123306
1794.99/1891.01	o 123248
1794.99/1891.01	o 123242
1794.99/1891.01	o 123230
1794.99/1891.01	o 123184
1794.99/1891.01	o 123172
1794.99/1891.01	o 123126
1794.99/1891.01	o 123114
1794.99/1891.01	o 123087
1794.99/1891.01	o 123073
1794.99/1891.01	o 122952
1794.99/1891.01	o 122940
1794.99/1891.01	o 122938
1794.99/1891.01	o 122926
1794.99/1891.01	o 122920
1794.99/1891.01	o 122908
1794.99/1891.01	o 122856
1794.99/1891.01	o 122842
1794.99/1891.01	o 122830
1794.99/1891.01	o 122818
1794.99/1891.01	o 122760
1794.99/1891.01	o 122716
1794.99/1891.01	o 122702
1794.99/1891.01	o 122691
1794.99/1891.01	o 122679
1794.99/1891.01	o 122673
1794.99/1891.01	o 122621
1794.99/1891.01	o 122609
1794.99/1891.01	o 122607
1794.99/1891.01	o 122595
1794.99/1891.01	o 122569
1794.99/1891.01	o 122557
1794.99/1891.01	o 122511
1794.99/1891.01	o 122499
1794.99/1891.01	o 122493
1794.99/1891.01	o 122481
1794.99/1891.01	o 122479
1794.99/1891.01	o 122467
1794.99/1891.01	o 122459
1794.99/1891.01	o 122401
1794.99/1891.01	o 122389
1794.99/1891.01	o 122381
1794.99/1891.01	o 122337
1794.99/1891.01	o 122325
1794.99/1891.01	o 122287
1794.99/1891.01	o 122273
1794.99/1891.01	o 122265
1794.99/1891.01	o 122250
1794.99/1891.01	o 122232
1794.99/1891.01	o 122189
1794.99/1891.01	o 121617
1794.99/1891.01	o 121499
1794.99/1891.01	o 121377
1794.99/1891.01	o 121365
1794.99/1891.01	o 121362
1794.99/1891.01	o 121127
1794.99/1891.01	o 121049
1794.99/1891.01	o 121029
1794.99/1891.01	o 120985
1794.99/1891.01	o 120779
1794.99/1891.01	o 120701
1794.99/1891.01	o 120623
1794.99/1891.01	o 120571
1794.99/1891.01	o 120555
1794.99/1891.01	o 120541
1794.99/1891.01	o 120474
1794.99/1891.01	o 120431
1794.99/1891.01	o 120395
1794.99/1891.01	o 118777
1794.99/1891.01	o 118759
1794.99/1891.01	o 118745
1794.99/1891.01	o 118733
1794.99/1891.01	o 118706
1794.99/1891.01	o 118578
1794.99/1891.01	o 118575
1794.99/1891.01	o 118523
1794.99/1891.01	o 118503
1794.99/1891.01	o 118459
1794.99/1891.01	o 118449
1794.99/1891.01	o 118431
1794.99/1891.01	o 118419
1794.99/1891.01	o 118393
1794.99/1891.01	o 118355
1794.99/1891.01	o 118297
1794.99/1891.01	o 118190
1794.99/1891.01	o 118172
1794.99/1891.01	o 118169
1794.99/1891.01	o 118062
1794.99/1891.01	o 118056
1794.99/1891.01	o 117978
1794.99/1891.01	o 117798
1794.99/1891.01	o 117772
1794.99/1891.01	o 117760
1794.99/1891.01	o 117742
1794.99/1891.01	o 117684
1794.99/1891.01	o 117670
1794.99/1891.01	o 117540
1794.99/1891.01	o 117534
1794.99/1891.01	o 117456
1794.99/1891.01	o 117389
1794.99/1891.01	o 117364
1794.99/1891.01	o 117358
1794.99/1891.01	o 117346
1794.99/1891.01	o 117337
1794.99/1891.01	o 117331
1794.99/1891.01	o 117287
1794.99/1891.01	o 117285
1794.99/1891.01	o 117273
1794.99/1891.01	o 117267
1794.99/1891.01	o 117261
1794.99/1891.01	o 117253
1794.99/1891.01	o 117209
1794.99/1891.01	o 117196
1794.99/1891.01	o 117184
1794.99/1891.01	o 117180
1794.99/1891.01	o 117178
1794.99/1891.01	o 117166
1794.99/1891.01	o 117152
1794.99/1891.01	o 117100
1794.99/1891.01	o 116972
1794.99/1891.01	o 115658
1794.99/1891.01	o 115600
1794.99/1891.01	o 115595
1794.99/1891.01	o 115557
1794.99/1891.01	o 115348
1794.99/1891.01	o 113790
1794.99/1891.01	o 112554
1794.99/1891.01	o 112542
1794.99/1891.01	o 112530
1794.99/1891.01	o 112528
1794.99/1891.01	o 112516
1794.99/1891.01	o 112510
1794.99/1891.01	o 112498
1794.99/1891.01	o 112467
1794.99/1891.01	o 112455
1794.99/1891.01	o 112451
1794.99/1891.01	o 112446
1794.99/1891.01	o 112420
1794.99/1891.01	o 112408
1794.99/1891.01	o 112406
1794.99/1891.01	o 112380
1794.99/1891.01	o 112368
1794.99/1891.01	o 112362
1794.99/1891.01	o 112350
1794.99/1891.01	o 112348
1794.99/1891.01	o 112336
1794.99/1891.01	o 112332
1794.99/1891.01	o 112318
1794.99/1891.01	o 112254
1794.99/1891.01	o 112242
1794.99/1891.01	o 112224
1794.99/1891.01	o 112210
1794.99/1891.01	o 112199
1794.99/1891.01	o 112161
1794.99/1891.01	o 112147
1794.99/1891.01	o 112133
1794.99/1891.01	o 112101
1794.99/1891.01	o 112089
1794.99/1891.01	o 112075
1794.99/1891.01	o 111997
1794.99/1891.01	o 111985
1794.99/1891.01	o 111981
1794.99/1891.01	o 111967
1794.99/1891.01	o 111963
1794.99/1891.01	o 111949
1794.99/1891.01	o 111905
1794.99/1891.01	o 111899
1794.99/1891.01	o 111887
1794.99/1891.01	o 111861
1794.99/1891.01	o 111859
1794.99/1891.01	o 111847
1794.99/1891.01	o 111815
1794.99/1891.01	o 111803
1794.99/1891.01	o 111791
1794.99/1891.01	o 111777
1794.99/1891.01	o 111769
1794.99/1891.01	o 111739
1794.99/1891.01	o 111725
1794.99/1891.01	o 111721
1794.99/1891.01	o 111707
1794.99/1891.01	o 111663
1794.99/1891.01	o 111661
1794.99/1891.01	o 111649
1794.99/1891.01	o 111638
1794.99/1891.01	o 111624
1794.99/1891.01	o 111618
1794.99/1891.01	o 111606
1794.99/1891.01	o 111580
1794.99/1891.01	o 111546
1794.99/1891.01	o 111545
1794.99/1891.01	o 111502
1794.99/1891.01	o 111488
1794.99/1891.01	o 111470
1794.99/1891.01	o 111461
1794.99/1891.01	o 111447
1794.99/1891.01	o 111383
1794.99/1891.01	o 111382
1794.99/1891.01	o 111316
1794.99/1891.01	o 111273
1794.99/1891.01	o 111267
1794.99/1891.01	o 111224
1794.99/1891.01	o 111166
1794.99/1891.01	o 111140
1794.99/1891.01	o 111137
1794.99/1891.01	o 111013
1794.99/1891.01	o 110975
1794.99/1891.01	o 110932
1794.99/1891.01	o 109452
1794.99/1891.01	o 109374
1794.99/1891.01	o 107894
1794.99/1891.01	o 107846
1794.99/1891.01	o 107834
1794.99/1891.01	o 107832
1794.99/1891.01	o 107820
1794.99/1891.01	o 107803
1794.99/1891.01	o 107733
1794.99/1891.01	o 107681
1794.99/1891.01	o 107669
1794.99/1891.01	o 107657
1794.99/1891.01	o 107637
1794.99/1891.01	o 107611
1794.99/1891.01	o 107547
1794.99/1891.01	o 107495
1794.99/1891.01	o 107489
1794.99/1891.01	o 107477
1794.99/1891.01	o 107466
1794.99/1891.01	o 107464
1794.99/1891.01	o 107452
1794.99/1891.01	o 107448
1794.99/1891.01	o 107446
1794.99/1891.01	o 107434
1794.99/1891.01	o 107428
1794.99/1891.01	o 107385
1794.99/1891.01	o 107379
1794.99/1891.01	o 107327
1794.99/1891.01	o 107319
1794.99/1891.01	o 107313
1794.99/1891.01	o 107261
1794.99/1891.01	o 107249
1794.99/1891.01	o 107203
1794.99/1891.01	o 107191
1794.99/1891.01	o 107187
1794.99/1891.01	o 107185
1794.99/1891.01	o 107173
1794.99/1891.01	o 107165
1794.99/1891.01	o 107150
1794.99/1891.01	o 107133
1794.99/1891.01	o 107121
1794.99/1891.01	o 107107
1794.99/1891.01	o 107095
1794.99/1891.01	o 107037
1794.99/1891.01	o 107023
1794.99/1891.01	o 107015
1794.99/1891.01	o 107001
1794.99/1891.01	o 106937
1794.99/1891.01	o 106927
1794.99/1891.01	o 106922
1794.99/1891.01	o 106918
1794.99/1891.01	o 106916
1794.99/1891.01	o 106904
1794.99/1891.01	o 106873
1794.99/1891.01	o 106861
1794.99/1891.01	o 106856
1794.99/1891.01	o 106818
1794.99/1891.01	o 106580
1794.99/1891.01	o 104984
1794.99/1891.01	o 104967
1794.99/1891.01	o 104955
1794.99/1891.01	o 104935
1794.99/1891.01	o 104903
1794.99/1891.01	o 104891
1794.99/1891.01	o 104877
1794.99/1891.01	o 104865
1794.99/1891.01	o 104813
1794.99/1891.01	o 104787
1794.99/1891.01	o 104749
1794.99/1891.01	o 104735
1794.99/1891.01	o 104683
1794.99/1891.01	o 104671
1794.99/1891.01	o 104613
1794.99/1891.01	o 104607
1794.99/1891.01	o 104555
1794.99/1891.01	o 104505
1794.99/1891.01	o 104447
1794.99/1891.01	o 104433
1794.99/1891.01	o 104168
1794.99/1891.01	o 104090
1794.99/1891.01	o 104077
1794.99/1891.01	o 104065
1794.99/1891.01	o 103330
1794.99/1891.01	o 103124
1794.99/1891.01	o 103046
1794.99/1891.01	o 103014
1794.99/1891.01	o 103000
1794.99/1891.01	o 102881
1794.99/1891.01	o 102803
1794.99/1891.01	o 102751
1794.99/1891.01	o 102733
1794.99/1891.01	o 102715
1794.99/1891.01	o 102701
1794.99/1891.01	o 102689
1794.99/1891.01	o 102681
1794.99/1891.01	o 102623
1794.99/1891.01	o 102585
1794.99/1891.01	o 102580
1794.99/1891.01	o 102556
1794.99/1891.01	o 102542
1794.99/1891.01	o 102541
1794.99/1891.01	o 102535
1794.99/1891.01	o 102457
1794.99/1891.01	o 102414
1794.99/1891.01	o 102408
1794.99/1891.01	o 102342
1794.99/1891.01	o 102304
1794.99/1891.01	o 102267
1794.99/1891.01	o 100500
1794.99/1891.01	o 100492
1794.99/1891.01	o 100472
1794.99/1891.01	o 100428
1794.99/1891.01	o 100422
1794.99/1891.01	o 100344
1794.99/1891.01	o 100144
1794.99/1891.01	o 99970
1794.99/1891.01	o 99785
1794.99/1891.01	o 99727
1794.99/1891.01	o 99617
1794.99/1891.01	o 99591
1794.99/1891.01	o 99588
1794.99/1891.01	o 99464
1794.99/1891.01	o 99426
1794.99/1891.01	o 99418
1794.99/1891.01	o 99412
1794.99/1891.01	o 99334
1794.99/1891.01	o 99316
1794.99/1891.01	o 99078
1794.99/1891.01	o 99047
1794.99/1891.01	o 99029
1794.99/1891.01	o 98991
1794.99/1891.01	o 98924
1794.99/1891.01	o 98881
1794.99/1891.01	o 98733
1794.99/1891.01	o 97329
1794.99/1891.01	o 97279
1794.99/1891.01	o 97065
1794.99/1891.01	o 95447
1794.99/1891.01	o 95204
1794.99/1891.01	o 95098
1794.99/1891.01	o 93445
1794.99/1891.01	o 93411
1794.99/1891.01	o 93399
1794.99/1891.01	o 93321
1794.99/1891.01	o 93283
1794.99/1891.01	o 93265
1794.99/1891.01	o 92919
1794.99/1891.01	o 92853
1794.99/1891.01	o 92588
1794.99/1891.01	o 92510
1794.99/1891.01	o 92272
1794.99/1891.01	o 92263
1794.99/1891.01	o 92220
1794.99/1891.01	o 92177
1794.99/1891.01	o 92029
1794.99/1891.01	o 91943
1794.99/1891.01	o 90271
1794.99/1891.01	o 90262
1794.99/1891.01	o 90248
1794.99/1891.01	o 90236
1794.99/1891.01	o 90230
1794.99/1891.01	o 90222
1794.99/1891.01	o 90204
1794.99/1891.01	o 90192
1794.99/1891.01	o 90149
1794.99/1891.01	o 90115
1794.99/1891.01	o 90101
1794.99/1891.01	o 90089
1794.99/1891.01	o 90071
1794.99/1891.01	o 90062
1794.99/1891.01	o 90044
1794.99/1891.01	o 90026
1794.99/1891.01	o 90014
1794.99/1891.01	o 90000
1794.99/1891.01	o 89993
1794.99/1891.01	o 89979
1794.99/1891.01	o 89939
1794.99/1891.01	o 89869
1794.99/1891.01	o 89857
1794.99/1891.01	o 89817
1794.99/1891.01	o 89805
1794.99/1891.01	o 89761
1794.99/1891.01	o 89703
1794.99/1891.01	o 89689
1794.99/1891.01	o 89637
1794.99/1891.01	o 89625
1794.99/1891.01	o 89585
1794.99/1891.01	o 89527
1794.99/1891.01	o 89515
1794.99/1891.01	o 89483
1794.99/1891.01	o 89471
1794.99/1891.01	o 89469
1794.99/1891.01	o 89457
1794.99/1891.01	o 89433
1794.99/1891.01	o 89381
1794.99/1891.01	o 89369
1794.99/1891.01	o 89317
1794.99/1891.01	o 89303
1794.99/1891.01	o 89271
1794.99/1891.01	o 89257
1794.99/1891.01	o 89245
1794.99/1891.01	o 89239
1794.99/1891.01	o 89225
1794.99/1891.01	o 89213
1794.99/1891.01	o 89207
1794.99/1891.01	o 89193
1794.99/1891.01	o 89149
1794.99/1891.01	o 89128
1794.99/1891.01	o 89114
1794.99/1891.01	o 89100
1794.99/1891.01	o 89088
1794.99/1891.01	o 89050
1794.99/1891.01	o 89036
1794.99/1891.01	o 89010
1794.99/1891.01	o 88996
1794.99/1891.01	o 88952
1794.99/1891.01	o 88932
1794.99/1891.01	o 88888
1794.99/1891.01	o 88874
1794.99/1891.01	o 88862
1794.99/1891.01	o 88858
1794.99/1891.01	o 88828
1794.99/1891.01	o 88814
1794.99/1891.01	o 88808
1794.99/1891.01	o 88796
1794.99/1891.01	o 88788
1794.99/1891.01	o 88770
1794.99/1891.01	o 88660
1794.99/1891.01	o 88617
1794.99/1891.01	o 88610
1794.99/1891.01	o 88503
1794.99/1891.01	o 88323
1794.99/1891.01	o 88058
1794.99/1891.01	o 87980
1794.99/1891.01	o 87942
1794.99/1891.01	o 87899
1794.99/1891.01	o 87870
1794.99/1891.01	o 87684
1794.99/1891.01	o 87614
1794.99/1891.01	o 87476
1794.99/1891.01	o 87374
1794.99/1891.01	o 87027
1794.99/1891.01	o 86998
1794.99/1891.01	o 86984
1794.99/1891.01	o 86932
1794.99/1891.01	o 86918
1794.99/1891.01	o 86912
1794.99/1891.01	o 86898
1794.99/1891.01	o 86886
1794.99/1891.01	o 86882
1794.99/1891.01	o 86868
1794.99/1891.01	o 86860
1794.99/1891.01	o 86822
1794.99/1891.01	o 86810
1794.99/1891.01	o 86796
1794.99/1891.01	o 86790
1794.99/1891.01	o 86782
1794.99/1891.01	o 86738
1794.99/1891.01	o 86680
1794.99/1891.01	o 86573
1794.99/1891.01	o 86562
1794.99/1891.01	o 86408
1794.99/1891.01	o 86222
1794.99/1891.01	o 86008
1794.99/1891.01	o 86005
1794.99/1891.01	o 85987
1794.99/1891.01	o 85921
1794.99/1891.01	o 85854
1794.99/1891.01	o 85811
1794.99/1891.01	o 85573
1794.99/1891.01	o 84311
1794.99/1891.01	o 84307
1794.99/1891.01	o 84305
1794.99/1891.01	o 84293
1794.99/1891.01	o 84227
1794.99/1891.01	o 84215
1794.99/1891.01	o 84209
1794.99/1891.01	o 84169
1794.99/1891.01	o 84157
1794.99/1891.01	o 84149
1794.99/1891.01	o 84137
1794.99/1891.01	o 84105
1794.99/1891.01	o 84093
1794.99/1891.01	o 84091
1794.99/1891.01	o 84079
1794.99/1891.01	o 84076
1794.99/1891.01	o 84059
1794.99/1891.01	o 84047
1794.99/1891.01	o 84033
1794.99/1891.01	o 84028
1794.99/1891.01	o 84016
1794.99/1891.01	o 84012
1794.99/1891.01	o 84010
1794.99/1891.01	o 83998
1794.99/1891.01	o 83986
1794.99/1891.01	o 83950
1794.99/1891.01	o 83938
1794.99/1891.01	o 83920
1794.99/1891.01	o 83873
1794.99/1891.01	o 83861
1794.99/1891.01	o 83829
1794.99/1891.01	o 83817
1794.99/1891.01	o 83803
1794.99/1891.01	o 83783
1794.99/1891.01	o 83751
1794.99/1891.01	o 83737
1794.99/1891.01	o 83725
1794.99/1891.01	o 83720
1794.99/1891.01	o 83682
1794.99/1891.01	o 83646
1794.99/1891.01	o 83580
1794.99/1891.01	o 83293
1794.99/1891.01	o 83145
1794.99/1891.01	o 82915
1794.99/1891.01	o 82683
1794.99/1891.01	o 82651
1794.99/1891.01	o 82477
1794.99/1891.01	o 82434
1794.99/1891.01	o 82376
1794.99/1891.01	o 82269
1794.99/1891.01	o 82185
1794.99/1891.01	o 82031
1794.99/1891.01	o 82025
1794.99/1891.01	o 81947
1794.99/1891.01	o 81829
1794.99/1891.01	o 81695
1794.99/1891.01	o 81571
1794.99/1891.01	o 81533
1794.99/1891.01	o 81490
1794.99/1891.01	o 81203
1794.99/1891.01	o 81055
1794.99/1891.01	o 79767
1794.99/1891.01	o 78145
1794.99/1891.01	o 78142
1794.99/1891.01	o 78066
1794.99/1891.01	o 78008
1794.99/1891.01	o 77988
1794.99/1891.01	o 77938
1794.99/1891.01	o 77924
1794.99/1891.01	o 77866
1794.99/1891.01	o 77860
1794.99/1891.01	o 77852
1794.99/1891.01	o 77808
1794.99/1891.01	o 77797
1794.99/1891.01	o 77783
1794.99/1891.01	o 77765
1794.99/1891.01	o 77756
1794.99/1891.01	o 77742
1794.99/1891.01	o 77724
1794.99/1891.01	o 77686
1794.99/1891.01	o 77672
1794.99/1891.01	o 77661
1794.99/1891.01	o 77643
1794.99/1891.01	o 77629
1794.99/1891.01	o 77628
1794.99/1891.01	o 77617
1794.99/1891.01	o 77599
1794.99/1891.01	o 77585
1794.99/1891.01	o 77559
1794.99/1891.01	o 77541
1794.99/1891.01	o 77527
1794.99/1891.01	o 77507
1794.99/1891.01	o 77489
1794.99/1891.01	o 77475
1794.99/1891.01	o 77463
1794.99/1891.01	o 77455
1794.99/1891.01	o 77441
1794.99/1891.01	o 77429
1794.99/1891.01	o 77275
1794.99/1891.01	o 77266
1794.99/1891.01	o 77208
1794.99/1891.01	o 77165
1794.99/1891.01	o 77063
1794.99/1891.01	o 76831
1794.99/1891.01	o 75569
1794.99/1891.01	o 75565
1794.99/1891.01	o 75521
1794.99/1891.01	o 75507
1794.99/1891.01	o 75460
1794.99/1891.01	o 75448
1794.99/1891.01	o 75396
1794.99/1891.01	o 75285
1794.99/1891.01	o 75253
1794.99/1891.01	o 75175
1794.99/1891.01	o 75111
1794.99/1891.01	o 75093
1794.99/1891.01	o 75079
1794.99/1891.01	o 75001
1794.99/1891.01	o 74969
1794.99/1891.01	o 74905
1794.99/1891.01	o 74891
1794.99/1891.01	o 74827
1794.99/1891.01	o 74763
1794.99/1891.01	o 74609
1794.99/1891.01	o 74525
1794.99/1891.01	o 74461
1794.99/1891.01	o 74459
1794.99/1891.01	o 74447
1794.99/1891.01	o 74366
1794.99/1891.01	o 74360
1794.99/1891.01	o 74348
1794.99/1891.01	o 74334
1794.99/1891.01	o 74294
1794.99/1891.01	o 74172
1794.99/1891.01	o 74160
1794.99/1891.01	o 74146
1794.99/1891.01	o 74126
1794.99/1891.01	o 74082
1794.99/1891.01	o 74064
1794.99/1891.01	o 74058
1794.99/1891.01	o 73980
1794.99/1891.01	o 73954
1794.99/1891.01	o 73951
1794.99/1891.01	o 73827
1794.99/1891.01	o 73789
1794.99/1891.01	o 73746
1794.99/1891.01	o 73664
1794.99/1891.01	o 73650
1794.99/1891.01	o 73616
1794.99/1891.01	o 73602
1794.99/1891.01	o 73584
1794.99/1891.01	o 73538
1794.99/1891.01	o 73436
1794.99/1891.01	o 73422
1794.99/1891.01	o 73408
1794.99/1891.01	o 73396
1794.99/1891.01	o 73242
1794.99/1891.01	o 73239
1794.99/1891.01	o 73132
1794.99/1891.01	o 73089
1794.99/1891.01	o 73077
1794.99/1891.01	o 73063
1794.99/1891.01	o 73051
1794.99/1891.01	o 72984
1794.99/1891.01	o 72941
1794.99/1891.01	o 72930
1794.99/1891.01	o 72929
1794.99/1891.01	o 72915
1794.99/1891.01	o 72886
1794.99/1891.01	o 72872
1794.99/1891.01	o 72862
1794.99/1891.01	o 72836
1794.99/1891.01	o 72714
1794.99/1891.01	o 72700
1794.99/1891.01	o 72668
1794.99/1891.01	o 72648
1794.99/1891.01	o 72604
1794.99/1891.01	o 72598
1794.99/1891.01	o 72540
1794.99/1891.01	o 72526
1794.99/1891.01	o 72494
1794.99/1891.01	o 72480
1794.99/1891.01	o 72477
1794.99/1891.01	o 72379
1794.99/1891.01	o 72335
1794.99/1891.01	o 72327
1794.99/1891.01	o 72283
1794.99/1891.01	o 72277
1794.99/1891.01	o 72263
1794.99/1891.01	o 72205
1794.99/1891.01	o 72187
1794.99/1891.01	o 72175
1794.99/1891.01	o 72123
1794.99/1891.01	o 72109
1794.99/1891.01	o 72103
1794.99/1891.01	o 72089
1794.99/1891.01	o 72037
1794.99/1891.01	o 72025
1794.99/1891.01	o 72011
1794.99/1891.01	o 71993
1794.99/1891.01	o 71979
1794.99/1891.01	o 71915
1794.99/1891.01	o 71859
1794.99/1891.01	o 71845
1794.99/1891.01	o 71787
1794.99/1891.01	o 71735
1794.99/1891.01	o 71683
1794.99/1891.01	o 71679
1794.99/1891.01	o 71665
1794.99/1891.01	o 71654
1794.99/1891.01	o 71636
1794.99/1891.01	o 71613
1794.99/1891.01	o 71547
1794.99/1891.01	o 71543
1794.99/1891.01	o 71529
1794.99/1891.01	o 71494
1794.99/1891.01	o 71480
1794.99/1891.01	o 71436
1794.99/1891.01	o 71418
1794.99/1891.01	o 71393
1794.99/1891.01	o 71389
1794.99/1891.01	o 71375
1794.99/1891.01	o 71363
1794.99/1891.01	o 71345
1794.99/1891.01	o 71235
1794.99/1891.01	o 71223
1794.99/1891.01	o 71210
1794.99/1891.01	o 71192
1794.99/1891.01	o 71090
1794.99/1891.01	o 71078
1794.99/1891.01	o 70904
1794.99/1891.01	o 70837
1794.99/1891.01	o 70794
1794.99/1891.01	o 70687
1794.99/1891.01	o 70609
1794.99/1891.01	o 70455
1794.99/1891.01	o 70190
1794.99/1891.01	o 70112
1794.99/1891.01	o 69959
1794.99/1891.01	o 69935
1794.99/1891.01	o 69921
1794.99/1891.01	o 69901
1794.99/1891.01	o 69658
1794.99/1891.01	o 69382
1794.99/1891.01	o 69342
1794.99/1891.01	o 69324
1794.99/1891.01	o 69234
1794.99/1891.01	o 69220
1794.99/1891.01	o 69156
1794.99/1891.01	o 69002
1794.99/1891.01	o 68822
1794.99/1891.01	o 68755
1794.99/1891.01	o 68744
1794.99/1891.01	o 68730
1794.99/1891.01	o 68712
1794.99/1891.01	o 68703
1794.99/1891.01	o 68689
1794.99/1891.01	o 68671
1794.99/1891.01	o 68607
1794.99/1891.01	o 68404
1794.99/1891.01	o 68346
1794.99/1891.01	o 68294
1794.99/1891.01	o 68184
1794.99/1891.01	o 68146
1794.99/1891.01	o 68144
1794.99/1891.01	o 68092
1794.99/1891.01	o 68054
1794.99/1891.01	o 66780
1794.99/1891.01	o 65162
1794.99/1891.01	o 65151
1794.99/1891.01	o 65137
1794.99/1891.01	o 65087
1794.99/1891.01	o 65041
1794.99/1891.01	o 65003
1794.99/1891.01	o 64963
1794.99/1891.01	o 64925
1794.99/1891.01	o 64823
1794.99/1891.01	o 64791
1794.99/1891.01	o 64782
1794.99/1891.01	o 64768
1794.99/1891.01	o 64756
1794.99/1891.01	o 64672
1794.99/1891.01	o 64594
1794.99/1891.01	o 64550
1794.99/1891.01	o 64536
1794.99/1891.01	o 64524
1794.99/1891.01	o 64508
1794.99/1891.01	o 64265
1794.99/1891.01	o 64251
1794.99/1891.01	o 64199
1794.99/1891.01	o 64196
1794.99/1891.01	o 64184
1794.99/1891.01	o 64181
1794.99/1891.01	o 64117
1794.99/1891.01	o 64103
1794.99/1891.01	o 64097
1794.99/1891.01	o 64059
1794.99/1891.01	o 64045
1794.99/1891.01	o 64025
1794.99/1891.01	o 63987
1794.99/1891.01	o 63981
1794.99/1891.01	o 63929
1794.99/1891.01	o 63885
1794.99/1891.01	o 63871
1794.99/1891.01	o 63819
1794.99/1891.01	o 63807
1794.99/1891.01	o 63787
1794.99/1891.01	o 63773
1794.99/1891.01	o 63767
1794.99/1891.01	o 63729
1794.99/1891.01	o 63715
1794.99/1891.01	o 63683
1794.99/1891.01	o 63671
1794.99/1891.01	o 63633
1794.99/1891.01	o 63575
1794.99/1891.01	o 63561
1794.99/1891.01	o 63549
1794.99/1891.01	o 63511
1794.99/1891.01	o 63497
1794.99/1891.01	o 63491
1794.99/1891.01	o 63485
1794.99/1891.01	o 63433
1794.99/1891.01	o 63371
1794.99/1891.01	o 63313
1794.99/1891.01	o 63299
1794.99/1891.01	o 63273
1794.99/1891.01	o 63235
1794.99/1891.01	o 63177
1794.99/1891.01	o 63157
1794.99/1891.01	o 62937
1794.99/1891.01	o 62925
1794.99/1891.01	o 62879
1794.99/1891.01	o 62682
1794.99/1891.01	o 62630
1794.99/1891.01	o 62502
1794.99/1891.01	o 62493
1794.99/1891.01	o 62331
1794.99/1891.01	o 62293
1794.99/1891.01	o 62119
1794.99/1891.01	o 62015
1794.99/1891.01	o 61997
1794.99/1891.01	o 61977
1794.99/1891.01	o 61939
1794.99/1891.01	o 61899
1794.99/1891.01	o 61885
1794.99/1891.01	o 61873
1794.99/1891.01	o 61806
1794.99/1891.01	o 61763
1794.99/1891.01	o 61656
1794.99/1891.01	o 61636
1794.99/1891.01	o 61622
1794.99/1891.01	o 61570
1794.99/1891.01	o 59887
1794.99/1891.01	o 59827
1794.99/1891.01	o 59661
1794.99/1891.01	o 59583
1794.99/1891.01	o 59579
1794.99/1891.01	o 59501
1794.99/1891.01	o 59434
1794.99/1891.01	o 59391
1794.99/1891.01	o 59333
1794.99/1891.01	o 59315
1794.99/1891.01	o 59249
1794.99/1891.01	o 59095
1794.99/1891.01	o 59052
1794.99/1891.01	o 59040
1794.99/1891.01	o 59012
1794.99/1891.01	o 59000
1794.99/1891.01	o 58970
1794.99/1891.01	o 58956
1794.99/1891.01	o 58947
1794.99/1891.01	o 58889
1794.99/1891.01	o 58858
1794.99/1891.01	o 57764
1794.99/1891.01	o 57480
1794.99/1891.01	o 57459
1794.99/1891.01	o 57297
1794.99/1891.01	o 57239
1794.99/1891.01	o 57132
1794.99/1891.01	o 57106
1794.99/1891.01	o 56898
1794.99/1891.01	o 56884
1794.99/1891.01	o 56832
1794.99/1891.01	o 56829
1794.99/1891.01	o 56722
1794.99/1891.01	o 56496
1794.99/1891.01	o 56418
1794.99/1891.01	o 56264
1794.99/1891.01	o 56140
1794.99/1891.01	o 56102
1794.99/1891.01	o 56097
1794.99/1891.01	o 56054
1794.99/1891.01	o 56036
1794.99/1891.01	o 55914
1794.99/1891.01	o 55902
1794.99/1891.01	o 55887
1794.99/1891.01	o 55873
1794.99/1891.01	o 55835
1794.99/1891.01	o 55792
1794.99/1891.01	o 54782
1794.99/1891.01	o 54756
1794.99/1891.01	o 54738
1794.99/1891.01	o 54622
1794.99/1891.01	o 54608
1794.99/1891.01	o 54564
1794.99/1891.01	o 54390
1794.99/1891.01	o 54357
1794.99/1891.01	o 54305
1794.99/1891.01	o 54267
1794.99/1891.01	o 54255
1794.99/1891.01	o 54215
1794.99/1891.01	o 54189
1794.99/1891.01	o 54145
1794.99/1891.01	o 54093
1794.99/1891.01	o 54047
1794.99/1891.01	o 53989
1794.99/1891.01	o 53981
1794.99/1891.01	o 53975
1794.99/1891.01	o 53967
1794.99/1891.01	o 53923
1794.99/1891.01	o 53918
1794.99/1891.01	o 53874
1794.99/1891.01	o 53868
1794.99/1891.01	o 53816
1794.99/1891.01	o 53810
1794.99/1891.01	o 53744
1794.99/1891.01	o 53732
1794.99/1891.01	o 53674
1794.99/1891.01	o 53634
1794.99/1891.01	o 53614
1794.99/1891.01	o 53570
1794.99/1891.01	o 53564
1794.99/1891.01	o 53556
1794.99/1891.01	o 53512
1794.99/1891.01	o 52206
1794.99/1891.01	o 52201
1794.99/1891.01	o 52181
1794.99/1891.01	o 52137
1794.99/1891.01	o 52123
1794.99/1891.01	o 52079
1794.99/1891.01	o 52073
1794.99/1891.01	o 52021
1794.99/1891.01	o 52012
1794.99/1891.01	o 50880
1794.99/1891.01	o 50854
1794.99/1891.01	o 50842
1794.99/1891.01	o 50828
1794.99/1891.01	o 50776
1794.99/1891.01	o 50738
1794.99/1891.01	o 50686
1794.99/1891.01	o 50674
1794.99/1891.01	o 50636
1794.99/1891.01	o 50611
1794.99/1891.01	o 50593
1794.99/1891.01	o 50555
1794.99/1891.01	o 50361
1794.99/1891.01	o 50078
1794.99/1891.01	o 50026
1794.99/1891.01	o 50000
1794.99/1891.01	o 49936
1794.99/1891.01	o 49884
1794.99/1891.01	o 49869
1794.99/1891.01	o 49794
1794.99/1891.01	o 49672
1794.99/1891.01	o 49635
1794.99/1891.01	o 49577
1794.99/1891.01	o 49525
1794.99/1891.01	o 49473
1794.99/1891.01	o 49429
1794.99/1891.01	o 49401
1794.99/1891.01	o 49189
1794.99/1891.01	o 49177
1794.99/1891.01	o 49158
1794.99/1891.01	o 49146
1794.99/1891.01	o 49024
1794.99/1891.01	o 48981
1794.99/1891.01	o 48943
1794.99/1891.01	o 47933
1794.99/1891.01	o 46749
1794.99/1891.01	o 45173
1794.99/1891.01	o 44015
1794.99/1891.01	o 43924
1794.99/1891.01	o 43872
1794.99/1891.01	o 43814
1794.99/1891.01	o 43794
1794.99/1891.01	o 43750
1794.99/1891.01	o 43742
1794.99/1891.01	o 43562
1794.99/1891.01	o 43542
1794.99/1891.01	o 43498
1794.99/1891.01	o 43234
1794.99/1891.01	o 43170
1794.99/1891.01	o 42973
1794.99/1891.01	o 42909
1794.99/1891.01	o 42851
1794.99/1891.01	o 42796
1794.99/1891.01	o 42738
1794.99/1891.01	o 42686
1794.99/1891.01	o 42622
1794.99/1891.01	o 42564
1794.99/1891.01	o 42508
1794.99/1891.01	o 42496
1794.99/1891.01	o 42494
1794.99/1891.01	o 42474
1794.99/1891.01	o 42430
1794.99/1891.01	o 42372
1794.99/1891.01	o 42334
1794.99/1891.01	o 42320
1794.99/1891.01	o 42308
1794.99/1891.01	o 42303
1794.99/1891.01	o 42277
1794.99/1891.01	o 42213
1794.99/1891.01	o 42155
1794.99/1891.01	o 42045
1794.99/1891.01	o 41981
1794.99/1891.01	o 41975
1794.99/1891.01	o 41963
1794.99/1891.01	o 41923
1794.99/1891.01	o 41871
1794.99/1891.01	o 41859
1794.99/1891.01	o 41838
1794.99/1891.01	o 41826
1794.99/1891.01	o 41742
1794.99/1891.01	o 41704
1794.99/1891.01	o 41646
1794.99/1891.01	o 41634
1794.99/1891.01	o 41594
1794.99/1891.01	o 41582
1794.99/1891.01	o 41568
1794.99/1891.01	o 41528
1794.99/1891.01	o 41516
1794.99/1891.01	o 41478
1794.99/1891.01	o 41472
1794.99/1891.01	o 41414
1794.99/1891.01	o 41388
1794.99/1891.01	o 41376
1794.99/1891.01	o 41370
1794.99/1891.01	o 41356
1794.99/1891.01	o 41202
1794.99/1891.01	s SATISFIABLE
1794.99/1891.01	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

Verifier Data 

OK	41202

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 (62265 MiB free)
  memory of node 1: 64510 MiB (63500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437176-1722971562/watcher-4437176-1722971562 -o /tmp/evaluation-result-4437176-1722971562/solver-4437176-1722971562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722971562-350197 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437176-1722971562.opb 3600 HOME 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=350249, runsolver pid=350242
Current StackSize limit: 8192 KiB


[startup+0.100082 s]*
/proc/loadavg: 1.04 1.10 1.55 6/267 350272
/proc/meminfo: memFree=128756568/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=21700 memory=9188 CPUtime=0.1 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 887 0 0 0 10 0 0 0 20 0 1 0 63753650 22220800 2297 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 5425 2297 1105 2753 0 2078 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40292 KiB
Current children cumulated memory: 12860 KiB

[startup+0.206689 s]*
/proc/loadavg: 1.04 1.10 1.55 6/267 350272
/proc/meminfo: memFree=128717652/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=42212 memory=34520 CPUtime=0.2 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5659 0 0 0 20 0 0 0 20 0 1 0 63753650 43225088 8630 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 10553 8630 2801 2753 0 7206 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60804 KiB
Current children cumulated memory: 38192 KiB

[startup+0.306673 s]*
/proc/loadavg: 1.04 1.10 1.55 6/267 350272
/proc/meminfo: memFree=128721908/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=0.3 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 29 1 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+0.700203 s]
/proc/loadavg: 1.04 1.10 1.55 6/267 350272
/proc/meminfo: memFree=128721264/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=0.68 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 66 2 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+1.50023 s]
/proc/loadavg: 1.27 1.14 1.56 6/267 350272
/proc/meminfo: memFree=128721160/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=1.48 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 143 5 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+3.10623 s]
/proc/loadavg: 1.27 1.14 1.56 6/267 350272
/proc/meminfo: memFree=128579400/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=3.08 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 295 13 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+6.30022 s]
/proc/loadavg: 1.49 1.19 1.58 6/267 350272
/proc/meminfo: memFree=128530896/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=6.27 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 601 26 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+12.7002 s]
/proc/loadavg: 1.77 1.26 1.60 6/267 350274
/proc/meminfo: memFree=128489720/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=12.66 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 1210 56 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.35 1.62 6/267 350275
/proc/meminfo: memFree=128511628/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=25.43 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 2429 114 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+51.1053 s]
/proc/loadavg: 2.76 1.56 1.69 6/267 350280
/proc/meminfo: memFree=128510500/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 675 598 264 0 134 0
[pid=350266] ppid=350249 vsize=8660 memory=972 CPUtime=0 cores=4,6
/proc/350266/stat : 350266 (timeout) S 350249 350266 350186 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 63753650 8867840 243 134679101440 94243193516032 94243193551048 140727733916960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94243195648464 94243195650596 94243226386432 140727733920809 140727733920925 140727733920925 140727733927911 0
/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=28176 CPUtime=50.98 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 5931 0 0 0 4869 229 0 0 20 0 1 0 63753650 35885056 7044 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7044 2833 2753 0 5414 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 31848 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 2.07 1.85 6/267 350289
/proc/meminfo: memFree=128509536/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2700 CPUtime=0 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 239 101 0 0 0 0 0 0 20 0 1 0 63753650 10170368 675 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0

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

/proc/350266/statm: 2165 243 219 9 0 87 0
[pid=350270] ppid=350266 vsize=35044 memory=29192 CPUtime=1779.31 cores=4,6
/proc/350270/stat : 350270 (LS-MabSP) R 350266 350266 350186 0 -1 4194304 6007 0 0 0 169567 8364 0 0 20 0 1 0 63753650 35885056 7298 134679101440 4194304 15467897 140735287035232 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 53686272 140735287043132 140735287043235 140735287043235 140735287050221 0
/proc/350270/statm: 8761 7298 2833 2753 0 5414 0
Current children cumulated CPU time: 1779.31 s
Current children cumulated vsize: 53636 KiB
Current children cumulated memory: 32864 KiB

[startup+1842.3 s]
/proc/loadavg: 4.09 4.09 3.82 6/266 351295
/proc/meminfo: memFree=127788112/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135856 CPUtime=44.16 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19348 0 0 0 4409 7 0 0 20 0 1 0 63933450 183218176 33964 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33964 748 737 0 43819 0
Current children cumulated CPU time: 1839.15 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139644 KiB

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

# cumulated CPU time of all completed processes:  user=1803.31 s, system=84.4767 s

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

[startup+1843.2 s]
/proc/loadavg: 4.09 4.09 3.82 6/266 351295
/proc/meminfo: memFree=127787952/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135856 CPUtime=45.06 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19348 0 0 0 4499 7 0 0 20 0 1 0 63933450 183218176 33964 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33964 748 737 0 43819 0
Current children cumulated CPU time: 1840.05 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139644 KiB

[startup+1868.8 s]
/proc/loadavg: 4.14 4.10 3.83 6/266 351300
/proc/meminfo: memFree=127476896/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135860 CPUtime=70.6 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19459 0 0 0 7053 7 0 0 20 0 1 0 63933450 183218176 33965 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33965 748 737 0 43819 0
Current children cumulated CPU time: 1865.59 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139648 KiB

[startup+1881.6 s]
/proc/loadavg: 4.12 4.09 3.83 6/266 351302
/proc/meminfo: memFree=127467428/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135860 CPUtime=83.37 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19464 0 0 0 8330 7 0 0 20 0 1 0 63933450 183218176 33965 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33965 748 737 0 43819 0
Current children cumulated CPU time: 1878.36 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139648 KiB

[startup+1888 s]*
/proc/loadavg: 4.10 4.09 3.84 6/266 351303
/proc/meminfo: memFree=127466928/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135864 CPUtime=89.77 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19509 0 0 0 8970 7 0 0 20 0 1 0 63933450 183218176 33966 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33966 748 737 0 43819 0
Current children cumulated CPU time: 1884.76 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139652 KiB

[startup+1889.6 s]
/proc/loadavg: 4.10 4.09 3.84 6/266 351303
/proc/meminfo: memFree=127466936/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135864 CPUtime=91.36 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19512 0 0 0 9129 7 0 0 20 0 1 0 63933450 183218176 33966 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33966 748 737 0 43819 0
Current children cumulated CPU time: 1886.35 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139652 KiB

[startup+1890.4 s]
/proc/loadavg: 4.10 4.09 3.84 6/266 351303
/proc/meminfo: memFree=127466916/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135864 CPUtime=92.15 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19512 0 0 0 9208 7 0 0 20 0 1 0 63933450 183218176 33966 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33966 748 737 0 43819 0
Current children cumulated CPU time: 1887.14 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139652 KiB

[startup+1890.8 s]
/proc/loadavg: 4.10 4.09 3.84 6/266 351303
/proc/meminfo: memFree=127466916/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) S 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
[pid=351224] ppid=351222 vsize=178924 memory=135864 CPUtime=92.55 cores=4,6
/proc/351224/stat : 351224 (Exact) R 351222 351222 350186 0 -1 4194304 19513 0 0 0 9248 7 0 0 20 0 1 0 63933450 183218176 33966 134679101440 4194304 7210733 140724898001072 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7850304 7914896 14696448 140724898006032 140724898006182 140724898006182 140724898013168 0
/proc/351224/statm: 44731 33966 748 737 0 43819 0
Current children cumulated CPU time: 1887.54 s
Current children cumulated vsize: 197516 KiB
Current children cumulated memory: 139652 KiB

[startup+1891 s]*
/proc/loadavg: 4.10 4.09 3.84 6/266 351303
/proc/meminfo: memFree=127466904/131524600 swapFree=131071996/131071996
[pid=350249] ppid=350242 vsize=9932 memory=2748 CPUtime=1794.99 cores=4,6
/proc/350249/stat : 350249 (Hybrid-LSMabSP+) S 350242 350249 350186 0 -1 4194304 272 6230 0 0 0 0 171061 8438 20 0 1 0 63753650 10170368 687 134679101440 94836747882496 94836748961816 140733178321680 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94836751060272 94836751107460 94836766896128 140733178328040 140733178328186 140733178328186 140733178335201 0
/proc/350249/statm: 2483 687 598 264 0 134 0
[pid=351222] ppid=350249 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/351222/stat : 351222 (timeout) R 350249 351222 350186 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 63933450 8867840 260 134679101440 94642441420800 94642441455816 140726753332928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94642443553232 94642443555364 94642471432192 140726753334260 140726753334429 140726753334429 140726753341415 0
/proc/351222/statm: 2165 260 236 9 0 87 0
Current children cumulated CPU time: 1794.99 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3788 KiB

Child status: 0

Real time (s): 1891.03
CPU time (s): 1887.78
CPU user time (s): 1803.31
CPU system time (s): 84.4767
CPU usage (%): 99.8285
Max. virtual memory (cumulated for all children) (KiB): 197516
Max. memory (cumulated for all children) (KiB): 139652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1803.31
system time used= 84.4767
maximum resident set size= 177972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59
involuntary context switches= 2428


# summary of solver processes directly reported to runsolver:
#   pid: 350249
#   total CPU time (s): 1887.78
#   total CPU user time (s): 1803.31
#   total CPU system time (s): 84.4767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73253 second user time and 7.84998 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-08-06 21:12:42
IDJOB=4437176
IDBENCH=148154
IDSOLVER=3070
FILE ID=nodeC018/4437176-1722971562
RUNJOBID= nodeC018-1722971562-350197
SLURM_JOB_ID= 8259065
Free space on /tmp= 890084 MiB

SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437176-1722971562/watcher-4437176-1722971562 -o /tmp/evaluation-result-4437176-1722971562/solver-4437176-1722971562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722971562-350197 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437176-1722971562.opb 3600 HOME 31000

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

MD5SUM BENCH= 206b08b420dad9af66531a7207372127
RANDOM SEED=1927356863

nodeC018.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		: 3776.527
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	: 6999.92
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		: 3765.410
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.08
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		: 3626.299
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	: 6999.92
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		: 3727.303
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.08
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		: 3612.275
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	: 6999.92
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		: 3665.358
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.08
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		: 3754.506
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	: 6999.92
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		: 3779.600
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.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128785716 kB
MemAvailable:   129782504 kB
Buffers:          351428 kB
Cached:          1488848 kB
SwapCached:            0 kB
Active:           643380 kB
Inactive:        1568136 kB
Active(anon):       1436 kB
Inactive(anon):   407552 kB
Active(file):     641944 kB
Inactive(file):  1160584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             83168 kB
Writeback:             4 kB
AnonPages:        370668 kB
Mapped:            98944 kB
Shmem:             37720 kB
KReclaimable:      67812 kB
Slab:             161368 kB
SReclaimable:      67812 kB
SUnreclaim:        93556 kB
KernelStack:        3796 kB
PageTables:         9284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     737172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            28992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      244436 kB
DirectMap2M:    25743360 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC018 at 2024-08-06 21:44:14