Trace number 4457766

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-CASHWMaxSATDisjCadSP+Exact 2024-07-11SAT-104151 3585.99 3596.06

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
MD5SUM4e250cdab7b4044f2b74367cd304c22b
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 benchmark-110625
Best CPU time to get the best result obtained on this benchmark0.045906
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2000
Maximum length of a constraint2000
Number of terms in the objective function 2000
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 977737
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 10011
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1021141
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

3585.92/3596.02	c Exit code from Second Program: 124
3585.92/3596.04	o 0
3585.92/3596.04	o 0
3585.92/3596.04	o -94
3585.92/3596.04	o -482
3585.92/3596.04	o -800
3585.92/3596.04	o -1414
3585.92/3596.04	o -1937
3585.92/3596.04	o -2423
3585.92/3596.04	o -3099
3585.92/3596.04	o -3561
3585.92/3596.04	o -4526
3585.92/3596.04	o -4742
3585.92/3596.04	o -5382
3585.92/3596.04	o -5663
3585.92/3596.04	o -5673
3585.92/3596.04	o -6554
3585.92/3596.04	o -6561
3585.92/3596.04	o -6642
3585.92/3596.04	o -7236
3585.92/3596.04	o -7745
3585.92/3596.04	o -7974
3585.92/3596.04	o -8044
3585.92/3596.04	o -8146
3585.92/3596.04	o -8352
3585.92/3596.04	o -8355
3585.92/3596.04	o -9057
3585.92/3596.04	o -9450
3585.92/3596.04	o -9534
3585.92/3596.04	o -9846
3585.92/3596.04	o -9859
3585.92/3596.04	o -9866
3585.92/3596.04	o -10283
3585.92/3596.04	o -10703
3585.92/3596.04	o -10773
3585.92/3596.04	o -10875
3585.92/3596.04	o -10969
3585.92/3596.04	o -11189
3585.92/3596.04	o -11391
3585.92/3596.04	o -11999
3585.92/3596.04	o -12194
3585.92/3596.04	o -12713
3585.92/3596.04	o -13669
3585.92/3596.04	o -13752
3585.92/3596.04	o -13835
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -14211
3585.92/3596.04	o -18770
3585.92/3596.04	o -18770
3585.92/3596.04	o -18770
3585.92/3596.04	o -19388
3585.92/3596.04	o -19388
3585.92/3596.04	o -19433
3585.92/3596.04	o -19472
3585.92/3596.04	o -19472
3585.92/3596.04	o -19472
3585.92/3596.04	o -19783
3585.92/3596.04	o -19783
3585.92/3596.04	o -20436
3585.92/3596.04	o -20436
3585.92/3596.04	o -20695
3585.92/3596.04	o -20918
3585.92/3596.04	o -20963
3585.92/3596.04	o -20963
3585.92/3596.04	o -21064
3585.92/3596.04	o -21073
3585.92/3596.04	o -21073
3585.92/3596.04	o -21367
3585.92/3596.04	o -21368
3585.92/3596.04	o -21372
3585.92/3596.04	o -21377
3585.92/3596.04	o -21379
3585.92/3596.04	o -21570
3585.92/3596.04	o -21571
3585.92/3596.04	o -21572
3585.92/3596.04	o -22090
3585.92/3596.04	o -23037
3585.92/3596.04	o -23120
3585.92/3596.04	o -23218
3585.92/3596.04	o -23222
3585.92/3596.04	o -23222
3585.92/3596.04	o -23223
3585.92/3596.04	o -23230
3585.92/3596.04	o -23234
3585.92/3596.04	o -23248
3585.92/3596.04	o -23248
3585.92/3596.04	o -23248
3585.92/3596.04	o -23248
3585.92/3596.04	o -23248
3585.92/3596.04	o -23248
3585.92/3596.04	o -23252
3585.92/3596.04	o -23252
3585.92/3596.04	o -23252
3585.92/3596.04	o -23302
3585.92/3596.04	o -23616
3585.92/3596.04	o -23723
3585.92/3596.04	o -23885
3585.92/3596.04	o -23885
3585.92/3596.04	o -24033
3585.92/3596.04	o -24167
3585.92/3596.04	o -24172
3585.92/3596.04	o -24186
3585.92/3596.04	o -24274
3585.92/3596.04	o -24376
3585.92/3596.04	o -24376
3585.92/3596.04	o -24538
3585.92/3596.04	o -24642
3585.92/3596.04	o -24681
3585.92/3596.04	o -24701
3585.92/3596.04	o -24777
3585.92/3596.04	o -24807
3585.92/3596.04	o -24856
3585.92/3596.04	o -24940
3585.92/3596.04	o -24960
3585.92/3596.04	o -24985
3585.92/3596.04	o -24990
3585.92/3596.04	o -25109
3585.92/3596.04	o -25798
3585.92/3596.04	o -25798
3585.92/3596.04	o -25894
3585.92/3596.04	o -25903
3585.92/3596.04	o -25903
3585.92/3596.04	o -25921
3585.92/3596.04	o -25985
3585.92/3596.04	o -26015
3585.92/3596.04	o -26131
3585.92/3596.04	o -26140
3585.92/3596.04	o -26167
3585.92/3596.04	o -26222
3585.92/3596.04	o -26334
3585.92/3596.04	o -26345
3585.92/3596.04	o -26345
3585.92/3596.04	o -26396
3585.92/3596.04	o -27078
3585.92/3596.04	o -27078
3585.92/3596.04	o -27105
3585.92/3596.04	o -27131
3585.92/3596.04	o -27319
3585.92/3596.04	o -27328
3585.92/3596.04	o -27346
3585.92/3596.04	o -27346
3585.92/3596.04	o -27393
3585.92/3596.04	o -27398
3585.92/3596.04	o -27662
3585.92/3596.04	o -27768
3585.92/3596.04	o -27768
3585.92/3596.04	o -27777
3585.92/3596.04	o -27853
3585.92/3596.04	o -27858
3585.92/3596.04	o -28066
3585.92/3596.04	o -28067
3585.92/3596.04	o -28094
3585.92/3596.04	o -28234
3585.92/3596.04	o -28413
3585.92/3596.04	o -28421
3585.92/3596.04	o -28430
3585.92/3596.04	o -28508
3585.92/3596.04	o -28513
3585.92/3596.04	o -28513
3585.92/3596.04	o -28553
3585.92/3596.04	o -28580
3585.92/3596.04	o -28589
3585.92/3596.04	o -28748
3585.92/3596.04	o -28833
3585.92/3596.04	o -28947
3585.92/3596.04	o -28974
3585.92/3596.04	o -28974
3585.92/3596.04	o -29024
3585.92/3596.04	o -29033
3585.92/3596.04	o -29141
3585.92/3596.04	o -29272
3585.92/3596.04	o -29298
3585.92/3596.04	o -29378
3585.92/3596.04	o -29619
3585.92/3596.04	o -29830
3585.92/3596.04	o -29835
3585.92/3596.04	o -29954
3585.92/3596.04	o -29954
3585.92/3596.04	o -29954
3585.92/3596.04	o -29955
3585.92/3596.04	o -29955
3585.92/3596.04	o -29977
3585.92/3596.04	o -30063
3585.92/3596.04	o -30073
3585.92/3596.04	o -30157
3585.92/3596.04	o -30214
3585.92/3596.04	o -30281
3585.92/3596.04	o -30301
3585.92/3596.04	o -30483
3585.92/3596.04	o -30492
3585.92/3596.04	o -30519
3585.92/3596.04	o -30622
3585.92/3596.04	o -30650
3585.92/3596.04	o -30655
3585.92/3596.04	o -30708
3585.92/3596.04	o -31044
3585.92/3596.04	o -31044
3585.92/3596.04	o -31052
3585.92/3596.04	o -31053
3585.92/3596.04	o -31062
3585.92/3596.04	o -31089
3585.92/3596.04	o -31100
3585.92/3596.04	o -31295
3585.92/3596.04	o -31502
3585.92/3596.04	o -31587
3585.92/3596.04	o -31639
3585.92/3596.04	o -31814
3585.92/3596.04	o -32009
3585.92/3596.04	o -32528
3585.92/3596.04	o -32539
3585.92/3596.04	o -32694
3585.92/3596.04	o -32889
3585.92/3596.04	o -32939
3585.92/3596.04	o -33311
3585.92/3596.04	o -33345
3585.92/3596.04	o -33385
3585.92/3596.04	o -33459
3585.92/3596.04	o -33737
3585.92/3596.04	o -33787
3585.92/3596.04	o -33890
3585.92/3596.04	o -33895
3585.92/3596.04	o -33983
3585.92/3596.04	o -34282
3585.92/3596.04	o -34307
3585.92/3596.04	o -34307
3585.92/3596.04	o -34369
3585.92/3596.04	o -34379
3585.92/3596.04	o -34484
3585.92/3596.04	o -34529
3585.92/3596.04	o -34587
3585.92/3596.04	o -34631
3585.92/3596.04	o -34723
3585.92/3596.04	o -34773
3585.92/3596.04	o -34782
3585.92/3596.04	o -34788
3585.92/3596.04	o -34821
3585.92/3596.04	o -34821
3585.92/3596.04	o -34856
3585.92/3596.04	o -34885
3585.92/3596.04	o -34899
3585.92/3596.04	o -34941
3585.92/3596.04	o -34941
3585.92/3596.04	o -34949
3585.92/3596.04	o -34949
3585.92/3596.04	o -34980
3585.92/3596.04	o -34987
3585.92/3596.04	o -35014
3585.92/3596.04	o -35025
3585.92/3596.04	o -35220
3585.92/3596.04	o -35548
3585.92/3596.04	o -35789
3585.92/3596.04	o -35944
3585.92/3596.04	o -36139
3585.92/3596.04	o -36222
3585.92/3596.04	o -36267
3585.92/3596.04	o -36293
3585.92/3596.04	o -36320
3585.92/3596.04	o -36332
3585.92/3596.04	o -36336
3585.92/3596.04	o -36342
3585.92/3596.04	o -36375
3585.92/3596.04	o -36383
3585.92/3596.04	o -36387
3585.92/3596.04	o -36396
3585.92/3596.04	o -36420
3585.92/3596.04	o -36447
3585.92/3596.04	o -36477
3585.92/3596.04	o -36481
3585.92/3596.04	o -36491
3585.92/3596.04	o -36495
3585.92/3596.04	o -36498
3585.92/3596.04	o -36507
3585.92/3596.04	o -36684
3585.92/3596.04	o -36767
3585.92/3596.04	o -36807
3585.92/3596.04	o -36816
3585.92/3596.04	o -36836
3585.92/3596.04	o -36866
3585.92/3596.04	o -36877
3585.92/3596.04	o -36877
3585.92/3596.04	o -36902
3585.92/3596.04	o -36909
3585.92/3596.04	o -36921
3585.92/3596.04	o -37116
3585.92/3596.04	o -37195
3585.92/3596.04	o -37200
3585.92/3596.04	o -37355
3585.92/3596.04	o -37461
3585.92/3596.04	o -37589
3585.92/3596.04	o -37589
3585.92/3596.04	o -37599
3585.92/3596.04	o -37641
3585.92/3596.04	o -37685
3585.92/3596.04	o -37703
3585.92/3596.04	o -37713
3585.92/3596.04	o -37738
3585.92/3596.04	o -37854
3585.92/3596.04	o -38078
3585.92/3596.04	o -38146
3585.92/3596.04	o -38146
3585.92/3596.04	o -38240
3585.92/3596.04	o -38320
3585.92/3596.04	o -38453
3585.92/3596.04	o -38482
3585.92/3596.04	o -38492
3585.92/3596.04	o -38518
3585.92/3596.04	o -38533
3585.92/3596.04	o -38586
3585.92/3596.04	o -38785
3585.92/3596.04	o -38785
3585.92/3596.04	o -38839
3585.92/3596.04	o -38961
3585.92/3596.04	o -39018
3585.92/3596.04	o -39134
3585.92/3596.04	o -39170
3585.92/3596.04	o -39358
3585.92/3596.04	o -39407
3585.92/3596.04	o -39440
3585.92/3596.04	o -39450
3585.92/3596.04	o -39475
3585.92/3596.04	o -39484
3585.92/3596.04	o -39511
3585.92/3596.04	o -39594
3585.92/3596.04	o -39603
3585.92/3596.04	o -39845
3585.92/3596.04	o -39854
3585.92/3596.04	o -39934
3585.92/3596.04	o -39943
3585.92/3596.04	o -39992
3585.92/3596.04	o -40028
3585.92/3596.04	o -40105
3585.92/3596.04	o -40114
3585.92/3596.04	o -40206
3585.92/3596.04	o -40208
3585.92/3596.04	o -40242
3585.92/3596.04	o -40765
3585.92/3596.04	o -40774
3585.92/3596.04	o -40877
3585.92/3596.04	o -40913
3585.92/3596.04	o -40915
3585.92/3596.04	o -41067
3585.92/3596.04	o -41166
3585.92/3596.04	o -41255
3585.92/3596.04	o -41423
3585.92/3596.04	o -41503
3585.92/3596.04	o -41518
3585.92/3596.04	o -41520
3585.92/3596.04	o -41710
3585.92/3596.04	o -42034
3585.92/3596.04	o -42155
3585.92/3596.04	o -42189
3585.92/3596.04	o -42190
3585.92/3596.04	o -42193
3585.92/3596.04	o -42225
3585.92/3596.04	o -42603
3585.92/3596.04	o -42918
3585.92/3596.04	o -43001
3585.92/3596.04	o -43233
3585.92/3596.04	o -43401
3585.92/3596.04	o -43777
3585.92/3596.04	o -43968
3585.92/3596.04	o -44051
3585.92/3596.04	o -44316
3585.92/3596.04	o -44336
3585.92/3596.04	o -44345
3585.92/3596.04	o -44353
3585.92/3596.04	o -44358
3585.92/3596.04	o -44485
3585.92/3596.04	o -44497
3585.92/3596.04	o -44497
3585.92/3596.04	o -44507
3585.92/3596.04	o -44541
3585.92/3596.04	o -44560
3585.92/3596.04	o -44656
3585.92/3596.04	o -44665
3585.92/3596.04	o -44695
3585.92/3596.04	o -44725
3585.92/3596.04	o -44786
3585.92/3596.04	o -44844
3585.92/3596.04	o -44897
3585.92/3596.04	o -44901
3585.92/3596.04	o -44952
3585.92/3596.04	o -45031
3585.92/3596.04	o -45061
3585.92/3596.04	o -45204
3585.92/3596.04	o -45213
3585.92/3596.04	o -45230
3585.92/3596.04	o -45246
3585.92/3596.04	o -45437
3585.92/3596.04	o -45449
3585.92/3596.04	o -45577
3585.92/3596.04	o -45610
3585.92/3596.04	o -45633
3585.92/3596.04	o -45634
3585.92/3596.04	o -45647
3585.92/3596.04	o -45710
3585.92/3596.04	o -45788
3585.92/3596.04	o -45788
3585.92/3596.04	o -45797
3585.92/3596.04	o -45906
3585.92/3596.04	o -45906
3585.92/3596.04	o -45955
3585.92/3596.04	o -45988
3585.92/3596.04	o -46023
3585.92/3596.04	o -46053
3585.92/3596.04	o -46539
3585.92/3596.04	o -46548
3585.92/3596.04	o -46555
3585.92/3596.04	o -46562
3585.92/3596.04	o -46571
3585.92/3596.04	o -46586
3585.92/3596.04	o -46617
3585.92/3596.04	o -46663
3585.92/3596.04	o -46668
3585.92/3596.04	o -46712
3585.92/3596.04	o -46722
3585.92/3596.04	o -46731
3585.92/3596.04	o -46757
3585.92/3596.04	o -46784
3585.92/3596.04	o -46828
3585.92/3596.04	o -46837
3585.92/3596.04	o -47038
3585.92/3596.04	o -47047
3585.92/3596.04	o -47060
3585.92/3596.04	o -47087
3585.92/3596.04	o -47097
3585.92/3596.04	o -47133
3585.92/3596.04	o -47252
3585.92/3596.04	o -47277
3585.92/3596.04	o -47472
3585.92/3596.04	o -47522
3585.92/3596.04	o -47677
3585.92/3596.04	o -47872
3585.92/3596.04	o -47902
3585.92/3596.04	o -47951
3585.92/3596.04	o -48327
3585.92/3596.04	o -48327
3585.92/3596.04	o -48568
3585.92/3596.04	o -48886
3585.92/3596.04	o -48888
3585.92/3596.04	o -49147
3585.92/3596.04	o -49163
3585.92/3596.04	o -49176
3585.92/3596.04	o -49257
3585.92/3596.04	o -49299
3585.92/3596.04	o -49311
3585.92/3596.04	o -49321
3585.92/3596.04	o -49328
3585.92/3596.04	o -49491
3585.92/3596.04	o -49514
3585.92/3596.04	o -49514
3585.92/3596.04	o -49530
3585.92/3596.04	o -49555
3585.92/3596.04	o -49676
3585.92/3596.04	o -49681
3585.92/3596.04	o -49682
3585.92/3596.04	o -49727
3585.92/3596.04	o -49732
3585.92/3596.04	o -49752
3585.92/3596.04	o -49849
3585.92/3596.04	o -49870
3585.92/3596.04	o -49978
3585.92/3596.04	o -50086
3585.92/3596.04	o -50124
3585.92/3596.04	o -50127
3585.92/3596.04	o -50179
3585.92/3596.04	o -50184
3585.92/3596.04	o -50195
3585.92/3596.04	o -50301
3585.92/3596.04	o -50326
3585.92/3596.04	o -50352
3585.92/3596.04	o -50429
3585.92/3596.04	o -50432
3585.92/3596.04	o -50462
3585.92/3596.04	o -50473
3585.92/3596.04	o -50595
3585.92/3596.04	o -50662
3585.92/3596.04	o -50678
3585.92/3596.04	o -50688
3585.92/3596.04	o -50697
3585.92/3596.04	o -50769
3585.92/3596.04	o -50935
3585.92/3596.04	o -50996
3585.92/3596.04	o -51008
3585.92/3596.04	o -51018
3585.92/3596.04	o -51048
3585.92/3596.04	o -51092
3585.92/3596.04	o -51096
3585.92/3596.04	o -51111
3585.92/3596.04	o -51111
3585.92/3596.04	o -51118
3585.92/3596.04	o -51260
3585.92/3596.04	o -51272
3585.92/3596.04	o -51341
3585.92/3596.04	o -51404
3585.92/3596.04	o -51413
3585.92/3596.04	o -51592
3585.92/3596.04	o -51628
3585.92/3596.04	o -51946
3585.92/3596.04	o -51946
3585.92/3596.04	o -51958
3585.92/3596.04	o -52258
3585.92/3596.04	o -52274
3585.92/3596.04	o -52300
3585.92/3596.04	o -52319
3585.92/3596.04	o -52474
3585.92/3596.04	o -52509
3585.92/3596.04	o -52509
3585.92/3596.04	o -52539
3585.92/3596.04	o -52583
3585.92/3596.04	o -52592
3585.92/3596.04	o -52592
3585.92/3596.04	o -52680
3585.92/3596.04	o -52685
3585.92/3596.04	o -52738
3585.92/3596.04	o -52747
3585.92/3596.04	o -52756
3585.92/3596.04	o -52786
3585.92/3596.04	o -52800
3585.92/3596.04	o -52882
3585.92/3596.04	o -52882
3585.92/3596.04	o -52937
3585.92/3596.04	o -52937
3585.92/3596.04	o -52959
3585.92/3596.04	o -52959
3585.92/3596.04	o -52962
3585.92/3596.04	o -52992
3585.92/3596.04	o -53001
3585.92/3596.04	o -53054
3585.92/3596.04	o -53061
3585.92/3596.04	o -53061
3585.92/3596.04	o -53070
3585.92/3596.04	o -53092
3585.92/3596.04	o -53160
3585.92/3596.04	o -53169
3585.92/3596.04	o -53261
3585.92/3596.04	o -53261
3585.92/3596.04	o -53295
3585.92/3596.04	o -53359
3585.92/3596.04	o -53359
3585.92/3596.04	o -53367
3585.92/3596.04	o -53921
3585.92/3596.04	o -53926
3585.92/3596.04	o -53926
3585.92/3596.04	o -53929
3585.92/3596.04	o -53943
3585.92/3596.04	o -53992
3585.92/3596.04	o -54022
3585.92/3596.04	o -54034
3585.92/3596.04	o -54073
3585.92/3596.04	o -54097
3585.92/3596.04	o -54140
3585.92/3596.04	o -54179
3585.92/3596.04	o -54202
3585.92/3596.04	o -54242
3585.92/3596.04	o -54242
3585.92/3596.04	o -54248
3585.92/3596.04	o -54292
3585.92/3596.04	o -54298
3585.92/3596.04	o -54299
3585.92/3596.04	o -54308
3585.92/3596.04	o -54327
3585.92/3596.04	o -54417
3585.92/3596.04	o -54420
3585.92/3596.04	o -54433
3585.92/3596.04	o -54465
3585.92/3596.04	o -54618
3585.92/3596.04	o -54650
3585.92/3596.04	o -54709
3585.92/3596.04	o -54846
3585.92/3596.04	o -54958
3585.92/3596.04	o -55013
3585.92/3596.04	o -55043
3585.92/3596.04	o -55043
3585.92/3596.04	o -55172
3585.92/3596.04	o -55181
3585.92/3596.04	o -55185
3585.92/3596.04	o -55304
3585.92/3596.04	o -55317
3585.92/3596.04	o -55317
3585.92/3596.04	o -55601
3585.92/3596.04	o -55629
3585.92/3596.04	o -55636
3585.92/3596.04	o -55644
3585.92/3596.04	o -55691
3585.92/3596.04	o -55697
3585.92/3596.04	o -55759
3585.92/3596.04	o -55768
3585.92/3596.04	o -55775
3585.92/3596.04	o -55824
3585.92/3596.04	o -55837
3585.92/3596.04	o -55875
3585.92/3596.04	o -55903
3585.92/3596.04	o -56025
3585.92/3596.04	o -56074
3585.92/3596.04	o -56112
3585.92/3596.04	o -56121
3585.92/3596.04	o -56129
3585.92/3596.04	o -56173
3585.92/3596.04	o -56176
3585.92/3596.04	o -56255
3585.92/3596.04	o -56267
3585.92/3596.04	o -56280
3585.92/3596.04	o -56287
3585.92/3596.04	o -56287
3585.92/3596.04	o -56292
3585.92/3596.04	o -56299
3585.92/3596.04	o -56528
3585.92/3596.04	o -56550
3585.92/3596.04	o -56559
3585.92/3596.04	o -56586
3585.92/3596.04	o -56589
3585.92/3596.04	o -56731
3585.92/3596.04	o -56777
3585.92/3596.04	o -56779
3585.92/3596.04	o -56812
3585.92/3596.04	o -56819
3585.92/3596.04	o -56834
3585.92/3596.04	o -57417
3585.92/3596.04	o -57426
3585.92/3596.04	o -57475
3585.92/3596.04	o -57494
3585.92/3596.04	o -57558
3585.92/3596.04	o -57558
3585.92/3596.04	o -57567
3585.92/3596.04	o -57605
3585.92/3596.04	o -57658
3585.92/3596.04	o -57687
3585.92/3596.04	o -57694
3585.92/3596.04	o -57703
3585.92/3596.04	o -57743
3585.92/3596.04	o -57789
3585.92/3596.04	o -57791
3585.92/3596.04	o -57806
3585.92/3596.04	o -57985
3585.92/3596.04	o -57986
3585.92/3596.04	o -57989
3585.92/3596.04	o -58020
3585.92/3596.04	o -58038
3585.92/3596.04	o -58398
3585.92/3596.04	o -58410
3585.92/3596.04	o -58435
3585.92/3596.04	o -58519
3585.92/3596.04	o -58524
3585.92/3596.04	o -58722
3585.92/3596.04	o -58794
3585.92/3596.04	o -58881
3585.92/3596.04	o -58889
3585.92/3596.04	o -58893
3585.92/3596.04	o -58896
3585.92/3596.04	o -58978
3585.92/3596.04	o -59052
3585.92/3596.04	o -59210
3585.92/3596.04	o -59524
3585.92/3596.04	o -59631
3585.92/3596.04	o -59808
3585.92/3596.04	o -59808
3585.92/3596.04	o -59817
3585.92/3596.04	o -59824
3585.92/3596.04	o -59837
3585.92/3596.04	o -59872
3585.92/3596.04	o -59887
3585.92/3596.04	o -59894
3585.92/3596.04	o -59896
3585.92/3596.04	o -59929
3585.92/3596.04	o -59932
3585.92/3596.04	o -59939
3585.92/3596.04	o -60044
3585.92/3596.04	o -60047
3585.92/3596.04	o -60091
3585.92/3596.04	o -60263
3585.92/3596.04	o -60263
3585.92/3596.04	o -60268
3585.92/3596.04	o -60352
3585.92/3596.04	o -60375
3585.92/3596.04	o -60405
3585.92/3596.04	o -60423
3585.92/3596.04	o -60440
3585.92/3596.04	o -60441
3585.92/3596.04	o -60442
3585.92/3596.04	o -60451
3585.92/3596.04	o -60458
3585.92/3596.04	o -60561
3585.92/3596.04	o -60566
3585.92/3596.04	o -60596
3585.92/3596.04	o -60618
3585.92/3596.04	o -60621
3585.92/3596.04	o -60665
3585.92/3596.04	o -60692
3585.92/3596.04	o -60872
3585.92/3596.04	o -60879
3585.92/3596.04	o -60906
3585.92/3596.04	o -60978
3585.92/3596.04	o -60985
3585.92/3596.04	o -60985
3585.92/3596.04	o -61174
3585.92/3596.04	o -61178
3585.92/3596.04	o -61218
3585.92/3596.04	o -61248
3585.92/3596.04	o -61268
3585.92/3596.04	o -61294
3585.92/3596.04	o -61326
3585.92/3596.04	o -61341
3585.92/3596.04	o -61342
3585.92/3596.04	o -61345
3585.92/3596.04	o -61734
3585.92/3596.04	o -61778
3585.92/3596.04	o -61812
3585.92/3596.04	o -61826
3585.92/3596.04	o -61830
3585.92/3596.04	o -61832
3585.92/3596.04	o -61854
3585.92/3596.04	o -61884
3585.92/3596.04	o -61891
3585.92/3596.04	o -61900
3585.92/3596.04	o -61911
3585.92/3596.04	o -61920
3585.92/3596.04	o -61925
3585.92/3596.04	o -61934
3585.92/3596.04	o -61945
3585.92/3596.04	o -61954
3585.92/3596.04	o -61962
3585.92/3596.04	o -61984
3585.92/3596.04	o -61990
3585.92/3596.04	o -61995
3585.92/3596.04	o -62002
3585.92/3596.04	o -62257
3585.92/3596.04	o -62412
3585.92/3596.04	o -62416
3585.92/3596.04	o -62417
3585.92/3596.04	o -62461
3585.92/3596.04	o -62534
3585.92/3596.04	o -62775
3585.92/3596.04	o -62786
3585.92/3596.04	o -62981
3585.92/3596.04	o -63064
3585.92/3596.04	o -63220
3585.92/3596.04	o -63303
3585.92/3596.04	o -63412
3585.92/3596.04	o -63569
3585.92/3596.04	o -63585
3585.92/3596.04	o -63588
3585.92/3596.04	o -63720
3585.92/3596.04	o -63726
3585.92/3596.04	o -63726
3585.92/3596.04	o -63804
3585.92/3596.04	o -63816
3585.92/3596.04	o -63900
3585.92/3596.04	o -63910
3585.92/3596.04	o -63914
3585.92/3596.04	o -63953
3585.92/3596.04	o -63960
3585.92/3596.04	o -63987
3585.92/3596.04	o -64088
3585.92/3596.04	o -64209
3585.92/3596.04	o -64214
3585.92/3596.04	o -64352
3585.92/3596.04	o -64362
3585.92/3596.04	o -64370
3585.92/3596.04	o -64375
3585.92/3596.04	o -64409
3585.92/3596.04	o -64449
3585.92/3596.04	o -64511
3585.92/3596.04	o -64524
3585.92/3596.04	o -64525
3585.92/3596.04	o -64528
3585.92/3596.04	o -64533
3585.92/3596.04	o -64560
3585.92/3596.04	o -64562
3585.92/3596.04	o -64684
3585.92/3596.04	o -64767
3585.92/3596.04	o -64852
3585.92/3596.04	o -64895
3585.92/3596.04	o -64935
3585.92/3596.04	o -65311
3585.92/3596.04	o -65335
3585.92/3596.04	o -65385
3585.92/3596.04	o -65469
3585.92/3596.04	o -65572
3585.92/3596.04	o -65577
3585.92/3596.04	o -65581
3585.92/3596.04	o -65589
3585.92/3596.04	o -65782
3585.92/3596.04	o -65797
3585.92/3596.04	o -65852
3585.92/3596.04	o -65860
3585.92/3596.04	o -65868
3585.92/3596.04	o -65952
3585.92/3596.04	o -65964
3585.92/3596.04	o -65977
3585.92/3596.04	o -66035
3585.92/3596.04	o -66119
3585.92/3596.04	o -66143
3585.92/3596.04	o -66149
3585.92/3596.04	o -66177
3585.92/3596.04	o -66186
3585.92/3596.04	o -66232
3585.92/3596.04	o -66351
3585.92/3596.04	o -66381
3585.92/3596.04	o -66389
3585.92/3596.04	o -66389
3585.92/3596.04	o -66433
3585.92/3596.04	o -66436
3585.92/3596.04	o -66437
3585.92/3596.04	o -66449
3585.92/3596.04	o -66458
3585.92/3596.04	o -66467
3585.92/3596.04	o -66575
3585.92/3596.04	o -66655
3585.92/3596.04	o -66706
3585.92/3596.04	o -66718
3585.92/3596.04	o -66735
3585.92/3596.04	o -66763
3585.92/3596.04	o -67404
3585.92/3596.04	o -67502
3585.92/3596.04	o -67512
3585.92/3596.04	o -67621
3585.92/3596.04	o -67665
3585.92/3596.04	o -67699
3585.92/3596.04	o -67702
3585.92/3596.04	o -67717
3585.92/3596.04	o -67840
3585.92/3596.04	o -67846
3585.92/3596.04	o -67855
3585.92/3596.04	o -67859
3585.92/3596.04	o -67864
3585.92/3596.04	o -67877
3585.92/3596.04	o -67904
3585.92/3596.04	o -67947
3585.92/3596.04	o -67948
3585.92/3596.04	o -68215
3585.92/3596.04	o -68227
3585.92/3596.04	o -68355
3585.92/3596.04	o -68463
3585.92/3596.04	o -68543
3585.92/3596.04	o -68545
3585.92/3596.04	o -68579
3585.92/3596.04	o -68591
3585.92/3596.04	o -68597
3585.92/3596.04	o -68606
3585.92/3596.04	o -68608
3585.92/3596.04	o -68680
3585.92/3596.04	o -68724
3585.92/3596.04	o -68726
3585.92/3596.04	o -68727
3585.92/3596.04	o -68741
3585.92/3596.04	o -68779
3585.92/3596.04	o -68794
3585.92/3596.04	o -68807
3585.92/3596.04	o -68827
3585.92/3596.04	o -69012
3585.92/3596.04	o -69024
3585.92/3596.04	o -69061
3585.92/3596.04	o -69260
3585.92/3596.04	o -69311
3585.92/3596.04	o -69311
3585.92/3596.04	o -69327
3585.92/3596.04	o -69353
3585.92/3596.04	o -69433
3585.92/3596.04	o -69433
3585.92/3596.04	o -69485
3585.92/3596.04	o -69705
3585.92/3596.04	o -69768
3585.92/3596.04	o -69782
3585.92/3596.04	o -69791
3585.92/3596.04	o -69804
3585.92/3596.04	o -69823
3585.92/3596.04	o -70068
3585.92/3596.04	o -70068
3585.92/3596.04	o -70096
3585.92/3596.04	o -70189
3585.92/3596.04	o -70224
3585.92/3596.04	o -70293
3585.92/3596.04	o -70333
3585.92/3596.04	o -70333
3585.92/3596.04	o -70417
3585.92/3596.04	o -70447
3585.92/3596.04	o -70451
3585.92/3596.04	o -70470
3585.92/3596.04	o -70474
3585.92/3596.04	o -70474
3585.92/3596.04	o -70993
3585.92/3596.04	o -71005
3585.92/3596.04	o -71007
3585.92/3596.04	o -71007
3585.92/3596.04	o -71010
3585.92/3596.04	o -71019
3585.92/3596.04	o -71028
3585.92/3596.04	o -71031
3585.92/3596.04	o -71037
3585.92/3596.04	o -71055
3585.92/3596.04	o -71065
3585.92/3596.04	o -71071
3585.92/3596.04	o -71092
3585.92/3596.04	o -71092
3585.92/3596.04	o -71118
3585.92/3596.04	o -71128
3585.92/3596.04	o -71162
3585.92/3596.04	o -71166
3585.92/3596.04	o -71180
3585.92/3596.04	o -71360
3585.92/3596.04	o -71376
3585.92/3596.04	o -71379
3585.92/3596.04	o -71500
3585.92/3596.04	o -71505
3585.92/3596.04	o -71557
3585.92/3596.04	o -71688
3585.92/3596.04	o -71703
3585.92/3596.04	o -71703
3585.92/3596.04	o -71764
3585.92/3596.04	o -71799
3585.92/3596.05	o -71819
3585.92/3596.05	o -71825
3585.92/3596.05	o -71838
3585.92/3596.05	o -71848
3585.92/3596.05	o -71848
3585.92/3596.05	o -71970
3585.92/3596.05	o -72006
3585.92/3596.05	o -72040
3585.92/3596.05	o -72059
3585.92/3596.05	o -72103
3585.92/3596.05	o -72112
3585.92/3596.05	o -72127
3585.92/3596.05	o -72169
3585.92/3596.05	o -72169
3585.92/3596.05	o -72177
3585.92/3596.05	o -72183
3585.92/3596.05	o -72191
3585.92/3596.05	o -72203
3585.92/3596.05	o -72233
3585.92/3596.05	o -72257
3585.92/3596.05	o -72262
3585.92/3596.05	o -72265
3585.92/3596.05	o -72274
3585.92/3596.05	o -72296
3585.92/3596.05	o -72338
3585.92/3596.05	o -72353
3585.92/3596.05	o -72379
3585.92/3596.05	o -72379
3585.92/3596.05	o -72394
3585.92/3596.05	o -72433
3585.92/3596.05	o -72520
3585.92/3596.05	o -72530
3585.92/3596.05	o -72530
3585.92/3596.05	o -72538
3585.92/3596.05	o -72538
3585.92/3596.05	o -72550
3585.92/3596.05	o -72559
3585.92/3596.05	o -72579
3585.92/3596.05	o -72642
3585.92/3596.05	o -72712
3585.92/3596.05	o -72715
3585.92/3596.05	o -72749
3585.92/3596.05	o -72825
3585.92/3596.05	o -72852
3585.92/3596.05	o -72852
3585.92/3596.05	o -72936
3585.92/3596.05	o -72939
3585.92/3596.05	o -72973
3585.92/3596.05	o -72982
3585.92/3596.05	o -73005
3585.92/3596.05	o -73020
3585.92/3596.05	o -73044
3585.92/3596.05	o -73122
3585.92/3596.05	o -73123
3585.92/3596.05	o -73168
3585.92/3596.05	o -73170
3585.92/3596.05	o -73170
3585.92/3596.05	o -73476
3585.92/3596.05	o -73477
3585.92/3596.05	o -73481
3585.92/3596.05	o -73486
3585.92/3596.05	o -73488
3585.92/3596.05	o -73679
3585.92/3596.05	o -73680
3585.92/3596.05	o -74199
3585.92/3596.05	o -74282
3585.92/3596.05	o -74380
3585.92/3596.05	o -74528
3585.92/3596.05	o -74634
3585.92/3596.05	o -74653
3585.92/3596.05	o -74666
3585.92/3596.05	o -74691
3585.92/3596.05	o -74695
3585.92/3596.05	o -74695
3585.92/3596.05	o -74704
3585.92/3596.05	o -74734
3585.92/3596.05	o -74740
3585.92/3596.05	o -74740
3585.92/3596.05	o -74781
3585.92/3596.05	o -74788
3585.92/3596.05	o -74803
3585.92/3596.05	o -74808
3585.92/3596.05	o -74821
3585.92/3596.05	o -74829
3585.92/3596.05	o -74835
3585.92/3596.05	o -74854
3585.92/3596.05	o -74882
3585.92/3596.05	o -74884
3585.92/3596.05	o -74891
3585.92/3596.05	o -74910
3585.92/3596.05	o -74910
3585.92/3596.05	o -74984
3585.92/3596.05	o -75047
3585.92/3596.05	o -75082
3585.92/3596.05	o -75091
3585.92/3596.05	o -75232
3585.92/3596.05	o -75234
3585.92/3596.05	o -75239
3585.92/3596.05	o -75241
3585.92/3596.05	o -75270
3585.92/3596.05	o -75304
3585.92/3596.05	o -75313
3585.92/3596.05	o -75344
3585.92/3596.05	o -75344
3585.92/3596.05	o -75345
3585.92/3596.05	o -75345
3585.92/3596.05	o -75970
3585.92/3596.05	o -76000
3585.92/3596.05	o -76022
3585.92/3596.05	o -76096
3585.92/3596.05	o -76157
3585.92/3596.05	o -76203
3585.92/3596.05	o -76224
3585.92/3596.05	o -76226
3585.92/3596.05	o -76249
3585.92/3596.05	o -76273
3585.92/3596.05	o -76274
3585.92/3596.05	o -76283
3585.92/3596.05	o -76314
3585.92/3596.05	o -76512
3585.92/3596.05	o -76512
3585.92/3596.05	o -76517
3585.92/3596.05	o -76519
3585.92/3596.05	o -76521
3585.92/3596.05	o -76541
3585.92/3596.05	o -76541
3585.92/3596.05	o -76578
3585.92/3596.05	o -76622
3585.92/3596.05	o -76631
3585.92/3596.05	o -76644
3585.92/3596.05	o -76671
3585.92/3596.05	o -76672
3585.92/3596.05	o -76704
3585.92/3596.05	o -76706
3585.92/3596.05	o -76706
3585.92/3596.05	o -77178
3585.92/3596.05	o -77200
3585.92/3596.05	o -77200
3585.92/3596.05	o -77209
3585.92/3596.05	o -77221
3585.92/3596.05	o -77244
3585.92/3596.05	o -77261
3585.92/3596.05	o -77276
3585.92/3596.05	o -77281
3585.92/3596.05	o -77290
3585.92/3596.05	o -77311
3585.92/3596.05	o -77412
3585.92/3596.05	o -77588
3585.92/3596.05	o -77622
3585.92/3596.05	o -77628
3585.92/3596.05	o -77660
3585.92/3596.05	o -77706
3585.92/3596.05	o -77707
3585.92/3596.05	o -77721
3585.92/3596.05	o -78150
3585.92/3596.05	o -78152
3585.92/3596.05	o -78201
3585.92/3596.05	o -78210
3585.92/3596.05	o -78223
3585.92/3596.05	o -78223
3585.92/3596.05	o -78227
3585.92/3596.05	o -78248
3585.92/3596.05	o -78273
3585.92/3596.05	o -78305
3585.92/3596.05	o -78324
3585.92/3596.05	o -78356
3585.92/3596.05	o -78403
3585.92/3596.05	o -78444
3585.92/3596.05	o -78591
3585.92/3596.05	o -78721
3585.92/3596.05	o -78763
3585.92/3596.05	o -78763
3585.92/3596.05	o -78799
3585.92/3596.05	o -78808
3585.92/3596.05	o -78818
3585.92/3596.05	o -78830
3585.92/3596.05	o -78868
3585.92/3596.05	o -78869
3585.92/3596.05	o -78909
3585.92/3596.05	o -78923
3585.92/3596.05	o -79061
3585.92/3596.05	o -79091
3585.92/3596.05	o -79114
3585.92/3596.05	o -79114
3585.92/3596.05	o -79116
3585.92/3596.05	o -79169
3585.92/3596.05	o -79173
3585.92/3596.05	o -79180
3585.92/3596.05	o -79349
3585.92/3596.05	o -79354
3585.92/3596.05	o -79354
3585.92/3596.05	o -80065
3585.92/3596.05	o -80066
3585.92/3596.05	o -80066
3585.92/3596.05	o -80069
3585.92/3596.05	o -80088
3585.92/3596.05	o -80095
3585.92/3596.05	o -80100
3585.92/3596.05	o -80100
3585.92/3596.05	o -80118
3585.92/3596.05	o -80187
3585.92/3596.05	o -80398
3585.92/3596.05	o -80407
3585.92/3596.05	o -80422
3585.92/3596.05	o -80422
3585.92/3596.05	o -80430
3585.92/3596.05	o -80440
3585.92/3596.05	o -80447
3585.92/3596.05	o -80461
3585.92/3596.05	o -80479
3585.92/3596.05	o -80491
3585.92/3596.05	o -80500
3585.92/3596.05	o -80518
3585.92/3596.05	o -80571
3585.92/3596.05	o -80579
3585.92/3596.05	o -80591
3585.92/3596.05	o -80600
3585.92/3596.05	o -80615
3585.92/3596.05	o -80615
3585.92/3596.05	o -80620
3585.92/3596.05	o -80642
3585.92/3596.05	o -80728
3585.92/3596.05	o -80732
3585.92/3596.05	o -80781
3585.92/3596.05	o -80787
3585.92/3596.05	o -80787
3585.92/3596.05	o -80802
3585.92/3596.05	o -80809
3585.92/3596.05	o -80847
3585.92/3596.05	o -80847
3585.92/3596.05	o -80873
3585.92/3596.05	o -80890
3585.92/3596.05	o -80890
3585.92/3596.05	o -80918
3585.92/3596.05	o -80927
3585.92/3596.05	o -80947
3585.92/3596.05	o -80961
3585.92/3596.05	o -81193
3585.92/3596.05	o -81292
3585.92/3596.05	o -81381
3585.92/3596.05	o -81400
3585.92/3596.05	o -81651
3585.92/3596.05	o -81697
3585.92/3596.05	o -81805
3585.92/3596.05	o -81823
3585.92/3596.05	o -81823
3585.92/3596.05	o -81838
3585.92/3596.05	o -81838
3585.92/3596.05	o -81844
3585.92/3596.05	o -81857
3585.92/3596.05	o -81875
3585.92/3596.05	o -81876
3585.92/3596.05	o -81907
3585.92/3596.05	o -81916
3585.92/3596.05	o -81919
3585.92/3596.05	o -81929
3585.92/3596.05	o -81958
3585.92/3596.05	o -82050
3585.92/3596.05	o -82054
3585.92/3596.05	o -82183
3585.92/3596.05	o -82198
3585.92/3596.05	o -82206
3585.92/3596.05	o -82228
3585.92/3596.05	o -82228
3585.92/3596.05	o -82241
3585.92/3596.05	o -82258
3585.92/3596.05	o -82261
3585.92/3596.05	o -82261
3585.92/3596.05	o -82282
3585.92/3596.05	o -82285
3585.92/3596.05	o -82424
3585.92/3596.05	o -82513
3585.92/3596.05	o -82745
3585.92/3596.05	o -82773
3585.92/3596.05	o -82797
3585.92/3596.05	o -82797
3585.92/3596.05	o -82800
3585.92/3596.05	o -82800
3585.92/3596.05	o -82804
3585.92/3596.05	o -82836
3585.92/3596.05	o -82839
3585.92/3596.05	o -82839
3585.92/3596.05	o -82846
3585.92/3596.05	o -82858
3585.92/3596.05	o -82862
3585.92/3596.05	o -82946
3585.92/3596.05	o -82992
3585.92/3596.05	o -83013
3585.92/3596.05	o -83013
3585.92/3596.05	o -83032
3585.92/3596.05	o -83084
3585.92/3596.05	o -83093
3585.92/3596.05	o -83093
3585.92/3596.05	o -83105
3585.92/3596.05	o -83131
3585.92/3596.05	o -83149
3585.92/3596.05	o -83149
3585.92/3596.05	o -83154
3585.92/3596.05	o -83190
3585.92/3596.05	o -83193
3585.92/3596.05	o -83221
3585.92/3596.05	o -83237
3585.92/3596.05	o -83237
3585.92/3596.05	o -83258
3585.92/3596.05	o -83263
3585.92/3596.05	o -83267
3585.92/3596.05	o -83272
3585.92/3596.05	o -83490
3585.92/3596.05	o -83598
3585.92/3596.05	o -83622
3585.92/3596.05	o -83661
3585.92/3596.05	o -83735
3585.92/3596.05	o -83739
3585.92/3596.05	o -83795
3585.92/3596.05	o -83827
3585.92/3596.05	o -83854
3585.92/3596.05	o -83861
3585.92/3596.05	o -83861
3585.92/3596.05	o -83922
3585.92/3596.05	o -83922
3585.92/3596.05	o -83922
3585.92/3596.05	o -83922
3585.92/3596.05	o -83922
3585.92/3596.05	o -83942
3585.92/3596.05	o -83942
3585.92/3596.05	o -83945
3585.92/3596.05	o -83998
3585.92/3596.05	o -84020
3585.92/3596.05	o -84051
3585.92/3596.05	o -84107
3585.92/3596.05	o -84115
3585.92/3596.05	o -84115
3585.92/3596.05	o -84117
3585.92/3596.05	o -84237
3585.92/3596.05	o -84311
3585.92/3596.05	o -84327
3585.92/3596.05	o -84327
3585.92/3596.05	o -84327
3585.92/3596.05	o -84327
3585.92/3596.05	o -84327
3585.92/3596.05	o -84329
3585.92/3596.05	o -84329
3585.92/3596.05	o -84329
3585.92/3596.05	o -84329
3585.92/3596.05	o -84329
3585.92/3596.05	o -84329
3585.92/3596.05	o -84329
3585.92/3596.05	o -84334
3585.92/3596.05	o -84345
3585.92/3596.05	o -84345
3585.92/3596.05	o -84395
3585.92/3596.05	o -84767
3585.92/3596.05	o -85085
3585.92/3596.05	o -85100
3585.92/3596.05	o -85133
3585.92/3596.05	o -85150
3585.92/3596.05	o -85172
3585.92/3596.05	o -85179
3585.92/3596.05	o -85214
3585.92/3596.05	o -85221
3585.92/3596.05	o -85221
3585.92/3596.05	o -85228
3585.92/3596.05	o -85242
3585.92/3596.05	o -85267
3585.92/3596.05	o -85277
3585.92/3596.05	o -85280
3585.92/3596.05	o -85302
3585.92/3596.05	o -85327
3585.92/3596.05	o -85327
3585.92/3596.05	o -85331
3585.92/3596.05	o -85338
3585.92/3596.05	o -85364
3585.92/3596.05	o -85364
3585.92/3596.05	o -85366
3585.92/3596.05	o -85381
3585.92/3596.05	o -85386
3585.92/3596.05	o -85386
3585.92/3596.05	o -85391
3585.92/3596.05	o -85392
3585.92/3596.05	o -85394
3585.92/3596.05	o -85402
3585.92/3596.05	o -85427
3585.92/3596.05	o -85427
3585.92/3596.05	o -85427
3585.92/3596.05	o -85427
3585.92/3596.05	o -85427
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85430
3585.92/3596.05	o -85441
3585.92/3596.05	o -85441
3585.92/3596.05	o -85472
3585.92/3596.05	o -85472
3585.92/3596.05	o -85490
3585.92/3596.05	o -85496
3585.92/3596.05	o -85496
3585.92/3596.05	o -85527
3585.92/3596.05	o -85539
3585.92/3596.05	o -85675
3585.92/3596.05	o -85709
3585.92/3596.05	o -85724
3585.92/3596.05	o -85724
3585.92/3596.05	o -85752
3585.92/3596.05	o -85752
3585.92/3596.05	o -85752
3585.92/3596.05	o -85752
3585.92/3596.05	o -85798
3585.92/3596.05	o -86025
3585.92/3596.05	o -86034
3585.92/3596.05	o -86074
3585.92/3596.05	o -86074
3585.92/3596.05	o -86165
3585.92/3596.05	o -86165
3585.92/3596.05	o -86165
3585.92/3596.05	o -86165
3585.92/3596.05	o -86165
3585.92/3596.05	o -86165
3585.92/3596.05	o -86165
3585.92/3596.05	o -86174
3585.92/3596.05	o -86174
3585.92/3596.05	o -86187
3585.92/3596.05	o -86202
3585.92/3596.05	o -86233
3585.92/3596.05	o -86233
3585.92/3596.05	o -86233
3585.92/3596.05	o -86233
3585.92/3596.05	o -86246
3585.92/3596.05	o -86255
3585.92/3596.05	o -86255
3585.92/3596.05	o -86309
3585.92/3596.05	o -86309
3585.92/3596.05	o -86315
3585.92/3596.05	o -86315
3585.92/3596.05	o -86324
3585.92/3596.05	o -86324
3585.92/3596.05	o -86373
3585.92/3596.05	o -86388
3585.92/3596.05	o -86399
3585.92/3596.05	o -86422
3585.92/3596.05	o -86449
3585.92/3596.05	o -86510
3585.92/3596.05	o -86545
3585.92/3596.05	o -86545
3585.92/3596.05	o -86561
3585.92/3596.05	o -86588
3585.92/3596.05	o -86610
3585.92/3596.05	o -86619
3585.92/3596.05	o -86632
3585.92/3596.05	o -86632
3585.92/3596.05	o -86632
3585.92/3596.05	o -86654
3585.92/3596.05	o -86654
3585.92/3596.05	o -86658
3585.92/3596.05	o -86665
3585.92/3596.05	o -86681
3585.92/3596.05	o -86681
3585.92/3596.05	o -86697
3585.92/3596.05	o -86717
3585.92/3596.05	o -86717
3585.92/3596.05	o -86726
3585.92/3596.05	o -86755
3585.92/3596.05	o -86755
3585.92/3596.05	o -86824
3585.92/3596.05	o -86824
3585.92/3596.05	o -86860
3585.92/3596.05	o -86894
3585.92/3596.05	o -86904
3585.92/3596.05	o -87022
3585.92/3596.05	o -87037
3585.92/3596.05	o -87132
3585.92/3596.05	o -87132
3585.92/3596.05	o -87240
3585.92/3596.05	o -87469
3585.92/3596.05	o -87564
3585.92/3596.05	o -87565
3585.92/3596.05	o -87567
3585.92/3596.05	o -87605
3585.92/3596.05	o -87605
3585.92/3596.05	o -87638
3585.92/3596.05	o -87640
3585.92/3596.05	o -87640
3585.92/3596.05	o -87649
3585.92/3596.05	o -87662
3585.92/3596.05	o -87682
3585.92/3596.05	o -87682
3585.92/3596.05	o -87694
3585.92/3596.05	o -87710
3585.92/3596.05	o -87715
3585.92/3596.05	o -87715
3585.92/3596.05	o -87725
3585.92/3596.05	o -87781
3585.92/3596.05	o -87847
3585.92/3596.05	o -87999
3585.92/3596.05	o -88048
3585.92/3596.05	o -88086
3585.92/3596.05	o -88086
3585.92/3596.05	o -88090
3585.92/3596.05	o -88126
3585.92/3596.05	o -88126
3585.92/3596.05	o -88126
3585.92/3596.05	o -88126
3585.92/3596.05	o -88133
3585.92/3596.05	o -88133
3585.92/3596.05	o -88133
3585.92/3596.05	o -88133
3585.92/3596.05	o -88133
3585.92/3596.05	o -88143
3585.92/3596.05	o -88174
3585.92/3596.05	o -88174
3585.92/3596.05	o -88174
3585.92/3596.05	o -88174
3585.92/3596.05	o -88174
3585.92/3596.05	o -88218
3585.92/3596.05	o -88218
3585.92/3596.05	o -88218
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88286
3585.92/3596.05	o -88301
3585.92/3596.05	o -88322
3585.92/3596.05	o -88322
3585.92/3596.05	o -88322
3585.92/3596.05	o -88325
3585.92/3596.05	o -88325
3585.92/3596.05	o -88345
3585.92/3596.05	o -88427
3585.92/3596.05	o -88427
3585.92/3596.05	o -88510
3585.92/3596.05	o -88751
3585.92/3596.05	o -88774
3585.92/3596.05	o -88811
3585.92/3596.05	o -89006
3585.92/3596.05	o -89089
3585.92/3596.05	o -89437
3585.92/3596.05	o -89442
3585.92/3596.05	o -89604
3585.92/3596.05	o -89613
3585.92/3596.05	o -89631
3585.92/3596.05	o -89635
3585.92/3596.05	o -89641
3585.92/3596.05	o -89641
3585.92/3596.05	o -89672
3585.92/3596.05	o -89686
3585.92/3596.05	o -89690
3585.92/3596.05	o -89690
3585.92/3596.05	o -89699
3585.92/3596.05	o -89699
3585.92/3596.05	o -89729
3585.92/3596.05	o -89732
3585.92/3596.05	o -89778
3585.92/3596.05	o -89803
3585.92/3596.05	o -89803
3585.92/3596.05	o -89803
3585.92/3596.05	o -89803
3585.92/3596.05	o -89803
3585.92/3596.05	o -89819
3585.92/3596.05	o -89819
3585.92/3596.05	o -89860
3585.92/3596.05	o -89878
3585.92/3596.05	o -89900
3585.92/3596.05	o -89906
3585.92/3596.05	o -89914
3585.92/3596.05	o -89914
3585.92/3596.05	o -89936
3585.92/3596.05	o -89989
3585.92/3596.05	o -90019
3585.92/3596.05	o -90026
3585.92/3596.05	o -90026
3585.92/3596.05	o -90046
3585.92/3596.05	o -90046
3585.92/3596.05	o -90073
3585.92/3596.05	o -90073
3585.92/3596.05	o -90088
3585.92/3596.05	o -90088
3585.92/3596.05	o -90093
3585.92/3596.05	o -90094
3585.92/3596.05	o -90094
3585.92/3596.05	o -90094
3585.92/3596.05	o -90094
3585.92/3596.05	o -90094
3585.92/3596.05	o -90101
3585.92/3596.05	o -90102
3585.92/3596.05	o -90102
3585.92/3596.05	o -90115
3585.92/3596.05	o -90117
3585.92/3596.05	o -90126
3585.92/3596.05	o -90132
3585.92/3596.05	o -90135
3585.92/3596.05	o -90147
3585.92/3596.05	o -90147
3585.92/3596.05	o -90153
3585.92/3596.05	o -90160
3585.92/3596.05	o -90183
3585.92/3596.05	o -90192
3585.92/3596.05	o -90214
3585.92/3596.05	o -90220
3585.92/3596.05	o -90220
3585.92/3596.05	o -90223
3585.92/3596.05	o -90223
3585.92/3596.05	o -90223
3585.92/3596.05	o -90223
3585.92/3596.05	o -90223
3585.92/3596.05	o -90225
3585.92/3596.05	o -90225
3585.92/3596.05	o -90236
3585.92/3596.05	o -90246
3585.92/3596.05	o -90258
3585.92/3596.05	o -90258
3585.92/3596.05	o -90267
3585.92/3596.05	o -90545
3585.92/3596.05	o -90554
3585.92/3596.05	o -90673
3585.92/3596.05	o -90713
3585.92/3596.05	o -90713
3585.92/3596.05	o -90745
3585.92/3596.05	o -90748
3585.92/3596.05	o -90882
3585.92/3596.05	o -90890
3585.92/3596.05	o -90900
3585.92/3596.05	o -90913
3585.92/3596.05	o -90913
3585.92/3596.05	o -90972
3585.92/3596.05	o -90983
3585.92/3596.05	o -91005
3585.92/3596.05	o -91054
3585.92/3596.05	o -91056
3585.92/3596.05	o -91090
3585.92/3596.05	o -91092
3585.92/3596.05	o -91102
3585.92/3596.05	o -91127
3585.92/3596.05	o -91136
3585.92/3596.05	o -91143
3585.92/3596.05	o -91143
3585.92/3596.05	o -91143
3585.92/3596.05	o -91143
3585.92/3596.05	o -91150
3585.92/3596.05	o -91150
3585.92/3596.05	o -91150
3585.92/3596.05	o -91152
3585.92/3596.05	o -91161
3585.92/3596.05	o -91197
3585.92/3596.05	o -91211
3585.92/3596.05	o -91211
3585.92/3596.05	o -91211
3585.92/3596.05	o -91250
3585.92/3596.05	o -91263
3585.92/3596.05	o -91266
3585.92/3596.05	o -91266
3585.92/3596.05	o -91275
3585.92/3596.05	o -91281
3585.92/3596.05	o -91281
3585.92/3596.05	o -91294
3585.92/3596.05	o -91294
3585.92/3596.05	o -91296
3585.92/3596.05	o -91303
3585.92/3596.05	o -91320
3585.92/3596.05	o -91321
3585.92/3596.05	o -91336
3585.92/3596.05	o -91352
3585.92/3596.05	o -91360
3585.92/3596.05	o -91360
3585.92/3596.05	o -91373
3585.92/3596.05	o -91394
3585.92/3596.05	o -91394
3585.92/3596.05	o -91396
3585.92/3596.05	o -91396
3585.92/3596.05	o -91457
3585.92/3596.05	o -91466
3585.92/3596.05	o -91524
3585.92/3596.05	o -91548
3585.92/3596.05	o -91569
3585.92/3596.05	o -91579
3585.92/3596.05	o -91613
3585.92/3596.05	o -91621
3585.92/3596.05	o -91630
3585.92/3596.05	o -91643
3585.92/3596.05	o -91652
3585.92/3596.05	o -91652
3585.92/3596.05	o -91653
3585.92/3596.05	o -91653
3585.92/3596.05	o -91660
3585.92/3596.05	o -91661
3585.92/3596.05	o -91661
3585.92/3596.05	o -91669
3585.92/3596.05	o -91762
3585.92/3596.05	o -91762
3585.92/3596.05	o -91771
3585.92/3596.05	o -91781
3585.92/3596.05	o -91781
3585.92/3596.05	o -91885
3585.92/3596.05	o -92047
3585.92/3596.05	o -92159
3585.92/3596.05	o -92162
3585.92/3596.05	o -92197
3585.92/3596.05	o -92208
3585.92/3596.05	o -92208
3585.92/3596.05	o -92208
3585.92/3596.05	o -92208
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92226
3585.92/3596.05	o -92238
3585.92/3596.05	o -92238
3585.92/3596.05	o -92283
3585.92/3596.05	o -92283
3585.92/3596.05	o -92314
3585.92/3596.05	o -92314
3585.92/3596.05	o -92314
3585.92/3596.05	o -92314
3585.92/3596.05	o -92325
3585.92/3596.05	o -92336
3585.92/3596.05	o -92348
3585.92/3596.05	o -92358
3585.92/3596.05	o -92362
3585.92/3596.05	o -92376
3585.92/3596.05	o -92487
3585.92/3596.05	o -92518
3585.92/3596.05	o -92602
3585.92/3596.05	o -92602
3585.92/3596.05	o -92637
3585.92/3596.05	o -92681
3585.92/3596.05	o -92685
3585.92/3596.05	o -92735
3585.92/3596.05	o -92810
3585.92/3596.05	o -92810
3585.92/3596.05	o -92819
3585.92/3596.05	o -92837
3585.92/3596.05	o -92845
3585.92/3596.05	o -92853
3585.92/3596.05	o -92853
3585.92/3596.05	o -92860
3585.92/3596.05	o -92860
3585.92/3596.05	o -92891
3585.92/3596.05	o -92917
3585.92/3596.05	o -92927
3585.92/3596.05	o -92930
3585.92/3596.05	o -92930
3585.92/3596.05	o -92931
3585.92/3596.05	o -92931
3585.92/3596.05	o -92975
3585.92/3596.05	o -92984
3585.92/3596.05	o -92994
3585.92/3596.05	o -93004
3585.92/3596.05	o -93044
3585.92/3596.05	o -93046
3585.92/3596.05	o -93050
3585.92/3596.05	o -93062
3585.92/3596.05	o -93071
3585.92/3596.05	o -93088
3585.92/3596.05	o -93114
3585.92/3596.05	o -93129
3585.92/3596.05	o -93136
3585.92/3596.05	o -93153
3585.92/3596.05	o -93155
3585.92/3596.05	o -93155
3585.92/3596.05	o -93155
3585.92/3596.05	o -93164
3585.92/3596.05	o -93239
3585.92/3596.05	o -93310
3585.92/3596.05	o -93310
3585.92/3596.05	o -93395
3585.92/3596.05	o -93400
3585.92/3596.05	o -93400
3585.92/3596.05	o -93413
3585.92/3596.05	o -93424
3585.92/3596.05	o -93437
3585.92/3596.05	o -93440
3585.92/3596.05	o -93440
3585.92/3596.05	o -93440
3585.92/3596.05	o -93449
3585.92/3596.05	o -93462
3585.92/3596.05	o -93462
3585.92/3596.05	o -93491
3585.92/3596.05	o -93565
3585.92/3596.05	o -93573
3585.92/3596.05	o -93659
3585.92/3596.05	o -93661
3585.92/3596.05	o -93661
3585.92/3596.05	o -93692
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93699
3585.92/3596.05	o -93702
3585.92/3596.05	o -93702
3585.92/3596.05	o -93702
3585.92/3596.05	o -93702
3585.92/3596.05	o -93713
3585.92/3596.05	o -93713
3585.92/3596.05	o -93725
3585.92/3596.05	o -93725
3585.92/3596.05	o -93747
3585.92/3596.05	o -93747
3585.92/3596.05	o -94306
3585.92/3596.05	o -94306
3585.92/3596.05	o -94311
3585.92/3596.05	o -94312
3585.92/3596.05	o -94312
3585.92/3596.05	o -94323
3585.92/3596.05	o -94323
3585.92/3596.05	o -94323
3585.92/3596.05	o -94323
3585.92/3596.05	o -94323
3585.92/3596.05	o -94323
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94402
3585.92/3596.05	o -94537
3585.92/3596.05	o -94537
3585.92/3596.05	o -94537
3585.92/3596.05	o -94546
3585.92/3596.05	o -94590
3585.92/3596.05	o -94590
3585.92/3596.05	o -94592
3585.92/3596.05	o -94592
3585.92/3596.05	o -94597
3585.92/3596.05	o -94627
3585.92/3596.05	o -94627
3585.92/3596.05	o -94636
3585.92/3596.05	o -94644
3585.92/3596.05	o -94644
3585.92/3596.05	o -94647
3585.92/3596.05	o -94655
3585.92/3596.05	o -94664
3585.92/3596.05	o -94667
3585.92/3596.05	o -94676
3585.92/3596.05	o -94689
3585.92/3596.05	o -94697
3585.92/3596.05	o -95335
3585.92/3596.05	o -95431
3585.92/3596.05	o -95444
3585.92/3596.05	o -95444
3585.92/3596.05	o -95454
3585.92/3596.05	o -95463
3585.92/3596.05	o -95463
3585.92/3596.05	o -95463
3585.92/3596.05	o -95486
3585.92/3596.05	o -95486
3585.92/3596.05	o -95486
3585.92/3596.05	o -95486
3585.92/3596.05	o -95486
3585.92/3596.05	o -95486
3585.92/3596.05	o -95486
3585.92/3596.05	o -95495
3585.92/3596.05	o -95526
3585.92/3596.05	o -95526
3585.92/3596.05	o -95526
3585.92/3596.05	o -95526
3585.92/3596.05	o -95573
3585.92/3596.05	o -95573
3585.92/3596.05	o -95581
3585.92/3596.05	o -95582
3585.92/3596.05	o -95584
3585.92/3596.05	o -95584
3585.92/3596.05	o -95594
3585.92/3596.05	o -95594
3585.92/3596.05	o -95601
3585.92/3596.05	o -95896
3585.92/3596.05	o -95896
3585.92/3596.05	o -95896
3585.92/3596.05	o -95896
3585.92/3596.05	o -95897
3585.92/3596.05	o -95897
3585.92/3596.05	o -95897
3585.92/3596.05	o -95897
3585.92/3596.05	o -95897
3585.92/3596.05	o -95901
3585.92/3596.05	o -95904
3585.92/3596.05	o -95928
3585.92/3596.05	o -95928
3585.92/3596.05	o -95930
3585.92/3596.05	o -95930
3585.92/3596.05	o -95944
3585.92/3596.05	o -95944
3585.92/3596.05	o -95944
3585.92/3596.05	o -95944
3585.92/3596.05	o -95944
3585.92/3596.05	o -95944
3585.92/3596.05	o -95944
3585.92/3596.05	o -95966
3585.92/3596.05	o -95975
3585.92/3596.05	o -96021
3585.92/3596.05	o -96021
3585.92/3596.05	o -96024
3585.92/3596.05	o -96024
3585.92/3596.05	o -96035
3585.92/3596.05	o -96037
3585.92/3596.05	o -96037
3585.92/3596.05	o -96055
3585.92/3596.05	o -96058
3585.92/3596.05	o -96058
3585.92/3596.05	o -96059
3585.92/3596.05	o -96067
3585.92/3596.05	o -96074
3585.92/3596.05	o -96217
3585.92/3596.05	o -96541
3585.92/3596.05	o -96546
3585.92/3596.05	o -96684
3585.92/3596.05	o -96684
3585.92/3596.05	o -96760
3585.92/3596.05	o -96766
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96774
3585.92/3596.05	o -96780
3585.92/3596.05	o -96780
3585.92/3596.05	o -96780
3585.92/3596.05	o -96781
3585.92/3596.05	o -96781
3585.92/3596.05	o -96781
3585.92/3596.05	o -96781
3585.92/3596.05	o -96783
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96801
3585.92/3596.05	o -96803
3585.92/3596.05	o -96803
3585.92/3596.05	o -96803
3585.92/3596.05	o -96803
3585.92/3596.05	o -96803
3585.92/3596.05	o -96803
3585.92/3596.05	o -96815
3585.92/3596.05	o -96815
3585.92/3596.05	o -96843
3585.92/3596.05	o -96844
3585.92/3596.05	o -96844
3585.92/3596.05	o -96844
3585.92/3596.05	o -96865
3585.92/3596.05	o -96865
3585.92/3596.05	o -96868
3585.92/3596.05	o -96880
3585.92/3596.05	o -96942
3585.92/3596.05	o -96942
3585.92/3596.05	o -96960
3585.92/3596.05	o -97014
3585.92/3596.05	o -97054
3585.92/3596.05	o -97279
3585.92/3596.05	o -97315
3585.92/3596.05	o -97355
3585.92/3596.05	o -97361
3585.92/3596.05	o -97400
3585.92/3596.05	o -97400
3585.92/3596.05	o -97526
3585.92/3596.05	o -97530
3585.92/3596.05	o -97530
3585.92/3596.05	o -97539
3585.92/3596.05	o -97539
3585.92/3596.05	o -97600
3585.92/3596.05	o -97618
3585.92/3596.05	o -97618
3585.92/3596.05	o -97626
3585.92/3596.05	o -97633
3585.92/3596.05	o -97633
3585.92/3596.05	o -97669
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97687
3585.92/3596.05	o -97718
3585.92/3596.05	o -97718
3585.92/3596.05	o -97718
3585.92/3596.05	o -97718
3585.92/3596.05	o -97718
3585.92/3596.05	o -97718
3585.92/3596.05	o -97721
3585.92/3596.05	o -97721
3585.92/3596.05	o -97726
3585.92/3596.05	o -97726
3585.92/3596.05	o -97735
3585.92/3596.05	o -97735
3585.92/3596.05	o -97755
3585.92/3596.05	o -97755
3585.92/3596.05	o -97755
3585.92/3596.05	o -97800
3585.92/3596.05	o -97800
3585.92/3596.05	o -97806
3585.92/3596.05	o -97819
3585.92/3596.05	o -97819
3585.92/3596.05	o -97819
3585.92/3596.05	o -97819
3585.92/3596.05	o -97833
3585.92/3596.05	o -97833
3585.92/3596.05	o -97834
3585.92/3596.05	o -97838
3585.92/3596.05	o -97838
3585.92/3596.05	o -97838
3585.92/3596.05	o -97840
3585.92/3596.05	o -97863
3585.92/3596.05	o -97863
3585.92/3596.05	o -97873
3585.92/3596.05	o -97902
3585.92/3596.05	o -97947
3585.92/3596.05	o -97947
3585.92/3596.05	o -97963
3585.92/3596.05	o -98009
3585.92/3596.05	o -98018
3585.92/3596.05	o -98053
3585.92/3596.05	o -98069
3585.92/3596.05	o -98069
3585.92/3596.05	o -98081
3585.92/3596.05	o -98081
3585.92/3596.05	o -98090
3585.92/3596.05	o -98091
3585.92/3596.05	o -98091
3585.92/3596.05	o -98099
3585.92/3596.05	o -98109
3585.92/3596.05	o -98109
3585.92/3596.05	o -98109
3585.92/3596.05	o -98124
3585.92/3596.05	o -98124
3585.92/3596.05	o -98156
3585.92/3596.05	o -98156
3585.92/3596.05	o -98162
3585.92/3596.05	o -98252
3585.92/3596.05	o -98253
3585.92/3596.05	o -98266
3585.92/3596.05	o -98292
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98299
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98323
3585.92/3596.05	o -98386
3585.92/3596.05	o -98415
3585.92/3596.05	o -98431
3585.92/3596.05	o -98476
3585.92/3596.05	o -98525
3585.92/3596.05	o -98542
3585.92/3596.05	o -98588
3585.92/3596.05	o -98615
3585.92/3596.05	o -98646
3585.92/3596.05	o -98650
3585.92/3596.05	o -98760
3585.92/3596.05	o -98807
3585.92/3596.05	o -98828
3585.92/3596.05	o -98898
3585.92/3596.05	o -98904
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99010
3585.92/3596.05	o -99054
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99127
3585.92/3596.05	o -99141
3585.92/3596.05	o -99181
3585.92/3596.05	o -99181
3585.92/3596.05	o -99282
3585.92/3596.05	o -99396
3585.92/3596.05	o -99396
3585.92/3596.05	o -99396
3585.92/3596.05	o -99396
3585.92/3596.05	o -99396
3585.92/3596.05	o -99396
3585.92/3596.05	o -99396
3585.92/3596.05	o -99405
3585.92/3596.05	o -99405
3585.92/3596.05	o -99723
3585.92/3596.05	o -99776
3585.92/3596.05	o -99938
3585.92/3596.05	o -99938
3585.92/3596.05	o -99947
3585.92/3596.05	o -99996
3585.92/3596.05	o -100020
3585.92/3596.05	o -100020
3585.92/3596.05	o -100065
3585.92/3596.05	o -100075
3585.92/3596.05	o -100075
3585.92/3596.05	o -100075
3585.92/3596.05	o -100075
3585.92/3596.05	o -100075
3585.92/3596.05	o -100083
3585.92/3596.05	o -100083
3585.92/3596.05	o -100177
3585.92/3596.05	o -100177
3585.92/3596.05	o -100177
3585.92/3596.05	o -100203
3585.92/3596.05	o -100203
3585.92/3596.05	o -100203
3585.92/3596.05	o -100203
3585.92/3596.05	o -100288
3585.92/3596.05	o -100288
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100291
3585.92/3596.05	o -100338
3585.92/3596.05	o -100338
3585.92/3596.05	o -100338
3585.92/3596.05	o -100338
3585.92/3596.05	o -100338
3585.92/3596.05	o -100338
3585.92/3596.05	o -100338
3585.92/3596.05	o -100338
3585.92/3596.05	o -100354
3585.92/3596.05	o -100354
3585.92/3596.05	o -100354
3585.92/3596.05	o -100354
3585.92/3596.05	o -100354
3585.92/3596.05	o -100410
3585.92/3596.05	o -100414
3585.92/3596.05	o -100447
3585.92/3596.05	o -100468
3585.92/3596.05	o -100481
3585.92/3596.05	o -100482
3585.92/3596.05	o -100497
3585.92/3596.05	o -100578
3585.92/3596.05	o -100581
3585.92/3596.05	o -100581
3585.92/3596.05	o -100581
3585.92/3596.05	o -100581
3585.92/3596.05	o -100581
3585.92/3596.05	o -100581
3585.92/3596.05	o -100581
3585.92/3596.05	o -100586
3585.92/3596.05	o -100595
3585.92/3596.05	o -100595
3585.92/3596.05	o -100599
3585.92/3596.05	o -100612
3585.92/3596.05	o -100612
3585.92/3596.05	o -100613
3585.92/3596.05	o -100613
3585.92/3596.05	o -100613
3585.92/3596.05	o -100613
3585.92/3596.05	o -100617
3585.92/3596.05	o -100639
3585.92/3596.05	o -100656
3585.92/3596.05	o -100672
3585.92/3596.05	o -100672
3585.92/3596.05	o -100672
3585.92/3596.05	o -100672
3585.92/3596.05	o -100675
3585.92/3596.05	o -100676
3585.92/3596.05	o -100676
3585.92/3596.05	o -100688
3585.92/3596.05	o -100688
3585.92/3596.05	o -100798
3585.92/3596.05	o -100822
3585.92/3596.05	o -100827
3585.92/3596.05	o -100827
3585.92/3596.05	o -100834
3585.92/3596.05	o -100834
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -100854
3585.92/3596.05	o -101026
3585.92/3596.05	o -101026
3585.92/3596.05	o -101026
3585.92/3596.05	o -101026
3585.92/3596.05	o -101026
3585.92/3596.05	o -101026
3585.92/3596.05	o -101031
3585.92/3596.05	o -101031
3585.92/3596.05	o -101300
3585.92/3596.05	o -101361
3585.92/3596.05	o -101361
3585.92/3596.05	o -101674
3585.92/3596.05	o -101683
3585.92/3596.05	o -101683
3585.92/3596.05	o -101683
3585.92/3596.05	o -101687
3585.92/3596.05	o -101687
3585.92/3596.05	o -101687
3585.92/3596.05	o -101687
3585.92/3596.05	o -101687
3585.92/3596.05	o -101687
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101729
3585.92/3596.05	o -101745
3585.92/3596.05	o -101747
3585.92/3596.05	o -101751
3585.92/3596.05	o -101751
3585.92/3596.05	o -101782
3585.92/3596.05	o -101782
3585.92/3596.05	o -101782
3585.92/3596.05	o -101782
3585.92/3596.05	o -101838
3585.92/3596.05	o -101838
3585.92/3596.05	o -101838
3585.92/3596.05	o -101838
3585.92/3596.05	o -101838
3585.92/3596.05	o -101842
3585.92/3596.05	o -101842
3585.92/3596.05	o -101842
3585.92/3596.05	o -101842
3585.92/3596.05	o -101842
3585.92/3596.05	o -101875
3585.92/3596.05	o -101889
3585.92/3596.05	o -101903
3585.92/3596.05	o -101905
3585.92/3596.05	o -101948
3585.92/3596.05	o -101948
3585.92/3596.05	o -101948
3585.92/3596.05	o -101954
3585.92/3596.05	o -101964
3585.92/3596.05	o -101964
3585.92/3596.05	o -101964
3585.92/3596.05	o -101967
3585.92/3596.05	o -101968
3585.92/3596.05	o -101968
3585.92/3596.05	o -101968
3585.92/3596.05	o -101969
3585.92/3596.05	o -101981
3585.92/3596.05	o -101981
3585.92/3596.05	o -101997
3585.92/3596.05	o -101997
3585.92/3596.05	o -101998
3585.92/3596.05	o -101998
3585.92/3596.05	o -102008
3585.92/3596.05	o -102008
3585.92/3596.05	o -102008
3585.92/3596.05	o -102008
3585.92/3596.05	o -102008
3585.92/3596.05	o -102008
3585.92/3596.05	o -102021
3585.92/3596.05	o -102021
3585.92/3596.05	o -102021
3585.92/3596.05	o -102021
3585.92/3596.05	o -102051
3585.92/3596.05	o -102134
3585.92/3596.05	o -102134
3585.92/3596.05	o -102134
3585.92/3596.05	o -102134
3585.92/3596.05	o -102134
3585.92/3596.05	o -102134
3585.92/3596.05	o -102191
3585.92/3596.05	o -102196
3585.92/3596.05	o -102196
3585.92/3596.05	o -102207
3585.92/3596.05	o -102255
3585.92/3596.05	o -102256
3585.92/3596.05	o -102256
3585.92/3596.05	o -102376
3585.92/3596.05	o -102379
3585.92/3596.05	o -102379
3585.92/3596.05	o -102379
3585.92/3596.05	o -102379
3585.92/3596.05	o -102379
3585.92/3596.05	o -102396
3585.92/3596.05	o -102438
3585.92/3596.05	o -102460
3585.92/3596.05	o -102463
3585.92/3596.05	o -102476
3585.92/3596.05	o -102485
3585.92/3596.05	o -102486
3585.92/3596.05	o -102492
3585.92/3596.05	o -102499
3585.92/3596.05	o -102526
3585.92/3596.05	o -102680
3585.92/3596.05	o -102792
3585.92/3596.05	o -102843
3585.92/3596.05	o -102879
3585.92/3596.05	o -102884
3585.92/3596.05	o -102919
3585.92/3596.05	o -103009
3585.92/3596.05	o -103012
3585.92/3596.05	o -103016
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103032
3585.92/3596.05	o -103038
3585.92/3596.05	o -103038
3585.92/3596.05	o -103038
3585.92/3596.05	o -103038
3585.92/3596.05	o -103045
3585.92/3596.05	o -103045
3585.92/3596.05	o -103073
3585.92/3596.05	o -103073
3585.92/3596.05	o -103073
3585.92/3596.05	o -103073
3585.92/3596.05	o -103081
3585.92/3596.05	o -103081
3585.92/3596.05	o -103081
3585.92/3596.05	o -103081
3585.92/3596.05	o -103081
3585.92/3596.05	o -103083
3585.92/3596.05	o -103083
3585.92/3596.05	o -103103
3585.92/3596.05	o -103103
3585.92/3596.05	o -103103
3585.92/3596.05	o -103103
3585.92/3596.05	o -103104
3585.92/3596.05	o -103104
3585.92/3596.05	o -103104
3585.92/3596.05	o -103104
3585.92/3596.05	o -103104
3585.92/3596.05	o -103104
3585.92/3596.05	o -103108
3585.92/3596.05	o -103108
3585.92/3596.05	o -103679
3585.92/3596.05	o -103679
3585.92/3596.05	o -103688
3585.92/3596.05	o -103706
3585.92/3596.05	o -103706
3585.92/3596.05	o -103781
3585.92/3596.05	o -103812
3585.92/3596.05	o -103812
3585.92/3596.05	o -103812
3585.92/3596.05	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103812
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103819
3585.92/3596.06	o -103821
3585.92/3596.06	o -103821
3585.92/3596.06	o -103821
3585.92/3596.06	o -103833
3585.92/3596.06	o -103833
3585.92/3596.06	o -103833
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103835
3585.92/3596.06	o -103843
3585.92/3596.06	o -103843
3585.92/3596.06	o -103843
3585.92/3596.06	o -103843
3585.92/3596.06	o -103848
3585.92/3596.06	o -103848
3585.92/3596.06	o -103848
3585.92/3596.06	o -103848
3585.92/3596.06	o -103848
3585.92/3596.06	o -103848
3585.92/3596.06	o -103877
3585.92/3596.06	o -103886
3585.92/3596.06	o -103886
3585.92/3596.06	o -103886
3585.92/3596.06	o -104049
3585.92/3596.06	o -104049
3585.92/3596.06	o -104049
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104067
3585.92/3596.06	o -104070
3585.92/3596.06	o -104070
3585.92/3596.06	o -104070
3585.92/3596.06	o -104070
3585.92/3596.06	o -104116
3585.92/3596.06	o -104116
3585.92/3596.06	o -104116
3585.92/3596.06	o -104116
3585.92/3596.06	o -104116
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	o -104151
3585.92/3596.06	c Program interrupted by user.
3585.92/3596.06	s SATISFIABLE
3585.92/3596.06	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 x737 x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000

