Trace number 4520297

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 NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.27 3616.03

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
MD5SUMf0f458c0649ba129d7d5b0a4b7bdfffa
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4563
Best CPU time to get the best result obtained on this benchmark0.099217
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9126
Total number of constraints1521
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints1482
Minimum length of a constraint6
Maximum length of a constraint18
Number of terms in the objective function 9126
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9126
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 9126
Number of bits of the biggest sum of numbers14
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.01/6.37	c #variables 9126 #constraints 1521
0.01/6.37	c objective is ce32 
0.01/6.39	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.01/6.39	c initial counting CF 32, 64, 128, Arb: 1483 , 0 , 0 , 0
0.01/6.39	c GLOBAL bounds - >= 0 @ 0.067641
0.01/6.41	c GLOBAL bounds - >= 0 @ 0.083629
262.93/270.03	c #Conflicts:       1000 | #Constraints:       2521
262.93/270.03	c #Conflicts:       2000 | #Constraints:       3521
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:       3000 | #Constraints:       3547
262.93/270.03	c #Conflicts:       4000 | #Constraints:       4547
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:       5000 | #Constraints:       3981
262.93/270.03	c #Conflicts:       6000 | #Constraints:       4981
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:       7000 | #Constraints:       3988
262.93/270.03	c #Conflicts:       8000 | #Constraints:       4988
262.93/270.03	c #Conflicts:       9000 | #Constraints:       5988
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      10000 | #Constraints:       4697
262.93/270.03	c #Conflicts:      11000 | #Constraints:       5697
262.93/270.03	c #Conflicts:      12000 | #Constraints:       6697
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      13000 | #Constraints:       5154
262.93/270.03	c #Conflicts:      14000 | #Constraints:       6154
262.93/270.03	c #Conflicts:      15000 | #Constraints:       7154
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      16000 | #Constraints:       5397
262.93/270.03	c #Conflicts:      17000 | #Constraints:       6397
262.93/270.03	c #Conflicts:      18000 | #Constraints:       7397
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      19000 | #Constraints:       5404
262.93/270.03	c #Conflicts:      20000 | #Constraints:       6404
262.93/270.03	c #Conflicts:      21000 | #Constraints:       7404
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      22000 | #Constraints:       5207
262.93/270.03	c #Conflicts:      23000 | #Constraints:       6207
262.93/270.03	c #Conflicts:      24000 | #Constraints:       7207
262.93/270.03	c #Conflicts:      25000 | #Constraints:       8207
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      26000 | #Constraints:       5783
262.93/270.03	c #Conflicts:      27000 | #Constraints:       6783
262.93/270.03	c #Conflicts:      28000 | #Constraints:       7783
262.93/270.03	c #Conflicts:      29000 | #Constraints:       8783
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      30000 | #Constraints:       6223
262.93/270.03	c #Conflicts:      31000 | #Constraints:       7223
262.93/270.03	c #Conflicts:      32000 | #Constraints:       8223
262.93/270.03	c #Conflicts:      33000 | #Constraints:       9223
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      34000 | #Constraints:       6448
262.93/270.03	c #Conflicts:      35000 | #Constraints:       7448
262.93/270.03	c #Conflicts:      36000 | #Constraints:       8448
262.93/270.03	c #Conflicts:      37000 | #Constraints:       9448
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      38000 | #Constraints:       6419
262.93/270.03	c #Conflicts:      39000 | #Constraints:       7419
262.93/270.03	c #Conflicts:      40000 | #Constraints:       8419
262.93/270.03	c #Conflicts:      41000 | #Constraints:       9419
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      42000 | #Constraints:       6235
262.93/270.03	c #Conflicts:      43000 | #Constraints:       7235
262.93/270.03	c #Conflicts:      44000 | #Constraints:       8235
262.93/270.03	c #Conflicts:      45000 | #Constraints:       9235
262.93/270.03	c #Conflicts:      46000 | #Constraints:      10235
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      47000 | #Constraints:       6861
262.93/270.03	c #Conflicts:      48000 | #Constraints:       7861
262.93/270.03	c #Conflicts:      49000 | #Constraints:       8861
262.93/270.03	c #Conflicts:      50000 | #Constraints:       9861
262.93/270.03	c #Conflicts:      51000 | #Constraints:      10861
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      52000 | #Constraints:       7236
262.93/270.03	c #Conflicts:      53000 | #Constraints:       8236
262.93/270.03	c #Conflicts:      54000 | #Constraints:       9236
262.93/270.03	c #Conflicts:      55000 | #Constraints:      10236
262.93/270.03	c #Conflicts:      56000 | #Constraints:      11236
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      57000 | #Constraints:       7443
262.93/270.03	c #Conflicts:      58000 | #Constraints:       8443
262.93/270.03	c #Conflicts:      59000 | #Constraints:       9443
262.93/270.03	c #Conflicts:      60000 | #Constraints:      10443
262.93/270.03	c #Conflicts:      61000 | #Constraints:      11443
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      62000 | #Constraints:       7437
262.93/270.03	c #Conflicts:      63000 | #Constraints:       8437
262.93/270.03	c #Conflicts:      64000 | #Constraints:       9437
262.93/270.03	c #Conflicts:      65000 | #Constraints:      10437
262.93/270.03	c #Conflicts:      66000 | #Constraints:      11437
262.93/270.03	c INPROCESSING
262.93/270.03	c GARBAGE COLLECT
262.93/270.03	c #Conflicts:      67000 | #Constraints:       7231
262.93/270.03	c #Conflicts:      68000 | #Constraints:       8231
567.34/575.39	c #Conflicts:      69000 | #Constraints:       9231
567.34/575.39	c #Conflicts:      70000 | #Constraints:      10231
567.34/575.39	c #Conflicts:      71000 | #Constraints:      11231
567.34/575.39	c #Conflicts:      72000 | #Constraints:      12231
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:      73000 | #Constraints:       7810
567.34/575.39	c #Conflicts:      74000 | #Constraints:       8810
567.34/575.39	c #Conflicts:      75000 | #Constraints:       9810
567.34/575.39	c #Conflicts:      76000 | #Constraints:      10810
567.34/575.39	c #Conflicts:      77000 | #Constraints:      11810
567.34/575.39	c #Conflicts:      78000 | #Constraints:      12810
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:      79000 | #Constraints:       8223
567.34/575.39	c #Conflicts:      80000 | #Constraints:       9223
567.34/575.39	c #Conflicts:      81000 | #Constraints:      10223
567.34/575.39	c #Conflicts:      82000 | #Constraints:      11223
567.34/575.39	c #Conflicts:      83000 | #Constraints:      12223
567.34/575.39	c #Conflicts:      84000 | #Constraints:      13223
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:      85000 | #Constraints:       8438
567.34/575.39	c #Conflicts:      86000 | #Constraints:       9438
567.34/575.39	c #Conflicts:      87000 | #Constraints:      10438
567.34/575.39	c #Conflicts:      88000 | #Constraints:      11438
567.34/575.39	c #Conflicts:      89000 | #Constraints:      12438
567.34/575.39	c #Conflicts:      90000 | #Constraints:      13438
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:      91000 | #Constraints:       8457
567.34/575.39	c #Conflicts:      92000 | #Constraints:       9457
567.34/575.39	c #Conflicts:      93000 | #Constraints:      10457
567.34/575.39	c #Conflicts:      94000 | #Constraints:      11457
567.34/575.39	c #Conflicts:      95000 | #Constraints:      12457
567.34/575.39	c #Conflicts:      96000 | #Constraints:      13457
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:      97000 | #Constraints:       8239
567.34/575.39	c #Conflicts:      98000 | #Constraints:       9239
567.34/575.39	c #Conflicts:      99000 | #Constraints:      10239
567.34/575.39	c #Conflicts:     100000 | #Constraints:      11239
567.34/575.39	c #Conflicts:     101000 | #Constraints:      12239
567.34/575.39	c #Conflicts:     102000 | #Constraints:      13239
567.34/575.39	c #Conflicts:     103000 | #Constraints:      14239
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:     104000 | #Constraints:       8838
567.34/575.39	c #Conflicts:     105000 | #Constraints:       9838
567.34/575.39	c #Conflicts:     106000 | #Constraints:      10838
567.34/575.39	c #Conflicts:     107000 | #Constraints:      11838
567.34/575.39	c #Conflicts:     108000 | #Constraints:      12838
567.34/575.39	c #Conflicts:     109000 | #Constraints:      13838
567.34/575.39	c #Conflicts:     110000 | #Constraints:      14838
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:     111000 | #Constraints:       9240
567.34/575.39	c #Conflicts:     112000 | #Constraints:      10240
567.34/575.39	c #Conflicts:     113000 | #Constraints:      11240
567.34/575.39	c #Conflicts:     114000 | #Constraints:      12240
567.34/575.39	c #Conflicts:     115000 | #Constraints:      13240
567.34/575.39	c #Conflicts:     116000 | #Constraints:      14240
567.34/575.39	c #Conflicts:     117000 | #Constraints:      15240
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:     118000 | #Constraints:       9475
567.34/575.39	c #Conflicts:     119000 | #Constraints:      10475
567.34/575.39	c #Conflicts:     120000 | #Constraints:      11475
567.34/575.39	c #Conflicts:     121000 | #Constraints:      12475
567.34/575.39	c #Conflicts:     122000 | #Constraints:      13475
567.34/575.39	c #Conflicts:     123000 | #Constraints:      14475
567.34/575.39	c #Conflicts:     124000 | #Constraints:      15475
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:     125000 | #Constraints:       9482
567.34/575.39	c #Conflicts:     126000 | #Constraints:      10482
567.34/575.39	c #Conflicts:     127000 | #Constraints:      11482
567.34/575.39	c #Conflicts:     128000 | #Constraints:      12482
567.34/575.39	c #Conflicts:     129000 | #Constraints:      13482
567.34/575.39	c #Conflicts:     130000 | #Constraints:      14482
567.34/575.39	c #Conflicts:     131000 | #Constraints:      15482
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:     132000 | #Constraints:       9294
567.34/575.39	c #Conflicts:     133000 | #Constraints:      10294
567.34/575.39	c #Conflicts:     134000 | #Constraints:      11294
567.34/575.39	c #Conflicts:     135000 | #Constraints:      12294
567.34/575.39	c #Conflicts:     136000 | #Constraints:      13294
567.34/575.39	c #Conflicts:     137000 | #Constraints:      14294
567.34/575.39	c #Conflicts:     138000 | #Constraints:      15294
567.34/575.39	c #Conflicts:     139000 | #Constraints:      16294
567.34/575.39	c INPROCESSING
567.34/575.39	c GARBAGE COLLECT
567.34/575.39	c #Conflicts:     140000 | #Constraints:       9899
835.99/844.74	c #Conflicts:     141000 | #Constraints:      10899
835.99/844.74	c #Conflicts:     142000 | #Constraints:      11899
835.99/844.74	c #Conflicts:     143000 | #Constraints:      12899
835.99/844.74	c #Conflicts:     144000 | #Constraints:      13899
835.99/844.74	c #Conflicts:     145000 | #Constraints:      14899
835.99/844.74	c #Conflicts:     146000 | #Constraints:      15899
835.99/844.74	c #Conflicts:     147000 | #Constraints:      16899
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     148000 | #Constraints:      10292
835.99/844.74	c #Conflicts:     149000 | #Constraints:      11292
835.99/844.74	c #Conflicts:     150000 | #Constraints:      12292
835.99/844.74	c #Conflicts:     151000 | #Constraints:      13292
835.99/844.74	c #Conflicts:     152000 | #Constraints:      14292
835.99/844.74	c #Conflicts:     153000 | #Constraints:      15292
835.99/844.74	c #Conflicts:     154000 | #Constraints:      16292
835.99/844.74	c #Conflicts:     155000 | #Constraints:      17292
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     156000 | #Constraints:      10497
835.99/844.74	c #Conflicts:     157000 | #Constraints:      11497
835.99/844.74	c #Conflicts:     158000 | #Constraints:      12497
835.99/844.74	c #Conflicts:     159000 | #Constraints:      13497
835.99/844.74	c #Conflicts:     160000 | #Constraints:      14497
835.99/844.74	c #Conflicts:     161000 | #Constraints:      15497
835.99/844.74	c #Conflicts:     162000 | #Constraints:      16497
835.99/844.74	c #Conflicts:     163000 | #Constraints:      17497
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     164000 | #Constraints:      10502
835.99/844.74	c #Conflicts:     165000 | #Constraints:      11502
835.99/844.74	c #Conflicts:     166000 | #Constraints:      12502
835.99/844.74	c #Conflicts:     167000 | #Constraints:      13502
835.99/844.74	c #Conflicts:     168000 | #Constraints:      14502
835.99/844.74	c #Conflicts:     169000 | #Constraints:      15502
835.99/844.74	c #Conflicts:     170000 | #Constraints:      16502
835.99/844.74	c #Conflicts:     171000 | #Constraints:      17502
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     172000 | #Constraints:      10277
835.99/844.74	c #Conflicts:     173000 | #Constraints:      11277
835.99/844.74	c #Conflicts:     174000 | #Constraints:      12277
835.99/844.74	c #Conflicts:     175000 | #Constraints:      13277
835.99/844.74	c #Conflicts:     176000 | #Constraints:      14277
835.99/844.74	c #Conflicts:     177000 | #Constraints:      15277
835.99/844.74	c #Conflicts:     178000 | #Constraints:      16277
835.99/844.74	c #Conflicts:     179000 | #Constraints:      17277
835.99/844.74	c #Conflicts:     180000 | #Constraints:      18277
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     181000 | #Constraints:      10889
835.99/844.74	c #Conflicts:     182000 | #Constraints:      11889
835.99/844.74	c #Conflicts:     183000 | #Constraints:      12889
835.99/844.74	c #Conflicts:     184000 | #Constraints:      13889
835.99/844.74	c #Conflicts:     185000 | #Constraints:      14889
835.99/844.74	c #Conflicts:     186000 | #Constraints:      15889
835.99/844.74	c #Conflicts:     187000 | #Constraints:      16889
835.99/844.74	c #Conflicts:     188000 | #Constraints:      17889
835.99/844.74	c #Conflicts:     189000 | #Constraints:      18889
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     190000 | #Constraints:      11254
835.99/844.74	c #Conflicts:     191000 | #Constraints:      12254
835.99/844.74	c #Conflicts:     192000 | #Constraints:      13254
835.99/844.74	c #Conflicts:     193000 | #Constraints:      14254
835.99/844.74	c #Conflicts:     194000 | #Constraints:      15254
835.99/844.74	c #Conflicts:     195000 | #Constraints:      16254
835.99/844.74	c #Conflicts:     196000 | #Constraints:      17254
835.99/844.74	c #Conflicts:     197000 | #Constraints:      18254
835.99/844.74	c #Conflicts:     198000 | #Constraints:      19254
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     199000 | #Constraints:      11483
835.99/844.74	c #Conflicts:     200000 | #Constraints:      12483
835.99/844.74	c #Conflicts:     201000 | #Constraints:      13483
835.99/844.74	c #Conflicts:     202000 | #Constraints:      14483
835.99/844.74	c #Conflicts:     203000 | #Constraints:      15483
835.99/844.74	c #Conflicts:     204000 | #Constraints:      16483
835.99/844.74	c #Conflicts:     205000 | #Constraints:      17483
835.99/844.74	c #Conflicts:     206000 | #Constraints:      18483
835.99/844.74	c #Conflicts:     207000 | #Constraints:      19483
835.99/844.74	c INPROCESSING
835.99/844.74	c GARBAGE COLLECT
835.99/844.74	c #Conflicts:     208000 | #Constraints:      11458
835.99/844.74	c #Conflicts:     209000 | #Constraints:      12458
835.99/844.74	c #Conflicts:     210000 | #Constraints:      13458
835.99/844.74	c #Conflicts:     211000 | #Constraints:      14458
835.99/844.74	c #Conflicts:     212000 | #Constraints:      15458
835.99/844.74	c #Conflicts:     213000 | #Constraints:      16458
1175.75/1185.49	c #Conflicts:     214000 | #Constraints:      17458
1175.75/1185.49	c #Conflicts:     215000 | #Constraints:      18458
1175.75/1185.49	c #Conflicts:     216000 | #Constraints:      19458
1175.75/1185.49	c INPROCESSING
1175.75/1185.49	c GARBAGE COLLECT
1175.75/1185.49	c #Conflicts:     217000 | #Constraints:      11287
1175.75/1185.49	c #Conflicts:     218000 | #Constraints:      12287
1175.75/1185.49	c #Conflicts:     219000 | #Constraints:      13287
1175.75/1185.49	c #Conflicts:     220000 | #Constraints:      14287
1175.75/1185.49	c #Conflicts:     221000 | #Constraints:      15287
1175.75/1185.49	c #Conflicts:     222000 | #Constraints:      16287
1175.75/1185.49	c #Conflicts:     223000 | #Constraints:      17287
1175.75/1185.49	c #Conflicts:     224000 | #Constraints:      18287
1175.75/1185.49	c #Conflicts:     225000 | #Constraints:      19287
1175.75/1185.49	c #Conflicts:     226000 | #Constraints:      20287
1175.75/1185.49	c INPROCESSING
1175.75/1185.49	c GARBAGE COLLECT
1175.75/1185.49	c #Conflicts:     227000 | #Constraints:      11904
1175.75/1185.49	c #Conflicts:     228000 | #Constraints:      12904
1175.75/1185.49	c #Conflicts:     229000 | #Constraints:      13904
1175.75/1185.49	c #Conflicts:     230000 | #Constraints:      14904
1175.75/1185.49	c #Conflicts:     231000 | #Constraints:      15904
1175.75/1185.49	c #Conflicts:     232000 | #Constraints:      16904
1175.75/1185.49	c #Conflicts:     233000 | #Constraints:      17904
1175.75/1185.49	c #Conflicts:     234000 | #Constraints:      18904
1175.75/1185.49	c #Conflicts:     235000 | #Constraints:      19904
1175.75/1185.49	c #Conflicts:     236000 | #Constraints:      20904
1175.75/1185.49	c INPROCESSING
1175.75/1185.49	c GARBAGE COLLECT
1175.75/1185.49	c #Conflicts:     237000 | #Constraints:      12302
1175.75/1185.49	c #Conflicts:     238000 | #Constraints:      13302
1175.75/1185.49	c #Conflicts:     239000 | #Constraints:      14302
1175.75/1185.49	c #Conflicts:     240000 | #Constraints:      15302
1175.75/1185.49	c #Conflicts:     241000 | #Constraints:      16302
1175.75/1185.49	c #Conflicts:     242000 | #Constraints:      17302
1175.75/1185.49	c #Conflicts:     243000 | #Constraints:      18302
1175.75/1185.49	c #Conflicts:     244000 | #Constraints:      19302
1175.75/1185.49	c #Conflicts:     245000 | #Constraints:      20302
1175.75/1185.49	c #Conflicts:     246000 | #Constraints:      21302
1175.75/1185.49	c INPROCESSING
1175.75/1185.49	c GARBAGE COLLECT
1175.75/1185.49	c #Conflicts:     247000 | #Constraints:      12493
1175.75/1185.49	c #Conflicts:     248000 | #Constraints:      13493
1175.75/1185.49	c #Conflicts:     249000 | #Constraints:      14493
1175.75/1185.49	c #Conflicts:     250000 | #Constraints:      15493
1175.75/1185.49	c #Conflicts:     251000 | #Constraints:      16493
1175.75/1185.49	c #Conflicts:     252000 | #Constraints:      17493
1175.75/1185.49	c #Conflicts:     253000 | #Constraints:      18493
1175.75/1185.49	c #Conflicts:     254000 | #Constraints:      19493
1175.75/1185.49	c #Conflicts:     255000 | #Constraints:      20493
1175.75/1185.49	c #Conflicts:     256000 | #Constraints:      21493
1175.75/1185.49	c INPROCESSING
1175.75/1185.49	c GARBAGE COLLECT
1175.75/1185.49	c #Conflicts:     257000 | #Constraints:      12484
1175.75/1185.49	c #Conflicts:     258000 | #Constraints:      13484
1175.75/1185.49	c #Conflicts:     259000 | #Constraints:      14484
1175.75/1185.49	c #Conflicts:     260000 | #Constraints:      15484
1175.75/1185.49	c #Conflicts:     261000 | #Constraints:      16484
1175.75/1185.49	c #Conflicts:     262000 | #Constraints:      17484
1175.75/1185.49	c #Conflicts:     263000 | #Constraints:      18484
1175.75/1185.49	c #Conflicts:     264000 | #Constraints:      19484
1175.75/1185.49	c #Conflicts:     265000 | #Constraints:      20484
1175.75/1185.49	c #Conflicts:     266000 | #Constraints:      21484
1175.75/1185.49	c INPROCESSING
1175.75/1185.49	c GARBAGE COLLECT
1175.75/1185.49	c #Conflicts:     267000 | #Constraints:      12289
1175.75/1185.49	c #Conflicts:     268000 | #Constraints:      13289
1175.75/1185.49	c #Conflicts:     269000 | #Constraints:      14289
1175.75/1185.49	c #Conflicts:     270000 | #Constraints:      15289
1175.75/1185.49	c #Conflicts:     271000 | #Constraints:      16289
1175.75/1185.49	c #Conflicts:     272000 | #Constraints:      17289
1175.75/1185.49	c #Conflicts:     273000 | #Constraints:      18289
1175.75/1185.49	c #Conflicts:     274000 | #Constraints:      19289
1175.75/1185.49	c #Conflicts:     275000 | #Constraints:      20289
1175.75/1185.49	c #Conflicts:     276000 | #Constraints:      21289
1175.75/1185.49	c #Conflicts:     277000 | #Constraints:      22289
1175.75/1185.49	c INPROCESSING
1175.75/1185.49	c GARBAGE COLLECT
1175.75/1185.49	c #Conflicts:     278000 | #Constraints:      12914
1175.75/1185.49	c #Conflicts:     279000 | #Constraints:      13914
1175.75/1185.49	c #Conflicts:     280000 | #Constraints:      14914
1175.75/1185.49	c #Conflicts:     281000 | #Constraints:      15914
1175.75/1185.49	c #Conflicts:     282000 | #Constraints:      16914
1175.75/1185.49	c #Conflicts:     283000 | #Constraints:      17914
1175.75/1185.49	c #Conflicts:     284000 | #Constraints:      18914
1175.75/1185.49	c #Conflicts:     285000 | #Constraints:      19914
1175.75/1185.49	c #Conflicts:     286000 | #Constraints:      20914
1175.75/1185.49	c #Conflicts:     287000 | #Constraints:      21914
1175.75/1185.49	c #Conflicts:     288000 | #Constraints:      22914
1542.23/1552.96	c INPROCESSING
1542.23/1552.96	c GARBAGE COLLECT
1542.23/1552.96	c #Conflicts:     289000 | #Constraints:      13284
1542.23/1552.96	c #Conflicts:     290000 | #Constraints:      14284
1542.23/1552.96	c #Conflicts:     291000 | #Constraints:      15284
1542.23/1552.96	c #Conflicts:     292000 | #Constraints:      16284
1542.23/1552.96	c #Conflicts:     293000 | #Constraints:      17284
1542.23/1552.96	c #Conflicts:     294000 | #Constraints:      18284
1542.23/1552.96	c #Conflicts:     295000 | #Constraints:      19284
1542.23/1552.96	c #Conflicts:     296000 | #Constraints:      20284
1542.23/1552.96	c #Conflicts:     297000 | #Constraints:      21284
1542.23/1552.96	c #Conflicts:     298000 | #Constraints:      22284
1542.23/1552.96	c #Conflicts:     299000 | #Constraints:      23284
1542.23/1552.96	c INPROCESSING
1542.23/1552.96	c GARBAGE COLLECT
1542.23/1552.96	c #Conflicts:     300000 | #Constraints:      13476
1542.23/1552.96	c #Conflicts:     301000 | #Constraints:      14476
1542.23/1552.96	c #Conflicts:     302000 | #Constraints:      15476
1542.23/1552.96	c #Conflicts:     303000 | #Constraints:      16476
1542.23/1552.96	c #Conflicts:     304000 | #Constraints:      17476
1542.23/1552.96	c #Conflicts:     305000 | #Constraints:      18476
1542.23/1552.96	c #Conflicts:     306000 | #Constraints:      19476
1542.23/1552.96	c #Conflicts:     307000 | #Constraints:      20476
1542.23/1552.96	c #Conflicts:     308000 | #Constraints:      21476
1542.23/1552.96	c #Conflicts:     309000 | #Constraints:      22476
1542.23/1552.96	c #Conflicts:     310000 | #Constraints:      23476
1542.23/1552.96	c INPROCESSING
1542.23/1552.96	c GARBAGE COLLECT
1542.23/1552.96	c #Conflicts:     311000 | #Constraints:      13504
1542.23/1552.96	c #Conflicts:     312000 | #Constraints:      14504
1542.23/1552.96	c #Conflicts:     313000 | #Constraints:      15504
1542.23/1552.96	c #Conflicts:     314000 | #Constraints:      16504
1542.23/1552.96	c #Conflicts:     315000 | #Constraints:      17504
1542.23/1552.96	c #Conflicts:     316000 | #Constraints:      18504
1542.23/1552.96	c #Conflicts:     317000 | #Constraints:      19504
1542.23/1552.96	c #Conflicts:     318000 | #Constraints:      20504
1542.23/1552.96	c #Conflicts:     319000 | #Constraints:      21504
1542.23/1552.96	c #Conflicts:     320000 | #Constraints:      22504
1542.23/1552.96	c #Conflicts:     321000 | #Constraints:      23504
1542.23/1552.96	c INPROCESSING
1542.23/1552.96	c GARBAGE COLLECT
1542.23/1552.96	c #Conflicts:     322000 | #Constraints:      13342
1542.23/1552.96	c #Conflicts:     323000 | #Constraints:      14342
1542.23/1552.96	c #Conflicts:     324000 | #Constraints:      15342
1542.23/1552.96	c #Conflicts:     325000 | #Constraints:      16342
1542.23/1552.96	c #Conflicts:     326000 | #Constraints:      17342
1542.23/1552.96	c #Conflicts:     327000 | #Constraints:      18342
1542.23/1552.96	c #Conflicts:     328000 | #Constraints:      19342
1542.23/1552.96	c #Conflicts:     329000 | #Constraints:      20342
1542.23/1552.96	c #Conflicts:     330000 | #Constraints:      21342
1542.23/1552.96	c #Conflicts:     331000 | #Constraints:      22342
1542.23/1552.96	c #Conflicts:     332000 | #Constraints:      23342
1542.23/1552.96	c #Conflicts:     333000 | #Constraints:      24342
1542.23/1552.96	c INPROCESSING
1542.23/1552.96	c GARBAGE COLLECT
1542.23/1552.96	c #Conflicts:     334000 | #Constraints:      13955
1542.23/1552.96	c #Conflicts:     335000 | #Constraints:      14955
1542.23/1552.96	c #Conflicts:     336000 | #Constraints:      15955
1542.23/1552.96	c #Conflicts:     337000 | #Constraints:      16955
1542.23/1552.96	c #Conflicts:     338000 | #Constraints:      17955
1542.23/1552.96	c #Conflicts:     339000 | #Constraints:      18955
1542.23/1552.96	c #Conflicts:     340000 | #Constraints:      19955
1542.23/1552.96	c #Conflicts:     341000 | #Constraints:      20955
1542.23/1552.96	c #Conflicts:     342000 | #Constraints:      21955
1542.23/1552.96	c #Conflicts:     343000 | #Constraints:      22955
1542.23/1552.96	c #Conflicts:     344000 | #Constraints:      23955
1542.23/1552.96	c #Conflicts:     345000 | #Constraints:      24955
1542.23/1552.96	c INPROCESSING
1542.23/1552.96	c GARBAGE COLLECT
1542.23/1552.96	c #Conflicts:     346000 | #Constraints:      14340
1542.23/1552.96	c #Conflicts:     347000 | #Constraints:      15340
1542.23/1552.96	c #Conflicts:     348000 | #Constraints:      16340
1542.23/1552.96	c #Conflicts:     349000 | #Constraints:      17340
1542.23/1552.96	c #Conflicts:     350000 | #Constraints:      18340
1542.23/1552.96	c #Conflicts:     351000 | #Constraints:      19340
1542.23/1552.96	c #Conflicts:     352000 | #Constraints:      20340
1542.23/1552.96	c #Conflicts:     353000 | #Constraints:      21340
1542.23/1552.96	c #Conflicts:     354000 | #Constraints:      22340
1542.23/1552.96	c #Conflicts:     355000 | #Constraints:      23340
1542.23/1552.96	c #Conflicts:     356000 | #Constraints:      24340
1542.23/1552.96	c #Conflicts:     357000 | #Constraints:      25340
1542.23/1552.96	c INPROCESSING
1542.23/1552.96	c GARBAGE COLLECT
1542.23/1552.96	c #Conflicts:     358000 | #Constraints:      14509
1542.23/1552.96	c #Conflicts:     359000 | #Constraints:      15509
1542.23/1552.96	c #Conflicts:     360000 | #Constraints:      16509
1542.23/1552.96	c #Conflicts:     361000 | #Constraints:      17509
1542.23/1552.96	c #Conflicts:     362000 | #Constraints:      18509
1955.19/1966.98	c #Conflicts:     363000 | #Constraints:      19509
1955.19/1966.98	c #Conflicts:     364000 | #Constraints:      20509
1955.19/1966.98	c #Conflicts:     365000 | #Constraints:      21509
1955.19/1966.98	c #Conflicts:     366000 | #Constraints:      22509
1955.19/1966.98	c #Conflicts:     367000 | #Constraints:      23509
1955.19/1966.98	c #Conflicts:     368000 | #Constraints:      24509
1955.19/1966.98	c #Conflicts:     369000 | #Constraints:      25509
1955.19/1966.98	c INPROCESSING
1955.19/1966.98	c GARBAGE COLLECT
1955.19/1966.98	c #Conflicts:     370000 | #Constraints:      14547
1955.19/1966.98	c #Conflicts:     371000 | #Constraints:      15547
1955.19/1966.98	c #Conflicts:     372000 | #Constraints:      16547
1955.19/1966.98	c #Conflicts:     373000 | #Constraints:      17547
1955.19/1966.98	c #Conflicts:     374000 | #Constraints:      18547
1955.19/1966.98	c #Conflicts:     375000 | #Constraints:      19547
1955.19/1966.98	c #Conflicts:     376000 | #Constraints:      20547
1955.19/1966.98	c #Conflicts:     377000 | #Constraints:      21547
1955.19/1966.98	c #Conflicts:     378000 | #Constraints:      22547
1955.19/1966.98	c #Conflicts:     379000 | #Constraints:      23547
1955.19/1966.98	c #Conflicts:     380000 | #Constraints:      24547
1955.19/1966.98	c #Conflicts:     381000 | #Constraints:      25547
1955.19/1966.98	c INPROCESSING
1955.19/1966.98	c GARBAGE COLLECT
1955.19/1966.98	c #Conflicts:     382000 | #Constraints:      14365
1955.19/1966.98	c #Conflicts:     383000 | #Constraints:      15365
1955.19/1966.98	c #Conflicts:     384000 | #Constraints:      16365
1955.19/1966.98	c #Conflicts:     385000 | #Constraints:      17365
1955.19/1966.98	c #Conflicts:     386000 | #Constraints:      18365
1955.19/1966.98	c #Conflicts:     387000 | #Constraints:      19365
1955.19/1966.98	c #Conflicts:     388000 | #Constraints:      20365
1955.19/1966.98	c #Conflicts:     389000 | #Constraints:      21365
1955.19/1966.98	c #Conflicts:     390000 | #Constraints:      22365
1955.19/1966.98	c #Conflicts:     391000 | #Constraints:      23365
1955.19/1966.98	c #Conflicts:     392000 | #Constraints:      24365
1955.19/1966.98	c #Conflicts:     393000 | #Constraints:      25365
1955.19/1966.98	c #Conflicts:     394000 | #Constraints:      26365
1955.19/1966.98	c INPROCESSING
1955.19/1966.98	c GARBAGE COLLECT
1955.19/1966.98	c #Conflicts:     395000 | #Constraints:      14944
1955.19/1966.98	c #Conflicts:     396000 | #Constraints:      15944
1955.19/1966.98	c #Conflicts:     397000 | #Constraints:      16944
1955.19/1966.98	c #Conflicts:     398000 | #Constraints:      17944
1955.19/1966.98	c #Conflicts:     399000 | #Constraints:      18944
1955.19/1966.98	c #Conflicts:     400000 | #Constraints:      19944
1955.19/1966.98	c #Conflicts:     401000 | #Constraints:      20944
1955.19/1966.98	c #Conflicts:     402000 | #Constraints:      21944
1955.19/1966.98	c #Conflicts:     403000 | #Constraints:      22944
1955.19/1966.98	c #Conflicts:     404000 | #Constraints:      23944
1955.19/1966.98	c #Conflicts:     405000 | #Constraints:      24944
1955.19/1966.98	c #Conflicts:     406000 | #Constraints:      25944
1955.19/1966.98	c #Conflicts:     407000 | #Constraints:      26944
1955.19/1966.98	c INPROCESSING
1955.19/1966.98	c GARBAGE COLLECT
1955.19/1966.98	c #Conflicts:     408000 | #Constraints:      15378
1955.19/1966.98	c #Conflicts:     409000 | #Constraints:      16378
1955.19/1966.98	c #Conflicts:     410000 | #Constraints:      17378
1955.19/1966.98	c #Conflicts:     411000 | #Constraints:      18378
1955.19/1966.98	c #Conflicts:     412000 | #Constraints:      19378
1955.19/1966.98	c #Conflicts:     413000 | #Constraints:      20378
1955.19/1966.98	c #Conflicts:     414000 | #Constraints:      21378
1955.19/1966.98	c #Conflicts:     415000 | #Constraints:      22378
1955.19/1966.98	c #Conflicts:     416000 | #Constraints:      23378
1955.19/1966.98	c #Conflicts:     417000 | #Constraints:      24378
1955.19/1966.98	c #Conflicts:     418000 | #Constraints:      25378
1955.19/1966.98	c #Conflicts:     419000 | #Constraints:      26378
1955.19/1966.98	c #Conflicts:     420000 | #Constraints:      27378
1955.19/1966.98	c INPROCESSING
1955.19/1966.98	c GARBAGE COLLECT
1955.19/1966.98	c #Conflicts:     421000 | #Constraints:      15565
1955.19/1966.98	c #Conflicts:     422000 | #Constraints:      16565
1955.19/1966.98	c #Conflicts:     423000 | #Constraints:      17565
1955.19/1966.98	c #Conflicts:     424000 | #Constraints:      18565
1955.19/1966.98	c #Conflicts:     425000 | #Constraints:      19565
1955.19/1966.98	c #Conflicts:     426000 | #Constraints:      20565
1955.19/1966.98	c #Conflicts:     427000 | #Constraints:      21565
1955.19/1966.98	c #Conflicts:     428000 | #Constraints:      22565
1955.19/1966.98	c #Conflicts:     429000 | #Constraints:      23565
1955.19/1966.98	c #Conflicts:     430000 | #Constraints:      24565
1955.19/1966.98	c #Conflicts:     431000 | #Constraints:      25565
1955.19/1966.98	c #Conflicts:     432000 | #Constraints:      26565
1955.19/1966.98	c #Conflicts:     433000 | #Constraints:      27565
1955.19/1966.98	c INPROCESSING
1955.19/1966.98	c GARBAGE COLLECT
1955.19/1966.98	c #Conflicts:     434000 | #Constraints:      15499
1955.19/1966.98	c #Conflicts:     435000 | #Constraints:      16499
1955.19/1966.98	c #Conflicts:     436000 | #Constraints:      17499
1955.19/1966.98	c #Conflicts:     437000 | #Constraints:      18499
2236.38/2248.82	c #Conflicts:     438000 | #Constraints:      19499
2236.38/2248.82	c #Conflicts:     439000 | #Constraints:      20499
2236.38/2248.82	c #Conflicts:     440000 | #Constraints:      21499
2236.38/2248.82	c #Conflicts:     441000 | #Constraints:      22499
2236.38/2248.82	c #Conflicts:     442000 | #Constraints:      23499
2236.38/2248.82	c #Conflicts:     443000 | #Constraints:      24499
2236.38/2248.82	c #Conflicts:     444000 | #Constraints:      25499
2236.38/2248.82	c #Conflicts:     445000 | #Constraints:      26499
2236.38/2248.82	c #Conflicts:     446000 | #Constraints:      27499
2236.38/2248.82	c INPROCESSING
2236.38/2248.82	c GARBAGE COLLECT
2236.38/2248.82	c #Conflicts:     447000 | #Constraints:      15317
2236.38/2248.82	c #Conflicts:     448000 | #Constraints:      16317
2236.38/2248.82	c #Conflicts:     449000 | #Constraints:      17317
2236.38/2248.82	c #Conflicts:     450000 | #Constraints:      18317
2236.38/2248.82	c #Conflicts:     451000 | #Constraints:      19317
2236.38/2248.82	c #Conflicts:     452000 | #Constraints:      20317
2236.38/2248.82	c #Conflicts:     453000 | #Constraints:      21317
2236.38/2248.82	c #Conflicts:     454000 | #Constraints:      22317
2236.38/2248.82	c #Conflicts:     455000 | #Constraints:      23317
2236.38/2248.82	c #Conflicts:     456000 | #Constraints:      24317
2236.38/2248.82	c #Conflicts:     457000 | #Constraints:      25317
2236.38/2248.82	c #Conflicts:     458000 | #Constraints:      26317
2236.38/2248.82	c #Conflicts:     459000 | #Constraints:      27317
2236.38/2248.82	c #Conflicts:     460000 | #Constraints:      28317
2236.38/2248.82	c INPROCESSING
2236.38/2248.82	c GARBAGE COLLECT
2236.38/2248.82	c #Conflicts:     461000 | #Constraints:      15925
2236.38/2248.82	c #Conflicts:     462000 | #Constraints:      16925
2236.38/2248.82	c #Conflicts:     463000 | #Constraints:      17925
2236.38/2248.82	c #Conflicts:     464000 | #Constraints:      18925
2236.38/2248.82	c #Conflicts:     465000 | #Constraints:      19925
2236.38/2248.82	c #Conflicts:     466000 | #Constraints:      20925
2236.38/2248.82	c #Conflicts:     467000 | #Constraints:      21925
2236.38/2248.82	c #Conflicts:     468000 | #Constraints:      22925
2236.38/2248.82	c #Conflicts:     469000 | #Constraints:      23925
2236.38/2248.82	c #Conflicts:     470000 | #Constraints:      24925
2236.38/2248.82	c #Conflicts:     471000 | #Constraints:      25925
2236.38/2248.82	c #Conflicts:     472000 | #Constraints:      26925
2236.38/2248.82	c #Conflicts:     473000 | #Constraints:      27925
2236.38/2248.82	c #Conflicts:     474000 | #Constraints:      28925
2236.38/2248.82	c INPROCESSING
2236.38/2248.82	c GARBAGE COLLECT
2236.38/2248.82	c #Conflicts:     475000 | #Constraints:      16347
2236.38/2248.82	c #Conflicts:     476000 | #Constraints:      17347
2236.38/2248.82	c #Conflicts:     477000 | #Constraints:      18347
2236.38/2248.82	c #Conflicts:     478000 | #Constraints:      19347
2236.38/2248.82	c #Conflicts:     479000 | #Constraints:      20347
2236.38/2248.82	c #Conflicts:     480000 | #Constraints:      21347
2236.38/2248.82	c #Conflicts:     481000 | #Constraints:      22347
2236.38/2248.82	c #Conflicts:     482000 | #Constraints:      23347
2236.38/2248.82	c #Conflicts:     483000 | #Constraints:      24347
2236.38/2248.82	c #Conflicts:     484000 | #Constraints:      25347
2236.38/2248.82	c #Conflicts:     485000 | #Constraints:      26347
2236.38/2248.82	c #Conflicts:     486000 | #Constraints:      27347
2236.38/2248.82	c #Conflicts:     487000 | #Constraints:      28347
2236.38/2248.82	c #Conflicts:     488000 | #Constraints:      29347
2236.38/2248.82	c INPROCESSING
2236.38/2248.82	c GARBAGE COLLECT
2236.38/2248.82	c #Conflicts:     489000 | #Constraints:      16559
2236.38/2248.82	c #Conflicts:     490000 | #Constraints:      17559
2236.38/2248.82	c #Conflicts:     491000 | #Constraints:      18559
2236.38/2248.82	c #Conflicts:     492000 | #Constraints:      19559
2236.38/2248.82	c #Conflicts:     493000 | #Constraints:      20559
2236.38/2248.82	c #Conflicts:     494000 | #Constraints:      21559
2236.38/2248.82	c #Conflicts:     495000 | #Constraints:      22559
2236.38/2248.82	c #Conflicts:     496000 | #Constraints:      23559
2236.38/2248.82	c #Conflicts:     497000 | #Constraints:      24559
2236.38/2248.82	c #Conflicts:     498000 | #Constraints:      25559
2236.38/2248.82	c #Conflicts:     499000 | #Constraints:      26559
2236.38/2248.82	c #Conflicts:     500000 | #Constraints:      27559
2236.38/2248.82	c #Conflicts:     501000 | #Constraints:      28559
2236.38/2248.82	c #Conflicts:     502000 | #Constraints:      29559
2236.38/2248.82	c INPROCESSING
2236.38/2248.82	c GARBAGE COLLECT
2236.38/2248.82	c #Conflicts:     503000 | #Constraints:      16548
2236.38/2248.82	c #Conflicts:     504000 | #Constraints:      17548
2236.38/2248.82	c #Conflicts:     505000 | #Constraints:      18548
2236.38/2248.82	c #Conflicts:     506000 | #Constraints:      19548
2236.38/2248.82	c #Conflicts:     507000 | #Constraints:      20548
2236.38/2248.82	c #Conflicts:     508000 | #Constraints:      21548
2236.38/2248.82	c #Conflicts:     509000 | #Constraints:      22548
2236.38/2248.82	c #Conflicts:     510000 | #Constraints:      23548
2236.38/2248.82	c #Conflicts:     511000 | #Constraints:      24548
2236.38/2248.82	c #Conflicts:     512000 | #Constraints:      25548
2236.38/2248.82	c #Conflicts:     513000 | #Constraints:      26548
2644.99/2658.48	c #Conflicts:     514000 | #Constraints:      27548
2644.99/2658.48	c #Conflicts:     515000 | #Constraints:      28548
2644.99/2658.48	c #Conflicts:     516000 | #Constraints:      29548
2644.99/2658.48	c INPROCESSING
2644.99/2658.48	c GARBAGE COLLECT
2644.99/2658.48	c #Conflicts:     517000 | #Constraints:      16330
2644.99/2658.48	c #Conflicts:     518000 | #Constraints:      17330
2644.99/2658.48	c #Conflicts:     519000 | #Constraints:      18330
2644.99/2658.48	c #Conflicts:     520000 | #Constraints:      19330
2644.99/2658.48	c #Conflicts:     521000 | #Constraints:      20330
2644.99/2658.48	c #Conflicts:     522000 | #Constraints:      21330
2644.99/2658.48	c #Conflicts:     523000 | #Constraints:      22330
2644.99/2658.48	c #Conflicts:     524000 | #Constraints:      23330
2644.99/2658.48	c #Conflicts:     525000 | #Constraints:      24330
2644.99/2658.48	c #Conflicts:     526000 | #Constraints:      25330
2644.99/2658.48	c #Conflicts:     527000 | #Constraints:      26330
2644.99/2658.48	c #Conflicts:     528000 | #Constraints:      27330
2644.99/2658.48	c #Conflicts:     529000 | #Constraints:      28330
2644.99/2658.48	c #Conflicts:     530000 | #Constraints:      29330
2644.99/2658.48	c #Conflicts:     531000 | #Constraints:      30330
2644.99/2658.48	c INPROCESSING
2644.99/2658.48	c GARBAGE COLLECT
2644.99/2658.48	c #Conflicts:     532000 | #Constraints:      16927
2644.99/2658.48	c #Conflicts:     533000 | #Constraints:      17927
2644.99/2658.48	c #Conflicts:     534000 | #Constraints:      18927
2644.99/2658.48	c #Conflicts:     535000 | #Constraints:      19927
2644.99/2658.48	c #Conflicts:     536000 | #Constraints:      20927
2644.99/2658.48	c #Conflicts:     537000 | #Constraints:      21927
2644.99/2658.48	c #Conflicts:     538000 | #Constraints:      22927
2644.99/2658.48	c #Conflicts:     539000 | #Constraints:      23927
2644.99/2658.48	c #Conflicts:     540000 | #Constraints:      24927
2644.99/2658.48	c #Conflicts:     541000 | #Constraints:      25927
2644.99/2658.48	c #Conflicts:     542000 | #Constraints:      26927
2644.99/2658.48	c #Conflicts:     543000 | #Constraints:      27927
2644.99/2658.48	c #Conflicts:     544000 | #Constraints:      28927
2644.99/2658.48	c #Conflicts:     545000 | #Constraints:      29927
2644.99/2658.48	c #Conflicts:     546000 | #Constraints:      30927
2644.99/2658.48	c INPROCESSING
2644.99/2658.48	c GARBAGE COLLECT
2644.99/2658.48	c #Conflicts:     547000 | #Constraints:      17333
2644.99/2658.48	c #Conflicts:     548000 | #Constraints:      18333
2644.99/2658.48	c #Conflicts:     549000 | #Constraints:      19333
2644.99/2658.48	c #Conflicts:     550000 | #Constraints:      20333
2644.99/2658.48	c #Conflicts:     551000 | #Constraints:      21333
2644.99/2658.48	c #Conflicts:     552000 | #Constraints:      22333
2644.99/2658.48	c #Conflicts:     553000 | #Constraints:      23333
2644.99/2658.48	c #Conflicts:     554000 | #Constraints:      24333
2644.99/2658.48	c #Conflicts:     555000 | #Constraints:      25333
2644.99/2658.48	c #Conflicts:     556000 | #Constraints:      26333
2644.99/2658.48	c #Conflicts:     557000 | #Constraints:      27333
2644.99/2658.48	c #Conflicts:     558000 | #Constraints:      28333
2644.99/2658.48	c #Conflicts:     559000 | #Constraints:      29333
2644.99/2658.48	c #Conflicts:     560000 | #Constraints:      30333
2644.99/2658.48	c #Conflicts:     561000 | #Constraints:      31333
2644.99/2658.48	c INPROCESSING
2644.99/2658.48	c GARBAGE COLLECT
2644.99/2658.48	c #Conflicts:     562000 | #Constraints:      17504
2644.99/2658.48	c #Conflicts:     563000 | #Constraints:      18504
2644.99/2658.48	c #Conflicts:     564000 | #Constraints:      19504
2644.99/2658.48	c #Conflicts:     565000 | #Constraints:      20504
2644.99/2658.48	c #Conflicts:     566000 | #Constraints:      21504
2644.99/2658.48	c #Conflicts:     567000 | #Constraints:      22504
2644.99/2658.48	c #Conflicts:     568000 | #Constraints:      23504
2644.99/2658.48	c #Conflicts:     569000 | #Constraints:      24504
2644.99/2658.48	c #Conflicts:     570000 | #Constraints:      25504
2644.99/2658.48	c #Conflicts:     571000 | #Constraints:      26504
2644.99/2658.48	c #Conflicts:     572000 | #Constraints:      27504
2644.99/2658.48	c #Conflicts:     573000 | #Constraints:      28504
2644.99/2658.48	c #Conflicts:     574000 | #Constraints:      29504
2644.99/2658.48	c #Conflicts:     575000 | #Constraints:      30504
2644.99/2658.48	c #Conflicts:     576000 | #Constraints:      31504
2644.99/2658.48	c INPROCESSING
2644.99/2658.48	c GARBAGE COLLECT
2644.99/2658.48	c #Conflicts:     577000 | #Constraints:      17523
2644.99/2658.48	c #Conflicts:     578000 | #Constraints:      18523
2644.99/2658.48	c #Conflicts:     579000 | #Constraints:      19523
2644.99/2658.48	c #Conflicts:     580000 | #Constraints:      20523
2644.99/2658.48	c #Conflicts:     581000 | #Constraints:      21523
2644.99/2658.48	c #Conflicts:     582000 | #Constraints:      22523
2644.99/2658.48	c #Conflicts:     583000 | #Constraints:      23523
2644.99/2658.48	c #Conflicts:     584000 | #Constraints:      24523
2644.99/2658.48	c #Conflicts:     585000 | #Constraints:      25523
2644.99/2658.48	c #Conflicts:     586000 | #Constraints:      26523
2644.99/2658.48	c #Conflicts:     587000 | #Constraints:      27523
2644.99/2658.48	c #Conflicts:     588000 | #Constraints:      28523
3041.53/3056.01	c #Conflicts:     589000 | #Constraints:      29523
3041.53/3056.01	c #Conflicts:     590000 | #Constraints:      30523
3041.53/3056.01	c #Conflicts:     591000 | #Constraints:      31523
3041.53/3056.01	c INPROCESSING
3041.53/3056.01	c GARBAGE COLLECT
3041.53/3056.01	c #Conflicts:     592000 | #Constraints:      17333
3041.53/3056.01	c #Conflicts:     593000 | #Constraints:      18333
3041.53/3056.01	c #Conflicts:     594000 | #Constraints:      19333
3041.53/3056.01	c #Conflicts:     595000 | #Constraints:      20333
3041.53/3056.01	c #Conflicts:     596000 | #Constraints:      21333
3041.53/3056.01	c #Conflicts:     597000 | #Constraints:      22333
3041.53/3056.01	c #Conflicts:     598000 | #Constraints:      23333
3041.53/3056.01	c #Conflicts:     599000 | #Constraints:      24333
3041.53/3056.01	c #Conflicts:     600000 | #Constraints:      25333
3041.53/3056.01	c #Conflicts:     601000 | #Constraints:      26333
3041.53/3056.01	c #Conflicts:     602000 | #Constraints:      27333
3041.53/3056.01	c #Conflicts:     603000 | #Constraints:      28333
3041.53/3056.01	c #Conflicts:     604000 | #Constraints:      29333
3041.53/3056.01	c #Conflicts:     605000 | #Constraints:      30333
3041.53/3056.01	c #Conflicts:     606000 | #Constraints:      31333
3041.53/3056.01	c #Conflicts:     607000 | #Constraints:      32333
3041.53/3056.01	c INPROCESSING
3041.53/3056.01	c GARBAGE COLLECT
3041.53/3056.01	c #Conflicts:     608000 | #Constraints:      17964
3041.53/3056.01	c #Conflicts:     609000 | #Constraints:      18964
3041.53/3056.01	c #Conflicts:     610000 | #Constraints:      19964
3041.53/3056.01	c #Conflicts:     611000 | #Constraints:      20964
3041.53/3056.01	c #Conflicts:     612000 | #Constraints:      21964
3041.53/3056.01	c #Conflicts:     613000 | #Constraints:      22964
3041.53/3056.01	c #Conflicts:     614000 | #Constraints:      23964
3041.53/3056.01	c #Conflicts:     615000 | #Constraints:      24964
3041.53/3056.01	c #Conflicts:     616000 | #Constraints:      25964
3041.53/3056.01	c #Conflicts:     617000 | #Constraints:      26964
3041.53/3056.01	c #Conflicts:     618000 | #Constraints:      27964
3041.53/3056.01	c #Conflicts:     619000 | #Constraints:      28964
3041.53/3056.01	c #Conflicts:     620000 | #Constraints:      29964
3041.53/3056.01	c #Conflicts:     621000 | #Constraints:      30964
3041.53/3056.01	c #Conflicts:     622000 | #Constraints:      31964
3041.53/3056.01	c #Conflicts:     623000 | #Constraints:      32964
3041.53/3056.01	c INPROCESSING
3041.53/3056.01	c GARBAGE COLLECT
3041.53/3056.01	c #Conflicts:     624000 | #Constraints:      18366
3041.53/3056.01	c #Conflicts:     625000 | #Constraints:      19366
3041.53/3056.01	c #Conflicts:     626000 | #Constraints:      20366
3041.53/3056.01	c #Conflicts:     627000 | #Constraints:      21366
3041.53/3056.01	c #Conflicts:     628000 | #Constraints:      22366
3041.53/3056.01	c #Conflicts:     629000 | #Constraints:      23366
3041.53/3056.01	c #Conflicts:     630000 | #Constraints:      24366
3041.53/3056.01	c #Conflicts:     631000 | #Constraints:      25366
3041.53/3056.01	c #Conflicts:     632000 | #Constraints:      26366
3041.53/3056.01	c #Conflicts:     633000 | #Constraints:      27366
3041.53/3056.01	c #Conflicts:     634000 | #Constraints:      28366
3041.53/3056.01	c #Conflicts:     635000 | #Constraints:      29366
3041.53/3056.01	c #Conflicts:     636000 | #Constraints:      30366
3041.53/3056.01	c #Conflicts:     637000 | #Constraints:      31366
3041.53/3056.01	c #Conflicts:     638000 | #Constraints:      32366
3041.53/3056.01	c #Conflicts:     639000 | #Constraints:      33366
3041.53/3056.01	c INPROCESSING
3041.53/3056.01	c GARBAGE COLLECT
3041.53/3056.01	c #Conflicts:     640000 | #Constraints:      18550
3041.53/3056.01	c #Conflicts:     641000 | #Constraints:      19550
3041.53/3056.01	c #Conflicts:     642000 | #Constraints:      20550
3041.53/3056.01	c #Conflicts:     643000 | #Constraints:      21550
3041.53/3056.01	c #Conflicts:     644000 | #Constraints:      22550
3041.53/3056.01	c #Conflicts:     645000 | #Constraints:      23550
3041.53/3056.01	c #Conflicts:     646000 | #Constraints:      24550
3041.53/3056.01	c #Conflicts:     647000 | #Constraints:      25550
3041.53/3056.01	c #Conflicts:     648000 | #Constraints:      26550
3041.53/3056.01	c #Conflicts:     649000 | #Constraints:      27550
3041.53/3056.01	c #Conflicts:     650000 | #Constraints:      28550
3041.53/3056.01	c #Conflicts:     651000 | #Constraints:      29550
3041.53/3056.01	c #Conflicts:     652000 | #Constraints:      30550
3041.53/3056.01	c #Conflicts:     653000 | #Constraints:      31550
3041.53/3056.01	c #Conflicts:     654000 | #Constraints:      32550
3041.53/3056.01	c #Conflicts:     655000 | #Constraints:      33550
3041.53/3056.01	c INPROCESSING
3041.53/3056.01	c GARBAGE COLLECT
3041.53/3056.01	c #Conflicts:     656000 | #Constraints:      18570
3041.53/3056.01	c #Conflicts:     657000 | #Constraints:      19570
3041.53/3056.01	c #Conflicts:     658000 | #Constraints:      20570
3041.53/3056.01	c #Conflicts:     659000 | #Constraints:      21570
3041.53/3056.01	c #Conflicts:     660000 | #Constraints:      22570
3041.53/3056.01	c #Conflicts:     661000 | #Constraints:      23570
3041.53/3056.01	c #Conflicts:     662000 | #Constraints:      24570
3041.53/3056.01	c #Conflicts:     663000 | #Constraints:      25570
3041.53/3056.01	c #Conflicts:     664000 | #Constraints:      26570
3446.16/3461.57	c #Conflicts:     665000 | #Constraints:      27570
3446.16/3461.57	c #Conflicts:     666000 | #Constraints:      28570
3446.16/3461.57	c #Conflicts:     667000 | #Constraints:      29570
3446.16/3461.57	c #Conflicts:     668000 | #Constraints:      30570
3446.16/3461.57	c #Conflicts:     669000 | #Constraints:      31570
3446.16/3461.57	c #Conflicts:     670000 | #Constraints:      32570
3446.16/3461.57	c #Conflicts:     671000 | #Constraints:      33570
3446.16/3461.57	c INPROCESSING
3446.16/3461.57	c GARBAGE COLLECT
3446.16/3461.57	c #Conflicts:     672000 | #Constraints:      18382
3446.16/3461.57	c #Conflicts:     673000 | #Constraints:      19382
3446.16/3461.57	c #Conflicts:     674000 | #Constraints:      20382
3446.16/3461.57	c #Conflicts:     675000 | #Constraints:      21382
3446.16/3461.57	c #Conflicts:     676000 | #Constraints:      22382
3446.16/3461.57	c #Conflicts:     677000 | #Constraints:      23382
3446.16/3461.57	c #Conflicts:     678000 | #Constraints:      24382
3446.16/3461.57	c #Conflicts:     679000 | #Constraints:      25382
3446.16/3461.57	c #Conflicts:     680000 | #Constraints:      26382
3446.16/3461.57	c #Conflicts:     681000 | #Constraints:      27382
3446.16/3461.57	c #Conflicts:     682000 | #Constraints:      28382
3446.16/3461.57	c #Conflicts:     683000 | #Constraints:      29382
3446.16/3461.57	c #Conflicts:     684000 | #Constraints:      30382
3446.16/3461.57	c #Conflicts:     685000 | #Constraints:      31382
3446.16/3461.57	c #Conflicts:     686000 | #Constraints:      32382
3446.16/3461.57	c #Conflicts:     687000 | #Constraints:      33382
3446.16/3461.57	c #Conflicts:     688000 | #Constraints:      34382
3446.16/3461.57	c INPROCESSING
3446.16/3461.57	c GARBAGE COLLECT
3446.16/3461.57	c #Conflicts:     689000 | #Constraints:      18976
3446.16/3461.57	c #Conflicts:     690000 | #Constraints:      19976
3446.16/3461.57	c #Conflicts:     691000 | #Constraints:      20976
3446.16/3461.57	c #Conflicts:     692000 | #Constraints:      21976
3446.16/3461.57	c #Conflicts:     693000 | #Constraints:      22976
3446.16/3461.57	c #Conflicts:     694000 | #Constraints:      23976
3446.16/3461.57	c #Conflicts:     695000 | #Constraints:      24976
3446.16/3461.57	c #Conflicts:     696000 | #Constraints:      25976
3446.16/3461.57	c #Conflicts:     697000 | #Constraints:      26976
3446.16/3461.57	c #Conflicts:     698000 | #Constraints:      27976
3446.16/3461.57	c #Conflicts:     699000 | #Constraints:      28976
3446.16/3461.57	c #Conflicts:     700000 | #Constraints:      29976
3446.16/3461.57	c #Conflicts:     701000 | #Constraints:      30976
3446.16/3461.57	c #Conflicts:     702000 | #Constraints:      31976
3446.16/3461.57	c #Conflicts:     703000 | #Constraints:      32976
3446.16/3461.57	c #Conflicts:     704000 | #Constraints:      33976
3446.16/3461.57	c #Conflicts:     705000 | #Constraints:      34976
3446.16/3461.57	c INPROCESSING
3446.16/3461.57	c GARBAGE COLLECT
3446.16/3461.57	c #Conflicts:     706000 | #Constraints:      19382
3446.16/3461.57	c #Conflicts:     707000 | #Constraints:      20382
3446.16/3461.57	c #Conflicts:     708000 | #Constraints:      21382
3446.16/3461.57	c #Conflicts:     709000 | #Constraints:      22382
3446.16/3461.57	c #Conflicts:     710000 | #Constraints:      23382
3446.16/3461.57	c #Conflicts:     711000 | #Constraints:      24382
3446.16/3461.57	c #Conflicts:     712000 | #Constraints:      25382
3446.16/3461.57	c #Conflicts:     713000 | #Constraints:      26382
3446.16/3461.57	c #Conflicts:     714000 | #Constraints:      27382
3446.16/3461.57	c #Conflicts:     715000 | #Constraints:      28382
3446.16/3461.57	c #Conflicts:     716000 | #Constraints:      29382
3446.16/3461.57	c #Conflicts:     717000 | #Constraints:      30382
3446.16/3461.57	c #Conflicts:     718000 | #Constraints:      31382
3446.16/3461.57	c #Conflicts:     719000 | #Constraints:      32382
3446.16/3461.57	c #Conflicts:     720000 | #Constraints:      33382
3446.16/3461.57	c #Conflicts:     721000 | #Constraints:      34382
3446.16/3461.57	c #Conflicts:     722000 | #Constraints:      35382
3446.16/3461.57	c INPROCESSING
3446.16/3461.57	c GARBAGE COLLECT
3446.16/3461.57	c #Conflicts:     723000 | #Constraints:      19600
3446.16/3461.57	c #Conflicts:     724000 | #Constraints:      20600
3446.16/3461.57	c #Conflicts:     725000 | #Constraints:      21600
3446.16/3461.57	c #Conflicts:     726000 | #Constraints:      22600
3446.16/3461.57	c #Conflicts:     727000 | #Constraints:      23600
3446.16/3461.57	c #Conflicts:     728000 | #Constraints:      24600
3446.16/3461.57	c #Conflicts:     729000 | #Constraints:      25600
3446.16/3461.57	c #Conflicts:     730000 | #Constraints:      26600
3446.16/3461.57	c #Conflicts:     731000 | #Constraints:      27600
3446.16/3461.57	c #Conflicts:     732000 | #Constraints:      28600
3446.16/3461.57	c #Conflicts:     733000 | #Constraints:      29600
3446.16/3461.57	c #Conflicts:     734000 | #Constraints:      30600
3446.16/3461.57	c #Conflicts:     735000 | #Constraints:      31600
3446.16/3461.57	c #Conflicts:     736000 | #Constraints:      32600
3446.16/3461.57	c #Conflicts:     737000 | #Constraints:      33600
3446.16/3461.57	c #Conflicts:     738000 | #Constraints:      34600
3446.16/3461.57	c #Conflicts:     739000 | #Constraints:      35600
3446.16/3461.57	c INPROCESSING
3446.16/3461.57	c GARBAGE COLLECT
3600.07/3615.89	c #Conflicts:     740000 | #Constraints:      19605
3600.07/3615.89	c #Conflicts:     741000 | #Constraints:      20605
3600.07/3615.89	c #Conflicts:     742000 | #Constraints:      21605
3600.07/3615.89	c #Conflicts:     743000 | #Constraints:      22605
3600.07/3615.89	c #Conflicts:     744000 | #Constraints:      23605
3600.07/3615.89	c #Conflicts:     745000 | #Constraints:      24605
3600.07/3615.89	c #Conflicts:     746000 | #Constraints:      25605
3600.07/3615.89	c #Conflicts:     747000 | #Constraints:      26605
3600.07/3615.89	c #Conflicts:     748000 | #Constraints:      27605
3600.07/3615.89	c #Conflicts:     749000 | #Constraints:      28605
3600.07/3615.89	c #Conflicts:     750000 | #Constraints:      29605
3600.07/3615.89	c #Conflicts:     751000 | #Constraints:      30605
3600.07/3615.89	c #Conflicts:     752000 | #Constraints:      31605
3600.07/3615.89	c #Conflicts:     753000 | #Constraints:      32605
3600.07/3615.89	c #Conflicts:     754000 | #Constraints:      33605
3600.07/3615.89	c #Conflicts:     755000 | #Constraints:      34605
3600.07/3615.89	c #Conflicts:     756000 | #Constraints:      35605
3600.07/3615.89	c INPROCESSING
3600.07/3615.89	c GARBAGE COLLECT
3600.07/3615.89	c #Conflicts:     757000 | #Constraints:      19413
3600.07/3615.89	c #Conflicts:     758000 | #Constraints:      20413
3600.07/3615.89	c #Conflicts:     759000 | #Constraints:      21413
3600.07/3615.89	c #Conflicts:     760000 | #Constraints:      22413
3600.07/3615.89	c #Conflicts:     761000 | #Constraints:      23413
3600.07/3615.89	c #Conflicts:     762000 | #Constraints:      24413
3600.07/3615.89	c #Conflicts:     763000 | #Constraints:      25413
3600.07/3615.89	c #Conflicts:     764000 | #Constraints:      26413
3600.07/3615.89	c #Conflicts:     765000 | #Constraints:      27413
3600.07/3615.89	c #Conflicts:     766000 | #Constraints:      28413
3600.07/3615.89	c #Conflicts:     767000 | #Constraints:      29413
3600.07/3615.89	c #Conflicts:     768000 | #Constraints:      30413
3600.07/3615.89	c #Conflicts:     769000 | #Constraints:      31413
3600.07/3615.89	c #Conflicts:     770000 | #Constraints:      32413
3600.07/3615.89	c #Conflicts:     771000 | #Constraints:      33413
3600.07/3615.89	c #Conflicts:     772000 | #Constraints:      34413
3600.07/3615.89	c cpu time 3575.53 s
3600.07/3615.89	c deterministic time 1 1.00e+00
3600.07/3615.89	c optimization time 3575.48 s
3600.07/3615.89	c total solve time 0 s
3600.07/3615.89	c core-guided solve time 0 s
3600.07/3615.89	c propagation time 0.001709 s
3600.07/3615.89	c conflict analysis time 0 s
3600.07/3615.89	c propagations 0
3600.07/3615.89	c resolve steps 0
3600.07/3615.89	c decisions 0
3600.07/3615.89	c conflicts 0
3600.07/3615.89	c restarts 0
3600.07/3615.89	c inprocessing phases 0
3600.07/3615.89	c garbage collections 0 ,( -nan )
3600.07/3615.89	c input clauses 0 ,( 0.00 )
3600.07/3615.89	c input cardinalities 39 ,( 2.56 )
3600.07/3615.89	c input general constraints 1482 ,( 97.44 )
3600.07/3615.89	c input average constraint length 17.69
3600.07/3615.89	c input average constraint degree 11.77
3600.07/3615.89	c learned clauses 0 ,( 0.00 )
3600.07/3615.89	c learned cardinalities 0 ,( 0.00 )
3600.07/3615.89	c learned general constraints 0 ,( 0.00 )
3600.07/3615.89	c learned average constraint length 0.00
3600.07/3615.89	c learned average constraint degree 0.00
3600.07/3615.89	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3615.89	c counting CF 32, 64, 128, Arb: 1483 , 0 , 0 , 0
3600.07/3615.89	c watched   constraints 0 ,( 0.00 ) 
3600.07/3615.89	c counting  constraints 1482 ,( 100.00 ) 
3600.07/3615.89	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3615.89	c gcd simplifications 39
3600.07/3615.89	c detected cardinalities 0
3600.07/3615.89	c weakened non-implied lits 0
3600.07/3615.89	c weakened non-implying lits 0
3600.07/3615.89	c original variables 9126
3600.07/3615.89	c clausal propagations 0
3600.07/3615.89	c cardinality propagations 0
3600.07/3615.89	c watched propagations 0
3600.07/3615.89	c counting propagations 0
3600.07/3615.89	c watch lookups 0
3600.07/3615.89	c watch backjump lookups 0
3600.07/3615.89	c watch checks 0
3600.07/3615.89	c propagation checks 0
3600.07/3615.89	c constraint additions 0
3600.07/3615.89	c trail pops 0
3600.07/3615.89	c formula constraints 1521
3600.07/3615.89	c learned constraints 0
3600.07/3615.89	c bound constraints 0
3600.07/3615.89	c core-guided constraints 0
3600.07/3615.89	c encountered formula constraints 0
3600.07/3615.89	c encountered learned constraints 0
3600.07/3615.89	c encountered bound constraints 0
3600.07/3615.89	c encountered core-guided constraints 0
3600.07/3615.89	c LP total time 0 s
3600.07/3615.89	c LP solve time 0 s
3600.07/3615.89	c LP constraints added 0
3600.07/3615.89	c LP constraints removed 0
3600.07/3615.89	c LP pivots internal 0
3600.07/3615.89	c LP pivots root 0
3600.07/3615.89	c LP calls 0
3600.07/3615.89	c LP optimalities 0
3600.07/3615.89	c LP no pivot count 0
3600.07/3615.89	c LP infeasibilities 0
3600.07/3615.89	c LP valid Farkas constraints 0
3600.07/3615.89	c LP learned Farkas constraints 0
3600.07/3615.89	c LP basis resets 0
3600.07/3615.89	c LP cycling count 0
3600.07/3615.89	c LP singular count 0
3600.07/3615.89	c LP no primal count 0
3600.07/3615.89	c LP no farkas count 0
3600.07/3615.89	c LP other issue count 0
3600.07/3615.89	c LP Gomory cuts 0
3600.07/3615.89	c LP learned cuts 0
3600.07/3615.89	c LP deleted cuts 0
3600.07/3615.89	c LP encountered Gomory constraints 0
3600.07/3615.89	c LP encountered Farkas constraints 0
3600.07/3615.89	c LP encountered learned Farkas constraints 0
3600.07/3615.89	c CG auxiliary variables introduced 0
3600.07/3615.89	c CG solutions found 0
3600.07/3615.89	c CG cores constructed 0
3600.07/3615.89	c CG core cardinality constraints returned 0
3600.07/3615.89	c CG unit cores 0
3600.07/3615.89	c CG single cores 0
3600.07/3615.89	c CG blocks removed during cardinality reduction 0
3600.07/3615.89	c CG first core best 0
3600.07/3615.89	c CG decision core best 0
3600.07/3615.89	c CG core reduction tie 0
3600.07/3615.89	c CG core degree average 0.00
3600.07/3615.89	c CG core slack average 0.00
3600.07/3615.89	c CG core upper bound improvements 0
3600.07/3615.89	c STR number of successful calls 0
3600.07/3615.89	c STR number of unsuccessful calls 0
3600.07/3615.89	c STR number of inconclusive calls 0
3600.07/3615.89	c STR number of successful attempts 0
3600.07/3615.89	c STR number of unsuccessful attempts 0
3600.07/3615.89	c STR number of inconclusive attempts 0
3600.07/3615.89	c STR average degree increase per successful call inf
3600.07/3615.89	c STR average degree increase per successful attempt inf
3600.07/3615.89	c STR total number of conflicts for successful attempts 0
3600.07/3615.89	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3615.89	c STR total number of conflicts for inconclusive attempts 0
3600.07/3615.89	c STR average number of conflicts per successful attempt inf
3600.07/3615.89	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3615.89	c STR average number of conflicts per inconclusive attempt inf
3600.07/3615.89	c AVG.sumWPerc 72.22 
3600.07/3615.89	c bigint constraints 0 
3600.07/3615.89	s UNKNOWN
3600.07/3615.89	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 (40316 MiB free)
  memory of node 1: 64465 MiB (61216 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520297-1751567868/watcher-4520297-1751567868 -o /tmp/evaluation-result-4520297-1751567868/solver-4520297-1751567868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76498 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520297-1751567868.opb PROOFDIR/proof-4520297-1751567868 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77268, runsolver pid=77265
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.10 4.13 4.16 4/254 77270
/proc/meminfo: memFree=103964880/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/77270/stat : 77270 (roundingsat) D 77268 77268 76484 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 72465584 52015104 1824 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+0.209059 s]*
/proc/loadavg: 4.10 4.13 4.16 4/254 77270
/proc/meminfo: memFree=103962612/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/77270/stat : 77270 (roundingsat) D 77268 77268 76484 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 72465584 52015104 1824 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+0.30894 s]*
/proc/loadavg: 4.10 4.13 4.16 4/254 77270
/proc/meminfo: memFree=103962360/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/77270/stat : 77270 (roundingsat) D 77268 77268 76484 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 72465584 52015104 1824 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+0.700396 s]
/proc/loadavg: 4.10 4.13 4.16 4/254 77270
/proc/meminfo: memFree=103962360/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/77270/stat : 77270 (roundingsat) D 77268 77268 76484 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 72465584 52015104 1824 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+1.50035 s]
/proc/loadavg: 4.10 4.13 4.16 4/254 77270
/proc/meminfo: memFree=103957756/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/77270/stat : 77270 (roundingsat) D 77268 77268 76484 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 72465584 52015104 1824 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB

