Trace number 4507665

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+pbsuma-log 63f22adSAT 218.072 223.915

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
MD5SUM9c6bc9cc94309c2493f896d524de96fb
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 benchmark1.42493
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3905
Total number of constraints4049
Number of constraints which are clauses3978
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint71
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 72
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4507665-1751177749.opb'
0.00/0.01	c 	read 0.24MB  (3.38ms)
0.00/0.01	c	 [cnf: #variables 3905 #clauses 4049 #duplicates 0 #arr 24317]
0.00/0.02	c output proof to 'PROOFDIR/proof-4507665-1751177749'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 710] (4.48ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.03	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	 (0.93ms)
0.00/0.03	c 
0.00/0.03	c detect symmetries on remainder
0.00/0.03	c 	[graph: #vertices 19669 #edges 72064]
0.00/0.03	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 8.00*10^0 #generators 3] (4.26ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	(0.01ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c add generic predicates (break_depth=10)
0.00/0.03	c 	added predicates for 3 generators (0.02ms)
0.00/0.04	c 
0.00/0.04	c generation finished
0.00/0.04	c 	[sbp: #constraints 84 #add_vars 27]
0.00/0.04	c 
0.00/0.04	c write result to 'HOME/instance-4507665-1751177749.opb.pre'
0.00/0.04	c 	wrote 0.25MB (0.69ms)
0.00/0.04	c ------------------------------------------------------------------
0.00/0.04	c                  15.11ms 52.06% other
0.00/0.04	c                   4.48ms 15.43% approx_orbits
0.00/0.04	c                   4.26ms 14.67% detect_generic
0.00/0.04	c                   3.38ms 11.64% parse
0.00/0.04	c                   0.93ms  3.21% detect_special
0.00/0.04	c                   0.69ms  2.39% output
0.00/0.04	c                   0.14ms  0.47% finalize_order
0.00/0.04	c                   0.02ms  0.08% break_generic
0.00/0.04	c                   0.01ms  0.05% optimize_gens
0.00/0.04	c         ───────────────────────────────────────────────
0.00/0.04	c                  29.02ms   100% total
0.00/0.04	c ------------------------------------------------------------------
0.00/0.05	c RoundingSat 2
0.00/0.05	c branch pb25
0.00/0.05	c commit 63f22ad
0.00/0.08	c #variables 3932 #constraints 4114
36.35/36.60	c #Conflicts:       1000 | #Constraints:       5113
36.35/36.60	c #Conflicts:       2000 | #Constraints:       6113
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:       3000 | #Constraints:       5593
36.35/36.60	c #Conflicts:       4000 | #Constraints:       6593
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:       5000 | #Constraints:       6031
36.35/36.60	c #Conflicts:       6000 | #Constraints:       7031
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:       7000 | #Constraints:       6063
36.35/36.60	c #Conflicts:       8000 | #Constraints:       7063
36.35/36.60	c #Conflicts:       9000 | #Constraints:       8063
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      10000 | #Constraints:       6801
36.35/36.60	c #Conflicts:      11000 | #Constraints:       7801
36.35/36.60	c #Conflicts:      12000 | #Constraints:       8801
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      13000 | #Constraints:       7281
36.35/36.60	c #Conflicts:      14000 | #Constraints:       8281
36.35/36.60	c #Conflicts:      15000 | #Constraints:       9281
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      16000 | #Constraints:       7529
36.35/36.60	c #Conflicts:      17000 | #Constraints:       8529
36.35/36.60	c #Conflicts:      18000 | #Constraints:       9529
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      19000 | #Constraints:       7570
36.35/36.60	c #Conflicts:      20000 | #Constraints:       8570
36.35/36.60	c #Conflicts:      21000 | #Constraints:       9571
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      22000 | #Constraints:       7378
36.35/36.60	c #Conflicts:      23000 | #Constraints:       8378
36.35/36.60	c #Conflicts:      24000 | #Constraints:       9378
36.35/36.60	c #Conflicts:      25000 | #Constraints:      10378
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      26000 | #Constraints:       8015
36.35/36.60	c #Conflicts:      27000 | #Constraints:       9015
36.35/36.60	c #Conflicts:      28000 | #Constraints:      10015
36.35/36.60	c #Conflicts:      29000 | #Constraints:      11015
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      30000 | #Constraints:       8428
36.35/36.60	c #Conflicts:      31000 | #Constraints:       9428
36.35/36.60	c #Conflicts:      32000 | #Constraints:      10428
36.35/36.60	c #Conflicts:      33000 | #Constraints:      11428
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      34000 | #Constraints:       8618
36.35/36.60	c #Conflicts:      35000 | #Constraints:       9618
36.35/36.60	c #Conflicts:      36000 | #Constraints:      10618
36.35/36.60	c #Conflicts:      37000 | #Constraints:      11618
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      38000 | #Constraints:       8633
36.35/36.60	c #Conflicts:      39000 | #Constraints:       9633
36.35/36.60	c #Conflicts:      40000 | #Constraints:      10633
36.35/36.60	c #Conflicts:      41000 | #Constraints:      11633
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      42000 | #Constraints:       8460
36.35/36.60	c #Conflicts:      43000 | #Constraints:       9460
36.35/36.60	c #Conflicts:      44000 | #Constraints:      10460
36.35/36.60	c #Conflicts:      45000 | #Constraints:      11460
36.35/36.60	c #Conflicts:      46000 | #Constraints:      12460
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      47000 | #Constraints:       9086
36.35/36.60	c #Conflicts:      48000 | #Constraints:      10086
36.35/36.60	c #Conflicts:      49000 | #Constraints:      11086
36.35/36.60	c #Conflicts:      50000 | #Constraints:      12086
36.35/36.60	c #Conflicts:      51000 | #Constraints:      13086
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      52000 | #Constraints:       9510
36.35/36.60	c #Conflicts:      53000 | #Constraints:      10510
36.35/36.60	c #Conflicts:      54000 | #Constraints:      11510
36.35/36.60	c #Conflicts:      55000 | #Constraints:      12510
36.35/36.60	c #Conflicts:      56000 | #Constraints:      13510
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      57000 | #Constraints:       9698
36.35/36.60	c #Conflicts:      58000 | #Constraints:      10698
36.35/36.60	c #Conflicts:      59000 | #Constraints:      11698
36.35/36.60	c #Conflicts:      60000 | #Constraints:      12698
36.35/36.60	c #Conflicts:      61000 | #Constraints:      13698
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      62000 | #Constraints:       9679
36.35/36.60	c #Conflicts:      63000 | #Constraints:      10679
36.35/36.60	c #Conflicts:      64000 | #Constraints:      11679
36.35/36.60	c #Conflicts:      65000 | #Constraints:      12679
36.35/36.60	c #Conflicts:      66000 | #Constraints:      13679
36.35/36.60	c INPROCESSING
36.35/36.60	c GARBAGE COLLECT
36.35/36.60	c #Conflicts:      67000 | #Constraints:       9468
36.35/36.60	c #Conflicts:      68000 | #Constraints:      10468
79.55/80.07	c #Conflicts:      69000 | #Constraints:      11468
79.55/80.07	c #Conflicts:      70000 | #Constraints:      12469
79.55/80.07	c #Conflicts:      71000 | #Constraints:      13469
79.55/80.07	c #Conflicts:      72000 | #Constraints:      14469
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:      73000 | #Constraints:      10085
79.55/80.07	c #Conflicts:      74000 | #Constraints:      11085
79.55/80.07	c #Conflicts:      75000 | #Constraints:      12085
79.55/80.07	c #Conflicts:      76000 | #Constraints:      13085
79.55/80.07	c #Conflicts:      77000 | #Constraints:      14085
79.55/80.07	c #Conflicts:      78000 | #Constraints:      15085
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:      79000 | #Constraints:      10502
79.55/80.07	c #Conflicts:      80000 | #Constraints:      11502
79.55/80.07	c #Conflicts:      81000 | #Constraints:      12502
79.55/80.07	c #Conflicts:      82000 | #Constraints:      13502
79.55/80.07	c #Conflicts:      83000 | #Constraints:      14502
79.55/80.07	c #Conflicts:      84000 | #Constraints:      15502
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:      85000 | #Constraints:      10719
79.55/80.07	c #Conflicts:      86000 | #Constraints:      11719
79.55/80.07	c #Conflicts:      87000 | #Constraints:      12719
79.55/80.07	c #Conflicts:      88000 | #Constraints:      13719
79.55/80.07	c #Conflicts:      89000 | #Constraints:      14719
79.55/80.07	c #Conflicts:      90000 | #Constraints:      15719
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:      91000 | #Constraints:      10705
79.55/80.07	c #Conflicts:      92000 | #Constraints:      11705
79.55/80.07	c #Conflicts:      93000 | #Constraints:      12705
79.55/80.07	c #Conflicts:      94000 | #Constraints:      13705
79.55/80.07	c #Conflicts:      95000 | #Constraints:      14705
79.55/80.07	c #Conflicts:      96000 | #Constraints:      15705
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:      97000 | #Constraints:      10540
79.55/80.07	c #Conflicts:      98000 | #Constraints:      11540
79.55/80.07	c #Conflicts:      99000 | #Constraints:      12540
79.55/80.07	c #Conflicts:     100000 | #Constraints:      13540
79.55/80.07	c #Conflicts:     101000 | #Constraints:      14540
79.55/80.07	c #Conflicts:     102000 | #Constraints:      15540
79.55/80.07	c #Conflicts:     103000 | #Constraints:      16540
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:     104000 | #Constraints:      11136
79.55/80.07	c #Conflicts:     105000 | #Constraints:      12136
79.55/80.07	c #Conflicts:     106000 | #Constraints:      13136
79.55/80.07	c #Conflicts:     107000 | #Constraints:      14136
79.55/80.07	c #Conflicts:     108000 | #Constraints:      15136
79.55/80.07	c #Conflicts:     109000 | #Constraints:      16136
79.55/80.07	c #Conflicts:     110000 | #Constraints:      17136
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:     111000 | #Constraints:      11531
79.55/80.07	c #Conflicts:     112000 | #Constraints:      12531
79.55/80.07	c #Conflicts:     113000 | #Constraints:      13531
79.55/80.07	c #Conflicts:     114000 | #Constraints:      14531
79.55/80.07	c #Conflicts:     115000 | #Constraints:      15531
79.55/80.07	c #Conflicts:     116000 | #Constraints:      16531
79.55/80.07	c #Conflicts:     117000 | #Constraints:      17531
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:     118000 | #Constraints:      11754
79.55/80.07	c #Conflicts:     119000 | #Constraints:      12754
79.55/80.07	c #Conflicts:     120000 | #Constraints:      13754
79.55/80.07	c #Conflicts:     121000 | #Constraints:      14754
79.55/80.07	c #Conflicts:     122000 | #Constraints:      15754
79.55/80.07	c #Conflicts:     123000 | #Constraints:      16754
79.55/80.07	c #Conflicts:     124000 | #Constraints:      17754
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c #Conflicts:     125000 | #Constraints:      11743
79.55/80.07	c #Conflicts:     126000 | #Constraints:      12743
79.55/80.07	c #Conflicts:     127000 | #Constraints:      13743
79.55/80.07	c #Conflicts:     128000 | #Constraints:      14743
79.55/80.07	c #Conflicts:     129000 | #Constraints:      15743
79.55/80.07	c #Conflicts:     130000 | #Constraints:      16743
79.55/80.07	c #Conflicts:     131000 | #Constraints:      17743
79.55/80.07	c INPROCESSING
79.55/80.07	c GARBAGE COLLECT
79.55/80.07	c rational objective 72
135.28/137.77	c #Conflicts:     132000 | #Constraints:      11533
135.28/137.77	c #Conflicts:     133000 | #Constraints:      12533
135.28/137.77	c #Conflicts:     134000 | #Constraints:      13533
135.28/137.77	c #Conflicts:     135000 | #Constraints:      14533
135.28/137.77	c #Conflicts:     136000 | #Constraints:      15533
135.28/137.77	c #Conflicts:     137000 | #Constraints:      16533
135.28/137.77	c #Conflicts:     138000 | #Constraints:      17533
135.28/137.77	c #Conflicts:     139000 | #Constraints:      18533
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     140000 | #Constraints:      12147
135.28/137.77	c #Conflicts:     141000 | #Constraints:      13147
135.28/137.77	c #Conflicts:     142000 | #Constraints:      14147
135.28/137.77	c #Conflicts:     143000 | #Constraints:      15147
135.28/137.77	c #Conflicts:     144000 | #Constraints:      16147
135.28/137.77	c #Conflicts:     145000 | #Constraints:      17147
135.28/137.77	c #Conflicts:     146000 | #Constraints:      18147
135.28/137.77	c #Conflicts:     147000 | #Constraints:      19147
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     148000 | #Constraints:      12577
135.28/137.77	c #Conflicts:     149000 | #Constraints:      13577
135.28/137.77	c #Conflicts:     150000 | #Constraints:      14577
135.28/137.77	c #Conflicts:     151000 | #Constraints:      15577
135.28/137.77	c #Conflicts:     152000 | #Constraints:      16577
135.28/137.77	c #Conflicts:     153000 | #Constraints:      17577
135.28/137.77	c #Conflicts:     154000 | #Constraints:      18577
135.28/137.77	c #Conflicts:     155000 | #Constraints:      19577
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     156000 | #Constraints:      12793
135.28/137.77	c #Conflicts:     157000 | #Constraints:      13793
135.28/137.77	c #Conflicts:     158000 | #Constraints:      14793
135.28/137.77	c #Conflicts:     159000 | #Constraints:      15793
135.28/137.77	c #Conflicts:     160000 | #Constraints:      16793
135.28/137.77	c #Conflicts:     161000 | #Constraints:      17793
135.28/137.77	c #Conflicts:     162000 | #Constraints:      18793
135.28/137.77	c #Conflicts:     163000 | #Constraints:      19793
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     164000 | #Constraints:      12802
135.28/137.77	c #Conflicts:     165000 | #Constraints:      13802
135.28/137.77	c #Conflicts:     166000 | #Constraints:      14802
135.28/137.77	c #Conflicts:     167000 | #Constraints:      15802
135.28/137.77	c #Conflicts:     168000 | #Constraints:      16802
135.28/137.77	c #Conflicts:     169000 | #Constraints:      17802
135.28/137.77	c #Conflicts:     170000 | #Constraints:      18802
135.28/137.77	c #Conflicts:     171000 | #Constraints:      19802
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     172000 | #Constraints:      12584
135.28/137.77	c #Conflicts:     173000 | #Constraints:      13584
135.28/137.77	c #Conflicts:     174000 | #Constraints:      14584
135.28/137.77	c #Conflicts:     175000 | #Constraints:      15584
135.28/137.77	c #Conflicts:     176000 | #Constraints:      16584
135.28/137.77	c #Conflicts:     177000 | #Constraints:      17584
135.28/137.77	c #Conflicts:     178000 | #Constraints:      18584
135.28/137.77	c #Conflicts:     179000 | #Constraints:      19584
135.28/137.77	c #Conflicts:     180000 | #Constraints:      20584
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     181000 | #Constraints:      13183
135.28/137.77	c #Conflicts:     182000 | #Constraints:      14183
135.28/137.77	c #Conflicts:     183000 | #Constraints:      15183
135.28/137.77	c #Conflicts:     184000 | #Constraints:      16183
135.28/137.77	c #Conflicts:     185000 | #Constraints:      17183
135.28/137.77	c #Conflicts:     186000 | #Constraints:      18183
135.28/137.77	c #Conflicts:     187000 | #Constraints:      19183
135.28/137.77	c #Conflicts:     188000 | #Constraints:      20183
135.28/137.77	c #Conflicts:     189000 | #Constraints:      21183
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     190000 | #Constraints:      13623
135.28/137.77	c #Conflicts:     191000 | #Constraints:      14623
135.28/137.77	c #Conflicts:     192000 | #Constraints:      15623
135.28/137.77	c #Conflicts:     193000 | #Constraints:      16623
135.28/137.77	c #Conflicts:     194000 | #Constraints:      17623
135.28/137.77	c #Conflicts:     195000 | #Constraints:      18623
135.28/137.77	c #Conflicts:     196000 | #Constraints:      19623
135.28/137.77	c #Conflicts:     197000 | #Constraints:      20623
135.28/137.77	c #Conflicts:     198000 | #Constraints:      21623
135.28/137.77	c INPROCESSING
135.28/137.77	c GARBAGE COLLECT
135.28/137.77	c #Conflicts:     199000 | #Constraints:      13780
135.28/137.77	c #Conflicts:     200000 | #Constraints:      14780
135.28/137.77	c #Conflicts:     201000 | #Constraints:      15780
135.28/137.77	c #Conflicts:     202000 | #Constraints:      16780
135.28/137.77	c #Conflicts:     203000 | #Constraints:      17780
135.28/137.77	c #Conflicts:     204000 | #Constraints:      18780
135.28/137.77	c #Conflicts:     205000 | #Constraints:      19780
172.48/175.12	c #Conflicts:     206000 | #Constraints:      20780
172.48/175.12	c #Conflicts:     207000 | #Constraints:      21780
172.48/175.12	c INPROCESSING
172.48/175.12	c GARBAGE COLLECT
172.48/175.12	c #Conflicts:     208000 | #Constraints:      13763
172.48/175.12	c #Conflicts:     209000 | #Constraints:      14763
172.48/175.12	c #Conflicts:     210000 | #Constraints:      15763
172.48/175.12	c #Conflicts:     211000 | #Constraints:      16763
172.48/175.12	c #Conflicts:     212000 | #Constraints:      17763
172.48/175.12	c #Conflicts:     213000 | #Constraints:      18763
172.48/175.12	c #Conflicts:     214000 | #Constraints:      19763
172.48/175.12	c #Conflicts:     215000 | #Constraints:      20763
172.48/175.12	c #Conflicts:     216000 | #Constraints:      21763
172.48/175.12	c INPROCESSING
172.48/175.12	c GARBAGE COLLECT
172.48/175.12	c #Conflicts:     217000 | #Constraints:      13601
172.48/175.12	c #Conflicts:     218000 | #Constraints:      14601
172.48/175.12	c #Conflicts:     219000 | #Constraints:      15601
172.48/175.12	c #Conflicts:     220000 | #Constraints:      16601
172.48/175.12	c #Conflicts:     221000 | #Constraints:      17601
172.48/175.12	c #Conflicts:     222000 | #Constraints:      18601
172.48/175.12	c #Conflicts:     223000 | #Constraints:      19601
172.48/175.12	c #Conflicts:     224000 | #Constraints:      20601
172.48/175.12	c #Conflicts:     225000 | #Constraints:      21601
172.48/175.12	c #Conflicts:     226000 | #Constraints:      22601
172.48/175.12	c INPROCESSING
172.48/175.12	c GARBAGE COLLECT
172.48/175.12	c #Conflicts:     227000 | #Constraints:      14200
172.48/175.12	c #Conflicts:     228000 | #Constraints:      15200
172.48/175.12	c #Conflicts:     229000 | #Constraints:      16200
172.48/175.12	c #Conflicts:     230000 | #Constraints:      17200
172.48/175.12	c #Conflicts:     231000 | #Constraints:      18200
172.48/175.12	c #Conflicts:     232000 | #Constraints:      19200
172.48/175.12	c #Conflicts:     233000 | #Constraints:      20200
172.48/175.12	c #Conflicts:     234000 | #Constraints:      21200
172.48/175.12	c #Conflicts:     235000 | #Constraints:      22200
172.48/175.12	c #Conflicts:     236000 | #Constraints:      23200
172.48/175.12	c INPROCESSING
172.48/175.12	c GARBAGE COLLECT
172.48/175.12	c #Conflicts:     237000 | #Constraints:      14639
172.48/175.12	c #Conflicts:     238000 | #Constraints:      15639
172.48/175.12	c #Conflicts:     239000 | #Constraints:      16639
172.48/175.12	c #Conflicts:     240000 | #Constraints:      17639
172.48/175.12	c #Conflicts:     241000 | #Constraints:      18639
172.48/175.12	c #Conflicts:     242000 | #Constraints:      19639
172.48/175.12	c #Conflicts:     243000 | #Constraints:      20639
172.48/175.12	c #Conflicts:     244000 | #Constraints:      21639
172.48/175.12	c #Conflicts:     245000 | #Constraints:      22639
172.48/175.12	c #Conflicts:     246000 | #Constraints:      23639
172.48/175.12	c INPROCESSING
172.48/175.12	c GARBAGE COLLECT
172.48/175.12	c rational objective 72
218.04/223.90	c #Conflicts:     247000 | #Constraints:      14831
218.04/223.90	c #Conflicts:     248000 | #Constraints:      15831
218.04/223.90	c #Conflicts:     249000 | #Constraints:      16831
218.04/223.90	c #Conflicts:     250000 | #Constraints:      17831
218.04/223.90	c #Conflicts:     251000 | #Constraints:      18831
218.04/223.90	c #Conflicts:     252000 | #Constraints:      19831
218.04/223.90	c #Conflicts:     253000 | #Constraints:      20831
218.04/223.90	c #Conflicts:     254000 | #Constraints:      21831
218.04/223.90	c #Conflicts:     255000 | #Constraints:      22831
218.04/223.90	c #Conflicts:     256000 | #Constraints:      23831
218.04/223.90	c INPROCESSING
218.04/223.90	c GARBAGE COLLECT
218.04/223.90	c #Conflicts:     257000 | #Constraints:      14818
218.04/223.90	c #Conflicts:     258000 | #Constraints:      15819
218.04/223.90	c #Conflicts:     259000 | #Constraints:      16819
218.04/223.90	c #Conflicts:     260000 | #Constraints:      17819
218.04/223.90	c #Conflicts:     261000 | #Constraints:      18819
218.04/223.90	c #Conflicts:     262000 | #Constraints:      19819
218.04/223.90	c #Conflicts:     263000 | #Constraints:      20819
218.04/223.90	c #Conflicts:     264000 | #Constraints:      21819
218.04/223.90	c #Conflicts:     265000 | #Constraints:      22819
218.04/223.90	c #Conflicts:     266000 | #Constraints:      23819
218.04/223.90	c INPROCESSING
218.04/223.90	c GARBAGE COLLECT
218.04/223.90	c #Conflicts:     267000 | #Constraints:      14615
218.04/223.90	c #Conflicts:     268000 | #Constraints:      15615
218.04/223.90	c #Conflicts:     269000 | #Constraints:      16615
218.04/223.90	c #Conflicts:     270000 | #Constraints:      17615
218.04/223.90	c #Conflicts:     271000 | #Constraints:      18615
218.04/223.90	c #Conflicts:     272000 | #Constraints:      19615
218.04/223.90	c #Conflicts:     273000 | #Constraints:      20615
218.04/223.90	c #Conflicts:     274000 | #Constraints:      21615
218.04/223.90	c #Conflicts:     275000 | #Constraints:      22615
218.04/223.90	c #Conflicts:     276000 | #Constraints:      23615
218.04/223.90	c #Conflicts:     277000 | #Constraints:      24615
218.04/223.90	c INPROCESSING
218.04/223.90	c GARBAGE COLLECT
218.04/223.90	c #Conflicts:     278000 | #Constraints:      15226
218.04/223.90	c #Conflicts:     279000 | #Constraints:      16226
218.04/223.90	c #Conflicts:     280000 | #Constraints:      17226
218.04/223.90	c #Conflicts:     281000 | #Constraints:      18226
218.04/223.90	c #Conflicts:     282000 | #Constraints:      19226
218.04/223.90	c #Conflicts:     283000 | #Constraints:      20226
218.04/223.90	c #Conflicts:     284000 | #Constraints:      21226
218.04/223.90	c #Conflicts:     285000 | #Constraints:      22226
218.04/223.90	c #Conflicts:     286000 | #Constraints:      23226
218.04/223.90	c #Conflicts:     287000 | #Constraints:      24226
218.04/223.90	c #Conflicts:     288000 | #Constraints:      25226
218.04/223.90	c INPROCESSING
218.04/223.90	c GARBAGE COLLECT
218.04/223.90	c #Conflicts:     289000 | #Constraints:      15617
218.04/223.90	c #Conflicts:     290000 | #Constraints:      16617
218.04/223.90	c #Conflicts:     291000 | #Constraints:      17617
218.04/223.90	c #Conflicts:     292000 | #Constraints:      18617
218.04/223.90	c #Conflicts:     293000 | #Constraints:      19617
218.04/223.90	c #Conflicts:     294000 | #Constraints:      20617
218.04/223.90	c #Conflicts:     295000 | #Constraints:      21617
218.04/223.90	c #Conflicts:     296000 | #Constraints:      22617
218.04/223.90	c #Conflicts:     297000 | #Constraints:      23617
218.04/223.90	c #Conflicts:     298000 | #Constraints:      24617
218.04/223.90	c #Conflicts:     299000 | #Constraints:      25617
218.04/223.90	c INPROCESSING
218.04/223.90	c GARBAGE COLLECT
218.04/223.90	c #Conflicts:     300000 | #Constraints:      15802
218.04/223.90	c #Conflicts:     301000 | #Constraints:      16802
218.04/223.90	c #Conflicts:     302000 | #Constraints:      17802
218.04/223.90	c cpu time 215.206 s
218.04/223.90	c deterministic time 12241150456 1.22e+10
218.04/223.90	c optimization time 0.000272 s
218.04/223.90	c total solve time 215.177 s
218.04/223.90	c core-guided solve time 0 s
218.04/223.90	c propagation time 94.5062 s
218.04/223.90	c conflict analysis time 94.5484 s
218.04/223.90	c propagations 110315923
218.04/223.90	c resolve steps 12076573
218.04/223.90	c decisions 1601630
218.04/223.90	c conflicts 302284
218.04/223.90	c restarts 731
218.04/223.90	c inprocessing phases 46
218.04/223.90	c garbage collections 46 ,( 100.00 )
218.04/223.90	c input clauses 4043 ,( 98.27 )
218.04/223.90	c input cardinalities 71 ,( 1.73 )
218.04/223.90	c input general constraints 0 ,( 0.00 )
218.04/223.90	c input average constraint length 5.95
218.04/223.90	c input average constraint degree 1.91
218.04/223.90	c learned clauses 229524 ,( 75.93 )
218.04/223.90	c learned cardinalities 7245 ,( 2.40 )
218.04/223.90	c learned general constraints 65521 ,( 21.67 )
218.04/223.90	c learned average constraint length 378.22
218.04/223.90	c learned average constraint degree 1750403.80
218.04/223.90	c watched  CF 32, 64, 128, Arb: 19657 , 0 , 0 , 0
218.04/223.90	c counting CF 32, 64, 128, Arb: 45864 , 0 , 0 , 0
218.04/223.90	c watched   constraints 19657 ,( 30.00 ) 
218.04/223.90	c counting  constraints 45864 ,( 70.00 ) 
218.04/223.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 130174625 , 68753714 , 169051871 ,( 9478316 , 159573555 )
218.04/223.90	c gcd simplifications 183
218.04/223.90	c detected cardinalities 614
218.04/223.90	c weakened non-implied lits 43179241
218.04/223.90	c weakened non-implying lits 16370
218.04/223.90	c original variables 3932
218.04/223.90	c clausal propagations 46689373
218.04/223.90	c cardinality propagations 41341344
218.04/223.90	c watched propagations 449380
218.04/223.90	c counting propagations 20908807
218.04/223.90	c watch lookups 4153880438
218.04/223.90	c watch backjump lookups 0
218.04/223.90	c watch checks 2599773578
218.04/223.90	c propagation checks 4854221972
218.04/223.90	c constraint additions 409068523
218.04/223.90	c trail pops 112219221
218.04/223.90	c formula constraints 4114
218.04/223.90	c learned constraints 302281
218.04/223.90	c bound constraints 0
218.04/223.90	c core-guided constraints 0
218.04/223.90	c encountered formula constraints 8411911
218.04/223.90	c encountered learned constraints 3966933
218.04/223.90	c encountered bound constraints 0
218.04/223.90	c encountered core-guided constraints 0
218.04/223.90	c LP total time 18.6739 s
218.04/223.90	c LP solve time 15.9 s
218.04/223.90	c LP constraints added 4204
218.04/223.90	c LP constraints removed 30
218.04/223.90	c LP pivots internal 32617
218.04/223.90	c LP pivots root 36553
218.04/223.90	c LP calls 11
218.04/223.90	c LP optimalities 4
218.04/223.90	c LP no pivot count 0
218.04/223.90	c LP infeasibilities 3
218.04/223.90	c LP valid Farkas constraints 3
218.04/223.90	c LP learned Farkas constraints 3
218.04/223.90	c LP basis resets 0
218.04/223.90	c LP cycling count 0
218.04/223.90	c LP singular count 0
218.04/223.90	c LP no primal count 0
218.04/223.90	c LP no farkas count 0
218.04/223.90	c LP other issue count 0
218.04/223.90	c LP Gomory cuts 3
218.04/223.90	c LP learned cuts 87
218.04/223.90	c LP deleted cuts 30
218.04/223.90	c LP encountered Gomory constraints 0
218.04/223.90	c LP encountered Farkas constraints 7
218.04/223.90	c LP encountered learned Farkas constraints 3
218.04/223.90	c CG auxiliary variables introduced 0
218.04/223.90	c CG solutions found 0
218.04/223.90	c CG cores constructed 0
218.04/223.90	c CG core cardinality constraints returned 0
218.04/223.90	c CG unit cores 0
218.04/223.90	c CG single cores 0
218.04/223.90	c CG blocks removed during cardinality reduction 0
218.04/223.90	c CG first core best 0
218.04/223.90	c CG decision core best 0
218.04/223.90	c CG core reduction tie 0
218.04/223.90	c CG core degree average 0.00
218.04/223.90	c CG core slack average 0.00
218.04/223.90	c CG core upper bound improvements 0
218.04/223.90	c STR number of successful calls 0
218.04/223.90	c STR number of unsuccessful calls 0
218.04/223.90	c STR number of inconclusive calls 0
218.04/223.90	c STR number of successful attempts 0
218.04/223.90	c STR number of unsuccessful attempts 0
218.04/223.90	c STR number of inconclusive attempts 0
218.04/223.90	c STR average degree increase per successful call inf
218.04/223.90	c STR average degree increase per successful attempt inf
218.04/223.90	c STR total number of conflicts for successful attempts 0
218.04/223.90	c STR total number of conflicts for unsuccessful attempts 0
218.04/223.90	c STR total number of conflicts for inconclusive attempts 0
218.04/223.90	c STR average number of conflicts per successful attempt inf
218.04/223.90	c STR average number of conflicts per unsuccessful attempt inf
218.04/223.90	c STR average number of conflicts per inconclusive attempt inf
218.04/223.90	c AVG.sumWPerc 61.29 
218.04/223.90	c bigint constraints 0 
218.04/223.90	s SATISFIABLE
218.04/223.90	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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507665-1751177749/watcher-4507665-1751177749 -o /tmp/evaluation-result-4507665-1751177749/solver-4507665-1751177749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22590 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507665-1751177749.opb PROOFDIR/proof-4507665-1751177749 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23383, runsolver pid=23380
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.08 4.12 4.10 5/271 23386
/proc/meminfo: memFree=123349020/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=67956 memory=21272 CPUtime=0.04 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 3801 0 0 0 4 0 0 0 20 0 1 0 33455193 69586944 5318 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 16989 5318 2336 1147 0 4416 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 72148 KiB
Current children cumulated memory: 24344 KiB

[startup+0.20571 s]*
/proc/loadavg: 4.08 4.12 4.10 5/271 23386
/proc/meminfo: memFree=123347004/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=69004 memory=22296 CPUtime=0.14 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 4073 0 0 0 14 0 0 0 20 0 1 0 33455193 70660096 5574 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 17251 5574 2336 1147 0 4678 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 73196 KiB
Current children cumulated memory: 25368 KiB

[startup+0.305699 s]*
/proc/loadavg: 4.08 4.12 4.10 5/271 23386
/proc/meminfo: memFree=123347004/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=69004 memory=22296 CPUtime=0.24 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 4073 0 0 0 24 0 0 0 20 0 1 0 33455193 70660096 5574 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 17251 5574 2336 1147 0 4678 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 73196 KiB
Current children cumulated memory: 25368 KiB

[startup+0.700192 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23386
/proc/meminfo: memFree=123338940/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=69756 memory=22936 CPUtime=0.63 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 4265 0 0 0 62 1 0 0 20 0 1 0 33455193 71430144 5734 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 17439 5734 2336 1147 0 4866 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 73948 KiB
Current children cumulated memory: 26008 KiB

[startup+1.50013 s]
/proc/loadavg: 4.08 4.12 4.10 4/268 23400
/proc/meminfo: memFree=124206392/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=72056 memory=27160 CPUtime=1.43 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 5271 0 0 0 139 4 0 0 20 0 1 0 33455193 73785344 6790 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 18014 6790 2368 1147 0 5441 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 76248 KiB
Current children cumulated memory: 30232 KiB

[startup+3.10455 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129899784/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=74620 memory=32068 CPUtime=3.03 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 6002 0 0 0 294 9 0 0 20 0 1 0 33455193 76410880 8017 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 18655 8017 2368 1147 0 6082 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 78812 KiB
Current children cumulated memory: 35140 KiB

[startup+6.30013 s]
/proc/loadavg: 4.07 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129834812/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=80272 memory=35012 CPUtime=6.21 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 6742 0 0 0 607 14 0 0 20 0 1 0 33455193 82198528 8753 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 20068 8753 2368 1147 0 7495 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 84464 KiB
Current children cumulated memory: 38084 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.10 5/272 23434
/proc/meminfo: memFree=129762884/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=82548 memory=39384 CPUtime=12.59 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 7321 0 0 0 1233 26 0 0 20 0 1 0 33455193 84529152 9846 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 20637 9846 2368 1147 0 8064 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 86740 KiB
Current children cumulated memory: 42456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.12 4.10 5/272 23435
/proc/meminfo: memFree=129562596/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=91364 memory=47132 CPUtime=25.36 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 8736 0 0 0 2488 48 0 0 20 0 1 0 33455193 93556736 11783 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 22841 11783 2368 1147 0 10268 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 95556 KiB
Current children cumulated memory: 50204 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.12 4.10 5/273 23436
/proc/meminfo: memFree=129150916/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=103720 memory=56696 CPUtime=50.81 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 10616 0 0 0 4992 89 0 0 20 0 1 0 33455193 106209280 14174 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 25930 14174 2368 1147 0 13357 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 107912 KiB
Current children cumulated memory: 59768 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 23440
/proc/meminfo: memFree=128447636/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=133168 memory=79452 CPUtime=101.69 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 15264 0 0 0 10008 161 0 0 20 0 1 0 33455193 136364032 19863 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 33292 19863 2368 1147 0 20719 0
Current children cumulated CPU time: 101.7 s
Current children cumulated vsize: 137360 KiB
Current children cumulated memory: 82524 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/271 23442
/proc/meminfo: memFree=127747716/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=160036 memory=100560 CPUtime=159.7 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 18006 0 0 0 15754 216 0 0 20 0 1 0 33455193 163876864 25140 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 40009 25140 2368 1147 0 27436 0
Current children cumulated CPU time: 159.71 s
Current children cumulated vsize: 164228 KiB
Current children cumulated memory: 103632 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 3/270 23444
/proc/meminfo: memFree=126988908/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=167152 memory=107088 CPUtime=217.98 cores=1,3
/proc/23386/stat : 23386 (roundingsat) D 23383 23383 22578 0 -1 4194304 19585 0 0 0 21515 283 0 0 20 0 1 0 33455193 171163648 26772 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 41788 26772 2368 1147 0 29215 0
Current children cumulated CPU time: 217.99 s
Current children cumulated vsize: 171344 KiB
Current children cumulated memory: 110160 KiB

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

# cumulated CPU time of all completed processes:  user=215.224 s, system=2.84761 s

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

[startup+222.4 s]
/proc/loadavg: 4.06 4.10 4.09 3/270 23444
/proc/meminfo: memFree=126988908/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=167152 memory=107088 CPUtime=217.98 cores=1,3
/proc/23386/stat : 23386 (roundingsat) D 23383 23383 22578 0 -1 4194304 19585 0 0 0 21515 283 0 0 20 0 1 0 33455193 171163648 26772 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 41788 26772 2368 1147 0 29215 0
Current children cumulated CPU time: 217.99 s
Current children cumulated vsize: 171344 KiB
Current children cumulated memory: 110160 KiB

[startup+223.2 s]
/proc/loadavg: 4.06 4.10 4.09 3/270 23444
/proc/meminfo: memFree=126989412/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=167152 memory=107088 CPUtime=217.98 cores=1,3
/proc/23386/stat : 23386 (roundingsat) D 23383 23383 22578 0 -1 4194304 19585 0 0 0 21515 283 0 0 20 0 1 0 33455193 171163648 26772 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 41788 26772 2368 1147 0 29215 0
Current children cumulated CPU time: 217.99 s
Current children cumulated vsize: 171344 KiB
Current children cumulated memory: 110160 KiB

[startup+223.6 s]
/proc/loadavg: 4.06 4.10 4.09 3/270 23444
/proc/meminfo: memFree=126989412/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=167152 memory=107088 CPUtime=217.98 cores=1,3
/proc/23386/stat : 23386 (roundingsat) D 23383 23383 22578 0 -1 4194304 19585 0 0 0 21515 283 0 0 20 0 1 0 33455193 171163648 26772 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 41788 26772 2368 1147 0 29215 0
Current children cumulated CPU time: 217.99 s
Current children cumulated vsize: 171344 KiB
Current children cumulated memory: 110160 KiB

[startup+223.8 s]
/proc/loadavg: 4.06 4.10 4.09 3/270 23444
/proc/meminfo: memFree=126989412/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=167152 memory=107088 CPUtime=217.98 cores=1,3
/proc/23386/stat : 23386 (roundingsat) D 23383 23383 22578 0 -1 4194304 19585 0 0 0 21515 283 0 0 20 0 1 0 33455193 171163648 26772 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 41788 26772 2368 1147 0 29215 0
Current children cumulated CPU time: 217.99 s
Current children cumulated vsize: 171344 KiB
Current children cumulated memory: 110160 KiB

[startup+223.9 s]
/proc/loadavg: 4.06 4.10 4.09 3/270 23444
/proc/meminfo: memFree=126989412/131250000 swapFree=33010684/33010684
[pid=23383] ppid=23380 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23383/stat : 23383 (run-dec-break-l) S 23380 23383 22578 0 -1 4194304 243 2832 0 0 0 0 1 0 20 0 1 0 33455189 4292608 768 18446744073709551615 94679368073216 94679368967749 140725057226384 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94679369206800 94679369254544 94679382937600 140725057231125 140725057231326 140725057231326 140725057236928 0
/proc/23383/statm: 1048 768 704 219 0 110 0
[pid=23386] ppid=23383 vsize=167152 memory=107088 CPUtime=218.03 cores=1,3
/proc/23386/stat : 23386 (roundingsat) R 23383 23383 22578 0 -1 4194304 19585 0 0 0 21520 283 0 0 20 0 1 0 33455193 171163648 26772 18446744073709551615 4227072 8923433 140733799435184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13471744 140733799438580 140733799438888 140733799438888 140733799444458 0
/proc/23386/statm: 41788 26772 2368 1147 0 29215 0
Current children cumulated CPU time: 218.04 s
Current children cumulated vsize: 171344 KiB
Current children cumulated memory: 110160 KiB

Child status: 0

Real time (s): 223.915
CPU time (s): 218.072
CPU user time (s): 215.224
CPU system time (s): 2.84761
CPU usage (%): 97.3907
Max. virtual memory (cumulated for all children) (KiB): 171344
Max. memory (cumulated for all children) (KiB): 110160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.224
system time used= 2.84761
maximum resident set size= 107088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1379992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253
involuntary context switches= 524


# summary of solver processes directly reported to runsolver:
#   pid: 23383
#   total CPU time (s): 218.072
#   total CPU user time (s): 215.224
#   total CPU system time (s): 2.84761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.455411 second user time and 0.98597 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-29 08:15:49
IDJOB=4507665
IDBENCH=158375
IDSOLVER=3358
FILE ID=nodeC013/4507665-1751177749
RUNJOBID= nodeC013-1751170426-22590
SLURM_JOB_ID= 9587527
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507665-1751177749/watcher-4507665-1751177749 -o /tmp/evaluation-result-4507665-1751177749/solver-4507665-1751177749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22590 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507665-1751177749.opb PROOFDIR/proof-4507665-1751177749

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

MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=909302959

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123364568 kB
MemAvailable:   128809060 kB
Buffers:            3280 kB
Cached:          6243608 kB
SwapCached:            0 kB
Active:          1261508 kB
Inactive:        6034736 kB
Active(anon):    1062688 kB
Inactive(anon):        0 kB
Active(file):     198820 kB
Inactive(file):  6034736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            154436 kB
Writeback:             0 kB
AnonPages:       1049704 kB
Mapped:           111784 kB
Shmem:             13284 kB
KReclaimable:      99948 kB
Slab:             189840 kB
SReclaimable:      99948 kB
SUnreclaim:        89892 kB
KernelStack:        4368 kB
PageTables:         5276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1433212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    796672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC013 at 2025-06-29 08:19:33