Verifier Data 

OK	-104151

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: 64096 MiB (53930 MiB free)
  memory of node 1: 64473 MiB (61001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457766-1722988102/watcher-4457766-1722988102 -o /tmp/evaluation-result-4457766-1722988102/solver-4457766-1722988102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722983542-352693 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4457766-1722988102.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100106 s]*
/proc/loadavg: 4.18 4.22 4.20 5/253 355567
/proc/meminfo: memFree=117686144/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=22216 memory=7936 CPUtime=0.1 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 1042 0 0 0 10 0 0 0 20 0 1 0 65407771 22749184 1984 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 5554 1984 1050 2726 0 2302 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40808 KiB
Current children cumulated memory: 11720 KiB

[startup+0.214157 s]*
/proc/loadavg: 4.18 4.22 4.20 5/253 355567
/proc/meminfo: memFree=117685932/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=22216 memory=7936 CPUtime=0.21 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 1042 0 0 0 21 0 0 0 20 0 1 0 65407771 22749184 1984 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 5554 1984 1050 2726 0 2302 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40808 KiB
Current children cumulated memory: 11720 KiB

[startup+0.313915 s]*
/proc/loadavg: 4.18 4.22 4.20 5/253 355567
/proc/meminfo: memFree=117685792/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=22216 memory=7936 CPUtime=0.31 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 1042 0 0 0 31 0 0 0 20 0 1 0 65407771 22749184 1984 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 5554 1984 1050 2726 0 2302 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40808 KiB
Current children cumulated memory: 11720 KiB