[startup+3.11358 s]
/proc/loadavg: 4.10 4.13 4.16 2/248 77282
/proc/meminfo: memFree=103976184/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/77270/stat : 77270 (roundingsat) D 77268 77268 76484 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 72465584 52015104 1824 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
heavy processes:

[startup+6.3079 s]
/proc/loadavg: 4.10 4.13 4.16 2/248 77282
/proc/meminfo: memFree=103943928/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=57320 memory=10496 CPUtime=0.01 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 1233 0 0 0 1 0 0 0 20 0 1 0 72465584 58695680 2624 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 14330 2624 1952 1147 0 1757 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 61512 KiB
Current children cumulated memory: 13440 KiB
heavy processes:

[startup+12.7004 s]
/proc/loadavg: 4.09 4.12 4.16 5/259 77322
/proc/meminfo: memFree=105543384/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=298388 memory=232132 CPUtime=6.36 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 43337 0 0 0 615 21 0 0 20 0 1 0 72465584 305549312 58033 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 74597 58033 2336 1147 0 62024 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 302580 KiB
Current children cumulated memory: 235076 KiB
heavy processes:

[startup+25.5004 s]
/proc/loadavg: 4.14 4.13 4.16 5/259 77371
/proc/meminfo: memFree=127789652/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=576816 memory=422168 CPUtime=19.13 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 75523 0 0 0 1867 46 0 0 20 0 1 0 72465584 590659584 105542 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 144204 105542 2336 1147 0 131631 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 581008 KiB
Current children cumulated memory: 425112 KiB
heavy processes:

