Trace number 4460199

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)? (TO) 3600.07 3613.9

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
MD5SUMb48e8711e48bf421c56e401ff58b5422
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark248
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7089
Total number of constraints13888
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13888
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2621
Number of bits of the biggest sum of numbers12
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.10/0.17	c #variables 7089 #constraints 13888
6.47/6.58	c bounds - >= 0 @ 0.147231
6.47/6.58	c #Conflicts:       1000 | #Constraints:      14887
6.47/6.58	c #Conflicts:       2000 | #Constraints:      15887
6.47/6.58	c INPROCESSING
6.47/6.58	c bounds - >= 8 @ 2.54202
6.47/6.58	c bounds - >= 16 @ 2.54409
6.47/6.58	c bounds - >= 17 @ 2.54846
6.47/6.58	c bounds - >= 18 @ 2.55547
6.47/6.58	c bounds - >= 19 @ 2.55644
6.47/6.58	c bounds - >= 20 @ 2.56017
6.47/6.58	c bounds - >= 21 @ 2.56273
6.47/6.58	c bounds - >= 22 @ 2.57341
6.47/6.58	c bounds - >= 23 @ 2.57912
6.47/6.58	c bounds - >= 24 @ 2.59442
6.47/6.58	c bounds - >= 25 @ 2.60541
6.47/6.58	c bounds - >= 26 @ 2.62264
6.47/6.58	c bounds - >= 27 @ 2.63495
6.47/6.58	c bounds - >= 28 @ 2.65693
6.47/6.58	c bounds - >= 29 @ 2.67104
6.47/6.58	c bounds - >= 30 @ 2.81407
6.47/6.58	c bounds - >= 31 @ 2.85579
6.47/6.58	c bounds - >= 32 @ 2.96496
6.47/6.58	c bounds - >= 33 @ 3.05057
6.47/6.58	c #Conflicts:       3000 | #Constraints:      16023
6.47/6.58	c bounds - >= 34 @ 3.44493
6.47/6.58	c bounds - >= 35 @ 3.65252
6.47/6.58	c #Conflicts:       4000 | #Constraints:      17038
6.47/6.58	c INPROCESSING
6.47/6.58	c #Conflicts:       5000 | #Constraints:      16437
6.47/6.58	c bounds - >= 36 @ 5.05079
6.47/6.58	c #Conflicts:       6000 | #Constraints:      17446
6.47/6.58	c INPROCESSING
6.47/6.58	c GARBAGE COLLECT
6.47/6.58	c rational objective 36
10.96/11.05	c #Conflicts:       7000 | #Constraints:      16462
10.96/11.05	c bounds - >= 37 @ 6.66226
10.96/11.05	c #Conflicts:       8000 | #Constraints:      17471
10.96/11.05	c #Conflicts:       9000 | #Constraints:      18471
10.96/11.05	c INPROCESSING
10.96/11.05	c bounds - >= 38 @ 8.26569
10.96/11.05	c #Conflicts:      10000 | #Constraints:      17194
10.96/11.05	c bounds - >= 39 @ 8.54698
10.96/11.05	c #Conflicts:      11000 | #Constraints:      18206
10.96/11.05	c bounds - >= 40 @ 10.0397
10.96/11.05	c #Conflicts:      12000 | #Constraints:      19215
10.96/11.05	c INPROCESSING
10.96/11.05	c GARBAGE COLLECT
10.96/11.05	c rational objective 40
17.64/17.79	c #Conflicts:      13000 | #Constraints:      17657
17.64/17.79	c #Conflicts:      14000 | #Constraints:      18657
17.64/17.79	c #Conflicts:      15000 | #Constraints:      19657
17.64/17.79	c #Conflicts:      16000 | #Constraints:      20657
17.64/17.79	c #Conflicts:      17000 | #Constraints:      21657
17.64/17.79	c #Conflicts:      18000 | #Constraints:      22657
17.64/17.79	c #Conflicts:      19000 | #Constraints:      23657
17.64/17.79	c #Conflicts:      20000 | #Constraints:      24657
17.64/17.79	c INPROCESSING
17.64/17.79	c GARBAGE COLLECT
17.64/17.79	c rational objective 40
22.53/22.64	c #Conflicts:      21000 | #Constraints:      20257
22.53/22.64	c bounds - >= 41 @ 18.0573
22.53/22.64	c #Conflicts:      22000 | #Constraints:      21266
22.53/22.64	c bounds - >= 42 @ 19.0205
22.53/22.64	c bounds - >= 43 @ 19.6737
22.53/22.64	c #Conflicts:      23000 | #Constraints:      22287
22.53/22.64	c #Conflicts:      24000 | #Constraints:      23287
22.53/22.64	c INPROCESSING
22.53/22.64	c rational objective 43
28.62/28.72	c #Conflicts:      25000 | #Constraints:      19478
28.62/28.72	c bounds - >= 44 @ 22.7536
28.62/28.72	c #Conflicts:      26000 | #Constraints:      20487
28.62/28.72	c bounds - >= 45 @ 25.4242
28.62/28.72	c #Conflicts:      27000 | #Constraints:      21496
28.62/28.72	c #Conflicts:      28000 | #Constraints:      22496
28.62/28.72	c INPROCESSING
28.62/28.72	c GARBAGE COLLECT
28.62/28.72	c rational objective 45
44.37/44.54	c #Conflicts:      29000 | #Constraints:      18923
44.37/44.54	c #Conflicts:      30000 | #Constraints:      19923
44.37/44.54	c #Conflicts:      31000 | #Constraints:      20923
44.37/44.54	c #Conflicts:      32000 | #Constraints:      21923
44.37/44.54	c bounds - >= 46 @ 33.8029
44.37/44.54	c #Conflicts:      33000 | #Constraints:      22932
44.37/44.54	c #Conflicts:      34000 | #Constraints:      23932
44.37/44.54	c #Conflicts:      35000 | #Constraints:      24932
44.37/44.54	c #Conflicts:      36000 | #Constraints:      25932
44.37/44.54	c #Conflicts:      37000 | #Constraints:      26932
44.37/44.54	c #Conflicts:      38000 | #Constraints:      27932
44.37/44.54	c #Conflicts:      39000 | #Constraints:      28932
44.37/44.54	c #Conflicts:      40000 | #Constraints:      29932
44.37/44.54	c #Conflicts:      41000 | #Constraints:      30932
44.37/44.54	c INPROCESSING
44.37/44.54	c GARBAGE COLLECT
44.37/44.54	c rational objective 46
54.04/54.21	c #Conflicts:      42000 | #Constraints:      23389
54.04/54.21	c #Conflicts:      43000 | #Constraints:      24389
54.04/54.21	c #Conflicts:      44000 | #Constraints:      25389
54.04/54.21	c #Conflicts:      45000 | #Constraints:      26389
54.04/54.21	c bounds - >= 47 @ 50.8356
54.04/54.21	c #Conflicts:      46000 | #Constraints:      27398
54.04/54.21	c #Conflicts:      47000 | #Constraints:      28398
54.04/54.21	c INPROCESSING
54.04/54.21	c GARBAGE COLLECT
54.04/54.21	c rational objective 47
84.97/85.29	c #Conflicts:      48000 | #Constraints:      22322
84.97/85.29	c #Conflicts:      49000 | #Constraints:      23322
84.97/85.29	c #Conflicts:      50000 | #Constraints:      24322
84.97/85.29	c #Conflicts:      51000 | #Constraints:      25322
84.97/85.29	c #Conflicts:      52000 | #Constraints:      26322
84.97/85.29	c #Conflicts:      53000 | #Constraints:      27322
84.97/85.29	c #Conflicts:      54000 | #Constraints:      28322
84.97/85.29	c #Conflicts:      55000 | #Constraints:      29322
84.97/85.29	c #Conflicts:      56000 | #Constraints:      30322
84.97/85.29	c bounds - >= 48 @ 75.7288
84.97/85.29	c #Conflicts:      57000 | #Constraints:      31328
84.97/85.29	c #Conflicts:      58000 | #Constraints:      32328
84.97/85.29	c #Conflicts:      59000 | #Constraints:      33328
84.97/85.29	c #Conflicts:      60000 | #Constraints:      34328
84.97/85.29	c #Conflicts:      61000 | #Constraints:      35328
84.97/85.29	c #Conflicts:      62000 | #Constraints:      36328
84.97/85.29	c INPROCESSING
84.97/85.29	c GARBAGE COLLECT
84.97/85.29	c rational objective 48
95.74/96.04	c #Conflicts:      63000 | #Constraints:      25944
95.74/96.04	c #Conflicts:      64000 | #Constraints:      26944
95.74/96.04	c #Conflicts:      65000 | #Constraints:      27944
95.74/96.04	c #Conflicts:      66000 | #Constraints:      28944
95.74/96.04	c #Conflicts:      67000 | #Constraints:      29944
95.74/96.04	c #Conflicts:      68000 | #Constraints:      30944
95.74/96.04	c #Conflicts:      69000 | #Constraints:      31944
95.74/96.04	c INPROCESSING
95.74/96.04	c GARBAGE COLLECT
95.74/96.04	c rational objective 48
121.97/122.31	c #Conflicts:      70000 | #Constraints:      23800
121.97/122.31	c #Conflicts:      71000 | #Constraints:      24800
121.97/122.31	c #Conflicts:      72000 | #Constraints:      25800
121.97/122.31	c #Conflicts:      73000 | #Constraints:      26800
121.97/122.31	c #Conflicts:      74000 | #Constraints:      27800
121.97/122.31	c #Conflicts:      75000 | #Constraints:      28800
121.97/122.31	c #Conflicts:      76000 | #Constraints:      29800
121.97/122.31	c #Conflicts:      77000 | #Constraints:      30800
121.97/122.31	c #Conflicts:      78000 | #Constraints:      31800
121.97/122.31	c #Conflicts:      79000 | #Constraints:      32800
121.97/122.31	c #Conflicts:      80000 | #Constraints:      33800
121.97/122.31	c #Conflicts:      81000 | #Constraints:      34800
121.97/122.31	c #Conflicts:      82000 | #Constraints:      35800
121.97/122.31	c #Conflicts:      83000 | #Constraints:      36800
121.97/122.31	c #Conflicts:      84000 | #Constraints:      37800
121.97/122.31	c #Conflicts:      85000 | #Constraints:      38800
121.97/122.31	c #Conflicts:      86000 | #Constraints:      39800
121.97/122.31	c #Conflicts:      87000 | #Constraints:      40800
121.97/122.31	c #Conflicts:      88000 | #Constraints:      41800
121.97/122.31	c INPROCESSING
121.97/122.31	c GARBAGE COLLECT
121.97/122.31	c rational objective 48
146.80/147.21	c #Conflicts:      89000 | #Constraints:      28926
146.80/147.21	c #Conflicts:      90000 | #Constraints:      29926
146.80/147.21	c #Conflicts:      91000 | #Constraints:      30926
146.80/147.21	c #Conflicts:      92000 | #Constraints:      31926
146.80/147.21	c #Conflicts:      93000 | #Constraints:      32926
146.80/147.21	c #Conflicts:      94000 | #Constraints:      33926
146.80/147.21	c bounds - >= 49 @ 139.124
146.80/147.21	c #Conflicts:      95000 | #Constraints:      34935
146.80/147.21	c #Conflicts:      96000 | #Constraints:      35935
146.80/147.21	c INPROCESSING
146.80/147.21	c GARBAGE COLLECT
146.80/147.21	c rational objective 49
179.41/179.91	c #Conflicts:      97000 | #Constraints:      25791
179.41/179.91	c #Conflicts:      98000 | #Constraints:      26791
179.41/179.91	c #Conflicts:      99000 | #Constraints:      27791
179.41/179.91	c #Conflicts:     100000 | #Constraints:      28791
179.41/179.91	c #Conflicts:     101000 | #Constraints:      29791
179.41/179.91	c #Conflicts:     102000 | #Constraints:      30791
179.41/179.91	c #Conflicts:     103000 | #Constraints:      31791
179.41/179.91	c #Conflicts:     104000 | #Constraints:      32791
179.41/179.91	c #Conflicts:     105000 | #Constraints:      33791
179.41/179.91	c #Conflicts:     106000 | #Constraints:      34791
179.41/179.91	c #Conflicts:     107000 | #Constraints:      35791
179.41/179.91	c #Conflicts:     108000 | #Constraints:      36791
179.41/179.91	c #Conflicts:     109000 | #Constraints:      37791
179.41/179.91	c #Conflicts:     110000 | #Constraints:      38791
179.41/179.91	c #Conflicts:     111000 | #Constraints:      39791
179.41/179.91	c #Conflicts:     112000 | #Constraints:      40791
179.41/179.91	c #Conflicts:     113000 | #Constraints:      41791
179.41/179.91	c #Conflicts:     114000 | #Constraints:      42791
179.41/179.91	c #Conflicts:     115000 | #Constraints:      43791
179.41/179.91	c #Conflicts:     116000 | #Constraints:      44791
179.41/179.91	c #Conflicts:     117000 | #Constraints:      45791
179.41/179.91	c #Conflicts:     118000 | #Constraints:      46791
179.41/179.91	c INPROCESSING
179.41/179.91	c GARBAGE COLLECT
179.41/179.91	c rational objective 49
216.01/216.60	c #Conflicts:     119000 | #Constraints:      31372
216.01/216.60	c #Conflicts:     120000 | #Constraints:      32372
216.01/216.60	c #Conflicts:     121000 | #Constraints:      33372
216.01/216.60	c #Conflicts:     122000 | #Constraints:      34372
216.01/216.60	c #Conflicts:     123000 | #Constraints:      35372
216.01/216.60	c #Conflicts:     124000 | #Constraints:      36372
216.01/216.60	c #Conflicts:     125000 | #Constraints:      37372
216.01/216.60	c #Conflicts:     126000 | #Constraints:      38372
216.01/216.60	c bounds - >= 50 @ 207.558
216.01/216.60	c #Conflicts:     127000 | #Constraints:      39381
216.01/216.60	c #Conflicts:     128000 | #Constraints:      40381
216.01/216.60	c INPROCESSING
216.01/216.60	c GARBAGE COLLECT
216.01/216.60	c rational objective 50
262.07/262.86	c #Conflicts:     129000 | #Constraints:      28319
262.07/262.86	c #Conflicts:     130000 | #Constraints:      29319
262.07/262.86	c #Conflicts:     131000 | #Constraints:      30319
262.07/262.86	c #Conflicts:     132000 | #Constraints:      31319
262.07/262.86	c #Conflicts:     133000 | #Constraints:      32319
262.07/262.86	c #Conflicts:     134000 | #Constraints:      33319
262.07/262.86	c #Conflicts:     135000 | #Constraints:      34319
262.07/262.86	c #Conflicts:     136000 | #Constraints:      35319
262.07/262.86	c #Conflicts:     137000 | #Constraints:      36319
262.07/262.86	c #Conflicts:     138000 | #Constraints:      37319
262.07/262.86	c #Conflicts:     139000 | #Constraints:      38319
262.07/262.86	c #Conflicts:     140000 | #Constraints:      39319
262.07/262.86	c #Conflicts:     141000 | #Constraints:      40319
262.07/262.86	c #Conflicts:     142000 | #Constraints:      41319
262.07/262.86	c #Conflicts:     143000 | #Constraints:      42319
262.07/262.86	c #Conflicts:     144000 | #Constraints:      43319
262.07/262.86	c #Conflicts:     145000 | #Constraints:      44319
262.07/262.86	c #Conflicts:     146000 | #Constraints:      45319
262.07/262.86	c #Conflicts:     147000 | #Constraints:      46319
262.07/262.86	c #Conflicts:     148000 | #Constraints:      47319
262.07/262.86	c #Conflicts:     149000 | #Constraints:      48319
262.07/262.86	c #Conflicts:     150000 | #Constraints:      49319
262.07/262.86	c #Conflicts:     151000 | #Constraints:      50319
262.07/262.86	c #Conflicts:     152000 | #Constraints:      51319
262.07/262.86	c #Conflicts:     153000 | #Constraints:      52319
262.07/262.86	c INPROCESSING
262.07/262.86	c GARBAGE COLLECT
262.07/262.86	c rational objective 50
309.80/310.74	c #Conflicts:     154000 | #Constraints:      34442
309.80/310.74	c #Conflicts:     155000 | #Constraints:      35442
309.80/310.74	c #Conflicts:     156000 | #Constraints:      36442
309.80/310.74	c #Conflicts:     157000 | #Constraints:      37442
309.80/310.74	c bounds - >= 51 @ 276.076
309.80/310.74	c #Conflicts:     158000 | #Constraints:      38448
309.80/310.74	c #Conflicts:     159000 | #Constraints:      39448
309.80/310.74	c #Conflicts:     160000 | #Constraints:      40448
309.80/310.74	c #Conflicts:     161000 | #Constraints:      41448
309.80/310.74	c #Conflicts:     162000 | #Constraints:      42448
309.80/310.74	c #Conflicts:     163000 | #Constraints:      43448
309.80/310.74	c INPROCESSING
309.80/310.74	c GARBAGE COLLECT
309.80/310.74	c rational objective 51
389.32/390.51	c #Conflicts:     164000 | #Constraints:      29470
389.32/390.51	c #Conflicts:     165000 | #Constraints:      30470
389.32/390.51	c #Conflicts:     166000 | #Constraints:      31470
389.32/390.51	c #Conflicts:     167000 | #Constraints:      32470
389.32/390.51	c #Conflicts:     168000 | #Constraints:      33470
389.32/390.51	c #Conflicts:     169000 | #Constraints:      34470
389.32/390.51	c #Conflicts:     170000 | #Constraints:      35470
389.32/390.51	c #Conflicts:     171000 | #Constraints:      36470
389.32/390.51	c #Conflicts:     172000 | #Constraints:      37470
389.32/390.51	c bounds - >= 52 @ 339.305
389.32/390.51	c #Conflicts:     173000 | #Constraints:      38476
389.32/390.51	c #Conflicts:     174000 | #Constraints:      39476
389.32/390.51	c #Conflicts:     175000 | #Constraints:      40476
389.32/390.51	c #Conflicts:     176000 | #Constraints:      41476
389.32/390.51	c #Conflicts:     177000 | #Constraints:      42476
389.32/390.51	c #Conflicts:     178000 | #Constraints:      43476
389.32/390.51	c #Conflicts:     179000 | #Constraints:      44476
389.32/390.51	c #Conflicts:     180000 | #Constraints:      45476
389.32/390.51	c #Conflicts:     181000 | #Constraints:      46476
389.32/390.51	c #Conflicts:     182000 | #Constraints:      47476
389.32/390.51	c #Conflicts:     183000 | #Constraints:      48476
389.32/390.51	c #Conflicts:     184000 | #Constraints:      49476
389.32/390.51	c #Conflicts:     185000 | #Constraints:      50476
389.32/390.51	c #Conflicts:     186000 | #Constraints:      51476
389.32/390.51	c #Conflicts:     187000 | #Constraints:      52476
389.32/390.51	c #Conflicts:     188000 | #Constraints:      53476
389.32/390.51	c #Conflicts:     189000 | #Constraints:      54476
389.32/390.51	c #Conflicts:     190000 | #Constraints:      55476
389.32/390.51	c #Conflicts:     191000 | #Constraints:      56476
389.32/390.51	c INPROCESSING
389.32/390.51	c GARBAGE COLLECT
389.32/390.51	c rational objective 52
434.57/435.96	c #Conflicts:     192000 | #Constraints:      36025
434.57/435.96	c #Conflicts:     193000 | #Constraints:      37025
434.57/435.96	c #Conflicts:     194000 | #Constraints:      38025
434.57/435.96	c #Conflicts:     195000 | #Constraints:      39025
434.57/435.96	c #Conflicts:     196000 | #Constraints:      40025
434.57/435.96	c #Conflicts:     197000 | #Constraints:      41025
434.57/435.96	c bounds - >= 53 @ 412.871
434.57/435.96	c #Conflicts:     198000 | #Constraints:      42034
434.57/435.96	c #Conflicts:     199000 | #Constraints:      43034
434.57/435.96	c #Conflicts:     200000 | #Constraints:      44034
434.57/435.96	c #Conflicts:     201000 | #Constraints:      45034
434.57/435.96	c #Conflicts:     202000 | #Constraints:      46034
434.57/435.96	c #Conflicts:     203000 | #Constraints:      47034
434.57/435.96	c #Conflicts:     204000 | #Constraints:      48034
434.57/435.96	c INPROCESSING
434.57/435.96	c GARBAGE COLLECT
434.57/435.96	c rational objective 53
579.05/580.90	c #Conflicts:     205000 | #Constraints:      32467
579.05/580.90	c #Conflicts:     206000 | #Constraints:      33467
579.05/580.90	c #Conflicts:     207000 | #Constraints:      34467
579.05/580.90	c #Conflicts:     208000 | #Constraints:      35467
579.05/580.90	c #Conflicts:     209000 | #Constraints:      36467
579.05/580.90	c #Conflicts:     210000 | #Constraints:      37467
579.05/580.90	c #Conflicts:     211000 | #Constraints:      38467
579.05/580.90	c #Conflicts:     212000 | #Constraints:      39467
579.05/580.90	c #Conflicts:     213000 | #Constraints:      40467
579.05/580.90	c #Conflicts:     214000 | #Constraints:      41467
579.05/580.90	c #Conflicts:     215000 | #Constraints:      42467
579.05/580.90	c #Conflicts:     216000 | #Constraints:      43467
579.05/580.90	c #Conflicts:     217000 | #Constraints:      44467
579.05/580.90	c #Conflicts:     218000 | #Constraints:      45467
579.05/580.90	c #Conflicts:     219000 | #Constraints:      46467
579.05/580.90	c #Conflicts:     220000 | #Constraints:      47467
579.05/580.90	c #Conflicts:     221000 | #Constraints:      48467
579.05/580.90	c #Conflicts:     222000 | #Constraints:      49467
579.05/580.90	c #Conflicts:     223000 | #Constraints:      50467
579.05/580.90	c bounds - >= 54 @ 546.685
579.05/580.90	c #Conflicts:     224000 | #Constraints:      51473
579.05/580.90	c #Conflicts:     225000 | #Constraints:      52473
579.05/580.90	c #Conflicts:     226000 | #Constraints:      53473
579.05/580.90	c #Conflicts:     227000 | #Constraints:      54473
579.05/580.90	c #Conflicts:     228000 | #Constraints:      55473
579.05/580.90	c #Conflicts:     229000 | #Constraints:      56473
579.05/580.90	c #Conflicts:     230000 | #Constraints:      57473
579.05/580.90	c #Conflicts:     231000 | #Constraints:      58473
579.05/580.90	c #Conflicts:     232000 | #Constraints:      59473
579.05/580.90	c #Conflicts:     233000 | #Constraints:      60473
579.05/580.90	c #Conflicts:     234000 | #Constraints:      61473
579.05/580.90	c #Conflicts:     235000 | #Constraints:      62473
579.05/580.90	c INPROCESSING
579.05/580.90	c GARBAGE COLLECT
579.05/580.90	c rational objective 54
693.14/695.43	c #Conflicts:     236000 | #Constraints:      39344
693.14/695.43	c #Conflicts:     237000 | #Constraints:      40344
693.14/695.43	c #Conflicts:     238000 | #Constraints:      41344
693.14/695.43	c #Conflicts:     239000 | #Constraints:      42344
693.14/695.43	c #Conflicts:     240000 | #Constraints:      43344
693.14/695.43	c #Conflicts:     241000 | #Constraints:      44344
693.14/695.43	c #Conflicts:     242000 | #Constraints:      45344
693.14/695.43	c #Conflicts:     243000 | #Constraints:      46344
693.14/695.43	c #Conflicts:     244000 | #Constraints:      47344
693.14/695.43	c #Conflicts:     245000 | #Constraints:      48344
693.14/695.43	c #Conflicts:     246000 | #Constraints:      49344
693.14/695.43	c #Conflicts:     247000 | #Constraints:      50344
693.14/695.43	c #Conflicts:     248000 | #Constraints:      51344
693.14/695.43	c #Conflicts:     249000 | #Constraints:      52344
693.14/695.43	c #Conflicts:     250000 | #Constraints:      53344
693.14/695.43	c #Conflicts:     251000 | #Constraints:      54344
693.14/695.43	c #Conflicts:     252000 | #Constraints:      55344
693.14/695.43	c #Conflicts:     253000 | #Constraints:      56344
693.14/695.43	c #Conflicts:     254000 | #Constraints:      57344
693.14/695.43	c #Conflicts:     255000 | #Constraints:      58344
693.14/695.43	c #Conflicts:     256000 | #Constraints:      59344
693.14/695.43	c #Conflicts:     257000 | #Constraints:      60344
693.14/695.43	c #Conflicts:     258000 | #Constraints:      61344
693.14/695.43	c #Conflicts:     259000 | #Constraints:      62344
693.14/695.43	c #Conflicts:     260000 | #Constraints:      63344
693.14/695.43	c #Conflicts:     261000 | #Constraints:      64344
693.14/695.43	c #Conflicts:     262000 | #Constraints:      65344
693.14/695.43	c #Conflicts:     263000 | #Constraints:      66344
693.14/695.43	c #Conflicts:     264000 | #Constraints:      67344
693.14/695.43	c #Conflicts:     265000 | #Constraints:      68344
693.14/695.43	c #Conflicts:     266000 | #Constraints:      69344
693.14/695.43	c #Conflicts:     267000 | #Constraints:      70344
693.14/695.43	c #Conflicts:     268000 | #Constraints:      71344
693.14/695.43	c INPROCESSING
693.14/695.43	c GARBAGE COLLECT
693.14/695.43	c rational objective 54
813.80/816.50	c #Conflicts:     269000 | #Constraints:      43812
813.80/816.50	c #Conflicts:     270000 | #Constraints:      44812
813.80/816.50	c #Conflicts:     271000 | #Constraints:      45812
813.80/816.50	c #Conflicts:     272000 | #Constraints:      46812
813.80/816.50	c #Conflicts:     273000 | #Constraints:      47812
813.80/816.50	c #Conflicts:     274000 | #Constraints:      48812
813.80/816.50	c #Conflicts:     275000 | #Constraints:      49812
813.80/816.50	c #Conflicts:     276000 | #Constraints:      50812
813.80/816.50	c #Conflicts:     277000 | #Constraints:      51812
813.80/816.50	c #Conflicts:     278000 | #Constraints:      52812
813.80/816.50	c #Conflicts:     279000 | #Constraints:      53812
813.80/816.50	c #Conflicts:     280000 | #Constraints:      54812
813.80/816.50	c #Conflicts:     281000 | #Constraints:      55812
813.80/816.50	c #Conflicts:     282000 | #Constraints:      56812
813.80/816.50	c INPROCESSING
813.80/816.50	c GARBAGE COLLECT
813.80/816.50	c rational objective 54
935.17/938.32	c #Conflicts:     283000 | #Constraints:      39375
935.17/938.32	c #Conflicts:     284000 | #Constraints:      40375
935.17/938.32	c #Conflicts:     285000 | #Constraints:      41375
935.17/938.32	c #Conflicts:     286000 | #Constraints:      42375
935.17/938.32	c #Conflicts:     287000 | #Constraints:      43375
935.17/938.32	c #Conflicts:     288000 | #Constraints:      44375
935.17/938.32	c #Conflicts:     289000 | #Constraints:      45375
935.17/938.32	c #Conflicts:     290000 | #Constraints:      46375
935.17/938.32	c #Conflicts:     291000 | #Constraints:      47375
935.17/938.32	c #Conflicts:     292000 | #Constraints:      48375
935.17/938.32	c #Conflicts:     293000 | #Constraints:      49375
935.17/938.32	c #Conflicts:     294000 | #Constraints:      50375
935.17/938.32	c #Conflicts:     295000 | #Constraints:      51375
935.17/938.32	c #Conflicts:     296000 | #Constraints:      52375
935.17/938.32	c #Conflicts:     297000 | #Constraints:      53375
935.17/938.32	c #Conflicts:     298000 | #Constraints:      54375
935.17/938.32	c #Conflicts:     299000 | #Constraints:      55375
935.17/938.32	c #Conflicts:     300000 | #Constraints:      56375
935.17/938.32	c #Conflicts:     301000 | #Constraints:      57375
935.17/938.32	c #Conflicts:     302000 | #Constraints:      58375
935.17/938.33	c #Conflicts:     303000 | #Constraints:      59375
935.17/938.33	c #Conflicts:     304000 | #Constraints:      60375
935.17/938.33	c #Conflicts:     305000 | #Constraints:      61375
935.17/938.33	c #Conflicts:     306000 | #Constraints:      62375
935.17/938.33	c #Conflicts:     307000 | #Constraints:      63375
935.17/938.33	c #Conflicts:     308000 | #Constraints:      64375
935.17/938.33	c #Conflicts:     309000 | #Constraints:      65375
935.17/938.33	c #Conflicts:     310000 | #Constraints:      66375
935.17/938.33	c #Conflicts:     311000 | #Constraints:      67375
935.17/938.33	c #Conflicts:     312000 | #Constraints:      68375
935.17/938.33	c #Conflicts:     313000 | #Constraints:      69375
935.17/938.33	c #Conflicts:     314000 | #Constraints:      70375
935.17/938.33	c #Conflicts:     315000 | #Constraints:      71375
935.17/938.33	c #Conflicts:     316000 | #Constraints:      72375
935.17/938.33	c #Conflicts:     317000 | #Constraints:      73375
935.17/938.33	c #Conflicts:     318000 | #Constraints:      74375
935.17/938.33	c #Conflicts:     319000 | #Constraints:      75375
935.17/938.33	c INPROCESSING
935.17/938.33	c GARBAGE COLLECT
935.17/938.33	c rational objective 54
1067.59/1071.24	c #Conflicts:     320000 | #Constraints:      45880
1067.59/1071.24	c #Conflicts:     321000 | #Constraints:      46880
1067.59/1071.24	c #Conflicts:     322000 | #Constraints:      47880
1067.59/1071.24	c #Conflicts:     323000 | #Constraints:      48880
1067.59/1071.24	c #Conflicts:     324000 | #Constraints:      49880
1067.59/1071.24	c #Conflicts:     325000 | #Constraints:      50880
1067.59/1071.24	c #Conflicts:     326000 | #Constraints:      51880
1067.59/1071.24	c #Conflicts:     327000 | #Constraints:      52880
1067.59/1071.24	c #Conflicts:     328000 | #Constraints:      53880
1067.59/1071.24	c #Conflicts:     329000 | #Constraints:      54880
1067.59/1071.24	c #Conflicts:     330000 | #Constraints:      55880
1067.59/1071.24	c #Conflicts:     331000 | #Constraints:      56880
1067.59/1071.24	c #Conflicts:     332000 | #Constraints:      57880
1067.59/1071.24	c #Conflicts:     333000 | #Constraints:      58880
1067.59/1071.24	c #Conflicts:     334000 | #Constraints:      59880
1067.59/1071.24	c #Conflicts:     335000 | #Constraints:      60880
1067.59/1071.24	c INPROCESSING
1067.59/1071.24	c GARBAGE COLLECT
1067.59/1071.24	c rational objective 54
1217.55/1221.78	c #Conflicts:     336000 | #Constraints:      43562
1217.55/1221.78	c #Conflicts:     337000 | #Constraints:      44562
1217.55/1221.78	c #Conflicts:     338000 | #Constraints:      45562
1217.55/1221.78	c #Conflicts:     339000 | #Constraints:      46562
1217.55/1221.78	c #Conflicts:     340000 | #Constraints:      47562
1217.55/1221.78	c #Conflicts:     341000 | #Constraints:      48562
1217.55/1221.78	c #Conflicts:     342000 | #Constraints:      49562
1217.55/1221.78	c #Conflicts:     343000 | #Constraints:      50562
1217.55/1221.78	c #Conflicts:     344000 | #Constraints:      51562
1217.55/1221.78	c #Conflicts:     345000 | #Constraints:      52562
1217.55/1221.78	c #Conflicts:     346000 | #Constraints:      53562
1217.55/1221.78	c #Conflicts:     347000 | #Constraints:      54562
1217.55/1221.78	c #Conflicts:     348000 | #Constraints:      55562
1217.55/1221.78	c #Conflicts:     349000 | #Constraints:      56562
1217.55/1221.78	c #Conflicts:     350000 | #Constraints:      57562
1217.55/1221.78	c #Conflicts:     351000 | #Constraints:      58562
1217.55/1221.78	c #Conflicts:     352000 | #Constraints:      59562
1217.55/1221.78	c #Conflicts:     353000 | #Constraints:      60562
1217.55/1221.78	c #Conflicts:     354000 | #Constraints:      61562
1217.55/1221.78	c #Conflicts:     355000 | #Constraints:      62562
1217.55/1221.78	c #Conflicts:     356000 | #Constraints:      63562
1217.55/1221.78	c #Conflicts:     357000 | #Constraints:      64562
1217.55/1221.78	c #Conflicts:     358000 | #Constraints:      65562
1217.55/1221.78	c #Conflicts:     359000 | #Constraints:      66562
1217.55/1221.78	c #Conflicts:     360000 | #Constraints:      67562
1217.55/1221.78	c #Conflicts:     361000 | #Constraints:      68562
1217.55/1221.78	c #Conflicts:     362000 | #Constraints:      69562
1217.55/1221.78	c #Conflicts:     363000 | #Constraints:      70562
1217.55/1221.78	c #Conflicts:     364000 | #Constraints:      71562
1217.55/1221.78	c #Conflicts:     365000 | #Constraints:      72562
1217.55/1221.78	c #Conflicts:     366000 | #Constraints:      73562
1217.55/1221.78	c #Conflicts:     367000 | #Constraints:      74562
1217.55/1221.78	c #Conflicts:     368000 | #Constraints:      75562
1217.55/1221.78	c #Conflicts:     369000 | #Constraints:      76562
1217.55/1221.78	c #Conflicts:     370000 | #Constraints:      77562
1217.55/1221.78	c #Conflicts:     371000 | #Constraints:      78562
1217.55/1221.78	c #Conflicts:     372000 | #Constraints:      79562
1217.55/1221.78	c #Conflicts:     373000 | #Constraints:      80562
1217.55/1221.78	c #Conflicts:     374000 | #Constraints:      81562
1217.55/1221.78	c INPROCESSING
1217.55/1221.78	c GARBAGE COLLECT
1217.55/1221.78	c rational objective 54
1400.52/1405.25	c #Conflicts:     375000 | #Constraints:      48889
1400.52/1405.25	c #Conflicts:     376000 | #Constraints:      49889
1400.52/1405.25	c #Conflicts:     377000 | #Constraints:      50889
1400.52/1405.25	c #Conflicts:     378000 | #Constraints:      51889
1400.52/1405.25	c #Conflicts:     379000 | #Constraints:      52889
1400.52/1405.25	c #Conflicts:     380000 | #Constraints:      53889
1400.52/1405.25	c bounds - >= 55 @ 1268.98
1400.52/1405.25	c #Conflicts:     381000 | #Constraints:      54895
1400.52/1405.25	c #Conflicts:     382000 | #Constraints:      55895
1400.52/1405.25	c #Conflicts:     383000 | #Constraints:      56895
1400.52/1405.25	c #Conflicts:     384000 | #Constraints:      57895
1400.52/1405.25	c #Conflicts:     385000 | #Constraints:      58895
1400.52/1405.25	c #Conflicts:     386000 | #Constraints:      59895
1400.52/1405.25	c #Conflicts:     387000 | #Constraints:      60895
1400.52/1405.25	c #Conflicts:     388000 | #Constraints:      61895
1400.52/1405.25	c #Conflicts:     389000 | #Constraints:      62895
1400.52/1405.25	c #Conflicts:     390000 | #Constraints:      63895
1400.52/1405.25	c #Conflicts:     391000 | #Constraints:      64895
1400.52/1405.25	c INPROCESSING
1400.52/1405.25	c GARBAGE COLLECT
1400.52/1405.25	c rational objective 55
1558.31/1563.45	c #Conflicts:     392000 | #Constraints:      46563
1558.31/1563.45	c #Conflicts:     393000 | #Constraints:      47563
1558.31/1563.45	c #Conflicts:     394000 | #Constraints:      48563
1558.31/1563.45	c #Conflicts:     395000 | #Constraints:      49563
1558.31/1563.45	c #Conflicts:     396000 | #Constraints:      50563
1558.31/1563.45	c #Conflicts:     397000 | #Constraints:      51563
1558.31/1563.45	c #Conflicts:     398000 | #Constraints:      52563
1558.31/1563.45	c #Conflicts:     399000 | #Constraints:      53563
1558.31/1563.45	c #Conflicts:     400000 | #Constraints:      54563
1558.31/1563.45	c #Conflicts:     401000 | #Constraints:      55563
1558.31/1563.45	c #Conflicts:     402000 | #Constraints:      56563
1558.31/1563.45	c #Conflicts:     403000 | #Constraints:      57563
1558.31/1563.45	c #Conflicts:     404000 | #Constraints:      58563
1558.31/1563.45	c #Conflicts:     405000 | #Constraints:      59563
1558.31/1563.45	c #Conflicts:     406000 | #Constraints:      60563
1558.31/1563.45	c #Conflicts:     407000 | #Constraints:      61563
1558.31/1563.45	c #Conflicts:     408000 | #Constraints:      62563
1558.31/1563.45	c #Conflicts:     409000 | #Constraints:      63563
1558.31/1563.45	c #Conflicts:     410000 | #Constraints:      64563
1558.31/1563.45	c #Conflicts:     411000 | #Constraints:      65563
1558.31/1563.45	c #Conflicts:     412000 | #Constraints:      66563
1558.31/1563.45	c #Conflicts:     413000 | #Constraints:      67563
1558.31/1563.45	c #Conflicts:     414000 | #Constraints:      68563
1558.31/1563.45	c #Conflicts:     415000 | #Constraints:      69563
1558.31/1563.45	c #Conflicts:     416000 | #Constraints:      70563
1558.31/1563.45	c #Conflicts:     417000 | #Constraints:      71563
1558.31/1563.45	c #Conflicts:     418000 | #Constraints:      72563
1558.31/1563.45	c #Conflicts:     419000 | #Constraints:      73563
1558.31/1563.45	c #Conflicts:     420000 | #Constraints:      74563
1558.31/1563.45	c #Conflicts:     421000 | #Constraints:      75563
1558.31/1563.45	c #Conflicts:     422000 | #Constraints:      76563
1558.31/1563.45	c #Conflicts:     423000 | #Constraints:      77563
1558.31/1563.45	c #Conflicts:     424000 | #Constraints:      78563
1558.31/1563.45	c #Conflicts:     425000 | #Constraints:      79563
1558.31/1563.45	c #Conflicts:     426000 | #Constraints:      80563
1558.31/1563.45	c #Conflicts:     427000 | #Constraints:      81563
1558.31/1563.45	c #Conflicts:     428000 | #Constraints:      82563
1558.31/1563.45	c #Conflicts:     429000 | #Constraints:      83563
1558.31/1563.45	c #Conflicts:     430000 | #Constraints:      84563
1558.31/1563.45	c #Conflicts:     431000 | #Constraints:      85563
1558.31/1563.45	c #Conflicts:     432000 | #Constraints:      86563
1558.31/1563.45	c #Conflicts:     433000 | #Constraints:      87563
1558.31/1563.45	c #Conflicts:     434000 | #Constraints:      88563
1558.31/1563.45	c INPROCESSING
1558.31/1563.45	c GARBAGE COLLECT
1558.31/1563.45	c rational objective 55
1777.43/1783.20	c #Conflicts:     435000 | #Constraints:      52628
1777.43/1783.20	c #Conflicts:     436000 | #Constraints:      53628
1777.43/1783.20	c #Conflicts:     437000 | #Constraints:      54628
1777.43/1783.20	c #Conflicts:     438000 | #Constraints:      55628
1777.43/1783.20	c #Conflicts:     439000 | #Constraints:      56628
1777.43/1783.20	c #Conflicts:     440000 | #Constraints:      57628
1777.43/1783.20	c #Conflicts:     441000 | #Constraints:      58628
1777.43/1783.20	c bounds - >= 56 @ 1634.99
1777.43/1783.20	c #Conflicts:     442000 | #Constraints:      59634
1777.43/1783.20	c #Conflicts:     443000 | #Constraints:      60634
1777.43/1783.20	c #Conflicts:     444000 | #Constraints:      61634
1777.43/1783.20	c #Conflicts:     445000 | #Constraints:      62634
1777.43/1783.20	c #Conflicts:     446000 | #Constraints:      63634
1777.43/1783.20	c #Conflicts:     447000 | #Constraints:      64634
1777.43/1783.20	c #Conflicts:     448000 | #Constraints:      65634
1777.43/1783.20	c #Conflicts:     449000 | #Constraints:      66634
1777.43/1783.20	c #Conflicts:     450000 | #Constraints:      67634
1777.43/1783.20	c #Conflicts:     451000 | #Constraints:      68634
1777.43/1783.20	c #Conflicts:     452000 | #Constraints:      69634
1777.43/1783.20	c INPROCESSING
1777.43/1783.20	c GARBAGE COLLECT
1777.43/1783.20	c rational objective 56
2203.88/2211.15	c #Conflicts:     453000 | #Constraints:      50294
2203.88/2211.15	c #Conflicts:     454000 | #Constraints:      51294
2203.88/2211.15	c #Conflicts:     455000 | #Constraints:      52294
2203.88/2211.15	c #Conflicts:     456000 | #Constraints:      53294
2203.88/2211.15	c #Conflicts:     457000 | #Constraints:      54294
2203.88/2211.15	c #Conflicts:     458000 | #Constraints:      55294
2203.88/2211.15	c #Conflicts:     459000 | #Constraints:      56294
2203.88/2211.15	c #Conflicts:     460000 | #Constraints:      57294
2203.88/2211.15	c #Conflicts:     461000 | #Constraints:      58294
2203.88/2211.15	c #Conflicts:     462000 | #Constraints:      59294
2203.88/2211.15	c #Conflicts:     463000 | #Constraints:      60294
2203.88/2211.15	c #Conflicts:     464000 | #Constraints:      61294
2203.88/2211.15	c #Conflicts:     465000 | #Constraints:      62294
2203.88/2211.15	c bounds - >= 57 @ 1943.39
2203.88/2211.15	c #Conflicts:     466000 | #Constraints:      63300
2203.88/2211.15	c #Conflicts:     467000 | #Constraints:      64300
2203.88/2211.15	c #Conflicts:     468000 | #Constraints:      65300
2203.88/2211.15	c #Conflicts:     469000 | #Constraints:      66300
2203.88/2211.15	c #Conflicts:     470000 | #Constraints:      67300
2203.88/2211.15	c #Conflicts:     471000 | #Constraints:      68300
2203.88/2211.15	c #Conflicts:     472000 | #Constraints:      69300
2203.88/2211.15	c #Conflicts:     473000 | #Constraints:      70300
2203.88/2211.15	c #Conflicts:     474000 | #Constraints:      71300
2203.88/2211.15	c #Conflicts:     475000 | #Constraints:      72300
2203.88/2211.15	c #Conflicts:     476000 | #Constraints:      73300
2203.88/2211.15	c #Conflicts:     477000 | #Constraints:      74300
2203.88/2211.15	c #Conflicts:     478000 | #Constraints:      75300
2203.88/2211.15	c #Conflicts:     479000 | #Constraints:      76300
2203.88/2211.15	c #Conflicts:     480000 | #Constraints:      77300
2203.88/2211.15	c #Conflicts:     481000 | #Constraints:      78300
2203.88/2211.15	c #Conflicts:     482000 | #Constraints:      79300
2203.88/2211.15	c #Conflicts:     483000 | #Constraints:      80300
2203.88/2211.15	c #Conflicts:     484000 | #Constraints:      81300
2203.88/2211.15	c #Conflicts:     485000 | #Constraints:      82300
2203.88/2211.15	c #Conflicts:     486000 | #Constraints:      83300
2203.88/2211.15	c #Conflicts:     487000 | #Constraints:      84300
2203.88/2211.15	c #Conflicts:     488000 | #Constraints:      85300
2203.88/2211.15	c #Conflicts:     489000 | #Constraints:      86300
2203.88/2211.15	c #Conflicts:     490000 | #Constraints:      87300
2203.88/2211.15	c #Conflicts:     491000 | #Constraints:      88300
2203.88/2211.15	c #Conflicts:     492000 | #Constraints:      89300
2203.88/2211.15	c #Conflicts:     493000 | #Constraints:      90300
2203.88/2211.15	c #Conflicts:     494000 | #Constraints:      91300
2203.88/2211.15	c #Conflicts:     495000 | #Constraints:      92300
2203.88/2211.15	c #Conflicts:     496000 | #Constraints:      93300
2203.88/2211.15	c #Conflicts:     497000 | #Constraints:      94300
2203.88/2211.15	c #Conflicts:     498000 | #Constraints:      95300
2203.88/2211.15	c INPROCESSING
2203.88/2211.15	c GARBAGE COLLECT
2203.88/2211.15	c rational objective 57
2648.78/2657.58	c #Conflicts:     499000 | #Constraints:      55893
2648.78/2657.58	c #Conflicts:     500000 | #Constraints:      56893
2648.78/2657.58	c bounds - >= 58 @ 2227.56
2648.78/2657.58	c #Conflicts:     501000 | #Constraints:      57902
2648.78/2657.58	c #Conflicts:     502000 | #Constraints:      58902
2648.78/2657.58	c bounds - >= 59 @ 2252.5
2648.78/2657.58	c #Conflicts:     503000 | #Constraints:      59911
2648.78/2657.58	c #Conflicts:     504000 | #Constraints:      60911
2648.78/2657.58	c #Conflicts:     505000 | #Constraints:      61911
2648.78/2657.58	c #Conflicts:     506000 | #Constraints:      62911
2648.78/2657.58	c #Conflicts:     507000 | #Constraints:      63911
2648.78/2657.58	c bounds - >= 60 @ 2311.5
2648.78/2657.58	c #Conflicts:     508000 | #Constraints:      64923
2648.78/2657.58	c #Conflicts:     509000 | #Constraints:      65923
2648.78/2657.58	c #Conflicts:     510000 | #Constraints:      66923
2648.78/2657.58	c bounds - >= 61 @ 2361.76
2648.78/2657.58	c #Conflicts:     511000 | #Constraints:      67929
2648.78/2657.58	c #Conflicts:     512000 | #Constraints:      68929
2648.78/2657.58	c #Conflicts:     513000 | #Constraints:      69929
2648.78/2657.58	c #Conflicts:     514000 | #Constraints:      70929
2648.78/2657.58	c #Conflicts:     515000 | #Constraints:      71929
2648.78/2657.58	c #Conflicts:     516000 | #Constraints:      72929
2648.78/2657.58	c bounds - >= 62 @ 2456.39
2648.78/2657.58	c #Conflicts:     517000 | #Constraints:      73938
2648.78/2657.58	c #Conflicts:     518000 | #Constraints:      74938
2648.78/2657.58	c #Conflicts:     519000 | #Constraints:      75938
2648.78/2657.58	c #Conflicts:     520000 | #Constraints:      76938
2648.78/2657.58	c #Conflicts:     521000 | #Constraints:      77938
2648.78/2657.58	c #Conflicts:     522000 | #Constraints:      78938
2648.78/2657.58	c #Conflicts:     523000 | #Constraints:      79938
2648.78/2657.58	c #Conflicts:     524000 | #Constraints:      80938
2648.78/2657.58	c #Conflicts:     525000 | #Constraints:      81938
2648.78/2657.58	c #Conflicts:     526000 | #Constraints:      82938
2648.78/2657.58	c #Conflicts:     527000 | #Constraints:      83938
2648.78/2657.58	c #Conflicts:     528000 | #Constraints:      84938
2648.78/2657.58	c #Conflicts:     529000 | #Constraints:      85938
2648.78/2657.58	c #Conflicts:     530000 | #Constraints:      86938
2648.78/2657.58	c #Conflicts:     531000 | #Constraints:      87938
2648.78/2657.58	c #Conflicts:     532000 | #Constraints:      88938
2648.78/2657.58	c #Conflicts:     533000 | #Constraints:      89938
2648.78/2657.58	c #Conflicts:     534000 | #Constraints:      90938
2648.78/2657.58	c #Conflicts:     535000 | #Constraints:      91938
2648.78/2657.58	c #Conflicts:     536000 | #Constraints:      92938
2648.78/2657.58	c #Conflicts:     537000 | #Constraints:      93938
2648.78/2657.58	c #Conflicts:     538000 | #Constraints:      94938
2648.78/2657.58	c #Conflicts:     539000 | #Constraints:      95938
2648.78/2657.58	c #Conflicts:     540000 | #Constraints:      96938
2648.78/2657.58	c #Conflicts:     541000 | #Constraints:      97938
2648.78/2657.58	c #Conflicts:     542000 | #Constraints:      98938
2648.78/2657.58	c #Conflicts:     543000 | #Constraints:      99938
2648.78/2657.58	c #Conflicts:     544000 | #Constraints:     100938
2648.78/2657.58	c #Conflicts:     545000 | #Constraints:     101938
2648.78/2657.58	c INPROCESSING
2648.78/2657.58	c GARBAGE COLLECT
2648.78/2657.58	c rational objective 62
3139.97/3150.38	c #Conflicts:     546000 | #Constraints:      58974
3139.97/3150.38	c #Conflicts:     547000 | #Constraints:      59974
3139.97/3150.38	c #Conflicts:     548000 | #Constraints:      60974
3139.97/3150.38	c #Conflicts:     549000 | #Constraints:      61974
3139.97/3150.38	c #Conflicts:     550000 | #Constraints:      62974
3139.97/3150.38	c #Conflicts:     551000 | #Constraints:      63974
3139.97/3150.38	c #Conflicts:     552000 | #Constraints:      64974
3139.97/3150.38	c bounds - >= 63 @ 2720.26
3139.97/3150.38	c #Conflicts:     553000 | #Constraints:      65980
3139.97/3150.38	c #Conflicts:     554000 | #Constraints:      66980
3139.97/3150.38	c #Conflicts:     555000 | #Constraints:      67980
3139.97/3150.38	c #Conflicts:     556000 | #Constraints:      68980
3139.97/3150.38	c #Conflicts:     557000 | #Constraints:      69980
3139.97/3150.38	c #Conflicts:     558000 | #Constraints:      70980
3139.97/3150.38	c #Conflicts:     559000 | #Constraints:      71980
3139.97/3150.38	c #Conflicts:     560000 | #Constraints:      72980
3139.97/3150.38	c #Conflicts:     561000 | #Constraints:      73980
3139.97/3150.38	c #Conflicts:     562000 | #Constraints:      74980
3139.97/3150.38	c #Conflicts:     563000 | #Constraints:      75980
3139.97/3150.38	c #Conflicts:     564000 | #Constraints:      76980
3139.97/3150.38	c bounds - >= 64 @ 2918.73
3139.97/3150.38	c #Conflicts:     565000 | #Constraints:      77983
3139.97/3150.38	c #Conflicts:     566000 | #Constraints:      78983
3139.97/3150.38	c #Conflicts:     567000 | #Constraints:      79983
3139.97/3150.38	c #Conflicts:     568000 | #Constraints:      80983
3139.97/3150.38	c #Conflicts:     569000 | #Constraints:      81983
3139.97/3150.38	c #Conflicts:     570000 | #Constraints:      82983
3139.97/3150.38	c #Conflicts:     571000 | #Constraints:      83983
3139.97/3150.38	c #Conflicts:     572000 | #Constraints:      84983
3139.97/3150.38	c #Conflicts:     573000 | #Constraints:      85983
3139.97/3150.38	c #Conflicts:     574000 | #Constraints:      86983
3139.97/3150.38	c #Conflicts:     575000 | #Constraints:      87983
3139.97/3150.38	c #Conflicts:     576000 | #Constraints:      88983
3139.97/3150.38	c #Conflicts:     577000 | #Constraints:      89983
3139.97/3150.38	c #Conflicts:     578000 | #Constraints:      90983
3139.97/3150.38	c #Conflicts:     579000 | #Constraints:      91983
3139.97/3150.38	c #Conflicts:     580000 | #Constraints:      92983
3139.97/3150.38	c #Conflicts:     581000 | #Constraints:      93983
3139.97/3150.38	c #Conflicts:     582000 | #Constraints:      94983
3139.97/3150.38	c #Conflicts:     583000 | #Constraints:      95983
3139.97/3150.38	c #Conflicts:     584000 | #Constraints:      96983
3139.97/3150.38	c #Conflicts:     585000 | #Constraints:      97983
3139.97/3150.38	c #Conflicts:     586000 | #Constraints:      98983
3139.97/3150.38	c #Conflicts:     587000 | #Constraints:      99983
3139.97/3150.38	c #Conflicts:     588000 | #Constraints:     100983
3139.97/3150.38	c #Conflicts:     589000 | #Constraints:     101983
3139.97/3150.38	c #Conflicts:     590000 | #Constraints:     102983
3139.97/3150.38	c #Conflicts:     591000 | #Constraints:     103983
3139.97/3150.38	c #Conflicts:     592000 | #Constraints:     104983
3139.97/3150.38	c #Conflicts:     593000 | #Constraints:     105983
3139.97/3150.38	c #Conflicts:     594000 | #Constraints:     106983
3139.97/3150.38	c #Conflicts:     595000 | #Constraints:     107983
3139.97/3150.38	c INPROCESSING
3139.97/3150.38	c GARBAGE COLLECT
3139.97/3150.38	c rational objective 64
3600.06/3611.90	c #Conflicts:     596000 | #Constraints:      63119
3600.06/3611.90	c #Conflicts:     597000 | #Constraints:      64119
3600.06/3611.90	c #Conflicts:     598000 | #Constraints:      65119
3600.06/3611.90	c #Conflicts:     599000 | #Constraints:      66119
3600.06/3611.90	c #Conflicts:     600000 | #Constraints:      67119
3600.06/3611.90	c #Conflicts:     601000 | #Constraints:      68119
3600.06/3611.90	c #Conflicts:     602000 | #Constraints:      69119
3600.06/3611.90	c #Conflicts:     603000 | #Constraints:      70119
3600.06/3611.90	c #Conflicts:     604000 | #Constraints:      71119
3600.06/3611.90	c #Conflicts:     605000 | #Constraints:      72119
3600.06/3611.90	c #Conflicts:     606000 | #Constraints:      73119
3600.06/3611.90	c bounds - >= 65 @ 3285.09
3600.06/3611.90	c #Conflicts:     607000 | #Constraints:      74128
3600.06/3611.90	c #Conflicts:     608000 | #Constraints:      75128
3600.06/3611.90	c #Conflicts:     609000 | #Constraints:      76128
3600.06/3611.90	c #Conflicts:     610000 | #Constraints:      77128
3600.06/3611.90	c #Conflicts:     611000 | #Constraints:      78128
3600.06/3611.90	c #Conflicts:     612000 | #Constraints:      79128
3600.06/3611.90	c #Conflicts:     613000 | #Constraints:      80128
3600.06/3611.90	c #Conflicts:     614000 | #Constraints:      81128
3600.06/3611.90	c #Conflicts:     615000 | #Constraints:      82128
3600.06/3611.90	c #Conflicts:     616000 | #Constraints:      83128
3600.06/3611.90	c #Conflicts:     617000 | #Constraints:      84128
3600.06/3611.90	c #Conflicts:     618000 | #Constraints:      85128
3600.06/3611.90	c #Conflicts:     619000 | #Constraints:      86128
3600.06/3611.90	c #Conflicts:     620000 | #Constraints:      87128
3600.06/3611.90	c #Conflicts:     621000 | #Constraints:      88128
3600.06/3611.90	c #Conflicts:     622000 | #Constraints:      89128
3600.06/3611.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=364724, runsolver pid=364721

