Trace number 4457186

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 NameAnswerCPU timeWall clock time
RoundingSat log (1)SAT 120.783 121.162

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K77.opb
MD5SUM1befa42a441a3881696e6fa0e11864f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.60089
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4235
Total number of constraints4391
Number of constraints which are clauses4314
Number of constraints which are cardinality constraints (but not clauses)77
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint77
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 78
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.02	c #variables 4235 #constraints 4391
5.06/5.14	c #Conflicts:       1000 | #Constraints:       5390
5.06/5.14	c #Conflicts:       2000 | #Constraints:       6390
5.06/5.14	c INPROCESSING
5.06/5.14	c GARBAGE COLLECT
5.06/5.14	c #Conflicts:       3000 | #Constraints:       5890
5.06/5.14	c #Conflicts:       4000 | #Constraints:       6890
5.06/5.14	c INPROCESSING
5.06/5.14	c GARBAGE COLLECT
5.06/5.14	c #Conflicts:       5000 | #Constraints:       6356
5.06/5.14	c #Conflicts:       6000 | #Constraints:       7357
5.06/5.14	c INPROCESSING
5.06/5.14	c GARBAGE COLLECT
5.06/5.14	c rational objective 77
6.06/6.16	c #Conflicts:       7000 | #Constraints:       6384
6.06/6.16	c #Conflicts:       8000 | #Constraints:       7384
6.06/6.16	c #Conflicts:       9000 | #Constraints:       8384
6.06/6.16	c INPROCESSING
6.06/6.16	c GARBAGE COLLECT
6.06/6.16	c rational objective 77
7.07/7.16	c #Conflicts:      10000 | #Constraints:       7118
7.07/7.16	c #Conflicts:      11000 | #Constraints:       8118
7.07/7.16	c #Conflicts:      12000 | #Constraints:       9118
7.07/7.16	c INPROCESSING
7.07/7.16	c GARBAGE COLLECT
7.07/7.16	c rational objective 77
8.06/8.12	c #Conflicts:      13000 | #Constraints:       7612
8.06/8.12	c #Conflicts:      14000 | #Constraints:       8612
8.06/8.12	c #Conflicts:      15000 | #Constraints:       9613
8.06/8.12	c INPROCESSING
8.06/8.12	c GARBAGE COLLECT
8.06/8.12	c rational objective 77
10.15/10.24	c #Conflicts:      16000 | #Constraints:       7869
10.15/10.24	c #Conflicts:      17000 | #Constraints:       8869
10.15/10.24	c #Conflicts:      18000 | #Constraints:       9870
10.15/10.24	c INPROCESSING
10.15/10.24	c GARBAGE COLLECT
10.15/10.24	c rational objective 77
13.95/14.05	c #Conflicts:      19000 | #Constraints:       7878
13.95/14.05	c #Conflicts:      20000 | #Constraints:       8879
13.95/14.05	c #Conflicts:      21000 | #Constraints:       9879
13.95/14.05	c INPROCESSING
13.95/14.05	c GARBAGE COLLECT
13.95/14.05	c rational objective 77
16.44/16.57	c #Conflicts:      22000 | #Constraints:       7700
16.44/16.57	c #Conflicts:      23000 | #Constraints:       8700
16.44/16.57	c #Conflicts:      24000 | #Constraints:       9700
16.44/16.57	c #Conflicts:      25000 | #Constraints:      10700
16.44/16.57	c INPROCESSING
16.44/16.57	c GARBAGE COLLECT
16.44/16.57	c rational objective 77
18.94/19.01	c #Conflicts:      26000 | #Constraints:       8349
18.94/19.01	c #Conflicts:      27000 | #Constraints:       9349
18.94/19.01	c #Conflicts:      28000 | #Constraints:      10349
18.94/19.01	c #Conflicts:      29000 | #Constraints:      11349
18.94/19.01	c INPROCESSING
18.94/19.01	c GARBAGE COLLECT
18.94/19.01	c rational objective 77
22.03/22.10	c #Conflicts:      30000 | #Constraints:       8760
22.03/22.10	c #Conflicts:      31000 | #Constraints:       9760
22.03/22.10	c #Conflicts:      32000 | #Constraints:      10760
22.03/22.10	c #Conflicts:      33000 | #Constraints:      11763
22.03/22.10	c INPROCESSING
22.03/22.10	c GARBAGE COLLECT
22.03/22.10	c rational objective 77
28.61/28.72	c #Conflicts:      34000 | #Constraints:       9002
28.61/28.72	c #Conflicts:      35000 | #Constraints:      10003
28.61/28.72	c #Conflicts:      36000 | #Constraints:      11003
28.61/28.72	c #Conflicts:      37000 | #Constraints:      12003
28.61/28.72	c INPROCESSING
28.61/28.72	c GARBAGE COLLECT
28.61/28.72	c rational objective 77
37.59/37.71	c #Conflicts:      38000 | #Constraints:       9028
37.59/37.71	c #Conflicts:      39000 | #Constraints:      10028
37.59/37.71	c #Conflicts:      40000 | #Constraints:      11028
37.59/37.71	c #Conflicts:      41000 | #Constraints:      12028
37.59/37.71	c INPROCESSING
37.59/37.71	c GARBAGE COLLECT
37.59/37.71	c #Conflicts:      42000 | #Constraints:       8847
37.59/37.71	c #Conflicts:      43000 | #Constraints:       9847
37.59/37.71	c #Conflicts:      44000 | #Constraints:      10847
37.59/37.71	c #Conflicts:      45000 | #Constraints:      11847
37.59/37.71	c #Conflicts:      46000 | #Constraints:      12847
37.59/37.71	c INPROCESSING
37.59/37.71	c GARBAGE COLLECT
37.59/37.71	c #Conflicts:      47000 | #Constraints:       9437
37.59/37.71	c #Conflicts:      48000 | #Constraints:      10437
37.59/37.71	c #Conflicts:      49000 | #Constraints:      11437
37.59/37.71	c #Conflicts:      50000 | #Constraints:      12437
37.59/37.71	c #Conflicts:      51000 | #Constraints:      13437
37.59/37.71	c INPROCESSING
37.59/37.71	c GARBAGE COLLECT
37.59/37.71	c rational objective 77
39.78/40.00	c #Conflicts:      52000 | #Constraints:       9879
39.78/40.00	c #Conflicts:      53000 | #Constraints:      10879
39.78/40.00	c #Conflicts:      54000 | #Constraints:      11879
39.78/40.00	c #Conflicts:      55000 | #Constraints:      12879
39.78/40.00	c #Conflicts:      56000 | #Constraints:      13879
39.78/40.00	c INPROCESSING
39.78/40.00	c GARBAGE COLLECT
39.78/40.00	c rational objective 77
42.48/42.65	c #Conflicts:      57000 | #Constraints:      10094
42.48/42.65	c #Conflicts:      58000 | #Constraints:      11094
42.48/42.65	c #Conflicts:      59000 | #Constraints:      12094
42.48/42.65	c #Conflicts:      60000 | #Constraints:      13094
42.48/42.65	c #Conflicts:      61000 | #Constraints:      14094
42.48/42.65	c INPROCESSING
42.48/42.65	c GARBAGE COLLECT
42.48/42.65	c rational objective 77
45.27/45.45	c #Conflicts:      62000 | #Constraints:      10072
45.27/45.45	c #Conflicts:      63000 | #Constraints:      11072
45.27/45.45	c #Conflicts:      64000 | #Constraints:      12072
45.27/45.45	c #Conflicts:      65000 | #Constraints:      13072
45.27/45.45	c #Conflicts:      66000 | #Constraints:      14072
45.27/45.45	c INPROCESSING
45.27/45.45	c GARBAGE COLLECT
45.27/45.45	c rational objective 77
48.87/49.04	c #Conflicts:      67000 | #Constraints:       9872
48.87/49.04	c #Conflicts:      68000 | #Constraints:      10872
48.87/49.04	c #Conflicts:      69000 | #Constraints:      11872
48.87/49.04	c #Conflicts:      70000 | #Constraints:      12872
48.87/49.04	c #Conflicts:      71000 | #Constraints:      13872
48.87/49.04	c #Conflicts:      72000 | #Constraints:      14872
48.87/49.04	c INPROCESSING
48.87/49.04	c GARBAGE COLLECT
48.87/49.04	c rational objective 77
51.36/51.54	c #Conflicts:      73000 | #Constraints:      10516
51.36/51.54	c #Conflicts:      74000 | #Constraints:      11516
51.36/51.54	c #Conflicts:      75000 | #Constraints:      12516
51.36/51.54	c #Conflicts:      76000 | #Constraints:      13516
51.36/51.54	c #Conflicts:      77000 | #Constraints:      14516
51.36/51.54	c #Conflicts:      78000 | #Constraints:      15516
51.36/51.54	c INPROCESSING
51.36/51.54	c GARBAGE COLLECT
51.36/51.54	c rational objective 77
74.19/74.40	c #Conflicts:      79000 | #Constraints:      10896
74.19/74.40	c #Conflicts:      80000 | #Constraints:      11896
74.19/74.40	c #Conflicts:      81000 | #Constraints:      12896
74.19/74.40	c #Conflicts:      82000 | #Constraints:      13896
74.19/74.40	c #Conflicts:      83000 | #Constraints:      14897
74.19/74.40	c #Conflicts:      84000 | #Constraints:      15897
74.19/74.40	c #Conflicts:      85000 | #Constraints:      16897
74.19/74.40	c #Conflicts:      86000 | #Constraints:      17897
74.19/74.40	c #Conflicts:      87000 | #Constraints:      18897
74.19/74.40	c #Conflicts:      88000 | #Constraints:      19897
74.19/74.40	c #Conflicts:      89000 | #Constraints:      20897
74.19/74.40	c #Conflicts:      90000 | #Constraints:      21897
74.19/74.40	c #Conflicts:      91000 | #Constraints:      22897
74.19/74.40	c #Conflicts:      92000 | #Constraints:      23897
74.19/74.40	c #Conflicts:      93000 | #Constraints:      24897
74.19/74.40	c #Conflicts:      94000 | #Constraints:      25897
74.19/74.40	c #Conflicts:      95000 | #Constraints:      26897
74.19/74.40	c #Conflicts:      96000 | #Constraints:      27897
74.19/74.40	c #Conflicts:      97000 | #Constraints:      28897
74.19/74.40	c #Conflicts:      98000 | #Constraints:      29897
74.19/74.40	c #Conflicts:      99000 | #Constraints:      30897
74.19/74.40	c #Conflicts:     100000 | #Constraints:      31898
74.19/74.40	c #Conflicts:     101000 | #Constraints:      32898
74.19/74.40	c #Conflicts:     102000 | #Constraints:      33898
74.19/74.40	c INPROCESSING
74.19/74.40	c GARBAGE COLLECT
74.19/74.40	c rational objective 77
80.08/80.38	c #Conflicts:     103000 | #Constraints:      19668
80.08/80.38	c #Conflicts:     104000 | #Constraints:      20668
80.08/80.38	c #Conflicts:     105000 | #Constraints:      21668
80.08/80.38	c #Conflicts:     106000 | #Constraints:      22668
80.08/80.38	c #Conflicts:     107000 | #Constraints:      23668
80.08/80.38	c #Conflicts:     108000 | #Constraints:      24669
80.08/80.38	c #Conflicts:     109000 | #Constraints:      25669
80.08/80.38	c #Conflicts:     110000 | #Constraints:      26669
80.08/80.38	c INPROCESSING
80.08/80.38	c GARBAGE COLLECT
80.08/80.38	c rational objective 77
84.77/85.04	c #Conflicts:     111000 | #Constraints:      16540
84.77/85.04	c #Conflicts:     112000 | #Constraints:      17540
84.77/85.04	c #Conflicts:     113000 | #Constraints:      18540
84.77/85.04	c #Conflicts:     114000 | #Constraints:      19540
84.77/85.04	c #Conflicts:     115000 | #Constraints:      20541
84.77/85.04	c #Conflicts:     116000 | #Constraints:      21541
84.77/85.04	c #Conflicts:     117000 | #Constraints:      22541
84.77/85.04	c INPROCESSING
84.77/85.04	c GARBAGE COLLECT
84.77/85.04	c rational objective 77
89.66/89.91	c #Conflicts:     118000 | #Constraints:      14356
89.66/89.91	c #Conflicts:     119000 | #Constraints:      15356
89.66/89.91	c #Conflicts:     120000 | #Constraints:      16356
89.66/89.91	c #Conflicts:     121000 | #Constraints:      17356
89.66/89.91	c #Conflicts:     122000 | #Constraints:      18356
89.66/89.91	c #Conflicts:     123000 | #Constraints:      19356
89.66/89.91	c #Conflicts:     124000 | #Constraints:      20356
89.66/89.91	c INPROCESSING
89.66/89.91	c GARBAGE COLLECT
89.66/89.91	c rational objective 77
95.55/95.85	c #Conflicts:     125000 | #Constraints:      13023
95.55/95.85	c #Conflicts:     126000 | #Constraints:      14023
95.55/95.85	c #Conflicts:     127000 | #Constraints:      15023
95.55/95.85	c #Conflicts:     128000 | #Constraints:      16023
95.55/95.85	c #Conflicts:     129000 | #Constraints:      17023
95.55/95.85	c #Conflicts:     130000 | #Constraints:      18023
95.55/95.85	c #Conflicts:     131000 | #Constraints:      19024
95.55/95.85	c #Conflicts:     132000 | #Constraints:      20024
95.55/95.85	c INPROCESSING
95.55/95.85	c GARBAGE COLLECT
95.55/95.85	c rational objective 77
100.24/100.59	c #Conflicts:     133000 | #Constraints:      12961
100.24/100.59	c #Conflicts:     134000 | #Constraints:      13961
100.24/100.59	c #Conflicts:     135000 | #Constraints:      14962
100.24/100.59	c #Conflicts:     136000 | #Constraints:      15962
100.24/100.59	c #Conflicts:     137000 | #Constraints:      16962
100.24/100.59	c #Conflicts:     138000 | #Constraints:      17962
100.24/100.59	c #Conflicts:     139000 | #Constraints:      18962
100.24/100.59	c #Conflicts:     140000 | #Constraints:      19962
100.24/100.59	c INPROCESSING
100.24/100.59	c GARBAGE COLLECT
100.24/100.59	c rational objective 77
120.68/121.08	c #Conflicts:     141000 | #Constraints:      12974
120.68/121.08	c #Conflicts:     142000 | #Constraints:      13975
120.68/121.08	c #Conflicts:     143000 | #Constraints:      14975
120.68/121.08	c #Conflicts:     144000 | #Constraints:      15975
120.68/121.08	c #Conflicts:     145000 | #Constraints:      16975
120.68/121.08	c #Conflicts:     146000 | #Constraints:      17975
120.68/121.08	c #Conflicts:     147000 | #Constraints:      18975
120.68/121.08	c #Conflicts:     148000 | #Constraints:      19975
120.68/121.08	c #Conflicts:     149000 | #Constraints:      20976
120.68/121.08	c #Conflicts:     150000 | #Constraints:      21976
120.68/121.08	c #Conflicts:     151000 | #Constraints:      22976
120.68/121.08	c #Conflicts:     152000 | #Constraints:      23976
120.68/121.08	c #Conflicts:     153000 | #Constraints:      24976
120.68/121.08	c #Conflicts:     154000 | #Constraints:      25976
120.68/121.08	c #Conflicts:     155000 | #Constraints:      26976
120.68/121.08	c #Conflicts:     156000 | #Constraints:      27976
120.68/121.08	c #Conflicts:     157000 | #Constraints:      28976
120.68/121.08	c #Conflicts:     158000 | #Constraints:      29976
120.68/121.08	c #Conflicts:     159000 | #Constraints:      30976
120.68/121.08	c #Conflicts:     160000 | #Constraints:      31977
120.68/121.08	c #Conflicts:     161000 | #Constraints:      32977
120.68/121.08	c #Conflicts:     162000 | #Constraints:      33977
120.68/121.08	c #Conflicts:     163000 | #Constraints:      34977
120.68/121.08	c #Conflicts:     164000 | #Constraints:      35977
120.68/121.08	c cpu time 118.012 s
120.68/121.08	c deterministic time 9433930062 9.43e+09
120.68/121.08	c optimization time 5.5e-05 s
120.68/121.08	c total solve time 117.993 s
120.68/121.08	c core-guided solve time 0 s
120.68/121.08	c propagation time 72.5732 s
120.68/121.08	c conflict analysis time 30.0371 s
120.68/121.08	c propagations 47561273
120.68/121.08	c resolve steps 4640480
120.68/121.08	c decisions 1121057
120.68/121.08	c conflicts 164331
120.68/121.08	c restarts 444
120.68/121.08	c inprocessing phases 26
120.68/121.08	c input clauses 4314
120.68/121.08	c input cardinalities 77
120.68/121.08	c input general constraints 0
120.68/121.08	c input average constraint length 6.01
120.68/121.08	c input average constraint degree 1.93
120.68/121.08	c learned clauses 106900
120.68/121.08	c learned cardinalities 6664
120.68/121.08	c learned general constraints 50787
120.68/121.08	c learned average constraint length 416.56
120.68/121.08	c learned average constraint degree 13224840.52
120.68/121.08	c watched constraints 38368
120.68/121.08	c counting constraints 12419
120.68/121.08	c gcd simplifications 320
120.68/121.08	c detected cardinalities 708
120.68/121.08	c weakened non-implied lits 16719585
120.68/121.08	c weakened non-implying lits 19338
120.68/121.08	c original variables 4235
120.68/121.08	c clausal propagations 20287992
120.68/121.08	c cardinality propagations 17166305
120.68/121.08	c watched propagations 2371947
120.68/121.08	c counting propagations 7113990
120.68/121.08	c watch lookups 787254841
120.68/121.08	c watch backjump lookups 609532120
120.68/121.08	c watch checks 5829173458
120.68/121.08	c propagation checks 1904754302
120.68/121.08	c constraint additions 205467299
120.68/121.08	c trail pops 48846038
120.68/121.08	c formula constraints 4391
120.68/121.08	c learned constraints 164311
120.68/121.08	c bound constraints 0
120.68/121.08	c core-guided constraints 0
120.68/121.08	c encountered formula constraints 3151125
120.68/121.08	c encountered learned constraints 1653543
120.68/121.08	c encountered bound constraints 0
120.68/121.08	c encountered core-guided constraints 0
120.68/121.08	c LP total time 41.3553 s
120.68/121.08	c LP solve time 40.89 s
120.68/121.08	c LP constraints added 5120
120.68/121.08	c LP constraints removed 704
120.68/121.08	c LP pivots internal 166592
120.68/121.08	c LP pivots root 53081
120.68/121.08	c LP calls 89
120.68/121.08	c LP optimalities 65
120.68/121.08	c LP no pivot count 7
120.68/121.08	c LP infeasibilities 20
120.68/121.08	c LP valid Farkas constraints 20
120.68/121.08	c LP learned Farkas constraints 20
120.68/121.08	c LP basis resets 0
120.68/121.08	c LP cycling count 0
120.68/121.08	c LP singular count 0
120.68/121.08	c LP no primal count 0
120.68/121.08	c LP no farkas count 0
120.68/121.08	c LP other issue count 0
120.68/121.08	c LP Gomory cuts 0
120.68/121.08	c LP learned cuts 729
120.68/121.08	c LP deleted cuts 704
120.68/121.08	c LP encountered Gomory constraints 0
120.68/121.08	c LP encountered Farkas constraints 92
120.68/121.08	c LP encountered learned Farkas constraints 31
120.68/121.08	c CG auxiliary variables introduced 0
120.68/121.08	c CG solutions found 0
120.68/121.08	c CG cores constructed 0
120.68/121.08	c CG core cardinality constraints returned 0
120.68/121.08	c CG unit cores 0
120.68/121.08	c CG single cores 0
120.68/121.08	c CG blocks removed during cardinality reduction 0
120.68/121.08	c CG first core best 0
120.68/121.08	c CG decision core best 0
120.68/121.08	c CG core reduction tie 0
120.68/121.08	c CG core degree average 0.00
120.68/121.08	c CG core slack average 0.00
120.68/121.08	s SATISFIABLE
120.68/121.08	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 x4141 -x4142 x4143 -x4144 x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235

