Trace number 4455635

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 nolog (2)? (TO) 3602.04 3613.91

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K165.opb
MD5SUM75fbe782de7ac9ce41dec078153ff02c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark179.209
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19635
Total number of constraints19967
Number of constraints which are clauses19802
Number of constraints which are cardinality constraints (but not clauses)165
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint165
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 166
Number of bits of the biggest sum of numbers8
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.10/0.16	c #variables 19635 #constraints 19967
94.48/94.84	c #Conflicts:       1000 | #Constraints:      20966
94.48/94.84	c #Conflicts:       2000 | #Constraints:      21966
94.48/94.84	c INPROCESSING
94.48/94.84	c GARBAGE COLLECT
94.48/94.84	c #Conflicts:       3000 | #Constraints:      21219
94.48/94.84	c #Conflicts:       4000 | #Constraints:      22219
94.48/94.84	c INPROCESSING
94.48/94.84	c GARBAGE COLLECT
94.48/94.84	c #Conflicts:       5000 | #Constraints:      21712
94.48/94.84	c #Conflicts:       6000 | #Constraints:      22712
94.48/94.84	c INPROCESSING
94.48/94.84	c GARBAGE COLLECT
94.48/94.84	c #Conflicts:       7000 | #Constraints:      21816
94.48/94.84	c #Conflicts:       8000 | #Constraints:      22816
94.48/94.84	c #Conflicts:       9000 | #Constraints:      23816
94.48/94.84	c #Conflicts:      10000 | #Constraints:      24816
94.48/94.84	c #Conflicts:      11000 | #Constraints:      25816
94.48/94.84	c #Conflicts:      12000 | #Constraints:      26817
94.48/94.84	c INPROCESSING
94.48/94.84	c GARBAGE COLLECT
94.48/94.84	c #Conflicts:      13000 | #Constraints:      23821
94.48/94.84	c #Conflicts:      14000 | #Constraints:      24821
94.48/94.84	c #Conflicts:      15000 | #Constraints:      25821
94.48/94.84	c #Conflicts:      16000 | #Constraints:      26821
94.48/94.84	c INPROCESSING
94.48/94.84	c GARBAGE COLLECT
94.48/94.84	c #Conflicts:      17000 | #Constraints:      24002
94.48/94.84	c #Conflicts:      18000 | #Constraints:      25002
94.48/94.84	c #Conflicts:      19000 | #Constraints:      26002
94.48/94.84	c #Conflicts:      20000 | #Constraints:      27002
94.48/94.84	c #Conflicts:      21000 | #Constraints:      28002
94.48/94.84	c #Conflicts:      22000 | #Constraints:      29002
94.48/94.84	c #Conflicts:      23000 | #Constraints:      30002
94.48/94.84	c #Conflicts:      24000 | #Constraints:      31002
94.48/94.84	c #Conflicts:      25000 | #Constraints:      32002
94.48/94.84	c INPROCESSING
94.48/94.84	c GARBAGE COLLECT
94.48/94.84	c rational objective 165
118.90/119.37	c #Conflicts:      26000 | #Constraints:      26538
118.90/119.37	c #Conflicts:      27000 | #Constraints:      27538
118.90/119.37	c #Conflicts:      28000 | #Constraints:      28538
118.90/119.37	c #Conflicts:      29000 | #Constraints:      29538
118.90/119.37	c #Conflicts:      30000 | #Constraints:      30538
118.90/119.37	c INPROCESSING
118.90/119.37	c GARBAGE COLLECT
118.90/119.37	c rational objective 165
308.76/309.86	c #Conflicts:      31000 | #Constraints:      26080
308.76/309.86	c #Conflicts:      32000 | #Constraints:      27080
308.76/309.86	c #Conflicts:      33000 | #Constraints:      28080
308.76/309.86	c #Conflicts:      34000 | #Constraints:      29080
308.76/309.86	c #Conflicts:      35000 | #Constraints:      30080
308.76/309.86	c #Conflicts:      36000 | #Constraints:      31080
308.76/309.86	c #Conflicts:      37000 | #Constraints:      32080
308.76/309.86	c #Conflicts:      38000 | #Constraints:      33080
308.76/309.86	c #Conflicts:      39000 | #Constraints:      34080
308.76/309.86	c #Conflicts:      40000 | #Constraints:      35081
308.76/309.86	c #Conflicts:      41000 | #Constraints:      36081
308.76/309.86	c #Conflicts:      42000 | #Constraints:      37081
308.76/309.86	c #Conflicts:      43000 | #Constraints:      38081
308.76/309.86	c INPROCESSING
308.76/309.86	c GARBAGE COLLECT
308.76/309.86	c #Conflicts:      44000 | #Constraints:      29976
308.76/309.86	c #Conflicts:      45000 | #Constraints:      30976
308.76/309.86	c #Conflicts:      46000 | #Constraints:      31976
308.76/309.86	c #Conflicts:      47000 | #Constraints:      32976
308.76/309.86	c #Conflicts:      48000 | #Constraints:      33976
308.76/309.86	c #Conflicts:      49000 | #Constraints:      34976
308.76/309.86	c INPROCESSING
308.76/309.86	c GARBAGE COLLECT
308.76/309.86	c #Conflicts:      50000 | #Constraints:      28834
308.76/309.86	c #Conflicts:      51000 | #Constraints:      29834
308.76/309.86	c #Conflicts:      52000 | #Constraints:      30834
308.76/309.86	c #Conflicts:      53000 | #Constraints:      31834
308.76/309.86	c #Conflicts:      54000 | #Constraints:      32834
308.76/309.86	c #Conflicts:      55000 | #Constraints:      33835
308.76/309.86	c #Conflicts:      56000 | #Constraints:      34835
308.76/309.86	c #Conflicts:      57000 | #Constraints:      35835
308.76/309.86	c #Conflicts:      58000 | #Constraints:      36835
308.76/309.86	c #Conflicts:      59000 | #Constraints:      37835
308.76/309.86	c #Conflicts:      60000 | #Constraints:      38835
308.76/309.86	c #Conflicts:      61000 | #Constraints:      39835
308.76/309.86	c #Conflicts:      62000 | #Constraints:      40835
308.76/309.86	c #Conflicts:      63000 | #Constraints:      41835
308.76/309.86	c #Conflicts:      64000 | #Constraints:      42835
308.76/309.86	c #Conflicts:      65000 | #Constraints:      43835
308.76/309.86	c INPROCESSING
308.76/309.86	c GARBAGE COLLECT
308.76/309.86	c #Conflicts:      66000 | #Constraints:      33143
308.76/309.86	c #Conflicts:      67000 | #Constraints:      34143
308.76/309.86	c #Conflicts:      68000 | #Constraints:      35143
308.76/309.86	c #Conflicts:      69000 | #Constraints:      36143
308.76/309.86	c #Conflicts:      70000 | #Constraints:      37143
308.76/309.86	c #Conflicts:      71000 | #Constraints:      38143
308.76/309.86	c #Conflicts:      72000 | #Constraints:      39143
308.76/309.86	c INPROCESSING
308.76/309.86	c GARBAGE COLLECT
308.76/309.86	c rational objective 165
332.79/333.98	c #Conflicts:      73000 | #Constraints:      31281
332.79/333.98	c #Conflicts:      74000 | #Constraints:      32281
332.79/333.98	c #Conflicts:      75000 | #Constraints:      33281
332.79/333.98	c #Conflicts:      76000 | #Constraints:      34281
332.79/333.98	c #Conflicts:      77000 | #Constraints:      35281
332.79/333.98	c #Conflicts:      78000 | #Constraints:      36281
332.79/333.98	c #Conflicts:      79000 | #Constraints:      37281
332.79/333.98	c #Conflicts:      80000 | #Constraints:      38281
332.79/333.98	c #Conflicts:      81000 | #Constraints:      39281
332.79/333.98	c #Conflicts:      82000 | #Constraints:      40281
332.79/333.98	c #Conflicts:      83000 | #Constraints:      41281
332.79/333.98	c #Conflicts:      84000 | #Constraints:      42281
332.79/333.98	c #Conflicts:      85000 | #Constraints:      43281
332.79/333.98	c #Conflicts:      86000 | #Constraints:      44281
332.79/333.98	c #Conflicts:      87000 | #Constraints:      45281
332.79/333.98	c #Conflicts:      88000 | #Constraints:      46281
332.79/333.98	c #Conflicts:      89000 | #Constraints:      47281
332.79/333.98	c #Conflicts:      90000 | #Constraints:      48281
332.79/333.98	c #Conflicts:      91000 | #Constraints:      49281
332.79/333.98	c INPROCESSING
332.79/333.98	c GARBAGE COLLECT
332.79/333.98	c rational objective 165
372.26/373.57	c #Conflicts:      92000 | #Constraints:      35777
372.26/373.57	c #Conflicts:      93000 | #Constraints:      36777
372.26/373.57	c #Conflicts:      94000 | #Constraints:      37777
372.26/373.57	c #Conflicts:      95000 | #Constraints:      38777
372.26/373.57	c #Conflicts:      96000 | #Constraints:      39777
372.26/373.57	c #Conflicts:      97000 | #Constraints:      40778
372.26/373.57	c #Conflicts:      98000 | #Constraints:      41778
372.26/373.57	c #Conflicts:      99000 | #Constraints:      42778
372.26/373.57	c #Conflicts:     100000 | #Constraints:      43778
372.26/373.57	c INPROCESSING
372.26/373.57	c GARBAGE COLLECT
372.26/373.57	c rational objective 165
666.88/669.19	c #Conflicts:     101000 | #Constraints:      33708
666.88/669.19	c #Conflicts:     102000 | #Constraints:      34708
666.88/669.19	c #Conflicts:     103000 | #Constraints:      35708
666.88/669.19	c #Conflicts:     104000 | #Constraints:      36709
666.88/669.19	c #Conflicts:     105000 | #Constraints:      37709
666.88/669.19	c #Conflicts:     106000 | #Constraints:      38709
666.88/669.19	c #Conflicts:     107000 | #Constraints:      39709
666.88/669.19	c #Conflicts:     108000 | #Constraints:      40709
666.88/669.19	c #Conflicts:     109000 | #Constraints:      41709
666.88/669.19	c #Conflicts:     110000 | #Constraints:      42709
666.88/669.19	c #Conflicts:     111000 | #Constraints:      43709
666.88/669.19	c #Conflicts:     112000 | #Constraints:      44709
666.88/669.19	c #Conflicts:     113000 | #Constraints:      45709
666.88/669.19	c #Conflicts:     114000 | #Constraints:      46709
666.88/669.19	c #Conflicts:     115000 | #Constraints:      47709
666.88/669.19	c #Conflicts:     116000 | #Constraints:      48709
666.88/669.19	c #Conflicts:     117000 | #Constraints:      49709
666.88/669.19	c #Conflicts:     118000 | #Constraints:      50709
666.88/669.19	c #Conflicts:     119000 | #Constraints:      51709
666.88/669.19	c #Conflicts:     120000 | #Constraints:      52709
666.88/669.20	c #Conflicts:     121000 | #Constraints:      53710
666.88/669.20	c INPROCESSING
666.88/669.20	c GARBAGE COLLECT
666.88/669.20	c #Conflicts:     122000 | #Constraints:      37807
666.88/669.20	c #Conflicts:     123000 | #Constraints:      38807
666.88/669.20	c #Conflicts:     124000 | #Constraints:      39807
666.88/669.20	c #Conflicts:     125000 | #Constraints:      40807
666.88/669.20	c #Conflicts:     126000 | #Constraints:      41807
666.88/669.20	c #Conflicts:     127000 | #Constraints:      42807
666.88/669.20	c #Conflicts:     128000 | #Constraints:      43807
666.88/669.20	c #Conflicts:     129000 | #Constraints:      44807
666.88/669.20	c #Conflicts:     130000 | #Constraints:      45807
666.88/669.20	c #Conflicts:     131000 | #Constraints:      46807
666.88/669.20	c #Conflicts:     132000 | #Constraints:      47807
666.88/669.20	c INPROCESSING
666.88/669.20	c GARBAGE COLLECT
666.88/669.20	c #Conflicts:     133000 | #Constraints:      36251
666.88/669.20	c #Conflicts:     134000 | #Constraints:      37251
666.88/669.20	c #Conflicts:     135000 | #Constraints:      38251
666.88/669.20	c #Conflicts:     136000 | #Constraints:      39251
666.88/669.20	c #Conflicts:     137000 | #Constraints:      40252
666.88/669.20	c #Conflicts:     138000 | #Constraints:      41252
666.88/669.20	c #Conflicts:     139000 | #Constraints:      42252
666.88/669.20	c #Conflicts:     140000 | #Constraints:      43252
666.88/669.20	c #Conflicts:     141000 | #Constraints:      44252
666.88/669.20	c #Conflicts:     142000 | #Constraints:      45252
666.88/669.20	c #Conflicts:     143000 | #Constraints:      46252
666.88/669.20	c #Conflicts:     144000 | #Constraints:      47252
666.88/669.20	c #Conflicts:     145000 | #Constraints:      48252
666.88/669.20	c #Conflicts:     146000 | #Constraints:      49252
666.88/669.20	c #Conflicts:     147000 | #Constraints:      50252
666.88/669.20	c #Conflicts:     148000 | #Constraints:      51252
666.88/669.20	c #Conflicts:     149000 | #Constraints:      52252
666.88/669.20	c #Conflicts:     150000 | #Constraints:      53252
666.88/669.20	c #Conflicts:     151000 | #Constraints:      54253
666.88/669.20	c #Conflicts:     152000 | #Constraints:      55253
666.88/669.20	c #Conflicts:     153000 | #Constraints:      56253
666.88/669.20	c #Conflicts:     154000 | #Constraints:      57253
666.88/669.20	c #Conflicts:     155000 | #Constraints:      58253
666.88/669.20	c #Conflicts:     156000 | #Constraints:      59253
666.88/669.20	c INPROCESSING
666.88/669.20	c GARBAGE COLLECT
666.88/669.20	c #Conflicts:     157000 | #Constraints:      40668
666.88/669.20	c #Conflicts:     158000 | #Constraints:      41668
666.88/669.20	c #Conflicts:     159000 | #Constraints:      42668
666.88/669.20	c #Conflicts:     160000 | #Constraints:      43668
666.88/669.20	c #Conflicts:     161000 | #Constraints:      44668
666.88/669.20	c #Conflicts:     162000 | #Constraints:      45669
666.88/669.20	c #Conflicts:     163000 | #Constraints:      46669
666.88/669.20	c #Conflicts:     164000 | #Constraints:      47669
666.88/669.20	c #Conflicts:     165000 | #Constraints:      48669
666.88/669.20	c #Conflicts:     166000 | #Constraints:      49669
666.88/669.20	c #Conflicts:     167000 | #Constraints:      50669
666.88/669.20	c #Conflicts:     168000 | #Constraints:      51669
666.88/669.20	c INPROCESSING
666.88/669.20	c GARBAGE COLLECT
666.88/669.20	c rational objective 165
853.07/855.98	c #Conflicts:     169000 | #Constraints:      38684
853.07/855.98	c #Conflicts:     170000 | #Constraints:      39684
853.07/855.98	c #Conflicts:     171000 | #Constraints:      40684
853.07/855.98	c #Conflicts:     172000 | #Constraints:      41684
853.07/855.98	c #Conflicts:     173000 | #Constraints:      42684
853.07/855.98	c #Conflicts:     174000 | #Constraints:      43685
853.07/855.98	c #Conflicts:     175000 | #Constraints:      44685
853.07/855.98	c #Conflicts:     176000 | #Constraints:      45686
853.07/855.98	c #Conflicts:     177000 | #Constraints:      46687
853.07/855.98	c #Conflicts:     178000 | #Constraints:      47687
853.07/855.98	c #Conflicts:     179000 | #Constraints:      48687
853.07/855.98	c #Conflicts:     180000 | #Constraints:      49687
853.07/855.98	c #Conflicts:     181000 | #Constraints:      50687
853.07/855.98	c #Conflicts:     182000 | #Constraints:      51687
853.07/855.98	c #Conflicts:     183000 | #Constraints:      52687
853.07/855.98	c #Conflicts:     184000 | #Constraints:      53687
853.07/855.98	c #Conflicts:     185000 | #Constraints:      54687
853.07/855.98	c #Conflicts:     186000 | #Constraints:      55687
853.07/855.98	c #Conflicts:     187000 | #Constraints:      56687
853.07/855.98	c #Conflicts:     188000 | #Constraints:      57687
853.07/855.98	c #Conflicts:     189000 | #Constraints:      58687
853.07/855.98	c #Conflicts:     190000 | #Constraints:      59687
853.07/855.98	c #Conflicts:     191000 | #Constraints:      60687
853.07/855.98	c #Conflicts:     192000 | #Constraints:      61687
853.07/855.98	c #Conflicts:     193000 | #Constraints:      62687
853.07/855.98	c #Conflicts:     194000 | #Constraints:      63688
853.07/855.98	c #Conflicts:     195000 | #Constraints:      64688
853.07/855.98	c #Conflicts:     196000 | #Constraints:      65688
853.07/855.98	c INPROCESSING
853.07/855.98	c GARBAGE COLLECT
853.07/855.98	c rational objective 165
1130.29/1134.02	c #Conflicts:     197000 | #Constraints:      44178
1130.29/1134.02	c #Conflicts:     198000 | #Constraints:      45178
1130.29/1134.02	c #Conflicts:     199000 | #Constraints:      46178
1130.29/1134.02	c #Conflicts:     200000 | #Constraints:      47178
1130.29/1134.02	c #Conflicts:     201000 | #Constraints:      48178
1130.29/1134.02	c #Conflicts:     202000 | #Constraints:      49178
1130.29/1134.02	c #Conflicts:     203000 | #Constraints:      50178
1130.29/1134.02	c #Conflicts:     204000 | #Constraints:      51178
1130.29/1134.02	c #Conflicts:     205000 | #Constraints:      52178
1130.29/1134.02	c #Conflicts:     206000 | #Constraints:      53178
1130.29/1134.02	c #Conflicts:     207000 | #Constraints:      54178
1130.29/1134.02	c #Conflicts:     208000 | #Constraints:      55178
1130.29/1134.02	c #Conflicts:     209000 | #Constraints:      56179
1130.29/1134.02	c INPROCESSING
1130.29/1134.02	c GARBAGE COLLECT
1130.29/1134.02	c #Conflicts:     210000 | #Constraints:      40950
1130.29/1134.02	c #Conflicts:     211000 | #Constraints:      41950
1130.29/1134.02	c #Conflicts:     212000 | #Constraints:      42950
1130.29/1134.02	c #Conflicts:     213000 | #Constraints:      43950
1130.29/1134.02	c #Conflicts:     214000 | #Constraints:      44951
1130.29/1134.02	c #Conflicts:     215000 | #Constraints:      45951
1130.29/1134.02	c #Conflicts:     216000 | #Constraints:      46951
1130.29/1134.02	c #Conflicts:     217000 | #Constraints:      47951
1130.29/1134.02	c #Conflicts:     218000 | #Constraints:      48951
1130.29/1134.02	c #Conflicts:     219000 | #Constraints:      49952
1130.29/1134.02	c #Conflicts:     220000 | #Constraints:      50952
1130.29/1134.02	c #Conflicts:     221000 | #Constraints:      51952
1130.29/1134.02	c #Conflicts:     222000 | #Constraints:      52952
1130.29/1134.02	c #Conflicts:     223000 | #Constraints:      53952
1130.29/1134.02	c #Conflicts:     224000 | #Constraints:      54952
1130.29/1134.02	c #Conflicts:     225000 | #Constraints:      55952
1130.29/1134.02	c #Conflicts:     226000 | #Constraints:      56952
1130.29/1134.02	c #Conflicts:     227000 | #Constraints:      57952
1130.29/1134.02	c #Conflicts:     228000 | #Constraints:      58952
1130.29/1134.02	c #Conflicts:     229000 | #Constraints:      59952
1130.29/1134.02	c #Conflicts:     230000 | #Constraints:      60952
1130.29/1134.02	c #Conflicts:     231000 | #Constraints:      61952
1130.29/1134.02	c #Conflicts:     232000 | #Constraints:      62952
1130.29/1134.02	c #Conflicts:     233000 | #Constraints:      63953
1130.29/1134.02	c #Conflicts:     234000 | #Constraints:      64953
1130.29/1134.02	c #Conflicts:     235000 | #Constraints:      65954
1130.29/1134.02	c #Conflicts:     236000 | #Constraints:      66954
1130.29/1134.02	c #Conflicts:     237000 | #Constraints:      67954
1130.29/1134.02	c #Conflicts:     238000 | #Constraints:      68954
1130.29/1134.02	c #Conflicts:     239000 | #Constraints:      69954
1130.29/1134.02	c #Conflicts:     240000 | #Constraints:      70954
1130.29/1134.02	c INPROCESSING
1130.29/1134.02	c GARBAGE COLLECT
1130.29/1134.02	c #Conflicts:     241000 | #Constraints:      47063
1130.29/1134.02	c #Conflicts:     242000 | #Constraints:      48063
1130.29/1134.02	c #Conflicts:     243000 | #Constraints:      49063
1130.29/1134.02	c #Conflicts:     244000 | #Constraints:      50063
1130.29/1134.02	c #Conflicts:     245000 | #Constraints:      51063
1130.29/1134.02	c #Conflicts:     246000 | #Constraints:      52063
1130.29/1134.02	c #Conflicts:     247000 | #Constraints:      53063
1130.29/1134.02	c #Conflicts:     248000 | #Constraints:      54063
1130.29/1134.02	c #Conflicts:     249000 | #Constraints:      55063
1130.29/1134.02	c #Conflicts:     250000 | #Constraints:      56063
1130.29/1134.02	c #Conflicts:     251000 | #Constraints:      57063
1130.29/1134.02	c #Conflicts:     252000 | #Constraints:      58063
1130.29/1134.02	c #Conflicts:     253000 | #Constraints:      59063
1130.29/1134.02	c #Conflicts:     254000 | #Constraints:      60063
1130.29/1134.02	c INPROCESSING
1130.29/1134.02	c GARBAGE COLLECT
1130.29/1134.02	c #Conflicts:     255000 | #Constraints:      43273
1130.29/1134.02	c #Conflicts:     256000 | #Constraints:      44273
1130.29/1134.02	c #Conflicts:     257000 | #Constraints:      45273
1130.29/1134.02	c #Conflicts:     258000 | #Constraints:      46273
1130.29/1134.02	c #Conflicts:     259000 | #Constraints:      47273
1130.29/1134.02	c #Conflicts:     260000 | #Constraints:      48273
1130.29/1134.02	c #Conflicts:     261000 | #Constraints:      49273
1130.29/1134.02	c #Conflicts:     262000 | #Constraints:      50273
1130.29/1134.02	c #Conflicts:     263000 | #Constraints:      51273
1130.29/1134.02	c #Conflicts:     264000 | #Constraints:      52273
1130.29/1134.02	c #Conflicts:     265000 | #Constraints:      53273
1130.29/1134.02	c #Conflicts:     266000 | #Constraints:      54273
1130.29/1134.02	c #Conflicts:     267000 | #Constraints:      55273
1130.29/1134.02	c #Conflicts:     268000 | #Constraints:      56273
1130.29/1134.02	c #Conflicts:     269000 | #Constraints:      57273
1130.29/1134.02	c #Conflicts:     270000 | #Constraints:      58273
1130.29/1134.02	c #Conflicts:     271000 | #Constraints:      59273
1130.29/1134.02	c #Conflicts:     272000 | #Constraints:      60274
1130.29/1134.02	c #Conflicts:     273000 | #Constraints:      61274
1260.76/1264.92	c #Conflicts:     274000 | #Constraints:      62274
1260.76/1264.92	c #Conflicts:     275000 | #Constraints:      63274
1260.76/1264.92	c #Conflicts:     276000 | #Constraints:      64274
1260.76/1264.92	c #Conflicts:     277000 | #Constraints:      65274
1260.76/1264.92	c #Conflicts:     278000 | #Constraints:      66274
1260.76/1264.92	c #Conflicts:     279000 | #Constraints:      67274
1260.76/1264.92	c #Conflicts:     280000 | #Constraints:      68274
1260.76/1264.92	c #Conflicts:     281000 | #Constraints:      69274
1260.76/1264.92	c #Conflicts:     282000 | #Constraints:      70274
1260.76/1264.92	c #Conflicts:     283000 | #Constraints:      71274
1260.76/1264.92	c #Conflicts:     284000 | #Constraints:      72274
1260.76/1264.92	c #Conflicts:     285000 | #Constraints:      73274
1260.76/1264.92	c #Conflicts:     286000 | #Constraints:      74274
1260.76/1264.92	c #Conflicts:     287000 | #Constraints:      75274
1260.76/1264.92	c #Conflicts:     288000 | #Constraints:      76274
1260.76/1264.92	c INPROCESSING
1260.76/1264.92	c GARBAGE COLLECT
1260.76/1264.92	c rational objective 165
1675.52/1681.02	c #Conflicts:     289000 | #Constraints:      49649
1675.52/1681.02	c #Conflicts:     290000 | #Constraints:      50649
1675.52/1681.02	c #Conflicts:     291000 | #Constraints:      51650
1675.52/1681.02	c #Conflicts:     292000 | #Constraints:      52650
1675.52/1681.02	c #Conflicts:     293000 | #Constraints:      53650
1675.52/1681.02	c #Conflicts:     294000 | #Constraints:      54651
1675.52/1681.02	c #Conflicts:     295000 | #Constraints:      55651
1675.52/1681.02	c #Conflicts:     296000 | #Constraints:      56651
1675.52/1681.02	c #Conflicts:     297000 | #Constraints:      57651
1675.52/1681.02	c #Conflicts:     298000 | #Constraints:      58651
1675.52/1681.02	c #Conflicts:     299000 | #Constraints:      59651
1675.52/1681.02	c #Conflicts:     300000 | #Constraints:      60651
1675.52/1681.02	c #Conflicts:     301000 | #Constraints:      61651
1675.52/1681.02	c #Conflicts:     302000 | #Constraints:      62651
1675.52/1681.02	c #Conflicts:     303000 | #Constraints:      63651
1675.52/1681.02	c INPROCESSING
1675.52/1681.02	c GARBAGE COLLECT
1675.52/1681.02	c #Conflicts:     304000 | #Constraints:      45756
1675.52/1681.02	c #Conflicts:     305000 | #Constraints:      46756
1675.52/1681.02	c #Conflicts:     306000 | #Constraints:      47756
1675.52/1681.02	c #Conflicts:     307000 | #Constraints:      48756
1675.52/1681.02	c #Conflicts:     308000 | #Constraints:      49757
1675.52/1681.02	c #Conflicts:     309000 | #Constraints:      50757
1675.52/1681.02	c #Conflicts:     310000 | #Constraints:      51757
1675.52/1681.02	c #Conflicts:     311000 | #Constraints:      52757
1675.52/1681.02	c #Conflicts:     312000 | #Constraints:      53757
1675.52/1681.02	c #Conflicts:     313000 | #Constraints:      54757
1675.52/1681.02	c #Conflicts:     314000 | #Constraints:      55757
1675.52/1681.02	c #Conflicts:     315000 | #Constraints:      56757
1675.52/1681.02	c #Conflicts:     316000 | #Constraints:      57757
1675.52/1681.02	c #Conflicts:     317000 | #Constraints:      58757
1675.52/1681.02	c #Conflicts:     318000 | #Constraints:      59757
1675.52/1681.02	c #Conflicts:     319000 | #Constraints:      60757
1675.52/1681.02	c #Conflicts:     320000 | #Constraints:      61757
1675.52/1681.02	c #Conflicts:     321000 | #Constraints:      62757
1675.52/1681.02	c #Conflicts:     322000 | #Constraints:      63757
1675.52/1681.02	c #Conflicts:     323000 | #Constraints:      64757
1675.52/1681.02	c #Conflicts:     324000 | #Constraints:      65757
1675.52/1681.02	c #Conflicts:     325000 | #Constraints:      66757
1675.52/1681.02	c #Conflicts:     326000 | #Constraints:      67757
1675.52/1681.02	c #Conflicts:     327000 | #Constraints:      68757
1675.52/1681.02	c #Conflicts:     328000 | #Constraints:      69757
1675.52/1681.02	c #Conflicts:     329000 | #Constraints:      70757
1675.52/1681.02	c #Conflicts:     330000 | #Constraints:      71757
1675.52/1681.02	c #Conflicts:     331000 | #Constraints:      72757
1675.52/1681.02	c #Conflicts:     332000 | #Constraints:      73757
1675.52/1681.02	c #Conflicts:     333000 | #Constraints:      74757
1675.52/1681.02	c #Conflicts:     334000 | #Constraints:      75757
1675.52/1681.02	c #Conflicts:     335000 | #Constraints:      76757
1675.52/1681.02	c #Conflicts:     336000 | #Constraints:      77757
1675.52/1681.02	c #Conflicts:     337000 | #Constraints:      78757
1675.52/1681.02	c #Conflicts:     338000 | #Constraints:      79757
1675.52/1681.02	c #Conflicts:     339000 | #Constraints:      80757
1675.52/1681.02	c #Conflicts:     340000 | #Constraints:      81757
1675.52/1681.02	c INPROCESSING
1675.52/1681.02	c GARBAGE COLLECT
1675.52/1681.02	c #Conflicts:     341000 | #Constraints:      52327
1675.52/1681.02	c #Conflicts:     342000 | #Constraints:      53327
1675.52/1681.02	c #Conflicts:     343000 | #Constraints:      54327
1675.52/1681.02	c #Conflicts:     344000 | #Constraints:      55327
1675.52/1681.02	c #Conflicts:     345000 | #Constraints:      56327
1675.52/1681.02	c #Conflicts:     346000 | #Constraints:      57327
1675.52/1681.02	c #Conflicts:     347000 | #Constraints:      58327
1675.52/1681.02	c #Conflicts:     348000 | #Constraints:      59327
1675.52/1681.02	c #Conflicts:     349000 | #Constraints:      60327
1675.52/1681.02	c #Conflicts:     350000 | #Constraints:      61327
1675.52/1681.02	c #Conflicts:     351000 | #Constraints:      62327
1675.52/1681.02	c #Conflicts:     352000 | #Constraints:      63327
1675.52/1681.02	c #Conflicts:     353000 | #Constraints:      64327
1675.52/1681.02	c #Conflicts:     354000 | #Constraints:      65327
1675.52/1681.02	c #Conflicts:     355000 | #Constraints:      66327
1675.52/1681.02	c #Conflicts:     356000 | #Constraints:      67327
1675.52/1681.02	c #Conflicts:     357000 | #Constraints:      68327
1675.52/1681.02	c INPROCESSING
1675.52/1681.02	c GARBAGE COLLECT
1675.52/1681.02	c #Conflicts:     358000 | #Constraints:      48265
1675.52/1681.02	c #Conflicts:     359000 | #Constraints:      49265
1675.52/1681.02	c #Conflicts:     360000 | #Constraints:      50265
1675.52/1681.02	c #Conflicts:     361000 | #Constraints:      51265
1675.52/1681.02	c #Conflicts:     362000 | #Constraints:      52265
1675.52/1681.02	c #Conflicts:     363000 | #Constraints:      53265
1675.52/1681.02	c #Conflicts:     364000 | #Constraints:      54266
1675.52/1681.02	c #Conflicts:     365000 | #Constraints:      55266
2268.26/2275.74	c #Conflicts:     366000 | #Constraints:      56266
2268.26/2275.74	c #Conflicts:     367000 | #Constraints:      57266
2268.26/2275.74	c #Conflicts:     368000 | #Constraints:      58266
2268.26/2275.74	c #Conflicts:     369000 | #Constraints:      59266
2268.26/2275.74	c #Conflicts:     370000 | #Constraints:      60266
2268.26/2275.74	c #Conflicts:     371000 | #Constraints:      61266
2268.26/2275.74	c #Conflicts:     372000 | #Constraints:      62266
2268.26/2275.74	c #Conflicts:     373000 | #Constraints:      63266
2268.26/2275.74	c #Conflicts:     374000 | #Constraints:      64266
2268.26/2275.74	c #Conflicts:     375000 | #Constraints:      65266
2268.26/2275.74	c #Conflicts:     376000 | #Constraints:      66266
2268.26/2275.74	c #Conflicts:     377000 | #Constraints:      67266
2268.26/2275.74	c #Conflicts:     378000 | #Constraints:      68266
2268.26/2275.74	c #Conflicts:     379000 | #Constraints:      69266
2268.26/2275.74	c #Conflicts:     380000 | #Constraints:      70266
2268.26/2275.74	c #Conflicts:     381000 | #Constraints:      71266
2268.26/2275.74	c #Conflicts:     382000 | #Constraints:      72266
2268.26/2275.74	c #Conflicts:     383000 | #Constraints:      73266
2268.26/2275.74	c #Conflicts:     384000 | #Constraints:      74266
2268.26/2275.74	c #Conflicts:     385000 | #Constraints:      75266
2268.26/2275.74	c #Conflicts:     386000 | #Constraints:      76266
2268.26/2275.74	c #Conflicts:     387000 | #Constraints:      77267
2268.26/2275.74	c #Conflicts:     388000 | #Constraints:      78267
2268.26/2275.74	c #Conflicts:     389000 | #Constraints:      79267
2268.26/2275.74	c #Conflicts:     390000 | #Constraints:      80267
2268.26/2275.74	c #Conflicts:     391000 | #Constraints:      81267
2268.26/2275.74	c #Conflicts:     392000 | #Constraints:      82267
2268.26/2275.74	c #Conflicts:     393000 | #Constraints:      83267
2268.26/2275.74	c #Conflicts:     394000 | #Constraints:      84267
2268.26/2275.74	c #Conflicts:     395000 | #Constraints:      85267
2268.26/2275.74	c #Conflicts:     396000 | #Constraints:      86267
2268.26/2275.74	c #Conflicts:     397000 | #Constraints:      87267
2268.26/2275.74	c INPROCESSING
2268.26/2275.74	c GARBAGE COLLECT
2268.26/2275.74	c #Conflicts:     398000 | #Constraints:      55082
2268.26/2275.74	c #Conflicts:     399000 | #Constraints:      56082
2268.26/2275.74	c #Conflicts:     400000 | #Constraints:      57082
2268.26/2275.74	c #Conflicts:     401000 | #Constraints:      58082
2268.26/2275.74	c #Conflicts:     402000 | #Constraints:      59082
2268.26/2275.74	c #Conflicts:     403000 | #Constraints:      60082
2268.26/2275.74	c #Conflicts:     404000 | #Constraints:      61082
2268.26/2275.74	c #Conflicts:     405000 | #Constraints:      62082
2268.26/2275.74	c #Conflicts:     406000 | #Constraints:      63082
2268.26/2275.74	c #Conflicts:     407000 | #Constraints:      64082
2268.26/2275.74	c #Conflicts:     408000 | #Constraints:      65082
2268.26/2275.74	c #Conflicts:     409000 | #Constraints:      66082
2268.26/2275.74	c #Conflicts:     410000 | #Constraints:      67082
2268.26/2275.74	c #Conflicts:     411000 | #Constraints:      68082
2268.26/2275.74	c #Conflicts:     412000 | #Constraints:      69082
2268.26/2275.74	c #Conflicts:     413000 | #Constraints:      70082
2268.26/2275.74	c #Conflicts:     414000 | #Constraints:      71082
2268.26/2275.74	c #Conflicts:     415000 | #Constraints:      72082
2268.26/2275.74	c INPROCESSING
2268.26/2275.74	c GARBAGE COLLECT
2268.26/2275.74	c #Conflicts:     416000 | #Constraints:      50849
2268.26/2275.74	c #Conflicts:     417000 | #Constraints:      51849
2268.26/2275.74	c #Conflicts:     418000 | #Constraints:      52849
2268.26/2275.74	c #Conflicts:     419000 | #Constraints:      53849
2268.26/2275.74	c #Conflicts:     420000 | #Constraints:      54849
2268.26/2275.74	c #Conflicts:     421000 | #Constraints:      55849
2268.26/2275.74	c #Conflicts:     422000 | #Constraints:      56849
2268.26/2275.74	c #Conflicts:     423000 | #Constraints:      57849
2268.26/2275.74	c #Conflicts:     424000 | #Constraints:      58849
2268.26/2275.74	c #Conflicts:     425000 | #Constraints:      59849
2268.26/2275.74	c #Conflicts:     426000 | #Constraints:      60849
2268.26/2275.74	c #Conflicts:     427000 | #Constraints:      61849
2268.26/2275.74	c #Conflicts:     428000 | #Constraints:      62849
2268.26/2275.74	c #Conflicts:     429000 | #Constraints:      63849
2268.26/2275.74	c #Conflicts:     430000 | #Constraints:      64849
2268.26/2275.74	c #Conflicts:     431000 | #Constraints:      65849
2268.26/2275.74	c #Conflicts:     432000 | #Constraints:      66849
2268.26/2275.74	c #Conflicts:     433000 | #Constraints:      67849
2268.26/2275.74	c #Conflicts:     434000 | #Constraints:      68849
2268.26/2275.74	c #Conflicts:     435000 | #Constraints:      69849
2268.26/2275.74	c #Conflicts:     436000 | #Constraints:      70849
2268.26/2275.74	c #Conflicts:     437000 | #Constraints:      71849
2268.26/2275.74	c #Conflicts:     438000 | #Constraints:      72849
2268.26/2275.74	c #Conflicts:     439000 | #Constraints:      73849
2268.26/2275.74	c #Conflicts:     440000 | #Constraints:      74849
2268.26/2275.74	c #Conflicts:     441000 | #Constraints:      75849
2268.26/2275.74	c #Conflicts:     442000 | #Constraints:      76849
2268.26/2275.74	c #Conflicts:     443000 | #Constraints:      77849
2706.61/2715.53	c #Conflicts:     444000 | #Constraints:      78849
2706.61/2715.53	c #Conflicts:     445000 | #Constraints:      79849
2706.61/2715.53	c #Conflicts:     446000 | #Constraints:      80849
2706.61/2715.53	c #Conflicts:     447000 | #Constraints:      81849
2706.61/2715.53	c #Conflicts:     448000 | #Constraints:      82849
2706.61/2715.53	c #Conflicts:     449000 | #Constraints:      83849
2706.61/2715.53	c #Conflicts:     450000 | #Constraints:      84849
2706.61/2715.53	c #Conflicts:     451000 | #Constraints:      85849
2706.61/2715.53	c #Conflicts:     452000 | #Constraints:      86849
2706.61/2715.53	c #Conflicts:     453000 | #Constraints:      87849
2706.61/2715.53	c #Conflicts:     454000 | #Constraints:      88849
2706.61/2715.53	c #Conflicts:     455000 | #Constraints:      89849
2706.61/2715.53	c #Conflicts:     456000 | #Constraints:      90849
2706.61/2715.53	c #Conflicts:     457000 | #Constraints:      91849
2706.61/2715.53	c #Conflicts:     458000 | #Constraints:      92849
2706.61/2715.53	c #Conflicts:     459000 | #Constraints:      93849
2706.61/2715.53	c INPROCESSING
2706.61/2715.53	c GARBAGE COLLECT
2706.61/2715.53	c #Conflicts:     460000 | #Constraints:      58657
2706.61/2715.53	c #Conflicts:     461000 | #Constraints:      59657
2706.61/2715.53	c #Conflicts:     462000 | #Constraints:      60657
2706.61/2715.53	c #Conflicts:     463000 | #Constraints:      61657
2706.61/2715.53	c #Conflicts:     464000 | #Constraints:      62657
2706.61/2715.53	c #Conflicts:     465000 | #Constraints:      63657
2706.61/2715.53	c #Conflicts:     466000 | #Constraints:      64657
2706.61/2715.53	c #Conflicts:     467000 | #Constraints:      65657
2706.61/2715.53	c #Conflicts:     468000 | #Constraints:      66657
2706.61/2715.53	c #Conflicts:     469000 | #Constraints:      67657
2706.61/2715.53	c #Conflicts:     470000 | #Constraints:      68657
2706.61/2715.53	c #Conflicts:     471000 | #Constraints:      69657
2706.61/2715.53	c #Conflicts:     472000 | #Constraints:      70657
2706.61/2715.53	c #Conflicts:     473000 | #Constraints:      71657
2706.61/2715.53	c #Conflicts:     474000 | #Constraints:      72657
2706.61/2715.53	c #Conflicts:     475000 | #Constraints:      73657
2706.61/2715.53	c #Conflicts:     476000 | #Constraints:      74657
2706.61/2715.53	c #Conflicts:     477000 | #Constraints:      75657
2706.61/2715.53	c #Conflicts:     478000 | #Constraints:      76657
2706.61/2715.53	c INPROCESSING
2706.61/2715.53	c GARBAGE COLLECT
2706.61/2715.53	c #Conflicts:     479000 | #Constraints:      52575
2706.61/2715.53	c #Conflicts:     480000 | #Constraints:      53575
2706.61/2715.53	c #Conflicts:     481000 | #Constraints:      54575
2706.61/2715.53	c #Conflicts:     482000 | #Constraints:      55575
2706.61/2715.53	c #Conflicts:     483000 | #Constraints:      56575
2706.61/2715.53	c #Conflicts:     484000 | #Constraints:      57575
2706.61/2715.53	c #Conflicts:     485000 | #Constraints:      58575
2706.61/2715.53	c #Conflicts:     486000 | #Constraints:      59575
2706.61/2715.53	c #Conflicts:     487000 | #Constraints:      60575
2706.61/2715.53	c #Conflicts:     488000 | #Constraints:      61575
2706.61/2715.53	c #Conflicts:     489000 | #Constraints:      62575
2706.61/2715.53	c #Conflicts:     490000 | #Constraints:      63575
2706.61/2715.53	c #Conflicts:     491000 | #Constraints:      64575
2706.61/2715.53	c #Conflicts:     492000 | #Constraints:      65575
2706.61/2715.53	c #Conflicts:     493000 | #Constraints:      66575
2706.61/2715.53	c #Conflicts:     494000 | #Constraints:      67575
2706.61/2715.53	c #Conflicts:     495000 | #Constraints:      68575
2706.61/2715.53	c #Conflicts:     496000 | #Constraints:      69575
2706.61/2715.53	c #Conflicts:     497000 | #Constraints:      70575
2706.61/2715.53	c #Conflicts:     498000 | #Constraints:      71575
2706.61/2715.53	c #Conflicts:     499000 | #Constraints:      72575
2706.61/2715.53	c #Conflicts:     500000 | #Constraints:      73575
2706.61/2715.53	c #Conflicts:     501000 | #Constraints:      74575
2706.61/2715.53	c #Conflicts:     502000 | #Constraints:      75575
2706.61/2715.53	c #Conflicts:     503000 | #Constraints:      76575
2706.61/2715.53	c #Conflicts:     504000 | #Constraints:      77575
2706.61/2715.53	c #Conflicts:     505000 | #Constraints:      78575
2706.61/2715.53	c #Conflicts:     506000 | #Constraints:      79575
2706.61/2715.53	c #Conflicts:     507000 | #Constraints:      80575
2706.61/2715.53	c #Conflicts:     508000 | #Constraints:      81575
2706.61/2715.53	c #Conflicts:     509000 | #Constraints:      82575
2706.61/2715.53	c #Conflicts:     510000 | #Constraints:      83575
2706.61/2715.53	c #Conflicts:     511000 | #Constraints:      84575
2706.61/2715.53	c #Conflicts:     512000 | #Constraints:      85575
2706.61/2715.53	c #Conflicts:     513000 | #Constraints:      86575
2706.61/2715.53	c #Conflicts:     514000 | #Constraints:      87575
2706.61/2715.53	c #Conflicts:     515000 | #Constraints:      88575
2706.61/2715.53	c #Conflicts:     516000 | #Constraints:      89575
2706.61/2715.53	c #Conflicts:     517000 | #Constraints:      90575
2706.61/2715.53	c #Conflicts:     518000 | #Constraints:      91575
2706.61/2715.53	c #Conflicts:     519000 | #Constraints:      92575
2706.61/2715.53	c #Conflicts:     520000 | #Constraints:      93575
2838.06/2847.45	c #Conflicts:     521000 | #Constraints:      94575
2838.06/2847.45	c #Conflicts:     522000 | #Constraints:      95575
2838.06/2847.45	c #Conflicts:     523000 | #Constraints:      96575
2838.06/2847.45	c #Conflicts:     524000 | #Constraints:      97575
2838.06/2847.45	c #Conflicts:     525000 | #Constraints:      98575
2838.06/2847.45	c INPROCESSING
2838.06/2847.45	c GARBAGE COLLECT
2838.06/2847.45	c #Conflicts:     526000 | #Constraints:      61267
2838.06/2847.45	c #Conflicts:     527000 | #Constraints:      62267
2838.06/2847.45	c #Conflicts:     528000 | #Constraints:      63267
2838.06/2847.45	c #Conflicts:     529000 | #Constraints:      64267
2838.06/2847.45	c #Conflicts:     530000 | #Constraints:      65267
2838.06/2847.45	c #Conflicts:     531000 | #Constraints:      66267
2838.06/2847.45	c #Conflicts:     532000 | #Constraints:      67267
2838.06/2847.45	c #Conflicts:     533000 | #Constraints:      68267
2838.06/2847.45	c #Conflicts:     534000 | #Constraints:      69267
2838.06/2847.45	c #Conflicts:     535000 | #Constraints:      70267
2838.06/2847.45	c #Conflicts:     536000 | #Constraints:      71267
2838.06/2847.45	c #Conflicts:     537000 | #Constraints:      72267
2838.06/2847.45	c #Conflicts:     538000 | #Constraints:      73267
2838.06/2847.45	c #Conflicts:     539000 | #Constraints:      74267
2838.06/2847.45	c #Conflicts:     540000 | #Constraints:      75267
2838.06/2847.45	c #Conflicts:     541000 | #Constraints:      76267
2838.06/2847.45	c #Conflicts:     542000 | #Constraints:      77267
2838.06/2847.45	c #Conflicts:     543000 | #Constraints:      78267
2838.06/2847.45	c #Conflicts:     544000 | #Constraints:      79267
2838.06/2847.45	c #Conflicts:     545000 | #Constraints:      80267
2838.06/2847.45	c INPROCESSING
2838.06/2847.45	c GARBAGE COLLECT
2838.06/2847.45	c #Conflicts:     546000 | #Constraints:      54567
2838.06/2847.45	c #Conflicts:     547000 | #Constraints:      55567
2838.06/2847.45	c #Conflicts:     548000 | #Constraints:      56567
2838.06/2847.45	c #Conflicts:     549000 | #Constraints:      57567
2838.06/2847.45	c #Conflicts:     550000 | #Constraints:      58567
2838.06/2847.45	c #Conflicts:     551000 | #Constraints:      59567
2838.06/2847.45	c #Conflicts:     552000 | #Constraints:      60567
2838.06/2847.45	c #Conflicts:     553000 | #Constraints:      61567
2838.06/2847.45	c #Conflicts:     554000 | #Constraints:      62567
2838.06/2847.45	c #Conflicts:     555000 | #Constraints:      63567
2838.06/2847.45	c #Conflicts:     556000 | #Constraints:      64567
2838.06/2847.45	c #Conflicts:     557000 | #Constraints:      65567
2838.06/2847.45	c #Conflicts:     558000 | #Constraints:      66567
2838.06/2847.45	c #Conflicts:     559000 | #Constraints:      67567
2838.06/2847.45	c #Conflicts:     560000 | #Constraints:      68567
2838.06/2847.45	c #Conflicts:     561000 | #Constraints:      69567
2838.06/2847.45	c #Conflicts:     562000 | #Constraints:      70567
2838.06/2847.45	c #Conflicts:     563000 | #Constraints:      71567
2838.06/2847.45	c #Conflicts:     564000 | #Constraints:      72567
2838.06/2847.45	c #Conflicts:     565000 | #Constraints:      73567
2838.06/2847.45	c #Conflicts:     566000 | #Constraints:      74567
2838.06/2847.45	c #Conflicts:     567000 | #Constraints:      75567
2838.06/2847.45	c #Conflicts:     568000 | #Constraints:      76567
2838.06/2847.45	c #Conflicts:     569000 | #Constraints:      77567
2838.06/2847.45	c #Conflicts:     570000 | #Constraints:      78567
2838.06/2847.45	c #Conflicts:     571000 | #Constraints:      79567
2838.06/2847.45	c #Conflicts:     572000 | #Constraints:      80567
2838.06/2847.45	c #Conflicts:     573000 | #Constraints:      81567
2838.06/2847.45	c #Conflicts:     574000 | #Constraints:      82567
2838.06/2847.45	c #Conflicts:     575000 | #Constraints:      83567
2838.06/2847.45	c #Conflicts:     576000 | #Constraints:      84567
2838.06/2847.45	c #Conflicts:     577000 | #Constraints:      85567
2838.06/2847.45	c #Conflicts:     578000 | #Constraints:      86567
2838.06/2847.45	c #Conflicts:     579000 | #Constraints:      87567
2838.06/2847.45	c #Conflicts:     580000 | #Constraints:      88567
2838.06/2847.45	c #Conflicts:     581000 | #Constraints:      89567
2838.06/2847.45	c #Conflicts:     582000 | #Constraints:      90567
2838.06/2847.45	c #Conflicts:     583000 | #Constraints:      91567
2838.06/2847.45	c #Conflicts:     584000 | #Constraints:      92567
2838.06/2847.45	c #Conflicts:     585000 | #Constraints:      93567
2838.06/2847.45	c #Conflicts:     586000 | #Constraints:      94567
2838.06/2847.45	c #Conflicts:     587000 | #Constraints:      95567
2838.06/2847.45	c #Conflicts:     588000 | #Constraints:      96567
2838.06/2847.45	c #Conflicts:     589000 | #Constraints:      97567
2838.06/2847.45	c #Conflicts:     590000 | #Constraints:      98567
2838.06/2847.45	c #Conflicts:     591000 | #Constraints:      99567
2838.06/2847.45	c #Conflicts:     592000 | #Constraints:     100567
2838.06/2847.45	c #Conflicts:     593000 | #Constraints:     101567
2838.06/2847.45	c #Conflicts:     594000 | #Constraints:     102567
2838.06/2847.45	c #Conflicts:     595000 | #Constraints:     103567
2838.06/2847.45	c INPROCESSING
2838.06/2847.45	c GARBAGE COLLECT
2838.06/2847.45	c #Conflicts:     596000 | #Constraints:      63587
2838.06/2847.45	c #Conflicts:     597000 | #Constraints:      64587
2992.16/3002.10	c #Conflicts:     598000 | #Constraints:      65587
2992.16/3002.10	c #Conflicts:     599000 | #Constraints:      66587
2992.16/3002.10	c #Conflicts:     600000 | #Constraints:      67587
2992.16/3002.10	c #Conflicts:     601000 | #Constraints:      68587
2992.16/3002.10	c #Conflicts:     602000 | #Constraints:      69587
2992.16/3002.10	c #Conflicts:     603000 | #Constraints:      70587
2992.16/3002.10	c #Conflicts:     604000 | #Constraints:      71587
2992.16/3002.10	c #Conflicts:     605000 | #Constraints:      72587
2992.16/3002.10	c #Conflicts:     606000 | #Constraints:      73587
2992.16/3002.10	c #Conflicts:     607000 | #Constraints:      74587
2992.16/3002.10	c #Conflicts:     608000 | #Constraints:      75587
2992.16/3002.10	c #Conflicts:     609000 | #Constraints:      76587
2992.16/3002.10	c #Conflicts:     610000 | #Constraints:      77587
2992.16/3002.10	c #Conflicts:     611000 | #Constraints:      78587
2992.16/3002.10	c #Conflicts:     612000 | #Constraints:      79587
2992.16/3002.10	c #Conflicts:     613000 | #Constraints:      80587
2992.16/3002.10	c #Conflicts:     614000 | #Constraints:      81587
2992.16/3002.10	c #Conflicts:     615000 | #Constraints:      82587
2992.16/3002.10	c #Conflicts:     616000 | #Constraints:      83587
2992.16/3002.10	c #Conflicts:     617000 | #Constraints:      84587
2992.16/3002.10	c INPROCESSING
2992.16/3002.10	c GARBAGE COLLECT
2992.16/3002.10	c #Conflicts:     618000 | #Constraints:      57643
2992.16/3002.10	c #Conflicts:     619000 | #Constraints:      58643
2992.16/3002.10	c #Conflicts:     620000 | #Constraints:      59643
2992.16/3002.10	c #Conflicts:     621000 | #Constraints:      60643
2992.16/3002.10	c #Conflicts:     622000 | #Constraints:      61643
2992.16/3002.10	c #Conflicts:     623000 | #Constraints:      62643
2992.16/3002.10	c #Conflicts:     624000 | #Constraints:      63643
2992.16/3002.10	c #Conflicts:     625000 | #Constraints:      64643
2992.16/3002.10	c #Conflicts:     626000 | #Constraints:      65643
2992.16/3002.10	c #Conflicts:     627000 | #Constraints:      66643
2992.16/3002.10	c #Conflicts:     628000 | #Constraints:      67643
2992.16/3002.10	c #Conflicts:     629000 | #Constraints:      68643
2992.16/3002.10	c #Conflicts:     630000 | #Constraints:      69643
2992.16/3002.10	c #Conflicts:     631000 | #Constraints:      70643
2992.16/3002.10	c #Conflicts:     632000 | #Constraints:      71643
2992.16/3002.10	c #Conflicts:     633000 | #Constraints:      72643
2992.16/3002.10	c #Conflicts:     634000 | #Constraints:      73643
2992.16/3002.10	c #Conflicts:     635000 | #Constraints:      74643
2992.16/3002.10	c #Conflicts:     636000 | #Constraints:      75643
2992.16/3002.10	c #Conflicts:     637000 | #Constraints:      76643
2992.16/3002.10	c #Conflicts:     638000 | #Constraints:      77643
2992.16/3002.10	c #Conflicts:     639000 | #Constraints:      78643
2992.16/3002.10	c #Conflicts:     640000 | #Constraints:      79643
2992.16/3002.10	c #Conflicts:     641000 | #Constraints:      80643
2992.16/3002.10	c #Conflicts:     642000 | #Constraints:      81643
2992.16/3002.10	c #Conflicts:     643000 | #Constraints:      82643
2992.16/3002.10	c #Conflicts:     644000 | #Constraints:      83643
2992.16/3002.10	c #Conflicts:     645000 | #Constraints:      84643
2992.16/3002.10	c #Conflicts:     646000 | #Constraints:      85643
2992.16/3002.10	c #Conflicts:     647000 | #Constraints:      86643
2992.16/3002.10	c #Conflicts:     648000 | #Constraints:      87643
2992.16/3002.10	c #Conflicts:     649000 | #Constraints:      88643
2992.16/3002.10	c #Conflicts:     650000 | #Constraints:      89643
2992.16/3002.10	c #Conflicts:     651000 | #Constraints:      90643
2992.16/3002.10	c #Conflicts:     652000 | #Constraints:      91643
2992.16/3002.10	c #Conflicts:     653000 | #Constraints:      92643
2992.16/3002.10	c #Conflicts:     654000 | #Constraints:      93643
2992.16/3002.10	c #Conflicts:     655000 | #Constraints:      94643
2992.16/3002.10	c #Conflicts:     656000 | #Constraints:      95643
2992.16/3002.10	c #Conflicts:     657000 | #Constraints:      96643
2992.16/3002.10	c #Conflicts:     658000 | #Constraints:      97643
2992.16/3002.10	c #Conflicts:     659000 | #Constraints:      98643
2992.16/3002.10	c #Conflicts:     660000 | #Constraints:      99643
2992.16/3002.10	c #Conflicts:     661000 | #Constraints:     100643
2992.16/3002.10	c #Conflicts:     662000 | #Constraints:     101644
2992.16/3002.10	c #Conflicts:     663000 | #Constraints:     102644
2992.16/3002.10	c #Conflicts:     664000 | #Constraints:     103645
2992.16/3002.10	c #Conflicts:     665000 | #Constraints:     104645
2992.16/3002.10	c #Conflicts:     666000 | #Constraints:     105645
2992.16/3002.10	c #Conflicts:     667000 | #Constraints:     106645
2992.16/3002.10	c #Conflicts:     668000 | #Constraints:     107645
2992.16/3002.10	c #Conflicts:     669000 | #Constraints:     108645
2992.16/3002.10	c INPROCESSING
2992.16/3002.10	c GARBAGE COLLECT
2992.16/3002.10	c rational objective 165
3064.80/3074.94	c #Conflicts:     670000 | #Constraints:      66138
3064.80/3074.94	c #Conflicts:     671000 | #Constraints:      67138
3064.80/3074.94	c #Conflicts:     672000 | #Constraints:      68138
3064.80/3074.94	c #Conflicts:     673000 | #Constraints:      69138
3064.80/3074.94	c #Conflicts:     674000 | #Constraints:      70138
3064.80/3074.94	c #Conflicts:     675000 | #Constraints:      71138
3064.80/3074.94	c #Conflicts:     676000 | #Constraints:      72138
3064.80/3074.94	c #Conflicts:     677000 | #Constraints:      73139
3064.80/3074.94	c #Conflicts:     678000 | #Constraints:      74139
3064.80/3074.94	c #Conflicts:     679000 | #Constraints:      75139
3064.80/3074.94	c #Conflicts:     680000 | #Constraints:      76139
3064.80/3074.94	c #Conflicts:     681000 | #Constraints:      77140
3064.80/3074.94	c #Conflicts:     682000 | #Constraints:      78140
3064.80/3074.94	c #Conflicts:     683000 | #Constraints:      79140
3064.80/3074.94	c #Conflicts:     684000 | #Constraints:      80140
3064.80/3074.94	c #Conflicts:     685000 | #Constraints:      81140
3064.80/3074.94	c #Conflicts:     686000 | #Constraints:      82140
3064.80/3074.94	c #Conflicts:     687000 | #Constraints:      83140
3064.80/3074.94	c #Conflicts:     688000 | #Constraints:      84140
3064.80/3074.94	c #Conflicts:     689000 | #Constraints:      85140
3064.80/3074.94	c #Conflicts:     690000 | #Constraints:      86140
3064.80/3074.94	c #Conflicts:     691000 | #Constraints:      87140
3064.80/3074.94	c #Conflicts:     692000 | #Constraints:      88140
3064.80/3074.94	c #Conflicts:     693000 | #Constraints:      89140
3064.80/3074.94	c INPROCESSING
3064.80/3074.94	c GARBAGE COLLECT
3064.80/3074.94	c rational objective 165
3321.82/3332.88	c #Conflicts:     694000 | #Constraints:      60636
3321.82/3332.88	c #Conflicts:     695000 | #Constraints:      61636
3321.82/3332.88	c #Conflicts:     696000 | #Constraints:      62636
3321.82/3332.88	c #Conflicts:     697000 | #Constraints:      63636
3321.82/3332.88	c #Conflicts:     698000 | #Constraints:      64636
3321.82/3332.88	c #Conflicts:     699000 | #Constraints:      65636
3321.82/3332.88	c #Conflicts:     700000 | #Constraints:      66636
3321.82/3332.88	c #Conflicts:     701000 | #Constraints:      67636
3321.82/3332.88	c #Conflicts:     702000 | #Constraints:      68636
3321.82/3332.88	c #Conflicts:     703000 | #Constraints:      69636
3321.82/3332.88	c #Conflicts:     704000 | #Constraints:      70636
3321.82/3332.88	c #Conflicts:     705000 | #Constraints:      71636
3321.82/3332.88	c #Conflicts:     706000 | #Constraints:      72636
3321.82/3332.88	c #Conflicts:     707000 | #Constraints:      73636
3321.82/3332.88	c #Conflicts:     708000 | #Constraints:      74636
3321.82/3332.88	c #Conflicts:     709000 | #Constraints:      75636
3321.82/3332.88	c #Conflicts:     710000 | #Constraints:      76636
3321.82/3332.88	c #Conflicts:     711000 | #Constraints:      77637
3321.82/3332.88	c #Conflicts:     712000 | #Constraints:      78637
3321.82/3332.88	c #Conflicts:     713000 | #Constraints:      79637
3321.82/3332.88	c #Conflicts:     714000 | #Constraints:      80638
3321.82/3332.88	c #Conflicts:     715000 | #Constraints:      81638
3321.82/3332.88	c #Conflicts:     716000 | #Constraints:      82638
3321.82/3332.88	c #Conflicts:     717000 | #Constraints:      83638
3321.82/3332.88	c #Conflicts:     718000 | #Constraints:      84638
3321.82/3332.88	c #Conflicts:     719000 | #Constraints:      85638
3321.82/3332.88	c #Conflicts:     720000 | #Constraints:      86638
3321.82/3332.88	c #Conflicts:     721000 | #Constraints:      87638
3321.82/3332.88	c #Conflicts:     722000 | #Constraints:      88638
3321.82/3332.88	c #Conflicts:     723000 | #Constraints:      89638
3321.82/3332.88	c #Conflicts:     724000 | #Constraints:      90638
3321.82/3332.88	c #Conflicts:     725000 | #Constraints:      91638
3321.82/3332.88	c #Conflicts:     726000 | #Constraints:      92638
3321.82/3332.88	c #Conflicts:     727000 | #Constraints:      93638
3321.82/3332.88	c #Conflicts:     728000 | #Constraints:      94639
3321.82/3332.88	c #Conflicts:     729000 | #Constraints:      95639
3321.82/3332.88	c #Conflicts:     730000 | #Constraints:      96639
3321.82/3332.88	c #Conflicts:     731000 | #Constraints:      97639
3321.82/3332.88	c #Conflicts:     732000 | #Constraints:      98639
3321.82/3332.88	c #Conflicts:     733000 | #Constraints:      99639
3321.82/3332.88	c #Conflicts:     734000 | #Constraints:     100639
3321.82/3332.88	c #Conflicts:     735000 | #Constraints:     101639
3321.82/3332.88	c #Conflicts:     736000 | #Constraints:     102639
3321.82/3332.88	c #Conflicts:     737000 | #Constraints:     103639
3321.82/3332.88	c #Conflicts:     738000 | #Constraints:     104639
3321.82/3332.88	c #Conflicts:     739000 | #Constraints:     105639
3321.82/3332.88	c #Conflicts:     740000 | #Constraints:     106639
3321.82/3332.88	c #Conflicts:     741000 | #Constraints:     107639
3321.82/3332.88	c #Conflicts:     742000 | #Constraints:     108639
3321.82/3332.88	c #Conflicts:     743000 | #Constraints:     109640
3321.82/3332.88	c #Conflicts:     744000 | #Constraints:     110640
3321.82/3332.88	c #Conflicts:     745000 | #Constraints:     111640
3321.82/3332.88	c #Conflicts:     746000 | #Constraints:     112640
3321.82/3332.88	c #Conflicts:     747000 | #Constraints:     113640
3321.82/3332.88	c #Conflicts:     748000 | #Constraints:     114640
3321.82/3332.88	c INPROCESSING
3321.82/3332.88	c GARBAGE COLLECT
3321.82/3332.88	c rational objective 165
3385.13/3396.31	c #Conflicts:     749000 | #Constraints:      69029
3385.13/3396.31	c #Conflicts:     750000 | #Constraints:      70029
3385.13/3396.31	c #Conflicts:     751000 | #Constraints:      71029
3385.13/3396.31	c #Conflicts:     752000 | #Constraints:      72029
3385.13/3396.31	c #Conflicts:     753000 | #Constraints:      73029
3385.13/3396.31	c #Conflicts:     754000 | #Constraints:      74029
3385.13/3396.31	c #Conflicts:     755000 | #Constraints:      75029
3385.13/3396.31	c #Conflicts:     756000 | #Constraints:      76029
3385.13/3396.31	c #Conflicts:     757000 | #Constraints:      77029
3385.13/3396.31	c #Conflicts:     758000 | #Constraints:      78029
3385.13/3396.31	c #Conflicts:     759000 | #Constraints:      79029
3385.13/3396.31	c #Conflicts:     760000 | #Constraints:      80029
3385.13/3396.31	c #Conflicts:     761000 | #Constraints:      81029
3385.13/3396.31	c #Conflicts:     762000 | #Constraints:      82029
3385.13/3396.31	c #Conflicts:     763000 | #Constraints:      83029
3385.13/3396.31	c #Conflicts:     764000 | #Constraints:      84029
3385.13/3396.31	c #Conflicts:     765000 | #Constraints:      85029
3385.13/3396.31	c #Conflicts:     766000 | #Constraints:      86029
3385.13/3396.31	c #Conflicts:     767000 | #Constraints:      87029
3385.13/3396.31	c #Conflicts:     768000 | #Constraints:      88029
3385.13/3396.31	c #Conflicts:     769000 | #Constraints:      89029
3385.13/3396.31	c #Conflicts:     770000 | #Constraints:      90029
3385.13/3396.31	c #Conflicts:     771000 | #Constraints:      91029
3385.13/3396.31	c #Conflicts:     772000 | #Constraints:      92029
3385.13/3396.31	c #Conflicts:     773000 | #Constraints:      93029
3385.13/3396.31	c INPROCESSING
3385.13/3396.31	c GARBAGE COLLECT
3385.13/3396.31	c rational objective 165
3599.63/3611.52	c #Conflicts:     774000 | #Constraints:      63279
3599.63/3611.52	c #Conflicts:     775000 | #Constraints:      64279
3599.63/3611.52	c #Conflicts:     776000 | #Constraints:      65279
3599.63/3611.52	c #Conflicts:     777000 | #Constraints:      66279
3599.63/3611.52	c #Conflicts:     778000 | #Constraints:      67279
3599.63/3611.52	c #Conflicts:     779000 | #Constraints:      68279
3599.63/3611.52	c #Conflicts:     780000 | #Constraints:      69279
3599.63/3611.52	c #Conflicts:     781000 | #Constraints:      70280
3599.63/3611.52	c #Conflicts:     782000 | #Constraints:      71280
3599.63/3611.52	c #Conflicts:     783000 | #Constraints:      72280
3599.63/3611.52	c #Conflicts:     784000 | #Constraints:      73280
3599.63/3611.52	c #Conflicts:     785000 | #Constraints:      74280
3599.63/3611.52	c #Conflicts:     786000 | #Constraints:      75280
3599.63/3611.52	c #Conflicts:     787000 | #Constraints:      76280
3599.63/3611.52	c #Conflicts:     788000 | #Constraints:      77280
3599.63/3611.52	c #Conflicts:     789000 | #Constraints:      78280
3599.63/3611.52	c #Conflicts:     790000 | #Constraints:      79280
3599.63/3611.52	c #Conflicts:     791000 | #Constraints:      80280
3599.63/3611.52	c #Conflicts:     792000 | #Constraints:      81280
3599.63/3611.52	c #Conflicts:     793000 | #Constraints:      82280
3599.63/3611.52	c #Conflicts:     794000 | #Constraints:      83280
3599.63/3611.52	c #Conflicts:     795000 | #Constraints:      84280
3599.63/3611.52	c #Conflicts:     796000 | #Constraints:      85280
3599.63/3611.52	c #Conflicts:     797000 | #Constraints:      86280
3599.63/3611.52	c #Conflicts:     798000 | #Constraints:      87281
3599.63/3611.52	c #Conflicts:     799000 | #Constraints:      88281
3599.63/3611.52	c #Conflicts:     800000 | #Constraints:      89281
3599.63/3611.52	c #Conflicts:     801000 | #Constraints:      90281
3599.63/3611.52	c #Conflicts:     802000 | #Constraints:      91281
3599.63/3611.52	c #Conflicts:     803000 | #Constraints:      92281
3599.63/3611.52	c #Conflicts:     804000 | #Constraints:      93281
3599.63/3611.52	c #Conflicts:     805000 | #Constraints:      94281
3599.63/3611.52	c #Conflicts:     806000 | #Constraints:      95281
3599.63/3611.52	c #Conflicts:     807000 | #Constraints:      96281
3599.63/3611.52	c #Conflicts:     808000 | #Constraints:      97281
3599.63/3611.52	c #Conflicts:     809000 | #Constraints:      98281
3599.63/3611.52	c #Conflicts:     810000 | #Constraints:      99281
3599.63/3611.52	c #Conflicts:     811000 | #Constraints:     100281
3599.63/3611.52	c #Conflicts:     812000 | #Constraints:     101281
3599.63/3611.52	c #Conflicts:     813000 | #Constraints:     102281
3599.63/3611.52	c #Conflicts:     814000 | #Constraints:     103281
3599.63/3611.52	c #Conflicts:     815000 | #Constraints:     104281
3599.63/3611.52	c #Conflicts:     816000 | #Constraints:     105281
3599.63/3611.52	c #Conflicts:     817000 | #Constraints:     106282
3599.63/3611.52	c #Conflicts:     818000 | #Constraints:     107282
3599.63/3611.52	c #Conflicts:     819000 | #Constraints:     108282
3599.63/3611.52	c #Conflicts:     820000 | #Constraints:     109282
3599.63/3611.52	c #Conflicts:     821000 | #Constraints:     110282
3599.63/3611.52	c #Conflicts:     822000 | #Constraints:     111282
3599.63/3611.52	c #Conflicts:     823000 | #Constraints:     112282
3599.63/3611.52	c #Conflicts:     824000 | #Constraints:     113282
3599.63/3611.52	c #Conflicts:     825000 | #Constraints:     114282
3599.63/3611.52	c #Conflicts:     826000 | #Constraints:     115282
3599.63/3611.52	c #Conflicts:     827000 | #Constraints:     116282
3599.63/3611.52	c #Conflicts:     828000 | #Constraints:     117282
3599.63/3611.52	c #Conflicts:     829000 | #Constraints:     118282
3599.63/3611.52	c #Conflicts:     830000 | #Constraints:     119282
3599.63/3611.52	c #Conflicts:     831000 | #Constraints:     120282
3599.63/3611.52	c #Conflicts:     832000 | #Constraints:     121283
3599.63/3611.52	c INPROCESSING
3599.63/3611.52	c GARBAGE COLLECT
3599.63/3611.52	c rational objective 165

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62732 MiB free)
  memory of node 1: 64510 MiB (61463 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455635-1721464363/watcher-4455635-1721464363 -o /tmp/evaluation-result-4455635-1721464363/solver-4455635-1721464363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046574 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455635-1721464363.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1048990, runsolver pid=1048987

[startup+0.10024 s]*
/proc/loadavg: 4.19 4.16 4.14 5/246 1048991
/proc/meminfo: memFree=127168536/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=42744 memory=10516 CPUtime=0.1 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 2359 0 0 0 8 2 0 0 20 0 1 0 198592693 43769856 2629 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 10686 2629 1246 922 0 2638 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42744 KiB
Current children cumulated memory: 10516 KiB

[startup+0.213378 s]*
/proc/loadavg: 4.17 4.16 4.14 5/246 1048991
/proc/meminfo: memFree=127144652/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=69756 memory=35584 CPUtime=0.22 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 9508 0 0 0 18 4 0 0 20 0 1 0 198592693 71430144 8896 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 17439 8896 1676 922 0 9391 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 69756 KiB
Current children cumulated memory: 35584 KiB

[startup+0.313025 s]*
/proc/loadavg: 4.17 4.16 4.14 5/246 1048991
/proc/meminfo: memFree=127142516/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=70624 memory=37432 CPUtime=0.31 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 9925 0 0 0 27 4 0 0 20 0 1 0 198592693 72318976 9358 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 17656 9358 1676 922 0 9608 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70624 KiB
Current children cumulated memory: 37432 KiB

[startup+0.700318 s]
/proc/loadavg: 4.17 4.16 4.14 5/246 1048991
/proc/meminfo: memFree=127139696/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=73148 memory=40336 CPUtime=0.69 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 10659 0 0 0 64 5 0 0 20 0 1 0 198592693 74903552 10084 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 18287 10084 1676 922 0 10239 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73148 KiB
Current children cumulated memory: 40336 KiB

[startup+1.50029 s]
/proc/loadavg: 4.17 4.16 4.14 5/246 1048991
/proc/meminfo: memFree=127137596/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=73148 memory=42384 CPUtime=1.48 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 10701 0 0 0 139 9 0 0 20 0 1 0 198592693 74903552 10596 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 18287 10596 1676 922 0 10239 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 73148 KiB
Current children cumulated memory: 42384 KiB

[startup+3.11279 s]
/proc/loadavg: 4.17 4.16 4.14 5/246 1048991
/proc/meminfo: memFree=127122608/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=77028 memory=46248 CPUtime=3.09 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 11581 0 0 0 290 19 0 0 20 0 1 0 198592693 78876672 11562 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 19257 11562 1723 922 0 11209 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 77028 KiB
Current children cumulated memory: 46248 KiB

[startup+6.30027 s]
/proc/loadavg: 4.16 4.16 4.14 5/246 1048991
/proc/meminfo: memFree=127104132/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=78332 memory=47828 CPUtime=6.26 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 11964 0 0 0 606 20 0 0 20 0 1 0 198592693 80211968 11957 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 19583 11957 1723 922 0 11535 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 78332 KiB
Current children cumulated memory: 47828 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.15 4.14 5/246 1048993
/proc/meminfo: memFree=127089304/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=78748 memory=48620 CPUtime=12.65 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 12167 0 0 0 1237 28 0 0 20 0 1 0 198592693 80637952 12155 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 19687 12155 1723 922 0 11639 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 78748 KiB
Current children cumulated memory: 48620 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.15 4.14 5/246 1048994
/proc/meminfo: memFree=127028980/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=97796 memory=61616 CPUtime=25.4 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 14332 0 0 0 2472 68 0 0 20 0 1 0 198592693 100143104 15404 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 24449 15404 1797 922 0 16401 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 97796 KiB
Current children cumulated memory: 61616 KiB

[startup+51.113 s]
/proc/loadavg: 4.13 4.15 4.14 5/246 1048999
/proc/meminfo: memFree=126938256/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=106572 memory=73360 CPUtime=50.94 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 16299 0 0 0 5002 92 0 0 20 0 1 0 198592693 109129728 18340 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 26643 18340 1797 922 0 18595 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 106572 KiB
Current children cumulated memory: 73360 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/245 1049008
/proc/meminfo: memFree=126771164/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=182532 memory=146368 CPUtime=101.96 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 32507 0 0 0 10007 189 0 0 20 0 1 0 198592693 186912768 36592 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 45633 36592 1797 922 0 37585 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 182532 KiB
Current children cumulated memory: 146368 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/245 1049019
/proc/meminfo: memFree=126569808/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=309776 memory=254432 CPUtime=161.77 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 41388 0 0 0 15936 241 0 0 20 0 1 0 198592693 317210624 63608 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 77444 63608 1813 922 0 69396 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 309776 KiB
Current children cumulated memory: 254432 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/241 1049030
/proc/meminfo: memFree=126409160/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=413616 memory=358996 CPUtime=221.56 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 47598 0 0 0 21894 262 0 0 20 0 1 0 198592693 423542784 89749 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 103404 89749 1813 922 0 95356 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 413616 KiB
Current children cumulated memory: 358996 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/242 1049041
/proc/meminfo: memFree=126401204/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=414856 memory=360040 CPUtime=281.35 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 47863 0 0 0 27768 367 0 0 20 0 1 0 198592693 424812544 90010 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 103714 90010 1813 922 0 95666 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 414856 KiB
Current children cumulated memory: 360040 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/242 1049051
/proc/meminfo: memFree=126306252/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=414856 memory=360040 CPUtime=341.15 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 47869 0 0 0 33644 471 0 0 20 0 1 0 198592693 424812544 90010 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 103714 90010 1813 922 0 95666 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 414856 KiB
Current children cumulated memory: 360040 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/242 1049062
/proc/meminfo: memFree=126246352/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=425072 memory=369980 CPUtime=400.96 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 50429 0 0 0 39581 515 0 0 20 0 1 0 198592693 435273728 92495 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 106268 92495 1813 922 0 98220 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 425072 KiB
Current children cumulated memory: 369980 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/242 1049072
/proc/meminfo: memFree=126140692/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=433656 memory=379132 CPUtime=460.77 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 52736 0 0 0 45478 599 0 0 20 0 1 0 198592693 444063744 94783 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 108414 94783 1813 922 0 100366 0

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

[startup+3102.3 s]
/proc/loadavg: 4.20 4.21 4.19 5/244 1050128
/proc/meminfo: memFree=123093628/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1347336 memory=1069668 CPUtime=3092.1 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 114162 0 0 0 306508 2702 0 0 20 0 1 0 198592693 1379672064 267417 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 336834 267417 1934 922 0 328786 0
Current children cumulated CPU time: 3092.1 s
Current children cumulated vsize: 1347336 KiB
Current children cumulated memory: 1069668 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/242 1050139
/proc/meminfo: memFree=123064080/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1347336 memory=1074776 CPUtime=3151.9 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 114464 0 0 0 312455 2735 0 0 20 0 1 0 198592693 1379672064 268694 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 336834 268694 1934 922 0 328786 0
Current children cumulated CPU time: 3151.9 s
Current children cumulated vsize: 1347336 KiB
Current children cumulated memory: 1074776 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/244 1050534
/proc/meminfo: memFree=123036752/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1374260 memory=1100596 CPUtime=3211.69 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 121412 0 0 0 318409 2760 0 0 20 0 1 0 198592693 1407242240 275149 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 343565 275149 1934 922 0 335517 0
Current children cumulated CPU time: 3211.69 s
Current children cumulated vsize: 1374260 KiB
Current children cumulated memory: 1100596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/244 1050544
/proc/meminfo: memFree=123016268/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1385064 memory=1110424 CPUtime=3271.49 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 124223 0 0 0 324354 2795 0 0 20 0 1 0 198592693 1418305536 277606 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 346266 277606 1934 922 0 338218 0
Current children cumulated CPU time: 3271.49 s
Current children cumulated vsize: 1385064 KiB
Current children cumulated memory: 1110424 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/243 1050554
/proc/meminfo: memFree=122982056/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1417768 memory=1144304 CPUtime=3331.3 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 132367 0 0 0 330285 2845 0 0 20 0 1 0 198592693 1451794432 286076 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 354442 286076 1934 922 0 346394 0
Current children cumulated CPU time: 3331.3 s
Current children cumulated vsize: 1417768 KiB
Current children cumulated memory: 1144304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/244 1050734
/proc/meminfo: memFree=122977140/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146408 CPUtime=3391.11 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 133064 0 0 0 336196 2915 0 0 20 0 1 0 198592693 1454481408 286602 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286602 1934 922 0 347050 0
Current children cumulated CPU time: 3391.11 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 1050744
/proc/meminfo: memFree=122976880/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146620 CPUtime=3450.92 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 133324 0 0 0 342112 2980 0 0 20 0 1 0 198592693 1454481408 286655 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286655 1934 922 0 347050 0
Current children cumulated CPU time: 3450.92 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/245 1050813
/proc/meminfo: memFree=122973412/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146624 CPUtime=3510.73 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 134023 0 0 0 348027 3046 0 0 20 0 1 0 198592693 1454481408 286656 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286656 1934 922 0 347050 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146624 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/245 1050961
/proc/meminfo: memFree=125626812/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146664 CPUtime=3570.53 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 134934 0 0 0 353955 3098 0 0 20 0 1 0 198592693 1454481408 286666 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286666 1934 922 0 347050 0
Current children cumulated CPU time: 3570.53 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 1050966
/proc/meminfo: memFree=125564092/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146664 CPUtime=3600.03 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 134977 0 0 0 356894 3109 0 0 20 0 1 0 198592693 1454481408 286666 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286666 1934 922 0 347050 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146664 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

[startup+3613.91 s]
# the end of solver process 1048990 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3570.94 s, system=31.1064 s

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

[startup+3612.8 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 1050966
/proc/meminfo: memFree=125562404/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146664 CPUtime=3600.92 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 134977 0 0 0 356983 3109 0 0 20 0 1 0 198592693 1454481408 286666 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286666 1934 922 0 347050 0
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146664 KiB

[startup+3613.6 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 1050966
/proc/meminfo: memFree=125554496/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146664 CPUtime=3601.72 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 134977 0 0 0 357063 3109 0 0 20 0 1 0 198592693 1454481408 286666 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286666 1934 922 0 347050 0
Current children cumulated CPU time: 3601.72 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146664 KiB

[startup+3613.8 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 1050966
/proc/meminfo: memFree=125554496/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146664 CPUtime=3601.92 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 134977 0 0 0 357083 3109 0 0 20 0 1 0 198592693 1454481408 286666 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286666 1934 922 0 347050 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146664 KiB

[startup+3613.9 s]
/proc/loadavg: 4.17 4.15 4.16 5/245 1050966
/proc/meminfo: memFree=125554496/131655788 swapFree=131071996/131071996
[pid=1048990] ppid=1048987 vsize=1420392 memory=1146664 CPUtime=3602.03 cores=0,2
/proc/1048990/stat : 1048990 (roundingsat) R 1048987 1048990 1046564 0 -1 4194304 134977 0 0 0 357093 3110 0 0 20 0 1 0 198592693 1454481408 286666 134679101440 4194304 7968373 140736370817920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 42115072 140736370824124 140736370824288 140736370824288 140736370831305 0
/proc/1048990/statm: 355098 286666 1934 922 0 347050 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 1420392 KiB
Current children cumulated memory: 1146664 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.91
CPU time (s): 3602.04
CPU user time (s): 3570.94
CPU system time (s): 31.1064
CPU usage (%): 99.6717
Max. virtual memory (cumulated for all children) (KiB): 1420392
Max. memory (cumulated for all children) (KiB): 1146664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.94
system time used= 31.1064
maximum resident set size= 1146664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142
involuntary context switches= 24662


# summary of solver processes directly reported to runsolver:
#   pid: 1048990
#   total CPU time (s): 3602.04
#   total CPU user time (s): 3570.94
#   total CPU system time (s): 31.1064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8257 second user time and 33.4784 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-20 10:32:55
IDJOB=4455635
IDBENCH=158290
IDSOLVER=3084
FILE ID=nodeC008/4455635-1721464363
RUNJOBID= nodeC008-1721460659-1046574
SLURM_JOB_ID= 7545711
Free space on /tmp= 723748 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K165.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455635-1721464363/watcher-4455635-1721464363 -o /tmp/evaluation-result-4455635-1721464363/solver-4455635-1721464363 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046574 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455635-1721464363.opb

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

MD5SUM BENCH= 75fbe782de7ac9ce41dec078153ff02c
RANDOM SEED=800323492

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3659.729
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 3658.577
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.258
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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.438
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3669.466
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 3664.822
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.445
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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		: 1197.352
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127176472 kB
MemAvailable:   129627268 kB
Buffers:          598788 kB
Cached:          2677204 kB
SwapCached:            0 kB
Active:          1132808 kB
Inactive:        2747740 kB
Active(anon):       1492 kB
Inactive(anon):   649020 kB
Active(file):    1131316 kB
Inactive(file):  2098720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6656 kB
Writeback:             0 kB
AnonPages:        604332 kB
Mapped:           116012 kB
Shmem:             45896 kB
KReclaimable:     121580 kB
Slab:             227656 kB
SReclaimable:     121580 kB
SUnreclaim:       106076 kB
KernelStack:        3984 kB
PageTables:        10644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     929112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC008 at 2024-07-20 11:33:09