Trace number 4515310

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 63f22ad? (TO) 3600.28 3610.77

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
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 variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
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 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.08/0.17	c #variables 31248 #constraints 522
7.14/7.21	c #Conflicts:       1000 | #Constraints:       1521
7.14/7.21	c #Conflicts:       2000 | #Constraints:       2521
7.14/7.21	c INPROCESSING
7.14/7.21	c GARBAGE COLLECT
7.14/7.21	c #Conflicts:       3000 | #Constraints:       2537
7.14/7.21	c #Conflicts:       4000 | #Constraints:       3537
7.14/7.21	c INPROCESSING
7.14/7.21	c GARBAGE COLLECT
7.14/7.21	c #Conflicts:       5000 | #Constraints:       2952
7.14/7.21	c #Conflicts:       6000 | #Constraints:       3952
7.14/7.21	c INPROCESSING
7.14/7.21	c GARBAGE COLLECT
7.14/7.21	c #Conflicts:       7000 | #Constraints:       2955
7.14/7.21	c #Conflicts:       8000 | #Constraints:       3955
7.14/7.21	c #Conflicts:       9000 | #Constraints:       4955
7.14/7.21	c INPROCESSING
7.14/7.21	c GARBAGE COLLECT
7.14/7.21	c #Conflicts:      10000 | #Constraints:       3648
7.14/7.21	c #Conflicts:      11000 | #Constraints:       4648
7.14/7.21	c #Conflicts:      12000 | #Constraints:       5648
7.14/7.21	c INPROCESSING
7.14/7.21	c GARBAGE COLLECT
7.14/7.21	c rational objective 177
9.44/9.54	c #Conflicts:      13000 | #Constraints:       4139
9.44/9.54	c #Conflicts:      14000 | #Constraints:       5139
9.44/9.54	c #Conflicts:      15000 | #Constraints:       6139
9.44/9.54	c INPROCESSING
9.44/9.54	c GARBAGE COLLECT
9.44/9.54	c #Conflicts:      16000 | #Constraints:       4352
9.44/9.54	c #Conflicts:      17000 | #Constraints:       5352
9.44/9.54	c #Conflicts:      18000 | #Constraints:       6352
9.44/9.54	c INPROCESSING
9.44/9.54	c GARBAGE COLLECT
9.44/9.54	c rational objective 177
40.15/40.37	c #Conflicts:      19000 | #Constraints:       4367
40.15/40.37	c #Conflicts:      20000 | #Constraints:       5367
40.15/40.37	c #Conflicts:      21000 | #Constraints:       6368
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      22000 | #Constraints:       4150
40.15/40.37	c #Conflicts:      23000 | #Constraints:       5150
40.15/40.37	c #Conflicts:      24000 | #Constraints:       6150
40.15/40.37	c #Conflicts:      25000 | #Constraints:       7150
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      26000 | #Constraints:       4756
40.15/40.37	c #Conflicts:      27000 | #Constraints:       5756
40.15/40.37	c #Conflicts:      28000 | #Constraints:       6756
40.15/40.37	c #Conflicts:      29000 | #Constraints:       7761
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      30000 | #Constraints:       5146
40.15/40.37	c #Conflicts:      31000 | #Constraints:       6146
40.15/40.37	c #Conflicts:      32000 | #Constraints:       7146
40.15/40.37	c #Conflicts:      33000 | #Constraints:       8146
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      34000 | #Constraints:       5355
40.15/40.37	c #Conflicts:      35000 | #Constraints:       6355
40.15/40.37	c #Conflicts:      36000 | #Constraints:       7355
40.15/40.37	c #Conflicts:      37000 | #Constraints:       8355
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      38000 | #Constraints:       5412
40.15/40.37	c #Conflicts:      39000 | #Constraints:       6412
40.15/40.37	c #Conflicts:      40000 | #Constraints:       7412
40.15/40.37	c #Conflicts:      41000 | #Constraints:       8412
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      42000 | #Constraints:       5219
40.15/40.37	c #Conflicts:      43000 | #Constraints:       6219
40.15/40.37	c #Conflicts:      44000 | #Constraints:       7219
40.15/40.37	c #Conflicts:      45000 | #Constraints:       8219
40.15/40.37	c #Conflicts:      46000 | #Constraints:       9219
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      47000 | #Constraints:       5774
40.15/40.37	c #Conflicts:      48000 | #Constraints:       6774
40.15/40.37	c #Conflicts:      49000 | #Constraints:       7774
40.15/40.37	c #Conflicts:      50000 | #Constraints:       8774
40.15/40.37	c #Conflicts:      51000 | #Constraints:       9774
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      52000 | #Constraints:       6156
40.15/40.37	c #Conflicts:      53000 | #Constraints:       7170
40.15/40.37	c #Conflicts:      54000 | #Constraints:       8181
40.15/40.37	c #Conflicts:      55000 | #Constraints:       9183
40.15/40.37	c #Conflicts:      56000 | #Constraints:      10195
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      57000 | #Constraints:       6407
40.15/40.37	c #Conflicts:      58000 | #Constraints:       7409
40.15/40.37	c #Conflicts:      59000 | #Constraints:       8409
40.15/40.37	c #Conflicts:      60000 | #Constraints:       9409
40.15/40.37	c #Conflicts:      61000 | #Constraints:      10413
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      62000 | #Constraints:       6418
40.15/40.37	c #Conflicts:      63000 | #Constraints:       7419
40.15/40.37	c #Conflicts:      64000 | #Constraints:       8448
40.15/40.37	c #Conflicts:      65000 | #Constraints:       9449
40.15/40.37	c #Conflicts:      66000 | #Constraints:      10449
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      67000 | #Constraints:       6204
40.15/40.37	c #Conflicts:      68000 | #Constraints:       7210
40.15/40.37	c #Conflicts:      69000 | #Constraints:       8212
40.15/40.37	c #Conflicts:      70000 | #Constraints:       9213
40.15/40.37	c #Conflicts:      71000 | #Constraints:      10213
40.15/40.37	c #Conflicts:      72000 | #Constraints:      11213
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      73000 | #Constraints:       6789
40.15/40.37	c #Conflicts:      74000 | #Constraints:       7790
40.15/40.37	c #Conflicts:      75000 | #Constraints:       8790
40.15/40.37	c #Conflicts:      76000 | #Constraints:       9791
40.15/40.37	c #Conflicts:      77000 | #Constraints:      10796
40.15/40.37	c #Conflicts:      78000 | #Constraints:      11798
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      79000 | #Constraints:       7189
40.15/40.37	c #Conflicts:      80000 | #Constraints:       8214
40.15/40.37	c #Conflicts:      81000 | #Constraints:       9218
40.15/40.37	c #Conflicts:      82000 | #Constraints:      10230
40.15/40.37	c #Conflicts:      83000 | #Constraints:      11230
40.15/40.37	c #Conflicts:      84000 | #Constraints:      12248
40.15/40.37	c INPROCESSING
40.15/40.37	c GARBAGE COLLECT
40.15/40.37	c #Conflicts:      85000 | #Constraints:       7472
40.15/40.37	c #Conflicts:      86000 | #Constraints:       8484
40.15/40.37	c #Conflicts:      87000 | #Constraints:       9527
40.15/40.37	c #Conflicts:      88000 | #Constraints:      10697
101.06/101.42	c #Conflicts:      89000 | #Constraints:      12212
101.06/101.42	c #Conflicts:      90000 | #Constraints:      13548
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:      91000 | #Constraints:       7979
101.06/101.42	c #Conflicts:      92000 | #Constraints:       8994
101.06/101.42	c #Conflicts:      93000 | #Constraints:      10063
101.06/101.42	c #Conflicts:      94000 | #Constraints:      11087
101.06/101.42	c #Conflicts:      95000 | #Constraints:      12097
101.06/101.42	c #Conflicts:      96000 | #Constraints:      13097
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:      97000 | #Constraints:       7647
101.06/101.42	c #Conflicts:      98000 | #Constraints:       8647
101.06/101.42	c #Conflicts:      99000 | #Constraints:       9647
101.06/101.42	c #Conflicts:     100000 | #Constraints:      10647
101.06/101.42	c #Conflicts:     101000 | #Constraints:      11647
101.06/101.42	c #Conflicts:     102000 | #Constraints:      12648
101.06/101.42	c #Conflicts:     103000 | #Constraints:      13648
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     104000 | #Constraints:       7998
101.06/101.42	c #Conflicts:     105000 | #Constraints:       8998
101.06/101.42	c #Conflicts:     106000 | #Constraints:      10000
101.06/101.42	c #Conflicts:     107000 | #Constraints:      11001
101.06/101.42	c #Conflicts:     108000 | #Constraints:      12002
101.06/101.42	c #Conflicts:     109000 | #Constraints:      13005
101.06/101.42	c #Conflicts:     110000 | #Constraints:      14007
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     111000 | #Constraints:       8307
101.06/101.42	c #Conflicts:     112000 | #Constraints:       9307
101.06/101.42	c #Conflicts:     113000 | #Constraints:      10314
101.06/101.42	c #Conflicts:     114000 | #Constraints:      11320
101.06/101.42	c #Conflicts:     115000 | #Constraints:      12321
101.06/101.42	c #Conflicts:     116000 | #Constraints:      13322
101.06/101.42	c #Conflicts:     117000 | #Constraints:      14327
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     118000 | #Constraints:       8431
101.06/101.42	c #Conflicts:     119000 | #Constraints:       9431
101.06/101.42	c #Conflicts:     120000 | #Constraints:      10433
101.06/101.42	c #Conflicts:     121000 | #Constraints:      11517
101.06/101.42	c #Conflicts:     122000 | #Constraints:      12900
101.06/101.42	c #Conflicts:     123000 | #Constraints:      13900
101.06/101.42	c #Conflicts:     124000 | #Constraints:      14900
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     125000 | #Constraints:       8623
101.06/101.42	c #Conflicts:     126000 | #Constraints:       9623
101.06/101.42	c #Conflicts:     127000 | #Constraints:      10623
101.06/101.42	c #Conflicts:     128000 | #Constraints:      11623
101.06/101.42	c #Conflicts:     129000 | #Constraints:      12623
101.06/101.42	c #Conflicts:     130000 | #Constraints:      13623
101.06/101.42	c #Conflicts:     131000 | #Constraints:      14721
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     132000 | #Constraints:       8342
101.06/101.42	c #Conflicts:     133000 | #Constraints:       9343
101.06/101.42	c #Conflicts:     134000 | #Constraints:      10343
101.06/101.42	c #Conflicts:     135000 | #Constraints:      11344
101.06/101.42	c #Conflicts:     136000 | #Constraints:      12347
101.06/101.42	c #Conflicts:     137000 | #Constraints:      13368
101.06/101.42	c #Conflicts:     138000 | #Constraints:      14388
101.06/101.42	c #Conflicts:     139000 | #Constraints:      15397
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     140000 | #Constraints:       9247
101.06/101.42	c #Conflicts:     141000 | #Constraints:      10724
101.06/101.42	c #Conflicts:     142000 | #Constraints:      11724
101.06/101.42	c #Conflicts:     143000 | #Constraints:      12724
101.06/101.42	c #Conflicts:     144000 | #Constraints:      13724
101.06/101.42	c #Conflicts:     145000 | #Constraints:      14724
101.06/101.42	c #Conflicts:     146000 | #Constraints:      15724
101.06/101.42	c #Conflicts:     147000 | #Constraints:      16724
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     148000 | #Constraints:       9725
101.06/101.42	c #Conflicts:     149000 | #Constraints:      10725
101.06/101.42	c #Conflicts:     150000 | #Constraints:      11725
101.06/101.42	c #Conflicts:     151000 | #Constraints:      12725
101.06/101.42	c #Conflicts:     152000 | #Constraints:      13725
101.06/101.42	c #Conflicts:     153000 | #Constraints:      14725
101.06/101.42	c #Conflicts:     154000 | #Constraints:      15731
101.06/101.42	c #Conflicts:     155000 | #Constraints:      16767
101.06/101.42	c INPROCESSING
101.06/101.42	c GARBAGE COLLECT
101.06/101.42	c #Conflicts:     156000 | #Constraints:       9705
101.06/101.42	c #Conflicts:     157000 | #Constraints:      10705
101.06/101.42	c #Conflicts:     158000 | #Constraints:      11705
101.06/101.42	c #Conflicts:     159000 | #Constraints:      12705
101.06/101.42	c #Conflicts:     160000 | #Constraints:      13705
101.06/101.42	c #Conflicts:     161000 | #Constraints:      14705
130.27/130.77	c #Conflicts:     162000 | #Constraints:      15705
130.27/130.77	c #Conflicts:     163000 | #Constraints:      16705
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     164000 | #Constraints:       9594
130.27/130.77	c #Conflicts:     165000 | #Constraints:      10594
130.27/130.77	c #Conflicts:     166000 | #Constraints:      11594
130.27/130.77	c #Conflicts:     167000 | #Constraints:      12594
130.27/130.77	c #Conflicts:     168000 | #Constraints:      13594
130.27/130.77	c #Conflicts:     169000 | #Constraints:      14594
130.27/130.77	c #Conflicts:     170000 | #Constraints:      15594
130.27/130.77	c #Conflicts:     171000 | #Constraints:      16594
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     172000 | #Constraints:       9272
130.27/130.77	c #Conflicts:     173000 | #Constraints:      10272
130.27/130.77	c #Conflicts:     174000 | #Constraints:      11272
130.27/130.77	c #Conflicts:     175000 | #Constraints:      12272
130.27/130.77	c #Conflicts:     176000 | #Constraints:      13272
130.27/130.77	c #Conflicts:     177000 | #Constraints:      14272
130.27/130.77	c #Conflicts:     178000 | #Constraints:      15272
130.27/130.77	c #Conflicts:     179000 | #Constraints:      16272
130.27/130.77	c #Conflicts:     180000 | #Constraints:      17272
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     181000 | #Constraints:       9833
130.27/130.77	c #Conflicts:     182000 | #Constraints:      10833
130.27/130.77	c #Conflicts:     183000 | #Constraints:      11833
130.27/130.77	c #Conflicts:     184000 | #Constraints:      12833
130.27/130.77	c #Conflicts:     185000 | #Constraints:      13833
130.27/130.77	c #Conflicts:     186000 | #Constraints:      14833
130.27/130.77	c #Conflicts:     187000 | #Constraints:      15833
130.27/130.77	c #Conflicts:     188000 | #Constraints:      16833
130.27/130.77	c #Conflicts:     189000 | #Constraints:      17833
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     190000 | #Constraints:      10270
130.27/130.77	c #Conflicts:     191000 | #Constraints:      11270
130.27/130.77	c #Conflicts:     192000 | #Constraints:      12270
130.27/130.77	c #Conflicts:     193000 | #Constraints:      13270
130.27/130.77	c #Conflicts:     194000 | #Constraints:      14270
130.27/130.77	c #Conflicts:     195000 | #Constraints:      15270
130.27/130.77	c #Conflicts:     196000 | #Constraints:      16270
130.27/130.77	c #Conflicts:     197000 | #Constraints:      17270
130.27/130.77	c #Conflicts:     198000 | #Constraints:      18270
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     199000 | #Constraints:      10498
130.27/130.77	c #Conflicts:     200000 | #Constraints:      11498
130.27/130.77	c #Conflicts:     201000 | #Constraints:      12498
130.27/130.77	c #Conflicts:     202000 | #Constraints:      13498
130.27/130.77	c #Conflicts:     203000 | #Constraints:      14498
130.27/130.77	c #Conflicts:     204000 | #Constraints:      15498
130.27/130.77	c #Conflicts:     205000 | #Constraints:      16498
130.27/130.77	c #Conflicts:     206000 | #Constraints:      17498
130.27/130.77	c #Conflicts:     207000 | #Constraints:      18498
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     208000 | #Constraints:      10524
130.27/130.77	c #Conflicts:     209000 | #Constraints:      11524
130.27/130.77	c #Conflicts:     210000 | #Constraints:      12524
130.27/130.77	c #Conflicts:     211000 | #Constraints:      13524
130.27/130.77	c #Conflicts:     212000 | #Constraints:      14524
130.27/130.77	c #Conflicts:     213000 | #Constraints:      15524
130.27/130.77	c #Conflicts:     214000 | #Constraints:      16524
130.27/130.77	c #Conflicts:     215000 | #Constraints:      17524
130.27/130.77	c #Conflicts:     216000 | #Constraints:      18524
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     217000 | #Constraints:      10328
130.27/130.77	c #Conflicts:     218000 | #Constraints:      11328
130.27/130.77	c #Conflicts:     219000 | #Constraints:      12328
130.27/130.77	c #Conflicts:     220000 | #Constraints:      13328
130.27/130.77	c #Conflicts:     221000 | #Constraints:      14328
130.27/130.77	c #Conflicts:     222000 | #Constraints:      15328
130.27/130.77	c #Conflicts:     223000 | #Constraints:      16328
130.27/130.77	c #Conflicts:     224000 | #Constraints:      17328
130.27/130.77	c #Conflicts:     225000 | #Constraints:      18328
130.27/130.77	c #Conflicts:     226000 | #Constraints:      19328
130.27/130.77	c INPROCESSING
130.27/130.77	c GARBAGE COLLECT
130.27/130.77	c #Conflicts:     227000 | #Constraints:      10911
130.27/130.77	c #Conflicts:     228000 | #Constraints:      11911
130.27/130.77	c #Conflicts:     229000 | #Constraints:      12911
130.27/130.77	c #Conflicts:     230000 | #Constraints:      13911
130.27/130.77	c #Conflicts:     231000 | #Constraints:      14911
130.27/130.77	c #Conflicts:     232000 | #Constraints:      15911
130.27/130.77	c #Conflicts:     233000 | #Constraints:      16911
130.27/130.77	c #Conflicts:     234000 | #Constraints:      17911
165.08/165.62	c #Conflicts:     235000 | #Constraints:      18911
165.08/165.62	c #Conflicts:     236000 | #Constraints:      19911
165.08/165.62	c INPROCESSING
165.08/165.62	c GARBAGE COLLECT
165.08/165.62	c #Conflicts:     237000 | #Constraints:      11235
165.08/165.62	c #Conflicts:     238000 | #Constraints:      12235
165.08/165.62	c #Conflicts:     239000 | #Constraints:      13235
165.08/165.62	c #Conflicts:     240000 | #Constraints:      14235
165.08/165.62	c #Conflicts:     241000 | #Constraints:      15235
165.08/165.62	c #Conflicts:     242000 | #Constraints:      16235
165.08/165.62	c #Conflicts:     243000 | #Constraints:      17235
165.08/165.62	c #Conflicts:     244000 | #Constraints:      18235
165.08/165.62	c #Conflicts:     245000 | #Constraints:      19235
165.08/165.62	c #Conflicts:     246000 | #Constraints:      20235
165.08/165.62	c INPROCESSING
165.08/165.62	c GARBAGE COLLECT
165.08/165.62	c #Conflicts:     247000 | #Constraints:      11449
165.08/165.62	c #Conflicts:     248000 | #Constraints:      12449
165.08/165.62	c #Conflicts:     249000 | #Constraints:      13449
165.08/165.62	c #Conflicts:     250000 | #Constraints:      14449
165.08/165.62	c #Conflicts:     251000 | #Constraints:      15449
165.08/165.62	c #Conflicts:     252000 | #Constraints:      16449
165.08/165.62	c #Conflicts:     253000 | #Constraints:      17449
165.08/165.62	c #Conflicts:     254000 | #Constraints:      18449
165.08/165.62	c #Conflicts:     255000 | #Constraints:      19449
165.08/165.62	c #Conflicts:     256000 | #Constraints:      20449
165.08/165.62	c INPROCESSING
165.08/165.62	c GARBAGE COLLECT
165.08/165.62	c #Conflicts:     257000 | #Constraints:      11405
165.08/165.62	c #Conflicts:     258000 | #Constraints:      12405
165.08/165.62	c #Conflicts:     259000 | #Constraints:      13405
165.08/165.62	c #Conflicts:     260000 | #Constraints:      14405
165.08/165.62	c #Conflicts:     261000 | #Constraints:      15405
165.08/165.62	c #Conflicts:     262000 | #Constraints:      16405
165.08/165.62	c #Conflicts:     263000 | #Constraints:      17405
165.08/165.62	c #Conflicts:     264000 | #Constraints:      18405
165.08/165.62	c #Conflicts:     265000 | #Constraints:      19405
165.08/165.62	c #Conflicts:     266000 | #Constraints:      20405
165.08/165.62	c INPROCESSING
165.08/165.62	c GARBAGE COLLECT
165.08/165.62	c #Conflicts:     267000 | #Constraints:      11223
165.08/165.62	c #Conflicts:     268000 | #Constraints:      12223
165.08/165.62	c #Conflicts:     269000 | #Constraints:      13223
165.08/165.62	c #Conflicts:     270000 | #Constraints:      14223
165.08/165.62	c #Conflicts:     271000 | #Constraints:      15223
165.08/165.62	c #Conflicts:     272000 | #Constraints:      16223
165.08/165.62	c #Conflicts:     273000 | #Constraints:      17223
165.08/165.62	c #Conflicts:     274000 | #Constraints:      18223
165.08/165.62	c #Conflicts:     275000 | #Constraints:      19223
165.08/165.62	c #Conflicts:     276000 | #Constraints:      20223
165.08/165.62	c #Conflicts:     277000 | #Constraints:      21223
165.08/165.62	c INPROCESSING
165.08/165.62	c GARBAGE COLLECT
165.08/165.62	c #Conflicts:     278000 | #Constraints:      11780
165.08/165.62	c #Conflicts:     279000 | #Constraints:      12780
165.08/165.62	c #Conflicts:     280000 | #Constraints:      13780
165.08/165.62	c #Conflicts:     281000 | #Constraints:      14780
165.08/165.62	c #Conflicts:     282000 | #Constraints:      15780
165.08/165.62	c #Conflicts:     283000 | #Constraints:      16780
165.08/165.62	c #Conflicts:     284000 | #Constraints:      17780
165.08/165.62	c #Conflicts:     285000 | #Constraints:      18780
165.08/165.62	c #Conflicts:     286000 | #Constraints:      19780
165.08/165.62	c #Conflicts:     287000 | #Constraints:      20780
165.08/165.62	c #Conflicts:     288000 | #Constraints:      21780
165.08/165.62	c INPROCESSING
165.08/165.62	c GARBAGE COLLECT
165.08/165.62	c #Conflicts:     289000 | #Constraints:      12159
165.08/165.62	c #Conflicts:     290000 | #Constraints:      13159
165.08/165.62	c #Conflicts:     291000 | #Constraints:      14159
165.08/165.62	c #Conflicts:     292000 | #Constraints:      15159
165.08/165.62	c #Conflicts:     293000 | #Constraints:      16159
165.08/165.62	c #Conflicts:     294000 | #Constraints:      17159
165.08/165.62	c #Conflicts:     295000 | #Constraints:      18159
165.08/165.62	c #Conflicts:     296000 | #Constraints:      19159
165.08/165.62	c #Conflicts:     297000 | #Constraints:      20159
165.08/165.62	c #Conflicts:     298000 | #Constraints:      21159
165.08/165.62	c #Conflicts:     299000 | #Constraints:      22159
165.08/165.62	c INPROCESSING
165.08/165.62	c GARBAGE COLLECT
165.08/165.62	c #Conflicts:     300000 | #Constraints:      12352
165.08/165.62	c #Conflicts:     301000 | #Constraints:      13352
165.08/165.62	c #Conflicts:     302000 | #Constraints:      14352
165.08/165.62	c #Conflicts:     303000 | #Constraints:      15352
165.08/165.62	c #Conflicts:     304000 | #Constraints:      16352
165.08/165.62	c #Conflicts:     305000 | #Constraints:      17352
165.08/165.62	c #Conflicts:     306000 | #Constraints:      18352
165.08/165.62	c #Conflicts:     307000 | #Constraints:      19352
165.08/165.62	c #Conflicts:     308000 | #Constraints:      20352
165.08/165.62	c #Conflicts:     309000 | #Constraints:      21352
243.06/243.83	c #Conflicts:     310000 | #Constraints:      22352
243.06/243.83	c INPROCESSING
243.06/243.83	c GARBAGE COLLECT
243.06/243.83	c #Conflicts:     311000 | #Constraints:      12393
243.06/243.83	c #Conflicts:     312000 | #Constraints:      13393
243.06/243.83	c #Conflicts:     313000 | #Constraints:      14393
243.06/243.83	c #Conflicts:     314000 | #Constraints:      15393
243.06/243.83	c #Conflicts:     315000 | #Constraints:      16393
243.06/243.83	c #Conflicts:     316000 | #Constraints:      17393
243.06/243.83	c #Conflicts:     317000 | #Constraints:      18393
243.06/243.83	c #Conflicts:     318000 | #Constraints:      19393
243.06/243.83	c #Conflicts:     319000 | #Constraints:      20393
243.06/243.83	c #Conflicts:     320000 | #Constraints:      21393
243.06/243.83	c #Conflicts:     321000 | #Constraints:      22393
243.06/243.83	c INPROCESSING
243.06/243.83	c GARBAGE COLLECT
243.06/243.83	c #Conflicts:     322000 | #Constraints:      12271
243.06/243.83	c #Conflicts:     323000 | #Constraints:      13271
243.06/243.83	c #Conflicts:     324000 | #Constraints:      14271
243.06/243.83	c #Conflicts:     325000 | #Constraints:      15271
243.06/243.83	c #Conflicts:     326000 | #Constraints:      16271
243.06/243.83	c #Conflicts:     327000 | #Constraints:      17271
243.06/243.83	c #Conflicts:     328000 | #Constraints:      18271
243.06/243.83	c #Conflicts:     329000 | #Constraints:      19271
243.06/243.83	c #Conflicts:     330000 | #Constraints:      20271
243.06/243.83	c #Conflicts:     331000 | #Constraints:      21271
243.06/243.83	c #Conflicts:     332000 | #Constraints:      22271
243.06/243.83	c #Conflicts:     333000 | #Constraints:      23271
243.06/243.83	c INPROCESSING
243.06/243.83	c GARBAGE COLLECT
243.06/243.83	c #Conflicts:     334000 | #Constraints:      12824
243.06/243.83	c #Conflicts:     335000 | #Constraints:      13824
243.06/243.83	c #Conflicts:     336000 | #Constraints:      14824
243.06/243.83	c #Conflicts:     337000 | #Constraints:      15824
243.06/243.83	c #Conflicts:     338000 | #Constraints:      16824
243.06/243.83	c #Conflicts:     339000 | #Constraints:      17824
243.06/243.83	c #Conflicts:     340000 | #Constraints:      18824
243.06/243.83	c #Conflicts:     341000 | #Constraints:      19824
243.06/243.83	c #Conflicts:     342000 | #Constraints:      20824
243.06/243.83	c #Conflicts:     343000 | #Constraints:      21824
243.06/243.83	c #Conflicts:     344000 | #Constraints:      22824
243.06/243.83	c #Conflicts:     345000 | #Constraints:      23824
243.06/243.83	c INPROCESSING
243.06/243.83	c GARBAGE COLLECT
243.06/243.83	c #Conflicts:     346000 | #Constraints:      13181
243.06/243.83	c #Conflicts:     347000 | #Constraints:      14181
243.06/243.83	c #Conflicts:     348000 | #Constraints:      15181
243.06/243.83	c #Conflicts:     349000 | #Constraints:      16181
243.06/243.83	c #Conflicts:     350000 | #Constraints:      17181
243.06/243.83	c #Conflicts:     351000 | #Constraints:      18181
243.06/243.83	c #Conflicts:     352000 | #Constraints:      19181
243.06/243.83	c #Conflicts:     353000 | #Constraints:      20181
243.06/243.83	c #Conflicts:     354000 | #Constraints:      21181
243.06/243.83	c #Conflicts:     355000 | #Constraints:      22181
243.06/243.83	c #Conflicts:     356000 | #Constraints:      23181
243.06/243.83	c #Conflicts:     357000 | #Constraints:      24181
243.06/243.83	c INPROCESSING
243.06/243.83	c GARBAGE COLLECT
243.06/243.83	c #Conflicts:     358000 | #Constraints:      13354
243.06/243.83	c #Conflicts:     359000 | #Constraints:      14354
243.06/243.83	c #Conflicts:     360000 | #Constraints:      15354
243.06/243.83	c #Conflicts:     361000 | #Constraints:      16354
243.06/243.83	c #Conflicts:     362000 | #Constraints:      17354
243.06/243.83	c #Conflicts:     363000 | #Constraints:      18354
243.06/243.83	c #Conflicts:     364000 | #Constraints:      19354
243.06/243.83	c #Conflicts:     365000 | #Constraints:      20354
243.06/243.83	c #Conflicts:     366000 | #Constraints:      21354
243.06/243.83	c #Conflicts:     367000 | #Constraints:      22354
243.06/243.83	c #Conflicts:     368000 | #Constraints:      23354
243.06/243.83	c #Conflicts:     369000 | #Constraints:      24354
243.06/243.83	c INPROCESSING
243.06/243.83	c GARBAGE COLLECT
243.06/243.83	c #Conflicts:     370000 | #Constraints:      13393
243.06/243.83	c #Conflicts:     371000 | #Constraints:      14393
243.06/243.83	c #Conflicts:     372000 | #Constraints:      15393
243.06/243.83	c #Conflicts:     373000 | #Constraints:      16393
243.06/243.83	c #Conflicts:     374000 | #Constraints:      17393
243.06/243.83	c #Conflicts:     375000 | #Constraints:      18393
243.06/243.83	c #Conflicts:     376000 | #Constraints:      19393
243.06/243.83	c #Conflicts:     377000 | #Constraints:      20393
243.06/243.83	c #Conflicts:     378000 | #Constraints:      21393
243.06/243.83	c #Conflicts:     379000 | #Constraints:      22393
243.06/243.83	c #Conflicts:     380000 | #Constraints:      23393
243.06/243.83	c #Conflicts:     381000 | #Constraints:      24393
243.06/243.83	c INPROCESSING
243.06/243.83	c GARBAGE COLLECT
243.06/243.83	c #Conflicts:     382000 | #Constraints:      13170
243.06/243.83	c #Conflicts:     383000 | #Constraints:      14170
300.01/300.98	c #Conflicts:     384000 | #Constraints:      15170
300.01/300.98	c #Conflicts:     385000 | #Constraints:      16170
300.01/300.98	c #Conflicts:     386000 | #Constraints:      17170
300.01/300.98	c #Conflicts:     387000 | #Constraints:      18170
300.01/300.98	c #Conflicts:     388000 | #Constraints:      19170
300.01/300.98	c #Conflicts:     389000 | #Constraints:      20170
300.01/300.98	c #Conflicts:     390000 | #Constraints:      21170
300.01/300.98	c #Conflicts:     391000 | #Constraints:      22170
300.01/300.98	c #Conflicts:     392000 | #Constraints:      23170
300.01/300.98	c #Conflicts:     393000 | #Constraints:      24170
300.01/300.98	c #Conflicts:     394000 | #Constraints:      25170
300.01/300.98	c INPROCESSING
300.01/300.98	c GARBAGE COLLECT
300.01/300.98	c #Conflicts:     395000 | #Constraints:      13755
300.01/300.98	c #Conflicts:     396000 | #Constraints:      14755
300.01/300.98	c #Conflicts:     397000 | #Constraints:      15755
300.01/300.98	c #Conflicts:     398000 | #Constraints:      16755
300.01/300.98	c #Conflicts:     399000 | #Constraints:      17755
300.01/300.98	c #Conflicts:     400000 | #Constraints:      18755
300.01/300.98	c #Conflicts:     401000 | #Constraints:      19755
300.01/300.98	c #Conflicts:     402000 | #Constraints:      20755
300.01/300.98	c #Conflicts:     403000 | #Constraints:      21755
300.01/300.98	c #Conflicts:     404000 | #Constraints:      22755
300.01/300.98	c #Conflicts:     405000 | #Constraints:      23755
300.01/300.98	c #Conflicts:     406000 | #Constraints:      24755
300.01/300.98	c #Conflicts:     407000 | #Constraints:      25755
300.01/300.98	c INPROCESSING
300.01/300.98	c GARBAGE COLLECT
300.01/300.98	c #Conflicts:     408000 | #Constraints:      14147
300.01/300.98	c #Conflicts:     409000 | #Constraints:      15147
300.01/300.98	c #Conflicts:     410000 | #Constraints:      16147
300.01/300.98	c #Conflicts:     411000 | #Constraints:      17147
300.01/300.98	c #Conflicts:     412000 | #Constraints:      18147
300.01/300.98	c #Conflicts:     413000 | #Constraints:      19147
300.01/300.98	c #Conflicts:     414000 | #Constraints:      20147
300.01/300.98	c #Conflicts:     415000 | #Constraints:      21147
300.01/300.98	c #Conflicts:     416000 | #Constraints:      22147
300.01/300.98	c #Conflicts:     417000 | #Constraints:      23147
300.01/300.98	c #Conflicts:     418000 | #Constraints:      24147
300.01/300.98	c #Conflicts:     419000 | #Constraints:      25147
300.01/300.98	c #Conflicts:     420000 | #Constraints:      26147
300.01/300.98	c INPROCESSING
300.01/300.98	c GARBAGE COLLECT
300.01/300.98	c #Conflicts:     421000 | #Constraints:      14393
300.01/300.98	c #Conflicts:     422000 | #Constraints:      15393
300.01/300.98	c #Conflicts:     423000 | #Constraints:      16393
300.01/300.98	c #Conflicts:     424000 | #Constraints:      17393
300.01/300.98	c #Conflicts:     425000 | #Constraints:      18393
300.01/300.98	c #Conflicts:     426000 | #Constraints:      19393
300.01/300.98	c #Conflicts:     427000 | #Constraints:      20393
300.01/300.98	c #Conflicts:     428000 | #Constraints:      21393
300.01/300.98	c #Conflicts:     429000 | #Constraints:      22393
300.01/300.98	c #Conflicts:     430000 | #Constraints:      23393
300.01/300.98	c #Conflicts:     431000 | #Constraints:      24393
300.01/300.98	c #Conflicts:     432000 | #Constraints:      25393
300.01/300.98	c #Conflicts:     433000 | #Constraints:      26393
300.01/300.98	c INPROCESSING
300.01/300.98	c GARBAGE COLLECT
300.01/300.98	c #Conflicts:     434000 | #Constraints:      14463
300.01/300.98	c #Conflicts:     435000 | #Constraints:      15463
300.01/300.98	c #Conflicts:     436000 | #Constraints:      16463
300.01/300.98	c #Conflicts:     437000 | #Constraints:      17463
300.01/300.98	c #Conflicts:     438000 | #Constraints:      18463
300.01/300.98	c #Conflicts:     439000 | #Constraints:      19463
300.01/300.98	c #Conflicts:     440000 | #Constraints:      20463
300.01/300.98	c #Conflicts:     441000 | #Constraints:      21463
300.01/300.98	c #Conflicts:     442000 | #Constraints:      22463
300.01/300.98	c #Conflicts:     443000 | #Constraints:      23463
300.01/300.98	c #Conflicts:     444000 | #Constraints:      24463
300.01/300.98	c #Conflicts:     445000 | #Constraints:      25463
300.01/300.98	c #Conflicts:     446000 | #Constraints:      26463
300.01/300.98	c INPROCESSING
300.01/300.98	c GARBAGE COLLECT
300.01/300.98	c #Conflicts:     447000 | #Constraints:      14268
300.01/300.98	c #Conflicts:     448000 | #Constraints:      15268
300.01/300.98	c #Conflicts:     449000 | #Constraints:      16268
300.01/300.98	c #Conflicts:     450000 | #Constraints:      17268
300.01/300.98	c #Conflicts:     451000 | #Constraints:      18268
300.01/300.98	c #Conflicts:     452000 | #Constraints:      19268
300.01/300.98	c #Conflicts:     453000 | #Constraints:      20268
300.01/300.98	c #Conflicts:     454000 | #Constraints:      21268
300.01/300.98	c #Conflicts:     455000 | #Constraints:      22268
300.01/300.98	c #Conflicts:     456000 | #Constraints:      23268
300.01/300.98	c #Conflicts:     457000 | #Constraints:      24268
300.01/300.98	c #Conflicts:     458000 | #Constraints:      25268
300.01/300.98	c #Conflicts:     459000 | #Constraints:      26268
480.80/482.21	c #Conflicts:     460000 | #Constraints:      27268
480.80/482.21	c INPROCESSING
480.80/482.21	c GARBAGE COLLECT
480.80/482.21	c #Conflicts:     461000 | #Constraints:      14894
480.80/482.21	c #Conflicts:     462000 | #Constraints:      15894
480.80/482.21	c #Conflicts:     463000 | #Constraints:      16894
480.80/482.21	c #Conflicts:     464000 | #Constraints:      17894
480.80/482.21	c #Conflicts:     465000 | #Constraints:      18894
480.80/482.21	c #Conflicts:     466000 | #Constraints:      19894
480.80/482.21	c #Conflicts:     467000 | #Constraints:      20894
480.80/482.21	c #Conflicts:     468000 | #Constraints:      21894
480.80/482.21	c #Conflicts:     469000 | #Constraints:      22894
480.80/482.21	c #Conflicts:     470000 | #Constraints:      23894
480.80/482.21	c #Conflicts:     471000 | #Constraints:      24894
480.80/482.21	c #Conflicts:     472000 | #Constraints:      25894
480.80/482.21	c #Conflicts:     473000 | #Constraints:      26894
480.80/482.21	c #Conflicts:     474000 | #Constraints:      27894
480.80/482.21	c INPROCESSING
480.80/482.21	c GARBAGE COLLECT
480.80/482.21	c #Conflicts:     475000 | #Constraints:      15277
480.80/482.21	c #Conflicts:     476000 | #Constraints:      16277
480.80/482.21	c #Conflicts:     477000 | #Constraints:      17282
480.80/482.21	c #Conflicts:     478000 | #Constraints:      18286
480.80/482.21	c #Conflicts:     479000 | #Constraints:      19288
480.80/482.21	c #Conflicts:     480000 | #Constraints:      20290
480.80/482.21	c #Conflicts:     481000 | #Constraints:      21292
480.80/482.21	c #Conflicts:     482000 | #Constraints:      22295
480.80/482.21	c #Conflicts:     483000 | #Constraints:      23298
480.80/482.21	c #Conflicts:     484000 | #Constraints:      24299
480.80/482.21	c #Conflicts:     485000 | #Constraints:      25301
480.80/482.21	c #Conflicts:     486000 | #Constraints:      26302
480.80/482.21	c #Conflicts:     487000 | #Constraints:      27304
480.80/482.21	c #Conflicts:     488000 | #Constraints:      28305
480.80/482.21	c INPROCESSING
480.80/482.21	c GARBAGE COLLECT
480.80/482.21	c #Conflicts:     489000 | #Constraints:      15502
480.80/482.21	c #Conflicts:     490000 | #Constraints:      16502
480.80/482.21	c #Conflicts:     491000 | #Constraints:      17503
480.80/482.21	c #Conflicts:     492000 | #Constraints:      18508
480.80/482.21	c #Conflicts:     493000 | #Constraints:      19508
480.80/482.21	c #Conflicts:     494000 | #Constraints:      20508
480.80/482.21	c #Conflicts:     495000 | #Constraints:      21508
480.80/482.21	c #Conflicts:     496000 | #Constraints:      22508
480.80/482.21	c #Conflicts:     497000 | #Constraints:      23508
480.80/482.21	c #Conflicts:     498000 | #Constraints:      24508
480.80/482.21	c #Conflicts:     499000 | #Constraints:      25508
480.80/482.21	c #Conflicts:     500000 | #Constraints:      26508
480.80/482.21	c #Conflicts:     501000 | #Constraints:      27508
480.80/482.21	c #Conflicts:     502000 | #Constraints:      28508
480.80/482.21	c INPROCESSING
480.80/482.21	c GARBAGE COLLECT
480.80/482.21	c #Conflicts:     503000 | #Constraints:      15475
480.80/482.21	c #Conflicts:     504000 | #Constraints:      16475
480.80/482.21	c #Conflicts:     505000 | #Constraints:      17475
480.80/482.21	c #Conflicts:     506000 | #Constraints:      18475
480.80/482.21	c #Conflicts:     507000 | #Constraints:      19475
480.80/482.21	c #Conflicts:     508000 | #Constraints:      20475
480.80/482.21	c #Conflicts:     509000 | #Constraints:      21475
480.80/482.21	c #Conflicts:     510000 | #Constraints:      22475
480.80/482.21	c #Conflicts:     511000 | #Constraints:      23475
480.80/482.21	c #Conflicts:     512000 | #Constraints:      24475
480.80/482.21	c #Conflicts:     513000 | #Constraints:      25475
480.80/482.21	c #Conflicts:     514000 | #Constraints:      26475
480.80/482.21	c #Conflicts:     515000 | #Constraints:      27475
480.80/482.21	c #Conflicts:     516000 | #Constraints:      28475
480.80/482.21	c INPROCESSING
480.80/482.21	c GARBAGE COLLECT
480.80/482.21	c #Conflicts:     517000 | #Constraints:      15243
480.80/482.21	c #Conflicts:     518000 | #Constraints:      16243
480.80/482.21	c #Conflicts:     519000 | #Constraints:      17243
480.80/482.21	c #Conflicts:     520000 | #Constraints:      18243
480.80/482.21	c #Conflicts:     521000 | #Constraints:      19243
480.80/482.21	c #Conflicts:     522000 | #Constraints:      20243
480.80/482.21	c #Conflicts:     523000 | #Constraints:      21243
480.80/482.21	c #Conflicts:     524000 | #Constraints:      22243
480.80/482.21	c #Conflicts:     525000 | #Constraints:      23243
480.80/482.21	c #Conflicts:     526000 | #Constraints:      24243
480.80/482.21	c #Conflicts:     527000 | #Constraints:      25243
480.80/482.21	c #Conflicts:     528000 | #Constraints:      26243
480.80/482.21	c #Conflicts:     529000 | #Constraints:      27243
480.80/482.21	c #Conflicts:     530000 | #Constraints:      28243
480.80/482.21	c #Conflicts:     531000 | #Constraints:      29243
480.80/482.21	c INPROCESSING
480.80/482.21	c GARBAGE COLLECT
480.80/482.21	c #Conflicts:     532000 | #Constraints:      15840
480.80/482.21	c #Conflicts:     533000 | #Constraints:      16840
480.80/482.21	c #Conflicts:     534000 | #Constraints:      17840
569.13/570.89	c #Conflicts:     535000 | #Constraints:      18840
569.13/570.89	c #Conflicts:     536000 | #Constraints:      19840
569.13/570.89	c #Conflicts:     537000 | #Constraints:      20840
569.13/570.89	c #Conflicts:     538000 | #Constraints:      21840
569.13/570.89	c #Conflicts:     539000 | #Constraints:      22840
569.13/570.89	c #Conflicts:     540000 | #Constraints:      23840
569.13/570.89	c #Conflicts:     541000 | #Constraints:      24840
569.13/570.89	c #Conflicts:     542000 | #Constraints:      25840
569.13/570.89	c #Conflicts:     543000 | #Constraints:      26840
569.13/570.89	c #Conflicts:     544000 | #Constraints:      27840
569.13/570.89	c #Conflicts:     545000 | #Constraints:      28840
569.13/570.89	c #Conflicts:     546000 | #Constraints:      29840
569.13/570.89	c INPROCESSING
569.13/570.89	c GARBAGE COLLECT
569.13/570.89	c #Conflicts:     547000 | #Constraints:      16220
569.13/570.89	c #Conflicts:     548000 | #Constraints:      17220
569.13/570.89	c #Conflicts:     549000 | #Constraints:      18220
569.13/570.89	c #Conflicts:     550000 | #Constraints:      19220
569.13/570.89	c #Conflicts:     551000 | #Constraints:      20220
569.13/570.89	c #Conflicts:     552000 | #Constraints:      21220
569.13/570.89	c #Conflicts:     553000 | #Constraints:      22220
569.13/570.89	c #Conflicts:     554000 | #Constraints:      23220
569.13/570.89	c #Conflicts:     555000 | #Constraints:      24220
569.13/570.89	c #Conflicts:     556000 | #Constraints:      25220
569.13/570.89	c #Conflicts:     557000 | #Constraints:      26220
569.13/570.89	c #Conflicts:     558000 | #Constraints:      27220
569.13/570.89	c #Conflicts:     559000 | #Constraints:      28220
569.13/570.89	c #Conflicts:     560000 | #Constraints:      29220
569.13/570.89	c #Conflicts:     561000 | #Constraints:      30220
569.13/570.89	c INPROCESSING
569.13/570.89	c GARBAGE COLLECT
569.13/570.89	c #Conflicts:     562000 | #Constraints:      16376
569.13/570.89	c #Conflicts:     563000 | #Constraints:      17376
569.13/570.89	c #Conflicts:     564000 | #Constraints:      18376
569.13/570.89	c #Conflicts:     565000 | #Constraints:      19376
569.13/570.89	c #Conflicts:     566000 | #Constraints:      20376
569.13/570.89	c #Conflicts:     567000 | #Constraints:      21376
569.13/570.89	c #Conflicts:     568000 | #Constraints:      22376
569.13/570.89	c #Conflicts:     569000 | #Constraints:      23376
569.13/570.89	c #Conflicts:     570000 | #Constraints:      24376
569.13/570.89	c #Conflicts:     571000 | #Constraints:      25376
569.13/570.89	c #Conflicts:     572000 | #Constraints:      26376
569.13/570.89	c #Conflicts:     573000 | #Constraints:      27376
569.13/570.89	c #Conflicts:     574000 | #Constraints:      28376
569.13/570.89	c #Conflicts:     575000 | #Constraints:      29376
569.13/570.89	c #Conflicts:     576000 | #Constraints:      30376
569.13/570.89	c INPROCESSING
569.13/570.89	c GARBAGE COLLECT
569.13/570.89	c #Conflicts:     577000 | #Constraints:      16424
569.13/570.89	c #Conflicts:     578000 | #Constraints:      17424
569.13/570.89	c #Conflicts:     579000 | #Constraints:      18424
569.13/570.89	c #Conflicts:     580000 | #Constraints:      19424
569.13/570.89	c #Conflicts:     581000 | #Constraints:      20424
569.13/570.89	c #Conflicts:     582000 | #Constraints:      21424
569.13/570.89	c #Conflicts:     583000 | #Constraints:      22424
569.13/570.89	c #Conflicts:     584000 | #Constraints:      23424
569.13/570.89	c #Conflicts:     585000 | #Constraints:      24424
569.13/570.89	c #Conflicts:     586000 | #Constraints:      25424
569.13/570.89	c #Conflicts:     587000 | #Constraints:      26424
569.13/570.89	c #Conflicts:     588000 | #Constraints:      27424
569.13/570.89	c #Conflicts:     589000 | #Constraints:      28424
569.13/570.89	c #Conflicts:     590000 | #Constraints:      29424
569.13/570.89	c #Conflicts:     591000 | #Constraints:      30424
569.13/570.89	c INPROCESSING
569.13/570.89	c GARBAGE COLLECT
569.13/570.89	c #Conflicts:     592000 | #Constraints:      16191
569.13/570.89	c #Conflicts:     593000 | #Constraints:      17191
569.13/570.89	c #Conflicts:     594000 | #Constraints:      18191
569.13/570.89	c #Conflicts:     595000 | #Constraints:      19191
569.13/570.89	c #Conflicts:     596000 | #Constraints:      20191
569.13/570.89	c #Conflicts:     597000 | #Constraints:      21191
569.13/570.89	c #Conflicts:     598000 | #Constraints:      22191
569.13/570.89	c #Conflicts:     599000 | #Constraints:      23192
569.13/570.89	c #Conflicts:     600000 | #Constraints:      24193
569.13/570.89	c #Conflicts:     601000 | #Constraints:      25197
569.13/570.89	c #Conflicts:     602000 | #Constraints:      26198
569.13/570.89	c #Conflicts:     603000 | #Constraints:      27199
569.13/570.89	c #Conflicts:     604000 | #Constraints:      28199
569.13/570.89	c #Conflicts:     605000 | #Constraints:      29199
569.13/570.89	c #Conflicts:     606000 | #Constraints:      30200
569.13/570.89	c #Conflicts:     607000 | #Constraints:      31200
569.13/570.89	c INPROCESSING
569.13/570.89	c GARBAGE COLLECT
569.13/570.89	c rational objective 177
1314.13/1318.15	c #Conflicts:     608000 | #Constraints:      16831
1314.13/1318.15	c #Conflicts:     609000 | #Constraints:      17831
1314.13/1318.15	c #Conflicts:     610000 | #Constraints:      18831
1314.13/1318.15	c #Conflicts:     611000 | #Constraints:      19831
1314.13/1318.15	c #Conflicts:     612000 | #Constraints:      20831
1314.13/1318.15	c #Conflicts:     613000 | #Constraints:      21831
1314.13/1318.15	c #Conflicts:     614000 | #Constraints:      22831
1314.13/1318.15	c #Conflicts:     615000 | #Constraints:      23831
1314.13/1318.15	c #Conflicts:     616000 | #Constraints:      24831
1314.13/1318.15	c #Conflicts:     617000 | #Constraints:      25831
1314.13/1318.15	c #Conflicts:     618000 | #Constraints:      26831
1314.13/1318.15	c #Conflicts:     619000 | #Constraints:      27831
1314.13/1318.15	c #Conflicts:     620000 | #Constraints:      28831
1314.13/1318.15	c #Conflicts:     621000 | #Constraints:      29831
1314.13/1318.15	c #Conflicts:     622000 | #Constraints:      30832
1314.13/1318.15	c #Conflicts:     623000 | #Constraints:      31832
1314.13/1318.15	c INPROCESSING
1314.13/1318.15	c GARBAGE COLLECT
1314.13/1318.15	c #Conflicts:     624000 | #Constraints:      17209
1314.13/1318.15	c #Conflicts:     625000 | #Constraints:      18209
1314.13/1318.15	c #Conflicts:     626000 | #Constraints:      19209
1314.13/1318.15	c #Conflicts:     627000 | #Constraints:      20210
1314.13/1318.15	c #Conflicts:     628000 | #Constraints:      21210
1314.13/1318.15	c #Conflicts:     629000 | #Constraints:      22210
1314.13/1318.15	c #Conflicts:     630000 | #Constraints:      23210
1314.13/1318.15	c #Conflicts:     631000 | #Constraints:      24210
1314.13/1318.15	c #Conflicts:     632000 | #Constraints:      25211
1314.13/1318.15	c #Conflicts:     633000 | #Constraints:      26211
1314.13/1318.15	c #Conflicts:     634000 | #Constraints:      27211
1314.13/1318.15	c #Conflicts:     635000 | #Constraints:      28211
1314.13/1318.15	c #Conflicts:     636000 | #Constraints:      29211
1314.13/1318.15	c #Conflicts:     637000 | #Constraints:      30211
1314.13/1318.15	c #Conflicts:     638000 | #Constraints:      31211
1314.13/1318.15	c #Conflicts:     639000 | #Constraints:      32211
1314.13/1318.15	c INPROCESSING
1314.13/1318.15	c GARBAGE COLLECT
1314.13/1318.15	c #Conflicts:     640000 | #Constraints:      17372
1314.13/1318.15	c #Conflicts:     641000 | #Constraints:      18372
1314.13/1318.15	c #Conflicts:     642000 | #Constraints:      19372
1314.13/1318.15	c #Conflicts:     643000 | #Constraints:      20372
1314.13/1318.15	c #Conflicts:     644000 | #Constraints:      21372
1314.13/1318.15	c #Conflicts:     645000 | #Constraints:      22372
1314.13/1318.15	c #Conflicts:     646000 | #Constraints:      23372
1314.13/1318.15	c #Conflicts:     647000 | #Constraints:      24372
1314.13/1318.15	c #Conflicts:     648000 | #Constraints:      25372
1314.13/1318.15	c #Conflicts:     649000 | #Constraints:      26372
1314.13/1318.15	c #Conflicts:     650000 | #Constraints:      27372
1314.13/1318.15	c #Conflicts:     651000 | #Constraints:      28372
1314.13/1318.15	c #Conflicts:     652000 | #Constraints:      29372
1314.13/1318.15	c #Conflicts:     653000 | #Constraints:      30372
1314.13/1318.15	c #Conflicts:     654000 | #Constraints:      31372
1314.13/1318.15	c #Conflicts:     655000 | #Constraints:      32372
1314.13/1318.15	c INPROCESSING
1314.13/1318.15	c GARBAGE COLLECT
1314.13/1318.15	c #Conflicts:     656000 | #Constraints:      17407
1314.13/1318.15	c #Conflicts:     657000 | #Constraints:      18407
1314.13/1318.15	c #Conflicts:     658000 | #Constraints:      19407
1314.13/1318.15	c #Conflicts:     659000 | #Constraints:      20407
1314.13/1318.15	c #Conflicts:     660000 | #Constraints:      21407
1314.13/1318.15	c #Conflicts:     661000 | #Constraints:      22407
1314.13/1318.15	c #Conflicts:     662000 | #Constraints:      23407
1314.13/1318.15	c #Conflicts:     663000 | #Constraints:      24407
1314.13/1318.15	c #Conflicts:     664000 | #Constraints:      25407
1314.13/1318.15	c #Conflicts:     665000 | #Constraints:      26407
1314.13/1318.15	c #Conflicts:     666000 | #Constraints:      27407
1314.13/1318.15	c #Conflicts:     667000 | #Constraints:      28407
1314.13/1318.15	c #Conflicts:     668000 | #Constraints:      29407
1314.13/1318.15	c #Conflicts:     669000 | #Constraints:      30407
1314.13/1318.15	c #Conflicts:     670000 | #Constraints:      31407
1314.13/1318.15	c #Conflicts:     671000 | #Constraints:      32407
1314.13/1318.15	c INPROCESSING
1314.13/1318.15	c GARBAGE COLLECT
1314.13/1318.15	c #Conflicts:     672000 | #Constraints:      17178
1314.13/1318.15	c #Conflicts:     673000 | #Constraints:      18178
1314.13/1318.15	c #Conflicts:     674000 | #Constraints:      19178
1314.13/1318.15	c #Conflicts:     675000 | #Constraints:      20178
1314.13/1318.15	c #Conflicts:     676000 | #Constraints:      21178
1314.13/1318.15	c #Conflicts:     677000 | #Constraints:      22178
1314.13/1318.15	c #Conflicts:     678000 | #Constraints:      23178
1314.13/1318.15	c #Conflicts:     679000 | #Constraints:      24178
1314.13/1318.15	c #Conflicts:     680000 | #Constraints:      25178
1314.13/1318.15	c #Conflicts:     681000 | #Constraints:      26178
1314.13/1318.15	c #Conflicts:     682000 | #Constraints:      27178
1314.13/1318.15	c #Conflicts:     683000 | #Constraints:      28178
1314.13/1318.15	c #Conflicts:     684000 | #Constraints:      29178
2092.34/2098.61	c #Conflicts:     685000 | #Constraints:      30178
2092.34/2098.61	c #Conflicts:     686000 | #Constraints:      31178
2092.34/2098.61	c #Conflicts:     687000 | #Constraints:      32178
2092.34/2098.61	c #Conflicts:     688000 | #Constraints:      33178
2092.34/2098.61	c INPROCESSING
2092.34/2098.61	c GARBAGE COLLECT
2092.34/2098.61	c #Conflicts:     689000 | #Constraints:      17771
2092.34/2098.61	c #Conflicts:     690000 | #Constraints:      18771
2092.34/2098.61	c #Conflicts:     691000 | #Constraints:      19771
2092.34/2098.61	c #Conflicts:     692000 | #Constraints:      20771
2092.34/2098.61	c #Conflicts:     693000 | #Constraints:      21771
2092.34/2098.61	c #Conflicts:     694000 | #Constraints:      22771
2092.34/2098.61	c #Conflicts:     695000 | #Constraints:      23771
2092.34/2098.61	c #Conflicts:     696000 | #Constraints:      24771
2092.34/2098.61	c #Conflicts:     697000 | #Constraints:      25771
2092.34/2098.61	c #Conflicts:     698000 | #Constraints:      26771
2092.34/2098.61	c #Conflicts:     699000 | #Constraints:      27771
2092.34/2098.61	c #Conflicts:     700000 | #Constraints:      28771
2092.34/2098.61	c #Conflicts:     701000 | #Constraints:      29771
2092.34/2098.61	c #Conflicts:     702000 | #Constraints:      30771
2092.34/2098.61	c #Conflicts:     703000 | #Constraints:      31771
2092.34/2098.61	c #Conflicts:     704000 | #Constraints:      32771
2092.34/2098.61	c #Conflicts:     705000 | #Constraints:      33771
2092.34/2098.61	c INPROCESSING
2092.34/2098.61	c GARBAGE COLLECT
2092.34/2098.61	c #Conflicts:     706000 | #Constraints:      18214
2092.34/2098.61	c #Conflicts:     707000 | #Constraints:      19214
2092.34/2098.61	c #Conflicts:     708000 | #Constraints:      20214
2092.34/2098.61	c #Conflicts:     709000 | #Constraints:      21214
2092.34/2098.61	c #Conflicts:     710000 | #Constraints:      22214
2092.34/2098.61	c #Conflicts:     711000 | #Constraints:      23214
2092.34/2098.61	c #Conflicts:     712000 | #Constraints:      24214
2092.34/2098.61	c #Conflicts:     713000 | #Constraints:      25214
2092.34/2098.61	c #Conflicts:     714000 | #Constraints:      26214
2092.34/2098.61	c #Conflicts:     715000 | #Constraints:      27214
2092.34/2098.61	c #Conflicts:     716000 | #Constraints:      28214
2092.34/2098.61	c #Conflicts:     717000 | #Constraints:      29214
2092.34/2098.61	c #Conflicts:     718000 | #Constraints:      30214
2092.34/2098.61	c #Conflicts:     719000 | #Constraints:      31214
2092.34/2098.61	c #Conflicts:     720000 | #Constraints:      32214
2092.34/2098.61	c #Conflicts:     721000 | #Constraints:      33214
2092.34/2098.61	c #Conflicts:     722000 | #Constraints:      34214
2092.34/2098.61	c INPROCESSING
2092.34/2098.61	c GARBAGE COLLECT
2092.34/2098.61	c #Conflicts:     723000 | #Constraints:      18428
2092.34/2098.61	c #Conflicts:     724000 | #Constraints:      19428
2092.34/2098.61	c #Conflicts:     725000 | #Constraints:      20428
2092.34/2098.61	c #Conflicts:     726000 | #Constraints:      21428
2092.34/2098.61	c #Conflicts:     727000 | #Constraints:      22428
2092.34/2098.61	c #Conflicts:     728000 | #Constraints:      23428
2092.34/2098.61	c #Conflicts:     729000 | #Constraints:      24428
2092.34/2098.61	c #Conflicts:     730000 | #Constraints:      25428
2092.34/2098.61	c #Conflicts:     731000 | #Constraints:      26428
2092.34/2098.61	c #Conflicts:     732000 | #Constraints:      27428
2092.34/2098.61	c #Conflicts:     733000 | #Constraints:      28428
2092.34/2098.61	c #Conflicts:     734000 | #Constraints:      29428
2092.34/2098.61	c #Conflicts:     735000 | #Constraints:      30428
2092.34/2098.61	c #Conflicts:     736000 | #Constraints:      31428
2092.34/2098.61	c #Conflicts:     737000 | #Constraints:      32428
2092.34/2098.61	c #Conflicts:     738000 | #Constraints:      33428
2092.34/2098.61	c #Conflicts:     739000 | #Constraints:      34428
2092.34/2098.61	c INPROCESSING
2092.34/2098.61	c GARBAGE COLLECT
2092.34/2098.61	c #Conflicts:     740000 | #Constraints:      18396
2092.34/2098.61	c #Conflicts:     741000 | #Constraints:      19396
2092.34/2098.61	c #Conflicts:     742000 | #Constraints:      20396
2092.34/2098.61	c #Conflicts:     743000 | #Constraints:      21396
2092.34/2098.61	c #Conflicts:     744000 | #Constraints:      22396
2092.34/2098.61	c #Conflicts:     745000 | #Constraints:      23396
2092.34/2098.61	c #Conflicts:     746000 | #Constraints:      24396
2092.34/2098.61	c #Conflicts:     747000 | #Constraints:      25396
2092.34/2098.61	c #Conflicts:     748000 | #Constraints:      26396
2092.34/2098.61	c #Conflicts:     749000 | #Constraints:      27396
2092.34/2098.61	c #Conflicts:     750000 | #Constraints:      28396
2092.34/2098.61	c #Conflicts:     751000 | #Constraints:      29396
2092.34/2098.61	c #Conflicts:     752000 | #Constraints:      30396
2092.34/2098.61	c #Conflicts:     753000 | #Constraints:      31396
2092.34/2098.61	c #Conflicts:     754000 | #Constraints:      32396
2092.34/2098.61	c #Conflicts:     755000 | #Constraints:      33396
2092.34/2098.61	c #Conflicts:     756000 | #Constraints:      34396
2092.34/2098.61	c INPROCESSING
2092.34/2098.61	c GARBAGE COLLECT
2092.34/2098.61	c #Conflicts:     757000 | #Constraints:      18170
2092.34/2098.61	c #Conflicts:     758000 | #Constraints:      19170
2092.34/2098.61	c #Conflicts:     759000 | #Constraints:      20170
2508.71/2516.05	c #Conflicts:     760000 | #Constraints:      21170
2508.71/2516.05	c #Conflicts:     761000 | #Constraints:      22170
2508.71/2516.05	c #Conflicts:     762000 | #Constraints:      23170
2508.71/2516.05	c #Conflicts:     763000 | #Constraints:      24170
2508.71/2516.05	c #Conflicts:     764000 | #Constraints:      25170
2508.71/2516.05	c #Conflicts:     765000 | #Constraints:      26170
2508.71/2516.05	c #Conflicts:     766000 | #Constraints:      27170
2508.71/2516.05	c #Conflicts:     767000 | #Constraints:      28170
2508.71/2516.05	c #Conflicts:     768000 | #Constraints:      29170
2508.71/2516.05	c #Conflicts:     769000 | #Constraints:      30170
2508.71/2516.05	c #Conflicts:     770000 | #Constraints:      31170
2508.71/2516.05	c #Conflicts:     771000 | #Constraints:      32170
2508.71/2516.05	c #Conflicts:     772000 | #Constraints:      33170
2508.71/2516.05	c #Conflicts:     773000 | #Constraints:      34170
2508.71/2516.05	c #Conflicts:     774000 | #Constraints:      35170
2508.71/2516.05	c INPROCESSING
2508.71/2516.05	c GARBAGE COLLECT
2508.71/2516.05	c #Conflicts:     775000 | #Constraints:      18756
2508.71/2516.05	c #Conflicts:     776000 | #Constraints:      19756
2508.71/2516.05	c #Conflicts:     777000 | #Constraints:      20756
2508.71/2516.05	c #Conflicts:     778000 | #Constraints:      21756
2508.71/2516.05	c #Conflicts:     779000 | #Constraints:      22756
2508.71/2516.05	c #Conflicts:     780000 | #Constraints:      23756
2508.71/2516.05	c #Conflicts:     781000 | #Constraints:      24756
2508.71/2516.05	c #Conflicts:     782000 | #Constraints:      25756
2508.71/2516.05	c #Conflicts:     783000 | #Constraints:      26756
2508.71/2516.05	c #Conflicts:     784000 | #Constraints:      27756
2508.71/2516.05	c #Conflicts:     785000 | #Constraints:      28756
2508.71/2516.05	c #Conflicts:     786000 | #Constraints:      29756
2508.71/2516.05	c #Conflicts:     787000 | #Constraints:      30756
2508.71/2516.05	c #Conflicts:     788000 | #Constraints:      31756
2508.71/2516.05	c #Conflicts:     789000 | #Constraints:      32756
2508.71/2516.05	c #Conflicts:     790000 | #Constraints:      33756
2508.71/2516.05	c #Conflicts:     791000 | #Constraints:      34756
2508.71/2516.05	c #Conflicts:     792000 | #Constraints:      35756
2508.71/2516.05	c INPROCESSING
2508.71/2516.05	c GARBAGE COLLECT
2508.71/2516.05	c #Conflicts:     793000 | #Constraints:      19148
2508.71/2516.05	c #Conflicts:     794000 | #Constraints:      20148
2508.71/2516.05	c #Conflicts:     795000 | #Constraints:      21148
2508.71/2516.05	c #Conflicts:     796000 | #Constraints:      22148
2508.71/2516.05	c #Conflicts:     797000 | #Constraints:      23148
2508.71/2516.05	c #Conflicts:     798000 | #Constraints:      24148
2508.71/2516.05	c #Conflicts:     799000 | #Constraints:      25148
2508.71/2516.05	c #Conflicts:     800000 | #Constraints:      26148
2508.71/2516.05	c #Conflicts:     801000 | #Constraints:      27148
2508.71/2516.05	c #Conflicts:     802000 | #Constraints:      28148
2508.71/2516.05	c #Conflicts:     803000 | #Constraints:      29148
2508.71/2516.05	c #Conflicts:     804000 | #Constraints:      30148
2508.71/2516.05	c #Conflicts:     805000 | #Constraints:      31148
2508.71/2516.05	c #Conflicts:     806000 | #Constraints:      32148
2508.71/2516.05	c #Conflicts:     807000 | #Constraints:      33148
2508.71/2516.05	c #Conflicts:     808000 | #Constraints:      34148
2508.71/2516.05	c #Conflicts:     809000 | #Constraints:      35148
2508.71/2516.05	c #Conflicts:     810000 | #Constraints:      36148
2508.71/2516.05	c INPROCESSING
2508.71/2516.05	c GARBAGE COLLECT
2508.71/2516.05	c #Conflicts:     811000 | #Constraints:      19349
2508.71/2516.05	c #Conflicts:     812000 | #Constraints:      20349
2508.71/2516.05	c #Conflicts:     813000 | #Constraints:      21349
2508.71/2516.05	c #Conflicts:     814000 | #Constraints:      22349
2508.71/2516.05	c #Conflicts:     815000 | #Constraints:      23349
2508.71/2516.05	c #Conflicts:     816000 | #Constraints:      24349
2508.71/2516.05	c #Conflicts:     817000 | #Constraints:      25349
2508.71/2516.05	c #Conflicts:     818000 | #Constraints:      26349
2508.71/2516.05	c #Conflicts:     819000 | #Constraints:      27349
2508.71/2516.05	c #Conflicts:     820000 | #Constraints:      28349
2508.71/2516.05	c #Conflicts:     821000 | #Constraints:      29349
2508.71/2516.05	c #Conflicts:     822000 | #Constraints:      30349
2508.71/2516.05	c #Conflicts:     823000 | #Constraints:      31349
2508.71/2516.05	c #Conflicts:     824000 | #Constraints:      32349
2508.71/2516.05	c #Conflicts:     825000 | #Constraints:      33349
2508.71/2516.05	c #Conflicts:     826000 | #Constraints:      34349
2508.71/2516.05	c #Conflicts:     827000 | #Constraints:      35349
2508.71/2516.05	c #Conflicts:     828000 | #Constraints:      36349
2508.71/2516.05	c INPROCESSING
2508.71/2516.05	c GARBAGE COLLECT
2508.71/2516.05	c #Conflicts:     829000 | #Constraints:      19371
2508.71/2516.05	c #Conflicts:     830000 | #Constraints:      20371
2508.71/2516.05	c #Conflicts:     831000 | #Constraints:      21371
2508.71/2516.05	c #Conflicts:     832000 | #Constraints:      22371
2508.71/2516.05	c #Conflicts:     833000 | #Constraints:      23371
2508.71/2516.05	c #Conflicts:     834000 | #Constraints:      24371
2508.71/2516.05	c #Conflicts:     835000 | #Constraints:      25371
2508.71/2516.05	c #Conflicts:     836000 | #Constraints:      26371
3078.00/3086.88	c #Conflicts:     837000 | #Constraints:      27371
3078.00/3086.88	c #Conflicts:     838000 | #Constraints:      28371
3078.00/3086.88	c #Conflicts:     839000 | #Constraints:      29371
3078.00/3086.88	c #Conflicts:     840000 | #Constraints:      30371
3078.00/3086.88	c #Conflicts:     841000 | #Constraints:      31371
3078.00/3086.88	c #Conflicts:     842000 | #Constraints:      32371
3078.00/3086.88	c #Conflicts:     843000 | #Constraints:      33371
3078.00/3086.88	c #Conflicts:     844000 | #Constraints:      34371
3078.00/3086.88	c #Conflicts:     845000 | #Constraints:      35371
3078.00/3086.88	c #Conflicts:     846000 | #Constraints:      36371
3078.00/3086.88	c INPROCESSING
3078.00/3086.88	c GARBAGE COLLECT
3078.00/3086.88	c rational objective 177
3600.00/3610.50	c #Conflicts:     847000 | #Constraints:      19180
3600.00/3610.50	c #Conflicts:     848000 | #Constraints:      20180
3600.00/3610.50	c #Conflicts:     849000 | #Constraints:      21180
3600.00/3610.50	c #Conflicts:     850000 | #Constraints:      22180
3600.00/3610.50	c #Conflicts:     851000 | #Constraints:      23180
3600.00/3610.50	c #Conflicts:     852000 | #Constraints:      24180
3600.00/3610.50	c #Conflicts:     853000 | #Constraints:      25180
3600.00/3610.50	c #Conflicts:     854000 | #Constraints:      26180
3600.00/3610.50	c #Conflicts:     855000 | #Constraints:      27180
3600.00/3610.50	c #Conflicts:     856000 | #Constraints:      28180
3600.00/3610.50	c #Conflicts:     857000 | #Constraints:      29180
3600.00/3610.50	c #Conflicts:     858000 | #Constraints:      30180
3600.00/3610.50	c #Conflicts:     859000 | #Constraints:      31180
3600.00/3610.50	c #Conflicts:     860000 | #Constraints:      32180
3600.00/3610.50	c #Conflicts:     861000 | #Constraints:      33180
3600.00/3610.50	c #Conflicts:     862000 | #Constraints:      34180
3600.00/3610.50	c #Conflicts:     863000 | #Constraints:      35180
3600.00/3610.50	c #Conflicts:     864000 | #Constraints:      36180
3600.00/3610.50	c #Conflicts:     865000 | #Constraints:      37180
3600.00/3610.50	c INPROCESSING
3600.00/3610.50	c GARBAGE COLLECT
3600.00/3610.50	c #Conflicts:     866000 | #Constraints:      19776
3600.00/3610.50	c #Conflicts:     867000 | #Constraints:      20776
3600.00/3610.50	c #Conflicts:     868000 | #Constraints:      21776
3600.00/3610.50	c #Conflicts:     869000 | #Constraints:      22776
3600.00/3610.50	c #Conflicts:     870000 | #Constraints:      23776
3600.00/3610.50	c #Conflicts:     871000 | #Constraints:      24776
3600.00/3610.50	c #Conflicts:     872000 | #Constraints:      25776
3600.00/3610.50	c #Conflicts:     873000 | #Constraints:      26776
3600.00/3610.50	c #Conflicts:     874000 | #Constraints:      27776
3600.00/3610.50	c #Conflicts:     875000 | #Constraints:      28776
3600.00/3610.50	c #Conflicts:     876000 | #Constraints:      29776
3600.00/3610.50	c #Conflicts:     877000 | #Constraints:      30776
3600.00/3610.50	c #Conflicts:     878000 | #Constraints:      31776
3600.00/3610.50	c #Conflicts:     879000 | #Constraints:      32776
3600.00/3610.50	c #Conflicts:     880000 | #Constraints:      33776
3600.00/3610.50	c #Conflicts:     881000 | #Constraints:      34776
3600.00/3610.50	c #Conflicts:     882000 | #Constraints:      35776
3600.00/3610.50	c #Conflicts:     883000 | #Constraints:      36776
3600.00/3610.50	c #Conflicts:     884000 | #Constraints:      37776
3600.00/3610.50	c INPROCESSING
3600.00/3610.50	c GARBAGE COLLECT
3600.00/3610.50	c #Conflicts:     885000 | #Constraints:      20192
3600.00/3610.50	c #Conflicts:     886000 | #Constraints:      21192
3600.00/3610.50	c #Conflicts:     887000 | #Constraints:      22192
3600.00/3610.50	c #Conflicts:     888000 | #Constraints:      23192
3600.00/3610.50	c #Conflicts:     889000 | #Constraints:      24192
3600.00/3610.50	c #Conflicts:     890000 | #Constraints:      25192
3600.00/3610.50	c #Conflicts:     891000 | #Constraints:      26192
3600.00/3610.50	c #Conflicts:     892000 | #Constraints:      27192
3600.00/3610.50	c #Conflicts:     893000 | #Constraints:      28192
3600.00/3610.50	c #Conflicts:     894000 | #Constraints:      29192
3600.00/3610.50	c #Conflicts:     895000 | #Constraints:      30192
3600.00/3610.50	c #Conflicts:     896000 | #Constraints:      31192
3600.00/3610.50	c #Conflicts:     897000 | #Constraints:      32192
3600.00/3610.50	c #Conflicts:     898000 | #Constraints:      33192
3600.00/3610.50	c #Conflicts:     899000 | #Constraints:      34192
3600.00/3610.50	c cpu time 3563.14 s
3600.00/3610.50	c deterministic time 1218300257003 1.22e+12
3600.00/3610.50	c optimization time 349.728 s
3600.00/3610.50	c total solve time 3213.29 s
3600.00/3610.50	c core-guided solve time 0 s
3600.00/3610.50	c propagation time 2567.58 s
3600.00/3610.50	c conflict analysis time 763.91 s
3600.00/3610.50	c propagations 19402018
3600.00/3610.50	c resolve steps 2698819
3600.00/3610.50	c decisions 42416616
3600.00/3610.50	c conflicts 899112
3600.00/3610.50	c restarts 1950
3600.00/3610.50	c inprocessing phases 85
3600.00/3610.50	c garbage collections 85 ,( 100.00 )
3600.00/3610.50	c input clauses 177 ,( 33.91 )
3600.00/3610.50	c input cardinalities 0 ,( 0.00 )
3600.00/3610.50	c input general constraints 345 ,( 66.09 )
3600.00/3610.50	c input average constraint length 283.54
3600.00/3610.50	c input average constraint degree 8940.04
3600.00/3610.50	c learned clauses 327878 ,( 36.34 )
3600.00/3610.50	c learned cardinalities 39 ,( 0.00 )
3600.00/3610.50	c learned general constraints 574245 ,( 63.65 )
3600.00/3610.50	c learned average constraint length 2414.88
3600.00/3610.50	c learned average constraint degree 3726061749.04
3600.00/3610.50	c watched  CF 32, 64, 128, Arb: 234766 , 0 , 0 , 0
3600.00/3610.50	c counting CF 32, 64, 128, Arb: 339824 , 0 , 0 , 0
3600.00/3610.50	c watched   constraints 234766 ,( 40.86 ) 
3600.00/3610.50	c counting  constraints 339824 ,( 59.14 ) 
3600.00/3610.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 10183842 , 3480 , 1715279816 ,( 154446678 , 1560833138 )
3600.00/3610.50	c gcd simplifications 181432
3600.00/3610.50	c detected cardinalities 5
3600.00/3610.50	c weakened non-implied lits 185295837
3600.00/3610.50	c weakened non-implying lits 5012801
3600.00/3610.50	c original variables 31248
3600.00/3610.50	c clausal propagations 152674
3600.00/3610.50	c cardinality propagations 894
3600.00/3610.50	c watched propagations 198934
3600.00/3610.50	c counting propagations 17693855
3600.00/3610.50	c watch lookups 16148309329
3600.00/3610.50	c watch backjump lookups 0
3600.00/3610.50	c watch checks 40856091661
3600.00/3610.50	c propagation checks 1153251344870
3600.00/3610.50	c constraint additions 7919802763
3600.00/3610.50	c trail pops 62707654
3600.00/3610.50	c formula constraints 522
3600.00/3610.50	c learned constraints 899064
3600.00/3610.50	c bound constraints 0
3600.00/3610.50	c core-guided constraints 0
3600.00/3610.50	c encountered formula constraints 2067261
3600.00/3610.50	c encountered learned constraints 1239341
3600.00/3610.50	c encountered bound constraints 0
3600.00/3610.50	c encountered core-guided constraints 0
3600.00/3610.50	c LP total time 76.43 s
3600.00/3610.50	c LP solve time 69.02 s
3600.00/3610.50	c LP constraints added 634
3600.00/3610.50	c LP constraints removed 88
3600.00/3610.50	c LP pivots internal 92842
3600.00/3610.50	c LP pivots root 89249
3600.00/3610.50	c LP calls 2974
3600.00/3610.50	c LP optimalities 22
3600.00/3610.50	c LP no pivot count 0
3600.00/3610.50	c LP infeasibilities 2945
3600.00/3610.50	c LP valid Farkas constraints 2943
3600.00/3610.50	c LP learned Farkas constraints 48
3600.00/3610.50	c LP basis resets 2
3600.00/3610.50	c LP cycling count 1
3600.00/3610.50	c LP singular count 0
3600.00/3610.50	c LP no primal count 0
3600.00/3610.50	c LP no farkas count 1
3600.00/3610.50	c LP other issue count 0
3600.00/3610.50	c LP Gomory cuts 107
3600.00/3610.50	c LP learned cuts 5
3600.00/3610.50	c LP deleted cuts 88
3600.00/3610.50	c LP encountered Gomory constraints 0
3600.00/3610.50	c LP encountered Farkas constraints 166403
3600.00/3610.50	c LP encountered learned Farkas constraints 124878
3600.00/3610.50	c CG auxiliary variables introduced 0
3600.00/3610.50	c CG solutions found 0
3600.00/3610.50	c CG cores constructed 0
3600.00/3610.50	c CG core cardinality constraints returned 0
3600.00/3610.50	c CG unit cores 0
3600.00/3610.50	c CG single cores 0
3600.00/3610.50	c CG blocks removed during cardinality reduction 0
3600.00/3610.50	c CG first core best 0
3600.00/3610.50	c CG decision core best 0
3600.00/3610.50	c CG core reduction tie 0
3600.00/3610.50	c CG core degree average 0.00
3600.00/3610.50	c CG core slack average 0.00
3600.00/3610.50	c CG core upper bound improvements 0
3600.00/3610.50	c STR number of successful calls 0
3600.00/3610.50	c STR number of unsuccessful calls 0
3600.00/3610.50	c STR number of inconclusive calls 0
3600.00/3610.50	c STR number of successful attempts 0
3600.00/3610.50	c STR number of unsuccessful attempts 0
3600.00/3610.50	c STR number of inconclusive attempts 0
3600.00/3610.50	c STR average degree increase per successful call inf
3600.00/3610.50	c STR average degree increase per successful attempt inf
3600.00/3610.50	c STR total number of conflicts for successful attempts 0
3600.00/3610.50	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.50	c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.50	c STR average number of conflicts per successful attempt inf
3600.00/3610.50	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.50	c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.50	c AVG.sumWPerc 48.00 
3600.00/3610.50	c bigint constraints 0 
3600.00/3610.50	s UNKNOWN
3600.00/3610.50	c Program interrupted by user.

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: 63837 MiB (63022 MiB free)
  memory of node 1: 64465 MiB (63819 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515310-1751232530/watcher-4515310-1751232530 -o /tmp/evaluation-result-4515310-1751232530/solver-4515310-1751232530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751232530-35816 --watchdog 3760 run-dec.sh HOME/instance-4515310-1751232530.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=35859, runsolver pid=35850

[startup+0.100103 s]*
/proc/loadavg: 1.51 2.66 3.02 5/249 35868
/proc/meminfo: memFree=129859548/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=62552 memory=17880 CPUtime=0.08 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 2190 0 0 0 7 1 0 0 20 0 1 0 38932185 64053248 4438 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 15638 4438 1952 1147 0 3065 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66744 KiB
Current children cumulated memory: 20824 KiB

[startup+0.2126 s]*
/proc/loadavg: 1.51 2.66 3.02 5/249 35873
/proc/meminfo: memFree=129840320/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=82844 memory=39032 CPUtime=0.19 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 7271 0 0 0 16 3 0 0 20 0 1 0 38932185 84832256 9758 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 20711 9758 2272 1147 0 8138 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87036 KiB
Current children cumulated memory: 41976 KiB

[startup+0.313282 s]*
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129801132/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=85828 memory=41592 CPUtime=0.3 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 7918 0 0 0 26 4 0 0 20 0 1 0 38932185 87887872 10398 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 21457 10398 2272 1147 0 8884 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90020 KiB
Current children cumulated memory: 44536 KiB

[startup+0.700336 s]
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129768748/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=85828 memory=41720 CPUtime=0.67 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 7922 0 0 0 63 4 0 0 20 0 1 0 38932185 87887872 10430 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 21457 10430 2272 1147 0 8884 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 90020 KiB
Current children cumulated memory: 44664 KiB

[startup+1.50028 s]
/proc/loadavg: 1.51 2.66 3.02 5/254 35878
/proc/meminfo: memFree=129763708/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=85828 memory=41720 CPUtime=1.47 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 7922 0 0 0 143 4 0 0 20 0 1 0 38932185 87887872 10430 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 21457 10430 2272 1147 0 8884 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 90020 KiB
Current children cumulated memory: 44664 KiB

[startup+3.11255 s]
/proc/loadavg: 1.71 2.68 3.02 5/254 35878
/proc/meminfo: memFree=129411864/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=88948 memory=47332 CPUtime=3.07 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 8748 0 0 0 287 20 0 0 20 0 1 0 38932185 91082752 11833 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 22237 11833 2368 1147 0 9664 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 93140 KiB
Current children cumulated memory: 50276 KiB

[startup+6.30035 s]
/proc/loadavg: 1.71 2.68 3.02 5/254 35878
/proc/meminfo: memFree=129336496/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=117404 memory=74468 CPUtime=6.25 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 15010 0 0 0 547 78 0 0 20 0 1 0 38932185 120221696 18617 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 29351 18617 2368 1147 0 16778 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 121596 KiB
Current children cumulated memory: 77412 KiB

[startup+12.7003 s]
/proc/loadavg: 2.06 2.72 3.03 4/250 35920
/proc/meminfo: memFree=129304224/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=158256 memory=111720 CPUtime=12.63 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 23332 0 0 0 1136 127 0 0 20 0 1 0 38932185 162054144 27930 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 39564 27930 2400 1147 0 26991 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 162448 KiB
Current children cumulated memory: 114664 KiB

[startup+25.5004 s]
/proc/loadavg: 2.44 2.78 3.05 5/252 35975
/proc/meminfo: memFree=129130696/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=186200 memory=135712 CPUtime=25.39 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 27813 0 0 0 2241 298 0 0 20 0 1 0 38932185 190668800 33928 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 46550 33928 2400 1147 0 33977 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 190392 KiB
Current children cumulated memory: 138656 KiB

[startup+51.113 s]
/proc/loadavg: 3.16 2.93 3.09 5/255 36294
/proc/meminfo: memFree=128746188/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=407452 memory=326268 CPUtime=50.92 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 68312 0 0 0 4651 441 0 0 20 0 1 0 38932185 417230848 81567 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 101863 81567 2400 1147 0 89290 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 411644 KiB
Current children cumulated memory: 329212 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 3.10 3.14 5/250 37498
/proc/meminfo: memFree=128128504/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=561160 memory=492568 CPUtime=101.96 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 104076 0 0 0 9412 784 0 0 20 0 1 0 38932185 574627840 123142 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 140290 123142 2400 1147 0 127717 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 565352 KiB
Current children cumulated memory: 495512 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.29 3.21 5/255 37905
/proc/meminfo: memFree=127715324/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=882028 memory=746204 CPUtime=161.78 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 166265 0 0 0 14909 1269 0 0 20 0 1 0 38932185 903196672 186551 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 220507 186551 2400 1147 0 207934 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 886220 KiB
Current children cumulated memory: 749148 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.46 3.27 5/256 38004
/proc/meminfo: memFree=127358944/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=1264884 memory=1126628 CPUtime=221.62 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 235586 0 0 0 20761 1401 0 0 20 0 1 0 38932185 1295241216 281657 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 316221 281657 2400 1147 0 303648 0

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

/proc/loadavg: 4.11 4.12 4.09 5/254 38574
/proc/meminfo: memFree=116811988/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7296656 memory=6859336 CPUtime=3153.26 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1363138 0 0 0 311766 3560 0 0 20 0 1 0 38932185 7471775744 1714834 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1824164 1714834 2400 1147 0 1811591 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 7300848 KiB
Current children cumulated memory: 6862280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 38576
/proc/meminfo: memFree=116765404/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7296656 memory=6859336 CPUtime=3213.07 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1363656 0 0 0 317701 3606 0 0 20 0 1 0 38932185 7471775744 1714834 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1824164 1714834 2400 1147 0 1811591 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 7300848 KiB
Current children cumulated memory: 6862280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 38582
/proc/meminfo: memFree=116663348/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7296656 memory=6859464 CPUtime=3272.87 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1364077 0 0 0 323674 3613 0 0 20 0 1 0 38932185 7471775744 1714866 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1824164 1714866 2400 1147 0 1811591 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 7300848 KiB
Current children cumulated memory: 6862408 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 38584
/proc/meminfo: memFree=116667284/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7296656 memory=6859464 CPUtime=3332.68 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1364221 0 0 0 329650 3618 0 0 20 0 1 0 38932185 7471775744 1714866 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1824164 1714866 2400 1147 0 1811591 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 7300848 KiB
Current children cumulated memory: 6862408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 38586
/proc/meminfo: memFree=116585584/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7296656 memory=6859464 CPUtime=3392.48 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1364629 0 0 0 335627 3621 0 0 20 0 1 0 38932185 7471775744 1714866 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1824164 1714866 2400 1147 0 1811591 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 7300848 KiB
Current children cumulated memory: 6862408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 38588
/proc/meminfo: memFree=116391228/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7296656 memory=6859464 CPUtime=3452.29 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1365029 0 0 0 341604 3625 0 0 20 0 1 0 38932185 7471775744 1714866 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1824164 1714866 2400 1147 0 1811591 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 7300848 KiB
Current children cumulated memory: 6862408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 38590
/proc/meminfo: memFree=116341276/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7299388 memory=6861000 CPUtime=3512.08 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1365828 0 0 0 347561 3647 0 0 20 0 1 0 38932185 7474573312 1715250 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1824847 1715250 2400 1147 0 1812274 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 7303580 KiB
Current children cumulated memory: 6863944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/254 38592
/proc/meminfo: memFree=116210376/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7316672 memory=6872264 CPUtime=3571.89 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1369041 0 0 0 353511 3678 0 0 20 0 1 0 38932185 7492272128 1718066 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1829168 1718066 2400 1147 0 1816595 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 7320864 KiB
Current children cumulated memory: 6875208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 38592
/proc/meminfo: memFree=116066616/131382112 swapFree=33010684/33010684
[pid=35859] ppid=35850 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35859/stat : 35859 (run-dec.sh) S 35850 35859 35802 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38932184 4292608 736 18446744073709551615 94623626526720 94623627421253 140729536049296 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94623627660304 94623627708048 94623650836480 140729536055661 140729536055784 140729536055784 140729536061386 0
/proc/35859/statm: 1048 736 672 219 0 110 0
[pid=35861] ppid=35859 vsize=7325692 memory=6882680 CPUtime=3600 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35859 35859 35802 0 -1 4194304 1370720 0 0 0 356313 3687 0 0 20 0 1 0 38932185 7501508608 1720670 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1831423 1720670 2400 1147 0 1818850 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 7329884 KiB
Current children cumulated memory: 6885624 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.51 s]
# the end of solver process 35859 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002556 s, system=0.002835 s
Sleeping 2 seconds

