Trace number 4460675

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
RoundingSat log (2)? (TO) 3600.15 3613.51

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
MD5SUMde861f201885d7430b03c8868c66597b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17850
Total number of constraints18152
Number of constraints which are clauses18002
Number of constraints which are cardinality constraints (but not clauses)150
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint150
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 151
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.10	c #variables 17850 #constraints 18152
117.15/117.64	c #Conflicts:       1000 | #Constraints:      19151
117.15/117.64	c #Conflicts:       2000 | #Constraints:      20151
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c #Conflicts:       3000 | #Constraints:      19201
117.15/117.64	c #Conflicts:       4000 | #Constraints:      20201
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c #Conflicts:       5000 | #Constraints:      19712
117.15/117.64	c #Conflicts:       6000 | #Constraints:      20712
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c #Conflicts:       7000 | #Constraints:      19609
117.15/117.64	c #Conflicts:       8000 | #Constraints:      20609
117.15/117.64	c #Conflicts:       9000 | #Constraints:      21609
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c #Conflicts:      10000 | #Constraints:      20375
117.15/117.64	c #Conflicts:      11000 | #Constraints:      21375
117.15/117.64	c #Conflicts:      12000 | #Constraints:      22375
117.15/117.64	c #Conflicts:      13000 | #Constraints:      23375
117.15/117.64	c #Conflicts:      14000 | #Constraints:      24376
117.15/117.64	c #Conflicts:      15000 | #Constraints:      25376
117.15/117.64	c #Conflicts:      16000 | #Constraints:      26376
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c #Conflicts:      17000 | #Constraints:      22659
117.15/117.64	c #Conflicts:      18000 | #Constraints:      23659
117.15/117.64	c #Conflicts:      19000 | #Constraints:      24659
117.15/117.64	c #Conflicts:      20000 | #Constraints:      25659
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c #Conflicts:      21000 | #Constraints:      22426
117.15/117.64	c #Conflicts:      22000 | #Constraints:      23426
117.15/117.64	c #Conflicts:      23000 | #Constraints:      24426
117.15/117.64	c #Conflicts:      24000 | #Constraints:      25426
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c #Conflicts:      25000 | #Constraints:      22283
117.15/117.64	c #Conflicts:      26000 | #Constraints:      23283
117.15/117.64	c #Conflicts:      27000 | #Constraints:      24283
117.15/117.64	c #Conflicts:      28000 | #Constraints:      25283
117.15/117.64	c #Conflicts:      29000 | #Constraints:      26284
117.15/117.64	c #Conflicts:      30000 | #Constraints:      27284
117.15/117.64	c #Conflicts:      31000 | #Constraints:      28284
117.15/117.64	c #Conflicts:      32000 | #Constraints:      29284
117.15/117.64	c #Conflicts:      33000 | #Constraints:      30284
117.15/117.64	c #Conflicts:      34000 | #Constraints:      31284
117.15/117.64	c #Conflicts:      35000 | #Constraints:      32284
117.15/117.64	c #Conflicts:      36000 | #Constraints:      33284
117.15/117.64	c INPROCESSING
117.15/117.64	c GARBAGE COLLECT
117.15/117.64	c rational objective 150
324.99/326.26	c #Conflicts:      37000 | #Constraints:      26515
324.99/326.26	c #Conflicts:      38000 | #Constraints:      27515
324.99/326.26	c #Conflicts:      39000 | #Constraints:      28515
324.99/326.26	c #Conflicts:      40000 | #Constraints:      29515
324.99/326.26	c #Conflicts:      41000 | #Constraints:      30515
324.99/326.26	c INPROCESSING
324.99/326.26	c GARBAGE COLLECT
324.99/326.26	c #Conflicts:      42000 | #Constraints:      25032
324.99/326.26	c #Conflicts:      43000 | #Constraints:      26033
324.99/326.26	c #Conflicts:      44000 | #Constraints:      27033
324.99/326.26	c #Conflicts:      45000 | #Constraints:      28033
324.99/326.26	c #Conflicts:      46000 | #Constraints:      29033
324.99/326.26	c #Conflicts:      47000 | #Constraints:      30033
324.99/326.26	c INPROCESSING
324.99/326.26	c GARBAGE COLLECT
324.99/326.26	c #Conflicts:      48000 | #Constraints:      24855
324.99/326.26	c #Conflicts:      49000 | #Constraints:      25855
324.99/326.26	c #Conflicts:      50000 | #Constraints:      26855
324.99/326.26	c #Conflicts:      51000 | #Constraints:      27855
324.99/326.26	c #Conflicts:      52000 | #Constraints:      28855
324.99/326.26	c #Conflicts:      53000 | #Constraints:      29855
324.99/326.26	c #Conflicts:      54000 | #Constraints:      30855
324.99/326.26	c #Conflicts:      55000 | #Constraints:      31855
324.99/326.26	c #Conflicts:      56000 | #Constraints:      32855
324.99/326.26	c #Conflicts:      57000 | #Constraints:      33856
324.99/326.26	c #Conflicts:      58000 | #Constraints:      34856
324.99/326.26	c #Conflicts:      59000 | #Constraints:      35856
324.99/326.26	c #Conflicts:      60000 | #Constraints:      36856
324.99/326.26	c #Conflicts:      61000 | #Constraints:      37856
324.99/326.26	c #Conflicts:      62000 | #Constraints:      38856
324.99/326.26	c INPROCESSING
324.99/326.26	c GARBAGE COLLECT
324.99/326.26	c #Conflicts:      63000 | #Constraints:      29074
324.99/326.26	c #Conflicts:      64000 | #Constraints:      30074
324.99/326.26	c #Conflicts:      65000 | #Constraints:      31074
324.99/326.26	c #Conflicts:      66000 | #Constraints:      32074
324.99/326.26	c #Conflicts:      67000 | #Constraints:      33074
324.99/326.26	c #Conflicts:      68000 | #Constraints:      34074
324.99/326.26	c #Conflicts:      69000 | #Constraints:      35074
324.99/326.26	c INPROCESSING
324.99/326.26	c GARBAGE COLLECT
324.99/326.26	c #Conflicts:      70000 | #Constraints:      27317
324.99/326.26	c #Conflicts:      71000 | #Constraints:      28317
324.99/326.26	c #Conflicts:      72000 | #Constraints:      29318
324.99/326.26	c #Conflicts:      73000 | #Constraints:      30318
324.99/326.26	c #Conflicts:      74000 | #Constraints:      31318
324.99/326.26	c #Conflicts:      75000 | #Constraints:      32318
324.99/326.26	c #Conflicts:      76000 | #Constraints:      33318
324.99/326.26	c #Conflicts:      77000 | #Constraints:      34318
324.99/326.26	c #Conflicts:      78000 | #Constraints:      35318
324.99/326.26	c #Conflicts:      79000 | #Constraints:      36318
324.99/326.26	c #Conflicts:      80000 | #Constraints:      37318
324.99/326.26	c #Conflicts:      81000 | #Constraints:      38318
324.99/326.26	c #Conflicts:      82000 | #Constraints:      39318
324.99/326.26	c #Conflicts:      83000 | #Constraints:      40318
324.99/326.26	c #Conflicts:      84000 | #Constraints:      41318
324.99/326.26	c #Conflicts:      85000 | #Constraints:      42319
324.99/326.26	c #Conflicts:      86000 | #Constraints:      43319
324.99/326.26	c #Conflicts:      87000 | #Constraints:      44319
324.99/326.26	c #Conflicts:      88000 | #Constraints:      45319
324.99/326.26	c INPROCESSING
324.99/326.26	c GARBAGE COLLECT
324.99/326.26	c rational objective 150
349.50/350.89	c #Conflicts:      89000 | #Constraints:      32486
349.50/350.89	c #Conflicts:      90000 | #Constraints:      33486
349.50/350.89	c #Conflicts:      91000 | #Constraints:      34486
349.50/350.89	c #Conflicts:      92000 | #Constraints:      35486
349.50/350.89	c #Conflicts:      93000 | #Constraints:      36486
349.50/350.89	c #Conflicts:      94000 | #Constraints:      37486
349.50/350.89	c #Conflicts:      95000 | #Constraints:      38486
349.50/350.89	c #Conflicts:      96000 | #Constraints:      39486
349.50/350.89	c INPROCESSING
349.50/350.89	c GARBAGE COLLECT
349.50/350.89	c rational objective 150
417.06/418.68	c #Conflicts:      97000 | #Constraints:      29574
417.06/418.68	c #Conflicts:      98000 | #Constraints:      30574
417.06/418.68	c #Conflicts:      99000 | #Constraints:      31574
417.06/418.68	c #Conflicts:     100000 | #Constraints:      32574
417.06/418.68	c #Conflicts:     101000 | #Constraints:      33574
417.06/418.68	c #Conflicts:     102000 | #Constraints:      34574
417.06/418.68	c #Conflicts:     103000 | #Constraints:      35574
417.06/418.68	c #Conflicts:     104000 | #Constraints:      36574
417.06/418.68	c #Conflicts:     105000 | #Constraints:      37574
417.06/418.68	c #Conflicts:     106000 | #Constraints:      38574
417.06/418.68	c #Conflicts:     107000 | #Constraints:      39574
417.06/418.68	c #Conflicts:     108000 | #Constraints:      40574
417.06/418.68	c #Conflicts:     109000 | #Constraints:      41574
417.06/418.68	c #Conflicts:     110000 | #Constraints:      42574
417.06/418.68	c #Conflicts:     111000 | #Constraints:      43574
417.06/418.68	c #Conflicts:     112000 | #Constraints:      44574
417.06/418.68	c #Conflicts:     113000 | #Constraints:      45574
417.06/418.68	c #Conflicts:     114000 | #Constraints:      46574
417.06/418.68	c #Conflicts:     115000 | #Constraints:      47574
417.06/418.68	c #Conflicts:     116000 | #Constraints:      48574
417.06/418.68	c #Conflicts:     117000 | #Constraints:      49574
417.06/418.68	c #Conflicts:     118000 | #Constraints:      50574
417.06/418.68	c INPROCESSING
417.06/418.68	c GARBAGE COLLECT
417.06/418.68	c rational objective 150
443.55/445.22	c #Conflicts:     119000 | #Constraints:      35213
443.55/445.22	c #Conflicts:     120000 | #Constraints:      36213
443.55/445.22	c #Conflicts:     121000 | #Constraints:      37213
443.55/445.22	c #Conflicts:     122000 | #Constraints:      38213
443.55/445.22	c #Conflicts:     123000 | #Constraints:      39213
443.55/445.22	c #Conflicts:     124000 | #Constraints:      40213
443.55/445.22	c #Conflicts:     125000 | #Constraints:      41213
443.55/445.22	c #Conflicts:     126000 | #Constraints:      42213
443.55/445.22	c #Conflicts:     127000 | #Constraints:      43213
443.55/445.22	c #Conflicts:     128000 | #Constraints:      44213
443.55/445.22	c INPROCESSING
443.55/445.22	c GARBAGE COLLECT
443.55/445.22	c rational objective 150
557.34/559.40	c #Conflicts:     129000 | #Constraints:      32257
557.34/559.40	c #Conflicts:     130000 | #Constraints:      33258
557.34/559.40	c #Conflicts:     131000 | #Constraints:      34259
557.34/559.40	c #Conflicts:     132000 | #Constraints:      35260
557.34/559.40	c #Conflicts:     133000 | #Constraints:      36260
557.34/559.40	c #Conflicts:     134000 | #Constraints:      37260
557.34/559.40	c #Conflicts:     135000 | #Constraints:      38260
557.34/559.40	c #Conflicts:     136000 | #Constraints:      39260
557.34/559.40	c #Conflicts:     137000 | #Constraints:      40260
557.34/559.40	c #Conflicts:     138000 | #Constraints:      41260
557.34/559.40	c #Conflicts:     139000 | #Constraints:      42260
557.34/559.40	c #Conflicts:     140000 | #Constraints:      43260
557.34/559.40	c #Conflicts:     141000 | #Constraints:      44260
557.34/559.40	c #Conflicts:     142000 | #Constraints:      45260
557.34/559.40	c #Conflicts:     143000 | #Constraints:      46260
557.34/559.40	c #Conflicts:     144000 | #Constraints:      47260
557.34/559.40	c #Conflicts:     145000 | #Constraints:      48260
557.34/559.40	c #Conflicts:     146000 | #Constraints:      49260
557.34/559.40	c #Conflicts:     147000 | #Constraints:      50260
557.34/559.40	c #Conflicts:     148000 | #Constraints:      51260
557.34/559.40	c #Conflicts:     149000 | #Constraints:      52260
557.34/559.40	c #Conflicts:     150000 | #Constraints:      53261
557.34/559.40	c #Conflicts:     151000 | #Constraints:      54261
557.34/559.40	c #Conflicts:     152000 | #Constraints:      55261
557.34/559.40	c #Conflicts:     153000 | #Constraints:      56261
557.34/559.40	c INPROCESSING
557.34/559.40	c GARBAGE COLLECT
557.34/559.40	c rational objective 150
681.48/684.04	c #Conflicts:     154000 | #Constraints:      38401
681.48/684.04	c #Conflicts:     155000 | #Constraints:      39401
681.48/684.04	c #Conflicts:     156000 | #Constraints:      40401
681.48/684.04	c #Conflicts:     157000 | #Constraints:      41401
681.48/684.04	c #Conflicts:     158000 | #Constraints:      42401
681.48/684.04	c #Conflicts:     159000 | #Constraints:      43401
681.48/684.04	c #Conflicts:     160000 | #Constraints:      44401
681.48/684.04	c #Conflicts:     161000 | #Constraints:      45401
681.48/684.04	c #Conflicts:     162000 | #Constraints:      46402
681.48/684.04	c #Conflicts:     163000 | #Constraints:      47402
681.48/684.04	c INPROCESSING
681.48/684.04	c GARBAGE COLLECT
681.48/684.04	c rational objective 150
892.31/895.67	c #Conflicts:     164000 | #Constraints:      33673
892.31/895.67	c #Conflicts:     165000 | #Constraints:      34673
892.31/895.67	c #Conflicts:     166000 | #Constraints:      35673
892.31/895.67	c #Conflicts:     167000 | #Constraints:      36673
892.31/895.67	c #Conflicts:     168000 | #Constraints:      37673
892.31/895.67	c #Conflicts:     169000 | #Constraints:      38673
892.31/895.67	c #Conflicts:     170000 | #Constraints:      39673
892.31/895.67	c #Conflicts:     171000 | #Constraints:      40673
892.31/895.67	c #Conflicts:     172000 | #Constraints:      41673
892.31/895.67	c #Conflicts:     173000 | #Constraints:      42673
892.31/895.67	c #Conflicts:     174000 | #Constraints:      43673
892.31/895.67	c #Conflicts:     175000 | #Constraints:      44673
892.31/895.67	c #Conflicts:     176000 | #Constraints:      45673
892.31/895.67	c #Conflicts:     177000 | #Constraints:      46673
892.31/895.67	c #Conflicts:     178000 | #Constraints:      47673
892.31/895.67	c #Conflicts:     179000 | #Constraints:      48673
892.31/895.67	c #Conflicts:     180000 | #Constraints:      49673
892.31/895.67	c #Conflicts:     181000 | #Constraints:      50673
892.31/895.67	c #Conflicts:     182000 | #Constraints:      51674
892.31/895.67	c #Conflicts:     183000 | #Constraints:      52674
892.31/895.67	c #Conflicts:     184000 | #Constraints:      53674
892.31/895.67	c #Conflicts:     185000 | #Constraints:      54674
892.31/895.67	c #Conflicts:     186000 | #Constraints:      55674
892.31/895.67	c #Conflicts:     187000 | #Constraints:      56674
892.31/895.67	c #Conflicts:     188000 | #Constraints:      57674
892.31/895.67	c #Conflicts:     189000 | #Constraints:      58674
892.31/895.67	c #Conflicts:     190000 | #Constraints:      59674
892.31/895.67	c #Conflicts:     191000 | #Constraints:      60674
892.31/895.67	c INPROCESSING
892.31/895.67	c GARBAGE COLLECT
892.31/895.67	c #Conflicts:     192000 | #Constraints:      40073
892.31/895.67	c #Conflicts:     193000 | #Constraints:      41073
892.31/895.67	c #Conflicts:     194000 | #Constraints:      42073
892.31/895.67	c #Conflicts:     195000 | #Constraints:      43073
892.31/895.67	c #Conflicts:     196000 | #Constraints:      44073
892.31/895.67	c #Conflicts:     197000 | #Constraints:      45074
892.31/895.67	c #Conflicts:     198000 | #Constraints:      46074
892.31/895.67	c #Conflicts:     199000 | #Constraints:      47074
892.31/895.67	c #Conflicts:     200000 | #Constraints:      48074
892.31/895.67	c #Conflicts:     201000 | #Constraints:      49074
892.31/895.67	c #Conflicts:     202000 | #Constraints:      50074
892.31/895.67	c #Conflicts:     203000 | #Constraints:      51074
892.31/895.67	c #Conflicts:     204000 | #Constraints:      52074
892.31/895.67	c INPROCESSING
892.31/895.67	c GARBAGE COLLECT
892.31/895.67	c #Conflicts:     205000 | #Constraints:      36289
892.31/895.67	c #Conflicts:     206000 | #Constraints:      37289
892.31/895.67	c #Conflicts:     207000 | #Constraints:      38289
892.31/895.67	c #Conflicts:     208000 | #Constraints:      39289
892.31/895.67	c #Conflicts:     209000 | #Constraints:      40289
892.31/895.67	c #Conflicts:     210000 | #Constraints:      41289
892.31/895.67	c #Conflicts:     211000 | #Constraints:      42289
892.31/895.67	c #Conflicts:     212000 | #Constraints:      43289
892.31/895.67	c #Conflicts:     213000 | #Constraints:      44290
892.31/895.67	c #Conflicts:     214000 | #Constraints:      45290
892.31/895.67	c #Conflicts:     215000 | #Constraints:      46290
892.31/895.67	c #Conflicts:     216000 | #Constraints:      47290
892.31/895.67	c #Conflicts:     217000 | #Constraints:      48290
892.31/895.67	c #Conflicts:     218000 | #Constraints:      49290
892.31/895.67	c #Conflicts:     219000 | #Constraints:      50290
892.31/895.67	c #Conflicts:     220000 | #Constraints:      51290
892.31/895.67	c #Conflicts:     221000 | #Constraints:      52290
892.31/895.67	c #Conflicts:     222000 | #Constraints:      53290
892.31/895.67	c #Conflicts:     223000 | #Constraints:      54290
892.31/895.67	c #Conflicts:     224000 | #Constraints:      55290
892.31/895.67	c #Conflicts:     225000 | #Constraints:      56290
892.31/895.67	c #Conflicts:     226000 | #Constraints:      57290
892.31/895.67	c #Conflicts:     227000 | #Constraints:      58290
892.31/895.67	c #Conflicts:     228000 | #Constraints:      59290
892.31/895.67	c #Conflicts:     229000 | #Constraints:      60290
892.31/895.67	c #Conflicts:     230000 | #Constraints:      61290
892.31/895.67	c #Conflicts:     231000 | #Constraints:      62290
892.31/895.67	c #Conflicts:     232000 | #Constraints:      63291
892.31/895.67	c #Conflicts:     233000 | #Constraints:      64291
892.31/895.67	c #Conflicts:     234000 | #Constraints:      65291
892.31/895.67	c #Conflicts:     235000 | #Constraints:      66291
892.31/895.67	c INPROCESSING
892.31/895.67	c GARBAGE COLLECT
892.31/895.67	c rational objective 150
1026.42/1030.20	c #Conflicts:     236000 | #Constraints:      43409
1026.42/1030.20	c #Conflicts:     237000 | #Constraints:      44409
1026.42/1030.20	c #Conflicts:     238000 | #Constraints:      45409
1026.42/1030.20	c #Conflicts:     239000 | #Constraints:      46409
1026.42/1030.20	c #Conflicts:     240000 | #Constraints:      47409
1026.42/1030.20	c #Conflicts:     241000 | #Constraints:      48409
1026.42/1030.20	c #Conflicts:     242000 | #Constraints:      49409
1026.42/1030.20	c #Conflicts:     243000 | #Constraints:      50409
1026.42/1030.20	c #Conflicts:     244000 | #Constraints:      51410
1026.42/1030.20	c #Conflicts:     245000 | #Constraints:      52410
1026.42/1030.20	c #Conflicts:     246000 | #Constraints:      53410
1026.42/1030.20	c #Conflicts:     247000 | #Constraints:      54410
1026.42/1030.20	c #Conflicts:     248000 | #Constraints:      55410
1026.42/1030.20	c INPROCESSING
1026.42/1030.20	c GARBAGE COLLECT
1026.42/1030.20	c rational objective 150
1191.73/1196.18	c #Conflicts:     249000 | #Constraints:      37699
1191.73/1196.18	c #Conflicts:     250000 | #Constraints:      38699
1191.73/1196.18	c #Conflicts:     251000 | #Constraints:      39699
1191.73/1196.18	c #Conflicts:     252000 | #Constraints:      40699
1191.73/1196.18	c #Conflicts:     253000 | #Constraints:      41699
1191.73/1196.18	c #Conflicts:     254000 | #Constraints:      42699
1191.73/1196.18	c #Conflicts:     255000 | #Constraints:      43699
1191.73/1196.18	c #Conflicts:     256000 | #Constraints:      44699
1191.73/1196.18	c #Conflicts:     257000 | #Constraints:      45699
1191.73/1196.18	c #Conflicts:     258000 | #Constraints:      46699
1191.73/1196.18	c #Conflicts:     259000 | #Constraints:      47699
1191.73/1196.18	c #Conflicts:     260000 | #Constraints:      48699
1191.73/1196.18	c #Conflicts:     261000 | #Constraints:      49700
1191.73/1196.18	c #Conflicts:     262000 | #Constraints:      50700
1191.73/1196.18	c #Conflicts:     263000 | #Constraints:      51700
1191.73/1196.18	c #Conflicts:     264000 | #Constraints:      52700
1191.73/1196.18	c #Conflicts:     265000 | #Constraints:      53700
1191.73/1196.18	c #Conflicts:     266000 | #Constraints:      54701
1191.73/1196.18	c #Conflicts:     267000 | #Constraints:      55701
1191.73/1196.18	c #Conflicts:     268000 | #Constraints:      56701
1191.73/1196.18	c #Conflicts:     269000 | #Constraints:      57701
1191.73/1196.18	c #Conflicts:     270000 | #Constraints:      58701
1191.73/1196.18	c #Conflicts:     271000 | #Constraints:      59701
1191.73/1196.18	c #Conflicts:     272000 | #Constraints:      60701
1191.73/1196.18	c #Conflicts:     273000 | #Constraints:      61701
1191.73/1196.18	c #Conflicts:     274000 | #Constraints:      62701
1191.73/1196.18	c #Conflicts:     275000 | #Constraints:      63701
1191.73/1196.18	c #Conflicts:     276000 | #Constraints:      64701
1191.73/1196.18	c #Conflicts:     277000 | #Constraints:      65701
1191.73/1196.18	c #Conflicts:     278000 | #Constraints:      66701
1191.73/1196.18	c #Conflicts:     279000 | #Constraints:      67701
1191.73/1196.18	c #Conflicts:     280000 | #Constraints:      68701
1191.73/1196.18	c #Conflicts:     281000 | #Constraints:      69701
1191.73/1196.18	c #Conflicts:     282000 | #Constraints:      70701
1191.73/1196.18	c INPROCESSING
1191.73/1196.18	c GARBAGE COLLECT
1191.73/1196.18	c #Conflicts:     283000 | #Constraints:      45324
1191.73/1196.18	c #Conflicts:     284000 | #Constraints:      46324
1191.73/1196.18	c #Conflicts:     285000 | #Constraints:      47324
1191.73/1196.18	c #Conflicts:     286000 | #Constraints:      48324
1191.73/1196.18	c #Conflicts:     287000 | #Constraints:      49324
1191.73/1196.18	c #Conflicts:     288000 | #Constraints:      50324
1191.73/1196.18	c #Conflicts:     289000 | #Constraints:      51324
1191.73/1196.18	c #Conflicts:     290000 | #Constraints:      52324
1191.73/1196.18	c #Conflicts:     291000 | #Constraints:      53324
1191.73/1196.18	c #Conflicts:     292000 | #Constraints:      54324
1191.73/1196.18	c #Conflicts:     293000 | #Constraints:      55324
1191.73/1196.18	c #Conflicts:     294000 | #Constraints:      56325
1191.73/1196.18	c #Conflicts:     295000 | #Constraints:      57325
1191.73/1196.18	c #Conflicts:     296000 | #Constraints:      58325
1191.73/1196.18	c #Conflicts:     297000 | #Constraints:      59325
1191.73/1196.18	c INPROCESSING
1191.73/1196.18	c GARBAGE COLLECT
1191.73/1196.18	c #Conflicts:     298000 | #Constraints:      39849
1191.73/1196.18	c #Conflicts:     299000 | #Constraints:      40850
1191.73/1196.18	c #Conflicts:     300000 | #Constraints:      41850
1191.73/1196.18	c #Conflicts:     301000 | #Constraints:      42850
1191.73/1196.18	c #Conflicts:     302000 | #Constraints:      43850
1191.73/1196.18	c #Conflicts:     303000 | #Constraints:      44850
1191.73/1196.18	c #Conflicts:     304000 | #Constraints:      45850
1191.73/1196.18	c #Conflicts:     305000 | #Constraints:      46850
1191.73/1196.18	c #Conflicts:     306000 | #Constraints:      47850
1191.73/1196.18	c #Conflicts:     307000 | #Constraints:      48850
1191.73/1196.18	c #Conflicts:     308000 | #Constraints:      49850
1191.73/1196.18	c #Conflicts:     309000 | #Constraints:      50850
1191.73/1196.18	c #Conflicts:     310000 | #Constraints:      51850
1191.73/1196.18	c #Conflicts:     311000 | #Constraints:      52850
1191.73/1196.18	c #Conflicts:     312000 | #Constraints:      53850
1191.73/1196.18	c #Conflicts:     313000 | #Constraints:      54850
1191.73/1196.18	c #Conflicts:     314000 | #Constraints:      55850
1191.73/1196.18	c #Conflicts:     315000 | #Constraints:      56851
1191.73/1196.18	c #Conflicts:     316000 | #Constraints:      57851
1191.73/1196.18	c #Conflicts:     317000 | #Constraints:      58851
1191.73/1196.18	c #Conflicts:     318000 | #Constraints:      59851
1191.73/1196.18	c #Conflicts:     319000 | #Constraints:      60851
1191.73/1196.18	c #Conflicts:     320000 | #Constraints:      61851
1191.73/1196.18	c #Conflicts:     321000 | #Constraints:      62851
1191.73/1196.18	c #Conflicts:     322000 | #Constraints:      63851
1191.73/1196.18	c #Conflicts:     323000 | #Constraints:      64852
1191.73/1196.18	c #Conflicts:     324000 | #Constraints:      65852
1191.73/1196.18	c #Conflicts:     325000 | #Constraints:      66852
1191.73/1196.18	c #Conflicts:     326000 | #Constraints:      67852
1588.01/1593.96	c #Conflicts:     327000 | #Constraints:      68852
1588.01/1593.96	c #Conflicts:     328000 | #Constraints:      69852
1588.01/1593.96	c #Conflicts:     329000 | #Constraints:      70852
1588.01/1593.96	c #Conflicts:     330000 | #Constraints:      71852
1588.01/1593.96	c #Conflicts:     331000 | #Constraints:      72852
1588.01/1593.96	c #Conflicts:     332000 | #Constraints:      73852
1588.01/1593.96	c #Conflicts:     333000 | #Constraints:      74853
1588.01/1593.96	c #Conflicts:     334000 | #Constraints:      75853
1588.01/1593.96	c #Conflicts:     335000 | #Constraints:      76853
1588.01/1593.96	c INPROCESSING
1588.01/1593.96	c GARBAGE COLLECT
1588.01/1593.96	c #Conflicts:     336000 | #Constraints:      48914
1588.01/1593.96	c #Conflicts:     337000 | #Constraints:      49914
1588.01/1593.96	c #Conflicts:     338000 | #Constraints:      50914
1588.01/1593.96	c #Conflicts:     339000 | #Constraints:      51914
1588.01/1593.96	c #Conflicts:     340000 | #Constraints:      52914
1588.01/1593.96	c #Conflicts:     341000 | #Constraints:      53914
1588.01/1593.96	c #Conflicts:     342000 | #Constraints:      54914
1588.01/1593.96	c #Conflicts:     343000 | #Constraints:      55914
1588.01/1593.96	c #Conflicts:     344000 | #Constraints:      56914
1588.01/1593.96	c #Conflicts:     345000 | #Constraints:      57914
1588.01/1593.96	c #Conflicts:     346000 | #Constraints:      58914
1588.01/1593.96	c #Conflicts:     347000 | #Constraints:      59914
1588.01/1593.96	c #Conflicts:     348000 | #Constraints:      60914
1588.01/1593.96	c #Conflicts:     349000 | #Constraints:      61914
1588.01/1593.96	c #Conflicts:     350000 | #Constraints:      62914
1588.01/1593.96	c #Conflicts:     351000 | #Constraints:      63914
1588.01/1593.96	c INPROCESSING
1588.01/1593.96	c GARBAGE COLLECT
1588.01/1593.96	c #Conflicts:     352000 | #Constraints:      42497
1588.01/1593.96	c #Conflicts:     353000 | #Constraints:      43497
1588.01/1593.96	c #Conflicts:     354000 | #Constraints:      44497
1588.01/1593.96	c #Conflicts:     355000 | #Constraints:      45497
1588.01/1593.96	c #Conflicts:     356000 | #Constraints:      46497
1588.01/1593.96	c #Conflicts:     357000 | #Constraints:      47497
1588.01/1593.96	c #Conflicts:     358000 | #Constraints:      48497
1588.01/1593.96	c #Conflicts:     359000 | #Constraints:      49497
1588.01/1593.96	c #Conflicts:     360000 | #Constraints:      50497
1588.01/1593.96	c #Conflicts:     361000 | #Constraints:      51497
1588.01/1593.96	c #Conflicts:     362000 | #Constraints:      52497
1588.01/1593.96	c #Conflicts:     363000 | #Constraints:      53497
1588.01/1593.96	c #Conflicts:     364000 | #Constraints:      54497
1588.01/1593.96	c #Conflicts:     365000 | #Constraints:      55497
1588.01/1593.96	c #Conflicts:     366000 | #Constraints:      56497
1588.01/1593.96	c #Conflicts:     367000 | #Constraints:      57497
1588.01/1593.96	c #Conflicts:     368000 | #Constraints:      58497
1588.01/1593.96	c #Conflicts:     369000 | #Constraints:      59497
1588.01/1593.96	c #Conflicts:     370000 | #Constraints:      60497
1588.01/1593.96	c #Conflicts:     371000 | #Constraints:      61497
1588.01/1593.96	c #Conflicts:     372000 | #Constraints:      62497
1588.01/1593.96	c #Conflicts:     373000 | #Constraints:      63497
1588.01/1593.96	c #Conflicts:     374000 | #Constraints:      64497
1588.01/1593.96	c #Conflicts:     375000 | #Constraints:      65497
1588.01/1593.96	c #Conflicts:     376000 | #Constraints:      66498
1588.01/1593.96	c #Conflicts:     377000 | #Constraints:      67498
1588.01/1593.96	c #Conflicts:     378000 | #Constraints:      68498
1588.01/1593.96	c #Conflicts:     379000 | #Constraints:      69498
1588.01/1593.96	c #Conflicts:     380000 | #Constraints:      70498
1588.01/1593.96	c #Conflicts:     381000 | #Constraints:      71498
1588.01/1593.96	c #Conflicts:     382000 | #Constraints:      72498
1588.01/1593.96	c #Conflicts:     383000 | #Constraints:      73498
1588.01/1593.96	c #Conflicts:     384000 | #Constraints:      74498
1588.01/1593.96	c #Conflicts:     385000 | #Constraints:      75498
1588.01/1593.96	c #Conflicts:     386000 | #Constraints:      76498
1588.01/1593.96	c #Conflicts:     387000 | #Constraints:      77498
1588.01/1593.96	c #Conflicts:     388000 | #Constraints:      78498
1588.01/1593.96	c #Conflicts:     389000 | #Constraints:      79498
1588.01/1593.96	c #Conflicts:     390000 | #Constraints:      80498
1588.01/1593.96	c #Conflicts:     391000 | #Constraints:      81498
1588.01/1593.96	c INPROCESSING
1588.01/1593.96	c GARBAGE COLLECT
1588.01/1593.96	c rational objective 150
1802.44/1809.16	c #Conflicts:     392000 | #Constraints:      51014
1802.44/1809.16	c #Conflicts:     393000 | #Constraints:      52014
1802.44/1809.16	c #Conflicts:     394000 | #Constraints:      53014
1802.44/1809.16	c #Conflicts:     395000 | #Constraints:      54014
1802.44/1809.16	c #Conflicts:     396000 | #Constraints:      55014
1802.44/1809.16	c #Conflicts:     397000 | #Constraints:      56014
1802.44/1809.16	c #Conflicts:     398000 | #Constraints:      57014
1802.44/1809.16	c #Conflicts:     399000 | #Constraints:      58014
1802.44/1809.16	c #Conflicts:     400000 | #Constraints:      59014
1802.44/1809.16	c #Conflicts:     401000 | #Constraints:      60014
1802.44/1809.16	c #Conflicts:     402000 | #Constraints:      61014
1802.44/1809.16	c #Conflicts:     403000 | #Constraints:      62014
1802.44/1809.16	c #Conflicts:     404000 | #Constraints:      63014
1802.44/1809.16	c #Conflicts:     405000 | #Constraints:      64014
1802.44/1809.16	c #Conflicts:     406000 | #Constraints:      65014
1802.44/1809.16	c #Conflicts:     407000 | #Constraints:      66014
1802.44/1809.16	c #Conflicts:     408000 | #Constraints:      67014
1802.44/1809.16	c INPROCESSING
1802.44/1809.16	c GARBAGE COLLECT
1802.44/1809.16	c #Conflicts:     409000 | #Constraints:      44145
1802.44/1809.16	c #Conflicts:     410000 | #Constraints:      45145
1802.44/1809.16	c #Conflicts:     411000 | #Constraints:      46145
1802.44/1809.16	c #Conflicts:     412000 | #Constraints:      47145
1802.44/1809.16	c #Conflicts:     413000 | #Constraints:      48145
1802.44/1809.16	c #Conflicts:     414000 | #Constraints:      49145
1802.44/1809.16	c #Conflicts:     415000 | #Constraints:      50145
1802.44/1809.16	c #Conflicts:     416000 | #Constraints:      51145
1802.44/1809.16	c #Conflicts:     417000 | #Constraints:      52145
1802.44/1809.16	c #Conflicts:     418000 | #Constraints:      53145
1802.44/1809.16	c #Conflicts:     419000 | #Constraints:      54145
1802.44/1809.16	c #Conflicts:     420000 | #Constraints:      55145
1802.44/1809.16	c #Conflicts:     421000 | #Constraints:      56145
1802.44/1809.16	c #Conflicts:     422000 | #Constraints:      57145
1802.44/1809.16	c #Conflicts:     423000 | #Constraints:      58146
1802.44/1809.16	c #Conflicts:     424000 | #Constraints:      59146
1802.44/1809.16	c #Conflicts:     425000 | #Constraints:      60146
1802.44/1809.16	c #Conflicts:     426000 | #Constraints:      61146
1802.44/1809.16	c #Conflicts:     427000 | #Constraints:      62146
1802.44/1809.16	c #Conflicts:     428000 | #Constraints:      63146
1802.44/1809.16	c #Conflicts:     429000 | #Constraints:      64146
1802.44/1809.16	c #Conflicts:     430000 | #Constraints:      65146
1802.44/1809.16	c #Conflicts:     431000 | #Constraints:      66146
1802.44/1809.16	c #Conflicts:     432000 | #Constraints:      67146
1802.44/1809.16	c #Conflicts:     433000 | #Constraints:      68146
1802.44/1809.16	c #Conflicts:     434000 | #Constraints:      69146
1802.44/1809.16	c #Conflicts:     435000 | #Constraints:      70146
1802.44/1809.16	c #Conflicts:     436000 | #Constraints:      71146
1802.44/1809.16	c #Conflicts:     437000 | #Constraints:      72146
1802.44/1809.16	c #Conflicts:     438000 | #Constraints:      73146
1802.44/1809.16	c #Conflicts:     439000 | #Constraints:      74146
1802.44/1809.16	c #Conflicts:     440000 | #Constraints:      75147
1802.44/1809.16	c #Conflicts:     441000 | #Constraints:      76147
1802.44/1809.16	c #Conflicts:     442000 | #Constraints:      77147
1802.44/1809.16	c #Conflicts:     443000 | #Constraints:      78147
1802.44/1809.16	c #Conflicts:     444000 | #Constraints:      79147
1802.44/1809.16	c #Conflicts:     445000 | #Constraints:      80147
1802.44/1809.16	c #Conflicts:     446000 | #Constraints:      81147
1802.44/1809.16	c #Conflicts:     447000 | #Constraints:      82147
1802.44/1809.16	c #Conflicts:     448000 | #Constraints:      83147
1802.44/1809.16	c #Conflicts:     449000 | #Constraints:      84147
1802.44/1809.16	c #Conflicts:     450000 | #Constraints:      85147
1802.44/1809.16	c #Conflicts:     451000 | #Constraints:      86147
1802.44/1809.16	c #Conflicts:     452000 | #Constraints:      87147
1802.44/1809.16	c INPROCESSING
1802.44/1809.16	c GARBAGE COLLECT
1802.44/1809.16	c rational objective 150
1884.14/1891.17	c #Conflicts:     453000 | #Constraints:      53979
1884.14/1891.17	c #Conflicts:     454000 | #Constraints:      54979
1884.14/1891.17	c #Conflicts:     455000 | #Constraints:      55979
1884.14/1891.17	c #Conflicts:     456000 | #Constraints:      56979
1884.14/1891.17	c #Conflicts:     457000 | #Constraints:      57979
1884.14/1891.17	c #Conflicts:     458000 | #Constraints:      58980
1884.14/1891.17	c #Conflicts:     459000 | #Constraints:      59981
1884.14/1891.17	c #Conflicts:     460000 | #Constraints:      60982
1884.14/1891.17	c #Conflicts:     461000 | #Constraints:      61983
1884.14/1891.17	c #Conflicts:     462000 | #Constraints:      62985
1884.14/1891.17	c #Conflicts:     463000 | #Constraints:      63985
1884.14/1891.17	c #Conflicts:     464000 | #Constraints:      64986
1884.14/1891.17	c #Conflicts:     465000 | #Constraints:      65986
1884.14/1891.17	c #Conflicts:     466000 | #Constraints:      66987
1884.14/1891.17	c #Conflicts:     467000 | #Constraints:      67987
1884.14/1891.17	c #Conflicts:     468000 | #Constraints:      68987
1884.14/1891.17	c #Conflicts:     469000 | #Constraints:      69987
1884.14/1891.17	c #Conflicts:     470000 | #Constraints:      70987
1884.14/1891.17	c #Conflicts:     471000 | #Constraints:      71987
1884.14/1891.17	c INPROCESSING
1884.14/1891.17	c GARBAGE COLLECT
1884.14/1891.17	c rational objective 150
2259.66/2268.10	c #Conflicts:     472000 | #Constraints:      46693
2259.66/2268.10	c #Conflicts:     473000 | #Constraints:      47693
2259.66/2268.10	c #Conflicts:     474000 | #Constraints:      48693
2259.66/2268.10	c #Conflicts:     475000 | #Constraints:      49693
2259.66/2268.10	c #Conflicts:     476000 | #Constraints:      50693
2259.66/2268.10	c #Conflicts:     477000 | #Constraints:      51693
2259.66/2268.10	c #Conflicts:     478000 | #Constraints:      52693
2259.66/2268.10	c #Conflicts:     479000 | #Constraints:      53693
2259.66/2268.10	c #Conflicts:     480000 | #Constraints:      54694
2259.66/2268.10	c #Conflicts:     481000 | #Constraints:      55694
2259.66/2268.10	c #Conflicts:     482000 | #Constraints:      56694
2259.66/2268.10	c #Conflicts:     483000 | #Constraints:      57694
2259.66/2268.10	c #Conflicts:     484000 | #Constraints:      58694
2259.66/2268.10	c #Conflicts:     485000 | #Constraints:      59695
2259.66/2268.10	c #Conflicts:     486000 | #Constraints:      60695
2259.66/2268.10	c #Conflicts:     487000 | #Constraints:      61695
2259.66/2268.10	c #Conflicts:     488000 | #Constraints:      62695
2259.66/2268.10	c #Conflicts:     489000 | #Constraints:      63695
2259.66/2268.10	c #Conflicts:     490000 | #Constraints:      64695
2259.66/2268.10	c #Conflicts:     491000 | #Constraints:      65695
2259.66/2268.10	c #Conflicts:     492000 | #Constraints:      66695
2259.66/2268.10	c #Conflicts:     493000 | #Constraints:      67695
2259.66/2268.10	c #Conflicts:     494000 | #Constraints:      68695
2259.66/2268.10	c #Conflicts:     495000 | #Constraints:      69695
2259.66/2268.10	c #Conflicts:     496000 | #Constraints:      70695
2259.66/2268.10	c #Conflicts:     497000 | #Constraints:      71695
2259.66/2268.10	c #Conflicts:     498000 | #Constraints:      72695
2259.66/2268.10	c #Conflicts:     499000 | #Constraints:      73695
2259.66/2268.10	c #Conflicts:     500000 | #Constraints:      74697
2259.66/2268.10	c #Conflicts:     501000 | #Constraints:      75697
2259.66/2268.10	c #Conflicts:     502000 | #Constraints:      76697
2259.66/2268.10	c #Conflicts:     503000 | #Constraints:      77698
2259.66/2268.10	c #Conflicts:     504000 | #Constraints:      78698
2259.66/2268.10	c #Conflicts:     505000 | #Constraints:      79698
2259.66/2268.10	c #Conflicts:     506000 | #Constraints:      80698
2259.66/2268.10	c #Conflicts:     507000 | #Constraints:      81698
2259.66/2268.10	c #Conflicts:     508000 | #Constraints:      82698
2259.66/2268.10	c #Conflicts:     509000 | #Constraints:      83698
2259.66/2268.10	c #Conflicts:     510000 | #Constraints:      84698
2259.66/2268.10	c #Conflicts:     511000 | #Constraints:      85698
2259.66/2268.10	c #Conflicts:     512000 | #Constraints:      86698
2259.66/2268.10	c #Conflicts:     513000 | #Constraints:      87698
2259.66/2268.10	c #Conflicts:     514000 | #Constraints:      88698
2259.66/2268.10	c #Conflicts:     515000 | #Constraints:      89698
2259.66/2268.10	c #Conflicts:     516000 | #Constraints:      90698
2259.66/2268.10	c #Conflicts:     517000 | #Constraints:      91698
2259.66/2268.10	c INPROCESSING
2259.66/2268.10	c GARBAGE COLLECT
2259.66/2268.10	c rational objective 150
2313.56/2322.10	c #Conflicts:     518000 | #Constraints:      55934
2313.56/2322.10	c #Conflicts:     519000 | #Constraints:      56934
2313.56/2322.10	c #Conflicts:     520000 | #Constraints:      57934
2313.56/2322.10	c #Conflicts:     521000 | #Constraints:      58934
2313.56/2322.10	c #Conflicts:     522000 | #Constraints:      59934
2313.56/2322.10	c #Conflicts:     523000 | #Constraints:      60934
2313.56/2322.10	c #Conflicts:     524000 | #Constraints:      61934
2313.56/2322.10	c #Conflicts:     525000 | #Constraints:      62934
2313.56/2322.10	c #Conflicts:     526000 | #Constraints:      63934
2313.56/2322.10	c #Conflicts:     527000 | #Constraints:      64934
2313.56/2322.10	c #Conflicts:     528000 | #Constraints:      65934
2313.56/2322.10	c #Conflicts:     529000 | #Constraints:      66934
2313.56/2322.10	c #Conflicts:     530000 | #Constraints:      67934
2313.56/2322.10	c #Conflicts:     531000 | #Constraints:      68934
2313.56/2322.10	c #Conflicts:     532000 | #Constraints:      69934
2313.56/2322.10	c #Conflicts:     533000 | #Constraints:      70934
2313.56/2322.10	c #Conflicts:     534000 | #Constraints:      71934
2313.56/2322.10	c #Conflicts:     535000 | #Constraints:      72934
2313.56/2322.10	c #Conflicts:     536000 | #Constraints:      73934
2313.56/2322.10	c #Conflicts:     537000 | #Constraints:      74934
2313.56/2322.10	c INPROCESSING
2313.56/2322.10	c GARBAGE COLLECT
2313.56/2322.10	c rational objective 150
2534.92/2544.33	c #Conflicts:     538000 | #Constraints:      47950
2534.92/2544.33	c #Conflicts:     539000 | #Constraints:      48950
2534.92/2544.33	c #Conflicts:     540000 | #Constraints:      49950
2534.92/2544.33	c #Conflicts:     541000 | #Constraints:      50950
2534.92/2544.33	c #Conflicts:     542000 | #Constraints:      51950
2534.92/2544.33	c #Conflicts:     543000 | #Constraints:      52950
2534.92/2544.33	c #Conflicts:     544000 | #Constraints:      53950
2534.92/2544.33	c #Conflicts:     545000 | #Constraints:      54950
2534.92/2544.33	c #Conflicts:     546000 | #Constraints:      55950
2534.92/2544.33	c #Conflicts:     547000 | #Constraints:      56950
2534.92/2544.33	c #Conflicts:     548000 | #Constraints:      57950
2534.92/2544.33	c #Conflicts:     549000 | #Constraints:      58950
2534.92/2544.33	c #Conflicts:     550000 | #Constraints:      59950
2534.92/2544.33	c #Conflicts:     551000 | #Constraints:      60950
2534.92/2544.33	c #Conflicts:     552000 | #Constraints:      61950
2534.92/2544.33	c #Conflicts:     553000 | #Constraints:      62950
2534.92/2544.33	c #Conflicts:     554000 | #Constraints:      63950
2534.92/2544.33	c #Conflicts:     555000 | #Constraints:      64950
2534.92/2544.33	c #Conflicts:     556000 | #Constraints:      65950
2534.92/2544.33	c #Conflicts:     557000 | #Constraints:      66950
2534.92/2544.33	c #Conflicts:     558000 | #Constraints:      67950
2534.92/2544.33	c #Conflicts:     559000 | #Constraints:      68950
2534.92/2544.33	c #Conflicts:     560000 | #Constraints:      69950
2534.92/2544.33	c #Conflicts:     561000 | #Constraints:      70950
2534.92/2544.33	c #Conflicts:     562000 | #Constraints:      71950
2534.92/2544.33	c #Conflicts:     563000 | #Constraints:      72950
2534.92/2544.33	c #Conflicts:     564000 | #Constraints:      73950
2534.92/2544.33	c #Conflicts:     565000 | #Constraints:      74950
2534.92/2544.33	c #Conflicts:     566000 | #Constraints:      75950
2534.92/2544.33	c #Conflicts:     567000 | #Constraints:      76950
2534.92/2544.33	c #Conflicts:     568000 | #Constraints:      77951
2534.92/2544.33	c #Conflicts:     569000 | #Constraints:      78951
2534.92/2544.33	c #Conflicts:     570000 | #Constraints:      79951
2534.92/2544.33	c #Conflicts:     571000 | #Constraints:      80951
2534.92/2544.33	c #Conflicts:     572000 | #Constraints:      81951
2534.92/2544.33	c #Conflicts:     573000 | #Constraints:      82951
2534.92/2544.33	c #Conflicts:     574000 | #Constraints:      83951
2534.92/2544.33	c #Conflicts:     575000 | #Constraints:      84951
2534.92/2544.33	c #Conflicts:     576000 | #Constraints:      85951
2534.92/2544.33	c #Conflicts:     577000 | #Constraints:      86951
2534.92/2544.33	c #Conflicts:     578000 | #Constraints:      87951
2534.92/2544.33	c #Conflicts:     579000 | #Constraints:      88951
2534.92/2544.33	c #Conflicts:     580000 | #Constraints:      89951
2534.92/2544.33	c #Conflicts:     581000 | #Constraints:      90951
2534.92/2544.33	c #Conflicts:     582000 | #Constraints:      91951
2534.92/2544.33	c #Conflicts:     583000 | #Constraints:      92951
2534.92/2544.33	c #Conflicts:     584000 | #Constraints:      93952
2534.92/2544.33	c #Conflicts:     585000 | #Constraints:      94952
2534.92/2544.33	c #Conflicts:     586000 | #Constraints:      95952
2534.92/2544.33	c #Conflicts:     587000 | #Constraints:      96952
2534.92/2544.33	c INPROCESSING
2534.92/2544.33	c GARBAGE COLLECT
2534.92/2544.33	c rational objective 150
2809.59/2820.05	c #Conflicts:     588000 | #Constraints:      59128
2809.59/2820.05	c #Conflicts:     589000 | #Constraints:      60128
2809.59/2820.05	c #Conflicts:     590000 | #Constraints:      61128
2809.59/2820.05	c #Conflicts:     591000 | #Constraints:      62128
2809.59/2820.05	c #Conflicts:     592000 | #Constraints:      63128
2809.59/2820.05	c #Conflicts:     593000 | #Constraints:      64128
2809.59/2820.05	c #Conflicts:     594000 | #Constraints:      65128
2809.59/2820.05	c #Conflicts:     595000 | #Constraints:      66128
2809.59/2820.05	c #Conflicts:     596000 | #Constraints:      67128
2809.59/2820.05	c #Conflicts:     597000 | #Constraints:      68128
2809.59/2820.05	c #Conflicts:     598000 | #Constraints:      69128
2809.59/2820.05	c #Conflicts:     599000 | #Constraints:      70128
2809.59/2820.05	c #Conflicts:     600000 | #Constraints:      71128
2809.59/2820.05	c #Conflicts:     601000 | #Constraints:      72128
2809.59/2820.05	c #Conflicts:     602000 | #Constraints:      73128
2809.59/2820.05	c #Conflicts:     603000 | #Constraints:      74128
2809.59/2820.05	c #Conflicts:     604000 | #Constraints:      75128
2809.59/2820.05	c #Conflicts:     605000 | #Constraints:      76128
2809.59/2820.05	c #Conflicts:     606000 | #Constraints:      77128
2809.59/2820.05	c #Conflicts:     607000 | #Constraints:      78128
2809.59/2820.05	c #Conflicts:     608000 | #Constraints:      79129
2809.59/2820.05	c INPROCESSING
2809.59/2820.05	c GARBAGE COLLECT
2809.59/2820.05	c rational objective 150
3023.38/3034.65	c #Conflicts:     609000 | #Constraints:      50604
3023.38/3034.65	c #Conflicts:     610000 | #Constraints:      51604
3023.38/3034.65	c #Conflicts:     611000 | #Constraints:      52604
3023.38/3034.65	c #Conflicts:     612000 | #Constraints:      53604
3023.38/3034.65	c #Conflicts:     613000 | #Constraints:      54604
3023.38/3034.65	c #Conflicts:     614000 | #Constraints:      55604
3023.38/3034.65	c #Conflicts:     615000 | #Constraints:      56604
3023.38/3034.65	c #Conflicts:     616000 | #Constraints:      57604
3023.38/3034.65	c #Conflicts:     617000 | #Constraints:      58604
3023.38/3034.65	c #Conflicts:     618000 | #Constraints:      59604
3023.38/3034.65	c #Conflicts:     619000 | #Constraints:      60604
3023.38/3034.65	c #Conflicts:     620000 | #Constraints:      61604
3023.38/3034.65	c #Conflicts:     621000 | #Constraints:      62604
3023.38/3034.65	c #Conflicts:     622000 | #Constraints:      63604
3023.38/3034.65	c #Conflicts:     623000 | #Constraints:      64604
3023.38/3034.65	c #Conflicts:     624000 | #Constraints:      65604
3023.38/3034.65	c #Conflicts:     625000 | #Constraints:      66604
3023.38/3034.65	c #Conflicts:     626000 | #Constraints:      67604
3023.38/3034.65	c #Conflicts:     627000 | #Constraints:      68604
3023.38/3034.65	c #Conflicts:     628000 | #Constraints:      69605
3023.38/3034.65	c #Conflicts:     629000 | #Constraints:      70606
3023.38/3034.65	c #Conflicts:     630000 | #Constraints:      71606
3023.38/3034.65	c #Conflicts:     631000 | #Constraints:      72606
3023.38/3034.65	c #Conflicts:     632000 | #Constraints:      73606
3023.38/3034.65	c #Conflicts:     633000 | #Constraints:      74607
3023.38/3034.65	c #Conflicts:     634000 | #Constraints:      75607
3023.38/3034.65	c #Conflicts:     635000 | #Constraints:      76608
3023.38/3034.65	c #Conflicts:     636000 | #Constraints:      77608
3023.38/3034.65	c #Conflicts:     637000 | #Constraints:      78608
3023.38/3034.65	c #Conflicts:     638000 | #Constraints:      79609
3023.38/3034.65	c #Conflicts:     639000 | #Constraints:      80609
3023.38/3034.65	c #Conflicts:     640000 | #Constraints:      81609
3023.38/3034.65	c #Conflicts:     641000 | #Constraints:      82609
3023.38/3034.65	c #Conflicts:     642000 | #Constraints:      83609
3023.38/3034.65	c #Conflicts:     643000 | #Constraints:      84609
3023.38/3034.65	c #Conflicts:     644000 | #Constraints:      85609
3023.38/3034.65	c #Conflicts:     645000 | #Constraints:      86609
3023.38/3034.65	c #Conflicts:     646000 | #Constraints:      87609
3023.38/3034.65	c #Conflicts:     647000 | #Constraints:      88610
3023.38/3034.65	c #Conflicts:     648000 | #Constraints:      89610
3023.38/3034.65	c #Conflicts:     649000 | #Constraints:      90610
3023.38/3034.65	c #Conflicts:     650000 | #Constraints:      91610
3023.38/3034.65	c #Conflicts:     651000 | #Constraints:      92610
3023.38/3034.65	c #Conflicts:     652000 | #Constraints:      93610
3023.38/3034.65	c #Conflicts:     653000 | #Constraints:      94610
3023.38/3034.65	c #Conflicts:     654000 | #Constraints:      95610
3023.38/3034.65	c #Conflicts:     655000 | #Constraints:      96610
3023.38/3034.65	c #Conflicts:     656000 | #Constraints:      97610
3023.38/3034.65	c #Conflicts:     657000 | #Constraints:      98610
3023.38/3034.65	c #Conflicts:     658000 | #Constraints:      99610
3023.38/3034.65	c #Conflicts:     659000 | #Constraints:     100610
3023.38/3034.65	c #Conflicts:     660000 | #Constraints:     101610
3023.38/3034.65	c #Conflicts:     661000 | #Constraints:     102610
3023.38/3034.65	c INPROCESSING
3023.38/3034.65	c GARBAGE COLLECT
3023.38/3034.65	c #Conflicts:     662000 | #Constraints:      61871
3023.38/3034.65	c #Conflicts:     663000 | #Constraints:      62871
3023.38/3034.65	c #Conflicts:     664000 | #Constraints:      63871
3023.38/3034.65	c #Conflicts:     665000 | #Constraints:      64871
3023.38/3034.65	c #Conflicts:     666000 | #Constraints:      65871
3023.38/3034.65	c #Conflicts:     667000 | #Constraints:      66871
3023.38/3034.65	c #Conflicts:     668000 | #Constraints:      67871
3023.38/3034.65	c #Conflicts:     669000 | #Constraints:      68871
3023.38/3034.65	c #Conflicts:     670000 | #Constraints:      69871
3023.38/3034.65	c #Conflicts:     671000 | #Constraints:      70871
3023.38/3034.65	c #Conflicts:     672000 | #Constraints:      71871
3023.38/3034.65	c #Conflicts:     673000 | #Constraints:      72871
3023.38/3034.65	c #Conflicts:     674000 | #Constraints:      73871
3023.38/3034.65	c #Conflicts:     675000 | #Constraints:      74871
3023.38/3034.65	c #Conflicts:     676000 | #Constraints:      75871
3023.38/3034.65	c #Conflicts:     677000 | #Constraints:      76871
3023.38/3034.65	c #Conflicts:     678000 | #Constraints:      77871
3023.38/3034.65	c #Conflicts:     679000 | #Constraints:      78871
3023.38/3034.65	c #Conflicts:     680000 | #Constraints:      79871
3023.38/3034.65	c #Conflicts:     681000 | #Constraints:      80871
3023.38/3034.65	c #Conflicts:     682000 | #Constraints:      81871
3023.38/3034.65	c #Conflicts:     683000 | #Constraints:      82871
3023.38/3034.65	c #Conflicts:     684000 | #Constraints:      83871
3023.38/3034.65	c INPROCESSING
3023.38/3034.65	c GARBAGE COLLECT
3023.38/3034.65	c #Conflicts:     685000 | #Constraints:      53722
3023.38/3034.65	c #Conflicts:     686000 | #Constraints:      54722
3322.50/3334.84	c #Conflicts:     687000 | #Constraints:      55722
3322.50/3334.84	c #Conflicts:     688000 | #Constraints:      56722
3322.50/3334.84	c #Conflicts:     689000 | #Constraints:      57722
3322.50/3334.84	c #Conflicts:     690000 | #Constraints:      58722
3322.50/3334.84	c #Conflicts:     691000 | #Constraints:      59722
3322.50/3334.84	c #Conflicts:     692000 | #Constraints:      60722
3322.50/3334.84	c #Conflicts:     693000 | #Constraints:      61722
3322.50/3334.84	c #Conflicts:     694000 | #Constraints:      62722
3322.50/3334.84	c #Conflicts:     695000 | #Constraints:      63722
3322.50/3334.84	c #Conflicts:     696000 | #Constraints:      64722
3322.50/3334.84	c #Conflicts:     697000 | #Constraints:      65722
3322.50/3334.84	c #Conflicts:     698000 | #Constraints:      66722
3322.50/3334.84	c #Conflicts:     699000 | #Constraints:      67722
3322.50/3334.84	c #Conflicts:     700000 | #Constraints:      68722
3322.50/3334.84	c #Conflicts:     701000 | #Constraints:      69722
3322.50/3334.84	c #Conflicts:     702000 | #Constraints:      70722
3322.50/3334.84	c #Conflicts:     703000 | #Constraints:      71722
3322.50/3334.84	c #Conflicts:     704000 | #Constraints:      72722
3322.50/3334.84	c #Conflicts:     705000 | #Constraints:      73722
3322.50/3334.84	c #Conflicts:     706000 | #Constraints:      74722
3322.50/3334.84	c #Conflicts:     707000 | #Constraints:      75722
3322.50/3334.84	c #Conflicts:     708000 | #Constraints:      76723
3322.50/3334.84	c #Conflicts:     709000 | #Constraints:      77723
3322.50/3334.84	c #Conflicts:     710000 | #Constraints:      78723
3322.50/3334.84	c #Conflicts:     711000 | #Constraints:      79723
3322.50/3334.84	c #Conflicts:     712000 | #Constraints:      80723
3322.50/3334.84	c #Conflicts:     713000 | #Constraints:      81723
3322.50/3334.84	c #Conflicts:     714000 | #Constraints:      82723
3322.50/3334.84	c #Conflicts:     715000 | #Constraints:      83723
3322.50/3334.84	c #Conflicts:     716000 | #Constraints:      84723
3322.50/3334.84	c #Conflicts:     717000 | #Constraints:      85723
3322.50/3334.84	c #Conflicts:     718000 | #Constraints:      86723
3322.50/3334.84	c #Conflicts:     719000 | #Constraints:      87723
3322.50/3334.84	c #Conflicts:     720000 | #Constraints:      88723
3322.50/3334.84	c #Conflicts:     721000 | #Constraints:      89723
3322.50/3334.84	c #Conflicts:     722000 | #Constraints:      90723
3322.50/3334.84	c #Conflicts:     723000 | #Constraints:      91723
3322.50/3334.84	c #Conflicts:     724000 | #Constraints:      92723
3322.50/3334.84	c #Conflicts:     725000 | #Constraints:      93723
3322.50/3334.84	c #Conflicts:     726000 | #Constraints:      94723
3322.50/3334.84	c #Conflicts:     727000 | #Constraints:      95724
3322.50/3334.84	c #Conflicts:     728000 | #Constraints:      96724
3322.50/3334.84	c #Conflicts:     729000 | #Constraints:      97724
3322.50/3334.84	c #Conflicts:     730000 | #Constraints:      98724
3322.50/3334.84	c #Conflicts:     731000 | #Constraints:      99724
3322.50/3334.84	c #Conflicts:     732000 | #Constraints:     100724
3322.50/3334.84	c #Conflicts:     733000 | #Constraints:     101724
3322.50/3334.84	c #Conflicts:     734000 | #Constraints:     102724
3322.50/3334.84	c #Conflicts:     735000 | #Constraints:     103724
3322.50/3334.84	c #Conflicts:     736000 | #Constraints:     104724
3322.50/3334.84	c #Conflicts:     737000 | #Constraints:     105724
3322.50/3334.84	c #Conflicts:     738000 | #Constraints:     106724
3322.50/3334.84	c #Conflicts:     739000 | #Constraints:     107724
3322.50/3334.84	c #Conflicts:     740000 | #Constraints:     108724
3322.50/3334.84	c INPROCESSING
3322.50/3334.84	c GARBAGE COLLECT
3322.50/3334.84	c rational objective 150
3392.25/3404.83	c #Conflicts:     741000 | #Constraints:      64874
3392.25/3404.83	c #Conflicts:     742000 | #Constraints:      65874
3392.25/3404.83	c #Conflicts:     743000 | #Constraints:      66874
3392.25/3404.83	c #Conflicts:     744000 | #Constraints:      67875
3392.25/3404.83	c #Conflicts:     745000 | #Constraints:      68876
3392.25/3404.83	c #Conflicts:     746000 | #Constraints:      69876
3392.25/3404.83	c #Conflicts:     747000 | #Constraints:      70877
3392.25/3404.83	c #Conflicts:     748000 | #Constraints:      71878
3392.25/3404.83	c #Conflicts:     749000 | #Constraints:      72878
3392.25/3404.83	c #Conflicts:     750000 | #Constraints:      73878
3392.25/3404.83	c #Conflicts:     751000 | #Constraints:      74878
3392.25/3404.83	c #Conflicts:     752000 | #Constraints:      75879
3392.25/3404.83	c #Conflicts:     753000 | #Constraints:      76879
3392.25/3404.83	c #Conflicts:     754000 | #Constraints:      77879
3392.25/3404.83	c #Conflicts:     755000 | #Constraints:      78879
3392.25/3404.83	c #Conflicts:     756000 | #Constraints:      79879
3392.25/3404.83	c #Conflicts:     757000 | #Constraints:      80879
3392.25/3404.83	c #Conflicts:     758000 | #Constraints:      81879
3392.25/3404.83	c #Conflicts:     759000 | #Constraints:      82879
3392.25/3404.83	c #Conflicts:     760000 | #Constraints:      83879
3392.25/3404.83	c #Conflicts:     761000 | #Constraints:      84879
3392.25/3404.83	c #Conflicts:     762000 | #Constraints:      85879
3392.25/3404.83	c #Conflicts:     763000 | #Constraints:      86879
3392.25/3404.83	c INPROCESSING
3392.25/3404.83	c GARBAGE COLLECT
3392.25/3404.83	c rational objective 150
3600.09/3613.44	c #Conflicts:     764000 | #Constraints:      55154
3600.09/3613.44	c #Conflicts:     765000 | #Constraints:      56154
3600.09/3613.44	c #Conflicts:     766000 | #Constraints:      57154
3600.09/3613.44	c #Conflicts:     767000 | #Constraints:      58154
3600.09/3613.44	c #Conflicts:     768000 | #Constraints:      59154
3600.09/3613.44	c #Conflicts:     769000 | #Constraints:      60154
3600.09/3613.44	c #Conflicts:     770000 | #Constraints:      61154
3600.09/3613.44	c #Conflicts:     771000 | #Constraints:      62154
3600.09/3613.44	c #Conflicts:     772000 | #Constraints:      63154
3600.09/3613.44	c #Conflicts:     773000 | #Constraints:      64154
3600.09/3613.44	c #Conflicts:     774000 | #Constraints:      65154
3600.09/3613.44	c #Conflicts:     775000 | #Constraints:      66154
3600.09/3613.44	c #Conflicts:     776000 | #Constraints:      67154
3600.09/3613.44	c #Conflicts:     777000 | #Constraints:      68154
3600.09/3613.44	c #Conflicts:     778000 | #Constraints:      69154
3600.09/3613.44	c #Conflicts:     779000 | #Constraints:      70155
3600.09/3613.44	c #Conflicts:     780000 | #Constraints:      71155
3600.09/3613.44	c #Conflicts:     781000 | #Constraints:      72156
3600.09/3613.44	c #Conflicts:     782000 | #Constraints:      73157
3600.09/3613.44	c #Conflicts:     783000 | #Constraints:      74157
3600.09/3613.44	c #Conflicts:     784000 | #Constraints:      75158
3600.09/3613.44	c #Conflicts:     785000 | #Constraints:      76158
3600.09/3613.44	c #Conflicts:     786000 | #Constraints:      77158
3600.09/3613.44	c #Conflicts:     787000 | #Constraints:      78158
3600.09/3613.44	c #Conflicts:     788000 | #Constraints:      79158
3600.09/3613.44	c #Conflicts:     789000 | #Constraints:      80158
3600.09/3613.44	c #Conflicts:     790000 | #Constraints:      81158
3600.09/3613.44	c #Conflicts:     791000 | #Constraints:      82158
3600.09/3613.44	c #Conflicts:     792000 | #Constraints:      83159
3600.09/3613.44	c #Conflicts:     793000 | #Constraints:      84159
3600.09/3613.44	c #Conflicts:     794000 | #Constraints:      85159
3600.09/3613.44	c #Conflicts:     795000 | #Constraints:      86159
3600.09/3613.44	c #Conflicts:     796000 | #Constraints:      87159
3600.09/3613.44	c #Conflicts:     797000 | #Constraints:      88159
3600.09/3613.44	c #Conflicts:     798000 | #Constraints:      89159
3600.09/3613.44	c #Conflicts:     799000 | #Constraints:      90159
3600.09/3613.44	c #Conflicts:     800000 | #Constraints:      91159
3600.09/3613.44	c #Conflicts:     801000 | #Constraints:      92159
3600.09/3613.44	c #Conflicts:     802000 | #Constraints:      93159
3600.09/3613.44	c #Conflicts:     803000 | #Constraints:      94159
3600.09/3613.44	c #Conflicts:     804000 | #Constraints:      95159
3600.09/3613.44	c #Conflicts:     805000 | #Constraints:      96159
3600.09/3613.44	c #Conflicts:     806000 | #Constraints:      97159
3600.09/3613.44	c #Conflicts:     807000 | #Constraints:      98160
3600.09/3613.44	c #Conflicts:     808000 | #Constraints:      99160
3600.09/3613.44	c #Conflicts:     809000 | #Constraints:     100160
3600.09/3613.44	c #Conflicts:     810000 | #Constraints:     101160
3600.09/3613.44	c #Conflicts:     811000 | #Constraints:     102160
3600.09/3613.44	c #Conflicts:     812000 | #Constraints:     103160
3600.09/3613.44	c #Conflicts:     813000 | #Constraints:     104160
3600.09/3613.44	c #Conflicts:     814000 | #Constraints:     105160
3600.09/3613.44	c #Conflicts:     815000 | #Constraints:     106160
3600.09/3613.44	c #Conflicts:     816000 | #Constraints:     107160
3600.09/3613.44	c #Conflicts:     817000 | #Constraints:     108160
3600.09/3613.44	c Program interrupted by user.
3600.09/3613.46	c cpu time 3564.88 s
3600.09/3613.46	c deterministic time 243323450942 2.43e+11
3600.09/3613.46	c optimization time 205.591 s
3600.09/3613.46	c total solve time 3359.21 s
3600.09/3613.46	c core-guided solve time 0 s
3600.09/3613.46	c propagation time 1819.61 s
3600.09/3613.46	c conflict analysis time 623.89 s
3600.09/3613.46	c propagations 617705241
3600.09/3613.46	c resolve steps 37020491
3600.09/3613.46	c decisions 14008746
3600.09/3613.46	c conflicts 817678
3600.09/3613.46	c restarts 1767
3600.09/3613.46	c inprocessing phases 38
3600.09/3613.46	c input clauses 18002
3600.09/3613.46	c input cardinalities 150
3600.09/3613.46	c input general constraints 0
3600.09/3613.46	c input average constraint length 6.43
3600.09/3613.46	c input average constraint degree 1.97
3600.09/3613.46	c learned clauses 517825
3600.09/3613.46	c learned cardinalities 34366
3600.09/3613.46	c learned general constraints 265549
3600.09/3613.46	c learned average constraint length 1206.55
3600.09/3613.46	c learned average constraint degree 816156390.54
3600.09/3613.46	c watched constraints 199407
3600.09/3613.46	c counting constraints 66142
3600.09/3613.46	c gcd simplifications 4835
3600.09/3613.46	c detected cardinalities 4364
3600.09/3613.46	c weakened non-implied lits 206003934
3600.09/3613.46	c weakened non-implying lits 323532
3600.09/3613.46	c original variables 17850
3600.09/3613.46	c clausal propagations 269469044
3600.09/3613.46	c cardinality propagations 211603244
3600.09/3613.46	c watched propagations 43117617
3600.09/3613.46	c counting propagations 85852685
3600.09/3613.46	c watch lookups 11852380530
3600.09/3613.46	c watch backjump lookups 9789106276
3600.09/3613.46	c watch checks 178905243168
3600.09/3613.46	c propagation checks 38157045464
3600.09/3613.46	c constraint additions 3353920823
3600.09/3613.46	c trail pops 632514641
3600.09/3613.46	c formula constraints 18152
3600.09/3613.46	c learned constraints 817614
3600.09/3613.46	c bound constraints 0
3600.09/3613.46	c core-guided constraints 0
3600.09/3613.46	c encountered formula constraints 25792515
3600.09/3613.46	c encountered learned constraints 12044049
3600.09/3613.46	c encountered bound constraints 0
3600.09/3613.46	c encountered core-guided constraints 0
3600.09/3613.46	c LP total time 1885.77 s
3600.09/3613.46	c LP solve time 1882.79 s
3600.09/3613.46	c LP constraints added 21435
3600.09/3613.46	c LP constraints removed 3169
3600.09/3613.46	c LP pivots internal 818575
3600.09/3613.46	c LP pivots root 707477
3600.09/3613.46	c LP calls 97
3600.09/3613.46	c LP optimalities 27
3600.09/3613.46	c LP no pivot count 0
3600.09/3613.46	c LP infeasibilities 63
3600.09/3613.46	c LP valid Farkas constraints 63
3600.09/3613.46	c LP learned Farkas constraints 63
3600.09/3613.46	c LP basis resets 0
3600.09/3613.46	c LP cycling count 0
3600.09/3613.46	c LP singular count 0
3600.09/3613.46	c LP no primal count 0
3600.09/3613.46	c LP no farkas count 0
3600.09/3613.46	c LP other issue count 0
3600.09/3613.46	c LP Gomory cuts 0
3600.09/3613.46	c LP learned cuts 3283
3600.09/3613.46	c LP deleted cuts 3169
3600.09/3613.46	c LP encountered Gomory constraints 0
3600.09/3613.46	c LP encountered Farkas constraints 1152
3600.09/3613.46	c LP encountered learned Farkas constraints 390
3600.09/3613.46	c CG auxiliary variables introduced 0
3600.09/3613.46	c CG solutions found 0
3600.09/3613.46	c CG cores constructed 0
3600.09/3613.46	c CG core cardinality constraints returned 0
3600.09/3613.46	c CG unit cores 0
3600.09/3613.46	c CG single cores 0
3600.09/3613.46	c CG blocks removed during cardinality reduction 0
3600.09/3613.46	c CG first core best 0
3600.09/3613.46	c CG decision core best 0
3600.09/3613.46	c CG core reduction tie 0
3600.09/3613.46	c CG core degree average 0.00
3600.09/3613.46	c CG core slack average 0.00
3600.09/3613.46	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (61952 MiB free)
  memory of node 1: 64473 MiB (16186 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460675-1722069547/watcher-4460675-1722069547 -o /tmp/evaluation-result-4460675-1722069547/solver-4460675-1722069547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722064836-372425 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460675-1722069547 --lp-cut-gomory=0 HOME/instance-4460675-1722069547.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=375533, runsolver pid=375530

[startup+0.100065 s]*
/proc/loadavg: 4.18 4.16 4.10 5/260 375534
/proc/meminfo: memFree=79999576/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=54960 memory=25256 CPUtime=0.09 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 5716 0 0 0 7 2 0 0 20 0 1 0 43477736 56279040 6314 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 13740 6314 1664 992 0 5598 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54960 KiB
Current children cumulated memory: 25256 KiB

[startup+0.205745 s]*
/proc/loadavg: 4.18 4.16 4.10 5/260 375534
/proc/meminfo: memFree=79975212/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=69052 memory=36112 CPUtime=0.19 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 8956 0 0 0 16 3 0 0 20 0 1 0 43477736 70709248 9028 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 17263 9028 1712 992 0 9121 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69052 KiB
Current children cumulated memory: 36112 KiB

[startup+0.305668 s]*
/proc/loadavg: 4.18 4.16 4.10 5/260 375534
/proc/meminfo: memFree=79966000/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=69372 memory=36904 CPUtime=0.29 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 9125 0 0 0 26 3 0 0 20 0 1 0 43477736 71036928 9226 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 17343 9226 1712 992 0 9201 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69372 KiB
Current children cumulated memory: 36904 KiB

[startup+0.700232 s]
/proc/loadavg: 4.18 4.16 4.10 5/260 375534
/proc/meminfo: memFree=79959300/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=71704 memory=39280 CPUtime=0.67 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 9761 0 0 0 64 3 0 0 20 0 1 0 43477736 73424896 9820 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 17926 9820 1712 992 0 9784 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71704 KiB
Current children cumulated memory: 39280 KiB

[startup+1.5002 s]
/proc/loadavg: 4.18 4.16 4.10 5/260 375534
/proc/meminfo: memFree=79935248/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=72488 memory=40456 CPUtime=1.48 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 9990 0 0 0 140 8 0 0 20 0 1 0 43477736 74227712 10114 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 18122 10114 1744 992 0 9980 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72488 KiB
Current children cumulated memory: 40456 KiB

[startup+3.10553 s]
/proc/loadavg: 4.18 4.16 4.10 5/260 375534
/proc/meminfo: memFree=79851500/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=74700 memory=43412 CPUtime=3.07 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 10731 0 0 0 292 15 0 0 20 0 1 0 43477736 76492800 10853 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 18675 10853 1759 992 0 10533 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 74700 KiB
Current children cumulated memory: 43412 KiB

[startup+6.3002 s]
/proc/loadavg: 4.16 4.16 4.10 6/260 375535
/proc/meminfo: memFree=79747672/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=76436 memory=45784 CPUtime=6.26 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 11308 0 0 0 608 18 0 0 20 0 1 0 43477736 78270464 11446 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 19109 11446 1759 992 0 10967 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76436 KiB
Current children cumulated memory: 45784 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.10 5/260 375535
/proc/meminfo: memFree=79488628/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=80072 memory=48508 CPUtime=12.64 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 11936 0 0 0 1227 37 0 0 20 0 1 0 43477736 81993728 12127 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 20018 12127 1823 992 0 11876 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80072 KiB
Current children cumulated memory: 48508 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.10 5/260 375537
/proc/meminfo: memFree=78966144/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=91428 memory=61332 CPUtime=25.39 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 14621 0 0 0 2481 58 0 0 20 0 1 0 43477736 93622272 15333 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 22857 15333 1855 992 0 14715 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 91428 KiB
Current children cumulated memory: 61332 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.15 4.10 5/257 375541
/proc/meminfo: memFree=77846232/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=96344 memory=65292 CPUtime=50.9 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 15566 0 0 0 4997 93 0 0 20 0 1 0 43477736 98656256 16323 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 24086 16323 1855 992 0 15944 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 96344 KiB
Current children cumulated memory: 65292 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/263 375559
/proc/meminfo: memFree=75370188/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=152920 memory=111492 CPUtime=101.9 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 21527 0 0 0 10003 187 0 0 20 0 1 0 43477736 156590080 27873 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 38230 27873 1855 992 0 30088 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 152920 KiB
Current children cumulated memory: 111492 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/263 375569
/proc/meminfo: memFree=72210628/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=281212 memory=234608 CPUtime=161.7 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 35032 0 0 0 15921 249 0 0 20 0 1 0 43477736 287961088 58652 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 70303 58652 1855 992 0 62161 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 281212 KiB
Current children cumulated memory: 234608 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 375580
/proc/meminfo: memFree=69373680/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=294480 memory=259544 CPUtime=221.47 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 38261 0 0 0 21830 317 0 0 20 0 1 0 43477736 301547520 64886 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 73620 64886 1855 992 0 65478 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 294480 KiB
Current children cumulated memory: 259544 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 375592
/proc/meminfo: memFree=67129424/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=298840 memory=263504 CPUtime=281.25 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 39243 0 0 0 27700 425 0 0 20 0 1 0 43477736 306012160 65876 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 74710 65876 1855 992 0 66568 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 298840 KiB
Current children cumulated memory: 263504 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/267 375606
/proc/meminfo: memFree=64426124/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=304524 memory=269812 CPUtime=341.03 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 40795 0 0 0 33624 479 0 0 20 0 1 0 43477736 311832576 67453 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 76131 67453 1855 992 0 67989 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 269812 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/267 375616
/proc/meminfo: memFree=62127536/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=306072 memory=270868 CPUtime=400.82 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 41058 0 0 0 39535 547 0 0 20 0 1 0 43477736 313417728 67717 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 76518 67717 1855 992 0 68376 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 306072 KiB
Current children cumulated memory: 270868 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.16 4.10 6/264 375628
/proc/meminfo: memFree=60490540/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=312356 memory=277732 CPUtime=460.59 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 42772 0 0 0 45420 639 0 0 20 0 1 0 43477736 319852544 69433 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 78089 69433 1855 992 0 69947 0

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

/proc/375533/statm: 333526 287496 1949 992 0 325384 0
Current children cumulated CPU time: 2851.73 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1149984 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/265 377202
/proc/meminfo: memFree=107447484/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=1334104 memory=1149984 CPUtime=2911.52 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 123044 0 0 0 288330 2822 0 0 20 0 1 0 43477736 1366122496 287496 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 333526 287496 1949 992 0 325384 0
Current children cumulated CPU time: 2911.52 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1149984 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/265 377212
/proc/meminfo: memFree=106725444/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=1334104 memory=1150016 CPUtime=2971.29 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 123082 0 0 0 294225 2904 0 0 20 0 1 0 43477736 1366122496 287504 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 333526 287504 1949 992 0 325384 0
Current children cumulated CPU time: 2971.29 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1150016 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/265 377391
/proc/meminfo: memFree=105987656/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=1334104 memory=1150076 CPUtime=3031.06 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 123597 0 0 0 300124 2982 0 0 20 0 1 0 43477736 1366122496 287519 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 333526 287519 1949 992 0 325384 0
Current children cumulated CPU time: 3031.06 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1150076 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/267 377460
/proc/meminfo: memFree=104521324/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=1334104 memory=1150076 CPUtime=3090.84 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 123611 0 0 0 306043 3041 0 0 20 0 1 0 43477736 1366122496 287519 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 333526 287519 1949 992 0 325384 0
Current children cumulated CPU time: 3090.84 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1150076 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/264 377470
/proc/meminfo: memFree=102638740/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=1375672 memory=1193052 CPUtime=3150.63 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 133553 0 0 0 311967 3096 0 0 20 0 1 0 43477736 1408688128 298263 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 343918 298263 1949 992 0 335776 0
Current children cumulated CPU time: 3150.63 s
Current children cumulated vsize: 1375672 KiB
Current children cumulated memory: 1193052 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/262 377482
/proc/meminfo: memFree=100355360/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=1398836 memory=1215008 CPUtime=3210.42 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 139378 0 0 0 317903 3139 0 0 20 0 1 0 43477736 1432408064 303752 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 349709 303752 1949 992 0 341567 0
Current children cumulated CPU time: 3210.42 s
Current children cumulated vsize: 1398836 KiB
Current children cumulated memory: 1215008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.19 4.15 6/260 377493
/proc/meminfo: memFree=97696336/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=1439300 memory=1359756 CPUtime=3270.19 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 149893 0 0 0 323830 3189 0 0 20 0 1 0 43477736 1473843200 339939 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 359825 339939 1949 992 0 351683 0
Current children cumulated CPU time: 3270.19 s
Current children cumulated vsize: 1439300 KiB
Current children cumulated memory: 1359756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/259 377504
/proc/meminfo: memFree=96135312/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=2017552 memory=1412912 CPUtime=3329.97 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 152416 0 0 0 329760 3237 0 0 20 0 1 0 43477736 2065973248 353228 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 504388 353228 1949 992 0 496246 0
Current children cumulated CPU time: 3329.97 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1412912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/257 377514
/proc/meminfo: memFree=94797004/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=2017552 memory=1412912 CPUtime=3389.76 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 152416 0 0 0 335667 3309 0 0 20 0 1 0 43477736 2065973248 353228 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 504388 353228 1949 992 0 496246 0
Current children cumulated CPU time: 3389.76 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1412912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.20 4.16 5/260 377527
/proc/meminfo: memFree=93312568/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=2017552 memory=1412912 CPUtime=3449.55 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 152427 0 0 0 341559 3396 0 0 20 0 1 0 43477736 2065973248 353228 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 504388 353228 1949 992 0 496246 0
Current children cumulated CPU time: 3449.55 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1412912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.20 4.16 5/260 377538
/proc/meminfo: memFree=92063176/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=2017552 memory=1412912 CPUtime=3509.32 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 152442 0 0 0 347481 3451 0 0 20 0 1 0 43477736 2065973248 353228 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 504388 353228 1949 992 0 496246 0
Current children cumulated CPU time: 3509.32 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1412912 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/260 377549
/proc/meminfo: memFree=90906056/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=2017552 memory=1412912 CPUtime=3569.11 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 152465 0 0 0 353413 3498 0 0 20 0 1 0 43477736 2065973248 353228 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 504388 353228 1949 992 0 496246 0
Current children cumulated CPU time: 3569.11 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1412912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.4 s]
/proc/loadavg: 4.15 4.17 4.15 5/261 377647
/proc/meminfo: memFree=97536452/131524600 swapFree=131057784/131071996
[pid=375533] ppid=375530 vsize=2017852 memory=1415388 CPUtime=3600.09 cores=0,2
/proc/375533/stat : 375533 (roundingsat) R 375530 375533 372411 0 -1 4194304 152600 0 0 0 356487 3522 0 0 20 0 1 0 43477736 2066280448 353847 134679101440 4194304 8254357 140736886613808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 35115008 140736886616923 140736886617185 140736886617185 140736886624201 0
/proc/375533/statm: 504463 353847 1949 992 0 496321 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2017852 KiB
Current children cumulated memory: 1415388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3564.88 s, system=35.2697 s

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