Verifier Data 

OK	0

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457186-1721830606/watcher-4457186-1721830606 -o /tmp/evaluation-result-4457186-1721830606/solver-4457186-1721830606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457186-1721830606 --lp-cut-gomory=0 HOME/instance-4457186-1721830606.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100172 s]*
/proc/loadavg: 2.75 2.09 2.18 5/259 191714
/proc/meminfo: memFree=126346824/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=46144 memory=14944 CPUtime=0.09 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 2623 0 0 0 8 1 0 0 20 0 1 0 19589151 47251456 3736 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 11536 3736 1716 992 0 3394 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 14944 KiB

[startup+0.206171 s]*
/proc/loadavg: 2.75 2.09 2.18 5/259 191714
/proc/meminfo: memFree=126345144/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=46144 memory=14944 CPUtime=0.19 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 2641 0 0 0 18 1 0 0 20 0 1 0 19589151 47251456 3736 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 11536 3736 1716 992 0 3394 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 14944 KiB

[startup+0.30517 s]*
/proc/loadavg: 2.75 2.09 2.18 5/259 191714
/proc/meminfo: memFree=126343624/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=46144 memory=15208 CPUtime=0.29 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 2715 0 0 0 28 1 0 0 20 0 1 0 19589151 47251456 3802 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 11536 3802 1716 992 0 3394 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 15208 KiB