[startup+0.10053 s]*
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119328692/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=39548 memory=10900 CPUtime=0.1 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 981 0 0 0 9 1 0 0 20 0 1 0 43012179 40497152 2725 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 9887 2725 1393 992 0 1745 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39548 KiB
Current children cumulated memory: 10900 KiB

[startup+0.20562 s]*
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119270972/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=82096 memory=53444 CPUtime=0.2 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 12430 0 0 0 16 4 0 0 20 0 1 0 43012179 84066304 13361 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 20524 13361 1712 992 0 12382 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82096 KiB
Current children cumulated memory: 53444 KiB

[startup+0.30564 s]*
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119265068/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=85004 memory=56352 CPUtime=0.29 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 14015 0 0 0 25 4 0 0 20 0 1 0 43012179 87044096 14088 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 21251 14088 1760 992 0 13109 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 85004 KiB
Current children cumulated memory: 56352 KiB

[startup+0.700221 s]
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119244032/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=94440 memory=65788 CPUtime=0.69 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 15924 0 0 0 63 6 0 0 20 0 1 0 43012179 96706560 16447 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 23610 16447 1760 992 0 15468 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 94440 KiB
Current children cumulated memory: 65788 KiB

[startup+1.50022 s]
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119210328/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=94440 memory=66732 CPUtime=1.48 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 16050 0 0 0 141 7 0 0 20 0 1 0 43012179 96706560 16683 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 23610 16683 1871 992 0 15468 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94440 KiB
Current children cumulated memory: 66732 KiB