[startup+3613.5 s]*
/proc/loadavg: 4.15 4.17 4.15 5/261 377647
/proc/meminfo: memFree=98880532/131524600 swapFree=131057784/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3613.51
CPU time (s): 3600.15
CPU user time (s): 3564.88
CPU system time (s): 35.2697
CPU usage (%): 99.6304
Max. virtual memory (cumulated for all children) (KiB): 2017852
Max. memory (cumulated for all children) (KiB): 1415388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.88
system time used= 35.2697
maximum resident set size= 1415652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152612
page faults= 1
swaps= 0
block input operations= 3776
block output operations= 14070528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248
involuntary context switches= 25402


# summary of solver processes directly reported to runsolver:
#   pid: 375533
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3564.88
#   total CPU system time (s): 35.2697

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32835 second user time and 16.8031 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-27 10:39:07
IDJOB=4460675
IDBENCH=158322
IDSOLVER=3086
FILE ID=nodeC024/4460675-1722069547
RUNJOBID= nodeC024-1722064836-372425
SLURM_JOB_ID= 8248093
Free space on /tmp= 890024 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460675-1722069547/watcher-4460675-1722069547 -o /tmp/evaluation-result-4460675-1722069547/solver-4460675-1722069547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722064836-372425 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460675-1722069547 --lp-cut-gomory=0 HOME/instance-4460675-1722069547.opb

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

MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=1994572972

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3665.070
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3687.435
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3657.242
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3600.254
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3677.086
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3687.508
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3611.738
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3600.167
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        80014572 kB
MemAvailable:   121651940 kB
Buffers:          370168 kB
Cached:         42054480 kB
SwapCached:          228 kB
Active:          2718472 kB
Inactive:       48065044 kB
Active(anon):       4112 kB
Inactive(anon):  8408328 kB
Active(file):    2714360 kB
Inactive(file): 39656716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057784 kB
Dirty:            704868 kB
Writeback:           104 kB
AnonPages:       8356220 kB
Mapped:           114872 kB
Shmem:             53464 kB
KReclaimable:     212228 kB
Slab:             352044 kB
SReclaimable:     212228 kB
SUnreclaim:       139816 kB
KernelStack:        4256 kB
PageTables:        26124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9584392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4503552 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC024 at 2024-07-27 11:39:21