[startup+0.70052 s]
/proc/loadavg: 4.18 4.22 4.20 5/253 355567
/proc/meminfo: memFree=117651364/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=118468 memory=102576 CPUtime=0.68 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 20600 0 0 0 65 3 0 0 20 0 1 0 65407771 121311232 25644 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 29617 25644 1066 2726 0 26365 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 137060 KiB
Current children cumulated memory: 106360 KiB

[startup+1.5005 s]
/proc/loadavg: 4.18 4.22 4.20 5/253 355567
/proc/meminfo: memFree=117479480/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=239936 memory=221624 CPUtime=1.47 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 36082 0 0 0 141 6 0 0 20 0 1 0 65407771 245694464 55406 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 59984 55406 1146 2726 0 56732 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 258528 KiB
Current children cumulated memory: 225408 KiB

[startup+3.11371 s]
/proc/loadavg: 4.18 4.22 4.20 5/253 355567
/proc/meminfo: memFree=117470048/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=240732 memory=222580 CPUtime=3.09 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 36331 0 0 0 302 7 0 0 20 0 1 0 65407771 246509568 55645 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 60183 55645 1146 2726 0 56931 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 259324 KiB
Current children cumulated memory: 226364 KiB

[startup+6.30047 s]
/proc/loadavg: 4.16 4.22 4.20 5/253 355568
/proc/meminfo: memFree=117465884/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=241788 memory=223536 CPUtime=6.27 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 36605 0 0 0 620 7 0 0 20 0 1 0 65407771 247590912 55884 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 60447 55884 1146 2726 0 57195 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 260380 KiB
Current children cumulated memory: 227320 KiB