[startup+3.10584 s]
/proc/loadavg: 0.44 0.18 0.11 5/256 364725
/proc/meminfo: memFree=119026800/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=101880 memory=73084 CPUtime=3.08 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 16217 0 0 0 298 10 0 0 20 0 1 0 43012179 104325120 18271 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 25470 18271 1887 992 0 17328 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 101880 KiB
Current children cumulated memory: 73084 KiB

[startup+6.30021 s]
/proc/loadavg: 0.72 0.24 0.13 5/256 364725
/proc/meminfo: memFree=118937604/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=109260 memory=81412 CPUtime=6.27 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 18784 0 0 0 609 18 0 0 20 0 1 0 43012179 111882240 20353 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 27315 20353 1887 992 0 19173 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109260 KiB
Current children cumulated memory: 81412 KiB

[startup+12.7002 s]
/proc/loadavg: 0.99 0.30 0.15 5/256 364726
/proc/meminfo: memFree=118658652/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=124252 memory=92440 CPUtime=12.65 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 19517 0 0 0 1233 32 0 0 20 0 1 0 43012179 127234048 23110 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 31063 23110 1887 992 0 22921 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 124252 KiB
Current children cumulated memory: 92440 KiB

[startup+25.5002 s]
/proc/loadavg: 1.66 0.48 0.22 5/256 364728
/proc/meminfo: memFree=118333988/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=127148 memory=98912 CPUtime=25.42 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 20117 0 0 0 2493 49 0 0 20 0 1 0 43012179 130199552 24728 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 31787 24728 1887 992 0 23645 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 127148 KiB
Current children cumulated memory: 98912 KiB

