Trace number 4543287

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat+pbsuma-log 63f22adUNSAT cert. 873.825 876.424

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

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul 23 00:02:30 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (48268 MiB free)
  memory of node 1: 64465 MiB (52681 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543287-1753219239/watcher-4543287-1753219239 -o /tmp/evaluation-result-4543287-1753219239/solver-4543287-1753219239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157540 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4543287-1753219239.opb /tmp/proof-4543287-1753219239 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=159464, runsolver pid=159461

[startup+0.100077 s]*
/proc/loadavg: 3.99 4.09 4.08 5/260 159467
/proc/meminfo: memFree=103369068/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=58688 memory=12368 CPUtime=0.04 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 1294 0 0 0 3 1 0 0 20 0 1 0 237602545 60096512 3092 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 14672 3092 2272 1147 0 2099 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62880 KiB
Current children cumulated memory: 15312 KiB

[startup+0.213497 s]*
/proc/loadavg: 3.99 4.09 4.08 5/260 159467
/proc/meminfo: memFree=103368060/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=59096 memory=12752 CPUtime=0.15 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 1385 0 0 0 14 1 0 0 20 0 1 0 237602545 60514304 3188 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 14774 3188 2272 1147 0 2201 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63288 KiB
Current children cumulated memory: 15696 KiB

[startup+0.313301 s]*
/proc/loadavg: 3.99 4.09 4.08 5/260 159467
/proc/meminfo: memFree=103368060/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=59096 memory=12752 CPUtime=0.24 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 1385 0 0 0 23 1 0 0 20 0 1 0 237602545 60514304 3188 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 14774 3188 2272 1147 0 2201 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 63288 KiB
Current children cumulated memory: 15696 KiB

[startup+0.700365 s]
/proc/loadavg: 3.99 4.09 4.08 5/260 159467
/proc/meminfo: memFree=103368060/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=59364 memory=12880 CPUtime=0.62 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 1438 0 0 0 60 2 0 0 20 0 1 0 237602545 60788736 3220 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 14841 3220 2272 1147 0 2268 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 63556 KiB
Current children cumulated memory: 15824 KiB

[startup+1.50037 s]
/proc/loadavg: 3.99 4.09 4.08 5/260 159467
/proc/meminfo: memFree=103368060/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=78816 memory=33996 CPUtime=1.42 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 5675 0 0 0 136 6 0 0 20 0 1 0 237602545 80707584 8499 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 19704 8499 2304 1147 0 7131 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 83008 KiB
Current children cumulated memory: 36940 KiB

[startup+3.11317 s]
/proc/loadavg: 3.99 4.09 4.08 5/260 159467
/proc/meminfo: memFree=103324684/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=99964 memory=52356 CPUtime=3.02 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 9753 0 0 0 293 9 0 0 20 0 1 0 237602545 102363136 13089 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 24991 13089 2304 1147 0 12418 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 104156 KiB
Current children cumulated memory: 55300 KiB

[startup+6.30038 s]
/proc/loadavg: 3.99 4.09 4.08 5/257 159469
/proc/meminfo: memFree=103291432/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=132468 memory=79916 CPUtime=6.21 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 15585 0 0 0 602 19 0 0 20 0 1 0 237602545 135647232 19979 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 33117 19979 2336 1147 0 20544 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 136660 KiB
Current children cumulated memory: 82860 KiB

[startup+12.7004 s]
/proc/loadavg: 3.99 4.09 4.08 5/257 159469
/proc/meminfo: memFree=103207704/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=141948 memory=87084 CPUtime=12.58 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 17376 0 0 0 1225 33 0 0 20 0 1 0 237602545 145354752 21771 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 35487 21771 2336 1147 0 22914 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 146140 KiB
Current children cumulated memory: 90028 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 159469
/proc/meminfo: memFree=102947096/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=151572 memory=95020 CPUtime=25.35 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 19350 0 0 0 2471 64 0 0 20 0 1 0 237602545 155209728 23755 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 37893 23755 2336 1147 0 25320 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 155764 KiB
Current children cumulated memory: 97964 KiB

[startup+51.1132 s]
/proc/loadavg: 4.27 4.14 4.10 5/257 159469
/proc/meminfo: memFree=102427456/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=173644 memory=115184 CPUtime=50.88 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 23790 0 0 0 4957 131 0 0 20 0 1 0 237602545 177811456 28796 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 43411 28796 2432 1147 0 30838 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 177836 KiB
Current children cumulated memory: 118128 KiB

[startup+102.3 s]
/proc/loadavg: 4.87 4.33 4.17 5/257 159472
/proc/meminfo: memFree=101476172/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=202996 memory=139504 CPUtime=101.92 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 29855 0 0 0 9947 245 0 0 20 0 1 0 237602545 207867904 34876 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 50749 34876 2464 1147 0 38176 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 207188 KiB
Current children cumulated memory: 142448 KiB

[startup+162.3 s]
/proc/loadavg: 4.56 4.35 4.19 5/256 159474
/proc/meminfo: memFree=100135460/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=237776 memory=169752 CPUtime=161.76 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 35373 0 0 0 15788 388 0 0 20 0 1 0 237602545 243482624 42438 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 59444 42438 2464 1147 0 46871 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 241968 KiB
Current children cumulated memory: 172696 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 4.31 4.18 5/260 160017
/proc/meminfo: memFree=98635892/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=249644 memory=179480 CPUtime=221.57 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 37799 0 0 0 21624 533 0 0 20 0 1 0 237602545 255635456 44870 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 62411 44870 2464 1147 0 49838 0

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

/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 43756 0 0 0 62590 1446 0 0 20 0 1 0 237602545 303341568 51845 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 74058 51845 2464 1147 0 61485 0
Current children cumulated CPU time: 640.38 s
Current children cumulated vsize: 300424 KiB
Current children cumulated memory: 210324 KiB

[startup+702.3 s]
/proc/loadavg: 4.27 4.29 4.21 5/256 160638
/proc/meminfo: memFree=85795560/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=296232 memory=207508 CPUtime=700.19 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 43793 0 0 0 68438 1581 0 0 20 0 1 0 237602545 303341568 51877 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 74058 51877 2464 1147 0 61485 0
Current children cumulated CPU time: 700.21 s
Current children cumulated vsize: 300424 KiB
Current children cumulated memory: 210452 KiB

[startup+762.3 s]
/proc/loadavg: 4.27 4.28 4.21 5/256 160640
/proc/meminfo: memFree=83771452/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=296508 memory=207764 CPUtime=760.02 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 43853 0 0 0 74284 1718 0 0 20 0 1 0 237602545 303624192 51941 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 74127 51941 2464 1147 0 61554 0
Current children cumulated CPU time: 760.04 s
Current children cumulated vsize: 300700 KiB
Current children cumulated memory: 210708 KiB

[startup+822.3 s]
/proc/loadavg: 4.30 4.29 4.22 5/254 160642
/proc/meminfo: memFree=82251840/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=545600 memory=384784 CPUtime=819.82 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 76895 0 0 0 80145 1837 0 0 20 0 1 0 237602545 558694400 96196 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 136400 96196 2464 1147 0 123827 0
Current children cumulated CPU time: 819.84 s
Current children cumulated vsize: 549792 KiB
Current children cumulated memory: 387728 KiB

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

# cumulated CPU time of all completed processes:  user=854.526 s, system=19.299 s

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

[startup+844.8 s]
/proc/loadavg: 4.21 4.27 4.21 5/254 160642
/proc/meminfo: memFree=81835844/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549000 memory=399024 CPUtime=842.25 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 78921 0 0 0 82355 1870 0 0 20 0 1 0 237602545 562176000 99756 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137250 99756 2464 1147 0 124677 0
Current children cumulated CPU time: 842.27 s
Current children cumulated vsize: 553192 KiB
Current children cumulated memory: 401968 KiB

[startup+857.6 s]
/proc/loadavg: 4.23 4.27 4.21 5/254 160642
/proc/meminfo: memFree=81509464/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549912 memory=403812 CPUtime=855.01 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 79586 0 0 0 83608 1893 0 0 20 0 1 0 237602545 563109888 100953 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137478 100953 2464 1147 0 124905 0
Current children cumulated CPU time: 855.03 s
Current children cumulated vsize: 554104 KiB
Current children cumulated memory: 406756 KiB

[startup+864 s]*
/proc/loadavg: 4.22 4.27 4.21 5/254 160643
/proc/meminfo: memFree=81291760/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549912 memory=403812 CPUtime=861.4 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 79589 0 0 0 84235 1905 0 0 20 0 1 0 237602545 563109888 100953 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137478 100953 2464 1147 0 124905 0
Current children cumulated CPU time: 861.42 s
Current children cumulated vsize: 554104 KiB
Current children cumulated memory: 406756 KiB

[startup+870.4 s]
/proc/loadavg: 4.18 4.26 4.21 5/254 160643
/proc/meminfo: memFree=81171040/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549912 memory=403812 CPUtime=867.77 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 79590 0 0 0 84860 1917 0 0 20 0 1 0 237602545 563109888 100953 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137478 100953 2464 1147 0 124905 0
Current children cumulated CPU time: 867.79 s
Current children cumulated vsize: 554104 KiB
Current children cumulated memory: 406756 KiB

[startup+873.6 s]
/proc/loadavg: 4.18 4.26 4.21 5/254 160644
/proc/meminfo: memFree=81114844/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549912 memory=403812 CPUtime=870.96 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 79592 0 0 0 85173 1923 0 0 20 0 1 0 237602545 563109888 100953 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137478 100953 2464 1147 0 124905 0
Current children cumulated CPU time: 870.98 s
Current children cumulated vsize: 554104 KiB
Current children cumulated memory: 406756 KiB

[startup+875.2 s]
/proc/loadavg: 4.17 4.25 4.21 5/254 160644
/proc/meminfo: memFree=81074536/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549912 memory=403812 CPUtime=872.56 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 79594 0 0 0 85331 1925 0 0 20 0 1 0 237602545 563109888 100953 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137478 100953 2464 1147 0 124905 0
Current children cumulated CPU time: 872.58 s
Current children cumulated vsize: 554104 KiB
Current children cumulated memory: 406756 KiB

[startup+876 s]*
/proc/loadavg: 4.17 4.25 4.21 5/254 160644
/proc/meminfo: memFree=81050344/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549912 memory=403812 CPUtime=873.37 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 79596 0 0 0 85411 1926 0 0 20 0 1 0 237602545 563109888 100953 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137478 100953 2464 1147 0 124905 0
Current children cumulated CPU time: 873.39 s
Current children cumulated vsize: 554104 KiB
Current children cumulated memory: 406756 KiB

[startup+876.4 s]
/proc/loadavg: 4.17 4.25 4.21 5/254 160644
/proc/meminfo: memFree=81050344/131382120 swapFree=33010160/33010684
[pid=159464] ppid=159461 vsize=4192 memory=2944 CPUtime=0.02 cores=1,3
/proc/159464/stat : 159464 (run-dec-break-l) S 159461 159464 157528 0 -1 4194304 240 756 0 0 0 0 2 0 20 0 1 0 237602540 4292608 736 18446744073709551615 94420430811136 94420431705669 140737359771504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94420431944720 94420431992464 94420448227328 140737359776057 140737359776220 140737359776220 140737359781824 0
/proc/159464/statm: 1048 736 672 219 0 110 0
[pid=159467] ppid=159464 vsize=549912 memory=403812 CPUtime=873.75 cores=1,3
/proc/159467/stat : 159467 (roundingsat) R 159464 159464 157528 0 -1 4194304 79598 0 0 0 85449 1926 0 0 20 0 1 0 237602545 563109888 100953 18446744073709551615 4227072 8923433 140728883455968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34054144 140728883460376 140728883460646 140728883460646 140728883466218 0
/proc/159467/statm: 137478 100953 2464 1147 0 124905 0
Current children cumulated CPU time: 873.77 s
Current children cumulated vsize: 554104 KiB
Current children cumulated memory: 406756 KiB

Child status: 0

Real time (s): 876.424
CPU time (s): 873.825
CPU user time (s): 854.526
CPU system time (s): 19.299
CPU usage (%): 99.7035
Max. virtual memory (cumulated for all children) (KiB): 554104
Max. memory (cumulated for all children) (KiB): 406756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 854.526
system time used= 19.299
maximum resident set size= 403812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42274784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 221
involuntary context switches= 1244


# summary of solver processes directly reported to runsolver:
#   pid: 159464
#   total CPU time (s): 873.825
#   total CPU user time (s): 854.526
#   total CPU system time (s): 19.299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.59478 second user time and 8.75364 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-22 23:20:39
IDJOB=4543287
IDBENCH=172509
IDSOLVER=3358
FILE ID=nodeC003/4543287-1753219239
RUNJOBID= nodeC003-1753211729-157540
SLURM_JOB_ID= 9687799
Free space on /tmp= 431860 MiB

SOLVER NAME= roundingsat+pbsuma-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543287-1753219239/watcher-4543287-1753219239 -o /tmp/evaluation-result-4543287-1753219239/solver-4543287-1753219239 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753211729-157540 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4543287-1753219239.opb /tmp/proof-4543287-1753219239

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

MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=533138320

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        103373352 kB
MemAvailable:   123629632 kB
Buffers:            2736 kB
Cached:         21024236 kB
SwapCached:           36 kB
Active:          7398816 kB
Inactive:       19918904 kB
Active(anon):    6309272 kB
Inactive(anon):     7604 kB
Active(file):    1089544 kB
Inactive(file): 19911300 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7412 kB
Writeback:             0 kB
AnonPages:       6288160 kB
Mapped:           122064 kB
Shmem:             26120 kB
KReclaimable:     190124 kB
Slab:             280836 kB
SReclaimable:     190124 kB
SUnreclaim:        90712 kB
KernelStack:        4172 kB
PageTables:        15856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    6909468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4585472 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 402668 MiB
End job on nodeC003 at 2025-07-22 23:35:15