[startup+3610.77 s]
# the end of solver process 35861 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3563.15 s, system=37.1242 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.61 s]*
/proc/loadavg: 4.11 4.11 4.09 7/253 38592
/proc/meminfo: memFree=117827232/131382112 swapFree=33010684/33010684
[pid=35861] ppid=35850 vsize=6383608 memory=4876980 CPUtime=3600.12 cores=4,6
/proc/35861/stat : 35861 (roundingsat) R 35850 35859 35802 0 -1 4194304 1370749 0 0 0 356315 3697 0 0 20 0 1 0 38932185 6536814592 1219245 18446744073709551615 4227072 8923433 140734325112608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21159936 140734325119415 140734325119528 140734325119528 140734325125098 0
/proc/35861/statm: 1595902 1219245 2464 1147 0 1583329 0
Current cumulated CPU time of completed processes: 0.005391 s
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 6383608 KiB
Current children cumulated memory: 4876980 KiB

[startup+3610.71 s]*
/proc/loadavg: 4.11 4.11 4.09 5/253 38592
/proc/meminfo: memFree=121824968/131382112 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.005391 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.77
CPU time (s): 3600.28
CPU user time (s): 3563.15
CPU system time (s): 37.1242
CPU usage (%): 99.7095
Max. virtual memory (cumulated for all children) (KiB): 7329884
Max. memory (cumulated for all children) (KiB): 6885624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.15
system time used= 37.1242
maximum resident set size= 6882936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1370968
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= 247
involuntary context switches= 4125