[startup+51.1138 s]
/proc/loadavg: 4.09 4.12 4.16 5/260 77372
/proc/meminfo: memFree=126256272/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=988936 memory=722468 CPUtime=44.66 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 129073 0 0 0 4379 87 0 0 20 0 1 0 72465584 1012670464 180617 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 247234 180617 2336 1147 0 234661 0
Current children cumulated CPU time: 44.66 s
Current children cumulated vsize: 993128 KiB
Current children cumulated memory: 725412 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.15 4.17 5/260 77374
/proc/meminfo: memFree=124509332/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=1537352 memory=1280296 CPUtime=95.71 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 238487 0 0 0 9415 156 0 0 20 0 1 0 72465584 1574248448 320074 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 384338 320074 2336 1147 0 371765 0
Current children cumulated CPU time: 95.71 s
Current children cumulated vsize: 1541544 KiB
Current children cumulated memory: 1283240 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/260 77376
/proc/meminfo: memFree=123273896/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=1772760 memory=1335544 CPUtime=155.53 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 244612 0 0 0 15342 211 0 0 20 0 1 0 72465584 1815306240 333886 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 443190 333886 2336 1147 0 430617 0
Current children cumulated CPU time: 155.53 s
Current children cumulated vsize: 1776952 KiB
Current children cumulated memory: 1338488 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/260 77378
/proc/meminfo: memFree=121644340/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0

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