[startup+0.700153 s]
/proc/loadavg: 2.75 2.09 2.18 5/259 191714
/proc/meminfo: memFree=126338972/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=47320 memory=16644 CPUtime=0.67 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 3043 0 0 0 64 3 0 0 20 0 1 0 19589151 48455680 4161 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 11830 4161 1747 992 0 3688 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 47320 KiB
Current children cumulated memory: 16644 KiB

[startup+1.50017 s]
/proc/loadavg: 2.75 2.09 2.18 5/259 191714
/proc/meminfo: memFree=126327072/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=48252 memory=20592 CPUtime=1.47 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 3491 0 0 0 140 7 0 0 20 0 1 0 19589151 49410048 5148 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 12063 5148 1762 992 0 3921 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 48252 KiB
Current children cumulated memory: 20592 KiB

[startup+3.10536 s]
/proc/loadavg: 2.85 2.12 2.19 6/259 191714
/proc/meminfo: memFree=126291116/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=49176 memory=21736 CPUtime=3.07 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 3710 0 0 0 294 13 0 0 20 0 1 0 19589151 50356224 5434 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 12294 5434 1857 992 0 4152 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 49176 KiB
Current children cumulated memory: 21736 KiB

[startup+6.30016 s]
/proc/loadavg: 2.85 2.12 2.19 5/259 191714
/proc/meminfo: memFree=126267684/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=54776 memory=27732 CPUtime=6.26 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 4697 0 0 0 604 22 0 0 20 0 1 0 19589151 56090624 6933 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 13694 6933 1857 992 0 5552 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54776 KiB
Current children cumulated memory: 27732 KiB