[startup+51.1056 s]
/proc/loadavg: 2.51 0.78 0.32 5/259 364735
/proc/meminfo: memFree=117525228/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=127148 memory=99568 CPUtime=50.96 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 20334 0 0 0 5017 79 0 0 20 0 1 0 43012179 130199552 24892 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 31787 24892 1887 992 0 23645 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 127148 KiB
Current children cumulated memory: 99568 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.30 0.52 5/259 364745
/proc/meminfo: memFree=116446780/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=138020 memory=105588 CPUtime=102.02 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 21358 0 0 0 10069 133 0 0 20 0 1 0 43012179 141332480 26397 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 34505 26397 1887 992 0 26363 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 138020 KiB
Current children cumulated memory: 105588 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.82 0.75 5/260 364756
/proc/meminfo: memFree=115857700/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=141536 memory=112316 CPUtime=161.86 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 22577 0 0 0 15990 196 0 0 20 0 1 0 43012179 144932864 28079 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 35384 28079 1887 992 0 27242 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 112316 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.25 0.97 5/260 364767
/proc/meminfo: memFree=114716728/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=141536 memory=112784 CPUtime=221.7 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 22731 0 0 0 21930 240 0 0 20 0 1 0 43012179 144932864 28196 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 35384 28196 1887 992 0 27242 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 141536 KiB
Current children cumulated memory: 112784 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 2.60 1.17 5/260 364777
/proc/meminfo: memFree=113193936/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=153212 memory=115984 CPUtime=281.5 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 23033 0 0 0 27859 291 0 0 20 0 1 0 43012179 156889088 28996 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 38303 28996 1887 992 0 30161 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 153212 KiB
Current children cumulated memory: 115984 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 2.89 1.36 5/258 365172
/proc/meminfo: memFree=112467748/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=158796 memory=121732 CPUtime=341.29 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 24606 0 0 0 33805 324 0 0 20 0 1 0 43012179 162607104 30433 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 39699 30433 1887 992 0 31557 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 158796 KiB
Current children cumulated memory: 121732 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.12 1.54 5/259 365184
/proc/meminfo: memFree=111775412/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=158796 memory=123780 CPUtime=401.09 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 24622 0 0 0 39742 367 0 0 20 0 1 0 43012179 162607104 30945 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 39699 30945 1887 992 0 31557 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 158796 KiB
Current children cumulated memory: 123780 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 3.33 1.71 5/258 365194
/proc/meminfo: memFree=110622588/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=161676 memory=126688 CPUtime=460.87 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 25450 0 0 0 45690 397 0 0 20 0 1 0 43012179 165556224 31672 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 40419 31672 1887 992 0 32277 0

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

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.01 5/263 366497
/proc/meminfo: memFree=88611344/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=188552 CPUtime=3092.13 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 37851 0 0 0 308070 1143 0 0 20 0 1 0 43012179 225927168 47138 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47138 1887 992 0 47016 0
Current children cumulated CPU time: 3092.13 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 188552 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.02 5/264 366508
/proc/meminfo: memFree=87883732/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3151.94 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 37927 0 0 0 314038 1156 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3151.94 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.02 5/260 366519
/proc/meminfo: memFree=87312060/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3211.74 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 37992 0 0 0 320007 1167 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3211.74 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.02 5/261 366531
/proc/meminfo: memFree=86973888/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3271.55 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 38058 0 0 0 325979 1176 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3271.55 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.48 4.20 4.05 5/258 366542
/proc/meminfo: memFree=86662824/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3331.35 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 38115 0 0 0 331951 1184 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3331.35 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