[pid=77270] ppid=77268 vsize=5719404 memory=4949844 CPUtime=3087.83 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 828267 0 0 0 306590 2193 0 0 20 0 1 0 72465584 5856669696 1237461 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1237461 2336 1147 0 1417278 0
Current children cumulated CPU time: 3087.83 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 4952788 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/260 77537
/proc/meminfo: memFree=87866812/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=4990932 CPUtime=3147.68 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 838561 0 0 0 312542 2226 0 0 20 0 1 0 72465584 5856669696 1247733 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1247733 2336 1147 0 1417278 0
Current children cumulated CPU time: 3147.68 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 4993876 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/260 77541
/proc/meminfo: memFree=87613176/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=4991188 CPUtime=3207.54 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 839282 0 0 0 318503 2251 0 0 20 0 1 0 72465584 5856669696 1247797 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1247797 2336 1147 0 1417278 0
Current children cumulated CPU time: 3207.54 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 4994132 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 77543
/proc/meminfo: memFree=87196008/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=4998740 CPUtime=3267.39 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 841846 0 0 0 324464 2275 0 0 20 0 1 0 72465584 5856669696 1249685 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1249685 2336 1147 0 1417278 0
Current children cumulated CPU time: 3267.39 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 5001684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 77550
/proc/meminfo: memFree=86792340/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=5125468 CPUtime=3327.25 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 857175 0 0 0 330419 2306 0 0 20 0 1 0 72465584 5856669696 1281367 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1281367 2336 1147 0 1417278 0
Current children cumulated CPU time: 3327.25 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 5128412 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 77552
/proc/meminfo: memFree=86453096/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=5125980 CPUtime=3387.11 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 857990 0 0 0 336379 2332 0 0 20 0 1 0 72465584 5856669696 1281495 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1281495 2336 1147 0 1417278 0
Current children cumulated CPU time: 3387.11 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 5128924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/260 77555
/proc/meminfo: memFree=86025364/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=5126108 CPUtime=3446.95 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 858664 0 0 0 342332 2363 0 0 20 0 1 0 72465584 5856669696 1281527 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1281527 2336 1147 0 1417278 0
Current children cumulated CPU time: 3446.95 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 5129052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 77557
/proc/meminfo: memFree=85243248/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=5126108 CPUtime=3506.8 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 858664 0 0 0 348276 2404 0 0 20 0 1 0 72465584 5856669696 1281527 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1281527 2336 1147 0 1417278 0
Current children cumulated CPU time: 3506.8 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 5129052 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/260 77559
/proc/meminfo: memFree=84389896/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=5126108 CPUtime=3566.65 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 859134 0 0 0 354222 2443 0 0 20 0 1 0 72465584 5856669696 1281527 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1281527 2336 1147 0 1417278 0
Current children cumulated CPU time: 3566.65 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 5129052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 77559
/proc/meminfo: memFree=84051848/131382120 swapFree=33010416/33010684
[pid=77268] ppid=77265 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77268/stat : 77268 (run-opt-log.sh) S 77265 77268 76484 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 72465584 4292608 736 18446744073709551615 94153384751104 94153385645637 140722879656256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94153385884688 94153385932432 94153404833792 140722879662369 140722879662564 140722879662564 140722879668166 0
/proc/77268/statm: 1048 736 672 219 0 110 0
[pid=77270] ppid=77268 vsize=5719404 memory=5126108 CPUtime=3600.07 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77268 77268 76484 0 -1 4194304 859496 0 0 0 357544 2463 0 0 20 0 1 0 72465584 5856669696 1281527 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1281527 2336 1147 0 1417278 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5723596 KiB
Current children cumulated memory: 5129052 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001705 s, system=0.003439 s

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