[startup+12.7002 s]
/proc/loadavg: 2.95 2.15 2.20 5/259 191715
/proc/meminfo: memFree=126220176/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=56868 memory=29768 CPUtime=12.65 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 5359 0 0 0 1224 41 0 0 20 0 1 0 19589151 58232832 7442 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 14217 7442 1857 992 0 6075 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 56868 KiB
Current children cumulated memory: 29768 KiB

[startup+25.5002 s]
/proc/loadavg: 3.18 2.24 2.23 5/259 191717
/proc/meminfo: memFree=126133348/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=70660 memory=39252 CPUtime=25.42 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 6690 0 0 0 2470 72 0 0 20 0 1 0 19589151 72355840 9813 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 17665 9813 1857 992 0 9523 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 70660 KiB
Current children cumulated memory: 39252 KiB

[startup+51.1058 s]
/proc/loadavg: 3.67 2.43 2.29 5/259 191722
/proc/meminfo: memFree=125854312/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=73468 memory=42140 CPUtime=50.96 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 7389 0 0 0 4956 140 0 0 20 0 1 0 19589151 75231232 10535 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 18367 10535 1857 992 0 10225 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 73468 KiB
Current children cumulated memory: 42140 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 2.69 2.39 5/259 191732
/proc/meminfo: memFree=125247688/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=195868 memory=130584 CPUtime=102.03 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 12140 0 0 0 9960 243 0 0 20 0 1 0 19589151 200568832 32646 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 48967 32646 1857 992 0 40825 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 195868 KiB
Current children cumulated memory: 130584 KiB

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