[startup+3402.3 s]
/proc/loadavg: 4.71 4.33 4.11 5/258 366554
/proc/meminfo: memFree=86211280/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3391.15 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 38198 0 0 0 337924 1191 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3391.15 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.28 4.10 5/260 366566
/proc/meminfo: memFree=85650676/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3450.94 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 38268 0 0 0 343894 1200 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3450.94 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

[startup+3522.3 s]
/proc/loadavg: 4.44 4.35 4.14 5/260 366576
/proc/meminfo: memFree=85472612/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3510.75 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 38341 0 0 0 349866 1209 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3510.75 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.30 4.13 5/260 366589
/proc/meminfo: memFree=85080792/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3570.55 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 38411 0 0 0 355841 1214 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 4.18 4.28 4.13 2/251 366621
/proc/meminfo: memFree=88956200/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190604 CPUtime=3600.06 cores=5,7
/proc/364724/stat : 364724 (roundingsat) R 364721 364724 364597 0 -1 4194304 38412 0 0 0 358789 1217 0 0 20 0 1 0 43012179 225927168 47651 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47651 1887 992 0 47016 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190604 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3613.9 s]
# the end of solver process 364724 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3587.89 s, system=12.1801 s

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

[startup+3612.8 s]
/proc/loadavg: 4.18 4.28 4.13 1/251 366621
/proc/meminfo: memFree=88956144/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190920 CPUtime=3600.06 cores=5,7
/proc/364724/stat : 364724 (roundingsat) D 364721 364724 364597 0 -1 4194304 38419 0 0 0 358789 1217 0 0 20 0 1 0 43012179 225927168 47730 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47730 1966 992 0 47016 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190920 KiB