# cumulated CPU time of all completed processes:  user=3575.55 s, system=24.7244 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+3615.9 s]*
/proc/loadavg: 4.12 4.11 4.09 5/259 77559
/proc/meminfo: memFree=84032136/131382120 swapFree=33010416/33010684
[pid=77270] ppid=77265 vsize=5719404 memory=5126364 CPUtime=3600.16 cores=4,6
/proc/77270/stat : 77270 (roundingsat) R 77265 77268 76484 0 -1 4194304 859502 0 0 0 357553 2463 0 0 20 0 1 0 72465584 5856669696 1281591 18446744073709551615 4227072 8923433 140731520984352 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 42119168 140731520993618 140731520993832 140731520993832 140731520999402 0
/proc/77270/statm: 1429851 1281591 2400 1147 0 1417278 0
Current cumulated CPU time of completed processes: 0.005144 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 5719404 KiB
Current children cumulated memory: 5126364 KiB

Child status: 2

Real time (s): 3616.03
CPU time (s): 3600.27
CPU user time (s): 3575.55
CPU system time (s): 24.7244
CPU usage (%): 99.5643
Max. virtual memory (cumulated for all children) (KiB): 5723596
Max. memory (cumulated for all children) (KiB): 5129052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.55
system time used= 24.7244
maximum resident set size= 5126364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 859726
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21386992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2189
involuntary context switches= 4875