[startup+12.7005 s]
/proc/loadavg: 4.15 4.21 4.20 5/253 355568
/proc/meminfo: memFree=117439068/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=242052 memory=223700 CPUtime=12.64 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 36705 0 0 0 1257 7 0 0 20 0 1 0 65407771 247861248 55925 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 60513 55925 1146 2726 0 57261 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 260644 KiB
Current children cumulated memory: 227484 KiB

[startup+25.5005 s]
/proc/loadavg: 4.12 4.20 4.20 5/253 355571
/proc/meminfo: memFree=117409400/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=242188 memory=223944 CPUtime=25.41 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 36814 0 0 0 2533 8 0 0 20 0 1 0 65407771 248000512 55986 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 60547 55986 1146 2726 0 57295 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 260780 KiB
Current children cumulated memory: 227728 KiB

[startup+51.1148 s]
/proc/loadavg: 4.15 4.20 4.20 5/253 355574
/proc/meminfo: memFree=117348780/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 691 614 264 0 134 0
[pid=355566] ppid=355563 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/355566/stat : 355566 (timeout) S 355563 355566 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65407771 8867840 255 134679101440 94219261263872 94219261298888 140723580804352 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94219263396304 94219263398436 94219264454656 140723580810238 140723580810397 140723580810397 140723580817383 0
/proc/355566/statm: 2165 255 230 9 0 87 0
[pid=355567] ppid=355566 vsize=252204 memory=233452 CPUtime=50.95 cores=1,3
/proc/355567/stat : 355567 (CASHWMaxSAT-Dis) R 355566 355566 352681 0 -1 4194304 37850 0 0 0 5085 10 0 0 20 0 1 0 65407771 258256896 58363 134679101440 4194304 15356333 140734726521936 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 55570432 140734726525955 140734726526101 140734726526101 140734726533087 0
/proc/355567/statm: 63051 58363 1146 2726 0 59799 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 270796 KiB
Current children cumulated memory: 237236 KiB

