Trace number 4507664

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 63f22adSAT 204.47 205.087

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-4507664-1751187116.opb'
0.00/0.02	c 	read 0.24MB  (9.36ms)
0.00/0.02	c	 [cnf: #variables 3905 #clauses 4049 #duplicates 0 #arr 24317]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 710] (11.59ms)
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.04	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	 (2.72ms)
0.00/0.04	c 
0.00/0.04	c detect symmetries on remainder
0.00/0.04	c 	[graph: #vertices 19669 #edges 72064]
0.00/0.04	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.05	c 	 [group: #symmetries 8.00*10^0 #generators 3] (11.57ms)
0.00/0.05	c 
0.00/0.05	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.05	c 	(0.03ms)
0.00/0.05	c 
0.00/0.05	c finalize break order and special generators
0.00/0.05	c 
0.00/0.05	c add generic predicates (break_depth=10)
0.00/0.05	c 	added predicates for 3 generators (0.12ms)
0.00/0.05	c 
0.00/0.05	c generation finished
0.00/0.05	c 	[sbp: #constraints 84 #add_vars 27]
0.00/0.05	c 
0.00/0.05	c write result to 'HOME/instance-4507664-1751187116.opb.pre'
0.00/0.05	c 	wrote 0.25MB (1.91ms)
0.00/0.05	c ------------------------------------------------------------------
0.00/0.05	c                  11.59ms 30.14% approx_orbits
0.00/0.05	c                  11.57ms 30.08% detect_generic
0.00/0.05	c                   9.35ms 24.32% parse
0.00/0.05	c                   2.72ms  7.06% detect_special
0.00/0.05	c                   1.91ms  4.96% output
0.00/0.05	c                   0.81ms  2.12% other
0.00/0.05	c                   0.36ms  0.93% finalize_order
0.00/0.05	c                   0.12ms  0.32% break_generic
0.00/0.05	c                   0.03ms  0.07% optimize_gens
0.00/0.05	c         ───────────────────────────────────────────────
0.00/0.05	c                  38.47ms   100% total
0.00/0.05	c ------------------------------------------------------------------
0.00/0.07	c RoundingSat 2
0.00/0.07	c branch pb25
0.00/0.07	c commit 63f22ad
0.06/0.15	c #variables 3932 #constraints 4114
35.42/35.67	c #Conflicts:       1000 | #Constraints:       5113
35.42/35.67	c #Conflicts:       2000 | #Constraints:       6113
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:       3000 | #Constraints:       5593
35.42/35.67	c #Conflicts:       4000 | #Constraints:       6593
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:       5000 | #Constraints:       6031
35.42/35.67	c #Conflicts:       6000 | #Constraints:       7031
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:       7000 | #Constraints:       6063
35.42/35.67	c #Conflicts:       8000 | #Constraints:       7063
35.42/35.67	c #Conflicts:       9000 | #Constraints:       8063
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      10000 | #Constraints:       6801
35.42/35.67	c #Conflicts:      11000 | #Constraints:       7801
35.42/35.67	c #Conflicts:      12000 | #Constraints:       8801
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      13000 | #Constraints:       7281
35.42/35.67	c #Conflicts:      14000 | #Constraints:       8281
35.42/35.67	c #Conflicts:      15000 | #Constraints:       9281
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      16000 | #Constraints:       7529
35.42/35.67	c #Conflicts:      17000 | #Constraints:       8529
35.42/35.67	c #Conflicts:      18000 | #Constraints:       9529
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      19000 | #Constraints:       7570
35.42/35.67	c #Conflicts:      20000 | #Constraints:       8570
35.42/35.67	c #Conflicts:      21000 | #Constraints:       9571
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      22000 | #Constraints:       7378
35.42/35.67	c #Conflicts:      23000 | #Constraints:       8378
35.42/35.67	c #Conflicts:      24000 | #Constraints:       9378
35.42/35.67	c #Conflicts:      25000 | #Constraints:      10378
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      26000 | #Constraints:       8015
35.42/35.67	c #Conflicts:      27000 | #Constraints:       9015
35.42/35.67	c #Conflicts:      28000 | #Constraints:      10015
35.42/35.67	c #Conflicts:      29000 | #Constraints:      11015
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      30000 | #Constraints:       8428
35.42/35.67	c #Conflicts:      31000 | #Constraints:       9428
35.42/35.67	c #Conflicts:      32000 | #Constraints:      10428
35.42/35.67	c #Conflicts:      33000 | #Constraints:      11428
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      34000 | #Constraints:       8618
35.42/35.67	c #Conflicts:      35000 | #Constraints:       9618
35.42/35.67	c #Conflicts:      36000 | #Constraints:      10618
35.42/35.67	c #Conflicts:      37000 | #Constraints:      11618
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      38000 | #Constraints:       8633
35.42/35.67	c #Conflicts:      39000 | #Constraints:       9633
35.42/35.67	c #Conflicts:      40000 | #Constraints:      10633
35.42/35.67	c #Conflicts:      41000 | #Constraints:      11633
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      42000 | #Constraints:       8460
35.42/35.67	c #Conflicts:      43000 | #Constraints:       9460
35.42/35.67	c #Conflicts:      44000 | #Constraints:      10460
35.42/35.67	c #Conflicts:      45000 | #Constraints:      11460
35.42/35.67	c #Conflicts:      46000 | #Constraints:      12460
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      47000 | #Constraints:       9086
35.42/35.67	c #Conflicts:      48000 | #Constraints:      10086
35.42/35.67	c #Conflicts:      49000 | #Constraints:      11086
35.42/35.67	c #Conflicts:      50000 | #Constraints:      12086
35.42/35.67	c #Conflicts:      51000 | #Constraints:      13086
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      52000 | #Constraints:       9510
35.42/35.67	c #Conflicts:      53000 | #Constraints:      10510
35.42/35.67	c #Conflicts:      54000 | #Constraints:      11510
35.42/35.67	c #Conflicts:      55000 | #Constraints:      12510
35.42/35.67	c #Conflicts:      56000 | #Constraints:      13510
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      57000 | #Constraints:       9698
35.42/35.67	c #Conflicts:      58000 | #Constraints:      10698
35.42/35.67	c #Conflicts:      59000 | #Constraints:      11698
35.42/35.67	c #Conflicts:      60000 | #Constraints:      12698
35.42/35.67	c #Conflicts:      61000 | #Constraints:      13698
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      62000 | #Constraints:       9679
35.42/35.67	c #Conflicts:      63000 | #Constraints:      10679
35.42/35.67	c #Conflicts:      64000 | #Constraints:      11679
35.42/35.67	c #Conflicts:      65000 | #Constraints:      12679
35.42/35.67	c #Conflicts:      66000 | #Constraints:      13679
35.42/35.67	c INPROCESSING
35.42/35.67	c GARBAGE COLLECT
35.42/35.67	c #Conflicts:      67000 | #Constraints:       9468
35.42/35.67	c #Conflicts:      68000 | #Constraints:      10468
76.19/76.52	c #Conflicts:      69000 | #Constraints:      11468
76.19/76.52	c #Conflicts:      70000 | #Constraints:      12469
76.19/76.52	c #Conflicts:      71000 | #Constraints:      13469
76.19/76.52	c #Conflicts:      72000 | #Constraints:      14469
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:      73000 | #Constraints:      10085
76.19/76.52	c #Conflicts:      74000 | #Constraints:      11085
76.19/76.52	c #Conflicts:      75000 | #Constraints:      12085
76.19/76.52	c #Conflicts:      76000 | #Constraints:      13085
76.19/76.52	c #Conflicts:      77000 | #Constraints:      14085
76.19/76.52	c #Conflicts:      78000 | #Constraints:      15085
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:      79000 | #Constraints:      10502
76.19/76.52	c #Conflicts:      80000 | #Constraints:      11502
76.19/76.52	c #Conflicts:      81000 | #Constraints:      12502
76.19/76.52	c #Conflicts:      82000 | #Constraints:      13502
76.19/76.52	c #Conflicts:      83000 | #Constraints:      14502
76.19/76.52	c #Conflicts:      84000 | #Constraints:      15502
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:      85000 | #Constraints:      10719
76.19/76.52	c #Conflicts:      86000 | #Constraints:      11719
76.19/76.52	c #Conflicts:      87000 | #Constraints:      12719
76.19/76.52	c #Conflicts:      88000 | #Constraints:      13719
76.19/76.52	c #Conflicts:      89000 | #Constraints:      14719
76.19/76.52	c #Conflicts:      90000 | #Constraints:      15719
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:      91000 | #Constraints:      10705
76.19/76.52	c #Conflicts:      92000 | #Constraints:      11705
76.19/76.52	c #Conflicts:      93000 | #Constraints:      12705
76.19/76.52	c #Conflicts:      94000 | #Constraints:      13705
76.19/76.52	c #Conflicts:      95000 | #Constraints:      14705
76.19/76.52	c #Conflicts:      96000 | #Constraints:      15705
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:      97000 | #Constraints:      10540
76.19/76.52	c #Conflicts:      98000 | #Constraints:      11540
76.19/76.52	c #Conflicts:      99000 | #Constraints:      12540
76.19/76.52	c #Conflicts:     100000 | #Constraints:      13540
76.19/76.52	c #Conflicts:     101000 | #Constraints:      14540
76.19/76.52	c #Conflicts:     102000 | #Constraints:      15540
76.19/76.52	c #Conflicts:     103000 | #Constraints:      16540
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:     104000 | #Constraints:      11136
76.19/76.52	c #Conflicts:     105000 | #Constraints:      12136
76.19/76.52	c #Conflicts:     106000 | #Constraints:      13136
76.19/76.52	c #Conflicts:     107000 | #Constraints:      14136
76.19/76.52	c #Conflicts:     108000 | #Constraints:      15136
76.19/76.52	c #Conflicts:     109000 | #Constraints:      16136
76.19/76.52	c #Conflicts:     110000 | #Constraints:      17136
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:     111000 | #Constraints:      11531
76.19/76.52	c #Conflicts:     112000 | #Constraints:      12531
76.19/76.52	c #Conflicts:     113000 | #Constraints:      13531
76.19/76.52	c #Conflicts:     114000 | #Constraints:      14531
76.19/76.52	c #Conflicts:     115000 | #Constraints:      15531
76.19/76.52	c #Conflicts:     116000 | #Constraints:      16531
76.19/76.52	c #Conflicts:     117000 | #Constraints:      17531
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:     118000 | #Constraints:      11754
76.19/76.52	c #Conflicts:     119000 | #Constraints:      12754
76.19/76.52	c #Conflicts:     120000 | #Constraints:      13754
76.19/76.52	c #Conflicts:     121000 | #Constraints:      14754
76.19/76.52	c #Conflicts:     122000 | #Constraints:      15754
76.19/76.52	c #Conflicts:     123000 | #Constraints:      16754
76.19/76.52	c #Conflicts:     124000 | #Constraints:      17754
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c #Conflicts:     125000 | #Constraints:      11743
76.19/76.52	c #Conflicts:     126000 | #Constraints:      12743
76.19/76.52	c #Conflicts:     127000 | #Constraints:      13743
76.19/76.52	c #Conflicts:     128000 | #Constraints:      14743
76.19/76.52	c #Conflicts:     129000 | #Constraints:      15743
76.19/76.52	c #Conflicts:     130000 | #Constraints:      16743
76.19/76.52	c #Conflicts:     131000 | #Constraints:      17743
76.19/76.52	c INPROCESSING
76.19/76.52	c GARBAGE COLLECT
76.19/76.52	c rational objective 72
127.06/127.55	c #Conflicts:     132000 | #Constraints:      11533
127.06/127.55	c #Conflicts:     133000 | #Constraints:      12533
127.06/127.55	c #Conflicts:     134000 | #Constraints:      13533
127.06/127.55	c #Conflicts:     135000 | #Constraints:      14533
127.06/127.55	c #Conflicts:     136000 | #Constraints:      15533
127.06/127.55	c #Conflicts:     137000 | #Constraints:      16533
127.06/127.55	c #Conflicts:     138000 | #Constraints:      17533
127.06/127.55	c #Conflicts:     139000 | #Constraints:      18533
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     140000 | #Constraints:      12147
127.06/127.55	c #Conflicts:     141000 | #Constraints:      13147
127.06/127.55	c #Conflicts:     142000 | #Constraints:      14147
127.06/127.55	c #Conflicts:     143000 | #Constraints:      15147
127.06/127.55	c #Conflicts:     144000 | #Constraints:      16147
127.06/127.55	c #Conflicts:     145000 | #Constraints:      17147
127.06/127.55	c #Conflicts:     146000 | #Constraints:      18147
127.06/127.55	c #Conflicts:     147000 | #Constraints:      19147
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     148000 | #Constraints:      12577
127.06/127.55	c #Conflicts:     149000 | #Constraints:      13577
127.06/127.55	c #Conflicts:     150000 | #Constraints:      14577
127.06/127.55	c #Conflicts:     151000 | #Constraints:      15577
127.06/127.55	c #Conflicts:     152000 | #Constraints:      16577
127.06/127.55	c #Conflicts:     153000 | #Constraints:      17577
127.06/127.55	c #Conflicts:     154000 | #Constraints:      18577
127.06/127.55	c #Conflicts:     155000 | #Constraints:      19577
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     156000 | #Constraints:      12793
127.06/127.55	c #Conflicts:     157000 | #Constraints:      13793
127.06/127.55	c #Conflicts:     158000 | #Constraints:      14793
127.06/127.55	c #Conflicts:     159000 | #Constraints:      15793
127.06/127.55	c #Conflicts:     160000 | #Constraints:      16793
127.06/127.55	c #Conflicts:     161000 | #Constraints:      17793
127.06/127.55	c #Conflicts:     162000 | #Constraints:      18793
127.06/127.55	c #Conflicts:     163000 | #Constraints:      19793
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     164000 | #Constraints:      12802
127.06/127.55	c #Conflicts:     165000 | #Constraints:      13802
127.06/127.55	c #Conflicts:     166000 | #Constraints:      14802
127.06/127.55	c #Conflicts:     167000 | #Constraints:      15802
127.06/127.55	c #Conflicts:     168000 | #Constraints:      16802
127.06/127.55	c #Conflicts:     169000 | #Constraints:      17802
127.06/127.55	c #Conflicts:     170000 | #Constraints:      18802
127.06/127.55	c #Conflicts:     171000 | #Constraints:      19802
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     172000 | #Constraints:      12584
127.06/127.55	c #Conflicts:     173000 | #Constraints:      13584
127.06/127.55	c #Conflicts:     174000 | #Constraints:      14584
127.06/127.55	c #Conflicts:     175000 | #Constraints:      15584
127.06/127.55	c #Conflicts:     176000 | #Constraints:      16584
127.06/127.55	c #Conflicts:     177000 | #Constraints:      17584
127.06/127.55	c #Conflicts:     178000 | #Constraints:      18584
127.06/127.55	c #Conflicts:     179000 | #Constraints:      19584
127.06/127.55	c #Conflicts:     180000 | #Constraints:      20584
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     181000 | #Constraints:      13183
127.06/127.55	c #Conflicts:     182000 | #Constraints:      14183
127.06/127.55	c #Conflicts:     183000 | #Constraints:      15183
127.06/127.55	c #Conflicts:     184000 | #Constraints:      16183
127.06/127.55	c #Conflicts:     185000 | #Constraints:      17183
127.06/127.55	c #Conflicts:     186000 | #Constraints:      18183
127.06/127.55	c #Conflicts:     187000 | #Constraints:      19183
127.06/127.55	c #Conflicts:     188000 | #Constraints:      20183
127.06/127.55	c #Conflicts:     189000 | #Constraints:      21183
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     190000 | #Constraints:      13623
127.06/127.55	c #Conflicts:     191000 | #Constraints:      14623
127.06/127.55	c #Conflicts:     192000 | #Constraints:      15623
127.06/127.55	c #Conflicts:     193000 | #Constraints:      16623
127.06/127.55	c #Conflicts:     194000 | #Constraints:      17623
127.06/127.55	c #Conflicts:     195000 | #Constraints:      18623
127.06/127.55	c #Conflicts:     196000 | #Constraints:      19623
127.06/127.55	c #Conflicts:     197000 | #Constraints:      20623
127.06/127.55	c #Conflicts:     198000 | #Constraints:      21623
127.06/127.55	c INPROCESSING
127.06/127.55	c GARBAGE COLLECT
127.06/127.55	c #Conflicts:     199000 | #Constraints:      13780
127.06/127.55	c #Conflicts:     200000 | #Constraints:      14780
127.06/127.55	c #Conflicts:     201000 | #Constraints:      15780
127.06/127.55	c #Conflicts:     202000 | #Constraints:      16780
127.06/127.55	c #Conflicts:     203000 | #Constraints:      17780
127.06/127.55	c #Conflicts:     204000 | #Constraints:      18780
127.06/127.55	c #Conflicts:     205000 | #Constraints:      19780
162.08/162.60	c #Conflicts:     206000 | #Constraints:      20780
162.08/162.60	c #Conflicts:     207000 | #Constraints:      21780
162.08/162.60	c INPROCESSING
162.08/162.60	c GARBAGE COLLECT
162.08/162.60	c #Conflicts:     208000 | #Constraints:      13763
162.08/162.60	c #Conflicts:     209000 | #Constraints:      14763
162.08/162.60	c #Conflicts:     210000 | #Constraints:      15763
162.08/162.60	c #Conflicts:     211000 | #Constraints:      16763
162.08/162.60	c #Conflicts:     212000 | #Constraints:      17763
162.08/162.60	c #Conflicts:     213000 | #Constraints:      18763
162.08/162.60	c #Conflicts:     214000 | #Constraints:      19763
162.08/162.60	c #Conflicts:     215000 | #Constraints:      20763
162.08/162.60	c #Conflicts:     216000 | #Constraints:      21763
162.08/162.60	c INPROCESSING
162.08/162.60	c GARBAGE COLLECT
162.08/162.60	c #Conflicts:     217000 | #Constraints:      13601
162.08/162.60	c #Conflicts:     218000 | #Constraints:      14601
162.08/162.60	c #Conflicts:     219000 | #Constraints:      15601
162.08/162.60	c #Conflicts:     220000 | #Constraints:      16601
162.08/162.60	c #Conflicts:     221000 | #Constraints:      17601
162.08/162.60	c #Conflicts:     222000 | #Constraints:      18601
162.08/162.60	c #Conflicts:     223000 | #Constraints:      19601
162.08/162.60	c #Conflicts:     224000 | #Constraints:      20601
162.08/162.60	c #Conflicts:     225000 | #Constraints:      21601
162.08/162.60	c #Conflicts:     226000 | #Constraints:      22601
162.08/162.60	c INPROCESSING
162.08/162.60	c GARBAGE COLLECT
162.08/162.60	c #Conflicts:     227000 | #Constraints:      14200
162.08/162.60	c #Conflicts:     228000 | #Constraints:      15200
162.08/162.60	c #Conflicts:     229000 | #Constraints:      16200
162.08/162.60	c #Conflicts:     230000 | #Constraints:      17200
162.08/162.60	c #Conflicts:     231000 | #Constraints:      18200
162.08/162.60	c #Conflicts:     232000 | #Constraints:      19200
162.08/162.60	c #Conflicts:     233000 | #Constraints:      20200
162.08/162.60	c #Conflicts:     234000 | #Constraints:      21200
162.08/162.60	c #Conflicts:     235000 | #Constraints:      22200
162.08/162.60	c #Conflicts:     236000 | #Constraints:      23200
162.08/162.60	c INPROCESSING
162.08/162.60	c GARBAGE COLLECT
162.08/162.60	c #Conflicts:     237000 | #Constraints:      14639
162.08/162.60	c #Conflicts:     238000 | #Constraints:      15639
162.08/162.60	c #Conflicts:     239000 | #Constraints:      16639
162.08/162.60	c #Conflicts:     240000 | #Constraints:      17639
162.08/162.60	c #Conflicts:     241000 | #Constraints:      18639
162.08/162.60	c #Conflicts:     242000 | #Constraints:      19639
162.08/162.60	c #Conflicts:     243000 | #Constraints:      20639
162.08/162.60	c #Conflicts:     244000 | #Constraints:      21639
162.08/162.60	c #Conflicts:     245000 | #Constraints:      22639
162.08/162.60	c #Conflicts:     246000 | #Constraints:      23639
162.08/162.60	c INPROCESSING
162.08/162.60	c GARBAGE COLLECT
162.08/162.60	c rational objective 72
204.38/205.08	c #Conflicts:     247000 | #Constraints:      14831
204.38/205.08	c #Conflicts:     248000 | #Constraints:      15831
204.38/205.08	c #Conflicts:     249000 | #Constraints:      16831
204.38/205.08	c #Conflicts:     250000 | #Constraints:      17831
204.38/205.08	c #Conflicts:     251000 | #Constraints:      18831
204.38/205.08	c #Conflicts:     252000 | #Constraints:      19831
204.38/205.08	c #Conflicts:     253000 | #Constraints:      20831
204.38/205.08	c #Conflicts:     254000 | #Constraints:      21831
204.38/205.08	c #Conflicts:     255000 | #Constraints:      22831
204.38/205.08	c #Conflicts:     256000 | #Constraints:      23831
204.38/205.08	c INPROCESSING
204.38/205.08	c GARBAGE COLLECT
204.38/205.08	c #Conflicts:     257000 | #Constraints:      14818
204.38/205.08	c #Conflicts:     258000 | #Constraints:      15819
204.38/205.08	c #Conflicts:     259000 | #Constraints:      16819
204.38/205.08	c #Conflicts:     260000 | #Constraints:      17819
204.38/205.08	c #Conflicts:     261000 | #Constraints:      18819
204.38/205.08	c #Conflicts:     262000 | #Constraints:      19819
204.38/205.08	c #Conflicts:     263000 | #Constraints:      20819
204.38/205.08	c #Conflicts:     264000 | #Constraints:      21819
204.38/205.08	c #Conflicts:     265000 | #Constraints:      22819
204.38/205.08	c #Conflicts:     266000 | #Constraints:      23819
204.38/205.08	c INPROCESSING
204.38/205.08	c GARBAGE COLLECT
204.38/205.08	c #Conflicts:     267000 | #Constraints:      14615
204.38/205.08	c #Conflicts:     268000 | #Constraints:      15615
204.38/205.08	c #Conflicts:     269000 | #Constraints:      16615
204.38/205.08	c #Conflicts:     270000 | #Constraints:      17615
204.38/205.08	c #Conflicts:     271000 | #Constraints:      18615
204.38/205.08	c #Conflicts:     272000 | #Constraints:      19615
204.38/205.08	c #Conflicts:     273000 | #Constraints:      20615
204.38/205.08	c #Conflicts:     274000 | #Constraints:      21615
204.38/205.08	c #Conflicts:     275000 | #Constraints:      22615
204.38/205.08	c #Conflicts:     276000 | #Constraints:      23615
204.38/205.08	c #Conflicts:     277000 | #Constraints:      24615
204.38/205.08	c INPROCESSING
204.38/205.08	c GARBAGE COLLECT
204.38/205.08	c #Conflicts:     278000 | #Constraints:      15226
204.38/205.08	c #Conflicts:     279000 | #Constraints:      16226
204.38/205.08	c #Conflicts:     280000 | #Constraints:      17226
204.38/205.08	c #Conflicts:     281000 | #Constraints:      18226
204.38/205.08	c #Conflicts:     282000 | #Constraints:      19226
204.38/205.08	c #Conflicts:     283000 | #Constraints:      20226
204.38/205.08	c #Conflicts:     284000 | #Constraints:      21226
204.38/205.08	c #Conflicts:     285000 | #Constraints:      22226
204.38/205.08	c #Conflicts:     286000 | #Constraints:      23226
204.38/205.08	c #Conflicts:     287000 | #Constraints:      24226
204.38/205.08	c #Conflicts:     288000 | #Constraints:      25226
204.38/205.08	c INPROCESSING
204.38/205.08	c GARBAGE COLLECT
204.38/205.08	c #Conflicts:     289000 | #Constraints:      15617
204.38/205.08	c #Conflicts:     290000 | #Constraints:      16617
204.38/205.08	c #Conflicts:     291000 | #Constraints:      17617
204.38/205.08	c #Conflicts:     292000 | #Constraints:      18617
204.38/205.08	c #Conflicts:     293000 | #Constraints:      19617
204.38/205.08	c #Conflicts:     294000 | #Constraints:      20617
204.38/205.08	c #Conflicts:     295000 | #Constraints:      21617
204.38/205.08	c #Conflicts:     296000 | #Constraints:      22617
204.38/205.08	c #Conflicts:     297000 | #Constraints:      23617
204.38/205.08	c #Conflicts:     298000 | #Constraints:      24617
204.38/205.08	c #Conflicts:     299000 | #Constraints:      25617
204.38/205.08	c INPROCESSING
204.38/205.08	c GARBAGE COLLECT
204.38/205.08	c #Conflicts:     300000 | #Constraints:      15802
204.38/205.08	c #Conflicts:     301000 | #Constraints:      16802
204.38/205.08	c #Conflicts:     302000 | #Constraints:      17802
204.38/205.08	c cpu time 202.221 s
204.38/205.08	c deterministic time 12241150456 1.22e+10
204.38/205.08	c optimization time 0.000104 s
204.38/205.08	c total solve time 202.166 s
204.38/205.08	c core-guided solve time 0 s
204.38/205.08	c propagation time 91.4045 s
204.38/205.08	c conflict analysis time 85.9601 s
204.38/205.08	c propagations 110315923
204.38/205.08	c resolve steps 12076573
204.38/205.08	c decisions 1601630
204.38/205.08	c conflicts 302284
204.38/205.08	c restarts 731
204.38/205.08	c inprocessing phases 46
204.38/205.08	c garbage collections 46 ,( 100.00 )
204.38/205.08	c input clauses 4043 ,( 98.27 )
204.38/205.08	c input cardinalities 71 ,( 1.73 )
204.38/205.08	c input general constraints 0 ,( 0.00 )
204.38/205.08	c input average constraint length 5.95
204.38/205.08	c input average constraint degree 1.91
204.38/205.08	c learned clauses 229524 ,( 75.93 )
204.38/205.08	c learned cardinalities 7245 ,( 2.40 )
204.38/205.08	c learned general constraints 65521 ,( 21.67 )
204.38/205.08	c learned average constraint length 378.22
204.38/205.08	c learned average constraint degree 1750403.80
204.38/205.08	c watched  CF 32, 64, 128, Arb: 19657 , 0 , 0 , 0
204.38/205.08	c counting CF 32, 64, 128, Arb: 45864 , 0 , 0 , 0
204.38/205.08	c watched   constraints 19657 ,( 30.00 ) 
204.38/205.08	c counting  constraints 45864 ,( 70.00 ) 
204.38/205.08	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 130174625 , 68753714 , 169051871 ,( 9478316 , 159573555 )
204.38/205.08	c gcd simplifications 183
204.38/205.08	c detected cardinalities 614
204.38/205.08	c weakened non-implied lits 43179241
204.38/205.08	c weakened non-implying lits 16370
204.38/205.08	c original variables 3932
204.38/205.08	c clausal propagations 46689373
204.38/205.08	c cardinality propagations 41341344
204.38/205.08	c watched propagations 449380
204.38/205.08	c counting propagations 20908807
204.38/205.08	c watch lookups 4153880438
204.38/205.08	c watch backjump lookups 0
204.38/205.08	c watch checks 2599773578
204.38/205.08	c propagation checks 4854221972
204.38/205.08	c constraint additions 409068523
204.38/205.08	c trail pops 112219221
204.38/205.08	c formula constraints 4114
204.38/205.08	c learned constraints 302281
204.38/205.08	c bound constraints 0
204.38/205.08	c core-guided constraints 0
204.38/205.08	c encountered formula constraints 8411911
204.38/205.08	c encountered learned constraints 3966933
204.38/205.08	c encountered bound constraints 0
204.38/205.08	c encountered core-guided constraints 0
204.38/205.08	c LP total time 17.9357 s
204.38/205.08	c LP solve time 16.74 s
204.38/205.08	c LP constraints added 4204
204.38/205.08	c LP constraints removed 30
204.38/205.08	c LP pivots internal 32617
204.38/205.08	c LP pivots root 36553
204.38/205.08	c LP calls 11
204.38/205.08	c LP optimalities 4
204.38/205.08	c LP no pivot count 0
204.38/205.08	c LP infeasibilities 3
204.38/205.08	c LP valid Farkas constraints 3
204.38/205.08	c LP learned Farkas constraints 3
204.38/205.08	c LP basis resets 0
204.38/205.08	c LP cycling count 0
204.38/205.08	c LP singular count 0
204.38/205.08	c LP no primal count 0
204.38/205.08	c LP no farkas count 0
204.38/205.08	c LP other issue count 0
204.38/205.08	c LP Gomory cuts 3
204.38/205.08	c LP learned cuts 87
204.38/205.08	c LP deleted cuts 30
204.38/205.08	c LP encountered Gomory constraints 0
204.38/205.08	c LP encountered Farkas constraints 7
204.38/205.08	c LP encountered learned Farkas constraints 3
204.38/205.08	c CG auxiliary variables introduced 0
204.38/205.08	c CG solutions found 0
204.38/205.08	c CG cores constructed 0
204.38/205.08	c CG core cardinality constraints returned 0
204.38/205.08	c CG unit cores 0
204.38/205.08	c CG single cores 0
204.38/205.08	c CG blocks removed during cardinality reduction 0
204.38/205.08	c CG first core best 0
204.38/205.08	c CG decision core best 0
204.38/205.08	c CG core reduction tie 0
204.38/205.08	c CG core degree average 0.00
204.38/205.08	c CG core slack average 0.00
204.38/205.08	c CG core upper bound improvements 0
204.38/205.08	c STR number of successful calls 0
204.38/205.08	c STR number of unsuccessful calls 0
204.38/205.08	c STR number of inconclusive calls 0
204.38/205.08	c STR number of successful attempts 0
204.38/205.08	c STR number of unsuccessful attempts 0
204.38/205.08	c STR number of inconclusive attempts 0
204.38/205.08	c STR average degree increase per successful call inf
204.38/205.08	c STR average degree increase per successful attempt inf
204.38/205.08	c STR total number of conflicts for successful attempts 0
204.38/205.08	c STR total number of conflicts for unsuccessful attempts 0
204.38/205.08	c STR total number of conflicts for inconclusive attempts 0
204.38/205.08	c STR average number of conflicts per successful attempt inf
204.38/205.08	c STR average number of conflicts per unsuccessful attempt inf
204.38/205.08	c STR average number of conflicts per inconclusive attempt inf
204.38/205.08	c AVG.sumWPerc 61.29 
204.38/205.08	c bigint constraints 0 
204.38/205.08	s SATISFIABLE
204.38/205.08	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 x3778 -x3779 x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 x3905

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: 63837 MiB (62414 MiB free)
  memory of node 1: 64465 MiB (63353 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507664-1751187116/watcher-4507664-1751187116 -o /tmp/evaluation-result-4507664-1751187116/solver-4507664-1751187116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19244 --watchdog 3760 run-dec-break.sh HOME/instance-4507664-1751187116.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10007 s]*
/proc/loadavg: 4.09 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128778588/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=57016 memory=10496 CPUtime=0.02 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 800 0 0 0 2 0 0 0 20 0 1 0 34390335 58384384 2624 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 14254 2624 2048 1147 0 1681 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 61208 KiB
Current children cumulated memory: 13440 KiB

[startup+0.217852 s]*
/proc/loadavg: 4.09 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128772728/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=68136 memory=21304 CPUtime=0.13 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 3843 0 0 0 11 2 0 0 20 0 1 0 34390335 69771264 5326 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 17034 5326 2304 1147 0 4461 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72328 KiB
Current children cumulated memory: 24248 KiB

[startup+0.319114 s]*
/proc/loadavg: 4.09 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128770712/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=68816 memory=21816 CPUtime=0.21 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 3966 0 0 0 19 2 0 0 20 0 1 0 34390335 70467584 5454 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 17204 5454 2304 1147 0 4631 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 73008 KiB
Current children cumulated memory: 24760 KiB

[startup+0.700404 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128770824/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=68816 memory=22072 CPUtime=0.57 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 4011 0 0 0 55 2 0 0 20 0 1 0 34390335 70467584 5518 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 17204 5518 2336 1147 0 4631 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 73008 KiB
Current children cumulated memory: 25016 KiB

[startup+1.50041 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128771044/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=69456 memory=22584 CPUtime=1.38 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 4162 0 0 0 135 3 0 0 20 0 1 0 34390335 71122944 5646 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 17364 5646 2336 1147 0 4791 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 73648 KiB
Current children cumulated memory: 25528 KiB

[startup+3.11411 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128771044/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=73072 memory=30564 CPUtime=2.98 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 5598 0 0 0 288 10 0 0 20 0 1 0 34390335 74825728 7641 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 18268 7641 2368 1147 0 5695 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 77264 KiB
Current children cumulated memory: 33508 KiB

[startup+6.3004 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 19861
/proc/meminfo: memFree=128771060/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=79500 memory=34276 CPUtime=6.16 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 6537 0 0 0 600 16 0 0 20 0 1 0 34390335 81408000 8569 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 19875 8569 2368 1147 0 7302 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 83692 KiB
Current children cumulated memory: 37220 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 19861
/proc/meminfo: memFree=128771124/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=81128 memory=38144 CPUtime=12.54 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 6950 0 0 0 1228 26 0 0 20 0 1 0 34390335 83075072 9536 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 20282 9536 2400 1147 0 7709 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 85320 KiB
Current children cumulated memory: 41088 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.11 4.09 5/254 19861
/proc/meminfo: memFree=128735228/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=90412 memory=46224 CPUtime=25.32 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 8482 0 0 0 2488 44 0 0 20 0 1 0 34390335 92581888 11556 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 22603 11556 2400 1147 0 10030 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 94604 KiB
Current children cumulated memory: 49168 KiB

[startup+51.1141 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 19908
/proc/meminfo: memFree=128737180/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=102476 memory=55892 CPUtime=50.84 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 10285 0 0 0 5007 77 0 0 20 0 1 0 34390335 104935424 13973 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 25619 13973 2400 1147 0 13046 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 106668 KiB
Current children cumulated memory: 58836 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/255 19911
/proc/meminfo: memFree=128647456/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=131668 memory=78416 CPUtime=101.89 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 14813 0 0 0 10056 133 0 0 20 0 1 0 34390335 134828032 19604 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 32917 19604 2400 1147 0 20344 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 135860 KiB
Current children cumulated memory: 81360 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 19917
/proc/meminfo: memFree=128534860/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=161120 memory=101272 CPUtime=161.74 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 17978 0 0 0 15994 180 0 0 20 0 1 0 34390335 164986880 25318 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 40280 25318 2400 1147 0 27707 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 165312 KiB
Current children cumulated memory: 104216 KiB

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

# cumulated CPU time of all completed processes:  user=202.257 s, system=2.21365 s

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

[startup+179.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 19917
/proc/meminfo: memFree=128515956/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=162512 memory=102680 CPUtime=178.59 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18334 0 0 0 17664 195 0 0 20 0 1 0 34390335 166412288 25670 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 40628 25670 2400 1147 0 28055 0
Current children cumulated CPU time: 178.63 s
Current children cumulated vsize: 166704 KiB
Current children cumulated memory: 105624 KiB

[startup+192 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128498316/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=163528 memory=103576 CPUtime=191.37 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18558 0 0 0 18931 206 0 0 20 0 1 0 34390335 167452672 25894 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 40882 25894 2400 1147 0 28309 0
Current children cumulated CPU time: 191.41 s
Current children cumulated vsize: 167720 KiB
Current children cumulated memory: 106520 KiB

[startup+198.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128494536/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=164172 memory=104216 CPUtime=197.75 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18714 0 0 0 19563 212 0 0 20 0 1 0 34390335 168112128 26054 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 41043 26054 2400 1147 0 28470 0
Current children cumulated CPU time: 197.79 s
Current children cumulated vsize: 168364 KiB
Current children cumulated memory: 107160 KiB

[startup+201.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128494536/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=164172 memory=104216 CPUtime=200.94 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18734 0 0 0 19879 215 0 0 20 0 1 0 34390335 168112128 26054 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 41043 26054 2400 1147 0 28470 0
Current children cumulated CPU time: 200.98 s
Current children cumulated vsize: 168364 KiB
Current children cumulated memory: 107160 KiB

[startup+203.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128494788/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=164172 memory=104216 CPUtime=202.53 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18736 0 0 0 20037 216 0 0 20 0 1 0 34390335 168112128 26054 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 41043 26054 2400 1147 0 28470 0
Current children cumulated CPU time: 202.57 s
Current children cumulated vsize: 168364 KiB
Current children cumulated memory: 107160 KiB

[startup+204 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128494788/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=164760 memory=104728 CPUtime=203.34 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18860 0 0 0 20117 217 0 0 20 0 1 0 34390335 168714240 26182 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 41190 26182 2400 1147 0 28617 0
Current children cumulated CPU time: 203.38 s
Current children cumulated vsize: 168952 KiB
Current children cumulated memory: 107672 KiB

[startup+204.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128494788/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=164760 memory=104728 CPUtime=204.13 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18860 0 0 0 20194 219 0 0 20 0 1 0 34390335 168714240 26182 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 41190 26182 2400 1147 0 28617 0
Current children cumulated CPU time: 204.17 s
Current children cumulated vsize: 168952 KiB
Current children cumulated memory: 107672 KiB

[startup+205 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 19918
/proc/meminfo: memFree=128494788/131382120 swapFree=33010684/33010684
[pid=19858] ppid=19855 vsize=4192 memory=2944 CPUtime=0.04 cores=4,6
/proc/19858/stat : 19858 (run-dec-break.s) S 19855 19858 19233 0 -1 4194304 239 2819 0 0 0 0 3 1 20 0 1 0 34390330 4292608 736 18446744073709551615 94707504885760 94707505780293 140730435962112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94707506019344 94707506067088 94707530379264 140730435971425 140730435971554 140730435971554 140730435977156 0
/proc/19858/statm: 1048 736 672 219 0 110 0
[pid=19861] ppid=19858 vsize=164760 memory=104728 CPUtime=204.34 cores=4,6
/proc/19861/stat : 19861 (roundingsat) R 19858 19858 19233 0 -1 4194304 18860 0 0 0 20215 219 0 0 20 0 1 0 34390335 168714240 26182 18446744073709551615 4227072 8923433 140722763873600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22663168 140722763876676 140722763876904 140722763876904 140722763882474 0
/proc/19861/statm: 41190 26182 2400 1147 0 28617 0
Current children cumulated CPU time: 204.38 s
Current children cumulated vsize: 168952 KiB
Current children cumulated memory: 107672 KiB

Child status: 0

Real time (s): 205.087
CPU time (s): 204.47
CPU user time (s): 202.257
CPU system time (s): 2.21365
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 168952
Max. memory (cumulated for all children) (KiB): 107672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.257
system time used= 2.21365
maximum resident set size= 104728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224
involuntary context switches= 263


# summary of solver processes directly reported to runsolver:
#   pid: 19858
#   total CPU time (s): 204.47
#   total CPU user time (s): 202.257
#   total CPU system time (s): 2.21365

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1257 second user time and 2.20402 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 10:51:57
IDJOB=4507664
IDBENCH=158375
IDSOLVER=3357
FILE ID=nodeC003/4507664-1751187116
RUNJOBID= nodeC003-1751182666-19244
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507664-1751187116/watcher-4507664-1751187116 -o /tmp/evaluation-result-4507664-1751187116/solver-4507664-1751187116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19244 --watchdog 3760  run-dec-break.sh HOME/instance-4507664-1751187116.opb

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

MD5SUM BENCH= 9c6bc9cc94309c2493f896d524de96fb
RANDOM SEED=1790041423

nodeC003 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	: 0xb00001f
cpu MHz		: 3661.293
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.240
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.309
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.152
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.213
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.733
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1198.329
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128785652 kB
MemAvailable:   128597116 kB
Buffers:            3280 kB
Cached:           622096 kB
SwapCached:            0 kB
Active:          1644992 kB
Inactive:         408884 kB
Active(anon):    1446460 kB
Inactive(anon):        0 kB
Active(file):     198532 kB
Inactive(file):   408884 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15548 kB
Writeback:            28 kB
AnonPages:       1430740 kB
Mapped:           116120 kB
Shmem:             17960 kB
KReclaimable:      87348 kB
Slab:             168564 kB
SReclaimable:      87348 kB
SUnreclaim:        81216 kB
KernelStack:        4080 kB
PageTables:         5976 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1850012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1290240 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:55:22