# cumulated CPU time of all completed processes:  user=118.013 s, system=2.77009 s

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

[startup+102.4 s]
/proc/loadavg: 3.92 2.69 2.39 5/259 191732
/proc/meminfo: memFree=125247688/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=195868 memory=130584 CPUtime=102.12 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 12140 0 0 0 9969 243 0 0 20 0 1 0 19589151 200568832 32646 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 48967 32646 1857 992 0 40825 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 195868 KiB
Current children cumulated memory: 130584 KiB

[startup+108.8 s]
/proc/loadavg: 4.01 2.75 2.41 5/259 191733
/proc/meminfo: memFree=125195600/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=196836 memory=131108 CPUtime=108.51 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 12325 0 0 0 10596 255 0 0 20 0 1 0 19589151 201560064 32777 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 49209 32777 1857 992 0 41067 0
Current children cumulated CPU time: 108.51 s
Current children cumulated vsize: 196836 KiB
Current children cumulated memory: 131108 KiB

[startup+115.2 s]
/proc/loadavg: 4.01 2.78 2.42 6/259 191733
/proc/meminfo: memFree=125124476/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=198208 memory=132692 CPUtime=114.89 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 12711 0 0 0 11224 265 0 0 20 0 1 0 19589151 202964992 33173 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 49552 33173 1857 992 0 41410 0
Current children cumulated CPU time: 114.89 s
Current children cumulated vsize: 198208 KiB
Current children cumulated memory: 132692 KiB