# summary of solver processes directly reported to runsolver:
#   pid: 35859,35861
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3563.15
#   total CPU system time (s): 37.1242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9328 second user time and 36.3306 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-06-29 23:28:50
IDJOB=4515310
IDBENCH=164400
IDSOLVER=3349
FILE ID=nodeC007/4515310-1751232530
RUNJOBID= nodeC007-1751232530-35816
SLURM_JOB_ID= 9587709
Free space on /tmp= 433012 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515310-1751232530/watcher-4515310-1751232530 -o /tmp/evaluation-result-4515310-1751232530/solver-4515310-1751232530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751232530-35816 --watchdog 3760  run-dec.sh HOME/instance-4515310-1751232530.opb

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=984989378

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129889592 kB
MemAvailable:   129902060 kB
Buffers:            3280 kB
Cached:           821792 kB
SwapCached:            0 kB
Active:           323512 kB
Inactive:         576480 kB
Active(anon):      92880 kB
Inactive(anon):        0 kB
Active(file):     230632 kB
Inactive(file):   576480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29160 kB
Writeback:             0 kB
AnonPages:         78332 kB
Mapped:           102228 kB
Shmem:             17960 kB
KReclaimable:      89964 kB
Slab:             172488 kB
SReclaimable:      89964 kB
SUnreclaim:        82524 kB
KernelStack:        3700 kB
PageTables:         2684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     341412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149224 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC007 at 2025-06-30 00:29:01