Trace number 4507701

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat+pbsuma-log 63f22adSAT 252.095 256.684

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
MD5SUM7a41f646f8fb7a1c0e5845075c21504b
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 benchmark8.08757
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3795
Total number of constraints3935
Number of constraints which are clauses3866
Number of constraints which are cardinality constraints (but not clauses)69
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint69
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 70
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-4507701-1751177752.opb'
0.00/0.01	c 	read 0.23MB  (3.23ms)
0.00/0.01	c	 [cnf: #variables 3795 #clauses 3935 #duplicates 0 #arr 23627]
0.00/0.05	c output proof to 'PROOFDIR/proof-4507701-1751177752'
0.00/0.05	c 
0.00/0.05	c make graph and approximate orbits
0.00/0.05	c	 [group: #orbits ~= 690] (4.31ms)
0.00/0.05	c 
0.00/0.05	c detect special group actions
0.00/0.05	c 	probe for Johnson action (limit=64)
0.00/0.05	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05	c 	 (0.91ms)
0.00/0.05	c 
0.00/0.05	c detect symmetries on remainder
0.00/0.05	c 	[graph: #vertices 19115 #edges 70024]
0.00/0.05	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06	c 	 [group: #symmetries 8.00*10^0 #generators 3] (4.01ms)
0.00/0.06	c 
0.00/0.06	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06	c 	(0.01ms)
0.00/0.06	c 
0.00/0.06	c finalize break order and special generators
0.00/0.06	c 
0.00/0.06	c add generic predicates (break_depth=10)
0.00/0.06	c 	added predicates for 3 generators (0.02ms)
0.00/0.06	c 
0.00/0.06	c generation finished
0.00/0.06	c 	[sbp: #constraints 84 #add_vars 27]
0.00/0.06	c 
0.00/0.06	c write result to 'HOME/instance-4507701-1751177752.opb.pre'
0.00/0.06	c 	wrote 0.24MB (0.61ms)
0.00/0.06	c ------------------------------------------------------------------
0.00/0.06	c                  40.61ms 75.44% other
0.00/0.06	c                   4.31ms  8.00% approx_orbits
0.00/0.06	c                   4.01ms  7.45% detect_generic
0.00/0.06	c                   3.23ms  6.00% parse
0.00/0.06	c                   0.91ms  1.69% detect_special
0.00/0.06	c                   0.61ms  1.13% output
0.00/0.06	c                   0.12ms  0.22% finalize_order
0.00/0.06	c                   0.02ms  0.04% break_generic
0.00/0.06	c                   0.01ms  0.02% optimize_gens
0.00/0.06	c         ───────────────────────────────────────────────
0.00/0.06	c                  53.82ms   100% total
0.00/0.06	c ------------------------------------------------------------------
0.00/0.07	c RoundingSat 2
0.00/0.07	c branch pb25
0.00/0.07	c commit 63f22ad
0.03/0.11	c #variables 3822 #constraints 4000
35.70/36.10	c #Conflicts:       1000 | #Constraints:       4999
35.70/36.10	c #Conflicts:       2000 | #Constraints:       5999
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:       3000 | #Constraints:       5466
35.70/36.10	c #Conflicts:       4000 | #Constraints:       6466
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:       5000 | #Constraints:       5912
35.70/36.10	c #Conflicts:       6000 | #Constraints:       6912
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:       7000 | #Constraints:       5952
35.70/36.10	c #Conflicts:       8000 | #Constraints:       6952
35.70/36.10	c #Conflicts:       9000 | #Constraints:       7952
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      10000 | #Constraints:       6672
35.70/36.10	c #Conflicts:      11000 | #Constraints:       7672
35.70/36.10	c #Conflicts:      12000 | #Constraints:       8672
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      13000 | #Constraints:       7142
35.70/36.10	c #Conflicts:      14000 | #Constraints:       8142
35.70/36.10	c #Conflicts:      15000 | #Constraints:       9142
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      16000 | #Constraints:       7410
35.70/36.10	c #Conflicts:      17000 | #Constraints:       8410
35.70/36.10	c #Conflicts:      18000 | #Constraints:       9410
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      19000 | #Constraints:       7441
35.70/36.10	c #Conflicts:      20000 | #Constraints:       8441
35.70/36.10	c #Conflicts:      21000 | #Constraints:       9442
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      22000 | #Constraints:       7271
35.70/36.10	c #Conflicts:      23000 | #Constraints:       8271
35.70/36.10	c #Conflicts:      24000 | #Constraints:       9271
35.70/36.10	c #Conflicts:      25000 | #Constraints:      10271
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      26000 | #Constraints:       7881
35.70/36.10	c #Conflicts:      27000 | #Constraints:       8881
35.70/36.10	c #Conflicts:      28000 | #Constraints:       9881
35.70/36.10	c #Conflicts:      29000 | #Constraints:      10881
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      30000 | #Constraints:       8310
35.70/36.10	c #Conflicts:      31000 | #Constraints:       9310
35.70/36.10	c #Conflicts:      32000 | #Constraints:      10310
35.70/36.10	c #Conflicts:      33000 | #Constraints:      11310
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      34000 | #Constraints:       8499
35.70/36.10	c #Conflicts:      35000 | #Constraints:       9499
35.70/36.10	c #Conflicts:      36000 | #Constraints:      10499
35.70/36.10	c #Conflicts:      37000 | #Constraints:      11499
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      38000 | #Constraints:       8499
35.70/36.10	c #Conflicts:      39000 | #Constraints:       9499
35.70/36.10	c #Conflicts:      40000 | #Constraints:      10499
35.70/36.10	c #Conflicts:      41000 | #Constraints:      11500
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      42000 | #Constraints:       8339
35.70/36.10	c #Conflicts:      43000 | #Constraints:       9339
35.70/36.10	c #Conflicts:      44000 | #Constraints:      10339
35.70/36.10	c #Conflicts:      45000 | #Constraints:      11339
35.70/36.10	c #Conflicts:      46000 | #Constraints:      12339
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      47000 | #Constraints:       8939
35.70/36.10	c #Conflicts:      48000 | #Constraints:       9939
35.70/36.10	c #Conflicts:      49000 | #Constraints:      10939
35.70/36.10	c #Conflicts:      50000 | #Constraints:      11939
35.70/36.10	c #Conflicts:      51000 | #Constraints:      12939
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      52000 | #Constraints:       9327
35.70/36.10	c #Conflicts:      53000 | #Constraints:      10327
35.70/36.10	c #Conflicts:      54000 | #Constraints:      11327
35.70/36.10	c #Conflicts:      55000 | #Constraints:      12327
35.70/36.10	c #Conflicts:      56000 | #Constraints:      13327
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      57000 | #Constraints:       9539
35.70/36.10	c #Conflicts:      58000 | #Constraints:      10539
35.70/36.10	c #Conflicts:      59000 | #Constraints:      11539
35.70/36.10	c #Conflicts:      60000 | #Constraints:      12539
35.70/36.10	c #Conflicts:      61000 | #Constraints:      13539
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      62000 | #Constraints:       9551
35.70/36.10	c #Conflicts:      63000 | #Constraints:      10551
35.70/36.10	c #Conflicts:      64000 | #Constraints:      11551
35.70/36.10	c #Conflicts:      65000 | #Constraints:      12551
35.70/36.10	c #Conflicts:      66000 | #Constraints:      13551
35.70/36.10	c INPROCESSING
35.70/36.10	c GARBAGE COLLECT
35.70/36.10	c #Conflicts:      67000 | #Constraints:       9379
35.70/36.10	c #Conflicts:      68000 | #Constraints:      10379
79.89/80.34	c #Conflicts:      69000 | #Constraints:      11379
79.89/80.34	c #Conflicts:      70000 | #Constraints:      12379
79.89/80.34	c #Conflicts:      71000 | #Constraints:      13379
79.89/80.34	c #Conflicts:      72000 | #Constraints:      14379
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:      73000 | #Constraints:       9998
79.89/80.34	c #Conflicts:      74000 | #Constraints:      10999
79.89/80.34	c #Conflicts:      75000 | #Constraints:      11999
79.89/80.34	c #Conflicts:      76000 | #Constraints:      12999
79.89/80.34	c #Conflicts:      77000 | #Constraints:      13999
79.89/80.34	c #Conflicts:      78000 | #Constraints:      14999
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:      79000 | #Constraints:      10422
79.89/80.34	c #Conflicts:      80000 | #Constraints:      11422
79.89/80.34	c #Conflicts:      81000 | #Constraints:      12422
79.89/80.34	c #Conflicts:      82000 | #Constraints:      13422
79.89/80.34	c #Conflicts:      83000 | #Constraints:      14422
79.89/80.34	c #Conflicts:      84000 | #Constraints:      15422
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:      85000 | #Constraints:      10609
79.89/80.34	c #Conflicts:      86000 | #Constraints:      11609
79.89/80.34	c #Conflicts:      87000 | #Constraints:      12609
79.89/80.34	c #Conflicts:      88000 | #Constraints:      13609
79.89/80.34	c #Conflicts:      89000 | #Constraints:      14609
79.89/80.34	c #Conflicts:      90000 | #Constraints:      15609
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:      91000 | #Constraints:      10583
79.89/80.34	c #Conflicts:      92000 | #Constraints:      11583
79.89/80.34	c #Conflicts:      93000 | #Constraints:      12583
79.89/80.34	c #Conflicts:      94000 | #Constraints:      13583
79.89/80.34	c #Conflicts:      95000 | #Constraints:      14583
79.89/80.34	c #Conflicts:      96000 | #Constraints:      15583
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:      97000 | #Constraints:      10384
79.89/80.34	c #Conflicts:      98000 | #Constraints:      11384
79.89/80.34	c #Conflicts:      99000 | #Constraints:      12384
79.89/80.34	c #Conflicts:     100000 | #Constraints:      13384
79.89/80.34	c #Conflicts:     101000 | #Constraints:      14384
79.89/80.34	c #Conflicts:     102000 | #Constraints:      15384
79.89/80.34	c #Conflicts:     103000 | #Constraints:      16384
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:     104000 | #Constraints:      10996
79.89/80.34	c #Conflicts:     105000 | #Constraints:      11996
79.89/80.34	c #Conflicts:     106000 | #Constraints:      12996
79.89/80.34	c #Conflicts:     107000 | #Constraints:      13996
79.89/80.34	c #Conflicts:     108000 | #Constraints:      14996
79.89/80.34	c #Conflicts:     109000 | #Constraints:      15996
79.89/80.34	c #Conflicts:     110000 | #Constraints:      16996
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:     111000 | #Constraints:      11431
79.89/80.34	c #Conflicts:     112000 | #Constraints:      12431
79.89/80.34	c #Conflicts:     113000 | #Constraints:      13431
79.89/80.34	c #Conflicts:     114000 | #Constraints:      14431
79.89/80.34	c #Conflicts:     115000 | #Constraints:      15431
79.89/80.34	c #Conflicts:     116000 | #Constraints:      16431
79.89/80.34	c #Conflicts:     117000 | #Constraints:      17431
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:     118000 | #Constraints:      11621
79.89/80.34	c #Conflicts:     119000 | #Constraints:      12621
79.89/80.34	c #Conflicts:     120000 | #Constraints:      13621
79.89/80.34	c #Conflicts:     121000 | #Constraints:      14621
79.89/80.34	c #Conflicts:     122000 | #Constraints:      15621
79.89/80.34	c #Conflicts:     123000 | #Constraints:      16621
79.89/80.34	c #Conflicts:     124000 | #Constraints:      17621
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c #Conflicts:     125000 | #Constraints:      11621
79.89/80.34	c #Conflicts:     126000 | #Constraints:      12621
79.89/80.34	c #Conflicts:     127000 | #Constraints:      13621
79.89/80.34	c #Conflicts:     128000 | #Constraints:      14621
79.89/80.34	c #Conflicts:     129000 | #Constraints:      15621
79.89/80.34	c #Conflicts:     130000 | #Constraints:      16621
79.89/80.34	c #Conflicts:     131000 | #Constraints:      17621
79.89/80.34	c INPROCESSING
79.89/80.34	c GARBAGE COLLECT
79.89/80.34	c rational objective 70
158.38/159.65	c #Conflicts:     132000 | #Constraints:      11416
158.38/159.65	c #Conflicts:     133000 | #Constraints:      12416
158.38/159.65	c #Conflicts:     134000 | #Constraints:      13416
158.38/159.65	c #Conflicts:     135000 | #Constraints:      14416
158.38/159.65	c #Conflicts:     136000 | #Constraints:      15416
158.38/159.65	c #Conflicts:     137000 | #Constraints:      16416
158.38/159.65	c #Conflicts:     138000 | #Constraints:      17416
158.38/159.65	c #Conflicts:     139000 | #Constraints:      18416
158.38/159.65	c INPROCESSING
158.38/159.65	c GARBAGE COLLECT
158.38/159.65	c #Conflicts:     140000 | #Constraints:      12029
158.38/159.65	c #Conflicts:     141000 | #Constraints:      13029
158.38/159.65	c #Conflicts:     142000 | #Constraints:      14029
158.38/159.65	c #Conflicts:     143000 | #Constraints:      15029
158.38/159.65	c #Conflicts:     144000 | #Constraints:      16029
158.38/159.65	c #Conflicts:     145000 | #Constraints:      17029
158.38/159.65	c #Conflicts:     146000 | #Constraints:      18029
158.38/159.65	c #Conflicts:     147000 | #Constraints:      19029
158.38/159.65	c INPROCESSING
158.38/159.65	c GARBAGE COLLECT
158.38/159.65	c #Conflicts:     148000 | #Constraints:      12469
158.38/159.65	c #Conflicts:     149000 | #Constraints:      13469
158.38/159.65	c #Conflicts:     150000 | #Constraints:      14469
158.38/159.65	c #Conflicts:     151000 | #Constraints:      15469
158.38/159.65	c #Conflicts:     152000 | #Constraints:      16469
158.38/159.65	c #Conflicts:     153000 | #Constraints:      17469
158.38/159.65	c #Conflicts:     154000 | #Constraints:      18469
158.38/159.65	c #Conflicts:     155000 | #Constraints:      19469
158.38/159.65	c INPROCESSING
158.38/159.65	c GARBAGE COLLECT
158.38/159.65	c #Conflicts:     156000 | #Constraints:      12675
158.38/159.65	c #Conflicts:     157000 | #Constraints:      13675
158.38/159.65	c #Conflicts:     158000 | #Constraints:      14675
158.38/159.65	c #Conflicts:     159000 | #Constraints:      15675
158.38/159.65	c #Conflicts:     160000 | #Constraints:      16675
158.38/159.65	c #Conflicts:     161000 | #Constraints:      17675
158.38/159.65	c #Conflicts:     162000 | #Constraints:      18675
158.38/159.65	c #Conflicts:     163000 | #Constraints:      19675
158.38/159.65	c INPROCESSING
158.38/159.65	c GARBAGE COLLECT
158.38/159.65	c #Conflicts:     164000 | #Constraints:      12690
158.38/159.65	c #Conflicts:     165000 | #Constraints:      13690
158.38/159.65	c #Conflicts:     166000 | #Constraints:      14690
158.38/159.65	c #Conflicts:     167000 | #Constraints:      15690
158.38/159.65	c #Conflicts:     168000 | #Constraints:      16690
158.38/159.65	c #Conflicts:     169000 | #Constraints:      17690
158.38/159.65	c #Conflicts:     170000 | #Constraints:      18690
158.38/159.65	c #Conflicts:     171000 | #Constraints:      19690
158.38/159.65	c #Conflicts:     172000 | #Constraints:      20690
158.38/159.65	c #Conflicts:     173000 | #Constraints:      21690
158.38/159.65	c #Conflicts:     174000 | #Constraints:      22690
158.38/159.65	c #Conflicts:     175000 | #Constraints:      23690
158.38/159.65	c #Conflicts:     176000 | #Constraints:      24690
158.38/159.65	c #Conflicts:     177000 | #Constraints:      25690
158.38/159.65	c #Conflicts:     178000 | #Constraints:      26690
158.38/159.65	c #Conflicts:     179000 | #Constraints:      27690
158.38/159.65	c #Conflicts:     180000 | #Constraints:      28691
158.38/159.65	c #Conflicts:     181000 | #Constraints:      29691
158.38/159.65	c #Conflicts:     182000 | #Constraints:      30691
158.38/159.65	c #Conflicts:     183000 | #Constraints:      31691
158.38/159.65	c #Conflicts:     184000 | #Constraints:      32691
158.38/159.65	c #Conflicts:     185000 | #Constraints:      33691
158.38/159.65	c #Conflicts:     186000 | #Constraints:      34691
158.38/159.65	c #Conflicts:     187000 | #Constraints:      35691
158.38/159.65	c #Conflicts:     188000 | #Constraints:      36691
158.38/159.65	c #Conflicts:     189000 | #Constraints:      37691
158.38/159.65	c #Conflicts:     190000 | #Constraints:      38691
158.38/159.65	c #Conflicts:     191000 | #Constraints:      39691
158.38/159.65	c #Conflicts:     192000 | #Constraints:      40691
158.38/159.65	c #Conflicts:     193000 | #Constraints:      41691
158.38/159.65	c #Conflicts:     194000 | #Constraints:      42691
158.38/159.65	c #Conflicts:     195000 | #Constraints:      43691
158.38/159.65	c #Conflicts:     196000 | #Constraints:      44691
158.38/159.65	c #Conflicts:     197000 | #Constraints:      45691
158.38/159.65	c #Conflicts:     198000 | #Constraints:      46691
158.38/159.65	c #Conflicts:     199000 | #Constraints:      47691
158.38/159.65	c #Conflicts:     200000 | #Constraints:      48691
158.38/159.65	c #Conflicts:     201000 | #Constraints:      49691
158.38/159.65	c INPROCESSING
158.38/159.65	c GARBAGE COLLECT
158.38/159.65	c #Conflicts:     202000 | #Constraints:      27659
158.38/159.65	c #Conflicts:     203000 | #Constraints:      28659
158.38/159.65	c #Conflicts:     204000 | #Constraints:      29659
158.38/159.65	c #Conflicts:     205000 | #Constraints:      30659
158.38/159.65	c #Conflicts:     206000 | #Constraints:      31659
158.38/159.65	c #Conflicts:     207000 | #Constraints:      32659
199.95/201.30	c #Conflicts:     208000 | #Constraints:      33659
199.95/201.30	c #Conflicts:     209000 | #Constraints:      34659
199.95/201.30	c #Conflicts:     210000 | #Constraints:      35659
199.95/201.30	c INPROCESSING
199.95/201.30	c GARBAGE COLLECT
199.95/201.30	c #Conflicts:     211000 | #Constraints:      20427
199.95/201.30	c #Conflicts:     212000 | #Constraints:      21427
199.95/201.30	c #Conflicts:     213000 | #Constraints:      22427
199.95/201.30	c #Conflicts:     214000 | #Constraints:      23427
199.95/201.30	c #Conflicts:     215000 | #Constraints:      24427
199.95/201.30	c #Conflicts:     216000 | #Constraints:      25427
199.95/201.30	c #Conflicts:     217000 | #Constraints:      26427
199.95/201.30	c #Conflicts:     218000 | #Constraints:      27427
199.95/201.30	c #Conflicts:     219000 | #Constraints:      28427
199.95/201.30	c #Conflicts:     220000 | #Constraints:      29427
199.95/201.30	c INPROCESSING
199.95/201.30	c GARBAGE COLLECT
199.95/201.30	c #Conflicts:     221000 | #Constraints:      17449
199.95/201.30	c #Conflicts:     222000 | #Constraints:      18449
199.95/201.30	c #Conflicts:     223000 | #Constraints:      19449
199.95/201.30	c #Conflicts:     224000 | #Constraints:      20449
199.95/201.30	c #Conflicts:     225000 | #Constraints:      21449
199.95/201.30	c #Conflicts:     226000 | #Constraints:      22449
199.95/201.30	c #Conflicts:     227000 | #Constraints:      23449
199.95/201.30	c #Conflicts:     228000 | #Constraints:      24449
199.95/201.30	c #Conflicts:     229000 | #Constraints:      25449
199.95/201.30	c #Conflicts:     230000 | #Constraints:      26449
199.95/201.30	c INPROCESSING
199.95/201.30	c GARBAGE COLLECT
199.95/201.30	c #Conflicts:     231000 | #Constraints:      15963
199.95/201.30	c #Conflicts:     232000 | #Constraints:      16963
199.95/201.30	c #Conflicts:     233000 | #Constraints:      17963
199.95/201.30	c #Conflicts:     234000 | #Constraints:      18963
199.95/201.30	c #Conflicts:     235000 | #Constraints:      19963
199.95/201.30	c #Conflicts:     236000 | #Constraints:      20963
199.95/201.30	c #Conflicts:     237000 | #Constraints:      21963
199.95/201.30	c #Conflicts:     238000 | #Constraints:      22963
199.95/201.30	c #Conflicts:     239000 | #Constraints:      23963
199.95/201.30	c #Conflicts:     240000 | #Constraints:      24963
199.95/201.30	c INPROCESSING
199.95/201.30	c GARBAGE COLLECT
199.95/201.30	c rational objective 70
252.00/256.66	c #Conflicts:     241000 | #Constraints:      15187
252.00/256.66	c #Conflicts:     242000 | #Constraints:      16187
252.00/256.66	c #Conflicts:     243000 | #Constraints:      17187
252.00/256.66	c #Conflicts:     244000 | #Constraints:      18187
252.00/256.66	c #Conflicts:     245000 | #Constraints:      19187
252.00/256.66	c #Conflicts:     246000 | #Constraints:      20187
252.00/256.66	c #Conflicts:     247000 | #Constraints:      21187
252.00/256.66	c #Conflicts:     248000 | #Constraints:      22187
252.00/256.66	c #Conflicts:     249000 | #Constraints:      23187
252.00/256.66	c #Conflicts:     250000 | #Constraints:      24187
252.00/256.66	c INPROCESSING
252.00/256.66	c GARBAGE COLLECT
252.00/256.66	c #Conflicts:     251000 | #Constraints:      14647
252.00/256.66	c #Conflicts:     252000 | #Constraints:      15647
252.00/256.66	c #Conflicts:     253000 | #Constraints:      16647
252.00/256.66	c #Conflicts:     254000 | #Constraints:      17647
252.00/256.66	c #Conflicts:     255000 | #Constraints:      18647
252.00/256.66	c #Conflicts:     256000 | #Constraints:      19647
252.00/256.66	c #Conflicts:     257000 | #Constraints:      20647
252.00/256.66	c #Conflicts:     258000 | #Constraints:      21647
252.00/256.66	c #Conflicts:     259000 | #Constraints:      22647
252.00/256.66	c #Conflicts:     260000 | #Constraints:      23647
252.00/256.66	c #Conflicts:     261000 | #Constraints:      24647
252.00/256.66	c INPROCESSING
252.00/256.66	c GARBAGE COLLECT
252.00/256.66	c #Conflicts:     262000 | #Constraints:      15121
252.00/256.66	c #Conflicts:     263000 | #Constraints:      16121
252.00/256.66	c #Conflicts:     264000 | #Constraints:      17121
252.00/256.66	c #Conflicts:     265000 | #Constraints:      18121
252.00/256.66	c #Conflicts:     266000 | #Constraints:      19121
252.00/256.66	c #Conflicts:     267000 | #Constraints:      20121
252.00/256.66	c #Conflicts:     268000 | #Constraints:      21121
252.00/256.66	c #Conflicts:     269000 | #Constraints:      22121
252.00/256.66	c #Conflicts:     270000 | #Constraints:      23121
252.00/256.66	c #Conflicts:     271000 | #Constraints:      24121
252.00/256.66	c #Conflicts:     272000 | #Constraints:      25121
252.00/256.66	c INPROCESSING
252.00/256.66	c GARBAGE COLLECT
252.00/256.66	c #Conflicts:     273000 | #Constraints:      15521
252.00/256.66	c #Conflicts:     274000 | #Constraints:      16521
252.00/256.66	c #Conflicts:     275000 | #Constraints:      17521
252.00/256.66	c #Conflicts:     276000 | #Constraints:      18521
252.00/256.66	c #Conflicts:     277000 | #Constraints:      19521
252.00/256.66	c #Conflicts:     278000 | #Constraints:      20521
252.00/256.66	c #Conflicts:     279000 | #Constraints:      21521
252.00/256.66	c #Conflicts:     280000 | #Constraints:      22521
252.00/256.66	c #Conflicts:     281000 | #Constraints:      23521
252.00/256.66	c #Conflicts:     282000 | #Constraints:      24521
252.00/256.66	c INPROCESSING
252.00/256.66	c GARBAGE COLLECT
252.00/256.66	c #Conflicts:     283000 | #Constraints:      14770
252.00/256.66	c #Conflicts:     284000 | #Constraints:      15770
252.00/256.66	c #Conflicts:     285000 | #Constraints:      16770
252.00/256.66	c #Conflicts:     286000 | #Constraints:      17770
252.00/256.66	c #Conflicts:     287000 | #Constraints:      18770
252.00/256.66	c #Conflicts:     288000 | #Constraints:      19770
252.00/256.66	c #Conflicts:     289000 | #Constraints:      20770
252.00/256.66	c #Conflicts:     290000 | #Constraints:      21770
252.00/256.66	c #Conflicts:     291000 | #Constraints:      22770
252.00/256.66	c #Conflicts:     292000 | #Constraints:      23770
252.00/256.66	c #Conflicts:     293000 | #Constraints:      24770
252.00/256.66	c #Conflicts:     294000 | #Constraints:      25770
252.00/256.66	c INPROCESSING
252.00/256.66	c GARBAGE COLLECT
252.00/256.66	c #Conflicts:     295000 | #Constraints:      15903
252.00/256.66	c #Conflicts:     296000 | #Constraints:      16903
252.00/256.66	c #Conflicts:     297000 | #Constraints:      17903
252.00/256.66	c #Conflicts:     298000 | #Constraints:      18903
252.00/256.66	c #Conflicts:     299000 | #Constraints:      19903
252.00/256.66	c #Conflicts:     300000 | #Constraints:      20903
252.00/256.66	c #Conflicts:     301000 | #Constraints:      21903
252.00/256.66	c #Conflicts:     302000 | #Constraints:      22903
252.00/256.66	c #Conflicts:     303000 | #Constraints:      23903
252.00/256.66	c #Conflicts:     304000 | #Constraints:      24903
252.00/256.66	c #Conflicts:     305000 | #Constraints:      25903
252.00/256.66	c INPROCESSING
252.00/256.66	c GARBAGE COLLECT
252.00/256.66	c cpu time 249.139 s
252.00/256.66	c deterministic time 14992144092 1.50e+10
252.00/256.66	c optimization time 0.00024 s
252.00/256.66	c total solve time 249.115 s
252.00/256.66	c core-guided solve time 0 s
252.00/256.66	c propagation time 115.538 s
252.00/256.66	c conflict analysis time 110.673 s
252.00/256.66	c propagations 113347819
252.00/256.66	c resolve steps 12819111
252.00/256.66	c decisions 1586911
252.00/256.66	c conflicts 305499
252.00/256.66	c restarts 745
252.00/256.66	c inprocessing phases 43
252.00/256.66	c garbage collections 43 ,( 100.00 )
252.00/256.66	c input clauses 3931 ,( 98.28 )
252.00/256.66	c input cardinalities 69 ,( 1.73 )
252.00/256.66	c input general constraints 0 ,( 0.00 )
252.00/256.66	c input average constraint length 5.95
252.00/256.66	c input average constraint degree 1.91
252.00/256.66	c learned clauses 232944 ,( 76.25 )
252.00/256.66	c learned cardinalities 7280 ,( 2.38 )
252.00/256.66	c learned general constraints 65281 ,( 21.37 )
252.00/256.66	c learned average constraint length 377.75
252.00/256.66	c learned average constraint degree 2492303.42
252.00/256.66	c watched  CF 32, 64, 128, Arb: 18686 , 0 , 0 , 0
252.00/256.66	c counting CF 32, 64, 128, Arb: 46595 , 0 , 0 , 0
252.00/256.66	c watched   constraints 18686 ,( 28.62 ) 
252.00/256.66	c counting  constraints 46595 ,( 71.38 ) 
252.00/256.66	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 149560109 , 74343065 , 182662614 ,( 10248594 , 172414020 )
252.00/256.66	c gcd simplifications 151
252.00/256.66	c detected cardinalities 645
252.00/256.66	c weakened non-implied lits 44736990
252.00/256.66	c weakened non-implying lits 21199
252.00/256.66	c original variables 3822
252.00/256.66	c clausal propagations 48588600
252.00/256.66	c cardinality propagations 41820330
252.00/256.66	c watched propagations 413360
252.00/256.66	c counting propagations 21599173
252.00/256.66	c watch lookups 6380388238
252.00/256.66	c watch backjump lookups 0
252.00/256.66	c watch checks 2697392866
252.00/256.66	c propagation checks 5258424243
252.00/256.66	c constraint additions 425697713
252.00/256.66	c trail pops 115239613
252.00/256.66	c formula constraints 4000
252.00/256.66	c learned constraints 305495
252.00/256.66	c bound constraints 0
252.00/256.66	c core-guided constraints 0
252.00/256.66	c encountered formula constraints 8862098
252.00/256.66	c encountered learned constraints 4262475
252.00/256.66	c encountered bound constraints 0
252.00/256.66	c encountered core-guided constraints 0
252.00/256.66	c LP total time 17.219 s
252.00/256.66	c LP solve time 15.31 s
252.00/256.66	c LP constraints added 4045
252.00/256.66	c LP constraints removed 0
252.00/256.66	c LP pivots internal 35842
252.00/256.66	c LP pivots root 30846
252.00/256.66	c LP calls 11
252.00/256.66	c LP optimalities 3
252.00/256.66	c LP no pivot count 0
252.00/256.66	c LP infeasibilities 4
252.00/256.66	c LP valid Farkas constraints 4
252.00/256.66	c LP learned Farkas constraints 4
252.00/256.66	c LP basis resets 0
252.00/256.66	c LP cycling count 0
252.00/256.66	c LP singular count 0
252.00/256.66	c LP no primal count 0
252.00/256.66	c LP no farkas count 0
252.00/256.66	c LP other issue count 0
252.00/256.66	c LP Gomory cuts 2
252.00/256.66	c LP learned cuts 91
252.00/256.66	c LP deleted cuts 36
252.00/256.66	c LP encountered Gomory constraints 0
252.00/256.66	c LP encountered Farkas constraints 25
252.00/256.66	c LP encountered learned Farkas constraints 8
252.00/256.66	c CG auxiliary variables introduced 0
252.00/256.66	c CG solutions found 0
252.00/256.66	c CG cores constructed 0
252.00/256.66	c CG core cardinality constraints returned 0
252.00/256.66	c CG unit cores 0
252.00/256.66	c CG single cores 0
252.00/256.66	c CG blocks removed during cardinality reduction 0
252.00/256.66	c CG first core best 0
252.00/256.66	c CG decision core best 0
252.00/256.66	c CG core reduction tie 0
252.00/256.66	c CG core degree average 0.00
252.00/256.66	c CG core slack average 0.00
252.00/256.66	c CG core upper bound improvements 0
252.00/256.66	c STR number of successful calls 0
252.00/256.66	c STR number of unsuccessful calls 0
252.00/256.66	c STR number of inconclusive calls 0
252.00/256.66	c STR number of successful attempts 0
252.00/256.66	c STR number of unsuccessful attempts 0
252.00/256.66	c STR number of inconclusive attempts 0
252.00/256.66	c STR average degree increase per successful call inf
252.00/256.66	c STR average degree increase per successful attempt inf
252.00/256.66	c STR total number of conflicts for successful attempts 0
252.00/256.66	c STR total number of conflicts for unsuccessful attempts 0
252.00/256.66	c STR total number of conflicts for inconclusive attempts 0
252.00/256.66	c STR average number of conflicts per successful attempt inf
252.00/256.66	c STR average number of conflicts per unsuccessful attempt inf
252.00/256.66	c STR average number of conflicts per inconclusive attempt inf
252.00/256.66	c AVG.sumWPerc 62.43 
252.00/256.66	c bigint constraints 0 
252.00/256.66	s SATISFIABLE
252.00/256.66	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

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62836 MiB free)
  memory of node 1: 64507 MiB (64037 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100061 s]*
/proc/loadavg: 4.08 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129911724/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=58652 memory=15216 CPUtime=0.02 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 1251 0 0 0 2 0 0 0 20 0 1 0 33455442 60059648 3804 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 14663 3804 2272 1147 0 2090 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 62844 KiB
Current children cumulated memory: 18160 KiB

[startup+0.205594 s]*
/proc/loadavg: 4.08 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129907944/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=66648 memory=22560 CPUtime=0.12 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 3583 0 0 0 11 1 0 0 20 0 1 0 33455442 68247552 5640 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 16662 5640 2336 1147 0 4089 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 70840 KiB
Current children cumulated memory: 25504 KiB

[startup+0.305489 s]*
/proc/loadavg: 4.08 4.12 4.10 6/271 23433
/proc/meminfo: memFree=129907944/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=66648 memory=22560 CPUtime=0.21 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 3583 0 0 0 20 1 0 0 20 0 1 0 33455442 68247552 5640 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 16662 5640 2336 1147 0 4089 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 70840 KiB
Current children cumulated memory: 25504 KiB

[startup+0.700147 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129899784/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=66864 memory=23072 CPUtime=0.6 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 3719 0 0 0 59 1 0 0 20 0 1 0 33455442 68468736 5768 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 16716 5768 2336 1147 0 4143 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 71056 KiB
Current children cumulated memory: 26016 KiB

[startup+1.50016 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129891720/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=69616 memory=25632 CPUtime=1.4 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 4340 0 0 0 136 4 0 0 20 0 1 0 33455442 71286784 6408 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 17404 6408 2368 1147 0 4831 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 28576 KiB

[startup+3.10533 s]
/proc/loadavg: 4.07 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129855020/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=72276 memory=30368 CPUtime=3 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 5028 0 0 0 292 8 0 0 20 0 1 0 33455442 74010624 7592 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 18069 7592 2368 1147 0 5496 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 76468 KiB
Current children cumulated memory: 33312 KiB

[startup+6.30014 s]
/proc/loadavg: 4.07 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129797200/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=77848 memory=33952 CPUtime=6.19 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 5921 0 0 0 606 13 0 0 20 0 1 0 33455442 79716352 8488 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 19462 8488 2368 1147 0 6889 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 82040 KiB
Current children cumulated memory: 36896 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.12 4.10 5/272 23434
/proc/meminfo: memFree=129723636/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=80480 memory=37152 CPUtime=12.57 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 6672 0 0 0 1232 25 0 0 20 0 1 0 33455442 82411520 9288 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 20120 9288 2400 1147 0 7547 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 84672 KiB
Current children cumulated memory: 40096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.11 4.09 5/272 23435
/proc/meminfo: memFree=129514336/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=88536 memory=44984 CPUtime=25.34 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 8133 0 0 0 2487 47 0 0 20 0 1 0 33455442 90660864 11246 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 22134 11246 2400 1147 0 9561 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 92728 KiB
Current children cumulated memory: 47928 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.12 4.10 5/273 23436
/proc/meminfo: memFree=129104964/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=102260 memory=57948 CPUtime=50.76 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 10348 0 0 0 4989 87 0 0 20 0 1 0 33455442 104714240 14487 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 25565 14487 2400 1147 0 12992 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 106452 KiB
Current children cumulated memory: 60892 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 23440
/proc/meminfo: memFree=128432016/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=126568 memory=73872 CPUtime=101.73 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 13833 0 0 0 10017 156 0 0 20 0 1 0 33455442 129605632 18468 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 31642 18468 2400 1147 0 19069 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 130760 KiB
Current children cumulated memory: 76816 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/271 23442
/proc/meminfo: memFree=127722644/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=258760 memory=170584 CPUtime=161.06 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22710 0 0 0 15906 200 0 0 20 0 1 0 33455442 264970240 42646 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64690 42646 2400 1147 0 52117 0
Current children cumulated CPU time: 161.07 s
Current children cumulated vsize: 262952 KiB
Current children cumulated memory: 173528 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 4/265 23471
/proc/meminfo: memFree=127113088/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171224 CPUtime=217.93 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22850 0 0 0 21535 258 0 0 20 0 1 0 33455442 265584640 42806 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42806 2400 1147 0 52267 0
Current children cumulated CPU time: 217.94 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174168 KiB

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

# cumulated CPU time of all completed processes:  user=249.155 s, system=2.94011 s

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

[startup+230.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/271 23492
/proc/meminfo: memFree=127728224/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171224 CPUtime=226.01 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22850 0 0 0 22336 265 0 0 20 0 1 0 33455442 265584640 42806 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42806 2400 1147 0 52267 0
Current children cumulated CPU time: 226.02 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174168 KiB

[startup+243.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 23492
/proc/meminfo: memFree=127571448/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171608 CPUtime=238.78 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22855 0 0 0 23599 279 0 0 20 0 1 0 33455442 265584640 42902 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42902 2400 1147 0 52267 0
Current children cumulated CPU time: 238.79 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174552 KiB

[startup+249.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 23492
/proc/meminfo: memFree=127488000/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171736 CPUtime=245.16 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22863 0 0 0 24231 285 0 0 20 0 1 0 33455442 265584640 42934 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42934 2400 1147 0 52267 0
Current children cumulated CPU time: 245.17 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174680 KiB

[startup+252.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 23492
/proc/meminfo: memFree=127464576/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171736 CPUtime=248.35 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22863 0 0 0 24547 288 0 0 20 0 1 0 33455442 265584640 42934 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42934 2400 1147 0 52267 0
Current children cumulated CPU time: 248.36 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174680 KiB

[startup+254.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 23492
/proc/meminfo: memFree=127441012/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171736 CPUtime=249.83 cores=5,7
/proc/23433/stat : 23433 (roundingsat) D 23430 23430 22578 0 -1 4194304 22870 0 0 0 24693 290 0 0 20 0 1 0 33455442 265584640 42934 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42934 2400 1147 0 52267 0
Current children cumulated CPU time: 249.84 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174680 KiB

[startup+256 s]*
/proc/loadavg: 4.10 4.10 4.09 5/271 23492
/proc/meminfo: memFree=127426172/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171736 CPUtime=251.4 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22870 0 0 0 24848 292 0 0 20 0 1 0 33455442 265584640 42934 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42934 2400 1147 0 52267 0
Current children cumulated CPU time: 251.41 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174680 KiB

[startup+256.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 23492
/proc/meminfo: memFree=127426172/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171736 CPUtime=251.79 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22870 0 0 0 24887 292 0 0 20 0 1 0 33455442 265584640 42934 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42934 2400 1147 0 52267 0
Current children cumulated CPU time: 251.8 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174680 KiB

[startup+256.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 23492
/proc/meminfo: memFree=127426172/131250000 swapFree=33010684/33010684
[pid=23430] ppid=23427 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/23430/stat : 23430 (run-dec-break-l) S 23427 23430 22578 0 -1 4194304 240 2672 0 0 0 0 1 0 20 0 1 0 33455435 4292608 736 18446744073709551615 94919654338560 94919655233093 140720550458656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94919655472144 94919655519888 94919664664576 140720550463765 140720550463966 140720550463966 140720550469568 0
/proc/23430/statm: 1048 736 672 219 0 110 0
[pid=23433] ppid=23430 vsize=259360 memory=171736 CPUtime=251.99 cores=5,7
/proc/23433/stat : 23433 (roundingsat) R 23430 23430 22578 0 -1 4194304 22870 0 0 0 24907 292 0 0 20 0 1 0 33455442 265584640 42934 18446744073709551615 4227072 8923433 140733636999360 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18468864 140733637003508 140733637003816 140733637003816 140733637009386 0
/proc/23433/statm: 64840 42934 2400 1147 0 52267 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 263552 KiB
Current children cumulated memory: 174680 KiB

Child status: 0

Real time (s): 256.684
CPU time (s): 252.095
CPU user time (s): 249.155
CPU system time (s): 2.94011
CPU usage (%): 98.2122
Max. virtual memory (cumulated for all children) (KiB): 263552
Max. memory (cumulated for all children) (KiB): 174680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.155
system time used= 2.94011
maximum resident set size= 171736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1403920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 377
involuntary context switches= 354


# summary of solver processes directly reported to runsolver:
#   pid: 23430
#   total CPU time (s): 252.095
#   total CPU user time (s): 249.155
#   total CPU system time (s): 2.94011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.532256 second user time and 1.13684 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-29 08:15:52
IDJOB=4507701
IDBENCH=158377
IDSOLVER=3358
FILE ID=nodeC013/4507701-1751177752
RUNJOBID= nodeC013-1751170426-22591
SLURM_JOB_ID= 9587527
Free space on /tmp= 433032 MiB

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

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

MD5SUM BENCH= 7a41f646f8fb7a1c0e5845075c21504b
RANDOM SEED=909302959

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129919044 kB
MemAvailable:   129658524 kB
Buffers:            3280 kB
Cached:           545000 kB
SwapCached:            0 kB
Active:           409520 kB
Inactive:         336108 kB
Active(anon):     210700 kB
Inactive(anon):        0 kB
Active(file):     198820 kB
Inactive(file):   336108 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            164388 kB
Writeback:            12 kB
AnonPages:        200628 kB
Mapped:           111720 kB
Shmem:             13284 kB
KReclaimable:      87180 kB
Slab:             177180 kB
SReclaimable:      87180 kB
SUnreclaim:        90000 kB
KernelStack:        4320 kB
PageTables:         3600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     529460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

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