[startup+118.4 s]
/proc/loadavg: 4.01 2.80 2.43 5/259 191735
/proc/meminfo: memFree=125103388/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=199640 memory=134320 CPUtime=118.08 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 13053 0 0 0 11537 271 0 0 20 0 1 0 19589151 204431360 33580 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 49910 33580 1857 992 0 41768 0
Current children cumulated CPU time: 118.08 s
Current children cumulated vsize: 199640 KiB
Current children cumulated memory: 134320 KiB

[startup+120 s]*
/proc/loadavg: 4.01 2.80 2.43 5/259 191735
/proc/meminfo: memFree=125078152/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=200260 memory=134844 CPUtime=119.68 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 13141 0 0 0 11695 273 0 0 20 0 1 0 19589151 205066240 33711 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 50065 33711 1857 992 0 41923 0
Current children cumulated CPU time: 119.68 s
Current children cumulated vsize: 200260 KiB
Current children cumulated memory: 134844 KiB

[startup+120.8 s]
/proc/loadavg: 4.01 2.80 2.43 5/259 191735
/proc/meminfo: memFree=125078152/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=200396 memory=135100 CPUtime=120.48 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 13232 0 0 0 11773 275 0 0 20 0 1 0 19589151 205205504 33775 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 50099 33775 1857 992 0 41957 0
Current children cumulated CPU time: 120.48 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 135100 KiB