[startup+102.301 s]
/proc/loadavg: 4.13 4.18 4.19 5/253 355584
/proc/meminfo: memFree=117266176/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2764 CPUtime=0 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 245 99 0 0 0 0 0 0 20 0 1 0 65407770 10170368 691 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0

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

/proc/356647/statm: 75315 73109 852 745 0 74380 0
Current children cumulated CPU time: 3392.67 s
Current children cumulated vsize: 319852 KiB
Current children cumulated memory: 296288 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/250 357745
/proc/meminfo: memFree=118015884/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=302812 memory=295208 CPUtime=1659.92 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 47002 0 0 0 165971 21 0 0 20 0 1 0 65587572 310079488 73802 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 75703 73802 852 745 0 74768 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 321404 KiB
Current children cumulated memory: 299060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/249 357808
/proc/meminfo: memFree=117619120/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=304896 memory=297028 CPUtime=1719.79 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 47625 0 0 0 171957 22 0 0 20 0 1 0 65587572 312213504 74257 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 76224 74257 852 745 0 75289 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 323488 KiB
Current children cumulated memory: 300880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/249 357819
/proc/meminfo: memFree=117213088/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=378168 memory=305488 CPUtime=1779.64 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 48944 0 0 0 177940 24 0 0 20 0 1 0 65587572 387244032 76372 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 94542 76372 852 745 0 93607 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 396760 KiB
Current children cumulated memory: 309340 KiB

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