[startup+3613.6 s]
/proc/loadavg: 4.18 4.28 4.13 1/250 366621
/proc/meminfo: memFree=88956152/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190920 CPUtime=3600.06 cores=5,7
/proc/364724/stat : 364724 (roundingsat) D 364721 364724 364597 0 -1 1077936128 38419 0 0 0 358789 1217 0 0 20 0 1 0 43012179 225927168 47730 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 325 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47730 1966 992 0 47016 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190920 KiB

[startup+3613.8 s]
/proc/loadavg: 4.18 4.28 4.13 1/250 366621
/proc/meminfo: memFree=88956152/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190920 CPUtime=3600.06 cores=5,7
/proc/364724/stat : 364724 (roundingsat) D 364721 364724 364597 0 -1 1077936128 38419 0 0 0 358789 1217 0 0 20 0 1 0 43012179 225927168 47730 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 325 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47730 1966 992 0 47016 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190920 KiB

[startup+3613.9 s]
/proc/loadavg: 4.18 4.28 4.13 1/250 366621
/proc/meminfo: memFree=88956152/131524600 swapFree=131068388/131071996
[pid=364724] ppid=364721 vsize=220632 memory=190920 CPUtime=3600.06 cores=5,7
/proc/364724/stat : 364724 (roundingsat) D 364721 364724 364597 0 -1 1077936128 38419 0 0 0 358789 1217 0 0 20 0 1 0 43012179 225927168 47730 134679101440 4194304 8254357 140723596441136 0 0 0 0 0 25182210 0 0 0 17 5 0 0 325 0 0 9037040 9046032 21630976 140723596448607 140723596448869 140723596448869 140723596455881 0
/proc/364724/statm: 55158 47730 1966 992 0 47016 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 220632 KiB
Current children cumulated memory: 190920 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.9
CPU time (s): 3600.07
CPU user time (s): 3587.89
CPU system time (s): 12.1801
CPU usage (%): 99.6173
Max. virtual memory (cumulated for all children) (KiB): 220632
Max. memory (cumulated for all children) (KiB): 190920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.89
system time used= 12.1801
maximum resident set size= 190976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 623560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 4965


