Trace number 4543286

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 63f22adUNSAT 588.926 590.819

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
MD5SUM0942a69f21bd48da4c21a008e6f37b2a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.980711
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables980
Total number of constraints981
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint980
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 245
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 1225
Number of bits of the biggest sum of numbers11
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-4543286-1753219140.opb'
0.00/0.01	c 	read 0.05MB  (0.77ms)
0.00/0.01	c	 [cnf: #variables 980 #clauses 981 #duplicates 0 #arr 4900]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.01	c	 [group: #orbits ~= 2] (0.72ms)
0.00/0.01	c 
0.00/0.01	c detect special group actions
0.00/0.01	c 	probe for Johnson action (limit=64)
0.00/0.01	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	 (0.47ms)
0.00/0.01	c 
0.00/0.01	c detect symmetries on remainder
0.00/0.01	c 	[graph: #vertices 4901 #edges 15680]
0.00/0.01	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01	c 	 [group: #symmetries 9.80*10^2 #generators 3] (2.45ms)
0.00/0.01	c 
0.00/0.01	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01	c 	(0.01ms)
0.00/0.01	c 
0.00/0.01	c finalize break order and special generators
0.00/0.01	c 
0.00/0.01	c add generic predicates (break_depth=10)
0.00/0.01	c 	added predicates for 3 generators (0.09ms)
0.00/0.01	c 
0.00/0.01	c generation finished
0.00/0.01	c 	[sbp: #constraints 84 #add_vars 27]
0.00/0.01	c 
0.00/0.01	c write result to 'HOME/instance-4543286-1753219140.opb.pre'
0.00/0.01	c 	wrote 0.05MB (0.17ms)
0.00/0.01	c ------------------------------------------------------------------
0.00/0.01	c                   2.45ms 50.19% detect_generic
0.00/0.01	c                   0.77ms 15.70% parse
0.00/0.01	c                   0.72ms 14.68% approx_orbits
0.00/0.01	c                   0.47ms  9.63% detect_special
0.00/0.01	c                   0.17ms  3.42% output
0.00/0.01	c                   0.16ms  3.22% other
0.00/0.01	c                   0.09ms  1.92% break_generic
0.00/0.01	c                   0.06ms  1.14% finalize_order
0.00/0.01	c                   0.01ms  0.11% optimize_gens
0.00/0.01	c         ───────────────────────────────────────────────
0.00/0.01	c                   4.88ms   100% total
0.00/0.01	c ------------------------------------------------------------------
0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.02	c #variables 1007 #constraints 1065
2.95/3.02	c #Conflicts:       1000 | #Constraints:       2064
2.95/3.02	c #Conflicts:       2000 | #Constraints:       3064
2.95/3.02	c INPROCESSING
2.95/3.02	c GARBAGE COLLECT
2.95/3.02	c #Conflicts:       3000 | #Constraints:       3112
2.95/3.02	c #Conflicts:       4000 | #Constraints:       4112
2.95/3.02	c INPROCESSING
2.95/3.02	c GARBAGE COLLECT
2.95/3.02	c #Conflicts:       5000 | #Constraints:       3547
2.95/3.02	c #Conflicts:       6000 | #Constraints:       4547
2.95/3.02	c INPROCESSING
2.95/3.02	c GARBAGE COLLECT
2.95/3.02	c #Conflicts:       7000 | #Constraints:       3556
2.95/3.02	c #Conflicts:       8000 | #Constraints:       4556
2.95/3.02	c #Conflicts:       9000 | #Constraints:       5556
2.95/3.02	c INPROCESSING
2.95/3.02	c GARBAGE COLLECT
2.95/3.02	c #Conflicts:      10000 | #Constraints:       4261
2.95/3.02	c #Conflicts:      11000 | #Constraints:       5261
2.95/3.02	c #Conflicts:      12000 | #Constraints:       6261
2.95/3.02	c INPROCESSING
2.95/3.02	c GARBAGE COLLECT
2.95/3.02	c rational objective 248
25.59/25.74	c #Conflicts:      13000 | #Constraints:       4715
25.59/25.74	c #Conflicts:      14000 | #Constraints:       5715
25.59/25.74	c #Conflicts:      15000 | #Constraints:       6715
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      16000 | #Constraints:       4927
25.59/25.74	c #Conflicts:      17000 | #Constraints:       5927
25.59/25.74	c #Conflicts:      18000 | #Constraints:       6927
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      19000 | #Constraints:       4909
25.59/25.74	c #Conflicts:      20000 | #Constraints:       5909
25.59/25.74	c #Conflicts:      21000 | #Constraints:       6917
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      22000 | #Constraints:       4728
25.59/25.74	c #Conflicts:      23000 | #Constraints:       5733
25.59/25.74	c #Conflicts:      24000 | #Constraints:       6734
25.59/25.74	c #Conflicts:      25000 | #Constraints:       7735
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      26000 | #Constraints:       5342
25.59/25.74	c #Conflicts:      27000 | #Constraints:       6343
25.59/25.74	c #Conflicts:      28000 | #Constraints:       7345
25.59/25.74	c #Conflicts:      29000 | #Constraints:       8346
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      30000 | #Constraints:       5740
25.59/25.74	c #Conflicts:      31000 | #Constraints:       6741
25.59/25.74	c #Conflicts:      32000 | #Constraints:       7742
25.59/25.74	c #Conflicts:      33000 | #Constraints:       8742
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      34000 | #Constraints:       5932
25.59/25.74	c #Conflicts:      35000 | #Constraints:       6933
25.59/25.74	c #Conflicts:      36000 | #Constraints:       7934
25.59/25.74	c #Conflicts:      37000 | #Constraints:       8935
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      38000 | #Constraints:       5938
25.59/25.74	c #Conflicts:      39000 | #Constraints:       6938
25.59/25.74	c #Conflicts:      40000 | #Constraints:       7938
25.59/25.74	c #Conflicts:      41000 | #Constraints:       8938
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      42000 | #Constraints:       5746
25.59/25.74	c #Conflicts:      43000 | #Constraints:       6746
25.59/25.74	c #Conflicts:      44000 | #Constraints:       7746
25.59/25.74	c #Conflicts:      45000 | #Constraints:       8747
25.59/25.74	c #Conflicts:      46000 | #Constraints:       9747
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      47000 | #Constraints:       6322
25.59/25.74	c #Conflicts:      48000 | #Constraints:       7322
25.59/25.74	c #Conflicts:      49000 | #Constraints:       8323
25.59/25.74	c #Conflicts:      50000 | #Constraints:       9324
25.59/25.74	c #Conflicts:      51000 | #Constraints:      10324
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      52000 | #Constraints:       6708
25.59/25.74	c #Conflicts:      53000 | #Constraints:       7709
25.59/25.74	c #Conflicts:      54000 | #Constraints:       8710
25.59/25.74	c #Conflicts:      55000 | #Constraints:       9710
25.59/25.74	c #Conflicts:      56000 | #Constraints:      10711
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      57000 | #Constraints:       6912
25.59/25.74	c #Conflicts:      58000 | #Constraints:       7913
25.59/25.74	c #Conflicts:      59000 | #Constraints:       8913
25.59/25.74	c #Conflicts:      60000 | #Constraints:       9914
25.59/25.74	c #Conflicts:      61000 | #Constraints:      10915
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      62000 | #Constraints:       6918
25.59/25.74	c #Conflicts:      63000 | #Constraints:       7920
25.59/25.74	c #Conflicts:      64000 | #Constraints:       8921
25.59/25.74	c #Conflicts:      65000 | #Constraints:       9921
25.59/25.74	c #Conflicts:      66000 | #Constraints:      10921
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      67000 | #Constraints:       6713
25.59/25.74	c #Conflicts:      68000 | #Constraints:       7714
25.59/25.74	c #Conflicts:      69000 | #Constraints:       8715
25.59/25.74	c #Conflicts:      70000 | #Constraints:       9717
25.59/25.74	c #Conflicts:      71000 | #Constraints:      10718
25.59/25.74	c #Conflicts:      72000 | #Constraints:      11719
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      73000 | #Constraints:       7311
25.59/25.74	c #Conflicts:      74000 | #Constraints:       8312
25.59/25.74	c #Conflicts:      75000 | #Constraints:       9312
25.59/25.74	c #Conflicts:      76000 | #Constraints:      10313
25.59/25.74	c #Conflicts:      77000 | #Constraints:      11314
25.59/25.74	c #Conflicts:      78000 | #Constraints:      12315
25.59/25.74	c INPROCESSING
25.59/25.74	c GARBAGE COLLECT
25.59/25.74	c #Conflicts:      79000 | #Constraints:       7720
25.59/25.74	c #Conflicts:      80000 | #Constraints:       8749
25.59/25.74	c #Conflicts:      81000 | #Constraints:       9749
25.59/25.74	c #Conflicts:      82000 | #Constraints:      10749
52.03/52.29	c #Conflicts:      83000 | #Constraints:      11749
52.03/52.29	c #Conflicts:      84000 | #Constraints:      12750
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:      85000 | #Constraints:       7932
52.03/52.29	c #Conflicts:      86000 | #Constraints:       8933
52.03/52.29	c #Conflicts:      87000 | #Constraints:       9934
52.03/52.29	c #Conflicts:      88000 | #Constraints:      10935
52.03/52.29	c #Conflicts:      89000 | #Constraints:      11935
52.03/52.29	c #Conflicts:      90000 | #Constraints:      12936
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:      91000 | #Constraints:       7920
52.03/52.29	c #Conflicts:      92000 | #Constraints:       8920
52.03/52.29	c #Conflicts:      93000 | #Constraints:       9921
52.03/52.29	c #Conflicts:      94000 | #Constraints:      10922
52.03/52.29	c #Conflicts:      95000 | #Constraints:      11922
52.03/52.29	c #Conflicts:      96000 | #Constraints:      12923
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:      97000 | #Constraints:       7723
52.03/52.29	c #Conflicts:      98000 | #Constraints:       8723
52.03/52.29	c #Conflicts:      99000 | #Constraints:       9723
52.03/52.29	c #Conflicts:     100000 | #Constraints:      10724
52.03/52.29	c #Conflicts:     101000 | #Constraints:      11724
52.03/52.29	c #Conflicts:     102000 | #Constraints:      12724
52.03/52.29	c #Conflicts:     103000 | #Constraints:      13725
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:     104000 | #Constraints:       8322
52.03/52.29	c #Conflicts:     105000 | #Constraints:       9323
52.03/52.29	c #Conflicts:     106000 | #Constraints:      10323
52.03/52.29	c #Conflicts:     107000 | #Constraints:      11323
52.03/52.29	c #Conflicts:     108000 | #Constraints:      12323
52.03/52.29	c #Conflicts:     109000 | #Constraints:      13323
52.03/52.29	c #Conflicts:     110000 | #Constraints:      14323
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:     111000 | #Constraints:       8724
52.03/52.29	c #Conflicts:     112000 | #Constraints:       9725
52.03/52.29	c #Conflicts:     113000 | #Constraints:      10726
52.03/52.29	c #Conflicts:     114000 | #Constraints:      11726
52.03/52.29	c #Conflicts:     115000 | #Constraints:      12726
52.03/52.29	c #Conflicts:     116000 | #Constraints:      13727
52.03/52.29	c #Conflicts:     117000 | #Constraints:      14727
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:     118000 | #Constraints:       8918
52.03/52.29	c #Conflicts:     119000 | #Constraints:       9918
52.03/52.29	c #Conflicts:     120000 | #Constraints:      10918
52.03/52.29	c #Conflicts:     121000 | #Constraints:      11919
52.03/52.29	c #Conflicts:     122000 | #Constraints:      12919
52.03/52.29	c #Conflicts:     123000 | #Constraints:      13920
52.03/52.29	c #Conflicts:     124000 | #Constraints:      14920
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:     125000 | #Constraints:       8911
52.03/52.29	c #Conflicts:     126000 | #Constraints:       9912
52.03/52.29	c #Conflicts:     127000 | #Constraints:      10912
52.03/52.29	c #Conflicts:     128000 | #Constraints:      11913
52.03/52.29	c #Conflicts:     129000 | #Constraints:      12913
52.03/52.29	c #Conflicts:     130000 | #Constraints:      13913
52.03/52.29	c #Conflicts:     131000 | #Constraints:      14914
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:     132000 | #Constraints:       8709
52.03/52.29	c #Conflicts:     133000 | #Constraints:       9709
52.03/52.29	c #Conflicts:     134000 | #Constraints:      10835
52.03/52.29	c #Conflicts:     135000 | #Constraints:      11841
52.03/52.29	c #Conflicts:     136000 | #Constraints:      12841
52.03/52.29	c #Conflicts:     137000 | #Constraints:      13843
52.03/52.29	c #Conflicts:     138000 | #Constraints:      14844
52.03/52.29	c #Conflicts:     139000 | #Constraints:      15847
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:     140000 | #Constraints:       9368
52.03/52.29	c #Conflicts:     141000 | #Constraints:      10369
52.03/52.29	c #Conflicts:     142000 | #Constraints:      11369
52.03/52.29	c #Conflicts:     143000 | #Constraints:      12369
52.03/52.29	c #Conflicts:     144000 | #Constraints:      13370
52.03/52.29	c #Conflicts:     145000 | #Constraints:      14370
52.03/52.29	c #Conflicts:     146000 | #Constraints:      15370
52.03/52.29	c #Conflicts:     147000 | #Constraints:      16370
52.03/52.29	c INPROCESSING
52.03/52.29	c GARBAGE COLLECT
52.03/52.29	c #Conflicts:     148000 | #Constraints:       9744
52.03/52.29	c #Conflicts:     149000 | #Constraints:      10744
52.03/52.29	c #Conflicts:     150000 | #Constraints:      11744
52.03/52.29	c #Conflicts:     151000 | #Constraints:      12745
52.03/52.29	c #Conflicts:     152000 | #Constraints:      13745
52.03/52.29	c #Conflicts:     153000 | #Constraints:      14745
52.03/52.29	c #Conflicts:     154000 | #Constraints:      15745
78.47/78.78	c #Conflicts:     155000 | #Constraints:      16746
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     156000 | #Constraints:       9927
78.47/78.78	c #Conflicts:     157000 | #Constraints:      10927
78.47/78.78	c #Conflicts:     158000 | #Constraints:      11927
78.47/78.78	c #Conflicts:     159000 | #Constraints:      12927
78.47/78.78	c #Conflicts:     160000 | #Constraints:      13927
78.47/78.78	c #Conflicts:     161000 | #Constraints:      14927
78.47/78.78	c #Conflicts:     162000 | #Constraints:      15927
78.47/78.78	c #Conflicts:     163000 | #Constraints:      16927
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     164000 | #Constraints:       9922
78.47/78.78	c #Conflicts:     165000 | #Constraints:      10922
78.47/78.78	c #Conflicts:     166000 | #Constraints:      11923
78.47/78.78	c #Conflicts:     167000 | #Constraints:      12923
78.47/78.78	c #Conflicts:     168000 | #Constraints:      13924
78.47/78.78	c #Conflicts:     169000 | #Constraints:      14924
78.47/78.78	c #Conflicts:     170000 | #Constraints:      15924
78.47/78.78	c #Conflicts:     171000 | #Constraints:      16924
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     172000 | #Constraints:       9723
78.47/78.78	c #Conflicts:     173000 | #Constraints:      10724
78.47/78.78	c #Conflicts:     174000 | #Constraints:      11724
78.47/78.78	c #Conflicts:     175000 | #Constraints:      12725
78.47/78.78	c #Conflicts:     176000 | #Constraints:      13726
78.47/78.78	c #Conflicts:     177000 | #Constraints:      14726
78.47/78.78	c #Conflicts:     178000 | #Constraints:      15727
78.47/78.78	c #Conflicts:     179000 | #Constraints:      16728
78.47/78.78	c #Conflicts:     180000 | #Constraints:      17728
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     181000 | #Constraints:      10324
78.47/78.78	c #Conflicts:     182000 | #Constraints:      11325
78.47/78.78	c #Conflicts:     183000 | #Constraints:      12325
78.47/78.78	c #Conflicts:     184000 | #Constraints:      13327
78.47/78.78	c #Conflicts:     185000 | #Constraints:      14328
78.47/78.78	c #Conflicts:     186000 | #Constraints:      15328
78.47/78.78	c #Conflicts:     187000 | #Constraints:      16328
78.47/78.78	c #Conflicts:     188000 | #Constraints:      17329
78.47/78.78	c #Conflicts:     189000 | #Constraints:      18329
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     190000 | #Constraints:      10718
78.47/78.78	c #Conflicts:     191000 | #Constraints:      11718
78.47/78.78	c #Conflicts:     192000 | #Constraints:      12718
78.47/78.78	c #Conflicts:     193000 | #Constraints:      13719
78.47/78.78	c #Conflicts:     194000 | #Constraints:      14719
78.47/78.78	c #Conflicts:     195000 | #Constraints:      15720
78.47/78.78	c #Conflicts:     196000 | #Constraints:      16721
78.47/78.78	c #Conflicts:     197000 | #Constraints:      17722
78.47/78.78	c #Conflicts:     198000 | #Constraints:      18722
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     199000 | #Constraints:      10907
78.47/78.78	c #Conflicts:     200000 | #Constraints:      11908
78.47/78.78	c #Conflicts:     201000 | #Constraints:      12909
78.47/78.78	c #Conflicts:     202000 | #Constraints:      13910
78.47/78.78	c #Conflicts:     203000 | #Constraints:      14911
78.47/78.78	c #Conflicts:     204000 | #Constraints:      15912
78.47/78.78	c #Conflicts:     205000 | #Constraints:      16912
78.47/78.78	c #Conflicts:     206000 | #Constraints:      17913
78.47/78.78	c #Conflicts:     207000 | #Constraints:      18914
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     208000 | #Constraints:      10919
78.47/78.78	c #Conflicts:     209000 | #Constraints:      11919
78.47/78.78	c #Conflicts:     210000 | #Constraints:      12920
78.47/78.78	c #Conflicts:     211000 | #Constraints:      13920
78.47/78.78	c #Conflicts:     212000 | #Constraints:      14922
78.47/78.78	c #Conflicts:     213000 | #Constraints:      15924
78.47/78.78	c #Conflicts:     214000 | #Constraints:      16926
78.47/78.78	c #Conflicts:     215000 | #Constraints:      17926
78.47/78.78	c #Conflicts:     216000 | #Constraints:      18926
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     217000 | #Constraints:      10727
78.47/78.78	c #Conflicts:     218000 | #Constraints:      11728
78.47/78.78	c #Conflicts:     219000 | #Constraints:      12729
78.47/78.78	c #Conflicts:     220000 | #Constraints:      13730
78.47/78.78	c #Conflicts:     221000 | #Constraints:      14730
78.47/78.78	c #Conflicts:     222000 | #Constraints:      15731
78.47/78.78	c #Conflicts:     223000 | #Constraints:      16731
78.47/78.78	c #Conflicts:     224000 | #Constraints:      17731
78.47/78.78	c #Conflicts:     225000 | #Constraints:      18731
78.47/78.78	c #Conflicts:     226000 | #Constraints:      19732
78.47/78.78	c INPROCESSING
78.47/78.78	c GARBAGE COLLECT
78.47/78.78	c #Conflicts:     227000 | #Constraints:      11316
113.08/113.45	c #Conflicts:     228000 | #Constraints:      12316
113.08/113.45	c #Conflicts:     229000 | #Constraints:      13316
113.08/113.45	c #Conflicts:     230000 | #Constraints:      14316
113.08/113.45	c #Conflicts:     231000 | #Constraints:      15316
113.08/113.45	c #Conflicts:     232000 | #Constraints:      16510
113.08/113.45	c #Conflicts:     233000 | #Constraints:      17741
113.08/113.45	c #Conflicts:     234000 | #Constraints:      18777
113.08/113.45	c #Conflicts:     235000 | #Constraints:      19778
113.08/113.45	c #Conflicts:     236000 | #Constraints:      20779
113.08/113.45	c INPROCESSING
113.08/113.45	c GARBAGE COLLECT
113.08/113.45	c #Conflicts:     237000 | #Constraints:      11942
113.08/113.45	c #Conflicts:     238000 | #Constraints:      12942
113.08/113.45	c #Conflicts:     239000 | #Constraints:      13944
113.08/113.45	c #Conflicts:     240000 | #Constraints:      14945
113.08/113.45	c #Conflicts:     241000 | #Constraints:      15946
113.08/113.45	c #Conflicts:     242000 | #Constraints:      16946
113.08/113.45	c #Conflicts:     243000 | #Constraints:      17947
113.08/113.45	c #Conflicts:     244000 | #Constraints:      18947
113.08/113.45	c #Conflicts:     245000 | #Constraints:      19948
113.08/113.45	c #Conflicts:     246000 | #Constraints:      20948
113.08/113.45	c INPROCESSING
113.08/113.45	c GARBAGE COLLECT
113.08/113.45	c #Conflicts:     247000 | #Constraints:      11642
113.08/113.45	c #Conflicts:     248000 | #Constraints:      12642
113.08/113.45	c #Conflicts:     249000 | #Constraints:      13643
113.08/113.45	c #Conflicts:     250000 | #Constraints:      14644
113.08/113.45	c #Conflicts:     251000 | #Constraints:      15644
113.08/113.45	c #Conflicts:     252000 | #Constraints:      16645
113.08/113.45	c #Conflicts:     253000 | #Constraints:      17645
113.08/113.45	c #Conflicts:     254000 | #Constraints:      18645
113.08/113.45	c #Conflicts:     255000 | #Constraints:      19645
113.08/113.45	c #Conflicts:     256000 | #Constraints:      20646
113.08/113.45	c INPROCESSING
113.08/113.45	c GARBAGE COLLECT
113.08/113.45	c #Conflicts:     257000 | #Constraints:      11783
113.08/113.45	c #Conflicts:     258000 | #Constraints:      12784
113.08/113.45	c #Conflicts:     259000 | #Constraints:      13784
113.08/113.45	c #Conflicts:     260000 | #Constraints:      14785
113.08/113.45	c #Conflicts:     261000 | #Constraints:      15785
113.08/113.45	c #Conflicts:     262000 | #Constraints:      16785
113.08/113.45	c #Conflicts:     263000 | #Constraints:      17786
113.08/113.45	c #Conflicts:     264000 | #Constraints:      18786
113.08/113.45	c #Conflicts:     265000 | #Constraints:      19787
113.08/113.45	c #Conflicts:     266000 | #Constraints:      20787
113.08/113.45	c INPROCESSING
113.08/113.45	c GARBAGE COLLECT
113.08/113.45	c #Conflicts:     267000 | #Constraints:      11647
113.08/113.45	c #Conflicts:     268000 | #Constraints:      12648
113.08/113.45	c #Conflicts:     269000 | #Constraints:      13648
113.08/113.45	c #Conflicts:     270000 | #Constraints:      14649
113.08/113.45	c #Conflicts:     271000 | #Constraints:      15650
113.08/113.45	c #Conflicts:     272000 | #Constraints:      16650
113.08/113.45	c #Conflicts:     273000 | #Constraints:      17651
113.08/113.45	c #Conflicts:     274000 | #Constraints:      18652
113.08/113.45	c #Conflicts:     275000 | #Constraints:      19652
113.08/113.45	c #Conflicts:     276000 | #Constraints:      20653
113.08/113.45	c #Conflicts:     277000 | #Constraints:      21653
113.08/113.45	c INPROCESSING
113.08/113.45	c GARBAGE COLLECT
113.08/113.45	c #Conflicts:     278000 | #Constraints:      12270
113.08/113.45	c #Conflicts:     279000 | #Constraints:      13271
113.08/113.45	c #Conflicts:     280000 | #Constraints:      14271
113.08/113.45	c #Conflicts:     281000 | #Constraints:      15271
113.08/113.45	c #Conflicts:     282000 | #Constraints:      16271
113.08/113.45	c #Conflicts:     283000 | #Constraints:      17272
113.08/113.45	c #Conflicts:     284000 | #Constraints:      18272
113.08/113.45	c #Conflicts:     285000 | #Constraints:      19272
113.08/113.45	c #Conflicts:     286000 | #Constraints:      20273
113.08/113.45	c #Conflicts:     287000 | #Constraints:      21273
113.08/113.45	c #Conflicts:     288000 | #Constraints:      22273
113.08/113.45	c INPROCESSING
113.08/113.45	c GARBAGE COLLECT
113.08/113.45	c #Conflicts:     289000 | #Constraints:      12704
113.08/113.45	c #Conflicts:     290000 | #Constraints:      13704
113.08/113.45	c #Conflicts:     291000 | #Constraints:      14704
113.08/113.45	c #Conflicts:     292000 | #Constraints:      15704
113.08/113.45	c #Conflicts:     293000 | #Constraints:      16940
113.08/113.45	c #Conflicts:     294000 | #Constraints:      18351
113.08/113.45	c #Conflicts:     295000 | #Constraints:      19351
113.08/113.45	c #Conflicts:     296000 | #Constraints:      20358
113.08/113.45	c #Conflicts:     297000 | #Constraints:      21359
113.08/113.45	c #Conflicts:     298000 | #Constraints:      22361
113.08/113.45	c #Conflicts:     299000 | #Constraints:      23362
113.08/113.45	c INPROCESSING
113.08/113.45	c GARBAGE COLLECT
113.08/113.45	c #Conflicts:     300000 | #Constraints:      13233
113.08/113.45	c #Conflicts:     301000 | #Constraints:      14234
113.08/113.45	c #Conflicts:     302000 | #Constraints:      15234
156.88/157.37	c #Conflicts:     303000 | #Constraints:      16236
156.88/157.37	c #Conflicts:     304000 | #Constraints:      17236
156.88/157.37	c #Conflicts:     305000 | #Constraints:      18237
156.88/157.37	c #Conflicts:     306000 | #Constraints:      19237
156.88/157.37	c #Conflicts:     307000 | #Constraints:      20238
156.88/157.37	c #Conflicts:     308000 | #Constraints:      21238
156.88/157.37	c #Conflicts:     309000 | #Constraints:      22238
156.88/157.37	c #Conflicts:     310000 | #Constraints:      23238
156.88/157.37	c INPROCESSING
156.88/157.37	c GARBAGE COLLECT
156.88/157.37	c #Conflicts:     311000 | #Constraints:      13077
156.88/157.37	c #Conflicts:     312000 | #Constraints:      14077
156.88/157.37	c #Conflicts:     313000 | #Constraints:      15077
156.88/157.37	c #Conflicts:     314000 | #Constraints:      16077
156.88/157.37	c #Conflicts:     315000 | #Constraints:      17078
156.88/157.37	c #Conflicts:     316000 | #Constraints:      18079
156.88/157.37	c #Conflicts:     317000 | #Constraints:      19079
156.88/157.37	c #Conflicts:     318000 | #Constraints:      20080
156.88/157.37	c #Conflicts:     319000 | #Constraints:      21080
156.88/157.37	c #Conflicts:     320000 | #Constraints:      22080
156.88/157.37	c #Conflicts:     321000 | #Constraints:      23080
156.88/157.37	c INPROCESSING
156.88/157.37	c GARBAGE COLLECT
156.88/157.37	c #Conflicts:     322000 | #Constraints:      12790
156.88/157.37	c #Conflicts:     323000 | #Constraints:      13791
156.88/157.37	c #Conflicts:     324000 | #Constraints:      14791
156.88/157.37	c #Conflicts:     325000 | #Constraints:      15792
156.88/157.37	c #Conflicts:     326000 | #Constraints:      16793
156.88/157.37	c #Conflicts:     327000 | #Constraints:      17793
156.88/157.37	c #Conflicts:     328000 | #Constraints:      18793
156.88/157.37	c #Conflicts:     329000 | #Constraints:      19793
156.88/157.37	c #Conflicts:     330000 | #Constraints:      20794
156.88/157.37	c #Conflicts:     331000 | #Constraints:      21795
156.88/157.37	c #Conflicts:     332000 | #Constraints:      22796
156.88/157.37	c #Conflicts:     333000 | #Constraints:      23796
156.88/157.37	c INPROCESSING
156.88/157.37	c GARBAGE COLLECT
156.88/157.37	c #Conflicts:     334000 | #Constraints:      13348
156.88/157.37	c #Conflicts:     335000 | #Constraints:      14348
156.88/157.37	c #Conflicts:     336000 | #Constraints:      15348
156.88/157.37	c #Conflicts:     337000 | #Constraints:      16348
156.88/157.37	c #Conflicts:     338000 | #Constraints:      17349
156.88/157.37	c #Conflicts:     339000 | #Constraints:      18349
156.88/157.37	c #Conflicts:     340000 | #Constraints:      19349
156.88/157.37	c #Conflicts:     341000 | #Constraints:      20350
156.88/157.37	c #Conflicts:     342000 | #Constraints:      21350
156.88/157.37	c #Conflicts:     343000 | #Constraints:      22350
156.88/157.37	c #Conflicts:     344000 | #Constraints:      23350
156.88/157.37	c #Conflicts:     345000 | #Constraints:      24350
156.88/157.37	c INPROCESSING
156.88/157.37	c GARBAGE COLLECT
156.88/157.37	c #Conflicts:     346000 | #Constraints:      13731
156.88/157.37	c #Conflicts:     347000 | #Constraints:      14733
156.88/157.37	c #Conflicts:     348000 | #Constraints:      15752
156.88/157.37	c #Conflicts:     349000 | #Constraints:      16756
156.88/157.37	c #Conflicts:     350000 | #Constraints:      17756
156.88/157.37	c #Conflicts:     351000 | #Constraints:      18757
156.88/157.37	c #Conflicts:     352000 | #Constraints:      19757
156.88/157.37	c #Conflicts:     353000 | #Constraints:      20757
156.88/157.37	c #Conflicts:     354000 | #Constraints:      21758
156.88/157.37	c #Conflicts:     355000 | #Constraints:      22758
156.88/157.37	c #Conflicts:     356000 | #Constraints:      23758
156.88/157.37	c #Conflicts:     357000 | #Constraints:      24759
156.88/157.37	c INPROCESSING
156.88/157.37	c GARBAGE COLLECT
156.88/157.37	c #Conflicts:     358000 | #Constraints:      13915
156.88/157.37	c #Conflicts:     359000 | #Constraints:      14916
156.88/157.37	c #Conflicts:     360000 | #Constraints:      15916
156.88/157.37	c #Conflicts:     361000 | #Constraints:      16917
156.88/157.37	c #Conflicts:     362000 | #Constraints:      17917
156.88/157.37	c #Conflicts:     363000 | #Constraints:      18918
156.88/157.37	c #Conflicts:     364000 | #Constraints:      19918
156.88/157.37	c #Conflicts:     365000 | #Constraints:      20919
156.88/157.37	c #Conflicts:     366000 | #Constraints:      21919
156.88/157.37	c #Conflicts:     367000 | #Constraints:      22919
156.88/157.37	c #Conflicts:     368000 | #Constraints:      23919
156.88/157.37	c #Conflicts:     369000 | #Constraints:      24920
156.88/157.37	c INPROCESSING
156.88/157.37	c GARBAGE COLLECT
156.88/157.37	c #Conflicts:     370000 | #Constraints:      13918
156.88/157.37	c #Conflicts:     371000 | #Constraints:      14918
156.88/157.37	c #Conflicts:     372000 | #Constraints:      15919
156.88/157.37	c #Conflicts:     373000 | #Constraints:      16920
156.88/157.37	c #Conflicts:     374000 | #Constraints:      17921
156.88/157.37	c #Conflicts:     375000 | #Constraints:      18921
156.88/157.37	c #Conflicts:     376000 | #Constraints:      19921
156.88/157.37	c #Conflicts:     377000 | #Constraints:      20922
200.27/200.82	c #Conflicts:     378000 | #Constraints:      21922
200.27/200.82	c #Conflicts:     379000 | #Constraints:      22923
200.27/200.82	c #Conflicts:     380000 | #Constraints:      23923
200.27/200.82	c #Conflicts:     381000 | #Constraints:      24924
200.27/200.82	c INPROCESSING
200.27/200.82	c GARBAGE COLLECT
200.27/200.82	c #Conflicts:     382000 | #Constraints:      13707
200.27/200.82	c #Conflicts:     383000 | #Constraints:      14707
200.27/200.82	c #Conflicts:     384000 | #Constraints:      15707
200.27/200.82	c #Conflicts:     385000 | #Constraints:      16708
200.27/200.82	c #Conflicts:     386000 | #Constraints:      17708
200.27/200.82	c #Conflicts:     387000 | #Constraints:      18708
200.27/200.82	c #Conflicts:     388000 | #Constraints:      19708
200.27/200.82	c #Conflicts:     389000 | #Constraints:      20709
200.27/200.82	c #Conflicts:     390000 | #Constraints:      21709
200.27/200.82	c #Conflicts:     391000 | #Constraints:      22709
200.27/200.82	c #Conflicts:     392000 | #Constraints:      23710
200.27/200.82	c #Conflicts:     393000 | #Constraints:      24710
200.27/200.82	c #Conflicts:     394000 | #Constraints:      25711
200.27/200.82	c INPROCESSING
200.27/200.82	c GARBAGE COLLECT
200.27/200.82	c #Conflicts:     395000 | #Constraints:      14321
200.27/200.82	c #Conflicts:     396000 | #Constraints:      15619
200.27/200.82	c #Conflicts:     397000 | #Constraints:      17135
200.27/200.82	c #Conflicts:     398000 | #Constraints:      18382
200.27/200.82	c #Conflicts:     399000 | #Constraints:      19382
200.27/200.82	c #Conflicts:     400000 | #Constraints:      20382
200.27/200.82	c #Conflicts:     401000 | #Constraints:      21383
200.27/200.82	c #Conflicts:     402000 | #Constraints:      22384
200.27/200.82	c #Conflicts:     403000 | #Constraints:      23385
200.27/200.82	c #Conflicts:     404000 | #Constraints:      24385
200.27/200.82	c #Conflicts:     405000 | #Constraints:      25385
200.27/200.82	c #Conflicts:     406000 | #Constraints:      26386
200.27/200.82	c #Conflicts:     407000 | #Constraints:      27386
200.27/200.82	c INPROCESSING
200.27/200.82	c GARBAGE COLLECT
200.27/200.82	c #Conflicts:     408000 | #Constraints:      15244
200.27/200.82	c #Conflicts:     409000 | #Constraints:      16245
200.27/200.82	c #Conflicts:     410000 | #Constraints:      17246
200.27/200.82	c #Conflicts:     411000 | #Constraints:      18246
200.27/200.82	c #Conflicts:     412000 | #Constraints:      19247
200.27/200.82	c #Conflicts:     413000 | #Constraints:      20247
200.27/200.82	c #Conflicts:     414000 | #Constraints:      21247
200.27/200.82	c #Conflicts:     415000 | #Constraints:      22247
200.27/200.82	c #Conflicts:     416000 | #Constraints:      23247
200.27/200.82	c #Conflicts:     417000 | #Constraints:      24248
200.27/200.82	c #Conflicts:     418000 | #Constraints:      25248
200.27/200.82	c #Conflicts:     419000 | #Constraints:      26248
200.27/200.82	c #Conflicts:     420000 | #Constraints:      27248
200.27/200.82	c INPROCESSING
200.27/200.82	c GARBAGE COLLECT
200.27/200.82	c #Conflicts:     421000 | #Constraints:      15180
200.27/200.82	c #Conflicts:     422000 | #Constraints:      16180
200.27/200.82	c #Conflicts:     423000 | #Constraints:      17181
200.27/200.82	c #Conflicts:     424000 | #Constraints:      18181
200.27/200.82	c #Conflicts:     425000 | #Constraints:      19182
200.27/200.82	c #Conflicts:     426000 | #Constraints:      20183
200.27/200.82	c #Conflicts:     427000 | #Constraints:      21183
200.27/200.82	c #Conflicts:     428000 | #Constraints:      22184
200.27/200.82	c #Conflicts:     429000 | #Constraints:      23184
200.27/200.82	c #Conflicts:     430000 | #Constraints:      24185
200.27/200.82	c #Conflicts:     431000 | #Constraints:      25186
200.27/200.82	c #Conflicts:     432000 | #Constraints:      26186
200.27/200.82	c #Conflicts:     433000 | #Constraints:      27186
200.27/200.82	c INPROCESSING
200.27/200.82	c GARBAGE COLLECT
200.27/200.82	c #Conflicts:     434000 | #Constraints:      15066
200.27/200.82	c #Conflicts:     435000 | #Constraints:      16067
200.27/200.82	c #Conflicts:     436000 | #Constraints:      17080
200.27/200.82	c #Conflicts:     437000 | #Constraints:      18080
200.27/200.82	c #Conflicts:     438000 | #Constraints:      19081
200.27/200.82	c #Conflicts:     439000 | #Constraints:      20084
200.27/200.82	c #Conflicts:     440000 | #Constraints:      21085
200.27/200.82	c #Conflicts:     441000 | #Constraints:      22086
200.27/200.82	c #Conflicts:     442000 | #Constraints:      23086
200.27/200.82	c #Conflicts:     443000 | #Constraints:      24087
200.27/200.82	c #Conflicts:     444000 | #Constraints:      25087
200.27/200.82	c #Conflicts:     445000 | #Constraints:      26088
200.27/200.82	c #Conflicts:     446000 | #Constraints:      27088
200.27/200.82	c INPROCESSING
200.27/200.82	c GARBAGE COLLECT
200.27/200.82	c #Conflicts:     447000 | #Constraints:      14813
200.27/200.82	c #Conflicts:     448000 | #Constraints:      15813
200.27/200.82	c #Conflicts:     449000 | #Constraints:      16813
200.27/200.82	c #Conflicts:     450000 | #Constraints:      17813
200.27/200.82	c #Conflicts:     451000 | #Constraints:      18813
255.93/256.89	c #Conflicts:     452000 | #Constraints:      19814
255.93/256.89	c #Conflicts:     453000 | #Constraints:      20815
255.93/256.89	c #Conflicts:     454000 | #Constraints:      21816
255.93/256.89	c #Conflicts:     455000 | #Constraints:      22816
255.93/256.89	c #Conflicts:     456000 | #Constraints:      23817
255.93/256.89	c #Conflicts:     457000 | #Constraints:      24817
255.93/256.89	c #Conflicts:     458000 | #Constraints:      25817
255.93/256.89	c #Conflicts:     459000 | #Constraints:      26818
255.93/256.89	c #Conflicts:     460000 | #Constraints:      27818
255.93/256.89	c INPROCESSING
255.93/256.89	c GARBAGE COLLECT
255.93/256.89	c #Conflicts:     461000 | #Constraints:      15380
255.93/256.89	c #Conflicts:     462000 | #Constraints:      16380
255.93/256.89	c #Conflicts:     463000 | #Constraints:      17380
255.93/256.89	c #Conflicts:     464000 | #Constraints:      18381
255.93/256.89	c #Conflicts:     465000 | #Constraints:      19381
255.93/256.89	c #Conflicts:     466000 | #Constraints:      20382
255.93/256.89	c #Conflicts:     467000 | #Constraints:      21382
255.93/256.89	c #Conflicts:     468000 | #Constraints:      22383
255.93/256.89	c #Conflicts:     469000 | #Constraints:      23384
255.93/256.89	c #Conflicts:     470000 | #Constraints:      24385
255.93/256.89	c #Conflicts:     471000 | #Constraints:      25385
255.93/256.89	c #Conflicts:     472000 | #Constraints:      26387
255.93/256.89	c #Conflicts:     473000 | #Constraints:      27387
255.93/256.89	c #Conflicts:     474000 | #Constraints:      28387
255.93/256.89	c INPROCESSING
255.93/256.89	c GARBAGE COLLECT
255.93/256.89	c #Conflicts:     475000 | #Constraints:      15976
255.93/256.89	c #Conflicts:     476000 | #Constraints:      17508
255.93/256.89	c #Conflicts:     477000 | #Constraints:      18604
255.93/256.89	c #Conflicts:     478000 | #Constraints:      19604
255.93/256.89	c #Conflicts:     479000 | #Constraints:      20605
255.93/256.89	c #Conflicts:     480000 | #Constraints:      21607
255.93/256.89	c #Conflicts:     481000 | #Constraints:      22610
255.93/256.89	c #Conflicts:     482000 | #Constraints:      23611
255.93/256.89	c #Conflicts:     483000 | #Constraints:      24612
255.93/256.89	c #Conflicts:     484000 | #Constraints:      25613
255.93/256.89	c #Conflicts:     485000 | #Constraints:      26614
255.93/256.89	c #Conflicts:     486000 | #Constraints:      27615
255.93/256.89	c #Conflicts:     487000 | #Constraints:      28616
255.93/256.89	c #Conflicts:     488000 | #Constraints:      29616
255.93/256.89	c INPROCESSING
255.93/256.89	c GARBAGE COLLECT
255.93/256.89	c #Conflicts:     489000 | #Constraints:      16282
255.93/256.89	c #Conflicts:     490000 | #Constraints:      17283
255.93/256.89	c #Conflicts:     491000 | #Constraints:      18284
255.93/256.89	c #Conflicts:     492000 | #Constraints:      19284
255.93/256.89	c #Conflicts:     493000 | #Constraints:      20285
255.93/256.89	c #Conflicts:     494000 | #Constraints:      21285
255.93/256.89	c #Conflicts:     495000 | #Constraints:      22285
255.93/256.89	c #Conflicts:     496000 | #Constraints:      23285
255.93/256.89	c #Conflicts:     497000 | #Constraints:      24286
255.93/256.89	c #Conflicts:     498000 | #Constraints:      25286
255.93/256.89	c #Conflicts:     499000 | #Constraints:      26286
255.93/256.89	c #Conflicts:     500000 | #Constraints:      27286
255.93/256.89	c #Conflicts:     501000 | #Constraints:      28287
255.93/256.89	c #Conflicts:     502000 | #Constraints:      29288
255.93/256.89	c INPROCESSING
255.93/256.89	c GARBAGE COLLECT
255.93/256.89	c #Conflicts:     503000 | #Constraints:      16118
255.93/256.89	c #Conflicts:     504000 | #Constraints:      17119
255.93/256.89	c #Conflicts:     505000 | #Constraints:      18120
255.93/256.89	c #Conflicts:     506000 | #Constraints:      19120
255.93/256.89	c #Conflicts:     507000 | #Constraints:      20121
255.93/256.89	c #Conflicts:     508000 | #Constraints:      21122
255.93/256.89	c #Conflicts:     509000 | #Constraints:      22122
255.93/256.89	c #Conflicts:     510000 | #Constraints:      23123
255.93/256.89	c #Conflicts:     511000 | #Constraints:      24123
255.93/256.89	c #Conflicts:     512000 | #Constraints:      25123
255.93/256.89	c #Conflicts:     513000 | #Constraints:      26124
255.93/256.89	c #Conflicts:     514000 | #Constraints:      27124
255.93/256.89	c #Conflicts:     515000 | #Constraints:      28125
255.93/256.89	c #Conflicts:     516000 | #Constraints:      29125
255.93/256.89	c INPROCESSING
255.93/256.89	c GARBAGE COLLECT
255.93/256.89	c #Conflicts:     517000 | #Constraints:      15829
255.93/256.89	c #Conflicts:     518000 | #Constraints:      16829
255.93/256.89	c #Conflicts:     519000 | #Constraints:      17830
255.93/256.89	c #Conflicts:     520000 | #Constraints:      18830
255.93/256.89	c #Conflicts:     521000 | #Constraints:      19830
255.93/256.89	c #Conflicts:     522000 | #Constraints:      20830
255.93/256.89	c #Conflicts:     523000 | #Constraints:      21830
255.93/256.89	c #Conflicts:     524000 | #Constraints:      22830
255.93/256.89	c #Conflicts:     525000 | #Constraints:      23830
255.93/256.89	c #Conflicts:     526000 | #Constraints:      24830
255.93/256.89	c #Conflicts:     527000 | #Constraints:      25830
307.00/308.07	c #Conflicts:     528000 | #Constraints:      26831
307.00/308.07	c #Conflicts:     529000 | #Constraints:      27831
307.00/308.07	c #Conflicts:     530000 | #Constraints:      28831
307.00/308.07	c #Conflicts:     531000 | #Constraints:      29832
307.00/308.07	c INPROCESSING
307.00/308.07	c GARBAGE COLLECT
307.00/308.07	c #Conflicts:     532000 | #Constraints:      16386
307.00/308.07	c #Conflicts:     533000 | #Constraints:      17386
307.00/308.07	c #Conflicts:     534000 | #Constraints:      18475
307.00/308.07	c #Conflicts:     535000 | #Constraints:      19502
307.00/308.07	c #Conflicts:     536000 | #Constraints:      20503
307.00/308.07	c #Conflicts:     537000 | #Constraints:      21505
307.00/308.07	c #Conflicts:     538000 | #Constraints:      22507
307.00/308.07	c #Conflicts:     539000 | #Constraints:      23508
307.00/308.07	c #Conflicts:     540000 | #Constraints:      24508
307.00/308.07	c #Conflicts:     541000 | #Constraints:      25509
307.00/308.07	c #Conflicts:     542000 | #Constraints:      26510
307.00/308.07	c #Conflicts:     543000 | #Constraints:      27511
307.00/308.07	c #Conflicts:     544000 | #Constraints:      28512
307.00/308.07	c #Conflicts:     545000 | #Constraints:      29513
307.00/308.07	c #Conflicts:     546000 | #Constraints:      30514
307.00/308.07	c INPROCESSING
307.00/308.07	c GARBAGE COLLECT
307.00/308.07	c #Conflicts:     547000 | #Constraints:      16821
307.00/308.07	c #Conflicts:     548000 | #Constraints:      17821
307.00/308.07	c #Conflicts:     549000 | #Constraints:      18822
307.00/308.07	c #Conflicts:     550000 | #Constraints:      19822
307.00/308.07	c #Conflicts:     551000 | #Constraints:      20823
307.00/308.07	c #Conflicts:     552000 | #Constraints:      21824
307.00/308.07	c #Conflicts:     553000 | #Constraints:      22825
307.00/308.07	c #Conflicts:     554000 | #Constraints:      23825
307.00/308.07	c #Conflicts:     555000 | #Constraints:      24826
307.00/308.07	c #Conflicts:     556000 | #Constraints:      25826
307.00/308.07	c #Conflicts:     557000 | #Constraints:      26826
307.00/308.07	c #Conflicts:     558000 | #Constraints:      27826
307.00/308.07	c #Conflicts:     559000 | #Constraints:      28826
307.00/308.07	c #Conflicts:     560000 | #Constraints:      29827
307.00/308.07	c #Conflicts:     561000 | #Constraints:      30827
307.00/308.07	c INPROCESSING
307.00/308.07	c GARBAGE COLLECT
307.00/308.07	c #Conflicts:     562000 | #Constraints:      16966
307.00/308.07	c #Conflicts:     563000 | #Constraints:      17966
307.00/308.07	c #Conflicts:     564000 | #Constraints:      18967
307.00/308.07	c #Conflicts:     565000 | #Constraints:      19967
307.00/308.07	c #Conflicts:     566000 | #Constraints:      20968
307.00/308.07	c #Conflicts:     567000 | #Constraints:      21968
307.00/308.07	c #Conflicts:     568000 | #Constraints:      22968
307.00/308.07	c #Conflicts:     569000 | #Constraints:      23969
307.00/308.07	c #Conflicts:     570000 | #Constraints:      24970
307.00/308.07	c #Conflicts:     571000 | #Constraints:      25970
307.00/308.07	c #Conflicts:     572000 | #Constraints:      26971
307.00/308.07	c #Conflicts:     573000 | #Constraints:      27971
307.00/308.07	c #Conflicts:     574000 | #Constraints:      28971
307.00/308.07	c #Conflicts:     575000 | #Constraints:      29972
307.00/308.07	c #Conflicts:     576000 | #Constraints:      30972
307.00/308.07	c INPROCESSING
307.00/308.07	c GARBAGE COLLECT
307.00/308.07	c #Conflicts:     577000 | #Constraints:      16959
307.00/308.07	c #Conflicts:     578000 | #Constraints:      17959
307.00/308.07	c #Conflicts:     579000 | #Constraints:      18959
307.00/308.07	c #Conflicts:     580000 | #Constraints:      19960
307.00/308.07	c #Conflicts:     581000 | #Constraints:      20961
307.00/308.07	c #Conflicts:     582000 | #Constraints:      21961
307.00/308.07	c #Conflicts:     583000 | #Constraints:      22962
307.00/308.07	c #Conflicts:     584000 | #Constraints:      23962
307.00/308.07	c #Conflicts:     585000 | #Constraints:      24963
307.00/308.07	c #Conflicts:     586000 | #Constraints:      25963
307.00/308.07	c #Conflicts:     587000 | #Constraints:      26963
307.00/308.07	c #Conflicts:     588000 | #Constraints:      27964
307.00/308.07	c #Conflicts:     589000 | #Constraints:      28964
307.00/308.07	c #Conflicts:     590000 | #Constraints:      29965
307.00/308.07	c #Conflicts:     591000 | #Constraints:      30965
307.00/308.07	c INPROCESSING
307.00/308.07	c GARBAGE COLLECT
307.00/308.07	c #Conflicts:     592000 | #Constraints:      16755
307.00/308.07	c #Conflicts:     593000 | #Constraints:      17755
307.00/308.07	c #Conflicts:     594000 | #Constraints:      18780
307.00/308.07	c #Conflicts:     595000 | #Constraints:      19780
307.00/308.07	c #Conflicts:     596000 | #Constraints:      20783
307.00/308.07	c #Conflicts:     597000 | #Constraints:      21785
307.00/308.07	c #Conflicts:     598000 | #Constraints:      22785
307.00/308.07	c #Conflicts:     599000 | #Constraints:      23786
307.00/308.07	c #Conflicts:     600000 | #Constraints:      24787
307.00/308.07	c #Conflicts:     601000 | #Constraints:      25788
307.00/308.07	c #Conflicts:     602000 | #Constraints:      26788
307.00/308.07	c #Conflicts:     603000 | #Constraints:      27788
358.16/359.37	c #Conflicts:     604000 | #Constraints:      28789
358.16/359.37	c #Conflicts:     605000 | #Constraints:      29789
358.16/359.37	c #Conflicts:     606000 | #Constraints:      30789
358.16/359.37	c #Conflicts:     607000 | #Constraints:      31790
358.16/359.37	c INPROCESSING
358.16/359.37	c GARBAGE COLLECT
358.16/359.37	c #Conflicts:     608000 | #Constraints:      17022
358.16/359.37	c #Conflicts:     609000 | #Constraints:      18022
358.16/359.37	c #Conflicts:     610000 | #Constraints:      19023
358.16/359.37	c #Conflicts:     611000 | #Constraints:      20023
358.16/359.37	c #Conflicts:     612000 | #Constraints:      21024
358.16/359.37	c #Conflicts:     613000 | #Constraints:      22027
358.16/359.37	c #Conflicts:     614000 | #Constraints:      23027
358.16/359.37	c #Conflicts:     615000 | #Constraints:      24028
358.16/359.37	c #Conflicts:     616000 | #Constraints:      25029
358.16/359.37	c #Conflicts:     617000 | #Constraints:      26030
358.16/359.37	c #Conflicts:     618000 | #Constraints:      27030
358.16/359.37	c #Conflicts:     619000 | #Constraints:      28031
358.16/359.37	c #Conflicts:     620000 | #Constraints:      29032
358.16/359.37	c #Conflicts:     621000 | #Constraints:      30032
358.16/359.37	c #Conflicts:     622000 | #Constraints:      31032
358.16/359.37	c #Conflicts:     623000 | #Constraints:      32033
358.16/359.37	c INPROCESSING
358.16/359.37	c GARBAGE COLLECT
358.16/359.37	c #Conflicts:     624000 | #Constraints:      17592
358.16/359.37	c #Conflicts:     625000 | #Constraints:      18592
358.16/359.37	c #Conflicts:     626000 | #Constraints:      19593
358.16/359.37	c #Conflicts:     627000 | #Constraints:      20593
358.16/359.37	c #Conflicts:     628000 | #Constraints:      21593
358.16/359.37	c #Conflicts:     629000 | #Constraints:      22594
358.16/359.37	c #Conflicts:     630000 | #Constraints:      23594
358.16/359.37	c #Conflicts:     631000 | #Constraints:      24594
358.16/359.37	c #Conflicts:     632000 | #Constraints:      25594
358.16/359.37	c #Conflicts:     633000 | #Constraints:      26594
358.16/359.37	c #Conflicts:     634000 | #Constraints:      27594
358.16/359.37	c #Conflicts:     635000 | #Constraints:      28594
358.16/359.37	c #Conflicts:     636000 | #Constraints:      29594
358.16/359.37	c #Conflicts:     637000 | #Constraints:      30594
358.16/359.37	c #Conflicts:     638000 | #Constraints:      31594
358.16/359.37	c #Conflicts:     639000 | #Constraints:      32594
358.16/359.37	c INPROCESSING
358.16/359.37	c GARBAGE COLLECT
358.16/359.37	c #Conflicts:     640000 | #Constraints:      17868
358.16/359.37	c #Conflicts:     641000 | #Constraints:      18868
358.16/359.37	c #Conflicts:     642000 | #Constraints:      19868
358.16/359.37	c #Conflicts:     643000 | #Constraints:      20868
358.16/359.37	c #Conflicts:     644000 | #Constraints:      21868
358.16/359.37	c #Conflicts:     645000 | #Constraints:      22868
358.16/359.37	c #Conflicts:     646000 | #Constraints:      23868
358.16/359.37	c #Conflicts:     647000 | #Constraints:      24879
358.16/359.37	c #Conflicts:     648000 | #Constraints:      25880
358.16/359.37	c #Conflicts:     649000 | #Constraints:      26880
358.16/359.37	c #Conflicts:     650000 | #Constraints:      27880
358.16/359.37	c #Conflicts:     651000 | #Constraints:      28880
358.16/359.37	c #Conflicts:     652000 | #Constraints:      29881
358.16/359.37	c #Conflicts:     653000 | #Constraints:      30881
358.16/359.37	c #Conflicts:     654000 | #Constraints:      31882
358.16/359.37	c #Conflicts:     655000 | #Constraints:      32882
358.16/359.37	c INPROCESSING
358.16/359.37	c GARBAGE COLLECT
358.16/359.37	c #Conflicts:     656000 | #Constraints:      16968
358.16/359.37	c #Conflicts:     657000 | #Constraints:      17968
358.16/359.37	c #Conflicts:     658000 | #Constraints:      18968
358.16/359.37	c #Conflicts:     659000 | #Constraints:      19968
358.16/359.37	c #Conflicts:     660000 | #Constraints:      20969
358.16/359.37	c #Conflicts:     661000 | #Constraints:      21969
358.16/359.37	c #Conflicts:     662000 | #Constraints:      22969
358.16/359.37	c #Conflicts:     663000 | #Constraints:      23970
358.16/359.37	c #Conflicts:     664000 | #Constraints:      24970
358.16/359.37	c #Conflicts:     665000 | #Constraints:      25970
358.16/359.37	c #Conflicts:     666000 | #Constraints:      26970
358.16/359.37	c #Conflicts:     667000 | #Constraints:      27970
358.16/359.37	c #Conflicts:     668000 | #Constraints:      28970
358.16/359.37	c #Conflicts:     669000 | #Constraints:      29970
358.16/359.37	c #Conflicts:     670000 | #Constraints:      30970
358.16/359.37	c #Conflicts:     671000 | #Constraints:      31971
358.16/359.37	c INPROCESSING
358.16/359.37	c GARBAGE COLLECT
358.16/359.37	c #Conflicts:     672000 | #Constraints:      17269
358.16/359.37	c #Conflicts:     673000 | #Constraints:      18269
358.16/359.37	c #Conflicts:     674000 | #Constraints:      19269
358.16/359.37	c #Conflicts:     675000 | #Constraints:      20269
358.16/359.37	c #Conflicts:     676000 | #Constraints:      21275
358.16/359.37	c #Conflicts:     677000 | #Constraints:      22276
358.16/359.37	c #Conflicts:     678000 | #Constraints:      23277
418.07/419.46	c #Conflicts:     679000 | #Constraints:      24277
418.07/419.46	c #Conflicts:     680000 | #Constraints:      25278
418.07/419.46	c #Conflicts:     681000 | #Constraints:      26279
418.07/419.46	c #Conflicts:     682000 | #Constraints:      27279
418.07/419.46	c #Conflicts:     683000 | #Constraints:      28280
418.07/419.46	c #Conflicts:     684000 | #Constraints:      29280
418.07/419.46	c #Conflicts:     685000 | #Constraints:      30280
418.07/419.46	c #Conflicts:     686000 | #Constraints:      31280
418.07/419.46	c #Conflicts:     687000 | #Constraints:      32280
418.07/419.46	c #Conflicts:     688000 | #Constraints:      33281
418.07/419.46	c INPROCESSING
418.07/419.46	c GARBAGE COLLECT
418.07/419.46	c #Conflicts:     689000 | #Constraints:      17986
418.07/419.46	c #Conflicts:     690000 | #Constraints:      18986
418.07/419.46	c #Conflicts:     691000 | #Constraints:      19986
418.07/419.46	c #Conflicts:     692000 | #Constraints:      20986
418.07/419.46	c #Conflicts:     693000 | #Constraints:      21986
418.07/419.46	c #Conflicts:     694000 | #Constraints:      22986
418.07/419.46	c #Conflicts:     695000 | #Constraints:      23986
418.07/419.46	c #Conflicts:     696000 | #Constraints:      24986
418.07/419.46	c #Conflicts:     697000 | #Constraints:      25986
418.07/419.46	c #Conflicts:     698000 | #Constraints:      26986
418.07/419.46	c #Conflicts:     699000 | #Constraints:      27986
418.07/419.46	c #Conflicts:     700000 | #Constraints:      28986
418.07/419.46	c #Conflicts:     701000 | #Constraints:      29986
418.07/419.46	c #Conflicts:     702000 | #Constraints:      30986
418.07/419.46	c #Conflicts:     703000 | #Constraints:      31986
418.07/419.46	c #Conflicts:     704000 | #Constraints:      32986
418.07/419.46	c #Conflicts:     705000 | #Constraints:      33986
418.07/419.46	c INPROCESSING
418.07/419.46	c GARBAGE COLLECT
418.07/419.46	c #Conflicts:     706000 | #Constraints:      18588
418.07/419.46	c #Conflicts:     707000 | #Constraints:      19588
418.07/419.46	c #Conflicts:     708000 | #Constraints:      20588
418.07/419.46	c #Conflicts:     709000 | #Constraints:      21588
418.07/419.46	c #Conflicts:     710000 | #Constraints:      22588
418.07/419.46	c #Conflicts:     711000 | #Constraints:      23588
418.07/419.46	c #Conflicts:     712000 | #Constraints:      24589
418.07/419.46	c #Conflicts:     713000 | #Constraints:      25589
418.07/419.46	c #Conflicts:     714000 | #Constraints:      26589
418.07/419.46	c #Conflicts:     715000 | #Constraints:      27589
418.07/419.46	c #Conflicts:     716000 | #Constraints:      28589
418.07/419.46	c #Conflicts:     717000 | #Constraints:      29590
418.07/419.46	c #Conflicts:     718000 | #Constraints:      30590
418.07/419.46	c #Conflicts:     719000 | #Constraints:      31590
418.07/419.46	c #Conflicts:     720000 | #Constraints:      32590
418.07/419.46	c #Conflicts:     721000 | #Constraints:      33590
418.07/419.46	c #Conflicts:     722000 | #Constraints:      34590
418.07/419.46	c INPROCESSING
418.07/419.46	c GARBAGE COLLECT
418.07/419.46	c #Conflicts:     723000 | #Constraints:      18881
418.07/419.46	c #Conflicts:     724000 | #Constraints:      19881
418.07/419.46	c #Conflicts:     725000 | #Constraints:      20882
418.07/419.46	c #Conflicts:     726000 | #Constraints:      21882
418.07/419.46	c #Conflicts:     727000 | #Constraints:      22882
418.07/419.46	c #Conflicts:     728000 | #Constraints:      23882
418.07/419.46	c #Conflicts:     729000 | #Constraints:      24882
418.07/419.46	c #Conflicts:     730000 | #Constraints:      25883
418.07/419.46	c #Conflicts:     731000 | #Constraints:      26883
418.07/419.46	c #Conflicts:     732000 | #Constraints:      27884
418.07/419.46	c #Conflicts:     733000 | #Constraints:      28884
418.07/419.46	c #Conflicts:     734000 | #Constraints:      29884
418.07/419.46	c #Conflicts:     735000 | #Constraints:      30885
418.07/419.46	c #Conflicts:     736000 | #Constraints:      31885
418.07/419.46	c #Conflicts:     737000 | #Constraints:      32886
418.07/419.46	c #Conflicts:     738000 | #Constraints:      33886
418.07/419.46	c #Conflicts:     739000 | #Constraints:      34886
418.07/419.46	c INPROCESSING
418.07/419.46	c GARBAGE COLLECT
418.07/419.46	c #Conflicts:     740000 | #Constraints:      18879
418.07/419.46	c #Conflicts:     741000 | #Constraints:      19880
418.07/419.46	c #Conflicts:     742000 | #Constraints:      20880
418.07/419.46	c #Conflicts:     743000 | #Constraints:      21880
418.07/419.46	c #Conflicts:     744000 | #Constraints:      22880
418.07/419.46	c #Conflicts:     745000 | #Constraints:      23880
418.07/419.46	c #Conflicts:     746000 | #Constraints:      24880
418.07/419.46	c #Conflicts:     747000 | #Constraints:      25881
418.07/419.46	c #Conflicts:     748000 | #Constraints:      26881
418.07/419.46	c #Conflicts:     749000 | #Constraints:      27881
418.07/419.46	c #Conflicts:     750000 | #Constraints:      28882
418.07/419.46	c #Conflicts:     751000 | #Constraints:      29882
418.07/419.46	c #Conflicts:     752000 | #Constraints:      30882
418.07/419.46	c #Conflicts:     753000 | #Constraints:      31882
418.07/419.46	c #Conflicts:     754000 | #Constraints:      32883
475.78/477.35	c #Conflicts:     755000 | #Constraints:      33883
475.78/477.35	c #Conflicts:     756000 | #Constraints:      34883
475.78/477.35	c INPROCESSING
475.78/477.35	c GARBAGE COLLECT
475.78/477.35	c #Conflicts:     757000 | #Constraints:      18729
475.78/477.35	c #Conflicts:     758000 | #Constraints:      19729
475.78/477.35	c #Conflicts:     759000 | #Constraints:      20730
475.78/477.35	c #Conflicts:     760000 | #Constraints:      21730
475.78/477.35	c #Conflicts:     761000 | #Constraints:      22731
475.78/477.35	c #Conflicts:     762000 | #Constraints:      23731
475.78/477.35	c #Conflicts:     763000 | #Constraints:      24731
475.78/477.35	c #Conflicts:     764000 | #Constraints:      25731
475.78/477.35	c #Conflicts:     765000 | #Constraints:      26732
475.78/477.35	c #Conflicts:     766000 | #Constraints:      27732
475.78/477.35	c #Conflicts:     767000 | #Constraints:      28732
475.78/477.35	c #Conflicts:     768000 | #Constraints:      29732
475.78/477.35	c #Conflicts:     769000 | #Constraints:      30732
475.78/477.35	c #Conflicts:     770000 | #Constraints:      31733
475.78/477.35	c #Conflicts:     771000 | #Constraints:      32733
475.78/477.35	c #Conflicts:     772000 | #Constraints:      33733
475.78/477.35	c #Conflicts:     773000 | #Constraints:      34733
475.78/477.35	c #Conflicts:     774000 | #Constraints:      35733
475.78/477.35	c INPROCESSING
475.78/477.35	c GARBAGE COLLECT
475.78/477.35	c #Conflicts:     775000 | #Constraints:      19345
475.78/477.35	c #Conflicts:     776000 | #Constraints:      20345
475.78/477.35	c #Conflicts:     777000 | #Constraints:      21346
475.78/477.35	c #Conflicts:     778000 | #Constraints:      22346
475.78/477.35	c #Conflicts:     779000 | #Constraints:      23346
475.78/477.35	c #Conflicts:     780000 | #Constraints:      24346
475.78/477.35	c #Conflicts:     781000 | #Constraints:      25347
475.78/477.35	c #Conflicts:     782000 | #Constraints:      26347
475.78/477.35	c #Conflicts:     783000 | #Constraints:      27347
475.78/477.35	c #Conflicts:     784000 | #Constraints:      28347
475.78/477.35	c #Conflicts:     785000 | #Constraints:      29347
475.78/477.35	c #Conflicts:     786000 | #Constraints:      30347
475.78/477.35	c #Conflicts:     787000 | #Constraints:      31348
475.78/477.35	c #Conflicts:     788000 | #Constraints:      32348
475.78/477.35	c #Conflicts:     789000 | #Constraints:      33348
475.78/477.35	c #Conflicts:     790000 | #Constraints:      34348
475.78/477.35	c #Conflicts:     791000 | #Constraints:      35348
475.78/477.35	c #Conflicts:     792000 | #Constraints:      36348
475.78/477.35	c INPROCESSING
475.78/477.35	c GARBAGE COLLECT
475.78/477.35	c #Conflicts:     793000 | #Constraints:      19748
475.78/477.35	c #Conflicts:     794000 | #Constraints:      20750
475.78/477.35	c #Conflicts:     795000 | #Constraints:      21754
475.78/477.35	c #Conflicts:     796000 | #Constraints:      22756
475.78/477.35	c #Conflicts:     797000 | #Constraints:      23758
475.78/477.35	c #Conflicts:     798000 | #Constraints:      24758
475.78/477.35	c #Conflicts:     799000 | #Constraints:      25760
475.78/477.35	c #Conflicts:     800000 | #Constraints:      26765
475.78/477.35	c #Conflicts:     801000 | #Constraints:      27765
475.78/477.35	c #Conflicts:     802000 | #Constraints:      28765
475.78/477.35	c #Conflicts:     803000 | #Constraints:      29765
475.78/477.35	c #Conflicts:     804000 | #Constraints:      30765
475.78/477.35	c #Conflicts:     805000 | #Constraints:      31766
475.78/477.35	c #Conflicts:     806000 | #Constraints:      32766
475.78/477.35	c #Conflicts:     807000 | #Constraints:      33766
475.78/477.35	c #Conflicts:     808000 | #Constraints:      34766
475.78/477.35	c #Conflicts:     809000 | #Constraints:      35767
475.78/477.35	c #Conflicts:     810000 | #Constraints:      36767
475.78/477.35	c INPROCESSING
475.78/477.35	c GARBAGE COLLECT
475.78/477.35	c #Conflicts:     811000 | #Constraints:      19965
475.78/477.35	c #Conflicts:     812000 | #Constraints:      20965
475.78/477.35	c #Conflicts:     813000 | #Constraints:      21965
475.78/477.35	c #Conflicts:     814000 | #Constraints:      22966
475.78/477.35	c #Conflicts:     815000 | #Constraints:      23966
475.78/477.35	c #Conflicts:     816000 | #Constraints:      24966
475.78/477.35	c #Conflicts:     817000 | #Constraints:      25966
475.78/477.35	c #Conflicts:     818000 | #Constraints:      26966
475.78/477.35	c #Conflicts:     819000 | #Constraints:      27966
475.78/477.35	c #Conflicts:     820000 | #Constraints:      28967
475.78/477.35	c #Conflicts:     821000 | #Constraints:      29968
475.78/477.35	c #Conflicts:     822000 | #Constraints:      30968
475.78/477.35	c #Conflicts:     823000 | #Constraints:      31968
475.78/477.35	c #Conflicts:     824000 | #Constraints:      32968
475.78/477.35	c #Conflicts:     825000 | #Constraints:      33969
475.78/477.35	c #Conflicts:     826000 | #Constraints:      34969
475.78/477.35	c #Conflicts:     827000 | #Constraints:      35969
475.78/477.35	c #Conflicts:     828000 | #Constraints:      36970
475.78/477.35	c INPROCESSING
475.78/477.35	c GARBAGE COLLECT
475.78/477.35	c #Conflicts:     829000 | #Constraints:      19984
475.78/477.35	c #Conflicts:     830000 | #Constraints:      20985
570.64/572.59	c #Conflicts:     831000 | #Constraints:      21985
570.64/572.59	c #Conflicts:     832000 | #Constraints:      22985
570.64/572.59	c #Conflicts:     833000 | #Constraints:      23985
570.64/572.59	c #Conflicts:     834000 | #Constraints:      24985
570.64/572.59	c #Conflicts:     835000 | #Constraints:      25985
570.64/572.59	c #Conflicts:     836000 | #Constraints:      26985
570.64/572.59	c #Conflicts:     837000 | #Constraints:      27986
570.64/572.59	c #Conflicts:     838000 | #Constraints:      28988
570.64/572.59	c #Conflicts:     839000 | #Constraints:      29988
570.64/572.59	c #Conflicts:     840000 | #Constraints:      30989
570.64/572.59	c #Conflicts:     841000 | #Constraints:      31989
570.64/572.59	c #Conflicts:     842000 | #Constraints:      32990
570.64/572.59	c #Conflicts:     843000 | #Constraints:      33991
570.64/572.59	c #Conflicts:     844000 | #Constraints:      34992
570.64/572.59	c #Conflicts:     845000 | #Constraints:      35993
570.64/572.59	c #Conflicts:     846000 | #Constraints:      36994
570.64/572.59	c INPROCESSING
570.64/572.59	c GARBAGE COLLECT
570.64/572.59	c #Conflicts:     847000 | #Constraints:      19761
570.64/572.59	c #Conflicts:     848000 | #Constraints:      20761
570.64/572.59	c #Conflicts:     849000 | #Constraints:      21762
570.64/572.59	c #Conflicts:     850000 | #Constraints:      22762
570.64/572.59	c #Conflicts:     851000 | #Constraints:      23763
570.64/572.59	c #Conflicts:     852000 | #Constraints:      24763
570.64/572.59	c #Conflicts:     853000 | #Constraints:      25764
570.64/572.59	c #Conflicts:     854000 | #Constraints:      26764
570.64/572.59	c #Conflicts:     855000 | #Constraints:      27764
570.64/572.59	c #Conflicts:     856000 | #Constraints:      28765
570.64/572.59	c #Conflicts:     857000 | #Constraints:      29765
570.64/572.59	c #Conflicts:     858000 | #Constraints:      30766
570.64/572.59	c #Conflicts:     859000 | #Constraints:      31766
570.64/572.59	c #Conflicts:     860000 | #Constraints:      32767
570.64/572.59	c #Conflicts:     861000 | #Constraints:      33767
570.64/572.59	c #Conflicts:     862000 | #Constraints:      34768
570.64/572.59	c #Conflicts:     863000 | #Constraints:      35768
570.64/572.59	c #Conflicts:     864000 | #Constraints:      36769
570.64/572.59	c #Conflicts:     865000 | #Constraints:      37769
570.64/572.59	c INPROCESSING
570.64/572.59	c GARBAGE COLLECT
570.64/572.59	c #Conflicts:     866000 | #Constraints:      20379
570.64/572.59	c #Conflicts:     867000 | #Constraints:      21656
570.64/572.59	c #Conflicts:     868000 | #Constraints:      23153
570.64/572.59	c #Conflicts:     869000 | #Constraints:      24603
570.64/572.59	c #Conflicts:     870000 | #Constraints:      26088
570.64/572.59	c #Conflicts:     871000 | #Constraints:      27611
570.64/572.59	c #Conflicts:     872000 | #Constraints:      29114
570.64/572.59	c #Conflicts:     873000 | #Constraints:      30603
570.64/572.59	c #Conflicts:     874000 | #Constraints:      32093
570.64/572.59	c #Conflicts:     875000 | #Constraints:      33561
570.64/572.59	c #Conflicts:     876000 | #Constraints:      35039
570.64/572.59	c #Conflicts:     877000 | #Constraints:      36511
570.64/572.59	c #Conflicts:     878000 | #Constraints:      38000
570.64/572.59	c #Conflicts:     879000 | #Constraints:      39477
570.64/572.59	c #Conflicts:     880000 | #Constraints:      40952
570.64/572.59	c #Conflicts:     881000 | #Constraints:      42427
570.64/572.59	c #Conflicts:     882000 | #Constraints:      43888
570.64/572.59	c #Conflicts:     883000 | #Constraints:      45361
570.64/572.59	c #Conflicts:     884000 | #Constraints:      46815
570.64/572.59	c INPROCESSING
570.64/572.59	c GARBAGE COLLECT
570.64/572.59	c #Conflicts:     885000 | #Constraints:      24546
570.64/572.59	c #Conflicts:     886000 | #Constraints:      26025
570.64/572.59	c #Conflicts:     887000 | #Constraints:      27506
570.64/572.59	c #Conflicts:     888000 | #Constraints:      28987
570.64/572.59	c #Conflicts:     889000 | #Constraints:      30483
570.64/572.59	c #Conflicts:     890000 | #Constraints:      31971
570.64/572.59	c #Conflicts:     891000 | #Constraints:      33451
570.64/572.59	c #Conflicts:     892000 | #Constraints:      34924
570.64/572.59	c #Conflicts:     893000 | #Constraints:      36398
570.64/572.59	c #Conflicts:     894000 | #Constraints:      37887
570.64/572.59	c #Conflicts:     895000 | #Constraints:      39376
570.64/572.59	c #Conflicts:     896000 | #Constraints:      40829
570.64/572.59	c #Conflicts:     897000 | #Constraints:      42325
570.64/572.59	c #Conflicts:     898000 | #Constraints:      43800
570.64/572.59	c #Conflicts:     899000 | #Constraints:      45261
570.64/572.59	c #Conflicts:     900000 | #Constraints:      46750
570.64/572.59	c #Conflicts:     901000 | #Constraints:      48246
570.64/572.59	c #Conflicts:     902000 | #Constraints:      49711
570.64/572.59	c #Conflicts:     903000 | #Constraints:      51187
570.64/572.59	c INPROCESSING
570.64/572.59	c GARBAGE COLLECT
570.64/572.59	c #Conflicts:     904000 | #Constraints:      27683
570.64/572.59	c #Conflicts:     905000 | #Constraints:      29171
570.64/572.59	c #Conflicts:     906000 | #Constraints:      30688
588.89/590.80	c #Conflicts:     907000 | #Constraints:      32183
588.89/590.80	c #Conflicts:     908000 | #Constraints:      33683
588.89/590.80	c #Conflicts:     909000 | #Constraints:      35152
588.89/590.80	c #Conflicts:     910000 | #Constraints:      36619
588.89/590.80	c #Conflicts:     911000 | #Constraints:      38123
588.89/590.80	c #Conflicts:     912000 | #Constraints:      39612
588.89/590.80	c #Conflicts:     913000 | #Constraints:      41099
588.89/590.80	c #Conflicts:     914000 | #Constraints:      42591
588.89/590.80	c #Conflicts:     915000 | #Constraints:      44069
588.89/590.80	c #Conflicts:     916000 | #Constraints:      45561
588.89/590.80	c cpu time 582.896 s
588.89/590.80	c deterministic time 37331323671 3.73e+10
588.89/590.80	c optimization time 9.2e-05 s
588.89/590.80	c total solve time 582.891 s
588.89/590.80	c core-guided solve time 0 s
588.89/590.80	c propagation time 346.809 s
588.89/590.80	c conflict analysis time 196.435 s
588.89/590.80	c propagations 158945836
588.89/590.80	c resolve steps 7750474
588.89/590.80	c decisions 2494908
588.89/590.80	c conflicts 916526
588.89/590.80	c restarts 2008
588.89/590.80	c inprocessing phases 86
588.89/590.80	c garbage collections 86 ,( 100.00 )
588.89/590.80	c input clauses 1064 ,( 99.91 )
588.89/590.80	c input cardinalities 1 ,( 0.09 )
588.89/590.80	c input general constraints 0 ,( 0.00 )
588.89/590.80	c input average constraint length 4.83
588.89/590.80	c input average constraint degree 1.69
588.89/590.80	c learned clauses 205106 ,( 21.72 )
588.89/590.80	c learned cardinalities 3134 ,( 0.33 )
588.89/590.80	c learned general constraints 736274 ,( 77.95 )
588.89/590.80	c learned average constraint length 158.96
588.89/590.80	c learned average constraint degree 2839140341.10
588.89/590.80	c watched  CF 32, 64, 128, Arb: 154125 , 0 , 0 , 0
588.89/590.80	c counting CF 32, 64, 128, Arb: 582149 , 0 , 0 , 0
588.89/590.80	c watched   constraints 154125 ,( 20.93 ) 
588.89/590.80	c counting  constraints 582149 ,( 79.07 ) 
588.89/590.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 29609943 , 22045715 , 4333771345 ,( 22977308 , 4310794037 )
588.89/590.80	c gcd simplifications 84834
588.89/590.80	c detected cardinalities 108
588.89/590.80	c weakened non-implied lits 219693231
588.89/590.80	c weakened non-implying lits 1108365
588.89/590.80	c original variables 1007
588.89/590.80	c clausal propagations 9009470
588.89/590.80	c cardinality propagations 277871
588.89/590.80	c watched propagations 243664
588.89/590.80	c counting propagations 140836506
588.89/590.80	c watch lookups 21282500766
588.89/590.80	c watch backjump lookups 0
588.89/590.80	c watch checks 789563899
588.89/590.80	c propagation checks 13183408442
588.89/590.80	c constraint additions 1751874699
588.89/590.80	c trail pops 162356773
588.89/590.80	c formula constraints 1065
588.89/590.80	c learned constraints 916074
588.89/590.80	c bound constraints 0
588.89/590.80	c core-guided constraints 0
588.89/590.80	c encountered formula constraints 3774556
588.89/590.80	c encountered learned constraints 2609883
588.89/590.80	c encountered bound constraints 0
588.89/590.80	c encountered core-guided constraints 0
588.89/590.80	c LP total time 38.5354 s
588.89/590.80	c LP solve time 20.16 s
588.89/590.80	c LP constraints added 1066
588.89/590.80	c LP constraints removed 0
588.89/590.80	c LP pivots internal 86962
588.89/590.80	c LP pivots root 91385
588.89/590.80	c LP calls 28011
588.89/590.80	c LP optimalities 1
588.89/590.80	c LP no pivot count 0
588.89/590.80	c LP infeasibilities 27990
588.89/590.80	c LP valid Farkas constraints 27989
588.89/590.80	c LP learned Farkas constraints 450
588.89/590.80	c LP basis resets 17
588.89/590.80	c LP cycling count 0
588.89/590.80	c LP singular count 17
588.89/590.80	c LP no primal count 0
588.89/590.80	c LP no farkas count 0
588.89/590.80	c LP other issue count 0
588.89/590.80	c LP Gomory cuts 1
588.89/590.80	c LP learned cuts 0
588.89/590.80	c LP deleted cuts 0
588.89/590.80	c LP encountered Gomory constraints 0
588.89/590.80	c LP encountered Farkas constraints 2154083
588.89/590.80	c LP encountered learned Farkas constraints 128026
588.89/590.80	c CG auxiliary variables introduced 0
588.89/590.80	c CG solutions found 0
588.89/590.80	c CG cores constructed 0
588.89/590.80	c CG core cardinality constraints returned 0
588.89/590.80	c CG unit cores 0
588.89/590.80	c CG single cores 0
588.89/590.80	c CG blocks removed during cardinality reduction 0
588.89/590.80	c CG first core best 0
588.89/590.80	c CG decision core best 0
588.89/590.80	c CG core reduction tie 0
588.89/590.80	c CG core degree average 0.00
588.89/590.80	c CG core slack average 0.00
588.89/590.80	c CG core upper bound improvements 0
588.89/590.80	c STR number of successful calls 0
588.89/590.80	c STR number of unsuccessful calls 0
588.89/590.80	c STR number of inconclusive calls 0
588.89/590.80	c STR number of successful attempts 0
588.89/590.80	c STR number of unsuccessful attempts 0
588.89/590.80	c STR number of inconclusive attempts 0
588.89/590.80	c STR average degree increase per successful call inf
588.89/590.80	c STR average degree increase per successful attempt inf
588.89/590.80	c STR total number of conflicts for successful attempts 0
588.89/590.80	c STR total number of conflicts for unsuccessful attempts 0
588.89/590.80	c STR total number of conflicts for inconclusive attempts 0
588.89/590.80	c STR average number of conflicts per successful attempt inf
588.89/590.80	c STR average number of conflicts per unsuccessful attempt inf
588.89/590.80	c STR average number of conflicts per inconclusive attempt inf
588.89/590.80	c AVG.sumWPerc 67.22 
588.89/590.80	c bigint constraints 0 
588.89/590.80	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

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: 63708 MiB (58891 MiB free)
  memory of node 1: 64465 MiB (60040 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543286-1753219140/watcher-4543286-1753219140 -o /tmp/evaluation-result-4543286-1753219140/solver-4543286-1753219140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175478 --watchdog 3760 run-dec-break.sh HOME/instance-4543286-1753219140.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100019 s]*
/proc/loadavg: 4.08 4.09 4.09 5/272 177359
/proc/meminfo: memFree=121779480/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=59032 memory=12952 CPUtime=0.07 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 1375 0 0 0 7 0 0 0 20 0 1 0 237593402 60448768 3238 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 14758 3238 2336 1147 0 2185 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63224 KiB
Current children cumulated memory: 15768 KiB

[startup+0.205587 s]*
/proc/loadavg: 4.08 4.09 4.09 5/272 177359
/proc/meminfo: memFree=121778472/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=59300 memory=13208 CPUtime=0.17 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 1419 0 0 0 17 0 0 0 20 0 1 0 237593402 60723200 3302 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 14825 3302 2336 1147 0 2252 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63492 KiB
Current children cumulated memory: 16024 KiB

[startup+0.30558 s]*
/proc/loadavg: 4.08 4.09 4.09 5/272 177359
/proc/meminfo: memFree=121776456/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=60488 memory=16932 CPUtime=0.26 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 1778 0 0 0 26 0 0 0 20 0 1 0 237593402 61939712 4233 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 15122 4233 2400 1147 0 2549 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 64680 KiB
Current children cumulated memory: 19748 KiB

[startup+0.700162 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 177359
/proc/meminfo: memFree=121760264/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=78616 memory=34392 CPUtime=0.65 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 5665 0 0 0 63 2 0 0 20 0 1 0 237593402 80502784 8598 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 19654 8598 2400 1147 0 7081 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 82808 KiB
Current children cumulated memory: 37208 KiB

[startup+1.50015 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 177359
/proc/meminfo: memFree=121760388/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=98592 memory=51176 CPUtime=1.45 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 9341 0 0 0 141 4 0 0 20 0 1 0 237593402 100958208 12794 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 24648 12794 2400 1147 0 12075 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 102784 KiB
Current children cumulated memory: 53992 KiB

[startup+3.1054 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 177359
/proc/meminfo: memFree=121744764/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=100292 memory=54504 CPUtime=3.04 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 10192 0 0 0 297 7 0 0 20 0 1 0 237593402 102699008 13626 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 25073 13626 2400 1147 0 12500 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 104484 KiB
Current children cumulated memory: 57320 KiB

[startup+6.30017 s]
/proc/loadavg: 4.07 4.09 4.09 5/272 177359
/proc/meminfo: memFree=121714416/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=137080 memory=82912 CPUtime=6.23 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 16251 0 0 0 608 15 0 0 20 0 1 0 237593402 140369920 20728 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 34270 20728 2400 1147 0 21697 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 141272 KiB
Current children cumulated memory: 85728 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 177359
/proc/meminfo: memFree=121699304/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=146360 memory=90720 CPUtime=12.62 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 18218 0 0 0 1237 25 0 0 20 0 1 0 237593402 149872640 22680 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 36590 22680 2400 1147 0 24017 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 150552 KiB
Current children cumulated memory: 93536 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 177359
/proc/meminfo: memFree=121683680/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=152484 memory=95840 CPUtime=25.39 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 19479 0 0 0 2491 48 0 0 20 0 1 0 237593402 156143616 23960 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 38121 23960 2400 1147 0 25548 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 156676 KiB
Current children cumulated memory: 98656 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 177360
/proc/meminfo: memFree=121663268/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=177004 memory=118100 CPUtime=50.94 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 24462 0 0 0 5008 86 0 0 20 0 1 0 237593402 181252096 29525 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 44251 29525 2496 1147 0 31678 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 181196 KiB
Current children cumulated memory: 120916 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 177363
/proc/meminfo: memFree=121619904/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=227772 memory=156640 CPUtime=102.01 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 33045 0 0 0 10039 162 0 0 20 0 1 0 237593402 233238528 39160 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 56943 39160 2528 1147 0 44370 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 231964 KiB
Current children cumulated memory: 159456 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 177365
/proc/meminfo: memFree=121589748/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=247400 memory=177156 CPUtime=161.86 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 37140 0 0 0 15953 233 0 0 20 0 1 0 237593402 253337600 44289 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 61850 44289 2528 1147 0 49277 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 251592 KiB
Current children cumulated memory: 179972 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.08 4/271 177616
/proc/meminfo: memFree=122053416/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=283240 memory=195068 CPUtime=221.63 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 40631 0 0 0 21860 303 0 0 20 0 1 0 237593402 290037760 48767 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 70810 48767 2528 1147 0 58237 0
Current children cumulated CPU time: 221.63 s

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

/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 41450 0 0 0 27774 363 0 0 20 0 1 0 237593402 293466112 49599 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 71647 49599 2528 1147 0 59074 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 290780 KiB
Current children cumulated memory: 201212 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 177947
/proc/meminfo: memFree=121667800/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=287532 memory=199292 CPUtime=341.21 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 41669 0 0 0 33709 412 0 0 20 0 1 0 237593402 294432768 49823 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 71883 49823 2528 1147 0 59310 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 291724 KiB
Current children cumulated memory: 202108 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 177996
/proc/meminfo: memFree=121662040/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=289092 memory=200700 CPUtime=401.04 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 42028 0 0 0 39646 458 0 0 20 0 1 0 237593402 296030208 50175 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 72273 50175 2528 1147 0 59700 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 293284 KiB
Current children cumulated memory: 203516 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/271 178090
/proc/meminfo: memFree=121928776/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=291148 memory=202620 CPUtime=460.84 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 42499 0 0 0 45578 506 0 0 20 0 1 0 237593402 298135552 50655 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 72787 50655 2528 1147 0 60214 0
Current children cumulated CPU time: 460.84 s
Current children cumulated vsize: 295340 KiB
Current children cumulated memory: 205436 KiB

[startup+522.3 s]
/proc/loadavg: 4.08 4.08 4.09 4/266 178154
/proc/meminfo: memFree=121814748/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=356020 memory=255024 CPUtime=520.65 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 50504 0 0 0 51513 552 0 0 20 0 1 0 237593402 364564480 63756 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 89005 63756 2528 1147 0 76432 0
Current children cumulated CPU time: 520.65 s
Current children cumulated vsize: 360212 KiB
Current children cumulated memory: 257840 KiB

[startup+582.3 s]
/proc/loadavg: 4.21 4.11 4.10 5/271 178380
/proc/meminfo: memFree=121527992/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=542308 memory=396704 CPUtime=580.41 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 77750 0 0 0 57445 596 0 0 20 0 1 0 237593402 555323392 99176 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 135577 99176 2528 1147 0 123004 0
Current children cumulated CPU time: 580.41 s
Current children cumulated vsize: 546500 KiB
Current children cumulated memory: 399520 KiB

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

# cumulated CPU time of all completed processes:  user=582.905 s, system=6.02056 s

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

[startup+582.4 s]
/proc/loadavg: 4.21 4.11 4.10 5/271 178380
/proc/meminfo: memFree=121527992/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=542308 memory=396704 CPUtime=580.51 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 77750 0 0 0 57455 596 0 0 20 0 1 0 237593402 555323392 99176 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 135577 99176 2528 1147 0 123004 0
Current children cumulated CPU time: 580.51 s
Current children cumulated vsize: 546500 KiB
Current children cumulated memory: 399520 KiB

[startup+585.6 s]
/proc/loadavg: 4.21 4.11 4.10 5/271 178381
/proc/meminfo: memFree=121534860/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=542308 memory=396704 CPUtime=583.7 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 77750 0 0 0 57772 598 0 0 20 0 1 0 237593402 555323392 99176 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 135577 99176 2528 1147 0 123004 0
Current children cumulated CPU time: 583.7 s
Current children cumulated vsize: 546500 KiB
Current children cumulated memory: 399520 KiB

[startup+588.8 s]
/proc/loadavg: 4.19 4.11 4.10 5/271 178381
/proc/meminfo: memFree=121512460/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=542308 memory=396704 CPUtime=586.9 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 77753 0 0 0 58091 599 0 0 20 0 1 0 237593402 555323392 99176 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 135577 99176 2528 1147 0 123004 0
Current children cumulated CPU time: 586.9 s
Current children cumulated vsize: 546500 KiB
Current children cumulated memory: 399520 KiB

[startup+589.6 s]
/proc/loadavg: 4.19 4.11 4.10 5/271 178381
/proc/meminfo: memFree=121504396/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=542308 memory=396704 CPUtime=587.69 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 77753 0 0 0 58170 599 0 0 20 0 1 0 237593402 555323392 99176 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 135577 99176 2528 1147 0 123004 0
Current children cumulated CPU time: 587.69 s
Current children cumulated vsize: 546500 KiB
Current children cumulated memory: 399520 KiB

[startup+590.4 s]
/proc/loadavg: 4.19 4.11 4.10 5/271 178381
/proc/meminfo: memFree=121504396/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=542308 memory=396832 CPUtime=588.49 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 77756 0 0 0 58250 599 0 0 20 0 1 0 237593402 555323392 99208 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 135577 99208 2528 1147 0 123004 0
Current children cumulated CPU time: 588.49 s
Current children cumulated vsize: 546500 KiB
Current children cumulated memory: 399648 KiB

[startup+590.8 s]
/proc/loadavg: 4.19 4.11 4.10 5/271 178381
/proc/meminfo: memFree=121504396/131250000 swapFree=33009904/33010684
[pid=177356] ppid=177353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/177356/stat : 177356 (run-dec-break.s) S 177353 177356 175467 0 -1 4194304 236 747 0 0 0 0 0 0 20 0 1 0 237593401 4292608 704 18446744073709551615 94278157496320 94278158390853 140728214717488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94278158629904 94278158677648 94278190456832 140728214722911 140728214723040 140728214723040 140728214728644 0
/proc/177356/statm: 1048 704 672 219 0 110 0
[pid=177359] ppid=177356 vsize=542308 memory=396832 CPUtime=588.89 cores=4,6
/proc/177359/stat : 177359 (roundingsat) R 177356 177356 175467 0 -1 4194304 77757 0 0 0 58289 600 0 0 20 0 1 0 237593402 555323392 99208 18446744073709551615 4227072 8923433 140728964562512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38088704 140728964569410 140728964569638 140728964569638 140728964575210 0
/proc/177359/statm: 135577 99208 2528 1147 0 123004 0
Current children cumulated CPU time: 588.89 s
Current children cumulated vsize: 546500 KiB
Current children cumulated memory: 399648 KiB

Child status: 0

Real time (s): 590.819
CPU time (s): 588.926
CPU user time (s): 582.905
CPU system time (s): 6.02056
CPU usage (%): 99.6795
Max. virtual memory (cumulated for all children) (KiB): 546500
Max. memory (cumulated for all children) (KiB): 399648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 582.905
system time used= 6.02056
maximum resident set size= 396832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 633


# summary of solver processes directly reported to runsolver:
#   pid: 177356
#   total CPU time (s): 588.926
#   total CPU user time (s): 582.905
#   total CPU system time (s): 6.02056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20396 second user time and 2.63659 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-22 23:19:00
IDJOB=4543286
IDBENCH=172509
IDSOLVER=3357
FILE ID=nodeC033/4543286-1753219140
RUNJOBID= nodeC033-1753211687-175478
SLURM_JOB_ID= 9687798
Free space on /tmp= 432328 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543286-1753219140/watcher-4543286-1753219140 -o /tmp/evaluation-result-4543286-1753219140/solver-4543286-1753219140 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175478 --watchdog 3760  run-dec-break.sh HOME/instance-4543286-1753219140.opb

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

MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=451418040

nodeC033 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		: 3600.068
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	: 7000.13
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		: 3600.047
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	: 7000.13
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		: 3578.753
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	: 7000.13
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		: 3595.958
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	: 7000.13
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		: 3600.068
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	: 7000.13
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		: 3600.071
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	: 7000.13
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		: 3602.853
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	: 7000.13
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		: 3597.193
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121786108 kB
MemAvailable:   123506180 kB
Buffers:            2128 kB
Cached:          2443172 kB
SwapCached:           64 kB
Active:          7431432 kB
Inactive:        1216040 kB
Active(anon):    6223116 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file):  1210756 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7220 kB
Writeback:             0 kB
AnonPages:       6200928 kB
Mapped:           122072 kB
Shmem:             26228 kB
KReclaimable:     280476 kB
Slab:             378244 kB
SReclaimable:     280476 kB
SUnreclaim:        97768 kB
KernelStack:        4384 kB
PageTables:        15604 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6814936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4427776 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432336 MiB
End job on nodeC033 at 2025-07-22 23:28:51