# summary of solver processes directly reported to runsolver:
#   pid: 77268,77270
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3575.55
#   total CPU system time (s): 24.7244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9164 second user time and 38.5205 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-03 20:37:48
IDJOB=4520297
IDBENCH=177885
IDSOLVER=3351
FILE ID=nodeC002/4520297-1751567868
RUNJOBID= nodeC002-1751560632-76498
SLURM_JOB_ID= 9598760
Free space on /tmp= 432568 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520297-1751567868/watcher-4520297-1751567868 -o /tmp/evaluation-result-4520297-1751567868/solver-4520297-1751567868 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751560632-76498 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4520297-1751567868.opb PROOFDIR/proof-4520297-1751567868

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

MD5SUM BENCH= f0f458c0649ba129d7d5b0a4b7bdfffa
RANDOM SEED=2059938782

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.819
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.81
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.165
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.81
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.423
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.81
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		: 2993.100
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.81
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.224
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.81
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		: 3491.892
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.81
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		: 2295.376
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.81
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		: 1190.078
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        103962876 kB
MemAvailable:   121376064 kB
Buffers:            2128 kB
Cached:         18199504 kB
SwapCached:           28 kB
Active:          8900128 kB
Inactive:       17896588 kB
Active(anon):    8606436 kB
Inactive(anon):     6404 kB
Active(file):     293692 kB
Inactive(file): 17890184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             54852 kB
Writeback:             0 kB
AnonPages:       8597952 kB
Mapped:           108848 kB
Shmem:             17932 kB
KReclaimable:     137876 kB
Slab:             224348 kB
SReclaimable:     137876 kB
SUnreclaim:        86472 kB
KernelStack:        4080 kB
PageTables:        21032 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   10970528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5263360 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432664 MiB
End job on nodeC002 at 2025-07-03 21:38:04