# cumulated CPU time of all completed processes:  user=3584.68 s, system=1.31266 s

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

[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.14 5/249 357819
/proc/meminfo: memFree=117205944/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=385336 memory=312540 CPUtime=1781.36 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 50229 0 0 0 178111 25 0 0 20 0 1 0 65587572 394584064 78135 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 96334 78135 852 745 0 95399 0
Current children cumulated CPU time: 3573.96 s
Current children cumulated vsize: 403928 KiB
Current children cumulated memory: 316392 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.12 4.14 5/249 357820
/proc/meminfo: memFree=117198576/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=386424 memory=317684 CPUtime=1787.73 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 50509 0 0 0 178748 25 0 0 20 0 1 0 65587572 395698176 79421 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 96606 79421 852 745 0 95671 0
Current children cumulated CPU time: 3580.33 s
Current children cumulated vsize: 405016 KiB
Current children cumulated memory: 321536 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.12 4.14 5/249 357820
/proc/meminfo: memFree=117198332/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=386424 memory=317948 CPUtime=1790.92 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 50527 0 0 0 179067 25 0 0 20 0 1 0 65587572 395698176 79487 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 96606 79487 852 745 0 95671 0
Current children cumulated CPU time: 3583.52 s
Current children cumulated vsize: 405016 KiB
Current children cumulated memory: 321800 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.12 4.14 5/249 357822
/proc/meminfo: memFree=117198192/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=386424 memory=317948 CPUtime=1792.51 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 50534 0 0 0 179226 25 0 0 20 0 1 0 65587572 395698176 79487 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 96606 79487 852 745 0 95671 0
Current children cumulated CPU time: 3585.11 s
Current children cumulated vsize: 405016 KiB
Current children cumulated memory: 321800 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.12 4.14 5/249 357822
/proc/meminfo: memFree=117198192/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=386424 memory=317948 CPUtime=1792.91 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 50537 0 0 0 179266 25 0 0 20 0 1 0 65587572 395698176 79487 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 96606 79487 852 745 0 95671 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 405016 KiB
Current children cumulated memory: 321800 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.12 4.14 5/249 357822
/proc/meminfo: memFree=117198164/131655788 swapFree=131071996/131071996
[pid=355563] ppid=355560 vsize=9932 memory=2824 CPUtime=1792.6 cores=1,3
/proc/355563/stat : 355563 (Hybrid-CASHWMax) S 355560 355563 352681 0 -1 4194304 276 80470 0 0 0 0 179157 103 20 0 1 0 65407770 10170368 706 134679101440 93880835280896 93880836360216 140720361011504 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93880838458672 93880838505860 93880845365248 140720361018318 140720361018477 140720361018477 140720361025492 0
/proc/355563/statm: 2483 706 614 264 0 134 0
[pid=356646] ppid=355563 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/356646/stat : 356646 (timeout) S 355563 356646 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65587572 8867840 257 134679101440 94079678820352 94079678855368 140725701466864 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94079680952784 94079680954916 94079704862720 140725701469172 140725701469341 140725701469341 140725701476327 0
/proc/356646/statm: 2165 257 233 9 0 87 0
[pid=356647] ppid=356646 vsize=386424 memory=317948 CPUtime=1793.32 cores=1,3
/proc/356647/stat : 356647 (Exact) R 356646 356646 352681 0 -1 4194304 50538 0 0 0 179307 25 0 0 20 0 1 0 65587572 395698176 79487 134679101440 4194304 7243121 140727798374128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 25681920 140727798375440 140727798375590 140727798375590 140727798382576 0
/proc/356647/statm: 96606 79487 852 745 0 95671 0
Current children cumulated CPU time: 3585.92 s
Current children cumulated vsize: 405016 KiB
Current children cumulated memory: 321800 KiB

Child status: 0

Real time (s): 3596.06
CPU time (s): 3585.99
CPU user time (s): 3584.68
CPU system time (s): 1.31266
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 595256
Max. memory (cumulated for all children) (KiB): 558528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.68
system time used= 1.31266
maximum resident set size= 564836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134286
page faults= 0
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 2292


# summary of solver processes directly reported to runsolver:
#   pid: 355563
#   total CPU time (s): 3585.99
#   total CPU user time (s): 3584.68
#   total CPU system time (s): 1.31266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1429 second user time and 39.4904 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-08-07 01:48:22
IDJOB=4457766
IDBENCH=176755
IDSOLVER=3072
FILE ID=nodeC009/4457766-1722988102
RUNJOBID= nodeC009-1722983542-352693
SLURM_JOB_ID= 8259094
Free space on /tmp= 723724 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457766-1722988102/watcher-4457766-1722988102 -o /tmp/evaluation-result-4457766-1722988102/solver-4457766-1722988102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722983542-352693 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4457766-1722988102.opb 3600 HOME 31000

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

MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b
RANDOM SEED=17481829

nodeC009.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	: 0xb00001f
cpu MHz		: 3549.729
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
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	: 0xb00001f
cpu MHz		: 2693.832
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.383
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
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	: 0xb00001f
cpu MHz		: 1197.262
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3655.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
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	: 0xb00001f
cpu MHz		: 3549.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.278
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.99
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	: 0xb00001f
cpu MHz		: 1197.491
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117690892 kB
MemAvailable:   128312628 kB
Buffers:          361304 kB
Cached:         11095708 kB
SwapCached:            0 kB
Active:           665944 kB
Inactive:       12796724 kB
Active(anon):       1540 kB
Inactive(anon):  2041528 kB
Active(file):     664404 kB
Inactive(file): 10755196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19520 kB
Writeback:             0 kB
AnonPages:       2004496 kB
Mapped:           118516 kB
Shmem:             37704 kB
KReclaimable:      84668 kB
Slab:             171964 kB
SReclaimable:      84668 kB
SUnreclaim:        87296 kB
KernelStack:        4048 kB
PageTables:        13612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2530636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            25312 kB
HardwareCorrupted:     0 kB
AnonHugePages:    729088 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:      314184 kB
DirectMap2M:    23707648 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC009 at 2024-08-07 02:48:18