Trace number 4455632

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) 3600.04 3608.81

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K151.opb
MD5SUMabcade21393c5164863b40206a5f4f64
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17969
Total number of constraints18273
Number of constraints which are clauses18122
Number of constraints which are cardinality constraints (but not clauses)151
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint151
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 152
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.00/0.09	c #variables 17969 #constraints 18273
119.58/119.92	c #Conflicts:       1000 | #Constraints:      19272
119.58/119.92	c #Conflicts:       2000 | #Constraints:      20272
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c #Conflicts:       3000 | #Constraints:      19737
119.58/119.92	c #Conflicts:       4000 | #Constraints:      20737
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c #Conflicts:       5000 | #Constraints:      20122
119.58/119.92	c #Conflicts:       6000 | #Constraints:      21122
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c #Conflicts:       7000 | #Constraints:      20207
119.58/119.92	c #Conflicts:       8000 | #Constraints:      21207
119.58/119.92	c #Conflicts:       9000 | #Constraints:      22207
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c #Conflicts:      10000 | #Constraints:      20935
119.58/119.92	c #Conflicts:      11000 | #Constraints:      21935
119.58/119.92	c #Conflicts:      12000 | #Constraints:      22935
119.58/119.92	c #Conflicts:      13000 | #Constraints:      23935
119.58/119.92	c #Conflicts:      14000 | #Constraints:      24935
119.58/119.92	c #Conflicts:      15000 | #Constraints:      25935
119.58/119.92	c #Conflicts:      16000 | #Constraints:      26935
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c #Conflicts:      17000 | #Constraints:      23247
119.58/119.92	c #Conflicts:      18000 | #Constraints:      24247
119.58/119.92	c #Conflicts:      19000 | #Constraints:      25248
119.58/119.92	c #Conflicts:      20000 | #Constraints:      26248
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c #Conflicts:      21000 | #Constraints:      23026
119.58/119.92	c #Conflicts:      22000 | #Constraints:      24026
119.58/119.92	c #Conflicts:      23000 | #Constraints:      25026
119.58/119.92	c #Conflicts:      24000 | #Constraints:      26026
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c #Conflicts:      25000 | #Constraints:      22967
119.58/119.92	c #Conflicts:      26000 | #Constraints:      23967
119.58/119.92	c #Conflicts:      27000 | #Constraints:      24967
119.58/119.92	c #Conflicts:      28000 | #Constraints:      25967
119.58/119.92	c #Conflicts:      29000 | #Constraints:      26967
119.58/119.92	c #Conflicts:      30000 | #Constraints:      27967
119.58/119.92	c #Conflicts:      31000 | #Constraints:      28967
119.58/119.92	c #Conflicts:      32000 | #Constraints:      29967
119.58/119.92	c #Conflicts:      33000 | #Constraints:      30968
119.58/119.92	c #Conflicts:      34000 | #Constraints:      31968
119.58/119.92	c #Conflicts:      35000 | #Constraints:      32968
119.58/119.92	c #Conflicts:      36000 | #Constraints:      33968
119.58/119.92	c INPROCESSING
119.58/119.92	c GARBAGE COLLECT
119.58/119.92	c rational objective 151
155.71/156.15	c #Conflicts:      37000 | #Constraints:      27181
155.71/156.15	c #Conflicts:      38000 | #Constraints:      28181
155.71/156.15	c #Conflicts:      39000 | #Constraints:      29181
155.71/156.15	c #Conflicts:      40000 | #Constraints:      30181
155.71/156.15	c #Conflicts:      41000 | #Constraints:      31181
155.71/156.15	c INPROCESSING
155.71/156.15	c GARBAGE COLLECT
155.71/156.15	c #Conflicts:      42000 | #Constraints:      25635
155.71/156.15	c #Conflicts:      43000 | #Constraints:      26635
155.71/156.15	c #Conflicts:      44000 | #Constraints:      27635
155.71/156.15	c #Conflicts:      45000 | #Constraints:      28635
155.71/156.15	c #Conflicts:      46000 | #Constraints:      29635
155.71/156.15	c #Conflicts:      47000 | #Constraints:      30635
155.71/156.15	c INPROCESSING
155.71/156.15	c GARBAGE COLLECT
155.71/156.15	c rational objective 151
365.08/366.02	c #Conflicts:      48000 | #Constraints:      26068
365.08/366.02	c #Conflicts:      49000 | #Constraints:      27068
365.08/366.02	c #Conflicts:      50000 | #Constraints:      28068
365.08/366.02	c #Conflicts:      51000 | #Constraints:      29068
365.08/366.02	c #Conflicts:      52000 | #Constraints:      30068
365.08/366.02	c #Conflicts:      53000 | #Constraints:      31068
365.08/366.02	c #Conflicts:      54000 | #Constraints:      32068
365.08/366.02	c #Conflicts:      55000 | #Constraints:      33068
365.08/366.02	c #Conflicts:      56000 | #Constraints:      34068
365.08/366.02	c #Conflicts:      57000 | #Constraints:      35068
365.08/366.02	c #Conflicts:      58000 | #Constraints:      36068
365.08/366.02	c #Conflicts:      59000 | #Constraints:      37068
365.08/366.02	c #Conflicts:      60000 | #Constraints:      38068
365.08/366.02	c #Conflicts:      61000 | #Constraints:      39068
365.08/366.02	c #Conflicts:      62000 | #Constraints:      40069
365.08/366.02	c INPROCESSING
365.08/366.02	c GARBAGE COLLECT
365.08/366.02	c #Conflicts:      63000 | #Constraints:      29935
365.08/366.02	c #Conflicts:      64000 | #Constraints:      30935
365.08/366.02	c #Conflicts:      65000 | #Constraints:      31935
365.08/366.02	c #Conflicts:      66000 | #Constraints:      32935
365.08/366.02	c #Conflicts:      67000 | #Constraints:      33935
365.08/366.02	c #Conflicts:      68000 | #Constraints:      34935
365.08/366.02	c #Conflicts:      69000 | #Constraints:      35935
365.08/366.02	c INPROCESSING
365.08/366.02	c GARBAGE COLLECT
365.08/366.02	c #Conflicts:      70000 | #Constraints:      27815
365.08/366.02	c #Conflicts:      71000 | #Constraints:      28815
365.08/366.02	c #Conflicts:      72000 | #Constraints:      29815
365.08/366.02	c #Conflicts:      73000 | #Constraints:      30815
365.08/366.02	c #Conflicts:      74000 | #Constraints:      31815
365.08/366.02	c #Conflicts:      75000 | #Constraints:      32815
365.08/366.02	c #Conflicts:      76000 | #Constraints:      33815
365.08/366.02	c #Conflicts:      77000 | #Constraints:      34815
365.08/366.02	c #Conflicts:      78000 | #Constraints:      35815
365.08/366.02	c #Conflicts:      79000 | #Constraints:      36815
365.08/366.02	c #Conflicts:      80000 | #Constraints:      37816
365.08/366.02	c #Conflicts:      81000 | #Constraints:      38816
365.08/366.02	c #Conflicts:      82000 | #Constraints:      39816
365.08/366.02	c #Conflicts:      83000 | #Constraints:      40816
365.08/366.02	c #Conflicts:      84000 | #Constraints:      41816
365.08/366.02	c #Conflicts:      85000 | #Constraints:      42816
365.08/366.02	c #Conflicts:      86000 | #Constraints:      43816
365.08/366.02	c #Conflicts:      87000 | #Constraints:      44816
365.08/366.02	c #Conflicts:      88000 | #Constraints:      45816
365.08/366.02	c INPROCESSING
365.08/366.02	c GARBAGE COLLECT
365.08/366.02	c rational objective 151
471.27/472.54	c #Conflicts:      89000 | #Constraints:      33151
471.27/472.54	c #Conflicts:      90000 | #Constraints:      34151
471.27/472.54	c #Conflicts:      91000 | #Constraints:      35151
471.27/472.54	c #Conflicts:      92000 | #Constraints:      36151
471.27/472.54	c #Conflicts:      93000 | #Constraints:      37151
471.27/472.54	c #Conflicts:      94000 | #Constraints:      38151
471.27/472.54	c #Conflicts:      95000 | #Constraints:      39151
471.27/472.54	c #Conflicts:      96000 | #Constraints:      40151
471.27/472.54	c INPROCESSING
471.27/472.54	c GARBAGE COLLECT
471.27/472.54	c #Conflicts:      97000 | #Constraints:      30135
471.27/472.54	c #Conflicts:      98000 | #Constraints:      31135
471.27/472.54	c #Conflicts:      99000 | #Constraints:      32135
471.27/472.54	c #Conflicts:     100000 | #Constraints:      33135
471.27/472.54	c #Conflicts:     101000 | #Constraints:      34135
471.27/472.54	c #Conflicts:     102000 | #Constraints:      35136
471.27/472.54	c #Conflicts:     103000 | #Constraints:      36136
471.27/472.54	c #Conflicts:     104000 | #Constraints:      37136
471.27/472.54	c #Conflicts:     105000 | #Constraints:      38136
471.27/472.54	c #Conflicts:     106000 | #Constraints:      39137
471.27/472.54	c #Conflicts:     107000 | #Constraints:      40137
471.27/472.54	c #Conflicts:     108000 | #Constraints:      41137
471.27/472.54	c #Conflicts:     109000 | #Constraints:      42137
471.27/472.54	c #Conflicts:     110000 | #Constraints:      43137
471.27/472.54	c #Conflicts:     111000 | #Constraints:      44137
471.27/472.54	c #Conflicts:     112000 | #Constraints:      45137
471.27/472.54	c #Conflicts:     113000 | #Constraints:      46137
471.27/472.54	c #Conflicts:     114000 | #Constraints:      47138
471.27/472.54	c #Conflicts:     115000 | #Constraints:      48139
471.27/472.54	c #Conflicts:     116000 | #Constraints:      49139
471.27/472.54	c #Conflicts:     117000 | #Constraints:      50139
471.27/472.54	c #Conflicts:     118000 | #Constraints:      51139
471.27/472.54	c INPROCESSING
471.27/472.54	c GARBAGE COLLECT
471.27/472.54	c #Conflicts:     119000 | #Constraints:      35730
471.27/472.54	c #Conflicts:     120000 | #Constraints:      36730
471.27/472.54	c #Conflicts:     121000 | #Constraints:      37730
471.27/472.54	c #Conflicts:     122000 | #Constraints:      38730
471.27/472.54	c #Conflicts:     123000 | #Constraints:      39730
471.27/472.54	c #Conflicts:     124000 | #Constraints:      40730
471.27/472.54	c #Conflicts:     125000 | #Constraints:      41730
471.27/472.54	c #Conflicts:     126000 | #Constraints:      42730
471.27/472.54	c #Conflicts:     127000 | #Constraints:      43730
471.27/472.54	c #Conflicts:     128000 | #Constraints:      44731
471.27/472.54	c INPROCESSING
471.27/472.54	c GARBAGE COLLECT
471.27/472.54	c rational objective 151
617.61/619.27	c #Conflicts:     129000 | #Constraints:      33225
617.61/619.27	c #Conflicts:     130000 | #Constraints:      34225
617.61/619.27	c #Conflicts:     131000 | #Constraints:      35225
617.61/619.27	c #Conflicts:     132000 | #Constraints:      36225
617.61/619.27	c #Conflicts:     133000 | #Constraints:      37225
617.61/619.27	c #Conflicts:     134000 | #Constraints:      38226
617.61/619.27	c #Conflicts:     135000 | #Constraints:      39226
617.61/619.27	c #Conflicts:     136000 | #Constraints:      40226
617.61/619.27	c #Conflicts:     137000 | #Constraints:      41226
617.61/619.27	c #Conflicts:     138000 | #Constraints:      42226
617.61/619.27	c #Conflicts:     139000 | #Constraints:      43226
617.61/619.27	c #Conflicts:     140000 | #Constraints:      44226
617.61/619.27	c #Conflicts:     141000 | #Constraints:      45227
617.61/619.27	c #Conflicts:     142000 | #Constraints:      46227
617.61/619.27	c #Conflicts:     143000 | #Constraints:      47227
617.61/619.27	c #Conflicts:     144000 | #Constraints:      48227
617.61/619.27	c #Conflicts:     145000 | #Constraints:      49227
617.61/619.27	c #Conflicts:     146000 | #Constraints:      50227
617.61/619.27	c #Conflicts:     147000 | #Constraints:      51227
617.61/619.27	c #Conflicts:     148000 | #Constraints:      52227
617.61/619.27	c #Conflicts:     149000 | #Constraints:      53227
617.61/619.27	c #Conflicts:     150000 | #Constraints:      54227
617.61/619.27	c #Conflicts:     151000 | #Constraints:      55227
617.61/619.27	c #Conflicts:     152000 | #Constraints:      56227
617.61/619.27	c #Conflicts:     153000 | #Constraints:      57227
617.61/619.27	c INPROCESSING
617.61/619.27	c GARBAGE COLLECT
617.61/619.27	c #Conflicts:     154000 | #Constraints:      39206
617.61/619.27	c #Conflicts:     155000 | #Constraints:      40207
617.61/619.27	c #Conflicts:     156000 | #Constraints:      41207
617.61/619.27	c #Conflicts:     157000 | #Constraints:      42207
617.61/619.27	c #Conflicts:     158000 | #Constraints:      43207
617.61/619.27	c #Conflicts:     159000 | #Constraints:      44207
617.61/619.27	c #Conflicts:     160000 | #Constraints:      45207
617.61/619.27	c #Conflicts:     161000 | #Constraints:      46207
617.61/619.27	c #Conflicts:     162000 | #Constraints:      47207
617.61/619.27	c #Conflicts:     163000 | #Constraints:      48207
617.61/619.27	c INPROCESSING
617.61/619.27	c GARBAGE COLLECT
617.61/619.27	c rational objective 151
907.91/910.27	c #Conflicts:     164000 | #Constraints:      34600
907.91/910.27	c #Conflicts:     165000 | #Constraints:      35600
907.91/910.27	c #Conflicts:     166000 | #Constraints:      36600
907.91/910.27	c #Conflicts:     167000 | #Constraints:      37600
907.91/910.27	c #Conflicts:     168000 | #Constraints:      38600
907.91/910.27	c #Conflicts:     169000 | #Constraints:      39601
907.91/910.27	c #Conflicts:     170000 | #Constraints:      40601
907.91/910.27	c #Conflicts:     171000 | #Constraints:      41601
907.91/910.27	c #Conflicts:     172000 | #Constraints:      42601
907.91/910.27	c #Conflicts:     173000 | #Constraints:      43601
907.91/910.27	c #Conflicts:     174000 | #Constraints:      44601
907.91/910.27	c #Conflicts:     175000 | #Constraints:      45601
907.91/910.27	c #Conflicts:     176000 | #Constraints:      46601
907.91/910.27	c #Conflicts:     177000 | #Constraints:      47601
907.91/910.27	c #Conflicts:     178000 | #Constraints:      48601
907.91/910.27	c #Conflicts:     179000 | #Constraints:      49601
907.91/910.27	c #Conflicts:     180000 | #Constraints:      50601
907.91/910.27	c #Conflicts:     181000 | #Constraints:      51601
907.91/910.27	c #Conflicts:     182000 | #Constraints:      52601
907.91/910.27	c #Conflicts:     183000 | #Constraints:      53601
907.91/910.27	c #Conflicts:     184000 | #Constraints:      54602
907.91/910.27	c #Conflicts:     185000 | #Constraints:      55602
907.91/910.27	c #Conflicts:     186000 | #Constraints:      56602
907.91/910.27	c #Conflicts:     187000 | #Constraints:      57602
907.91/910.27	c #Conflicts:     188000 | #Constraints:      58602
907.91/910.27	c #Conflicts:     189000 | #Constraints:      59602
907.91/910.27	c #Conflicts:     190000 | #Constraints:      60602
907.91/910.27	c #Conflicts:     191000 | #Constraints:      61602
907.91/910.27	c INPROCESSING
907.91/910.27	c GARBAGE COLLECT
907.91/910.27	c #Conflicts:     192000 | #Constraints:      41016
907.91/910.27	c #Conflicts:     193000 | #Constraints:      42016
907.91/910.27	c #Conflicts:     194000 | #Constraints:      43016
907.91/910.27	c #Conflicts:     195000 | #Constraints:      44016
907.91/910.27	c #Conflicts:     196000 | #Constraints:      45016
907.91/910.27	c #Conflicts:     197000 | #Constraints:      46016
907.91/910.27	c #Conflicts:     198000 | #Constraints:      47016
907.91/910.27	c #Conflicts:     199000 | #Constraints:      48016
907.91/910.27	c #Conflicts:     200000 | #Constraints:      49016
907.91/910.27	c #Conflicts:     201000 | #Constraints:      50016
907.91/910.27	c #Conflicts:     202000 | #Constraints:      51017
907.91/910.27	c #Conflicts:     203000 | #Constraints:      52017
907.91/910.27	c #Conflicts:     204000 | #Constraints:      53017
907.91/910.27	c INPROCESSING
907.91/910.27	c GARBAGE COLLECT
907.91/910.27	c #Conflicts:     205000 | #Constraints:      37438
907.91/910.27	c #Conflicts:     206000 | #Constraints:      38438
907.91/910.27	c #Conflicts:     207000 | #Constraints:      39438
907.91/910.27	c #Conflicts:     208000 | #Constraints:      40438
907.91/910.27	c #Conflicts:     209000 | #Constraints:      41438
907.91/910.27	c #Conflicts:     210000 | #Constraints:      42438
907.91/910.27	c #Conflicts:     211000 | #Constraints:      43438
907.91/910.27	c #Conflicts:     212000 | #Constraints:      44438
907.91/910.27	c #Conflicts:     213000 | #Constraints:      45438
907.91/910.27	c #Conflicts:     214000 | #Constraints:      46438
907.91/910.27	c #Conflicts:     215000 | #Constraints:      47438
907.91/910.27	c #Conflicts:     216000 | #Constraints:      48438
907.91/910.27	c #Conflicts:     217000 | #Constraints:      49438
907.91/910.27	c #Conflicts:     218000 | #Constraints:      50439
907.91/910.27	c #Conflicts:     219000 | #Constraints:      51439
907.91/910.27	c #Conflicts:     220000 | #Constraints:      52439
907.91/910.27	c #Conflicts:     221000 | #Constraints:      53439
907.91/910.27	c #Conflicts:     222000 | #Constraints:      54439
907.91/910.27	c #Conflicts:     223000 | #Constraints:      55439
907.91/910.27	c #Conflicts:     224000 | #Constraints:      56439
907.91/910.27	c #Conflicts:     225000 | #Constraints:      57439
907.91/910.27	c #Conflicts:     226000 | #Constraints:      58439
907.91/910.27	c #Conflicts:     227000 | #Constraints:      59439
907.91/910.27	c #Conflicts:     228000 | #Constraints:      60439
907.91/910.27	c #Conflicts:     229000 | #Constraints:      61439
907.91/910.27	c #Conflicts:     230000 | #Constraints:      62439
907.91/910.27	c #Conflicts:     231000 | #Constraints:      63439
907.91/910.27	c #Conflicts:     232000 | #Constraints:      64439
907.91/910.27	c #Conflicts:     233000 | #Constraints:      65440
907.91/910.27	c #Conflicts:     234000 | #Constraints:      66440
907.91/910.27	c #Conflicts:     235000 | #Constraints:      67440
907.91/910.27	c INPROCESSING
907.91/910.27	c GARBAGE COLLECT
907.91/910.27	c rational objective 151
1019.76/1022.32	c #Conflicts:     236000 | #Constraints:      44307
1019.76/1022.32	c #Conflicts:     237000 | #Constraints:      45308
1019.76/1022.32	c #Conflicts:     238000 | #Constraints:      46308
1019.76/1022.32	c #Conflicts:     239000 | #Constraints:      47308
1019.76/1022.32	c #Conflicts:     240000 | #Constraints:      48308
1019.76/1022.32	c #Conflicts:     241000 | #Constraints:      49308
1019.76/1022.32	c #Conflicts:     242000 | #Constraints:      50308
1019.76/1022.32	c #Conflicts:     243000 | #Constraints:      51308
1019.76/1022.32	c #Conflicts:     244000 | #Constraints:      52308
1019.76/1022.32	c #Conflicts:     245000 | #Constraints:      53308
1019.76/1022.32	c #Conflicts:     246000 | #Constraints:      54308
1019.76/1022.32	c #Conflicts:     247000 | #Constraints:      55308
1019.76/1022.32	c #Conflicts:     248000 | #Constraints:      56308
1019.76/1022.32	c INPROCESSING
1019.76/1022.32	c GARBAGE COLLECT
1019.76/1022.32	c rational objective 151
1159.52/1162.42	c #Conflicts:     249000 | #Constraints:      38579
1159.52/1162.42	c #Conflicts:     250000 | #Constraints:      39579
1159.52/1162.42	c #Conflicts:     251000 | #Constraints:      40579
1159.52/1162.42	c #Conflicts:     252000 | #Constraints:      41579
1159.52/1162.42	c #Conflicts:     253000 | #Constraints:      42579
1159.52/1162.42	c #Conflicts:     254000 | #Constraints:      43579
1159.52/1162.42	c #Conflicts:     255000 | #Constraints:      44579
1159.52/1162.42	c #Conflicts:     256000 | #Constraints:      45579
1159.52/1162.42	c #Conflicts:     257000 | #Constraints:      46579
1159.52/1162.42	c #Conflicts:     258000 | #Constraints:      47579
1159.52/1162.42	c #Conflicts:     259000 | #Constraints:      48579
1159.52/1162.42	c #Conflicts:     260000 | #Constraints:      49579
1159.52/1162.42	c #Conflicts:     261000 | #Constraints:      50579
1159.52/1162.42	c #Conflicts:     262000 | #Constraints:      51579
1159.52/1162.42	c #Conflicts:     263000 | #Constraints:      52579
1159.52/1162.42	c #Conflicts:     264000 | #Constraints:      53579
1159.52/1162.42	c #Conflicts:     265000 | #Constraints:      54580
1159.52/1162.42	c #Conflicts:     266000 | #Constraints:      55580
1159.52/1162.42	c #Conflicts:     267000 | #Constraints:      56580
1159.52/1162.42	c #Conflicts:     268000 | #Constraints:      57580
1159.52/1162.42	c #Conflicts:     269000 | #Constraints:      58580
1159.52/1162.42	c #Conflicts:     270000 | #Constraints:      59580
1159.52/1162.42	c #Conflicts:     271000 | #Constraints:      60580
1159.52/1162.42	c #Conflicts:     272000 | #Constraints:      61580
1159.52/1162.42	c #Conflicts:     273000 | #Constraints:      62580
1159.52/1162.42	c #Conflicts:     274000 | #Constraints:      63580
1159.52/1162.42	c #Conflicts:     275000 | #Constraints:      64580
1159.52/1162.42	c #Conflicts:     276000 | #Constraints:      65580
1159.52/1162.42	c #Conflicts:     277000 | #Constraints:      66580
1159.52/1162.42	c #Conflicts:     278000 | #Constraints:      67580
1159.52/1162.42	c #Conflicts:     279000 | #Constraints:      68580
1159.52/1162.42	c #Conflicts:     280000 | #Constraints:      69581
1159.52/1162.42	c #Conflicts:     281000 | #Constraints:      70581
1159.52/1162.42	c #Conflicts:     282000 | #Constraints:      71581
1159.52/1162.42	c INPROCESSING
1159.52/1162.42	c GARBAGE COLLECT
1159.52/1162.42	c #Conflicts:     283000 | #Constraints:      45959
1159.52/1162.42	c #Conflicts:     284000 | #Constraints:      46959
1159.52/1162.42	c #Conflicts:     285000 | #Constraints:      47959
1159.52/1162.42	c #Conflicts:     286000 | #Constraints:      48959
1159.52/1162.42	c #Conflicts:     287000 | #Constraints:      49959
1159.52/1162.42	c #Conflicts:     288000 | #Constraints:      50959
1159.52/1162.42	c #Conflicts:     289000 | #Constraints:      51959
1159.52/1162.42	c #Conflicts:     290000 | #Constraints:      52959
1159.52/1162.42	c #Conflicts:     291000 | #Constraints:      53959
1159.52/1162.42	c #Conflicts:     292000 | #Constraints:      54959
1159.52/1162.42	c #Conflicts:     293000 | #Constraints:      55959
1159.52/1162.42	c #Conflicts:     294000 | #Constraints:      56959
1159.52/1162.42	c #Conflicts:     295000 | #Constraints:      57959
1159.52/1162.42	c #Conflicts:     296000 | #Constraints:      58959
1159.52/1162.42	c #Conflicts:     297000 | #Constraints:      59959
1159.52/1162.42	c INPROCESSING
1159.52/1162.42	c GARBAGE COLLECT
1159.52/1162.42	c rational objective 151
1338.38/1341.78	c #Conflicts:     298000 | #Constraints:      40904
1338.38/1341.78	c #Conflicts:     299000 | #Constraints:      41904
1338.38/1341.78	c #Conflicts:     300000 | #Constraints:      42904
1338.38/1341.78	c #Conflicts:     301000 | #Constraints:      43904
1338.38/1341.78	c #Conflicts:     302000 | #Constraints:      44904
1338.38/1341.78	c #Conflicts:     303000 | #Constraints:      45904
1338.38/1341.78	c #Conflicts:     304000 | #Constraints:      46904
1338.38/1341.78	c #Conflicts:     305000 | #Constraints:      47904
1338.38/1341.78	c #Conflicts:     306000 | #Constraints:      48904
1338.38/1341.78	c #Conflicts:     307000 | #Constraints:      49904
1338.38/1341.78	c #Conflicts:     308000 | #Constraints:      50904
1338.38/1341.78	c #Conflicts:     309000 | #Constraints:      51904
1338.38/1341.78	c #Conflicts:     310000 | #Constraints:      52904
1338.38/1341.78	c #Conflicts:     311000 | #Constraints:      53904
1338.38/1341.78	c #Conflicts:     312000 | #Constraints:      54904
1338.38/1341.78	c #Conflicts:     313000 | #Constraints:      55904
1338.38/1341.78	c #Conflicts:     314000 | #Constraints:      56905
1338.38/1341.78	c #Conflicts:     315000 | #Constraints:      57905
1338.38/1341.78	c #Conflicts:     316000 | #Constraints:      58905
1338.38/1341.78	c #Conflicts:     317000 | #Constraints:      59905
1338.38/1341.78	c #Conflicts:     318000 | #Constraints:      60905
1338.38/1341.78	c #Conflicts:     319000 | #Constraints:      61905
1338.38/1341.78	c #Conflicts:     320000 | #Constraints:      62905
1338.38/1341.78	c #Conflicts:     321000 | #Constraints:      63905
1338.38/1341.78	c #Conflicts:     322000 | #Constraints:      64905
1338.38/1341.78	c #Conflicts:     323000 | #Constraints:      65905
1338.38/1341.78	c #Conflicts:     324000 | #Constraints:      66905
1338.38/1341.78	c #Conflicts:     325000 | #Constraints:      67905
1338.38/1341.78	c #Conflicts:     326000 | #Constraints:      68905
1338.38/1341.78	c #Conflicts:     327000 | #Constraints:      69906
1338.38/1341.78	c #Conflicts:     328000 | #Constraints:      70906
1338.38/1341.78	c #Conflicts:     329000 | #Constraints:      71906
1338.38/1341.78	c #Conflicts:     330000 | #Constraints:      72906
1338.38/1341.78	c #Conflicts:     331000 | #Constraints:      73906
1338.38/1341.78	c #Conflicts:     332000 | #Constraints:      74906
1338.38/1341.78	c #Conflicts:     333000 | #Constraints:      75906
1338.38/1341.78	c #Conflicts:     334000 | #Constraints:      76906
1338.38/1341.78	c #Conflicts:     335000 | #Constraints:      77906
1338.38/1341.78	c INPROCESSING
1338.38/1341.78	c GARBAGE COLLECT
1338.38/1341.78	c rational objective 151
1400.14/1403.68	c #Conflicts:     336000 | #Constraints:      49692
1400.14/1403.68	c #Conflicts:     337000 | #Constraints:      50692
1400.14/1403.68	c #Conflicts:     338000 | #Constraints:      51692
1400.14/1403.68	c #Conflicts:     339000 | #Constraints:      52692
1400.14/1403.68	c #Conflicts:     340000 | #Constraints:      53692
1400.14/1403.68	c #Conflicts:     341000 | #Constraints:      54692
1400.14/1403.68	c #Conflicts:     342000 | #Constraints:      55692
1400.14/1403.68	c #Conflicts:     343000 | #Constraints:      56692
1400.14/1403.68	c #Conflicts:     344000 | #Constraints:      57692
1400.14/1403.68	c #Conflicts:     345000 | #Constraints:      58692
1400.14/1403.68	c #Conflicts:     346000 | #Constraints:      59692
1400.14/1403.68	c #Conflicts:     347000 | #Constraints:      60692
1400.14/1403.68	c #Conflicts:     348000 | #Constraints:      61692
1400.14/1403.68	c #Conflicts:     349000 | #Constraints:      62692
1400.14/1403.68	c #Conflicts:     350000 | #Constraints:      63692
1400.14/1403.68	c #Conflicts:     351000 | #Constraints:      64692
1400.14/1403.68	c INPROCESSING
1400.14/1403.68	c GARBAGE COLLECT
1400.14/1403.68	c rational objective 151
1477.54/1481.20	c #Conflicts:     352000 | #Constraints:      43623
1477.54/1481.20	c #Conflicts:     353000 | #Constraints:      44623
1477.54/1481.20	c #Conflicts:     354000 | #Constraints:      45623
1477.54/1481.20	c #Conflicts:     355000 | #Constraints:      46623
1477.54/1481.20	c #Conflicts:     356000 | #Constraints:      47623
1477.54/1481.20	c #Conflicts:     357000 | #Constraints:      48623
1477.54/1481.20	c #Conflicts:     358000 | #Constraints:      49623
1477.54/1481.20	c #Conflicts:     359000 | #Constraints:      50623
1477.54/1481.20	c #Conflicts:     360000 | #Constraints:      51623
1477.54/1481.20	c #Conflicts:     361000 | #Constraints:      52623
1477.54/1481.20	c #Conflicts:     362000 | #Constraints:      53623
1477.54/1481.20	c #Conflicts:     363000 | #Constraints:      54623
1477.54/1481.20	c #Conflicts:     364000 | #Constraints:      55623
1477.54/1481.20	c #Conflicts:     365000 | #Constraints:      56623
1477.54/1481.20	c #Conflicts:     366000 | #Constraints:      57623
1477.54/1481.20	c #Conflicts:     367000 | #Constraints:      58623
1477.54/1481.20	c #Conflicts:     368000 | #Constraints:      59623
1477.54/1481.20	c #Conflicts:     369000 | #Constraints:      60623
1477.54/1481.20	c #Conflicts:     370000 | #Constraints:      61623
1477.54/1481.20	c #Conflicts:     371000 | #Constraints:      62623
1477.54/1481.20	c #Conflicts:     372000 | #Constraints:      63623
1477.54/1481.20	c #Conflicts:     373000 | #Constraints:      64623
1477.54/1481.20	c #Conflicts:     374000 | #Constraints:      65623
1477.54/1481.20	c #Conflicts:     375000 | #Constraints:      66623
1477.54/1481.20	c #Conflicts:     376000 | #Constraints:      67623
1477.54/1481.20	c #Conflicts:     377000 | #Constraints:      68623
1477.54/1481.20	c #Conflicts:     378000 | #Constraints:      69623
1477.54/1481.20	c #Conflicts:     379000 | #Constraints:      70623
1477.54/1481.20	c #Conflicts:     380000 | #Constraints:      71623
1477.54/1481.20	c #Conflicts:     381000 | #Constraints:      72623
1477.54/1481.20	c #Conflicts:     382000 | #Constraints:      73623
1477.54/1481.20	c #Conflicts:     383000 | #Constraints:      74623
1477.54/1481.20	c #Conflicts:     384000 | #Constraints:      75623
1477.54/1481.20	c #Conflicts:     385000 | #Constraints:      76623
1477.54/1481.20	c #Conflicts:     386000 | #Constraints:      77623
1477.54/1481.20	c #Conflicts:     387000 | #Constraints:      78623
1477.54/1481.20	c #Conflicts:     388000 | #Constraints:      79623
1477.54/1481.20	c #Conflicts:     389000 | #Constraints:      80623
1477.54/1481.20	c #Conflicts:     390000 | #Constraints:      81623
1477.54/1481.20	c #Conflicts:     391000 | #Constraints:      82623
1477.54/1481.20	c INPROCESSING
1477.54/1481.20	c GARBAGE COLLECT
1477.54/1481.20	c rational objective 151
1563.93/1567.81	c #Conflicts:     392000 | #Constraints:      51997
1563.93/1567.81	c #Conflicts:     393000 | #Constraints:      52998
1563.93/1567.81	c #Conflicts:     394000 | #Constraints:      53998
1563.93/1567.81	c #Conflicts:     395000 | #Constraints:      54998
1563.93/1567.81	c #Conflicts:     396000 | #Constraints:      55998
1563.93/1567.81	c #Conflicts:     397000 | #Constraints:      56998
1563.93/1567.81	c #Conflicts:     398000 | #Constraints:      57998
1563.93/1567.81	c #Conflicts:     399000 | #Constraints:      58998
1563.93/1567.81	c #Conflicts:     400000 | #Constraints:      59998
1563.93/1567.81	c #Conflicts:     401000 | #Constraints:      60998
1563.93/1567.81	c #Conflicts:     402000 | #Constraints:      61998
1563.93/1567.81	c #Conflicts:     403000 | #Constraints:      62998
1563.93/1567.81	c #Conflicts:     404000 | #Constraints:      63998
1563.93/1567.81	c #Conflicts:     405000 | #Constraints:      64998
1563.93/1567.81	c #Conflicts:     406000 | #Constraints:      65998
1563.93/1567.81	c #Conflicts:     407000 | #Constraints:      66998
1563.93/1567.81	c #Conflicts:     408000 | #Constraints:      67998
1563.93/1567.81	c INPROCESSING
1563.93/1567.81	c GARBAGE COLLECT
1563.93/1567.81	c rational objective 151
1651.31/1655.47	c #Conflicts:     409000 | #Constraints:      45400
1651.31/1655.47	c #Conflicts:     410000 | #Constraints:      46400
1651.31/1655.47	c #Conflicts:     411000 | #Constraints:      47400
1651.31/1655.47	c #Conflicts:     412000 | #Constraints:      48400
1651.31/1655.47	c #Conflicts:     413000 | #Constraints:      49400
1651.31/1655.47	c #Conflicts:     414000 | #Constraints:      50400
1651.31/1655.47	c #Conflicts:     415000 | #Constraints:      51400
1651.31/1655.47	c #Conflicts:     416000 | #Constraints:      52400
1651.31/1655.47	c #Conflicts:     417000 | #Constraints:      53400
1651.31/1655.47	c #Conflicts:     418000 | #Constraints:      54400
1651.31/1655.47	c #Conflicts:     419000 | #Constraints:      55400
1651.31/1655.47	c #Conflicts:     420000 | #Constraints:      56400
1651.31/1655.47	c #Conflicts:     421000 | #Constraints:      57400
1651.31/1655.47	c #Conflicts:     422000 | #Constraints:      58400
1651.31/1655.47	c #Conflicts:     423000 | #Constraints:      59400
1651.31/1655.47	c #Conflicts:     424000 | #Constraints:      60400
1651.31/1655.47	c #Conflicts:     425000 | #Constraints:      61400
1651.31/1655.47	c #Conflicts:     426000 | #Constraints:      62400
1651.31/1655.47	c #Conflicts:     427000 | #Constraints:      63400
1651.31/1655.47	c #Conflicts:     428000 | #Constraints:      64400
1651.31/1655.47	c #Conflicts:     429000 | #Constraints:      65400
1651.31/1655.47	c #Conflicts:     430000 | #Constraints:      66400
1651.31/1655.47	c #Conflicts:     431000 | #Constraints:      67400
1651.31/1655.47	c #Conflicts:     432000 | #Constraints:      68400
1651.31/1655.47	c #Conflicts:     433000 | #Constraints:      69400
1651.31/1655.47	c #Conflicts:     434000 | #Constraints:      70400
1651.31/1655.47	c #Conflicts:     435000 | #Constraints:      71400
1651.31/1655.47	c #Conflicts:     436000 | #Constraints:      72400
1651.31/1655.47	c #Conflicts:     437000 | #Constraints:      73400
1651.31/1655.47	c #Conflicts:     438000 | #Constraints:      74400
1651.31/1655.47	c #Conflicts:     439000 | #Constraints:      75400
1651.31/1655.47	c #Conflicts:     440000 | #Constraints:      76400
1651.31/1655.47	c #Conflicts:     441000 | #Constraints:      77400
1651.31/1655.47	c #Conflicts:     442000 | #Constraints:      78400
1651.31/1655.47	c #Conflicts:     443000 | #Constraints:      79400
1651.31/1655.47	c #Conflicts:     444000 | #Constraints:      80400
1651.31/1655.47	c #Conflicts:     445000 | #Constraints:      81400
1651.31/1655.47	c #Conflicts:     446000 | #Constraints:      82400
1651.31/1655.47	c #Conflicts:     447000 | #Constraints:      83400
1651.31/1655.47	c #Conflicts:     448000 | #Constraints:      84400
1651.31/1655.47	c #Conflicts:     449000 | #Constraints:      85400
1651.31/1655.47	c #Conflicts:     450000 | #Constraints:      86400
1651.31/1655.47	c #Conflicts:     451000 | #Constraints:      87400
1651.31/1655.47	c #Conflicts:     452000 | #Constraints:      88400
1651.31/1655.47	c INPROCESSING
1651.31/1655.47	c GARBAGE COLLECT
1651.31/1655.47	c rational objective 151
1760.65/1765.07	c #Conflicts:     453000 | #Constraints:      54852
1760.65/1765.07	c #Conflicts:     454000 | #Constraints:      55852
1760.65/1765.07	c #Conflicts:     455000 | #Constraints:      56852
1760.65/1765.07	c #Conflicts:     456000 | #Constraints:      57852
1760.65/1765.07	c #Conflicts:     457000 | #Constraints:      58852
1760.65/1765.07	c #Conflicts:     458000 | #Constraints:      59852
1760.65/1765.07	c #Conflicts:     459000 | #Constraints:      60852
1760.65/1765.07	c #Conflicts:     460000 | #Constraints:      61852
1760.65/1765.07	c #Conflicts:     461000 | #Constraints:      62852
1760.65/1765.07	c #Conflicts:     462000 | #Constraints:      63852
1760.65/1765.07	c #Conflicts:     463000 | #Constraints:      64852
1760.65/1765.07	c #Conflicts:     464000 | #Constraints:      65852
1760.65/1765.07	c #Conflicts:     465000 | #Constraints:      66853
1760.65/1765.07	c #Conflicts:     466000 | #Constraints:      67853
1760.65/1765.07	c #Conflicts:     467000 | #Constraints:      68853
1760.65/1765.07	c #Conflicts:     468000 | #Constraints:      69853
1760.65/1765.07	c #Conflicts:     469000 | #Constraints:      70853
1760.65/1765.07	c #Conflicts:     470000 | #Constraints:      71853
1760.65/1765.07	c #Conflicts:     471000 | #Constraints:      72853
1760.65/1765.07	c INPROCESSING
1760.65/1765.07	c GARBAGE COLLECT
1760.65/1765.07	c rational objective 151
2050.04/2055.16	c #Conflicts:     472000 | #Constraints:      47841
2050.04/2055.16	c #Conflicts:     473000 | #Constraints:      48841
2050.04/2055.16	c #Conflicts:     474000 | #Constraints:      49841
2050.04/2055.16	c #Conflicts:     475000 | #Constraints:      50841
2050.04/2055.16	c #Conflicts:     476000 | #Constraints:      51841
2050.04/2055.16	c #Conflicts:     477000 | #Constraints:      52841
2050.04/2055.16	c #Conflicts:     478000 | #Constraints:      53841
2050.04/2055.16	c #Conflicts:     479000 | #Constraints:      54842
2050.04/2055.16	c #Conflicts:     480000 | #Constraints:      55842
2050.04/2055.16	c #Conflicts:     481000 | #Constraints:      56842
2050.04/2055.16	c #Conflicts:     482000 | #Constraints:      57842
2050.04/2055.16	c #Conflicts:     483000 | #Constraints:      58842
2050.04/2055.16	c #Conflicts:     484000 | #Constraints:      59842
2050.04/2055.16	c #Conflicts:     485000 | #Constraints:      60842
2050.04/2055.16	c #Conflicts:     486000 | #Constraints:      61842
2050.04/2055.16	c #Conflicts:     487000 | #Constraints:      62842
2050.04/2055.16	c #Conflicts:     488000 | #Constraints:      63842
2050.04/2055.16	c #Conflicts:     489000 | #Constraints:      64842
2050.04/2055.16	c #Conflicts:     490000 | #Constraints:      65842
2050.04/2055.16	c #Conflicts:     491000 | #Constraints:      66842
2050.04/2055.16	c #Conflicts:     492000 | #Constraints:      67842
2050.04/2055.16	c #Conflicts:     493000 | #Constraints:      68842
2050.04/2055.16	c #Conflicts:     494000 | #Constraints:      69842
2050.04/2055.16	c #Conflicts:     495000 | #Constraints:      70842
2050.04/2055.16	c #Conflicts:     496000 | #Constraints:      71843
2050.04/2055.16	c #Conflicts:     497000 | #Constraints:      72843
2050.04/2055.16	c #Conflicts:     498000 | #Constraints:      73843
2050.04/2055.16	c #Conflicts:     499000 | #Constraints:      74843
2050.04/2055.16	c #Conflicts:     500000 | #Constraints:      75843
2050.04/2055.16	c #Conflicts:     501000 | #Constraints:      76843
2050.04/2055.16	c #Conflicts:     502000 | #Constraints:      77843
2050.04/2055.16	c #Conflicts:     503000 | #Constraints:      78843
2050.04/2055.16	c #Conflicts:     504000 | #Constraints:      79843
2050.04/2055.16	c #Conflicts:     505000 | #Constraints:      80843
2050.04/2055.16	c #Conflicts:     506000 | #Constraints:      81843
2050.04/2055.16	c #Conflicts:     507000 | #Constraints:      82843
2050.04/2055.16	c #Conflicts:     508000 | #Constraints:      83843
2050.04/2055.16	c #Conflicts:     509000 | #Constraints:      84843
2050.04/2055.16	c #Conflicts:     510000 | #Constraints:      85844
2050.04/2055.16	c #Conflicts:     511000 | #Constraints:      86844
2050.04/2055.16	c #Conflicts:     512000 | #Constraints:      87844
2050.04/2055.16	c #Conflicts:     513000 | #Constraints:      88844
2050.04/2055.16	c #Conflicts:     514000 | #Constraints:      89844
2050.04/2055.16	c #Conflicts:     515000 | #Constraints:      90844
2050.04/2055.16	c #Conflicts:     516000 | #Constraints:      91844
2050.04/2055.16	c #Conflicts:     517000 | #Constraints:      92844
2050.04/2055.16	c INPROCESSING
2050.04/2055.16	c GARBAGE COLLECT
2050.04/2055.16	c rational objective 151
2575.19/2581.64	c #Conflicts:     518000 | #Constraints:      57064
2575.19/2581.64	c #Conflicts:     519000 | #Constraints:      58064
2575.19/2581.64	c #Conflicts:     520000 | #Constraints:      59064
2575.19/2581.64	c #Conflicts:     521000 | #Constraints:      60064
2575.19/2581.64	c #Conflicts:     522000 | #Constraints:      61064
2575.19/2581.64	c #Conflicts:     523000 | #Constraints:      62064
2575.19/2581.64	c #Conflicts:     524000 | #Constraints:      63065
2575.19/2581.64	c #Conflicts:     525000 | #Constraints:      64065
2575.19/2581.64	c #Conflicts:     526000 | #Constraints:      65065
2575.19/2581.64	c #Conflicts:     527000 | #Constraints:      66065
2575.19/2581.64	c #Conflicts:     528000 | #Constraints:      67065
2575.19/2581.64	c #Conflicts:     529000 | #Constraints:      68065
2575.19/2581.64	c #Conflicts:     530000 | #Constraints:      69065
2575.19/2581.64	c #Conflicts:     531000 | #Constraints:      70065
2575.19/2581.64	c #Conflicts:     532000 | #Constraints:      71065
2575.19/2581.64	c #Conflicts:     533000 | #Constraints:      72065
2575.19/2581.64	c #Conflicts:     534000 | #Constraints:      73065
2575.19/2581.64	c #Conflicts:     535000 | #Constraints:      74065
2575.19/2581.64	c #Conflicts:     536000 | #Constraints:      75065
2575.19/2581.64	c #Conflicts:     537000 | #Constraints:      76065
2575.19/2581.64	c INPROCESSING
2575.19/2581.64	c GARBAGE COLLECT
2575.19/2581.64	c #Conflicts:     538000 | #Constraints:      48851
2575.19/2581.64	c #Conflicts:     539000 | #Constraints:      49851
2575.19/2581.64	c #Conflicts:     540000 | #Constraints:      50851
2575.19/2581.64	c #Conflicts:     541000 | #Constraints:      51852
2575.19/2581.64	c #Conflicts:     542000 | #Constraints:      52852
2575.19/2581.64	c #Conflicts:     543000 | #Constraints:      53852
2575.19/2581.64	c #Conflicts:     544000 | #Constraints:      54852
2575.19/2581.64	c #Conflicts:     545000 | #Constraints:      55852
2575.19/2581.64	c #Conflicts:     546000 | #Constraints:      56852
2575.19/2581.64	c #Conflicts:     547000 | #Constraints:      57852
2575.19/2581.64	c #Conflicts:     548000 | #Constraints:      58852
2575.19/2581.64	c #Conflicts:     549000 | #Constraints:      59852
2575.19/2581.64	c #Conflicts:     550000 | #Constraints:      60852
2575.19/2581.64	c #Conflicts:     551000 | #Constraints:      61852
2575.19/2581.64	c #Conflicts:     552000 | #Constraints:      62852
2575.19/2581.64	c #Conflicts:     553000 | #Constraints:      63853
2575.19/2581.64	c #Conflicts:     554000 | #Constraints:      64853
2575.19/2581.64	c #Conflicts:     555000 | #Constraints:      65853
2575.19/2581.64	c #Conflicts:     556000 | #Constraints:      66853
2575.19/2581.64	c #Conflicts:     557000 | #Constraints:      67853
2575.19/2581.64	c #Conflicts:     558000 | #Constraints:      68853
2575.19/2581.64	c #Conflicts:     559000 | #Constraints:      69853
2575.19/2581.64	c #Conflicts:     560000 | #Constraints:      70853
2575.19/2581.64	c #Conflicts:     561000 | #Constraints:      71853
2575.19/2581.64	c #Conflicts:     562000 | #Constraints:      72853
2575.19/2581.64	c #Conflicts:     563000 | #Constraints:      73853
2575.19/2581.64	c #Conflicts:     564000 | #Constraints:      74853
2575.19/2581.64	c #Conflicts:     565000 | #Constraints:      75853
2575.19/2581.64	c #Conflicts:     566000 | #Constraints:      76853
2575.19/2581.64	c #Conflicts:     567000 | #Constraints:      77853
2575.19/2581.64	c #Conflicts:     568000 | #Constraints:      78853
2575.19/2581.64	c #Conflicts:     569000 | #Constraints:      79854
2575.19/2581.64	c #Conflicts:     570000 | #Constraints:      80854
2575.19/2581.64	c #Conflicts:     571000 | #Constraints:      81854
2575.19/2581.64	c #Conflicts:     572000 | #Constraints:      82854
2575.19/2581.64	c #Conflicts:     573000 | #Constraints:      83854
2575.19/2581.64	c #Conflicts:     574000 | #Constraints:      84854
2575.19/2581.64	c #Conflicts:     575000 | #Constraints:      85854
2575.19/2581.64	c #Conflicts:     576000 | #Constraints:      86854
2575.19/2581.64	c #Conflicts:     577000 | #Constraints:      87854
2575.19/2581.64	c #Conflicts:     578000 | #Constraints:      88854
2575.19/2581.64	c #Conflicts:     579000 | #Constraints:      89854
2575.19/2581.64	c #Conflicts:     580000 | #Constraints:      90854
2575.19/2581.64	c #Conflicts:     581000 | #Constraints:      91854
2575.19/2581.64	c #Conflicts:     582000 | #Constraints:      92854
2575.19/2581.64	c #Conflicts:     583000 | #Constraints:      93854
2575.19/2581.64	c #Conflicts:     584000 | #Constraints:      94854
2575.19/2581.64	c #Conflicts:     585000 | #Constraints:      95855
2575.19/2581.64	c #Conflicts:     586000 | #Constraints:      96855
2575.19/2581.64	c #Conflicts:     587000 | #Constraints:      97855
2575.19/2581.64	c INPROCESSING
2575.19/2581.64	c GARBAGE COLLECT
2575.19/2581.64	c #Conflicts:     588000 | #Constraints:      59768
2575.19/2581.64	c #Conflicts:     589000 | #Constraints:      60768
2575.19/2581.64	c #Conflicts:     590000 | #Constraints:      61768
2575.19/2581.64	c #Conflicts:     591000 | #Constraints:      62768
2575.19/2581.64	c #Conflicts:     592000 | #Constraints:      63768
2575.19/2581.64	c #Conflicts:     593000 | #Constraints:      64768
2575.19/2581.64	c #Conflicts:     594000 | #Constraints:      65768
2575.19/2581.64	c #Conflicts:     595000 | #Constraints:      66768
2708.07/2714.82	c #Conflicts:     596000 | #Constraints:      67768
2708.07/2714.82	c #Conflicts:     597000 | #Constraints:      68768
2708.07/2714.82	c #Conflicts:     598000 | #Constraints:      69769
2708.07/2714.82	c #Conflicts:     599000 | #Constraints:      70769
2708.07/2714.82	c #Conflicts:     600000 | #Constraints:      71769
2708.07/2714.82	c #Conflicts:     601000 | #Constraints:      72769
2708.07/2714.82	c #Conflicts:     602000 | #Constraints:      73769
2708.07/2714.82	c #Conflicts:     603000 | #Constraints:      74769
2708.07/2714.82	c #Conflicts:     604000 | #Constraints:      75769
2708.07/2714.82	c #Conflicts:     605000 | #Constraints:      76769
2708.07/2714.82	c #Conflicts:     606000 | #Constraints:      77769
2708.07/2714.82	c #Conflicts:     607000 | #Constraints:      78769
2708.07/2714.82	c #Conflicts:     608000 | #Constraints:      79769
2708.07/2714.82	c INPROCESSING
2708.07/2714.82	c GARBAGE COLLECT
2708.07/2714.82	c rational objective 151
2899.54/2906.79	c #Conflicts:     609000 | #Constraints:      51322
2899.54/2906.79	c #Conflicts:     610000 | #Constraints:      52322
2899.54/2906.79	c #Conflicts:     611000 | #Constraints:      53322
2899.54/2906.79	c #Conflicts:     612000 | #Constraints:      54322
2899.54/2906.79	c #Conflicts:     613000 | #Constraints:      55322
2899.54/2906.79	c #Conflicts:     614000 | #Constraints:      56322
2899.54/2906.79	c #Conflicts:     615000 | #Constraints:      57322
2899.54/2906.79	c #Conflicts:     616000 | #Constraints:      58322
2899.54/2906.79	c #Conflicts:     617000 | #Constraints:      59323
2899.54/2906.79	c #Conflicts:     618000 | #Constraints:      60323
2899.54/2906.79	c #Conflicts:     619000 | #Constraints:      61324
2899.54/2906.79	c #Conflicts:     620000 | #Constraints:      62324
2899.54/2906.79	c #Conflicts:     621000 | #Constraints:      63324
2899.54/2906.79	c #Conflicts:     622000 | #Constraints:      64324
2899.54/2906.79	c #Conflicts:     623000 | #Constraints:      65324
2899.54/2906.79	c #Conflicts:     624000 | #Constraints:      66324
2899.54/2906.79	c #Conflicts:     625000 | #Constraints:      67324
2899.54/2906.79	c #Conflicts:     626000 | #Constraints:      68324
2899.54/2906.79	c #Conflicts:     627000 | #Constraints:      69324
2899.54/2906.79	c #Conflicts:     628000 | #Constraints:      70324
2899.54/2906.79	c #Conflicts:     629000 | #Constraints:      71324
2899.54/2906.79	c #Conflicts:     630000 | #Constraints:      72324
2899.54/2906.79	c #Conflicts:     631000 | #Constraints:      73324
2899.54/2906.79	c #Conflicts:     632000 | #Constraints:      74324
2899.54/2906.79	c #Conflicts:     633000 | #Constraints:      75324
2899.54/2906.79	c #Conflicts:     634000 | #Constraints:      76324
2899.54/2906.79	c #Conflicts:     635000 | #Constraints:      77324
2899.54/2906.79	c #Conflicts:     636000 | #Constraints:      78325
2899.54/2906.79	c #Conflicts:     637000 | #Constraints:      79325
2899.54/2906.79	c #Conflicts:     638000 | #Constraints:      80325
2899.54/2906.79	c #Conflicts:     639000 | #Constraints:      81325
2899.54/2906.79	c #Conflicts:     640000 | #Constraints:      82325
2899.54/2906.79	c #Conflicts:     641000 | #Constraints:      83326
2899.54/2906.79	c #Conflicts:     642000 | #Constraints:      84326
2899.54/2906.79	c #Conflicts:     643000 | #Constraints:      85326
2899.54/2906.79	c #Conflicts:     644000 | #Constraints:      86326
2899.54/2906.79	c #Conflicts:     645000 | #Constraints:      87326
2899.54/2906.79	c #Conflicts:     646000 | #Constraints:      88326
2899.54/2906.79	c #Conflicts:     647000 | #Constraints:      89326
2899.54/2906.79	c #Conflicts:     648000 | #Constraints:      90326
2899.54/2906.79	c #Conflicts:     649000 | #Constraints:      91326
2899.54/2906.79	c #Conflicts:     650000 | #Constraints:      92326
2899.54/2906.79	c #Conflicts:     651000 | #Constraints:      93326
2899.54/2906.79	c #Conflicts:     652000 | #Constraints:      94326
2899.54/2906.79	c #Conflicts:     653000 | #Constraints:      95327
2899.54/2906.79	c #Conflicts:     654000 | #Constraints:      96327
2899.54/2906.79	c #Conflicts:     655000 | #Constraints:      97327
2899.54/2906.79	c #Conflicts:     656000 | #Constraints:      98327
2899.54/2906.79	c #Conflicts:     657000 | #Constraints:      99327
2899.54/2906.79	c #Conflicts:     658000 | #Constraints:     100327
2899.54/2906.79	c #Conflicts:     659000 | #Constraints:     101327
2899.54/2906.79	c #Conflicts:     660000 | #Constraints:     102327
2899.54/2906.79	c #Conflicts:     661000 | #Constraints:     103327
2899.54/2906.79	c INPROCESSING
2899.54/2906.79	c GARBAGE COLLECT
2899.54/2906.79	c rational objective 151
2965.88/2973.21	c #Conflicts:     662000 | #Constraints:      62495
2965.88/2973.21	c #Conflicts:     663000 | #Constraints:      63495
2965.88/2973.21	c #Conflicts:     664000 | #Constraints:      64495
2965.88/2973.21	c #Conflicts:     665000 | #Constraints:      65495
2965.88/2973.21	c #Conflicts:     666000 | #Constraints:      66495
2965.88/2973.21	c #Conflicts:     667000 | #Constraints:      67495
2965.88/2973.21	c #Conflicts:     668000 | #Constraints:      68495
2965.88/2973.21	c #Conflicts:     669000 | #Constraints:      69495
2965.88/2973.21	c #Conflicts:     670000 | #Constraints:      70495
2965.88/2973.21	c #Conflicts:     671000 | #Constraints:      71495
2965.88/2973.21	c #Conflicts:     672000 | #Constraints:      72495
2965.88/2973.21	c #Conflicts:     673000 | #Constraints:      73495
2965.88/2973.21	c #Conflicts:     674000 | #Constraints:      74495
2965.88/2973.21	c #Conflicts:     675000 | #Constraints:      75495
2965.88/2973.21	c #Conflicts:     676000 | #Constraints:      76495
2965.88/2973.21	c #Conflicts:     677000 | #Constraints:      77495
2965.88/2973.21	c #Conflicts:     678000 | #Constraints:      78495
2965.88/2973.21	c #Conflicts:     679000 | #Constraints:      79495
2965.88/2973.21	c #Conflicts:     680000 | #Constraints:      80495
2965.88/2973.21	c #Conflicts:     681000 | #Constraints:      81495
2965.88/2973.21	c #Conflicts:     682000 | #Constraints:      82495
2965.88/2973.21	c #Conflicts:     683000 | #Constraints:      83495
2965.88/2973.21	c #Conflicts:     684000 | #Constraints:      84495
2965.88/2973.21	c INPROCESSING
2965.88/2973.21	c GARBAGE COLLECT
2965.88/2973.21	c rational objective 151
3158.44/3166.20	c #Conflicts:     685000 | #Constraints:      54538
3158.44/3166.20	c #Conflicts:     686000 | #Constraints:      55538
3158.44/3166.20	c #Conflicts:     687000 | #Constraints:      56538
3158.44/3166.20	c #Conflicts:     688000 | #Constraints:      57538
3158.44/3166.20	c #Conflicts:     689000 | #Constraints:      58538
3158.44/3166.20	c #Conflicts:     690000 | #Constraints:      59538
3158.44/3166.20	c #Conflicts:     691000 | #Constraints:      60538
3158.44/3166.20	c #Conflicts:     692000 | #Constraints:      61538
3158.44/3166.20	c #Conflicts:     693000 | #Constraints:      62538
3158.44/3166.20	c #Conflicts:     694000 | #Constraints:      63538
3158.44/3166.20	c #Conflicts:     695000 | #Constraints:      64538
3158.44/3166.20	c #Conflicts:     696000 | #Constraints:      65538
3158.44/3166.20	c #Conflicts:     697000 | #Constraints:      66538
3158.44/3166.20	c #Conflicts:     698000 | #Constraints:      67538
3158.44/3166.20	c #Conflicts:     699000 | #Constraints:      68538
3158.44/3166.20	c #Conflicts:     700000 | #Constraints:      69538
3158.44/3166.20	c #Conflicts:     701000 | #Constraints:      70538
3158.44/3166.20	c #Conflicts:     702000 | #Constraints:      71538
3158.44/3166.20	c #Conflicts:     703000 | #Constraints:      72538
3158.44/3166.20	c #Conflicts:     704000 | #Constraints:      73538
3158.44/3166.20	c #Conflicts:     705000 | #Constraints:      74539
3158.44/3166.20	c #Conflicts:     706000 | #Constraints:      75539
3158.44/3166.20	c #Conflicts:     707000 | #Constraints:      76539
3158.44/3166.20	c #Conflicts:     708000 | #Constraints:      77539
3158.44/3166.20	c #Conflicts:     709000 | #Constraints:      78539
3158.44/3166.20	c #Conflicts:     710000 | #Constraints:      79539
3158.44/3166.20	c #Conflicts:     711000 | #Constraints:      80539
3158.44/3166.20	c #Conflicts:     712000 | #Constraints:      81539
3158.44/3166.20	c #Conflicts:     713000 | #Constraints:      82539
3158.44/3166.20	c #Conflicts:     714000 | #Constraints:      83539
3158.44/3166.20	c #Conflicts:     715000 | #Constraints:      84539
3158.44/3166.20	c #Conflicts:     716000 | #Constraints:      85539
3158.44/3166.20	c #Conflicts:     717000 | #Constraints:      86539
3158.44/3166.20	c #Conflicts:     718000 | #Constraints:      87539
3158.44/3166.20	c #Conflicts:     719000 | #Constraints:      88539
3158.44/3166.20	c #Conflicts:     720000 | #Constraints:      89539
3158.44/3166.20	c #Conflicts:     721000 | #Constraints:      90539
3158.44/3166.20	c #Conflicts:     722000 | #Constraints:      91539
3158.44/3166.20	c #Conflicts:     723000 | #Constraints:      92539
3158.44/3166.20	c #Conflicts:     724000 | #Constraints:      93539
3158.44/3166.20	c #Conflicts:     725000 | #Constraints:      94540
3158.44/3166.20	c #Conflicts:     726000 | #Constraints:      95540
3158.44/3166.20	c #Conflicts:     727000 | #Constraints:      96540
3158.44/3166.20	c #Conflicts:     728000 | #Constraints:      97540
3158.44/3166.20	c #Conflicts:     729000 | #Constraints:      98540
3158.44/3166.20	c #Conflicts:     730000 | #Constraints:      99540
3158.44/3166.20	c #Conflicts:     731000 | #Constraints:     100540
3158.44/3166.20	c #Conflicts:     732000 | #Constraints:     101540
3158.44/3166.20	c #Conflicts:     733000 | #Constraints:     102540
3158.44/3166.20	c #Conflicts:     734000 | #Constraints:     103540
3158.44/3166.20	c #Conflicts:     735000 | #Constraints:     104540
3158.44/3166.20	c #Conflicts:     736000 | #Constraints:     105540
3158.44/3166.20	c #Conflicts:     737000 | #Constraints:     106540
3158.44/3166.20	c #Conflicts:     738000 | #Constraints:     107540
3158.44/3166.20	c #Conflicts:     739000 | #Constraints:     108540
3158.44/3166.20	c #Conflicts:     740000 | #Constraints:     109540
3158.44/3166.20	c INPROCESSING
3158.44/3166.20	c GARBAGE COLLECT
3158.44/3166.20	c rational objective 151
3319.37/3327.52	c #Conflicts:     741000 | #Constraints:      65639
3319.37/3327.52	c #Conflicts:     742000 | #Constraints:      66639
3319.37/3327.52	c #Conflicts:     743000 | #Constraints:      67639
3319.37/3327.52	c #Conflicts:     744000 | #Constraints:      68639
3319.37/3327.52	c #Conflicts:     745000 | #Constraints:      69639
3319.37/3327.52	c #Conflicts:     746000 | #Constraints:      70639
3319.37/3327.52	c #Conflicts:     747000 | #Constraints:      71639
3319.37/3327.52	c #Conflicts:     748000 | #Constraints:      72639
3319.37/3327.52	c #Conflicts:     749000 | #Constraints:      73639
3319.37/3327.52	c #Conflicts:     750000 | #Constraints:      74640
3319.37/3327.52	c #Conflicts:     751000 | #Constraints:      75640
3319.37/3327.52	c #Conflicts:     752000 | #Constraints:      76640
3319.37/3327.52	c #Conflicts:     753000 | #Constraints:      77640
3319.37/3327.52	c #Conflicts:     754000 | #Constraints:      78640
3319.37/3327.52	c #Conflicts:     755000 | #Constraints:      79640
3319.37/3327.52	c #Conflicts:     756000 | #Constraints:      80640
3319.37/3327.52	c #Conflicts:     757000 | #Constraints:      81640
3319.37/3327.52	c #Conflicts:     758000 | #Constraints:      82640
3319.37/3327.52	c #Conflicts:     759000 | #Constraints:      83640
3319.37/3327.52	c #Conflicts:     760000 | #Constraints:      84640
3319.37/3327.52	c #Conflicts:     761000 | #Constraints:      85640
3319.37/3327.52	c #Conflicts:     762000 | #Constraints:      86640
3319.37/3327.52	c #Conflicts:     763000 | #Constraints:      87640
3319.37/3327.52	c INPROCESSING
3319.37/3327.52	c GARBAGE COLLECT
3319.37/3327.52	c rational objective 151
3582.66/3591.41	c #Conflicts:     764000 | #Constraints:      55763
3582.66/3591.41	c #Conflicts:     765000 | #Constraints:      56763
3582.66/3591.41	c #Conflicts:     766000 | #Constraints:      57763
3582.66/3591.41	c #Conflicts:     767000 | #Constraints:      58763
3582.66/3591.41	c #Conflicts:     768000 | #Constraints:      59763
3582.66/3591.41	c #Conflicts:     769000 | #Constraints:      60763
3582.66/3591.41	c #Conflicts:     770000 | #Constraints:      61763
3582.66/3591.41	c #Conflicts:     771000 | #Constraints:      62763
3582.66/3591.41	c #Conflicts:     772000 | #Constraints:      63763
3582.66/3591.41	c #Conflicts:     773000 | #Constraints:      64763
3582.66/3591.41	c #Conflicts:     774000 | #Constraints:      65763
3582.66/3591.41	c #Conflicts:     775000 | #Constraints:      66763
3582.66/3591.41	c #Conflicts:     776000 | #Constraints:      67763
3582.66/3591.41	c #Conflicts:     777000 | #Constraints:      68763
3582.66/3591.41	c #Conflicts:     778000 | #Constraints:      69764
3582.66/3591.41	c #Conflicts:     779000 | #Constraints:      70764
3582.66/3591.41	c #Conflicts:     780000 | #Constraints:      71764
3582.66/3591.41	c #Conflicts:     781000 | #Constraints:      72764
3582.66/3591.41	c #Conflicts:     782000 | #Constraints:      73764
3582.66/3591.41	c #Conflicts:     783000 | #Constraints:      74764
3582.66/3591.41	c #Conflicts:     784000 | #Constraints:      75764
3582.66/3591.41	c #Conflicts:     785000 | #Constraints:      76764
3582.66/3591.41	c #Conflicts:     786000 | #Constraints:      77764
3582.66/3591.41	c #Conflicts:     787000 | #Constraints:      78764
3582.66/3591.41	c #Conflicts:     788000 | #Constraints:      79764
3582.66/3591.41	c #Conflicts:     789000 | #Constraints:      80764
3582.66/3591.41	c #Conflicts:     790000 | #Constraints:      81764
3582.66/3591.41	c #Conflicts:     791000 | #Constraints:      82765
3582.66/3591.41	c #Conflicts:     792000 | #Constraints:      83765
3582.66/3591.41	c #Conflicts:     793000 | #Constraints:      84765
3582.66/3591.41	c #Conflicts:     794000 | #Constraints:      85765
3582.66/3591.41	c #Conflicts:     795000 | #Constraints:      86765
3582.66/3591.41	c #Conflicts:     796000 | #Constraints:      87765
3582.66/3591.41	c #Conflicts:     797000 | #Constraints:      88765
3582.66/3591.41	c #Conflicts:     798000 | #Constraints:      89765
3582.66/3591.41	c #Conflicts:     799000 | #Constraints:      90765
3582.66/3591.41	c #Conflicts:     800000 | #Constraints:      91765
3582.66/3591.41	c #Conflicts:     801000 | #Constraints:      92765
3582.66/3591.41	c #Conflicts:     802000 | #Constraints:      93765
3582.66/3591.41	c #Conflicts:     803000 | #Constraints:      94765
3582.66/3591.41	c #Conflicts:     804000 | #Constraints:      95765
3582.66/3591.41	c #Conflicts:     805000 | #Constraints:      96765
3582.66/3591.41	c #Conflicts:     806000 | #Constraints:      97765
3582.66/3591.41	c #Conflicts:     807000 | #Constraints:      98765
3582.66/3591.41	c #Conflicts:     808000 | #Constraints:      99765
3582.66/3591.41	c #Conflicts:     809000 | #Constraints:     100765
3582.66/3591.41	c #Conflicts:     810000 | #Constraints:     101765
3582.66/3591.41	c #Conflicts:     811000 | #Constraints:     102765
3582.66/3591.41	c #Conflicts:     812000 | #Constraints:     103765
3582.66/3591.41	c #Conflicts:     813000 | #Constraints:     104765
3582.66/3591.41	c #Conflicts:     814000 | #Constraints:     105765
3582.66/3591.41	c #Conflicts:     815000 | #Constraints:     106765
3582.66/3591.41	c #Conflicts:     816000 | #Constraints:     107765
3582.66/3591.41	c #Conflicts:     817000 | #Constraints:     108765
3582.66/3591.41	c #Conflicts:     818000 | #Constraints:     109765
3582.66/3591.41	c #Conflicts:     819000 | #Constraints:     110765
3582.66/3591.41	c #Conflicts:     820000 | #Constraints:     111765
3582.66/3591.41	c #Conflicts:     821000 | #Constraints:     112765
3582.66/3591.41	c #Conflicts:     822000 | #Constraints:     113765
3582.66/3591.41	c INPROCESSING
3582.66/3591.41	c GARBAGE COLLECT
3582.66/3591.41	c rational objective 151
3600.01/3608.80	c #Conflicts:     823000 | #Constraints:      67540
3600.01/3608.80	c #Conflicts:     824000 | #Constraints:      68540
3600.01/3608.80	c #Conflicts:     825000 | #Constraints:      69540
3600.01/3608.80	c #Conflicts:     826000 | #Constraints:      70540
3600.01/3608.80	c #Conflicts:     827000 | #Constraints:      71540
3600.01/3608.80	c #Conflicts:     828000 | #Constraints:      72540
3600.01/3608.80	c #Conflicts:     829000 | #Constraints:      73540
3600.01/3608.80	c #Conflicts:     830000 | #Constraints:      74540
3600.01/3608.80	c #Conflicts:     831000 | #Constraints:      75540
3600.01/3608.80	c #Conflicts:     832000 | #Constraints:      76540
3600.01/3608.80	c #Conflicts:     833000 | #Constraints:      77540
3600.01/3608.80	c #Conflicts:     834000 | #Constraints:      78540
3600.01/3608.80	c Program interrupted by user.
3600.01/3608.80	c cpu time 3570.37 s
3600.01/3608.80	c deterministic time 230808766293 2.31e+11
3600.01/3608.80	c optimization time 13.8812 s
3600.01/3608.80	c total solve time 3556.42 s
3600.01/3608.80	c core-guided solve time 0 s
3600.01/3608.80	c propagation time 1709.24 s
3600.01/3608.80	c conflict analysis time 548.914 s
3600.01/3608.80	c propagations 643114223
3600.01/3608.80	c resolve steps 38697036
3600.01/3608.80	c decisions 14334793
3600.01/3608.80	c conflicts 834679
3600.01/3608.80	c restarts 1788
3600.01/3608.80	c inprocessing phases 39
3600.01/3608.80	c input clauses 18122
3600.01/3608.80	c input cardinalities 151
3600.01/3608.80	c input general constraints 0
3600.01/3608.80	c input average constraint length 6.43
3600.01/3608.80	c input average constraint degree 1.97
3600.01/3608.80	c learned clauses 531633
3600.01/3608.80	c learned cardinalities 34610
3600.01/3608.80	c learned general constraints 268507
3600.01/3608.80	c learned average constraint length 1174.84
3600.01/3608.80	c learned average constraint degree 694309600.54
3600.01/3608.80	c watched constraints 202359
3600.01/3608.80	c counting constraints 66148
3600.01/3608.80	c gcd simplifications 4443
3600.01/3608.80	c detected cardinalities 4534
3600.01/3608.80	c weakened non-implied lits 225436038
3600.01/3608.80	c weakened non-implying lits 357073
3600.01/3608.80	c original variables 17969
3600.01/3608.80	c clausal propagations 280008227
3600.01/3608.80	c cardinality propagations 219316437
3600.01/3608.80	c watched propagations 41789282
3600.01/3608.80	c counting propagations 94043303
3600.01/3608.80	c watch lookups 10623195743
3600.01/3608.80	c watch backjump lookups 8662002575
3600.01/3608.80	c watch checks 166240934027
3600.01/3608.80	c propagation checks 40582836816
3600.01/3608.80	c constraint additions 3382453482
3600.01/3608.80	c trail pops 658267459
3600.01/3608.80	c formula constraints 18273
3600.01/3608.80	c learned constraints 834632
3600.01/3608.80	c bound constraints 0
3600.01/3608.80	c core-guided constraints 0
3600.01/3608.80	c encountered formula constraints 26793511
3600.01/3608.80	c encountered learned constraints 12736680
3600.01/3608.80	c encountered bound constraints 0
3600.01/3608.80	c encountered core-guided constraints 0
3600.01/3608.80	c LP total time 2080.51 s
3600.01/3608.80	c LP solve time 2021.57 s
3600.01/3608.80	c LP constraints added 21551
3600.01/3608.80	c LP constraints removed 2973
3600.01/3608.80	c LP pivots internal 841628
3600.01/3608.80	c LP pivots root 785546
3600.01/3608.80	c LP calls 88
3600.01/3608.80	c LP optimalities 33
3600.01/3608.80	c LP no pivot count 2
3600.01/3608.80	c LP infeasibilities 47
3600.01/3608.80	c LP valid Farkas constraints 46
3600.01/3608.80	c LP learned Farkas constraints 46
3600.01/3608.80	c LP basis resets 1
3600.01/3608.80	c LP cycling count 0
3600.01/3608.80	c LP singular count 0
3600.01/3608.80	c LP no primal count 0
3600.01/3608.80	c LP no farkas count 1
3600.01/3608.80	c LP other issue count 0
3600.01/3608.80	c LP Gomory cuts 26
3600.01/3608.80	c LP learned cuts 3549
3600.01/3608.80	c LP deleted cuts 3180
3600.01/3608.80	c LP encountered Gomory constraints 170
3600.01/3608.80	c LP encountered Farkas constraints 966
3600.01/3608.80	c LP encountered learned Farkas constraints 342
3600.01/3608.80	c CG auxiliary variables introduced 0
3600.01/3608.80	c CG solutions found 0
3600.01/3608.80	c CG cores constructed 0
3600.01/3608.80	c CG core cardinality constraints returned 0
3600.01/3608.80	c CG unit cores 0
3600.01/3608.80	c CG single cores 0
3600.01/3608.80	c CG blocks removed during cardinality reduction 0
3600.01/3608.80	c CG first core best 0
3600.01/3608.80	c CG decision core best 0
3600.01/3608.80	c CG core reduction tie 0
3600.01/3608.80	c CG core degree average 0.00
3600.01/3608.80	c CG core slack average 0.00
3600.01/3608.80	s UNKNOWN

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 (62510 MiB free)
  memory of node 1: 64510 MiB (61559 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1048934, runsolver pid=1048931

[startup+0.100102 s]*
/proc/loadavg: 4.20 4.16 4.14 5/246 1048935
/proc/meminfo: memFree=127026904/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=60700 memory=30996 CPUtime=0.1 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 7750 0 0 0 7 3 0 0 20 0 1 0 198587247 62156800 7749 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 15175 7749 1590 922 0 7127 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 60700 KiB
Current children cumulated memory: 30996 KiB

[startup+0.21337 s]*
/proc/loadavg: 4.20 4.16 4.14 5/246 1048935
/proc/meminfo: memFree=127016740/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=69044 memory=36368 CPUtime=0.21 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 9025 0 0 0 18 3 0 0 20 0 1 0 198587247 70701056 9092 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 17261 9092 1686 922 0 9213 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 69044 KiB
Current children cumulated memory: 36368 KiB

[startup+0.313319 s]*
/proc/loadavg: 4.20 4.16 4.14 5/246 1048935
/proc/meminfo: memFree=127014564/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=69788 memory=37416 CPUtime=0.31 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 9320 0 0 0 28 3 0 0 20 0 1 0 198587247 71462912 9354 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 17447 9354 1686 922 0 9399 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69788 KiB
Current children cumulated memory: 37416 KiB

[startup+0.700327 s]
/proc/loadavg: 4.20 4.16 4.14 5/246 1048935
/proc/meminfo: memFree=127009352/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=71652 memory=39524 CPUtime=0.69 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 9852 0 0 0 65 4 0 0 20 0 1 0 198587247 73371648 9881 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 17913 9881 1686 922 0 9865 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71652 KiB
Current children cumulated memory: 39524 KiB

[startup+1.50033 s]
/proc/loadavg: 4.20 4.16 4.14 5/246 1048935
/proc/meminfo: memFree=127008316/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=72016 memory=42100 CPUtime=1.49 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 9976 0 0 0 142 7 0 0 20 0 1 0 198587247 73744384 10525 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 18004 10525 1686 922 0 9956 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72016 KiB
Current children cumulated memory: 42100 KiB

[startup+3.11317 s]
/proc/loadavg: 4.20 4.16 4.14 5/246 1048935
/proc/meminfo: memFree=127001420/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=73772 memory=44124 CPUtime=3.09 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 10382 0 0 0 294 15 0 0 20 0 1 0 198587247 75542528 11031 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 18443 11031 1807 922 0 10395 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73772 KiB
Current children cumulated memory: 44124 KiB

[startup+6.30031 s]
/proc/loadavg: 4.18 4.15 4.14 5/246 1048937
/proc/meminfo: memFree=126995912/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=76296 memory=47284 CPUtime=6.27 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 11130 0 0 0 610 17 0 0 20 0 1 0 198587247 78127104 11821 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 19074 11821 1807 922 0 11026 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76296 KiB
Current children cumulated memory: 47284 KiB

[startup+12.7003 s]
/proc/loadavg: 4.25 4.17 4.14 5/246 1048937
/proc/meminfo: memFree=126993532/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=80836 memory=49600 CPUtime=12.66 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 11753 0 0 0 1232 34 0 0 20 0 1 0 198587247 82776064 12400 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 20209 12400 1807 922 0 12161 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80836 KiB
Current children cumulated memory: 49600 KiB

[startup+25.5003 s]
/proc/loadavg: 4.19 4.16 4.14 5/246 1048940
/proc/meminfo: memFree=126964956/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=95000 memory=66384 CPUtime=25.41 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 14360 0 0 0 2496 45 0 0 20 0 1 0 198587247 97280000 16596 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 23750 16596 1823 922 0 15702 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 95000 KiB
Current children cumulated memory: 66384 KiB

[startup+51.1132 s]
/proc/loadavg: 4.19 4.16 4.14 5/246 1048944
/proc/meminfo: memFree=126869268/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=116368 memory=79884 CPUtime=50.97 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 16212 0 0 0 5001 96 0 0 20 0 1 0 198587247 119160832 19971 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 29092 19971 1823 922 0 21044 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 116368 KiB
Current children cumulated memory: 79884 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/246 1048997
/proc/meminfo: memFree=126970508/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=150812 memory=115328 CPUtime=102.03 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 20532 0 0 0 10022 181 0 0 20 0 1 0 198587247 154431488 28832 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 37703 28832 1823 922 0 29655 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 150812 KiB
Current children cumulated memory: 115328 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/245 1049008
/proc/meminfo: memFree=126770212/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=211488 memory=177832 CPUtime=161.89 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 36116 0 0 0 15944 245 0 0 20 0 1 0 198587247 216563712 44458 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 52872 44458 1823 922 0 44824 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 211488 KiB
Current children cumulated memory: 177832 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/243 1049019
/proc/meminfo: memFree=126531728/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=296664 memory=228092 CPUtime=221.74 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 38460 0 0 0 21878 296 0 0 20 0 1 0 198587247 303783936 57023 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 74166 57023 1839 922 0 66118 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 296664 KiB
Current children cumulated memory: 228092 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/241 1049030
/proc/meminfo: memFree=126408164/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=297276 memory=228884 CPUtime=281.58 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 38702 0 0 0 27789 369 0 0 20 0 1 0 198587247 304410624 57221 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 74319 57221 1839 922 0 66271 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 297276 KiB
Current children cumulated memory: 228884 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/242 1049041
/proc/meminfo: memFree=126402408/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=299808 memory=230724 CPUtime=341.42 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 39154 0 0 0 33731 411 0 0 20 0 1 0 198587247 307003392 57681 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 74952 57681 1839 922 0 66904 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 299808 KiB
Current children cumulated memory: 230724 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/242 1049051
/proc/meminfo: memFree=126304796/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=312840 memory=245240 CPUtime=401.26 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 42335 0 0 0 39631 495 0 0 20 0 1 0 198587247 320348160 61310 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 78210 61310 1839 922 0 70162 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 312840 KiB
Current children cumulated memory: 245240 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/242 1049062
/proc/meminfo: memFree=126245428/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=320400 memory=253552 CPUtime=461.1 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 44441 0 0 0 45559 551 0 0 20 0 1 0 198587247 328089600 63388 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 80100 63388 1839 922 0 72052 0

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

Current children cumulated memory: 1258132 KiB

[startup+2862.3 s]
/proc/loadavg: 4.36 4.29 4.21 5/242 1050067
/proc/meminfo: memFree=123275304/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1465972 memory=1287000 CPUtime=2855.23 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 146009 0 0 0 283129 2394 0 0 20 0 1 0 198587247 1501155328 321750 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 366493 321750 1839 922 0 358445 0
Current children cumulated CPU time: 2855.23 s
Current children cumulated vsize: 1465972 KiB
Current children cumulated memory: 1287000 KiB

[startup+2922.3 s]
/proc/loadavg: 4.25 4.27 4.21 5/245 1050082
/proc/meminfo: memFree=123150564/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1490272 memory=1309928 CPUtime=2915.09 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 151981 0 0 0 289065 2444 0 0 20 0 1 0 198587247 1526038528 327482 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 372568 327482 1839 922 0 364520 0
Current children cumulated CPU time: 2915.09 s
Current children cumulated vsize: 1490272 KiB
Current children cumulated memory: 1309928 KiB

[startup+2982.3 s]
/proc/loadavg: 4.21 4.25 4.20 5/245 1050094
/proc/meminfo: memFree=123145228/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1493092 memory=1312320 CPUtime=2974.96 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 152874 0 0 0 294993 2503 0 0 20 0 1 0 198587247 1528926208 328080 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 373273 328080 1839 922 0 365225 0
Current children cumulated CPU time: 2974.96 s
Current children cumulated vsize: 1493092 KiB
Current children cumulated memory: 1312320 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.22 4.19 5/244 1050106
/proc/meminfo: memFree=123148536/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1479304 memory=1298440 CPUtime=3034.82 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 153723 0 0 0 300925 2557 0 0 20 0 1 0 198587247 1514807296 324610 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 369826 324610 1839 922 0 361778 0
Current children cumulated CPU time: 3034.82 s
Current children cumulated vsize: 1479304 KiB
Current children cumulated memory: 1298440 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.22 4.19 5/244 1050118
/proc/meminfo: memFree=123136976/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1479304 memory=1298444 CPUtime=3094.69 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 154237 0 0 0 306879 2590 0 0 20 0 1 0 198587247 1514807296 324611 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 369826 324611 1839 922 0 361778 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 1479304 KiB
Current children cumulated memory: 1298444 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/244 1050128
/proc/meminfo: memFree=123093844/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1480288 memory=1299488 CPUtime=3154.55 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 154879 0 0 0 312836 2619 0 0 20 0 1 0 198587247 1515814912 324872 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 370072 324872 1839 922 0 362024 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 1480288 KiB
Current children cumulated memory: 1299488 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/242 1050139
/proc/meminfo: memFree=123063116/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1482408 memory=1301436 CPUtime=3214.41 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 155782 0 0 0 318759 2682 0 0 20 0 1 0 198587247 1517985792 325359 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 370602 325359 1839 922 0 362554 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 1482408 KiB
Current children cumulated memory: 1301436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/244 1050534
/proc/meminfo: memFree=123035688/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1482540 memory=1301608 CPUtime=3274.27 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 156015 0 0 0 324719 2708 0 0 20 0 1 0 198587247 1518120960 325402 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 370635 325402 1839 922 0 362587 0
Current children cumulated CPU time: 3274.27 s
Current children cumulated vsize: 1482540 KiB
Current children cumulated memory: 1301608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/244 1050544
/proc/meminfo: memFree=123012620/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1491880 memory=1311392 CPUtime=3334.13 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 158853 0 0 0 330673 2740 0 0 20 0 1 0 198587247 1527685120 327848 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 372970 327848 1839 922 0 364922 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 1491880 KiB
Current children cumulated memory: 1311392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/243 1050554
/proc/meminfo: memFree=122982060/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1491880 memory=1311536 CPUtime=3393.99 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 159182 0 0 0 336589 2810 0 0 20 0 1 0 198587247 1527685120 327884 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 372970 327884 1839 922 0 364922 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 1491880 KiB
Current children cumulated memory: 1311536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/244 1050734
/proc/meminfo: memFree=122977140/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1491880 memory=1311536 CPUtime=3453.86 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 159707 0 0 0 342517 2869 0 0 20 0 1 0 198587247 1527685120 327884 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 372970 327884 1839 922 0 364922 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 1491880 KiB
Current children cumulated memory: 1311536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/247 1050803
/proc/meminfo: memFree=122975952/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1491880 memory=1311540 CPUtime=3513.71 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 160227 0 0 0 348449 2922 0 0 20 0 1 0 198587247 1527685120 327885 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 372970 327885 1839 922 0 364922 0
Current children cumulated CPU time: 3513.71 s
Current children cumulated vsize: 1491880 KiB
Current children cumulated memory: 1311540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/245 1050813
/proc/meminfo: memFree=122973476/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1496860 memory=1314876 CPUtime=3573.57 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 161535 0 0 0 354412 2945 0 0 20 0 1 0 198587247 1532784640 328719 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 374215 328719 1839 922 0 366167 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 1496860 KiB
Current children cumulated memory: 1314876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.15 4.15 4.16 5/245 1050910
/proc/meminfo: memFree=124519072/131655788 swapFree=131071996/131071996
[pid=1048934] ppid=1048931 vsize=1497940 memory=1315564 CPUtime=3600.01 cores=4,6
/proc/1048934/stat : 1048934 (roundingsat) R 1048931 1048934 1046564 0 -1 4194304 162097 0 0 0 357036 2965 0 0 20 0 1 0 198587247 1533890560 328891 134679101440 4194304 7968373 140732150026368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 16822272 140732150035388 140732150035552 140732150035552 140732150042569 0
/proc/1048934/statm: 374485 328891 1839 922 0 366437 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1497940 KiB
Current children cumulated memory: 1315564 KiB

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

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

# cumulated CPU time of all completed processes:  user=3570.37 s, system=29.6644 s

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

Child status: 0

Real time (s): 3608.81
CPU time (s): 3600.04
CPU user time (s): 3570.37
CPU system time (s): 29.6644
CPU usage (%): 99.7568
Max. virtual memory (cumulated for all children) (KiB): 1497940
Max. memory (cumulated for all children) (KiB): 1315564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.37
system time used= 29.6644
maximum resident set size= 1317280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162115
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= 99
involuntary context switches= 2643


# summary of solver processes directly reported to runsolver:
#   pid: 1048934
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3570.37
#   total CPU system time (s): 29.6644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5696 second user time and 35.0817 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-20 10:32:00
IDJOB=4455632
IDBENCH=158279
IDSOLVER=3084
FILE ID=nodeC008/4455632-1721464309
RUNJOBID= nodeC008-1721460659-1046575
SLURM_JOB_ID= 7545711
Free space on /tmp= 723732 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K151.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-4455632-1721464309/watcher-4455632-1721464309 -o /tmp/evaluation-result-4455632-1721464309/solver-4455632-1721464309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046575 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455632-1721464309.opb

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

MD5SUM BENCH= abcade21393c5164863b40206a5f4f64
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		: 3555.752
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		: 3668.189
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.406
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.424
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		: 3616.783
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		: 3666.295
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.244
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.326
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:        127048196 kB
MemAvailable:   129516556 kB
Buffers:          598736 kB
Cached:          2694740 kB
SwapCached:            0 kB
Active:          1150984 kB
Inactive:        2857560 kB
Active(anon):       1500 kB
Inactive(anon):   759456 kB
Active(file):    1149484 kB
Inactive(file):  2098104 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19348 kB
Writeback:             0 kB
AnonPages:        715140 kB
Mapped:           116256 kB
Shmem:             45896 kB
KReclaimable:     121604 kB
Slab:             227472 kB
SReclaimable:     121604 kB
SUnreclaim:       105868 kB
KernelStack:        4016 kB
PageTables:        10932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1075152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:32:09