[startup+121 s]*
/proc/loadavg: 4.01 2.80 2.43 5/259 191736
/proc/meminfo: memFree=125067488/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=200396 memory=135100 CPUtime=120.68 cores=4,6
/proc/191713/stat : 191713 (roundingsat) R 191710 191713 191587 0 -1 4194304 13253 0 0 0 11793 275 0 0 20 0 1 0 19589151 205205504 33775 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 50099 33775 1857 992 0 41957 0
Current children cumulated CPU time: 120.68 s
Current children cumulated vsize: 200396 KiB
Current children cumulated memory: 135100 KiB

[startup+121.105 s]
/proc/loadavg: 4.01 2.80 2.43 5/259 191736
/proc/meminfo: memFree=125067488/131524600 swapFree=131056028/131071996
[pid=191713] ppid=191710 vsize=200528 memory=135360 CPUtime=120.77 cores=4,6
/proc/191713/stat : 191713 (roundingsat) D 191710 191713 191587 0 -1 4194304 13284 0 0 0 11801 276 0 0 20 0 1 0 19589151 205340672 33840 134679101440 4194304 8254037 140720320636176 0 0 0 0 0 25182210 0 0 0 17 4 0 0 1 0 0 9037040 9046032 29937664 140720320639836 140720320640098 140720320640098 140720320647113 0
/proc/191713/statm: 50132 33840 1857 992 0 41990 0
Current children cumulated CPU time: 120.77 s
Current children cumulated vsize: 200528 KiB
Current children cumulated memory: 135360 KiB

