Trace number 4521538

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 63f22ad? (TO) 3600.11 3609.96

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
MD5SUM2dad4d4d97748033eacd0c8bb0bd5214
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 benchmark2556
Best CPU time to get the best result obtained on this benchmark1.28974
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5041
Total number of constraints10082
Number of constraints which are clauses10082
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 5041
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 5041
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5041
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.05	c #variables 5041 #constraints 10082
0.00/0.05	c objective is ce32 
0.00/0.07	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.041188
0.00/0.07	c GLOBAL bounds - >= 0 @ 0.04433
0.19/0.21	c GLOBAL bounds - >= 0 @ 0.172831
196.36/196.95	c #Conflicts:       1000 | #Constraints:      11084
196.36/196.95	c #Conflicts:       2000 | #Constraints:      12084
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:       3000 | #Constraints:      12118
196.36/196.95	c #Conflicts:       4000 | #Constraints:      13118
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:       5000 | #Constraints:      12575
196.36/196.95	c #Conflicts:       6000 | #Constraints:      13575
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:       7000 | #Constraints:      12593
196.36/196.95	c #Conflicts:       8000 | #Constraints:      13593
196.36/196.95	c #Conflicts:       9000 | #Constraints:      14593
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      10000 | #Constraints:      13284
196.36/196.95	c #Conflicts:      11000 | #Constraints:      14284
196.36/196.95	c #Conflicts:      12000 | #Constraints:      15284
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      13000 | #Constraints:      13716
196.36/196.95	c #Conflicts:      14000 | #Constraints:      14716
196.36/196.95	c #Conflicts:      15000 | #Constraints:      15716
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      16000 | #Constraints:      13948
196.36/196.95	c #Conflicts:      17000 | #Constraints:      14948
196.36/196.95	c #Conflicts:      18000 | #Constraints:      15948
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      19000 | #Constraints:      13956
196.36/196.95	c #Conflicts:      20000 | #Constraints:      14956
196.36/196.95	c #Conflicts:      21000 | #Constraints:      15956
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      22000 | #Constraints:      13758
196.36/196.95	c #Conflicts:      23000 | #Constraints:      14758
196.36/196.95	c #Conflicts:      24000 | #Constraints:      15758
196.36/196.95	c #Conflicts:      25000 | #Constraints:      16758
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      26000 | #Constraints:      14352
196.36/196.95	c #Conflicts:      27000 | #Constraints:      15352
196.36/196.95	c #Conflicts:      28000 | #Constraints:      16352
196.36/196.95	c #Conflicts:      29000 | #Constraints:      17352
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      30000 | #Constraints:      14747
196.36/196.95	c #Conflicts:      31000 | #Constraints:      15747
196.36/196.95	c #Conflicts:      32000 | #Constraints:      16747
196.36/196.95	c #Conflicts:      33000 | #Constraints:      17747
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      34000 | #Constraints:      14945
196.36/196.95	c #Conflicts:      35000 | #Constraints:      15945
196.36/196.95	c #Conflicts:      36000 | #Constraints:      16945
196.36/196.95	c #Conflicts:      37000 | #Constraints:      17945
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      38000 | #Constraints:      14951
196.36/196.95	c #Conflicts:      39000 | #Constraints:      15951
196.36/196.95	c #Conflicts:      40000 | #Constraints:      16951
196.36/196.95	c #Conflicts:      41000 | #Constraints:      17951
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      42000 | #Constraints:      14754
196.36/196.95	c #Conflicts:      43000 | #Constraints:      15754
196.36/196.95	c #Conflicts:      44000 | #Constraints:      16754
196.36/196.95	c #Conflicts:      45000 | #Constraints:      17754
196.36/196.95	c #Conflicts:      46000 | #Constraints:      18754
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      47000 | #Constraints:      15373
196.36/196.95	c #Conflicts:      48000 | #Constraints:      16373
196.36/196.95	c #Conflicts:      49000 | #Constraints:      17373
196.36/196.95	c #Conflicts:      50000 | #Constraints:      18373
196.36/196.95	c #Conflicts:      51000 | #Constraints:      19373
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      52000 | #Constraints:      15767
196.36/196.95	c #Conflicts:      53000 | #Constraints:      16767
196.36/196.95	c #Conflicts:      54000 | #Constraints:      17767
196.36/196.95	c #Conflicts:      55000 | #Constraints:      18767
196.36/196.95	c #Conflicts:      56000 | #Constraints:      19767
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      57000 | #Constraints:      15956
196.36/196.95	c #Conflicts:      58000 | #Constraints:      16956
196.36/196.95	c #Conflicts:      59000 | #Constraints:      17956
196.36/196.95	c #Conflicts:      60000 | #Constraints:      18956
196.36/196.95	c #Conflicts:      61000 | #Constraints:      19956
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      62000 | #Constraints:      15953
196.36/196.95	c #Conflicts:      63000 | #Constraints:      16953
196.36/196.95	c #Conflicts:      64000 | #Constraints:      17953
196.36/196.95	c #Conflicts:      65000 | #Constraints:      18953
196.36/196.95	c #Conflicts:      66000 | #Constraints:      19953
196.36/196.95	c INPROCESSING
196.36/196.95	c GARBAGE COLLECT
196.36/196.95	c #Conflicts:      67000 | #Constraints:      15750
196.36/196.95	c #Conflicts:      68000 | #Constraints:      16750
461.87/463.19	c #Conflicts:      69000 | #Constraints:      17750
461.87/463.19	c #Conflicts:      70000 | #Constraints:      18750
461.87/463.19	c #Conflicts:      71000 | #Constraints:      19750
461.87/463.19	c #Conflicts:      72000 | #Constraints:      20750
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:      73000 | #Constraints:      16361
461.87/463.19	c #Conflicts:      74000 | #Constraints:      17361
461.87/463.19	c #Conflicts:      75000 | #Constraints:      18361
461.87/463.19	c #Conflicts:      76000 | #Constraints:      19361
461.87/463.19	c #Conflicts:      77000 | #Constraints:      20361
461.87/463.19	c #Conflicts:      78000 | #Constraints:      21361
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:      79000 | #Constraints:      16752
461.87/463.19	c #Conflicts:      80000 | #Constraints:      17752
461.87/463.19	c #Conflicts:      81000 | #Constraints:      18752
461.87/463.19	c #Conflicts:      82000 | #Constraints:      19752
461.87/463.19	c #Conflicts:      83000 | #Constraints:      20752
461.87/463.19	c #Conflicts:      84000 | #Constraints:      21752
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:      85000 | #Constraints:      16955
461.87/463.19	c #Conflicts:      86000 | #Constraints:      17955
461.87/463.19	c #Conflicts:      87000 | #Constraints:      18955
461.87/463.19	c #Conflicts:      88000 | #Constraints:      19955
461.87/463.19	c #Conflicts:      89000 | #Constraints:      20955
461.87/463.19	c #Conflicts:      90000 | #Constraints:      21955
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:      91000 | #Constraints:      16949
461.87/463.19	c #Conflicts:      92000 | #Constraints:      17949
461.87/463.19	c #Conflicts:      93000 | #Constraints:      18949
461.87/463.19	c #Conflicts:      94000 | #Constraints:      19949
461.87/463.19	c #Conflicts:      95000 | #Constraints:      20949
461.87/463.19	c #Conflicts:      96000 | #Constraints:      21949
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:      97000 | #Constraints:      16746
461.87/463.19	c #Conflicts:      98000 | #Constraints:      17746
461.87/463.19	c #Conflicts:      99000 | #Constraints:      18746
461.87/463.19	c #Conflicts:     100000 | #Constraints:      19746
461.87/463.19	c #Conflicts:     101000 | #Constraints:      20746
461.87/463.19	c #Conflicts:     102000 | #Constraints:      21746
461.87/463.19	c #Conflicts:     103000 | #Constraints:      22746
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:     104000 | #Constraints:      17352
461.87/463.19	c #Conflicts:     105000 | #Constraints:      18352
461.87/463.19	c #Conflicts:     106000 | #Constraints:      19352
461.87/463.19	c #Conflicts:     107000 | #Constraints:      20352
461.87/463.19	c #Conflicts:     108000 | #Constraints:      21352
461.87/463.19	c #Conflicts:     109000 | #Constraints:      22352
461.87/463.19	c #Conflicts:     110000 | #Constraints:      23352
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:     111000 | #Constraints:      17741
461.87/463.19	c #Conflicts:     112000 | #Constraints:      18741
461.87/463.19	c #Conflicts:     113000 | #Constraints:      19741
461.87/463.19	c #Conflicts:     114000 | #Constraints:      20741
461.87/463.19	c #Conflicts:     115000 | #Constraints:      21741
461.87/463.19	c #Conflicts:     116000 | #Constraints:      22741
461.87/463.19	c #Conflicts:     117000 | #Constraints:      23741
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:     118000 | #Constraints:      17937
461.87/463.19	c #Conflicts:     119000 | #Constraints:      18937
461.87/463.19	c #Conflicts:     120000 | #Constraints:      19937
461.87/463.19	c #Conflicts:     121000 | #Constraints:      20937
461.87/463.19	c #Conflicts:     122000 | #Constraints:      21937
461.87/463.19	c #Conflicts:     123000 | #Constraints:      22937
461.87/463.19	c #Conflicts:     124000 | #Constraints:      23937
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:     125000 | #Constraints:      17949
461.87/463.19	c #Conflicts:     126000 | #Constraints:      18949
461.87/463.19	c #Conflicts:     127000 | #Constraints:      19949
461.87/463.19	c #Conflicts:     128000 | #Constraints:      20949
461.87/463.19	c #Conflicts:     129000 | #Constraints:      21949
461.87/463.19	c #Conflicts:     130000 | #Constraints:      22949
461.87/463.19	c #Conflicts:     131000 | #Constraints:      23949
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:     132000 | #Constraints:      17747
461.87/463.19	c #Conflicts:     133000 | #Constraints:      18747
461.87/463.19	c #Conflicts:     134000 | #Constraints:      19747
461.87/463.19	c #Conflicts:     135000 | #Constraints:      20747
461.87/463.19	c #Conflicts:     136000 | #Constraints:      21747
461.87/463.19	c #Conflicts:     137000 | #Constraints:      22747
461.87/463.19	c #Conflicts:     138000 | #Constraints:      23747
461.87/463.19	c #Conflicts:     139000 | #Constraints:      24747
461.87/463.19	c INPROCESSING
461.87/463.19	c GARBAGE COLLECT
461.87/463.19	c #Conflicts:     140000 | #Constraints:      18343
729.24/731.20	c #Conflicts:     141000 | #Constraints:      19343
729.24/731.20	c #Conflicts:     142000 | #Constraints:      20343
729.24/731.20	c #Conflicts:     143000 | #Constraints:      21343
729.24/731.20	c #Conflicts:     144000 | #Constraints:      22343
729.24/731.20	c #Conflicts:     145000 | #Constraints:      23343
729.24/731.20	c #Conflicts:     146000 | #Constraints:      24343
729.24/731.20	c #Conflicts:     147000 | #Constraints:      25343
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     148000 | #Constraints:      18745
729.24/731.20	c #Conflicts:     149000 | #Constraints:      19745
729.24/731.20	c #Conflicts:     150000 | #Constraints:      20745
729.24/731.20	c #Conflicts:     151000 | #Constraints:      21745
729.24/731.20	c #Conflicts:     152000 | #Constraints:      22745
729.24/731.20	c #Conflicts:     153000 | #Constraints:      23745
729.24/731.20	c #Conflicts:     154000 | #Constraints:      24745
729.24/731.20	c #Conflicts:     155000 | #Constraints:      25745
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     156000 | #Constraints:      18937
729.24/731.20	c #Conflicts:     157000 | #Constraints:      19937
729.24/731.20	c #Conflicts:     158000 | #Constraints:      20937
729.24/731.20	c #Conflicts:     159000 | #Constraints:      21937
729.24/731.20	c #Conflicts:     160000 | #Constraints:      22937
729.24/731.20	c #Conflicts:     161000 | #Constraints:      23937
729.24/731.20	c #Conflicts:     162000 | #Constraints:      24937
729.24/731.20	c #Conflicts:     163000 | #Constraints:      25937
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     164000 | #Constraints:      18952
729.24/731.20	c #Conflicts:     165000 | #Constraints:      19952
729.24/731.20	c #Conflicts:     166000 | #Constraints:      20952
729.24/731.20	c #Conflicts:     167000 | #Constraints:      21952
729.24/731.20	c #Conflicts:     168000 | #Constraints:      22952
729.24/731.20	c #Conflicts:     169000 | #Constraints:      23952
729.24/731.20	c #Conflicts:     170000 | #Constraints:      24952
729.24/731.20	c #Conflicts:     171000 | #Constraints:      25952
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     172000 | #Constraints:      18740
729.24/731.20	c #Conflicts:     173000 | #Constraints:      19740
729.24/731.20	c #Conflicts:     174000 | #Constraints:      20740
729.24/731.20	c #Conflicts:     175000 | #Constraints:      21740
729.24/731.20	c #Conflicts:     176000 | #Constraints:      22740
729.24/731.20	c #Conflicts:     177000 | #Constraints:      23740
729.24/731.20	c #Conflicts:     178000 | #Constraints:      24740
729.24/731.20	c #Conflicts:     179000 | #Constraints:      25740
729.24/731.20	c #Conflicts:     180000 | #Constraints:      26740
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     181000 | #Constraints:      19329
729.24/731.20	c #Conflicts:     182000 | #Constraints:      20329
729.24/731.20	c #Conflicts:     183000 | #Constraints:      21329
729.24/731.20	c #Conflicts:     184000 | #Constraints:      22329
729.24/731.20	c #Conflicts:     185000 | #Constraints:      23329
729.24/731.20	c #Conflicts:     186000 | #Constraints:      24329
729.24/731.20	c #Conflicts:     187000 | #Constraints:      25329
729.24/731.20	c #Conflicts:     188000 | #Constraints:      26329
729.24/731.20	c #Conflicts:     189000 | #Constraints:      27329
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     190000 | #Constraints:      19731
729.24/731.20	c #Conflicts:     191000 | #Constraints:      20731
729.24/731.20	c #Conflicts:     192000 | #Constraints:      21731
729.24/731.20	c #Conflicts:     193000 | #Constraints:      22731
729.24/731.20	c #Conflicts:     194000 | #Constraints:      23731
729.24/731.20	c #Conflicts:     195000 | #Constraints:      24731
729.24/731.20	c #Conflicts:     196000 | #Constraints:      25731
729.24/731.20	c #Conflicts:     197000 | #Constraints:      26731
729.24/731.20	c #Conflicts:     198000 | #Constraints:      27731
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     199000 | #Constraints:      19933
729.24/731.20	c #Conflicts:     200000 | #Constraints:      20933
729.24/731.20	c #Conflicts:     201000 | #Constraints:      21933
729.24/731.20	c #Conflicts:     202000 | #Constraints:      22933
729.24/731.20	c #Conflicts:     203000 | #Constraints:      23933
729.24/731.20	c #Conflicts:     204000 | #Constraints:      24933
729.24/731.20	c #Conflicts:     205000 | #Constraints:      25933
729.24/731.20	c #Conflicts:     206000 | #Constraints:      26933
729.24/731.20	c #Conflicts:     207000 | #Constraints:      27933
729.24/731.20	c INPROCESSING
729.24/731.20	c GARBAGE COLLECT
729.24/731.20	c #Conflicts:     208000 | #Constraints:      19941
729.24/731.20	c #Conflicts:     209000 | #Constraints:      20941
729.24/731.20	c #Conflicts:     210000 | #Constraints:      21941
729.24/731.20	c #Conflicts:     211000 | #Constraints:      22941
729.24/731.20	c #Conflicts:     212000 | #Constraints:      23941
729.24/731.20	c #Conflicts:     213000 | #Constraints:      24941
1029.93/1032.77	c #Conflicts:     214000 | #Constraints:      25941
1029.93/1032.77	c #Conflicts:     215000 | #Constraints:      26941
1029.93/1032.77	c #Conflicts:     216000 | #Constraints:      27941
1029.93/1032.77	c INPROCESSING
1029.93/1032.77	c GARBAGE COLLECT
1029.93/1032.77	c #Conflicts:     217000 | #Constraints:      19738
1029.93/1032.77	c #Conflicts:     218000 | #Constraints:      20738
1029.93/1032.77	c #Conflicts:     219000 | #Constraints:      21738
1029.93/1032.77	c #Conflicts:     220000 | #Constraints:      22738
1029.93/1032.77	c #Conflicts:     221000 | #Constraints:      23738
1029.93/1032.77	c #Conflicts:     222000 | #Constraints:      24738
1029.93/1032.77	c #Conflicts:     223000 | #Constraints:      25738
1029.93/1032.77	c #Conflicts:     224000 | #Constraints:      26738
1029.93/1032.77	c #Conflicts:     225000 | #Constraints:      27738
1029.93/1032.77	c #Conflicts:     226000 | #Constraints:      28738
1029.93/1032.77	c INPROCESSING
1029.93/1032.77	c GARBAGE COLLECT
1029.93/1032.77	c #Conflicts:     227000 | #Constraints:      20336
1029.93/1032.77	c #Conflicts:     228000 | #Constraints:      21336
1029.93/1032.77	c #Conflicts:     229000 | #Constraints:      22336
1029.93/1032.77	c #Conflicts:     230000 | #Constraints:      23336
1029.93/1032.77	c #Conflicts:     231000 | #Constraints:      24336
1029.93/1032.77	c #Conflicts:     232000 | #Constraints:      25336
1029.93/1032.77	c #Conflicts:     233000 | #Constraints:      26336
1029.93/1032.77	c #Conflicts:     234000 | #Constraints:      27336
1029.93/1032.77	c #Conflicts:     235000 | #Constraints:      28336
1029.93/1032.77	c #Conflicts:     236000 | #Constraints:      29336
1029.93/1032.77	c INPROCESSING
1029.93/1032.77	c GARBAGE COLLECT
1029.93/1032.77	c #Conflicts:     237000 | #Constraints:      20741
1029.93/1032.77	c #Conflicts:     238000 | #Constraints:      21741
1029.93/1032.77	c #Conflicts:     239000 | #Constraints:      22741
1029.93/1032.77	c #Conflicts:     240000 | #Constraints:      23741
1029.93/1032.77	c #Conflicts:     241000 | #Constraints:      24741
1029.93/1032.77	c #Conflicts:     242000 | #Constraints:      25741
1029.93/1032.77	c #Conflicts:     243000 | #Constraints:      26741
1029.93/1032.77	c #Conflicts:     244000 | #Constraints:      27741
1029.93/1032.77	c #Conflicts:     245000 | #Constraints:      28741
1029.93/1032.77	c #Conflicts:     246000 | #Constraints:      29741
1029.93/1032.77	c INPROCESSING
1029.93/1032.77	c GARBAGE COLLECT
1029.93/1032.77	c #Conflicts:     247000 | #Constraints:      20939
1029.93/1032.77	c #Conflicts:     248000 | #Constraints:      21939
1029.93/1032.77	c #Conflicts:     249000 | #Constraints:      22939
1029.93/1032.77	c #Conflicts:     250000 | #Constraints:      23939
1029.93/1032.77	c #Conflicts:     251000 | #Constraints:      24939
1029.93/1032.77	c #Conflicts:     252000 | #Constraints:      25939
1029.93/1032.77	c #Conflicts:     253000 | #Constraints:      26939
1029.93/1032.77	c #Conflicts:     254000 | #Constraints:      27939
1029.93/1032.77	c #Conflicts:     255000 | #Constraints:      28939
1029.93/1032.77	c #Conflicts:     256000 | #Constraints:      29939
1029.93/1032.77	c INPROCESSING
1029.93/1032.77	c GARBAGE COLLECT
1029.93/1032.77	c #Conflicts:     257000 | #Constraints:      20931
1029.93/1032.77	c #Conflicts:     258000 | #Constraints:      21931
1029.93/1032.77	c #Conflicts:     259000 | #Constraints:      22931
1029.93/1032.77	c #Conflicts:     260000 | #Constraints:      23931
1029.93/1032.77	c #Conflicts:     261000 | #Constraints:      24931
1029.93/1032.77	c #Conflicts:     262000 | #Constraints:      25931
1029.93/1032.77	c #Conflicts:     263000 | #Constraints:      26931
1029.93/1032.77	c #Conflicts:     264000 | #Constraints:      27931
1029.93/1032.77	c #Conflicts:     265000 | #Constraints:      28931
1029.93/1032.77	c #Conflicts:     266000 | #Constraints:      29931
1029.93/1032.77	c INPROCESSING
1029.93/1032.77	c GARBAGE COLLECT
1029.93/1032.77	c #Conflicts:     267000 | #Constraints:      20729
1029.93/1032.77	c #Conflicts:     268000 | #Constraints:      21729
1029.93/1032.77	c #Conflicts:     269000 | #Constraints:      22729
1029.93/1032.77	c #Conflicts:     270000 | #Constraints:      23729
1029.93/1032.77	c #Conflicts:     271000 | #Constraints:      24729
1029.93/1032.77	c #Conflicts:     272000 | #Constraints:      25729
1029.93/1032.77	c #Conflicts:     273000 | #Constraints:      26729
1029.93/1032.77	c #Conflicts:     274000 | #Constraints:      27729
1029.93/1032.77	c #Conflicts:     275000 | #Constraints:      28729
1029.93/1032.77	c #Conflicts:     276000 | #Constraints:      29729
1029.93/1032.77	c #Conflicts:     277000 | #Constraints:      30729
1029.93/1032.77	c INPROCESSING
1029.93/1032.77	c GARBAGE COLLECT
1029.93/1032.77	c #Conflicts:     278000 | #Constraints:      21346
1029.93/1032.77	c #Conflicts:     279000 | #Constraints:      22346
1029.93/1032.77	c #Conflicts:     280000 | #Constraints:      23346
1029.93/1032.77	c #Conflicts:     281000 | #Constraints:      24346
1029.93/1032.77	c #Conflicts:     282000 | #Constraints:      25346
1029.93/1032.77	c #Conflicts:     283000 | #Constraints:      26346
1029.93/1032.77	c #Conflicts:     284000 | #Constraints:      27346
1029.93/1032.77	c #Conflicts:     285000 | #Constraints:      28346
1029.93/1032.77	c #Conflicts:     286000 | #Constraints:      29346
1029.93/1032.77	c #Conflicts:     287000 | #Constraints:      30346
1029.93/1032.77	c #Conflicts:     288000 | #Constraints:      31346
1367.61/1371.37	c INPROCESSING
1367.61/1371.37	c GARBAGE COLLECT
1367.61/1371.37	c #Conflicts:     289000 | #Constraints:      21744
1367.61/1371.37	c #Conflicts:     290000 | #Constraints:      22744
1367.61/1371.37	c #Conflicts:     291000 | #Constraints:      23744
1367.61/1371.37	c #Conflicts:     292000 | #Constraints:      24744
1367.61/1371.37	c #Conflicts:     293000 | #Constraints:      25744
1367.61/1371.37	c #Conflicts:     294000 | #Constraints:      26744
1367.61/1371.37	c #Conflicts:     295000 | #Constraints:      27744
1367.61/1371.37	c #Conflicts:     296000 | #Constraints:      28744
1367.61/1371.37	c #Conflicts:     297000 | #Constraints:      29744
1367.61/1371.37	c #Conflicts:     298000 | #Constraints:      30744
1367.61/1371.37	c #Conflicts:     299000 | #Constraints:      31744
1367.61/1371.37	c INPROCESSING
1367.61/1371.37	c GARBAGE COLLECT
1367.61/1371.37	c #Conflicts:     300000 | #Constraints:      21942
1367.61/1371.37	c #Conflicts:     301000 | #Constraints:      22942
1367.61/1371.37	c #Conflicts:     302000 | #Constraints:      23942
1367.61/1371.37	c #Conflicts:     303000 | #Constraints:      24942
1367.61/1371.37	c #Conflicts:     304000 | #Constraints:      25942
1367.61/1371.37	c #Conflicts:     305000 | #Constraints:      26942
1367.61/1371.37	c #Conflicts:     306000 | #Constraints:      27942
1367.61/1371.37	c #Conflicts:     307000 | #Constraints:      28942
1367.61/1371.37	c #Conflicts:     308000 | #Constraints:      29942
1367.61/1371.37	c #Conflicts:     309000 | #Constraints:      30942
1367.61/1371.37	c #Conflicts:     310000 | #Constraints:      31942
1367.61/1371.37	c INPROCESSING
1367.61/1371.37	c GARBAGE COLLECT
1367.61/1371.37	c #Conflicts:     311000 | #Constraints:      21946
1367.61/1371.37	c #Conflicts:     312000 | #Constraints:      22946
1367.61/1371.37	c #Conflicts:     313000 | #Constraints:      23946
1367.61/1371.37	c #Conflicts:     314000 | #Constraints:      24946
1367.61/1371.37	c #Conflicts:     315000 | #Constraints:      25946
1367.61/1371.37	c #Conflicts:     316000 | #Constraints:      26946
1367.61/1371.37	c #Conflicts:     317000 | #Constraints:      27946
1367.61/1371.37	c #Conflicts:     318000 | #Constraints:      28946
1367.61/1371.37	c #Conflicts:     319000 | #Constraints:      29946
1367.61/1371.37	c #Conflicts:     320000 | #Constraints:      30946
1367.61/1371.37	c #Conflicts:     321000 | #Constraints:      31946
1367.61/1371.37	c INPROCESSING
1367.61/1371.37	c GARBAGE COLLECT
1367.61/1371.37	c #Conflicts:     322000 | #Constraints:      21730
1367.61/1371.37	c #Conflicts:     323000 | #Constraints:      22730
1367.61/1371.37	c #Conflicts:     324000 | #Constraints:      23730
1367.61/1371.37	c #Conflicts:     325000 | #Constraints:      24730
1367.61/1371.37	c #Conflicts:     326000 | #Constraints:      25730
1367.61/1371.37	c #Conflicts:     327000 | #Constraints:      26730
1367.61/1371.37	c #Conflicts:     328000 | #Constraints:      27730
1367.61/1371.37	c #Conflicts:     329000 | #Constraints:      28730
1367.61/1371.37	c #Conflicts:     330000 | #Constraints:      29730
1367.61/1371.37	c #Conflicts:     331000 | #Constraints:      30730
1367.61/1371.37	c #Conflicts:     332000 | #Constraints:      31730
1367.61/1371.37	c #Conflicts:     333000 | #Constraints:      32730
1367.61/1371.37	c INPROCESSING
1367.61/1371.37	c GARBAGE COLLECT
1367.61/1371.37	c #Conflicts:     334000 | #Constraints:      22337
1367.61/1371.37	c #Conflicts:     335000 | #Constraints:      23337
1367.61/1371.37	c #Conflicts:     336000 | #Constraints:      24337
1367.61/1371.37	c #Conflicts:     337000 | #Constraints:      25337
1367.61/1371.37	c #Conflicts:     338000 | #Constraints:      26337
1367.61/1371.37	c #Conflicts:     339000 | #Constraints:      27337
1367.61/1371.37	c #Conflicts:     340000 | #Constraints:      28337
1367.61/1371.37	c #Conflicts:     341000 | #Constraints:      29337
1367.61/1371.37	c #Conflicts:     342000 | #Constraints:      30337
1367.61/1371.37	c #Conflicts:     343000 | #Constraints:      31337
1367.61/1371.37	c #Conflicts:     344000 | #Constraints:      32337
1367.61/1371.37	c #Conflicts:     345000 | #Constraints:      33337
1367.61/1371.37	c INPROCESSING
1367.61/1371.37	c GARBAGE COLLECT
1367.61/1371.37	c #Conflicts:     346000 | #Constraints:      22746
1367.61/1371.37	c #Conflicts:     347000 | #Constraints:      23746
1367.61/1371.37	c #Conflicts:     348000 | #Constraints:      24746
1367.61/1371.37	c #Conflicts:     349000 | #Constraints:      25746
1367.61/1371.37	c #Conflicts:     350000 | #Constraints:      26746
1367.61/1371.37	c #Conflicts:     351000 | #Constraints:      27746
1367.61/1371.37	c #Conflicts:     352000 | #Constraints:      28746
1367.61/1371.37	c #Conflicts:     353000 | #Constraints:      29746
1367.61/1371.37	c #Conflicts:     354000 | #Constraints:      30746
1367.61/1371.37	c #Conflicts:     355000 | #Constraints:      31746
1367.61/1371.37	c #Conflicts:     356000 | #Constraints:      32746
1367.61/1371.37	c #Conflicts:     357000 | #Constraints:      33746
1367.61/1371.37	c INPROCESSING
1367.61/1371.37	c GARBAGE COLLECT
1367.61/1371.37	c #Conflicts:     358000 | #Constraints:      22950
1367.61/1371.37	c #Conflicts:     359000 | #Constraints:      23950
1367.61/1371.37	c #Conflicts:     360000 | #Constraints:      24950
1367.61/1371.37	c #Conflicts:     361000 | #Constraints:      25950
1367.61/1371.37	c #Conflicts:     362000 | #Constraints:      26950
1644.75/1649.21	c #Conflicts:     363000 | #Constraints:      27950
1644.75/1649.21	c #Conflicts:     364000 | #Constraints:      28950
1644.75/1649.21	c #Conflicts:     365000 | #Constraints:      29950
1644.75/1649.21	c #Conflicts:     366000 | #Constraints:      30950
1644.75/1649.21	c #Conflicts:     367000 | #Constraints:      31950
1644.75/1649.21	c #Conflicts:     368000 | #Constraints:      32950
1644.75/1649.21	c #Conflicts:     369000 | #Constraints:      33950
1644.75/1649.21	c INPROCESSING
1644.75/1649.21	c GARBAGE COLLECT
1644.75/1649.21	c #Conflicts:     370000 | #Constraints:      22945
1644.75/1649.21	c #Conflicts:     371000 | #Constraints:      23945
1644.75/1649.21	c #Conflicts:     372000 | #Constraints:      24945
1644.75/1649.21	c #Conflicts:     373000 | #Constraints:      25945
1644.75/1649.21	c #Conflicts:     374000 | #Constraints:      26945
1644.75/1649.21	c #Conflicts:     375000 | #Constraints:      27945
1644.75/1649.21	c #Conflicts:     376000 | #Constraints:      28945
1644.75/1649.21	c #Conflicts:     377000 | #Constraints:      29945
1644.75/1649.21	c #Conflicts:     378000 | #Constraints:      30945
1644.75/1649.21	c #Conflicts:     379000 | #Constraints:      31945
1644.75/1649.21	c #Conflicts:     380000 | #Constraints:      32945
1644.75/1649.21	c #Conflicts:     381000 | #Constraints:      33945
1644.75/1649.21	c INPROCESSING
1644.75/1649.21	c GARBAGE COLLECT
1644.75/1649.21	c #Conflicts:     382000 | #Constraints:      22757
1644.75/1649.21	c #Conflicts:     383000 | #Constraints:      23757
1644.75/1649.21	c #Conflicts:     384000 | #Constraints:      24757
1644.75/1649.21	c #Conflicts:     385000 | #Constraints:      25757
1644.75/1649.21	c #Conflicts:     386000 | #Constraints:      26757
1644.75/1649.21	c #Conflicts:     387000 | #Constraints:      27757
1644.75/1649.21	c #Conflicts:     388000 | #Constraints:      28757
1644.75/1649.21	c #Conflicts:     389000 | #Constraints:      29757
1644.75/1649.21	c #Conflicts:     390000 | #Constraints:      30757
1644.75/1649.21	c #Conflicts:     391000 | #Constraints:      31757
1644.75/1649.21	c #Conflicts:     392000 | #Constraints:      32757
1644.75/1649.21	c #Conflicts:     393000 | #Constraints:      33757
1644.75/1649.21	c #Conflicts:     394000 | #Constraints:      34757
1644.75/1649.21	c INPROCESSING
1644.75/1649.21	c GARBAGE COLLECT
1644.75/1649.21	c #Conflicts:     395000 | #Constraints:      23356
1644.75/1649.21	c #Conflicts:     396000 | #Constraints:      24356
1644.75/1649.21	c #Conflicts:     397000 | #Constraints:      25356
1644.75/1649.21	c #Conflicts:     398000 | #Constraints:      26356
1644.75/1649.21	c #Conflicts:     399000 | #Constraints:      27356
1644.75/1649.21	c #Conflicts:     400000 | #Constraints:      28356
1644.75/1649.21	c #Conflicts:     401000 | #Constraints:      29356
1644.75/1649.21	c #Conflicts:     402000 | #Constraints:      30356
1644.75/1649.21	c #Conflicts:     403000 | #Constraints:      31356
1644.75/1649.21	c #Conflicts:     404000 | #Constraints:      32356
1644.75/1649.21	c #Conflicts:     405000 | #Constraints:      33356
1644.75/1649.21	c #Conflicts:     406000 | #Constraints:      34356
1644.75/1649.21	c #Conflicts:     407000 | #Constraints:      35356
1644.75/1649.21	c INPROCESSING
1644.75/1649.21	c GARBAGE COLLECT
1644.75/1649.21	c #Conflicts:     408000 | #Constraints:      23756
1644.75/1649.21	c #Conflicts:     409000 | #Constraints:      24756
1644.75/1649.21	c #Conflicts:     410000 | #Constraints:      25756
1644.75/1649.21	c #Conflicts:     411000 | #Constraints:      26756
1644.75/1649.21	c #Conflicts:     412000 | #Constraints:      27756
1644.75/1649.21	c #Conflicts:     413000 | #Constraints:      28756
1644.75/1649.21	c #Conflicts:     414000 | #Constraints:      29756
1644.75/1649.21	c #Conflicts:     415000 | #Constraints:      30756
1644.75/1649.21	c #Conflicts:     416000 | #Constraints:      31756
1644.75/1649.21	c #Conflicts:     417000 | #Constraints:      32756
1644.75/1649.21	c #Conflicts:     418000 | #Constraints:      33756
1644.75/1649.21	c #Conflicts:     419000 | #Constraints:      34756
1644.75/1649.21	c #Conflicts:     420000 | #Constraints:      35756
1644.75/1649.21	c INPROCESSING
1644.75/1649.21	c GARBAGE COLLECT
1644.75/1649.21	c #Conflicts:     421000 | #Constraints:      23950
1644.75/1649.21	c #Conflicts:     422000 | #Constraints:      24950
1644.75/1649.21	c #Conflicts:     423000 | #Constraints:      25950
1644.75/1649.21	c #Conflicts:     424000 | #Constraints:      26950
1644.75/1649.21	c #Conflicts:     425000 | #Constraints:      27950
1644.75/1649.21	c #Conflicts:     426000 | #Constraints:      28950
1644.75/1649.21	c #Conflicts:     427000 | #Constraints:      29950
1644.75/1649.21	c #Conflicts:     428000 | #Constraints:      30950
1644.75/1649.21	c #Conflicts:     429000 | #Constraints:      31950
1644.75/1649.21	c #Conflicts:     430000 | #Constraints:      32950
1644.75/1649.21	c #Conflicts:     431000 | #Constraints:      33950
1644.75/1649.21	c #Conflicts:     432000 | #Constraints:      34950
1644.75/1649.21	c #Conflicts:     433000 | #Constraints:      35950
1644.75/1649.21	c INPROCESSING
1644.75/1649.21	c GARBAGE COLLECT
1644.75/1649.21	c #Conflicts:     434000 | #Constraints:      23952
1644.75/1649.21	c #Conflicts:     435000 | #Constraints:      24952
1644.75/1649.21	c #Conflicts:     436000 | #Constraints:      25952
1644.75/1649.21	c #Conflicts:     437000 | #Constraints:      26952
1657.61/1662.18	c #Conflicts:     438000 | #Constraints:      27952
1657.61/1662.18	c #Conflicts:     439000 | #Constraints:      28952
1657.61/1662.18	c #Conflicts:     440000 | #Constraints:      29952
1657.61/1662.18	c GLOBAL bounds - >= 0 @ 1644.48
1708.67/1713.37	c #Conflicts:     441000 | #Constraints:      30954
1708.67/1713.37	c #Conflicts:     442000 | #Constraints:      31954
1708.67/1713.37	c #Conflicts:     443000 | #Constraints:      32954
1708.67/1713.37	c #Conflicts:     444000 | #Constraints:      33954
1708.67/1713.37	c #Conflicts:     445000 | #Constraints:      34954
1708.67/1713.37	c #Conflicts:     446000 | #Constraints:      35954
1708.67/1713.37	c INPROCESSING
1708.67/1713.37	c GARBAGE COLLECT
1708.67/1713.37	c #Conflicts:     447000 | #Constraints:      23787
1708.67/1713.37	c #Conflicts:     448000 | #Constraints:      24787
1708.67/1713.37	c #Conflicts:     449000 | #Constraints:      25787
1708.67/1713.37	c #Conflicts:     450000 | #Constraints:      26787
1708.67/1713.37	c #Conflicts:     451000 | #Constraints:      27787
1708.67/1713.37	c #Conflicts:     452000 | #Constraints:      28787
1708.67/1713.37	c GLOBAL bounds - >= 0 @ 1695.33
2179.08/2185.08	c #Conflicts:     453000 | #Constraints:      29789
2179.08/2185.08	c #Conflicts:     454000 | #Constraints:      30789
2179.08/2185.08	c #Conflicts:     455000 | #Constraints:      31789
2179.08/2185.08	c #Conflicts:     456000 | #Constraints:      32789
2179.08/2185.08	c #Conflicts:     457000 | #Constraints:      33789
2179.08/2185.08	c #Conflicts:     458000 | #Constraints:      34789
2179.08/2185.08	c #Conflicts:     459000 | #Constraints:      35789
2179.08/2185.08	c #Conflicts:     460000 | #Constraints:      36789
2179.08/2185.08	c INPROCESSING
2179.08/2185.08	c GARBAGE COLLECT
2179.08/2185.08	c #Conflicts:     461000 | #Constraints:      24398
2179.08/2185.08	c #Conflicts:     462000 | #Constraints:      25398
2179.08/2185.08	c #Conflicts:     463000 | #Constraints:      26398
2179.08/2185.08	c #Conflicts:     464000 | #Constraints:      27398
2179.08/2185.08	c #Conflicts:     465000 | #Constraints:      28398
2179.08/2185.08	c #Conflicts:     466000 | #Constraints:      29398
2179.08/2185.08	c #Conflicts:     467000 | #Constraints:      30398
2179.08/2185.08	c #Conflicts:     468000 | #Constraints:      31398
2179.08/2185.08	c #Conflicts:     469000 | #Constraints:      32398
2179.08/2185.08	c #Conflicts:     470000 | #Constraints:      33398
2179.08/2185.08	c #Conflicts:     471000 | #Constraints:      34398
2179.08/2185.08	c #Conflicts:     472000 | #Constraints:      35398
2179.08/2185.08	c #Conflicts:     473000 | #Constraints:      36398
2179.08/2185.08	c #Conflicts:     474000 | #Constraints:      37398
2179.08/2185.08	c INPROCESSING
2179.08/2185.08	c GARBAGE COLLECT
2179.08/2185.08	c #Conflicts:     475000 | #Constraints:      24799
2179.08/2185.08	c #Conflicts:     476000 | #Constraints:      25799
2179.08/2185.08	c #Conflicts:     477000 | #Constraints:      26799
2179.08/2185.08	c #Conflicts:     478000 | #Constraints:      27799
2179.08/2185.08	c #Conflicts:     479000 | #Constraints:      28799
2179.08/2185.08	c #Conflicts:     480000 | #Constraints:      29799
2179.08/2185.08	c #Conflicts:     481000 | #Constraints:      30799
2179.08/2185.08	c #Conflicts:     482000 | #Constraints:      31799
2179.08/2185.08	c #Conflicts:     483000 | #Constraints:      32799
2179.08/2185.08	c #Conflicts:     484000 | #Constraints:      33799
2179.08/2185.08	c #Conflicts:     485000 | #Constraints:      34799
2179.08/2185.08	c #Conflicts:     486000 | #Constraints:      35799
2179.08/2185.08	c #Conflicts:     487000 | #Constraints:      36799
2179.08/2185.08	c #Conflicts:     488000 | #Constraints:      37799
2179.08/2185.08	c INPROCESSING
2179.08/2185.08	c GARBAGE COLLECT
2179.08/2185.08	c #Conflicts:     489000 | #Constraints:      24988
2179.08/2185.08	c #Conflicts:     490000 | #Constraints:      25988
2179.08/2185.08	c #Conflicts:     491000 | #Constraints:      26988
2179.08/2185.08	c #Conflicts:     492000 | #Constraints:      27988
2179.08/2185.08	c #Conflicts:     493000 | #Constraints:      28988
2179.08/2185.08	c #Conflicts:     494000 | #Constraints:      29988
2179.08/2185.08	c #Conflicts:     495000 | #Constraints:      30988
2179.08/2185.08	c #Conflicts:     496000 | #Constraints:      31988
2179.08/2185.08	c #Conflicts:     497000 | #Constraints:      32988
2179.08/2185.08	c #Conflicts:     498000 | #Constraints:      33988
2179.08/2185.08	c #Conflicts:     499000 | #Constraints:      34988
2179.08/2185.08	c #Conflicts:     500000 | #Constraints:      35988
2179.08/2185.08	c #Conflicts:     501000 | #Constraints:      36988
2179.08/2185.08	c #Conflicts:     502000 | #Constraints:      37988
2179.08/2185.08	c INPROCESSING
2179.08/2185.08	c GARBAGE COLLECT
2179.08/2185.08	c #Conflicts:     503000 | #Constraints:      25003
2179.08/2185.08	c #Conflicts:     504000 | #Constraints:      26003
2179.08/2185.08	c #Conflicts:     505000 | #Constraints:      27003
2179.08/2185.08	c #Conflicts:     506000 | #Constraints:      28003
2179.08/2185.08	c #Conflicts:     507000 | #Constraints:      29003
2179.08/2185.08	c #Conflicts:     508000 | #Constraints:      30003
2179.08/2185.08	c #Conflicts:     509000 | #Constraints:      31003
2179.08/2185.08	c #Conflicts:     510000 | #Constraints:      32003
2179.08/2185.08	c #Conflicts:     511000 | #Constraints:      33003
2179.08/2185.08	c #Conflicts:     512000 | #Constraints:      34003
2179.08/2185.08	c #Conflicts:     513000 | #Constraints:      35003
2179.08/2185.08	c #Conflicts:     514000 | #Constraints:      36003
2179.08/2185.08	c #Conflicts:     515000 | #Constraints:      37003
2179.08/2185.08	c #Conflicts:     516000 | #Constraints:      38003
2179.08/2185.08	c INPROCESSING
2179.08/2185.08	c GARBAGE COLLECT
2179.08/2185.08	c #Conflicts:     517000 | #Constraints:      24786
2179.08/2185.08	c #Conflicts:     518000 | #Constraints:      25786
2179.08/2185.08	c #Conflicts:     519000 | #Constraints:      26786
2179.08/2185.08	c #Conflicts:     520000 | #Constraints:      27786
2179.08/2185.08	c #Conflicts:     521000 | #Constraints:      28786
2179.08/2185.08	c #Conflicts:     522000 | #Constraints:      29786
2179.08/2185.08	c #Conflicts:     523000 | #Constraints:      30786
2179.08/2185.08	c #Conflicts:     524000 | #Constraints:      31786
2179.08/2185.08	c #Conflicts:     525000 | #Constraints:      32786
2179.08/2185.08	c #Conflicts:     526000 | #Constraints:      33786
2179.08/2185.08	c #Conflicts:     527000 | #Constraints:      34786
2179.08/2185.08	c #Conflicts:     528000 | #Constraints:      35786
2683.99/2691.35	c #Conflicts:     529000 | #Constraints:      36786
2683.99/2691.35	c #Conflicts:     530000 | #Constraints:      37786
2683.99/2691.35	c #Conflicts:     531000 | #Constraints:      38786
2683.99/2691.35	c INPROCESSING
2683.99/2691.35	c GARBAGE COLLECT
2683.99/2691.35	c #Conflicts:     532000 | #Constraints:      25381
2683.99/2691.35	c #Conflicts:     533000 | #Constraints:      26381
2683.99/2691.35	c #Conflicts:     534000 | #Constraints:      27381
2683.99/2691.35	c #Conflicts:     535000 | #Constraints:      28381
2683.99/2691.35	c #Conflicts:     536000 | #Constraints:      29381
2683.99/2691.35	c #Conflicts:     537000 | #Constraints:      30381
2683.99/2691.35	c #Conflicts:     538000 | #Constraints:      31381
2683.99/2691.35	c #Conflicts:     539000 | #Constraints:      32381
2683.99/2691.35	c #Conflicts:     540000 | #Constraints:      33381
2683.99/2691.35	c #Conflicts:     541000 | #Constraints:      34381
2683.99/2691.35	c #Conflicts:     542000 | #Constraints:      35381
2683.99/2691.35	c #Conflicts:     543000 | #Constraints:      36381
2683.99/2691.35	c #Conflicts:     544000 | #Constraints:      37381
2683.99/2691.35	c #Conflicts:     545000 | #Constraints:      38381
2683.99/2691.35	c #Conflicts:     546000 | #Constraints:      39381
2683.99/2691.35	c INPROCESSING
2683.99/2691.35	c GARBAGE COLLECT
2683.99/2691.35	c #Conflicts:     547000 | #Constraints:      25792
2683.99/2691.35	c #Conflicts:     548000 | #Constraints:      26792
2683.99/2691.35	c #Conflicts:     549000 | #Constraints:      27792
2683.99/2691.35	c #Conflicts:     550000 | #Constraints:      28792
2683.99/2691.35	c #Conflicts:     551000 | #Constraints:      29792
2683.99/2691.35	c #Conflicts:     552000 | #Constraints:      30792
2683.99/2691.35	c #Conflicts:     553000 | #Constraints:      31792
2683.99/2691.35	c #Conflicts:     554000 | #Constraints:      32792
2683.99/2691.35	c #Conflicts:     555000 | #Constraints:      33792
2683.99/2691.35	c #Conflicts:     556000 | #Constraints:      34792
2683.99/2691.35	c #Conflicts:     557000 | #Constraints:      35792
2683.99/2691.35	c #Conflicts:     558000 | #Constraints:      36792
2683.99/2691.35	c #Conflicts:     559000 | #Constraints:      37792
2683.99/2691.35	c #Conflicts:     560000 | #Constraints:      38792
2683.99/2691.35	c #Conflicts:     561000 | #Constraints:      39792
2683.99/2691.35	c INPROCESSING
2683.99/2691.35	c GARBAGE COLLECT
2683.99/2691.35	c #Conflicts:     562000 | #Constraints:      25980
2683.99/2691.35	c #Conflicts:     563000 | #Constraints:      26980
2683.99/2691.35	c #Conflicts:     564000 | #Constraints:      27980
2683.99/2691.35	c #Conflicts:     565000 | #Constraints:      28980
2683.99/2691.35	c #Conflicts:     566000 | #Constraints:      29980
2683.99/2691.35	c #Conflicts:     567000 | #Constraints:      30980
2683.99/2691.35	c #Conflicts:     568000 | #Constraints:      31980
2683.99/2691.35	c #Conflicts:     569000 | #Constraints:      32980
2683.99/2691.35	c #Conflicts:     570000 | #Constraints:      33980
2683.99/2691.35	c #Conflicts:     571000 | #Constraints:      34980
2683.99/2691.35	c #Conflicts:     572000 | #Constraints:      35980
2683.99/2691.35	c #Conflicts:     573000 | #Constraints:      36980
2683.99/2691.35	c #Conflicts:     574000 | #Constraints:      37980
2683.99/2691.35	c #Conflicts:     575000 | #Constraints:      38980
2683.99/2691.35	c #Conflicts:     576000 | #Constraints:      39980
2683.99/2691.35	c INPROCESSING
2683.99/2691.35	c GARBAGE COLLECT
2683.99/2691.35	c #Conflicts:     577000 | #Constraints:      25994
2683.99/2691.35	c #Conflicts:     578000 | #Constraints:      26994
2683.99/2691.35	c #Conflicts:     579000 | #Constraints:      27994
2683.99/2691.35	c #Conflicts:     580000 | #Constraints:      28994
2683.99/2691.35	c #Conflicts:     581000 | #Constraints:      29994
2683.99/2691.35	c #Conflicts:     582000 | #Constraints:      30994
2683.99/2691.35	c #Conflicts:     583000 | #Constraints:      31994
2683.99/2691.35	c #Conflicts:     584000 | #Constraints:      32994
2683.99/2691.35	c #Conflicts:     585000 | #Constraints:      33994
2683.99/2691.35	c #Conflicts:     586000 | #Constraints:      34994
2683.99/2691.35	c #Conflicts:     587000 | #Constraints:      35994
2683.99/2691.35	c #Conflicts:     588000 | #Constraints:      36994
2683.99/2691.35	c #Conflicts:     589000 | #Constraints:      37994
2683.99/2691.35	c #Conflicts:     590000 | #Constraints:      38994
2683.99/2691.35	c #Conflicts:     591000 | #Constraints:      39994
2683.99/2691.35	c INPROCESSING
2683.99/2691.35	c GARBAGE COLLECT
2683.99/2691.35	c #Conflicts:     592000 | #Constraints:      25786
2683.99/2691.35	c #Conflicts:     593000 | #Constraints:      26786
2683.99/2691.35	c #Conflicts:     594000 | #Constraints:      27786
2683.99/2691.35	c #Conflicts:     595000 | #Constraints:      28786
2683.99/2691.35	c #Conflicts:     596000 | #Constraints:      29786
2683.99/2691.35	c #Conflicts:     597000 | #Constraints:      30786
2683.99/2691.35	c #Conflicts:     598000 | #Constraints:      31786
2683.99/2691.35	c #Conflicts:     599000 | #Constraints:      32786
2683.99/2691.35	c #Conflicts:     600000 | #Constraints:      33786
2683.99/2691.35	c #Conflicts:     601000 | #Constraints:      34786
2683.99/2691.35	c #Conflicts:     602000 | #Constraints:      35786
2683.99/2691.35	c #Conflicts:     603000 | #Constraints:      36786
2683.99/2691.35	c #Conflicts:     604000 | #Constraints:      37786
3169.58/3178.22	c #Conflicts:     605000 | #Constraints:      38786
3169.58/3178.22	c #Conflicts:     606000 | #Constraints:      39786
3169.58/3178.22	c #Conflicts:     607000 | #Constraints:      40786
3169.58/3178.22	c INPROCESSING
3169.58/3178.22	c GARBAGE COLLECT
3169.58/3178.22	c #Conflicts:     608000 | #Constraints:      26390
3169.58/3178.22	c #Conflicts:     609000 | #Constraints:      27390
3169.58/3178.22	c #Conflicts:     610000 | #Constraints:      28390
3169.58/3178.22	c #Conflicts:     611000 | #Constraints:      29390
3169.58/3178.22	c #Conflicts:     612000 | #Constraints:      30390
3169.58/3178.22	c #Conflicts:     613000 | #Constraints:      31390
3169.58/3178.22	c #Conflicts:     614000 | #Constraints:      32390
3169.58/3178.22	c #Conflicts:     615000 | #Constraints:      33390
3169.58/3178.22	c #Conflicts:     616000 | #Constraints:      34390
3169.58/3178.22	c #Conflicts:     617000 | #Constraints:      35390
3169.58/3178.22	c #Conflicts:     618000 | #Constraints:      36390
3169.58/3178.22	c #Conflicts:     619000 | #Constraints:      37390
3169.58/3178.22	c #Conflicts:     620000 | #Constraints:      38390
3169.58/3178.22	c #Conflicts:     621000 | #Constraints:      39390
3169.58/3178.22	c #Conflicts:     622000 | #Constraints:      40390
3169.58/3178.22	c #Conflicts:     623000 | #Constraints:      41390
3169.58/3178.22	c INPROCESSING
3169.58/3178.22	c GARBAGE COLLECT
3169.58/3178.22	c #Conflicts:     624000 | #Constraints:      26787
3169.58/3178.22	c #Conflicts:     625000 | #Constraints:      27787
3169.58/3178.22	c #Conflicts:     626000 | #Constraints:      28787
3169.58/3178.22	c #Conflicts:     627000 | #Constraints:      29787
3169.58/3178.22	c #Conflicts:     628000 | #Constraints:      30787
3169.58/3178.22	c #Conflicts:     629000 | #Constraints:      31787
3169.58/3178.22	c #Conflicts:     630000 | #Constraints:      32787
3169.58/3178.22	c #Conflicts:     631000 | #Constraints:      33787
3169.58/3178.22	c #Conflicts:     632000 | #Constraints:      34787
3169.58/3178.22	c #Conflicts:     633000 | #Constraints:      35787
3169.58/3178.22	c #Conflicts:     634000 | #Constraints:      36787
3169.58/3178.22	c #Conflicts:     635000 | #Constraints:      37787
3169.58/3178.22	c #Conflicts:     636000 | #Constraints:      38787
3169.58/3178.22	c #Conflicts:     637000 | #Constraints:      39787
3169.58/3178.22	c #Conflicts:     638000 | #Constraints:      40787
3169.58/3178.22	c #Conflicts:     639000 | #Constraints:      41787
3169.58/3178.22	c INPROCESSING
3169.58/3178.22	c GARBAGE COLLECT
3169.58/3178.22	c #Conflicts:     640000 | #Constraints:      27018
3169.58/3178.22	c #Conflicts:     641000 | #Constraints:      28018
3169.58/3178.22	c #Conflicts:     642000 | #Constraints:      29018
3169.58/3178.22	c #Conflicts:     643000 | #Constraints:      30018
3169.58/3178.22	c #Conflicts:     644000 | #Constraints:      31018
3169.58/3178.22	c #Conflicts:     645000 | #Constraints:      32018
3169.58/3178.22	c #Conflicts:     646000 | #Constraints:      33018
3169.58/3178.22	c #Conflicts:     647000 | #Constraints:      34018
3169.58/3178.22	c #Conflicts:     648000 | #Constraints:      35018
3169.58/3178.22	c #Conflicts:     649000 | #Constraints:      36018
3169.58/3178.22	c #Conflicts:     650000 | #Constraints:      37018
3169.58/3178.22	c #Conflicts:     651000 | #Constraints:      38018
3169.58/3178.22	c #Conflicts:     652000 | #Constraints:      39018
3169.58/3178.22	c #Conflicts:     653000 | #Constraints:      40018
3169.58/3178.22	c #Conflicts:     654000 | #Constraints:      41018
3169.58/3178.22	c #Conflicts:     655000 | #Constraints:      42018
3169.58/3178.22	c INPROCESSING
3169.58/3178.22	c GARBAGE COLLECT
3169.58/3178.22	c #Conflicts:     656000 | #Constraints:      27018
3169.58/3178.22	c #Conflicts:     657000 | #Constraints:      28018
3169.58/3178.22	c #Conflicts:     658000 | #Constraints:      29018
3169.58/3178.22	c #Conflicts:     659000 | #Constraints:      30018
3169.58/3178.22	c #Conflicts:     660000 | #Constraints:      31018
3169.58/3178.22	c #Conflicts:     661000 | #Constraints:      32018
3169.58/3178.22	c #Conflicts:     662000 | #Constraints:      33018
3169.58/3178.22	c #Conflicts:     663000 | #Constraints:      34018
3169.58/3178.22	c #Conflicts:     664000 | #Constraints:      35018
3169.58/3178.22	c #Conflicts:     665000 | #Constraints:      36018
3169.58/3178.22	c #Conflicts:     666000 | #Constraints:      37018
3169.58/3178.22	c #Conflicts:     667000 | #Constraints:      38018
3169.58/3178.22	c #Conflicts:     668000 | #Constraints:      39018
3169.58/3178.22	c #Conflicts:     669000 | #Constraints:      40018
3169.58/3178.22	c #Conflicts:     670000 | #Constraints:      41018
3169.58/3178.22	c #Conflicts:     671000 | #Constraints:      42018
3169.58/3178.22	c INPROCESSING
3169.58/3178.22	c GARBAGE COLLECT
3169.58/3178.22	c #Conflicts:     672000 | #Constraints:      26813
3169.58/3178.22	c #Conflicts:     673000 | #Constraints:      27813
3169.58/3178.22	c #Conflicts:     674000 | #Constraints:      28813
3169.58/3178.22	c #Conflicts:     675000 | #Constraints:      29813
3169.58/3178.22	c #Conflicts:     676000 | #Constraints:      30813
3169.58/3178.22	c #Conflicts:     677000 | #Constraints:      31813
3169.58/3178.22	c #Conflicts:     678000 | #Constraints:      32813
3169.58/3178.22	c #Conflicts:     679000 | #Constraints:      33813
3600.04/3609.90	c #Conflicts:     680000 | #Constraints:      34813
3600.04/3609.90	c #Conflicts:     681000 | #Constraints:      35813
3600.04/3609.90	c #Conflicts:     682000 | #Constraints:      36813
3600.04/3609.90	c #Conflicts:     683000 | #Constraints:      37813
3600.04/3609.90	c #Conflicts:     684000 | #Constraints:      38813
3600.04/3609.90	c #Conflicts:     685000 | #Constraints:      39813
3600.04/3609.90	c #Conflicts:     686000 | #Constraints:      40813
3600.04/3609.90	c #Conflicts:     687000 | #Constraints:      41813
3600.04/3609.90	c #Conflicts:     688000 | #Constraints:      42813
3600.04/3609.90	c INPROCESSING
3600.04/3609.90	c GARBAGE COLLECT
3600.04/3609.90	c #Conflicts:     689000 | #Constraints:      27402
3600.04/3609.90	c #Conflicts:     690000 | #Constraints:      28402
3600.04/3609.90	c #Conflicts:     691000 | #Constraints:      29402
3600.04/3609.90	c #Conflicts:     692000 | #Constraints:      30402
3600.04/3609.90	c #Conflicts:     693000 | #Constraints:      31402
3600.04/3609.90	c #Conflicts:     694000 | #Constraints:      32402
3600.04/3609.90	c #Conflicts:     695000 | #Constraints:      33402
3600.04/3609.90	c #Conflicts:     696000 | #Constraints:      34402
3600.04/3609.90	c #Conflicts:     697000 | #Constraints:      35402
3600.04/3609.90	c #Conflicts:     698000 | #Constraints:      36402
3600.04/3609.90	c #Conflicts:     699000 | #Constraints:      37402
3600.04/3609.90	c #Conflicts:     700000 | #Constraints:      38402
3600.04/3609.90	c #Conflicts:     701000 | #Constraints:      39402
3600.04/3609.90	c #Conflicts:     702000 | #Constraints:      40402
3600.04/3609.90	c #Conflicts:     703000 | #Constraints:      41402
3600.04/3609.90	c #Conflicts:     704000 | #Constraints:      42402
3600.04/3609.90	c #Conflicts:     705000 | #Constraints:      43402
3600.04/3609.90	c INPROCESSING
3600.04/3609.90	c GARBAGE COLLECT
3600.04/3609.90	c #Conflicts:     706000 | #Constraints:      27793
3600.04/3609.90	c #Conflicts:     707000 | #Constraints:      28793
3600.04/3609.90	c #Conflicts:     708000 | #Constraints:      29793
3600.04/3609.90	c #Conflicts:     709000 | #Constraints:      30793
3600.04/3609.90	c #Conflicts:     710000 | #Constraints:      31793
3600.04/3609.90	c #Conflicts:     711000 | #Constraints:      32793
3600.04/3609.90	c #Conflicts:     712000 | #Constraints:      33793
3600.04/3609.90	c #Conflicts:     713000 | #Constraints:      34793
3600.04/3609.90	c #Conflicts:     714000 | #Constraints:      35793
3600.04/3609.90	c #Conflicts:     715000 | #Constraints:      36793
3600.04/3609.90	c #Conflicts:     716000 | #Constraints:      37793
3600.04/3609.90	c #Conflicts:     717000 | #Constraints:      38793
3600.04/3609.90	c #Conflicts:     718000 | #Constraints:      39793
3600.04/3609.90	c #Conflicts:     719000 | #Constraints:      40793
3600.04/3609.90	c #Conflicts:     720000 | #Constraints:      41793
3600.04/3609.90	c #Conflicts:     721000 | #Constraints:      42793
3600.04/3609.90	c #Conflicts:     722000 | #Constraints:      43793
3600.04/3609.90	c INPROCESSING
3600.04/3609.90	c GARBAGE COLLECT
3600.04/3609.90	c #Conflicts:     723000 | #Constraints:      27996
3600.04/3609.90	c #Conflicts:     724000 | #Constraints:      28996
3600.04/3609.90	c #Conflicts:     725000 | #Constraints:      29996
3600.04/3609.90	c #Conflicts:     726000 | #Constraints:      30996
3600.04/3609.90	c #Conflicts:     727000 | #Constraints:      31996
3600.04/3609.90	c #Conflicts:     728000 | #Constraints:      32996
3600.04/3609.90	c #Conflicts:     729000 | #Constraints:      33996
3600.04/3609.90	c #Conflicts:     730000 | #Constraints:      34996
3600.04/3609.90	c #Conflicts:     731000 | #Constraints:      35996
3600.04/3609.90	c #Conflicts:     732000 | #Constraints:      36996
3600.04/3609.90	c #Conflicts:     733000 | #Constraints:      37996
3600.04/3609.90	c #Conflicts:     734000 | #Constraints:      38996
3600.04/3609.90	c #Conflicts:     735000 | #Constraints:      39996
3600.04/3609.90	c #Conflicts:     736000 | #Constraints:      40996
3600.04/3609.90	c #Conflicts:     737000 | #Constraints:      41996
3600.04/3609.90	c #Conflicts:     738000 | #Constraints:      42996
3600.04/3609.90	c #Conflicts:     739000 | #Constraints:      43996
3600.04/3609.90	c INPROCESSING
3600.04/3609.90	c GARBAGE COLLECT
3600.04/3609.90	c #Conflicts:     740000 | #Constraints:      27979
3600.04/3609.90	c #Conflicts:     741000 | #Constraints:      28979
3600.04/3609.90	c #Conflicts:     742000 | #Constraints:      29979
3600.04/3609.90	c #Conflicts:     743000 | #Constraints:      30979
3600.04/3609.90	c #Conflicts:     744000 | #Constraints:      31979
3600.04/3609.90	c #Conflicts:     745000 | #Constraints:      32979
3600.04/3609.90	c #Conflicts:     746000 | #Constraints:      33979
3600.04/3609.90	c cpu time 3576.2 s
3600.04/3609.90	c deterministic time 1 1.00e+00
3600.04/3609.90	c optimization time 3576.17 s
3600.04/3609.90	c total solve time 0 s
3600.04/3609.90	c core-guided solve time 0 s
3600.04/3609.90	c propagation time 0.002422 s
3600.04/3609.90	c conflict analysis time 0 s
3600.04/3609.90	c propagations 0
3600.04/3609.90	c resolve steps 0
3600.04/3609.90	c decisions 0
3600.04/3609.90	c conflicts 0
3600.04/3609.90	c restarts 0
3600.04/3609.90	c inprocessing phases 0
3600.04/3609.90	c garbage collections 0 ,( -nan )
3600.04/3609.90	c input clauses 10082 ,( 100.00 )
3600.04/3609.90	c input cardinalities 0 ,( 0.00 )
3600.04/3609.90	c input general constraints 0 ,( 0.00 )
3600.04/3609.90	c input average constraint length 2.00
3600.04/3609.90	c input average constraint degree 1.00
3600.04/3609.90	c learned clauses 0 ,( 0.00 )
3600.04/3609.90	c learned cardinalities 0 ,( 0.00 )
3600.04/3609.90	c learned general constraints 0 ,( 0.00 )
3600.04/3609.90	c learned average constraint length 0.00
3600.04/3609.90	c learned average constraint degree 0.00
3600.04/3609.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3609.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3609.90	c watched   constraints 0 ,( -nan ) 
3600.04/3609.90	c counting  constraints 0 ,( -nan ) 
3600.04/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3609.90	c gcd simplifications 0
3600.04/3609.90	c detected cardinalities 0
3600.04/3609.90	c weakened non-implied lits 0
3600.04/3609.90	c weakened non-implying lits 0
3600.04/3609.90	c original variables 5041
3600.04/3609.90	c clausal propagations 0
3600.04/3609.90	c cardinality propagations 0
3600.04/3609.90	c watched propagations 0
3600.04/3609.90	c counting propagations 0
3600.04/3609.90	c watch lookups 0
3600.04/3609.90	c watch backjump lookups 0
3600.04/3609.90	c watch checks 0
3600.04/3609.90	c propagation checks 0
3600.04/3609.90	c constraint additions 0
3600.04/3609.90	c trail pops 0
3600.04/3609.90	c formula constraints 10082
3600.04/3609.90	c learned constraints 0
3600.04/3609.90	c bound constraints 0
3600.04/3609.90	c core-guided constraints 0
3600.04/3609.90	c encountered formula constraints 0
3600.04/3609.90	c encountered learned constraints 0
3600.04/3609.90	c encountered bound constraints 0
3600.04/3609.90	c encountered core-guided constraints 0
3600.04/3609.90	c LP total time 0 s
3600.04/3609.90	c LP solve time 0 s
3600.04/3609.90	c LP constraints added 0
3600.04/3609.90	c LP constraints removed 0
3600.04/3609.90	c LP pivots internal 0
3600.04/3609.90	c LP pivots root 0
3600.04/3609.90	c LP calls 0
3600.04/3609.90	c LP optimalities 0
3600.04/3609.90	c LP no pivot count 0
3600.04/3609.90	c LP infeasibilities 0
3600.04/3609.90	c LP valid Farkas constraints 0
3600.04/3609.90	c LP learned Farkas constraints 0
3600.04/3609.90	c LP basis resets 0
3600.04/3609.90	c LP cycling count 0
3600.04/3609.90	c LP singular count 0
3600.04/3609.90	c LP no primal count 0
3600.04/3609.90	c LP no farkas count 0
3600.04/3609.90	c LP other issue count 0
3600.04/3609.90	c LP Gomory cuts 0
3600.04/3609.90	c LP learned cuts 0
3600.04/3609.90	c LP deleted cuts 0
3600.04/3609.90	c LP encountered Gomory constraints 0
3600.04/3609.90	c LP encountered Farkas constraints 0
3600.04/3609.90	c LP encountered learned Farkas constraints 0
3600.04/3609.90	c CG auxiliary variables introduced 0
3600.04/3609.90	c CG solutions found 0
3600.04/3609.90	c CG cores constructed 0
3600.04/3609.90	c CG core cardinality constraints returned 0
3600.04/3609.90	c CG unit cores 0
3600.04/3609.90	c CG single cores 0
3600.04/3609.90	c CG blocks removed during cardinality reduction 0
3600.04/3609.90	c CG first core best 0
3600.04/3609.90	c CG decision core best 0
3600.04/3609.90	c CG core reduction tie 0
3600.04/3609.90	c CG core degree average 0.00
3600.04/3609.90	c CG core slack average 0.00
3600.04/3609.90	c CG core upper bound improvements 0
3600.04/3609.90	c STR number of successful calls 0
3600.04/3609.90	c STR number of unsuccessful calls 0
3600.04/3609.90	c STR number of inconclusive calls 0
3600.04/3609.90	c STR number of successful attempts 0
3600.04/3609.90	c STR number of unsuccessful attempts 0
3600.04/3609.90	c STR number of inconclusive attempts 0
3600.04/3609.90	c STR average degree increase per successful call inf
3600.04/3609.90	c STR average degree increase per successful attempt inf
3600.04/3609.90	c STR total number of conflicts for successful attempts 0
3600.04/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.90	c STR average number of conflicts per successful attempt inf
3600.04/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.90	c AVG.sumWPerc -nan 
3600.04/3609.90	c bigint constraints 0 
3600.04/3609.90	s UNKNOWN
3600.04/3609.90	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: 63708 MiB (56705 MiB free)
  memory of node 1: 64465 MiB (58280 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521538-1751586189/watcher-4521538-1751586189 -o /tmp/evaluation-result-4521538-1751586189/solver-4521538-1751586189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87391 --watchdog 3760 run-opt.sh HOME/instance-4521538-1751586189.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 3.60 2.87 3.46 5/269 87553
/proc/meminfo: memFree=117736404/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=78484 memory=30540 CPUtime=0.09 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 5237 0 0 0 7 2 0 0 20 0 1 0 74298325 80367616 7635 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 19621 7635 2304 1147 0 7048 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82676 KiB
Current children cumulated memory: 33484 KiB

[startup+0.205618 s]*
/proc/loadavg: 3.60 2.87 3.46 5/269 87553
/proc/meminfo: memFree=117728340/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=87968 memory=39372 CPUtime=0.19 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 7436 0 0 0 17 2 0 0 20 0 1 0 74298325 90079232 9843 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 21992 9843 2336 1147 0 9419 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92160 KiB
Current children cumulated memory: 42316 KiB

[startup+0.305596 s]*
/proc/loadavg: 3.60 2.87 3.46 5/269 87553
/proc/meminfo: memFree=117708620/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=102948 memory=52900 CPUtime=0.29 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 10317 0 0 0 26 3 0 0 20 0 1 0 74298325 105418752 13225 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 25737 13225 2336 1147 0 13164 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107140 KiB
Current children cumulated memory: 55844 KiB

[startup+0.700184 s]
/proc/loadavg: 3.63 2.89 3.46 5/269 87553
/proc/meminfo: memFree=117687892/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=130628 memory=82240 CPUtime=0.68 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 16096 0 0 0 64 4 0 0 20 0 1 0 74298325 133763072 20560 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 32657 20560 2336 1147 0 20084 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 134820 KiB
Current children cumulated memory: 85184 KiB

[startup+1.50016 s]
/proc/loadavg: 3.63 2.89 3.46 5/269 87553
/proc/meminfo: memFree=117644508/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=183520 memory=131344 CPUtime=1.48 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 25817 0 0 0 141 7 0 0 20 0 1 0 74298325 187924480 32836 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 45880 32836 2336 1147 0 33307 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187712 KiB
Current children cumulated memory: 134288 KiB

[startup+3.10535 s]
/proc/loadavg: 3.63 2.89 3.46 5/269 87553
/proc/meminfo: memFree=117616216/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=203784 memory=151644 CPUtime=3.07 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 27823 0 0 0 298 9 0 0 20 0 1 0 74298325 208674816 37911 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 50946 37911 2336 1147 0 38373 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 207976 KiB
Current children cumulated memory: 154588 KiB

[startup+6.30018 s]
/proc/loadavg: 3.66 2.91 3.46 5/269 87553
/proc/meminfo: memFree=117547984/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=314400 memory=213824 CPUtime=6.26 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 41860 0 0 0 613 13 0 0 20 0 1 0 74298325 321945600 53456 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 78600 53456 2336 1147 0 66027 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 318592 KiB
Current children cumulated memory: 216768 KiB

[startup+12.7002 s]
/proc/loadavg: 3.77 2.95 3.47 5/269 87553
/proc/meminfo: memFree=117487560/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=509584 memory=361740 CPUtime=12.65 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 70156 0 0 0 1240 25 0 0 20 0 1 0 74298325 521814016 90435 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 127396 90435 2336 1147 0 114823 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 513776 KiB
Current children cumulated memory: 364684 KiB

[startup+25.5002 s]
/proc/loadavg: 3.81 2.98 3.48 5/269 87553
/proc/meminfo: memFree=117310896/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=519352 memory=425036 CPUtime=25.41 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 78827 0 0 0 2505 36 0 0 20 0 1 0 74298325 531816448 106259 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 129838 106259 2336 1147 0 117265 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 523544 KiB
Current children cumulated memory: 427980 KiB

[startup+51.1054 s]
/proc/loadavg: 3.88 3.08 3.50 5/269 87554
/proc/meminfo: memFree=117274336/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=600740 memory=456164 CPUtime=50.95 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 82002 0 0 0 5044 51 0 0 20 0 1 0 74298325 615157760 114041 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 150185 114041 2336 1147 0 137612 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 604932 KiB
Current children cumulated memory: 459108 KiB

[startup+102.3 s]
/proc/loadavg: 3.99 3.24 3.53 5/270 87558
/proc/meminfo: memFree=117060700/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=872772 memory=668452 CPUtime=102.02 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 124383 0 0 0 10103 99 0 0 20 0 1 0 74298325 893718528 167113 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 218193 167113 2336 1147 0 205620 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 876964 KiB
Current children cumulated memory: 671396 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.39 3.57 5/271 87561
/proc/meminfo: memFree=116934200/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1036268 memory=757508 CPUtime=161.86 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 137967 0 0 0 16046 140 0 0 20 0 1 0 74298325 1061138432 189377 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 259067 189377 2336 1147 0 246494 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1040460 KiB
Current children cumulated memory: 760452 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.52 3.60 5/270 87563
/proc/meminfo: memFree=116841144/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1041676 memory=812360 CPUtime=221.7 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 145542 0 0 0 21992 178 0 0 20 0 1 0 74298325 1066676224 203090 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 260419 203090 2336 1147 0 247846 0

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

/proc/87553/statm: 479042 398233 2336 1147 0 466469 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1595876 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.29 4.16 5/269 87725
/proc/meminfo: memFree=115042784/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916168 memory=1592932 CPUtime=3153.72 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273385 0 0 0 313256 2116 0 0 20 0 1 0 74298325 1962156032 398233 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479042 398233 2336 1147 0 466469 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1595876 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.25 4.15 5/268 87726
/proc/meminfo: memFree=115030444/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916168 memory=1592932 CPUtime=3213.55 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273385 0 0 0 319203 2152 0 0 20 0 1 0 74298325 1962156032 398233 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479042 398233 2336 1147 0 466469 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1595876 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.23 4.15 5/269 87729
/proc/meminfo: memFree=115027216/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916168 memory=1592932 CPUtime=3273.4 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273388 0 0 0 325138 2202 0 0 20 0 1 0 74298325 1962156032 398233 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479042 398233 2336 1147 0 466469 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1595876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/268 87731
/proc/meminfo: memFree=114959192/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916168 memory=1593060 CPUtime=3333.23 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273553 0 0 0 331093 2230 0 0 20 0 1 0 74298325 1962156032 398265 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479042 398265 2336 1147 0 466469 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1596004 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/269 87734
/proc/meminfo: memFree=114925348/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916168 memory=1593060 CPUtime=3393.06 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273577 0 0 0 337043 2263 0 0 20 0 1 0 74298325 1962156032 398265 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479042 398265 2336 1147 0 466469 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1596004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/269 87736
/proc/meminfo: memFree=114922932/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916168 memory=1593060 CPUtime=3452.9 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273577 0 0 0 342994 2296 0 0 20 0 1 0 74298325 1962156032 398265 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479042 398265 2336 1147 0 466469 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1596004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/269 87925
/proc/meminfo: memFree=116811320/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916168 memory=1593188 CPUtime=3512.69 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273590 0 0 0 348932 2337 0 0 20 0 1 0 74298325 1962156032 398297 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479042 398297 2336 1147 0 466469 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 1920360 KiB
Current children cumulated memory: 1596132 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/269 87928
/proc/meminfo: memFree=116276728/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916960 memory=1594084 CPUtime=3572.52 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273940 0 0 0 354879 2373 0 0 20 0 1 0 74298325 1962967040 398521 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479240 398521 2336 1147 0 466667 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 1921152 KiB
Current children cumulated memory: 1597028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.09 4.14 4.13 5/269 87929
/proc/meminfo: memFree=116226644/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916960 memory=1594084 CPUtime=3600.04 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273941 0 0 0 357619 2385 0 0 20 0 1 0 74298325 1962967040 398521 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479240 398521 2336 1147 0 466667 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1921152 KiB
Current children cumulated memory: 1597028 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000642 s, system=0.001284 s

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

# cumulated CPU time of all completed processes:  user=3576.2 s, system=23.9128 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+3609.9 s]
/proc/loadavg: 4.09 4.14 4.13 5/269 87929
/proc/meminfo: memFree=116226644/131250000 swapFree=33009904/33010684
[pid=87551] ppid=87548 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/87551/stat : 87551 (run-opt.sh) S 87548 87551 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 74298324 4292608 736 18446744073709551615 93876946448384 93876947342917 140734564584928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93876947581968 93876947629712 93876965769216 140734564587885 140734564588008 140734564588008 140734564593610 0
/proc/87551/statm: 1048 736 672 219 0 110 0
[pid=87553] ppid=87551 vsize=1916960 memory=1594084 CPUtime=3600.04 cores=0,2
/proc/87553/stat : 87553 (roundingsat) R 87551 87551 87381 0 -1 4194304 273941 0 0 0 357619 2385 0 0 20 0 1 0 74298325 1962967040 398521 18446744073709551615 4227072 8923433 140727716931872 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140727716936098 140727716936232 140727716936232 140727716941802 0
/proc/87553/statm: 479240 398521 2336 1147 0 466667 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1921152 KiB
Current children cumulated memory: 1597028 KiB

Child status: 2

Real time (s): 3609.96
CPU time (s): 3600.11
CPU user time (s): 3576.2
CPU system time (s): 23.9128
CPU usage (%): 99.7273
Max. virtual memory (cumulated for all children) (KiB): 1921152
Max. memory (cumulated for all children) (KiB): 1597028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.2
system time used= 23.9128
maximum resident set size= 1594468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158
involuntary context switches= 8009


# summary of solver processes directly reported to runsolver:
#   pid: 87551,87553
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3576.2
#   total CPU system time (s): 23.9128

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19186 second user time and 17.2201 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-04 01:43:09
IDJOB=4521538
IDBENCH=178340
IDSOLVER=3350
FILE ID=nodeC033/4521538-1751586189
RUNJOBID= nodeC033-1751586076-87391
SLURM_JOB_ID= 9598834
Free space on /tmp= 429884 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521538-1751586189/watcher-4521538-1751586189 -o /tmp/evaluation-result-4521538-1751586189/solver-4521538-1751586189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87391 --watchdog 3760  run-opt.sh HOME/instance-4521538-1751586189.opb

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

MD5SUM BENCH= 2dad4d4d97748033eacd0c8bb0bd5214
RANDOM SEED=1924638636

nodeC033 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	: 0xb00002a
cpu MHz		: 3600.867
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
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	: 0xb00002a
cpu MHz		: 3600.152
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
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	: 0xb00002a
cpu MHz		: 3600.057
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
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	: 0xb00002a
cpu MHz		: 3599.591
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
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	: 0xb00002a
cpu MHz		: 3600.091
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
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	: 0xb00002a
cpu MHz		: 3600.006
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
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	: 0xb00002a
cpu MHz		: 3600.201
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
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	: 0xb00002a
cpu MHz		: 3609.935
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117745728 kB
MemAvailable:   123715972 kB
Buffers:            2128 kB
Cached:          6722500 kB
SwapCached:           68 kB
Active:          6640988 kB
Inactive:        6141652 kB
Active(anon):    6070516 kB
Inactive(anon):     5524 kB
Active(file):     570472 kB
Inactive(file):  6136128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7148 kB
Writeback:             0 kB
AnonPages:       6061016 kB
Mapped:           117636 kB
Shmem:             18028 kB
KReclaimable:     205768 kB
Slab:             298364 kB
SReclaimable:     205768 kB
SUnreclaim:        92596 kB
KernelStack:        4336 kB
PageTables:        16548 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7802144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    458752 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429768 MiB
End job on nodeC033 at 2025-07-04 02:43:19