# summary of solver processes directly reported to runsolver:
#   pid: 364724
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3587.89
#   total CPU system time (s): 12.1801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8781 second user time and 18.0881 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-27 09:20:39
IDJOB=4460199
IDBENCH=147626
IDSOLVER=3086
FILE ID=nodeC018/4460199-1722064839
RUNJOBID= nodeC018-1722064836-364615
SLURM_JOB_ID= 8248088
Free space on /tmp= 890032 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.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-4460199-1722064839/watcher-4460199-1722064839 -o /tmp/evaluation-result-4460199-1722064839/solver-4460199-1722064839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722064836-364615 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460199-1722064839 --lp-cut-gomory=0 HOME/instance-4460199-1722064839.opb

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=1859590444

nodeC018.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		: 3671.078
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.43
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		: 3688.009
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.33
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		: 3599.792
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.43
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		: 3682.378
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.33
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		: 3671.098
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.43
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		: 3655.270
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.33
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		: 3599.754
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.43
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		: 3668.039
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119345760 kB
MemAvailable:   129507396 kB
Buffers:          363444 kB
Cached:         10572196 kB
SwapCached:          608 kB
Active:          2376672 kB
Inactive:        9086424 kB
Active(anon):       1968 kB
Inactive(anon):   579304 kB
Active(file):    2374704 kB
Inactive(file):  8507120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131068388 kB
Dirty:            130124 kB
Writeback:             0 kB
AnonPages:        527032 kB
Mapped:           114120 kB
Shmem:             53728 kB
KReclaimable:     239272 kB
Slab:             365244 kB
SReclaimable:     239272 kB
SUnreclaim:       125972 kB
KernelStack:        4080 kB
PageTables:        10596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     866512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17408 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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:      375508 kB
DirectMap2M:    43438080 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC018 at 2024-07-27 10:20:53