Child status: 0

Real time (s): 121.162
CPU time (s): 120.783
CPU user time (s): 118.013
CPU system time (s): 2.77009
CPU usage (%): 99.6868
Max. virtual memory (cumulated for all children) (KiB): 200528
Max. memory (cumulated for all children) (KiB): 135360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.013
system time used= 2.77009
maximum resident set size= 135360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 551352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1106
involuntary context switches= 172


# summary of solver processes directly reported to runsolver:
#   pid: 191713
#   total CPU time (s): 120.783
#   total CPU user time (s): 118.013
#   total CPU system time (s): 2.77009

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.266349 second user time and 0.497203 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-24 16:16:46
IDJOB=4457186
IDBENCH=158374
IDSOLVER=3085
FILE ID=nodeC016/4457186-1721830606
RUNJOBID= nodeC016-1721830563-191598
SLURM_JOB_ID= 7891513
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457186-1721830606/watcher-4457186-1721830606 -o /tmp/evaluation-result-4457186-1721830606/solver-4457186-1721830606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457186-1721830606 --lp-cut-gomory=0 HOME/instance-4457186-1721830606.opb

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

MD5SUM BENCH= 1befa42a441a3881696e6fa0e11864f5
RANDOM SEED=802213707

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126357228 kB
MemAvailable:   129411296 kB
Buffers:          247100 kB
Cached:          3489948 kB
SwapCached:          256 kB
Active:          2244100 kB
Inactive:        2027484 kB
Active(anon):       4480 kB
Inactive(anon):   582808 kB
Active(file):    2239620 kB
Inactive(file):  1444676 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:             67260 kB
Writeback:             0 kB
AnonPages:        534452 kB
Mapped:           112348 kB
Shmem:             52400 kB
KReclaimable:     418836 kB
Slab:             540792 kB
SReclaimable:     418836 kB
SUnreclaim:       121956 kB
KernelStack:        4208 kB
PageTables:        10472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     995216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC016 at 2024-07-24 16:18:47