Trace number 4463084

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 (3)UNSAT cert. 74.0051 80.1238

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x40split.cnf-extracted.pb.metafix.opb
MD5SUM7b2bd6f9c4b35d9a7e05934ad0cefb7e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.613139
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables401
Total number of constraints558
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)556
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.69	c #variables 401 #constraints 558
0.00/0.70	c rational objective 200.5
0.10/0.83	c #Conflicts:       1000 | #Constraints:       1572
0.10/0.83	c #Conflicts:       2000 | #Constraints:       2584
0.10/0.83	c INPROCESSING
0.10/0.83	c GARBAGE COLLECT
0.10/0.83	c rational objective 200.5
0.30/1.02	c #Conflicts:       3000 | #Constraints:       2603
0.30/1.02	c #Conflicts:       4000 | #Constraints:       3611
0.30/1.02	c INPROCESSING
0.30/1.02	c GARBAGE COLLECT
0.30/1.02	c rational objective 200.5
0.49/1.24	c #Conflicts:       5000 | #Constraints:       3013
0.49/1.24	c #Conflicts:       6000 | #Constraints:       4016
0.49/1.24	c INPROCESSING
0.49/1.24	c GARBAGE COLLECT
0.49/1.24	c rational objective 200.5
0.69/1.46	c #Conflicts:       7000 | #Constraints:       3012
0.69/1.46	c #Conflicts:       8000 | #Constraints:       4016
0.69/1.46	c #Conflicts:       9000 | #Constraints:       5021
0.69/1.46	c INPROCESSING
0.69/1.46	c GARBAGE COLLECT
0.69/1.46	c rational objective 200.5
0.99/1.71	c #Conflicts:      10000 | #Constraints:       3718
0.99/1.71	c #Conflicts:      11000 | #Constraints:       4721
0.99/1.71	c #Conflicts:      12000 | #Constraints:       5724
0.99/1.71	c INPROCESSING
0.99/1.71	c GARBAGE COLLECT
0.99/1.71	c rational objective 200.5
1.30/2.00	c #Conflicts:      13000 | #Constraints:       4169
1.30/2.00	c #Conflicts:      14000 | #Constraints:       5171
1.30/2.00	c #Conflicts:      15000 | #Constraints:       6172
1.30/2.00	c INPROCESSING
1.30/2.00	c GARBAGE COLLECT
1.30/2.00	c rational objective 200.5
1.59/2.37	c #Conflicts:      16000 | #Constraints:       4397
1.59/2.37	c #Conflicts:      17000 | #Constraints:       5397
1.59/2.37	c #Conflicts:      18000 | #Constraints:       6398
1.59/2.37	c INPROCESSING
1.59/2.37	c GARBAGE COLLECT
1.59/2.37	c rational objective 200.5
1.98/2.72	c #Conflicts:      19000 | #Constraints:       4412
1.98/2.72	c #Conflicts:      20000 | #Constraints:       5414
1.98/2.72	c #Conflicts:      21000 | #Constraints:       6415
1.98/2.72	c INPROCESSING
1.98/2.72	c GARBAGE COLLECT
1.98/2.72	c rational objective 200.5
2.29/3.07	c #Conflicts:      22000 | #Constraints:       4214
2.29/3.07	c #Conflicts:      23000 | #Constraints:       5214
2.29/3.07	c #Conflicts:      24000 | #Constraints:       6215
2.29/3.07	c #Conflicts:      25000 | #Constraints:       7218
2.29/3.07	c INPROCESSING
2.29/3.07	c GARBAGE COLLECT
2.29/3.07	c rational objective 200.5
2.68/3.46	c #Conflicts:      26000 | #Constraints:       4822
2.68/3.46	c #Conflicts:      27000 | #Constraints:       5822
2.68/3.46	c #Conflicts:      28000 | #Constraints:       6823
2.68/3.46	c #Conflicts:      29000 | #Constraints:       7823
2.68/3.46	c INPROCESSING
2.68/3.46	c GARBAGE COLLECT
2.68/3.46	c rational objective 200.5
3.18/3.91	c #Conflicts:      30000 | #Constraints:       5224
3.18/3.91	c #Conflicts:      31000 | #Constraints:       6224
3.18/3.91	c #Conflicts:      32000 | #Constraints:       7225
3.18/3.91	c #Conflicts:      33000 | #Constraints:       8225
3.18/3.91	c INPROCESSING
3.18/3.91	c GARBAGE COLLECT
3.18/3.91	c rational objective 200.5
3.59/4.37	c #Conflicts:      34000 | #Constraints:       5421
3.59/4.37	c #Conflicts:      35000 | #Constraints:       6421
3.59/4.37	c #Conflicts:      36000 | #Constraints:       7421
3.59/4.37	c #Conflicts:      37000 | #Constraints:       8422
3.59/4.37	c INPROCESSING
3.59/4.37	c GARBAGE COLLECT
3.59/4.37	c rational objective 200.5
4.08/4.83	c #Conflicts:      38000 | #Constraints:       5431
4.08/4.83	c #Conflicts:      39000 | #Constraints:       6431
4.08/4.83	c #Conflicts:      40000 | #Constraints:       7431
4.08/4.83	c #Conflicts:      41000 | #Constraints:       8432
4.08/4.83	c INPROCESSING
4.08/4.83	c GARBAGE COLLECT
4.08/4.83	c rational objective 200.5
4.58/5.34	c #Conflicts:      42000 | #Constraints:       5229
4.58/5.34	c #Conflicts:      43000 | #Constraints:       6229
4.58/5.34	c #Conflicts:      44000 | #Constraints:       7229
4.58/5.34	c #Conflicts:      45000 | #Constraints:       8230
4.58/5.34	c #Conflicts:      46000 | #Constraints:       9230
4.58/5.34	c INPROCESSING
4.58/5.34	c GARBAGE COLLECT
4.58/5.34	c rational objective 200.5
5.08/5.86	c #Conflicts:      47000 | #Constraints:       5827
5.08/5.86	c #Conflicts:      48000 | #Constraints:       6827
5.08/5.86	c #Conflicts:      49000 | #Constraints:       7829
5.08/5.86	c #Conflicts:      50000 | #Constraints:       8829
5.08/5.86	c #Conflicts:      51000 | #Constraints:       9829
5.08/5.86	c INPROCESSING
5.08/5.86	c GARBAGE COLLECT
5.08/5.86	c rational objective 200.5
5.58/6.39	c #Conflicts:      52000 | #Constraints:       6232
5.58/6.39	c #Conflicts:      53000 | #Constraints:       7232
5.58/6.39	c #Conflicts:      54000 | #Constraints:       8232
5.58/6.39	c #Conflicts:      55000 | #Constraints:       9232
5.58/6.39	c #Conflicts:      56000 | #Constraints:      10232
5.58/6.39	c INPROCESSING
5.58/6.39	c GARBAGE COLLECT
5.58/6.39	c rational objective 200.5
6.18/6.93	c #Conflicts:      57000 | #Constraints:       6425
6.18/6.93	c #Conflicts:      58000 | #Constraints:       7425
6.18/6.93	c #Conflicts:      59000 | #Constraints:       8425
6.18/6.93	c #Conflicts:      60000 | #Constraints:       9428
6.18/6.93	c #Conflicts:      61000 | #Constraints:      10430
6.18/6.93	c INPROCESSING
6.18/6.93	c GARBAGE COLLECT
6.18/6.93	c rational objective 200.5
6.78/7.53	c #Conflicts:      62000 | #Constraints:       6424
6.78/7.53	c #Conflicts:      63000 | #Constraints:       7424
6.78/7.53	c #Conflicts:      64000 | #Constraints:       8424
6.78/7.53	c #Conflicts:      65000 | #Constraints:       9424
6.78/7.53	c #Conflicts:      66000 | #Constraints:      10424
6.78/7.53	c INPROCESSING
6.78/7.53	c GARBAGE COLLECT
6.78/7.53	c rational objective 200.5
7.38/8.12	c #Conflicts:      67000 | #Constraints:       6227
7.38/8.12	c #Conflicts:      68000 | #Constraints:       7228
7.38/8.12	c #Conflicts:      69000 | #Constraints:       8229
7.38/8.12	c #Conflicts:      70000 | #Constraints:       9230
7.38/8.12	c #Conflicts:      71000 | #Constraints:      10230
7.38/8.12	c #Conflicts:      72000 | #Constraints:      11230
7.38/8.12	c INPROCESSING
7.38/8.12	c GARBAGE COLLECT
7.38/8.12	c rational objective 200.5
7.98/8.77	c #Conflicts:      73000 | #Constraints:       6826
7.98/8.77	c #Conflicts:      74000 | #Constraints:       7826
7.98/8.77	c #Conflicts:      75000 | #Constraints:       8827
7.98/8.77	c #Conflicts:      76000 | #Constraints:       9827
7.98/8.77	c #Conflicts:      77000 | #Constraints:      10827
7.98/8.77	c #Conflicts:      78000 | #Constraints:      11827
7.98/8.77	c INPROCESSING
7.98/8.77	c GARBAGE COLLECT
7.98/8.77	c rational objective 200.5
8.67/9.40	c #Conflicts:      79000 | #Constraints:       7226
8.67/9.40	c #Conflicts:      80000 | #Constraints:       8226
8.67/9.40	c #Conflicts:      81000 | #Constraints:       9226
8.67/9.40	c #Conflicts:      82000 | #Constraints:      10226
8.67/9.40	c #Conflicts:      83000 | #Constraints:      11226
8.67/9.40	c #Conflicts:      84000 | #Constraints:      12226
8.67/9.40	c INPROCESSING
8.67/9.40	c GARBAGE COLLECT
8.67/9.40	c rational objective 200.5
9.27/10.07	c #Conflicts:      85000 | #Constraints:       7425
9.27/10.07	c #Conflicts:      86000 | #Constraints:       8425
9.27/10.07	c #Conflicts:      87000 | #Constraints:       9425
9.27/10.07	c #Conflicts:      88000 | #Constraints:      10425
9.27/10.07	c #Conflicts:      89000 | #Constraints:      11425
9.27/10.07	c #Conflicts:      90000 | #Constraints:      12425
9.27/10.07	c INPROCESSING
9.27/10.07	c GARBAGE COLLECT
9.27/10.07	c rational objective 200.5
10.06/10.87	c #Conflicts:      91000 | #Constraints:       7427
10.06/10.87	c #Conflicts:      92000 | #Constraints:       8427
10.06/10.87	c #Conflicts:      93000 | #Constraints:       9427
10.06/10.87	c #Conflicts:      94000 | #Constraints:      10429
10.06/10.87	c #Conflicts:      95000 | #Constraints:      11429
10.06/10.87	c #Conflicts:      96000 | #Constraints:      12429
10.06/10.87	c INPROCESSING
10.06/10.87	c GARBAGE COLLECT
10.06/10.87	c rational objective 200.5
10.76/11.58	c #Conflicts:      97000 | #Constraints:       7230
10.76/11.58	c #Conflicts:      98000 | #Constraints:       8230
10.76/11.58	c #Conflicts:      99000 | #Constraints:       9230
10.76/11.58	c #Conflicts:     100000 | #Constraints:      10230
10.76/11.58	c #Conflicts:     101000 | #Constraints:      11230
10.76/11.58	c #Conflicts:     102000 | #Constraints:      12230
10.76/11.58	c #Conflicts:     103000 | #Constraints:      13230
10.76/11.58	c INPROCESSING
10.76/11.58	c GARBAGE COLLECT
10.76/11.58	c rational objective 200.5
11.56/12.33	c #Conflicts:     104000 | #Constraints:       7832
11.56/12.33	c #Conflicts:     105000 | #Constraints:       8832
11.56/12.33	c #Conflicts:     106000 | #Constraints:       9832
11.56/12.33	c #Conflicts:     107000 | #Constraints:      10832
11.56/12.33	c #Conflicts:     108000 | #Constraints:      11833
11.56/12.33	c #Conflicts:     109000 | #Constraints:      12833
11.56/12.33	c #Conflicts:     110000 | #Constraints:      13833
11.56/12.33	c INPROCESSING
11.56/12.33	c GARBAGE COLLECT
11.56/12.33	c rational objective 200.5
12.27/13.08	c #Conflicts:     111000 | #Constraints:       8228
12.27/13.08	c #Conflicts:     112000 | #Constraints:       9230
12.27/13.08	c #Conflicts:     113000 | #Constraints:      10230
12.27/13.08	c #Conflicts:     114000 | #Constraints:      11230
12.27/13.08	c #Conflicts:     115000 | #Constraints:      12230
12.27/13.08	c #Conflicts:     116000 | #Constraints:      13230
12.27/13.08	c #Conflicts:     117000 | #Constraints:      14230
12.27/13.08	c INPROCESSING
12.27/13.08	c GARBAGE COLLECT
12.27/13.08	c rational objective 200.5
13.16/13.92	c #Conflicts:     118000 | #Constraints:       8431
13.16/13.92	c #Conflicts:     119000 | #Constraints:       9432
13.16/13.92	c #Conflicts:     120000 | #Constraints:      10433
13.16/13.92	c #Conflicts:     121000 | #Constraints:      11433
13.16/13.92	c #Conflicts:     122000 | #Constraints:      12433
13.16/13.92	c #Conflicts:     123000 | #Constraints:      13433
13.16/13.92	c #Conflicts:     124000 | #Constraints:      14434
13.16/13.92	c INPROCESSING
13.16/13.92	c GARBAGE COLLECT
13.16/13.92	c rational objective 200.5
13.96/14.71	c #Conflicts:     125000 | #Constraints:       8431
13.96/14.71	c #Conflicts:     126000 | #Constraints:       9431
13.96/14.71	c #Conflicts:     127000 | #Constraints:      10431
13.96/14.71	c #Conflicts:     128000 | #Constraints:      11431
13.96/14.71	c #Conflicts:     129000 | #Constraints:      12431
13.96/14.71	c #Conflicts:     130000 | #Constraints:      13431
13.96/14.71	c #Conflicts:     131000 | #Constraints:      14431
13.96/14.71	c INPROCESSING
13.96/14.71	c GARBAGE COLLECT
13.96/14.71	c rational objective 200.5
14.76/15.51	c #Conflicts:     132000 | #Constraints:       8232
14.76/15.51	c #Conflicts:     133000 | #Constraints:       9232
14.76/15.51	c #Conflicts:     134000 | #Constraints:      10232
14.76/15.51	c #Conflicts:     135000 | #Constraints:      11232
14.76/15.51	c #Conflicts:     136000 | #Constraints:      12232
14.76/15.51	c #Conflicts:     137000 | #Constraints:      13232
14.76/15.51	c #Conflicts:     138000 | #Constraints:      14232
14.76/15.51	c #Conflicts:     139000 | #Constraints:      15232
14.76/15.51	c INPROCESSING
14.76/15.51	c GARBAGE COLLECT
14.76/15.51	c rational objective 200.5
15.66/16.47	c #Conflicts:     140000 | #Constraints:       8831
15.66/16.47	c #Conflicts:     141000 | #Constraints:       9831
15.66/16.47	c #Conflicts:     142000 | #Constraints:      10831
15.66/16.47	c #Conflicts:     143000 | #Constraints:      11831
15.66/16.47	c #Conflicts:     144000 | #Constraints:      12831
15.66/16.47	c #Conflicts:     145000 | #Constraints:      13831
15.66/16.47	c #Conflicts:     146000 | #Constraints:      14831
15.66/16.47	c #Conflicts:     147000 | #Constraints:      15831
15.66/16.47	c INPROCESSING
15.66/16.47	c GARBAGE COLLECT
15.66/16.47	c rational objective 200.5
16.55/17.35	c #Conflicts:     148000 | #Constraints:       9230
16.55/17.35	c #Conflicts:     149000 | #Constraints:      10230
16.55/17.35	c #Conflicts:     150000 | #Constraints:      11230
16.55/17.35	c #Conflicts:     151000 | #Constraints:      12230
16.55/17.35	c #Conflicts:     152000 | #Constraints:      13230
16.55/17.35	c #Conflicts:     153000 | #Constraints:      14231
16.55/17.35	c #Conflicts:     154000 | #Constraints:      15231
16.55/17.35	c #Conflicts:     155000 | #Constraints:      16231
16.55/17.35	c INPROCESSING
16.55/17.35	c GARBAGE COLLECT
16.55/17.35	c rational objective 200.5
17.45/18.24	c #Conflicts:     156000 | #Constraints:       9432
17.45/18.24	c #Conflicts:     157000 | #Constraints:      10432
17.45/18.24	c #Conflicts:     158000 | #Constraints:      11432
17.45/18.24	c #Conflicts:     159000 | #Constraints:      12432
17.45/18.24	c #Conflicts:     160000 | #Constraints:      13433
17.45/18.24	c #Conflicts:     161000 | #Constraints:      14433
17.45/18.24	c #Conflicts:     162000 | #Constraints:      15434
17.45/18.24	c #Conflicts:     163000 | #Constraints:      16434
17.45/18.24	c INPROCESSING
17.45/18.24	c GARBAGE COLLECT
17.45/18.24	c rational objective 200.5
18.35/19.13	c #Conflicts:     164000 | #Constraints:       9432
18.35/19.13	c #Conflicts:     165000 | #Constraints:      10432
18.35/19.13	c #Conflicts:     166000 | #Constraints:      11432
18.35/19.13	c #Conflicts:     167000 | #Constraints:      12434
18.35/19.13	c #Conflicts:     168000 | #Constraints:      13434
18.35/19.13	c #Conflicts:     169000 | #Constraints:      14434
18.35/19.13	c #Conflicts:     170000 | #Constraints:      15434
18.35/19.13	c #Conflicts:     171000 | #Constraints:      16434
18.35/19.13	c INPROCESSING
18.35/19.13	c GARBAGE COLLECT
18.35/19.13	c rational objective 200.5
19.25/20.06	c #Conflicts:     172000 | #Constraints:       9226
19.25/20.06	c #Conflicts:     173000 | #Constraints:      10226
19.25/20.06	c #Conflicts:     174000 | #Constraints:      11226
19.25/20.06	c #Conflicts:     175000 | #Constraints:      12226
19.25/20.06	c #Conflicts:     176000 | #Constraints:      13226
19.25/20.06	c #Conflicts:     177000 | #Constraints:      14226
19.25/20.06	c #Conflicts:     178000 | #Constraints:      15226
19.25/20.06	c #Conflicts:     179000 | #Constraints:      16226
19.25/20.06	c #Conflicts:     180000 | #Constraints:      17226
19.25/20.06	c INPROCESSING
19.25/20.06	c GARBAGE COLLECT
19.25/20.06	c rational objective 200.5
20.25/21.09	c #Conflicts:     181000 | #Constraints:       9826
20.25/21.09	c #Conflicts:     182000 | #Constraints:      10826
20.25/21.09	c #Conflicts:     183000 | #Constraints:      11826
20.25/21.09	c #Conflicts:     184000 | #Constraints:      12826
20.25/21.09	c #Conflicts:     185000 | #Constraints:      13826
20.25/21.09	c #Conflicts:     186000 | #Constraints:      14826
20.25/21.09	c #Conflicts:     187000 | #Constraints:      15826
20.25/21.09	c #Conflicts:     188000 | #Constraints:      16826
20.25/21.09	c #Conflicts:     189000 | #Constraints:      17826
20.25/21.09	c INPROCESSING
20.25/21.09	c GARBAGE COLLECT
20.25/21.09	c rational objective 200.5
21.44/22.22	c #Conflicts:     190000 | #Constraints:      10228
21.44/22.22	c #Conflicts:     191000 | #Constraints:      11228
21.44/22.22	c #Conflicts:     192000 | #Constraints:      12228
21.44/22.22	c #Conflicts:     193000 | #Constraints:      13228
21.44/22.22	c #Conflicts:     194000 | #Constraints:      14228
21.44/22.22	c #Conflicts:     195000 | #Constraints:      15228
21.44/22.22	c #Conflicts:     196000 | #Constraints:      16228
21.44/22.22	c #Conflicts:     197000 | #Constraints:      17228
21.44/22.22	c #Conflicts:     198000 | #Constraints:      18228
21.44/22.22	c INPROCESSING
21.44/22.22	c GARBAGE COLLECT
21.44/22.22	c rational objective 200.5
22.54/23.30	c #Conflicts:     199000 | #Constraints:      10435
22.54/23.30	c #Conflicts:     200000 | #Constraints:      11435
22.54/23.30	c #Conflicts:     201000 | #Constraints:      12435
22.54/23.30	c #Conflicts:     202000 | #Constraints:      13435
22.54/23.30	c #Conflicts:     203000 | #Constraints:      14435
22.54/23.30	c #Conflicts:     204000 | #Constraints:      15435
22.54/23.30	c #Conflicts:     205000 | #Constraints:      16435
22.54/23.30	c #Conflicts:     206000 | #Constraints:      17435
22.54/23.30	c #Conflicts:     207000 | #Constraints:      18435
22.54/23.30	c INPROCESSING
22.54/23.30	c GARBAGE COLLECT
22.54/23.30	c rational objective 200.5
23.73/24.51	c #Conflicts:     208000 | #Constraints:      10434
23.73/24.51	c #Conflicts:     209000 | #Constraints:      11434
23.73/24.51	c #Conflicts:     210000 | #Constraints:      12434
23.73/24.51	c #Conflicts:     211000 | #Constraints:      13434
23.73/24.51	c #Conflicts:     212000 | #Constraints:      14434
23.73/24.51	c #Conflicts:     213000 | #Constraints:      15434
23.73/24.51	c #Conflicts:     214000 | #Constraints:      16434
23.73/24.51	c #Conflicts:     215000 | #Constraints:      17434
23.73/24.51	c #Conflicts:     216000 | #Constraints:      18434
23.73/24.51	c INPROCESSING
23.73/24.51	c GARBAGE COLLECT
23.73/24.51	c rational objective 200.5
24.83/25.67	c #Conflicts:     217000 | #Constraints:      10236
24.83/25.67	c #Conflicts:     218000 | #Constraints:      11236
24.83/25.67	c #Conflicts:     219000 | #Constraints:      12236
24.83/25.67	c #Conflicts:     220000 | #Constraints:      13236
24.83/25.67	c #Conflicts:     221000 | #Constraints:      14236
24.83/25.67	c #Conflicts:     222000 | #Constraints:      15236
24.83/25.67	c #Conflicts:     223000 | #Constraints:      16236
24.83/25.67	c #Conflicts:     224000 | #Constraints:      17236
24.83/25.67	c #Conflicts:     225000 | #Constraints:      18236
24.83/25.67	c #Conflicts:     226000 | #Constraints:      19236
24.83/25.67	c INPROCESSING
24.83/25.67	c GARBAGE COLLECT
24.83/25.67	c rational objective 200.5
25.93/26.77	c #Conflicts:     227000 | #Constraints:      10836
25.93/26.77	c #Conflicts:     228000 | #Constraints:      11836
25.93/26.77	c #Conflicts:     229000 | #Constraints:      12836
25.93/26.77	c #Conflicts:     230000 | #Constraints:      13836
25.93/26.77	c #Conflicts:     231000 | #Constraints:      14836
25.93/26.77	c #Conflicts:     232000 | #Constraints:      15836
25.93/26.77	c #Conflicts:     233000 | #Constraints:      16836
25.93/26.77	c #Conflicts:     234000 | #Constraints:      17836
25.93/26.77	c #Conflicts:     235000 | #Constraints:      18836
25.93/26.77	c #Conflicts:     236000 | #Constraints:      19836
25.93/26.77	c INPROCESSING
25.93/26.77	c GARBAGE COLLECT
25.93/26.77	c rational objective 200.5
27.03/27.86	c #Conflicts:     237000 | #Constraints:      11231
27.03/27.86	c #Conflicts:     238000 | #Constraints:      12231
27.03/27.86	c #Conflicts:     239000 | #Constraints:      13231
27.03/27.86	c #Conflicts:     240000 | #Constraints:      14231
27.03/27.86	c #Conflicts:     241000 | #Constraints:      15231
27.03/27.86	c #Conflicts:     242000 | #Constraints:      16231
27.03/27.86	c #Conflicts:     243000 | #Constraints:      17231
27.03/27.86	c #Conflicts:     244000 | #Constraints:      18232
27.03/27.86	c #Conflicts:     245000 | #Constraints:      19232
27.03/27.86	c #Conflicts:     246000 | #Constraints:      20232
27.03/27.86	c INPROCESSING
27.03/27.86	c GARBAGE COLLECT
27.03/27.86	c rational objective 200.5
28.12/28.98	c #Conflicts:     247000 | #Constraints:      11432
28.12/28.98	c #Conflicts:     248000 | #Constraints:      12432
28.12/28.98	c #Conflicts:     249000 | #Constraints:      13432
28.12/28.98	c #Conflicts:     250000 | #Constraints:      14432
28.12/28.98	c #Conflicts:     251000 | #Constraints:      15432
28.12/28.98	c #Conflicts:     252000 | #Constraints:      16432
28.12/28.98	c #Conflicts:     253000 | #Constraints:      17432
28.12/28.98	c #Conflicts:     254000 | #Constraints:      18432
28.12/28.98	c #Conflicts:     255000 | #Constraints:      19432
28.12/28.98	c #Conflicts:     256000 | #Constraints:      20432
28.12/28.98	c INPROCESSING
28.12/28.98	c GARBAGE COLLECT
28.12/28.98	c rational objective 200.5
29.23/30.10	c #Conflicts:     257000 | #Constraints:      11434
29.23/30.10	c #Conflicts:     258000 | #Constraints:      12434
29.23/30.10	c #Conflicts:     259000 | #Constraints:      13434
29.23/30.10	c #Conflicts:     260000 | #Constraints:      14434
29.23/30.10	c #Conflicts:     261000 | #Constraints:      15434
29.23/30.10	c #Conflicts:     262000 | #Constraints:      16434
29.23/30.10	c #Conflicts:     263000 | #Constraints:      17434
29.23/30.10	c #Conflicts:     264000 | #Constraints:      18434
29.23/30.10	c #Conflicts:     265000 | #Constraints:      19434
29.23/30.10	c #Conflicts:     266000 | #Constraints:      20434
29.23/30.10	c INPROCESSING
29.23/30.10	c GARBAGE COLLECT
29.23/30.10	c rational objective 200.5
30.52/31.37	c #Conflicts:     267000 | #Constraints:      11238
30.52/31.37	c #Conflicts:     268000 | #Constraints:      12238
30.52/31.37	c #Conflicts:     269000 | #Constraints:      13238
30.52/31.37	c #Conflicts:     270000 | #Constraints:      14238
30.52/31.37	c #Conflicts:     271000 | #Constraints:      15238
30.52/31.37	c #Conflicts:     272000 | #Constraints:      16238
30.52/31.37	c #Conflicts:     273000 | #Constraints:      17238
30.52/31.37	c #Conflicts:     274000 | #Constraints:      18238
30.52/31.37	c #Conflicts:     275000 | #Constraints:      19238
30.52/31.37	c #Conflicts:     276000 | #Constraints:      20238
30.52/31.37	c #Conflicts:     277000 | #Constraints:      21238
30.52/31.37	c INPROCESSING
30.52/31.37	c GARBAGE COLLECT
30.52/31.37	c rational objective 200.5
31.81/32.62	c #Conflicts:     278000 | #Constraints:      11837
31.81/32.62	c #Conflicts:     279000 | #Constraints:      12837
31.81/32.62	c #Conflicts:     280000 | #Constraints:      13837
31.81/32.62	c #Conflicts:     281000 | #Constraints:      14837
31.81/32.62	c #Conflicts:     282000 | #Constraints:      15837
31.81/32.62	c #Conflicts:     283000 | #Constraints:      16837
31.81/32.62	c #Conflicts:     284000 | #Constraints:      17837
31.81/32.62	c #Conflicts:     285000 | #Constraints:      18837
31.81/32.62	c #Conflicts:     286000 | #Constraints:      19837
31.81/32.62	c #Conflicts:     287000 | #Constraints:      20837
31.81/32.62	c #Conflicts:     288000 | #Constraints:      21837
31.81/32.62	c INPROCESSING
31.81/32.62	c GARBAGE COLLECT
31.81/32.62	c rational objective 200.5
33.11/33.93	c #Conflicts:     289000 | #Constraints:      12235
33.11/33.93	c #Conflicts:     290000 | #Constraints:      13235
33.11/33.93	c #Conflicts:     291000 | #Constraints:      14235
33.11/33.93	c #Conflicts:     292000 | #Constraints:      15235
33.11/33.93	c #Conflicts:     293000 | #Constraints:      16235
33.11/33.93	c #Conflicts:     294000 | #Constraints:      17235
33.11/33.93	c #Conflicts:     295000 | #Constraints:      18235
33.11/33.93	c #Conflicts:     296000 | #Constraints:      19235
33.11/33.93	c #Conflicts:     297000 | #Constraints:      20236
33.11/33.93	c #Conflicts:     298000 | #Constraints:      21236
33.11/33.93	c #Conflicts:     299000 | #Constraints:      22236
33.11/33.93	c INPROCESSING
33.11/33.93	c GARBAGE COLLECT
33.11/33.93	c rational objective 200.5
34.41/35.20	c #Conflicts:     300000 | #Constraints:      12443
34.41/35.20	c #Conflicts:     301000 | #Constraints:      13443
34.41/35.20	c #Conflicts:     302000 | #Constraints:      14443
34.41/35.20	c #Conflicts:     303000 | #Constraints:      15443
34.41/35.20	c #Conflicts:     304000 | #Constraints:      16443
34.41/35.20	c #Conflicts:     305000 | #Constraints:      17443
34.41/35.20	c #Conflicts:     306000 | #Constraints:      18443
34.41/35.20	c #Conflicts:     307000 | #Constraints:      19443
34.41/35.20	c #Conflicts:     308000 | #Constraints:      20443
34.41/35.20	c #Conflicts:     309000 | #Constraints:      21443
34.41/35.20	c #Conflicts:     310000 | #Constraints:      22443
34.41/35.20	c INPROCESSING
34.41/35.20	c GARBAGE COLLECT
34.41/35.20	c rational objective 200.5
35.81/36.68	c #Conflicts:     311000 | #Constraints:      12443
35.81/36.68	c #Conflicts:     312000 | #Constraints:      13443
35.81/36.68	c #Conflicts:     313000 | #Constraints:      14443
35.81/36.68	c #Conflicts:     314000 | #Constraints:      15443
35.81/36.68	c #Conflicts:     315000 | #Constraints:      16444
35.81/36.68	c #Conflicts:     316000 | #Constraints:      17444
35.81/36.68	c #Conflicts:     317000 | #Constraints:      18444
35.81/36.68	c #Conflicts:     318000 | #Constraints:      19444
35.81/36.68	c #Conflicts:     319000 | #Constraints:      20444
35.81/36.68	c #Conflicts:     320000 | #Constraints:      21444
35.81/36.68	c #Conflicts:     321000 | #Constraints:      22444
35.81/36.68	c INPROCESSING
35.81/36.68	c GARBAGE COLLECT
35.81/36.68	c rational objective 200.5
37.01/37.88	c #Conflicts:     322000 | #Constraints:      12242
37.01/37.88	c #Conflicts:     323000 | #Constraints:      13242
37.01/37.88	c #Conflicts:     324000 | #Constraints:      14242
37.01/37.88	c #Conflicts:     325000 | #Constraints:      15242
37.01/37.88	c #Conflicts:     326000 | #Constraints:      16242
37.01/37.88	c #Conflicts:     327000 | #Constraints:      17242
37.01/37.88	c #Conflicts:     328000 | #Constraints:      18242
37.01/37.88	c #Conflicts:     329000 | #Constraints:      19242
37.01/37.88	c #Conflicts:     330000 | #Constraints:      20242
37.01/37.88	c #Conflicts:     331000 | #Constraints:      21242
37.01/37.88	c #Conflicts:     332000 | #Constraints:      22243
37.01/37.88	c #Conflicts:     333000 | #Constraints:      23243
37.01/37.88	c INPROCESSING
37.01/37.88	c GARBAGE COLLECT
37.01/37.88	c rational objective 200.5
38.10/38.98	c #Conflicts:     334000 | #Constraints:      12840
38.10/38.98	c #Conflicts:     335000 | #Constraints:      13840
38.10/38.98	c #Conflicts:     336000 | #Constraints:      14840
38.10/38.98	c #Conflicts:     337000 | #Constraints:      15840
38.10/38.98	c #Conflicts:     338000 | #Constraints:      16840
38.10/38.98	c #Conflicts:     339000 | #Constraints:      17840
38.10/38.98	c #Conflicts:     340000 | #Constraints:      18840
38.10/38.98	c #Conflicts:     341000 | #Constraints:      19840
38.10/38.98	c #Conflicts:     342000 | #Constraints:      20840
38.10/38.98	c #Conflicts:     343000 | #Constraints:      21840
38.10/38.98	c #Conflicts:     344000 | #Constraints:      22840
38.10/38.98	c #Conflicts:     345000 | #Constraints:      23840
38.10/38.98	c INPROCESSING
38.10/38.98	c GARBAGE COLLECT
38.10/38.98	c rational objective 200.5
39.30/40.15	c #Conflicts:     346000 | #Constraints:      13236
39.30/40.15	c #Conflicts:     347000 | #Constraints:      14236
39.30/40.15	c #Conflicts:     348000 | #Constraints:      15236
39.30/40.15	c #Conflicts:     349000 | #Constraints:      16236
39.30/40.15	c #Conflicts:     350000 | #Constraints:      17236
39.30/40.15	c #Conflicts:     351000 | #Constraints:      18236
39.30/40.15	c #Conflicts:     352000 | #Constraints:      19236
39.30/40.15	c #Conflicts:     353000 | #Constraints:      20236
39.30/40.15	c #Conflicts:     354000 | #Constraints:      21236
39.30/40.15	c #Conflicts:     355000 | #Constraints:      22236
39.30/40.15	c #Conflicts:     356000 | #Constraints:      23236
39.30/40.15	c #Conflicts:     357000 | #Constraints:      24236
39.30/40.15	c INPROCESSING
39.30/40.15	c GARBAGE COLLECT
39.30/40.15	c rational objective 200.5
40.50/41.30	c #Conflicts:     358000 | #Constraints:      13440
40.50/41.30	c #Conflicts:     359000 | #Constraints:      14440
40.50/41.30	c #Conflicts:     360000 | #Constraints:      15440
40.50/41.30	c #Conflicts:     361000 | #Constraints:      16440
40.50/41.30	c #Conflicts:     362000 | #Constraints:      17440
40.50/41.30	c #Conflicts:     363000 | #Constraints:      18440
40.50/41.30	c #Conflicts:     364000 | #Constraints:      19440
40.50/41.30	c #Conflicts:     365000 | #Constraints:      20440
40.50/41.30	c #Conflicts:     366000 | #Constraints:      21440
40.50/41.30	c #Conflicts:     367000 | #Constraints:      22440
40.50/41.30	c #Conflicts:     368000 | #Constraints:      23440
40.50/41.30	c #Conflicts:     369000 | #Constraints:      24440
40.50/41.30	c INPROCESSING
40.50/41.30	c GARBAGE COLLECT
40.50/41.30	c rational objective 200.5
41.79/42.60	c #Conflicts:     370000 | #Constraints:      13445
41.79/42.60	c #Conflicts:     371000 | #Constraints:      14445
41.79/42.60	c #Conflicts:     372000 | #Constraints:      15445
41.79/42.60	c #Conflicts:     373000 | #Constraints:      16445
41.79/42.60	c #Conflicts:     374000 | #Constraints:      17445
41.79/42.60	c #Conflicts:     375000 | #Constraints:      18445
41.79/42.60	c #Conflicts:     376000 | #Constraints:      19445
41.79/42.60	c #Conflicts:     377000 | #Constraints:      20445
41.79/42.60	c #Conflicts:     378000 | #Constraints:      21445
41.79/42.60	c #Conflicts:     379000 | #Constraints:      22445
41.79/42.60	c #Conflicts:     380000 | #Constraints:      23445
41.79/42.60	c #Conflicts:     381000 | #Constraints:      24445
41.79/42.60	c INPROCESSING
41.79/42.60	c GARBAGE COLLECT
41.79/42.60	c rational objective 200.5
42.99/43.80	c #Conflicts:     382000 | #Constraints:      13243
42.99/43.80	c #Conflicts:     383000 | #Constraints:      14243
42.99/43.80	c #Conflicts:     384000 | #Constraints:      15243
42.99/43.80	c #Conflicts:     385000 | #Constraints:      16243
42.99/43.80	c #Conflicts:     386000 | #Constraints:      17243
42.99/43.80	c #Conflicts:     387000 | #Constraints:      18243
42.99/43.80	c #Conflicts:     388000 | #Constraints:      19243
42.99/43.80	c #Conflicts:     389000 | #Constraints:      20243
42.99/43.80	c #Conflicts:     390000 | #Constraints:      21243
42.99/43.80	c #Conflicts:     391000 | #Constraints:      22243
42.99/43.80	c #Conflicts:     392000 | #Constraints:      23243
42.99/43.80	c #Conflicts:     393000 | #Constraints:      24243
42.99/43.80	c #Conflicts:     394000 | #Constraints:      25243
42.99/43.80	c INPROCESSING
42.99/43.80	c GARBAGE COLLECT
42.99/43.80	c rational objective 200.5
44.19/45.05	c #Conflicts:     395000 | #Constraints:      13843
44.19/45.05	c #Conflicts:     396000 | #Constraints:      14843
44.19/45.05	c #Conflicts:     397000 | #Constraints:      15843
44.19/45.05	c #Conflicts:     398000 | #Constraints:      16843
44.19/45.05	c #Conflicts:     399000 | #Constraints:      17843
44.19/45.05	c #Conflicts:     400000 | #Constraints:      18843
44.19/45.05	c #Conflicts:     401000 | #Constraints:      19843
44.19/45.05	c #Conflicts:     402000 | #Constraints:      20843
44.19/45.05	c #Conflicts:     403000 | #Constraints:      21843
44.19/45.05	c #Conflicts:     404000 | #Constraints:      22843
44.19/45.05	c #Conflicts:     405000 | #Constraints:      23843
44.19/45.05	c #Conflicts:     406000 | #Constraints:      24843
44.19/45.05	c #Conflicts:     407000 | #Constraints:      25843
44.19/45.05	c INPROCESSING
44.19/45.05	c GARBAGE COLLECT
44.19/45.05	c rational objective 200.5
45.38/46.26	c #Conflicts:     408000 | #Constraints:      14249
45.38/46.26	c #Conflicts:     409000 | #Constraints:      15249
45.38/46.26	c #Conflicts:     410000 | #Constraints:      16249
45.38/46.26	c #Conflicts:     411000 | #Constraints:      17249
45.38/46.26	c #Conflicts:     412000 | #Constraints:      18249
45.38/46.26	c #Conflicts:     413000 | #Constraints:      19249
45.38/46.26	c #Conflicts:     414000 | #Constraints:      20249
45.38/46.26	c #Conflicts:     415000 | #Constraints:      21249
45.38/46.26	c #Conflicts:     416000 | #Constraints:      22249
45.38/46.26	c #Conflicts:     417000 | #Constraints:      23249
45.38/46.26	c #Conflicts:     418000 | #Constraints:      24249
45.38/46.26	c #Conflicts:     419000 | #Constraints:      25249
45.38/46.26	c #Conflicts:     420000 | #Constraints:      26249
45.38/46.26	c INPROCESSING
45.38/46.26	c GARBAGE COLLECT
45.38/46.26	c rational objective 200.5
46.78/47.67	c #Conflicts:     421000 | #Constraints:      14449
46.78/47.67	c #Conflicts:     422000 | #Constraints:      15449
46.78/47.67	c #Conflicts:     423000 | #Constraints:      16449
46.78/47.67	c #Conflicts:     424000 | #Constraints:      17449
46.78/47.67	c #Conflicts:     425000 | #Constraints:      18449
46.78/47.67	c #Conflicts:     426000 | #Constraints:      19449
46.78/47.67	c #Conflicts:     427000 | #Constraints:      20449
46.78/47.67	c #Conflicts:     428000 | #Constraints:      21449
46.78/47.67	c #Conflicts:     429000 | #Constraints:      22449
46.78/47.67	c #Conflicts:     430000 | #Constraints:      23449
46.78/47.67	c #Conflicts:     431000 | #Constraints:      24449
46.78/47.67	c #Conflicts:     432000 | #Constraints:      25449
46.78/47.67	c #Conflicts:     433000 | #Constraints:      26449
46.78/47.67	c INPROCESSING
46.78/47.67	c GARBAGE COLLECT
46.78/47.67	c rational objective 200.5
48.28/49.10	c #Conflicts:     434000 | #Constraints:      14454
48.28/49.10	c #Conflicts:     435000 | #Constraints:      15454
48.28/49.10	c #Conflicts:     436000 | #Constraints:      16454
48.28/49.10	c #Conflicts:     437000 | #Constraints:      17454
48.28/49.10	c #Conflicts:     438000 | #Constraints:      18454
48.28/49.10	c #Conflicts:     439000 | #Constraints:      19454
48.28/49.10	c #Conflicts:     440000 | #Constraints:      20454
48.28/49.10	c #Conflicts:     441000 | #Constraints:      21454
48.28/49.10	c #Conflicts:     442000 | #Constraints:      22454
48.28/49.10	c #Conflicts:     443000 | #Constraints:      23454
48.28/49.10	c #Conflicts:     444000 | #Constraints:      24454
48.28/49.10	c #Conflicts:     445000 | #Constraints:      25454
48.28/49.10	c #Conflicts:     446000 | #Constraints:      26454
48.28/49.10	c INPROCESSING
48.28/49.10	c GARBAGE COLLECT
48.28/49.10	c rational objective 200.5
49.78/50.67	c #Conflicts:     447000 | #Constraints:      14259
49.78/50.67	c #Conflicts:     448000 | #Constraints:      15259
49.78/50.67	c #Conflicts:     449000 | #Constraints:      16259
49.78/50.67	c #Conflicts:     450000 | #Constraints:      17259
49.78/50.67	c #Conflicts:     451000 | #Constraints:      18259
49.78/50.67	c #Conflicts:     452000 | #Constraints:      19259
49.78/50.67	c #Conflicts:     453000 | #Constraints:      20259
49.78/50.67	c #Conflicts:     454000 | #Constraints:      21259
49.78/50.67	c #Conflicts:     455000 | #Constraints:      22259
49.78/50.67	c #Conflicts:     456000 | #Constraints:      23259
49.78/50.67	c #Conflicts:     457000 | #Constraints:      24259
49.78/50.67	c #Conflicts:     458000 | #Constraints:      25259
49.78/50.67	c #Conflicts:     459000 | #Constraints:      26259
49.78/50.67	c #Conflicts:     460000 | #Constraints:      27259
49.78/50.67	c INPROCESSING
49.78/50.67	c GARBAGE COLLECT
49.78/50.67	c rational objective 200.5
51.27/52.17	c #Conflicts:     461000 | #Constraints:      14857
51.27/52.17	c #Conflicts:     462000 | #Constraints:      15857
51.27/52.17	c #Conflicts:     463000 | #Constraints:      16857
51.27/52.17	c #Conflicts:     464000 | #Constraints:      17857
51.27/52.17	c #Conflicts:     465000 | #Constraints:      18857
51.27/52.17	c #Conflicts:     466000 | #Constraints:      19857
51.27/52.17	c #Conflicts:     467000 | #Constraints:      20857
51.27/52.17	c #Conflicts:     468000 | #Constraints:      21857
51.27/52.17	c #Conflicts:     469000 | #Constraints:      22857
51.27/52.17	c #Conflicts:     470000 | #Constraints:      23857
51.27/52.17	c #Conflicts:     471000 | #Constraints:      24857
51.27/52.17	c #Conflicts:     472000 | #Constraints:      25857
51.27/52.17	c #Conflicts:     473000 | #Constraints:      26857
51.27/52.17	c #Conflicts:     474000 | #Constraints:      27857
51.27/52.17	c INPROCESSING
51.27/52.17	c GARBAGE COLLECT
51.27/52.17	c rational objective 200.5
52.86/53.73	c #Conflicts:     475000 | #Constraints:      15261
52.86/53.73	c #Conflicts:     476000 | #Constraints:      16261
52.86/53.73	c #Conflicts:     477000 | #Constraints:      17261
52.86/53.73	c #Conflicts:     478000 | #Constraints:      18261
52.86/53.73	c #Conflicts:     479000 | #Constraints:      19261
52.86/53.73	c #Conflicts:     480000 | #Constraints:      20261
52.86/53.73	c #Conflicts:     481000 | #Constraints:      21261
52.86/53.73	c #Conflicts:     482000 | #Constraints:      22261
52.86/53.73	c #Conflicts:     483000 | #Constraints:      23261
52.86/53.73	c #Conflicts:     484000 | #Constraints:      24261
52.86/53.73	c #Conflicts:     485000 | #Constraints:      25261
52.86/53.73	c #Conflicts:     486000 | #Constraints:      26261
52.86/53.73	c #Conflicts:     487000 | #Constraints:      27261
52.86/53.73	c #Conflicts:     488000 | #Constraints:      28261
52.86/53.73	c INPROCESSING
52.86/53.73	c GARBAGE COLLECT
52.86/53.73	c rational objective 200.5
54.47/55.33	c #Conflicts:     489000 | #Constraints:      15458
54.47/55.33	c #Conflicts:     490000 | #Constraints:      16458
54.47/55.33	c #Conflicts:     491000 | #Constraints:      17458
54.47/55.33	c #Conflicts:     492000 | #Constraints:      18458
54.47/55.33	c #Conflicts:     493000 | #Constraints:      19458
54.47/55.33	c #Conflicts:     494000 | #Constraints:      20458
54.47/55.33	c #Conflicts:     495000 | #Constraints:      21458
54.47/55.33	c #Conflicts:     496000 | #Constraints:      22458
54.47/55.33	c #Conflicts:     497000 | #Constraints:      23458
54.47/55.33	c #Conflicts:     498000 | #Constraints:      24458
54.47/55.33	c #Conflicts:     499000 | #Constraints:      25458
54.47/55.33	c #Conflicts:     500000 | #Constraints:      26458
54.47/55.33	c #Conflicts:     501000 | #Constraints:      27458
54.47/55.33	c #Conflicts:     502000 | #Constraints:      28458
54.47/55.33	c INPROCESSING
54.47/55.33	c GARBAGE COLLECT
54.47/55.33	c rational objective 200.5
56.06/56.92	c #Conflicts:     503000 | #Constraints:      15457
56.06/56.92	c #Conflicts:     504000 | #Constraints:      16457
56.06/56.92	c #Conflicts:     505000 | #Constraints:      17457
56.06/56.92	c #Conflicts:     506000 | #Constraints:      18457
56.06/56.92	c #Conflicts:     507000 | #Constraints:      19457
56.06/56.92	c #Conflicts:     508000 | #Constraints:      20457
56.06/56.92	c #Conflicts:     509000 | #Constraints:      21457
56.06/56.92	c #Conflicts:     510000 | #Constraints:      22457
56.06/56.92	c #Conflicts:     511000 | #Constraints:      23457
56.06/56.92	c #Conflicts:     512000 | #Constraints:      24457
56.06/56.92	c #Conflicts:     513000 | #Constraints:      25457
56.06/56.92	c #Conflicts:     514000 | #Constraints:      26457
56.06/56.92	c #Conflicts:     515000 | #Constraints:      27457
56.06/56.92	c #Conflicts:     516000 | #Constraints:      28457
56.06/56.92	c INPROCESSING
56.06/56.92	c GARBAGE COLLECT
56.06/56.92	c rational objective 200.5
57.45/58.36	c #Conflicts:     517000 | #Constraints:      15256
57.45/58.36	c #Conflicts:     518000 | #Constraints:      16256
57.45/58.36	c #Conflicts:     519000 | #Constraints:      17256
57.45/58.36	c #Conflicts:     520000 | #Constraints:      18256
57.45/58.36	c #Conflicts:     521000 | #Constraints:      19256
57.45/58.36	c #Conflicts:     522000 | #Constraints:      20256
57.45/58.36	c #Conflicts:     523000 | #Constraints:      21256
57.45/58.36	c #Conflicts:     524000 | #Constraints:      22256
57.45/58.36	c #Conflicts:     525000 | #Constraints:      23256
57.45/58.36	c #Conflicts:     526000 | #Constraints:      24256
57.45/58.36	c #Conflicts:     527000 | #Constraints:      25256
57.45/58.36	c #Conflicts:     528000 | #Constraints:      26256
57.45/58.36	c #Conflicts:     529000 | #Constraints:      27256
57.45/58.36	c #Conflicts:     530000 | #Constraints:      28256
57.45/58.36	c #Conflicts:     531000 | #Constraints:      29256
57.45/58.36	c INPROCESSING
57.45/58.36	c GARBAGE COLLECT
57.45/58.36	c rational objective 200.5
58.95/59.84	c #Conflicts:     532000 | #Constraints:      15858
58.95/59.84	c #Conflicts:     533000 | #Constraints:      16858
58.95/59.84	c #Conflicts:     534000 | #Constraints:      17858
58.95/59.84	c #Conflicts:     535000 | #Constraints:      18858
58.95/59.84	c #Conflicts:     536000 | #Constraints:      19858
58.95/59.84	c #Conflicts:     537000 | #Constraints:      20858
58.95/59.84	c #Conflicts:     538000 | #Constraints:      21858
58.95/59.84	c #Conflicts:     539000 | #Constraints:      22858
58.95/59.84	c #Conflicts:     540000 | #Constraints:      23858
58.95/59.84	c #Conflicts:     541000 | #Constraints:      24858
58.95/59.84	c #Conflicts:     542000 | #Constraints:      25858
58.95/59.84	c #Conflicts:     543000 | #Constraints:      26858
58.95/59.84	c #Conflicts:     544000 | #Constraints:      27858
58.95/59.84	c #Conflicts:     545000 | #Constraints:      28858
58.95/59.84	c #Conflicts:     546000 | #Constraints:      29858
58.95/59.84	c INPROCESSING
58.95/59.84	c GARBAGE COLLECT
58.95/59.84	c rational objective 200.5
60.55/61.49	c #Conflicts:     547000 | #Constraints:      16254
60.55/61.49	c #Conflicts:     548000 | #Constraints:      17254
60.55/61.49	c #Conflicts:     549000 | #Constraints:      18254
60.55/61.49	c #Conflicts:     550000 | #Constraints:      19254
60.55/61.49	c #Conflicts:     551000 | #Constraints:      20254
60.55/61.49	c #Conflicts:     552000 | #Constraints:      21254
60.55/61.49	c #Conflicts:     553000 | #Constraints:      22254
60.55/61.49	c #Conflicts:     554000 | #Constraints:      23254
60.55/61.49	c #Conflicts:     555000 | #Constraints:      24254
60.55/61.49	c #Conflicts:     556000 | #Constraints:      25254
60.55/61.49	c #Conflicts:     557000 | #Constraints:      26254
60.55/61.49	c #Conflicts:     558000 | #Constraints:      27254
60.55/61.49	c #Conflicts:     559000 | #Constraints:      28254
60.55/61.49	c #Conflicts:     560000 | #Constraints:      29254
60.55/61.49	c #Conflicts:     561000 | #Constraints:      30254
60.55/61.49	c INPROCESSING
60.55/61.49	c GARBAGE COLLECT
60.55/61.49	c rational objective 200.5
62.15/63.10	c #Conflicts:     562000 | #Constraints:      16455
62.15/63.10	c #Conflicts:     563000 | #Constraints:      17455
62.15/63.10	c #Conflicts:     564000 | #Constraints:      18455
62.15/63.10	c #Conflicts:     565000 | #Constraints:      19455
62.15/63.10	c #Conflicts:     566000 | #Constraints:      20455
62.15/63.10	c #Conflicts:     567000 | #Constraints:      21455
62.15/63.10	c #Conflicts:     568000 | #Constraints:      22455
62.15/63.10	c #Conflicts:     569000 | #Constraints:      23455
62.15/63.10	c #Conflicts:     570000 | #Constraints:      24455
62.15/63.10	c #Conflicts:     571000 | #Constraints:      25455
62.15/63.10	c #Conflicts:     572000 | #Constraints:      26455
62.15/63.10	c #Conflicts:     573000 | #Constraints:      27455
62.15/63.10	c #Conflicts:     574000 | #Constraints:      28455
62.15/63.10	c #Conflicts:     575000 | #Constraints:      29455
62.15/63.10	c #Conflicts:     576000 | #Constraints:      30455
62.15/63.10	c INPROCESSING
62.15/63.10	c GARBAGE COLLECT
62.15/63.10	c rational objective 200.5
63.84/64.74	c #Conflicts:     577000 | #Constraints:      16458
63.84/64.74	c #Conflicts:     578000 | #Constraints:      17458
63.84/64.74	c #Conflicts:     579000 | #Constraints:      18458
63.84/64.74	c #Conflicts:     580000 | #Constraints:      19458
63.84/64.74	c #Conflicts:     581000 | #Constraints:      20458
63.84/64.74	c #Conflicts:     582000 | #Constraints:      21458
63.84/64.74	c #Conflicts:     583000 | #Constraints:      22458
63.84/64.74	c #Conflicts:     584000 | #Constraints:      23458
63.84/64.74	c #Conflicts:     585000 | #Constraints:      24458
63.84/64.74	c #Conflicts:     586000 | #Constraints:      25458
63.84/64.74	c #Conflicts:     587000 | #Constraints:      26458
63.84/64.74	c #Conflicts:     588000 | #Constraints:      27458
63.84/64.74	c #Conflicts:     589000 | #Constraints:      28458
63.84/64.74	c #Conflicts:     590000 | #Constraints:      29458
63.84/64.74	c #Conflicts:     591000 | #Constraints:      30458
63.84/64.74	c INPROCESSING
63.84/64.74	c GARBAGE COLLECT
63.84/64.74	c rational objective 200.5
65.53/66.49	c #Conflicts:     592000 | #Constraints:      16255
65.53/66.49	c #Conflicts:     593000 | #Constraints:      17255
65.53/66.49	c #Conflicts:     594000 | #Constraints:      18255
65.53/66.49	c #Conflicts:     595000 | #Constraints:      19255
65.53/66.49	c #Conflicts:     596000 | #Constraints:      20255
65.53/66.49	c #Conflicts:     597000 | #Constraints:      21255
65.53/66.49	c #Conflicts:     598000 | #Constraints:      22255
65.53/66.49	c #Conflicts:     599000 | #Constraints:      23255
65.53/66.49	c #Conflicts:     600000 | #Constraints:      24255
65.53/66.49	c #Conflicts:     601000 | #Constraints:      25255
65.53/66.49	c #Conflicts:     602000 | #Constraints:      26255
65.53/66.49	c #Conflicts:     603000 | #Constraints:      27255
65.53/66.49	c #Conflicts:     604000 | #Constraints:      28255
65.53/66.49	c #Conflicts:     605000 | #Constraints:      29255
65.53/66.49	c #Conflicts:     606000 | #Constraints:      30255
65.53/66.49	c #Conflicts:     607000 | #Constraints:      31255
65.53/66.49	c INPROCESSING
65.53/66.49	c GARBAGE COLLECT
65.53/66.49	c rational objective 200.5
67.43/68.31	c #Conflicts:     608000 | #Constraints:      16856
67.43/68.31	c #Conflicts:     609000 | #Constraints:      17856
67.43/68.31	c #Conflicts:     610000 | #Constraints:      18856
67.43/68.31	c #Conflicts:     611000 | #Constraints:      19856
67.43/68.31	c #Conflicts:     612000 | #Constraints:      20856
67.43/68.31	c #Conflicts:     613000 | #Constraints:      21856
67.43/68.31	c #Conflicts:     614000 | #Constraints:      22856
67.43/68.31	c #Conflicts:     615000 | #Constraints:      23856
67.43/68.31	c #Conflicts:     616000 | #Constraints:      24856
67.43/68.31	c #Conflicts:     617000 | #Constraints:      25856
67.43/68.31	c #Conflicts:     618000 | #Constraints:      26856
67.43/68.31	c #Conflicts:     619000 | #Constraints:      27856
67.43/68.31	c #Conflicts:     620000 | #Constraints:      28856
67.43/68.31	c #Conflicts:     621000 | #Constraints:      29856
67.43/68.31	c #Conflicts:     622000 | #Constraints:      30856
67.43/68.31	c #Conflicts:     623000 | #Constraints:      31856
67.43/68.31	c INPROCESSING
67.43/68.31	c GARBAGE COLLECT
67.43/68.31	c rational objective 200.5
69.14/70.04	c #Conflicts:     624000 | #Constraints:      17259
69.14/70.04	c #Conflicts:     625000 | #Constraints:      18259
69.14/70.04	c #Conflicts:     626000 | #Constraints:      19259
69.14/70.04	c #Conflicts:     627000 | #Constraints:      20259
69.14/70.04	c #Conflicts:     628000 | #Constraints:      21259
69.14/70.04	c #Conflicts:     629000 | #Constraints:      22259
69.14/70.04	c #Conflicts:     630000 | #Constraints:      23259
69.14/70.04	c #Conflicts:     631000 | #Constraints:      24259
69.14/70.04	c #Conflicts:     632000 | #Constraints:      25259
69.14/70.04	c #Conflicts:     633000 | #Constraints:      26259
69.14/70.04	c #Conflicts:     634000 | #Constraints:      27259
69.14/70.04	c #Conflicts:     635000 | #Constraints:      28259
69.14/70.04	c #Conflicts:     636000 | #Constraints:      29259
69.14/70.04	c #Conflicts:     637000 | #Constraints:      30259
69.14/70.04	c #Conflicts:     638000 | #Constraints:      31259
69.14/70.04	c #Conflicts:     639000 | #Constraints:      32259
69.14/70.04	c INPROCESSING
69.14/70.04	c GARBAGE COLLECT
69.14/70.04	c rational objective 200.5
70.93/71.87	c #Conflicts:     640000 | #Constraints:      17462
70.93/71.87	c #Conflicts:     641000 | #Constraints:      18462
70.93/71.87	c #Conflicts:     642000 | #Constraints:      19462
70.93/71.87	c #Conflicts:     643000 | #Constraints:      20462
70.93/71.87	c #Conflicts:     644000 | #Constraints:      21462
70.93/71.87	c #Conflicts:     645000 | #Constraints:      22462
70.93/71.87	c #Conflicts:     646000 | #Constraints:      23462
70.93/71.87	c #Conflicts:     647000 | #Constraints:      24462
70.93/71.87	c #Conflicts:     648000 | #Constraints:      25462
70.93/71.87	c #Conflicts:     649000 | #Constraints:      26462
70.93/71.87	c #Conflicts:     650000 | #Constraints:      27462
70.93/71.87	c #Conflicts:     651000 | #Constraints:      28462
70.93/71.87	c #Conflicts:     652000 | #Constraints:      29462
70.93/71.87	c #Conflicts:     653000 | #Constraints:      30462
70.93/71.87	c #Conflicts:     654000 | #Constraints:      31462
70.93/71.87	c #Conflicts:     655000 | #Constraints:      32462
70.93/71.87	c INPROCESSING
70.93/71.87	c GARBAGE COLLECT
70.93/71.87	c rational objective 200.5
72.92/73.83	c #Conflicts:     656000 | #Constraints:      17465
72.92/73.83	c #Conflicts:     657000 | #Constraints:      18465
72.92/73.83	c #Conflicts:     658000 | #Constraints:      19465
72.92/73.83	c #Conflicts:     659000 | #Constraints:      20465
72.92/73.83	c #Conflicts:     660000 | #Constraints:      21465
72.92/73.83	c #Conflicts:     661000 | #Constraints:      22465
72.92/73.83	c #Conflicts:     662000 | #Constraints:      23465
72.92/73.83	c #Conflicts:     663000 | #Constraints:      24465
72.92/73.83	c #Conflicts:     664000 | #Constraints:      25465
72.92/73.83	c #Conflicts:     665000 | #Constraints:      26465
72.92/73.83	c #Conflicts:     666000 | #Constraints:      27465
72.92/73.83	c #Conflicts:     667000 | #Constraints:      28465
72.92/73.83	c #Conflicts:     668000 | #Constraints:      29465
72.92/73.83	c #Conflicts:     669000 | #Constraints:      30465
72.92/73.83	c #Conflicts:     670000 | #Constraints:      31465
72.92/73.83	c #Conflicts:     671000 | #Constraints:      32465
72.92/73.83	c INPROCESSING
72.92/73.83	c GARBAGE COLLECT
72.92/73.83	c rational objective 200.5
74.00/80.12	c #Conflicts:     672000 | #Constraints:      17266
74.00/80.12	c #Conflicts:     673000 | #Constraints:      18266
74.00/80.12	c #Conflicts:     674000 | #Constraints:      19266
74.00/80.12	c #Conflicts:     675000 | #Constraints:      20266
74.00/80.12	c #Conflicts:     676000 | #Constraints:      21266
74.00/80.12	c #Conflicts:     677000 | #Constraints:      22266
74.00/80.12	c #Conflicts:     678000 | #Constraints:      23266
74.00/80.12	c #Conflicts:     679000 | #Constraints:      24266
74.00/80.12	c #Conflicts:     680000 | #Constraints:      25266
74.00/80.12	c cpu time 68.1729 s
74.00/80.12	c deterministic time 1501064999 1.50e+09
74.00/80.12	c optimization time 0.00011 s
74.00/80.12	c total solve time 68.1705 s
74.00/80.12	c core-guided solve time 0 s
74.00/80.12	c propagation time 59.3616 s
74.00/80.12	c conflict analysis time 5.22606 s
74.00/80.12	c propagations 4772000
74.00/80.12	c resolve steps 2101635
74.00/80.12	c decisions 1151862
74.00/80.12	c conflicts 680443
74.00/80.12	c restarts 1476
74.00/80.12	c inprocessing phases 73
74.00/80.12	c input clauses 2
74.00/80.12	c input cardinalities 556
74.00/80.12	c input general constraints 0
74.00/80.12	c input average constraint length 3.99
74.00/80.12	c input average constraint degree 2.00
74.00/80.12	c learned clauses 630568
74.00/80.12	c learned cardinalities 1762
74.00/80.12	c learned general constraints 48243
74.00/80.12	c learned average constraint length 16.36
74.00/80.12	c learned average constraint degree 26718486.68
74.00/80.12	c watched constraints 38684
74.00/80.12	c counting constraints 9559
74.00/80.12	c gcd simplifications 53522
74.00/80.12	c detected cardinalities 491
74.00/80.12	c weakened non-implied lits 490840
74.00/80.12	c weakened non-implying lits 31883
74.00/80.12	c original variables 401
74.00/80.12	c clausal propagations 1440360
74.00/80.12	c cardinality propagations 1184440
74.00/80.12	c watched propagations 172309
74.00/80.12	c counting propagations 1289521
74.00/80.12	c watch lookups 531155472
74.00/80.12	c watch backjump lookups 288747448
74.00/80.12	c watch checks 573517829
74.00/80.12	c propagation checks 57087187
74.00/80.12	c constraint additions 37348587
74.00/80.12	c trail pops 6604154
74.00/80.12	c formula constraints 558
74.00/80.12	c learned constraints 680311
74.00/80.12	c bound constraints 0
74.00/80.12	c core-guided constraints 0
74.00/80.12	c encountered formula constraints 84399
74.00/80.12	c encountered learned constraints 2634207
74.00/80.12	c encountered bound constraints 0
74.00/80.12	c encountered core-guided constraints 0
74.00/80.12	c LP total time 43.7597 s
74.00/80.12	c LP solve time 39.32 s
74.00/80.12	c LP constraints added 642
74.00/80.12	c LP constraints removed 83
74.00/80.12	c LP pivots internal 679947
74.00/80.12	c LP pivots root 512
74.00/80.12	c LP calls 235268
74.00/80.12	c LP optimalities 235137
74.00/80.12	c LP no pivot count 76482
74.00/80.12	c LP infeasibilities 131
74.00/80.12	c LP valid Farkas constraints 131
74.00/80.12	c LP learned Farkas constraints 131
74.00/80.12	c LP basis resets 0
74.00/80.12	c LP cycling count 0
74.00/80.12	c LP singular count 0
74.00/80.12	c LP no primal count 0
74.00/80.12	c LP no farkas count 0
74.00/80.12	c LP other issue count 0
74.00/80.12	c LP Gomory cuts 0
74.00/80.12	c LP learned cuts 84
74.00/80.12	c LP deleted cuts 83
74.00/80.12	c LP encountered Gomory constraints 0
74.00/80.12	c LP encountered Farkas constraints 62643
74.00/80.12	c LP encountered learned Farkas constraints 698
74.00/80.12	c CG auxiliary variables introduced 0
74.00/80.12	c CG solutions found 0
74.00/80.12	c CG cores constructed 0
74.00/80.12	c CG core cardinality constraints returned 0
74.00/80.12	c CG unit cores 0
74.00/80.12	c CG single cores 0
74.00/80.12	c CG blocks removed during cardinality reduction 0
74.00/80.12	c CG first core best 0
74.00/80.12	c CG decision core best 0
74.00/80.12	c CG core reduction tie 0
74.00/80.12	c CG core degree average 0.00
74.00/80.12	c CG core slack average 0.00
74.00/80.12	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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 (60348 MiB free)
  memory of node 1: 64473 MiB (56621 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=11791, runsolver pid=11788

[startup+0.100085 s]*
/proc/loadavg: 4.16 4.20 4.16 4/256 11792
/proc/meminfo: memFree=119775416/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1405315 38273024 656 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 9344 656 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB

[startup+0.205412 s]*
/proc/loadavg: 4.16 4.20 4.16 4/256 11792
/proc/meminfo: memFree=119775072/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1405315 38273024 656 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 9344 656 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB

[startup+0.305298 s]*
/proc/loadavg: 4.16 4.20 4.16 4/256 11792
/proc/meminfo: memFree=119774400/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1405315 38273024 656 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 9344 656 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB

[startup+0.708394 s]
/proc/loadavg: 4.16 4.20 4.16 4/256 11792
/proc/meminfo: memFree=119773392/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=38316 memory=8572 CPUtime=0 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 500 0 0 0 0 0 0 0 20 0 1 0 1405315 39235584 2143 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 9579 2143 1835 992 0 1437 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 38316 KiB
Current children cumulated memory: 8572 KiB

[startup+1.50018 s]
/proc/loadavg: 4.16 4.20 4.16 5/256 11792
/proc/meminfo: memFree=119768004/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=39020 memory=9976 CPUtime=0.79 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 847 0 0 0 71 8 0 0 20 0 1 0 1405315 39956480 2494 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 9755 2494 1835 992 0 1613 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 39020 KiB
Current children cumulated memory: 9976 KiB

[startup+3.10423 s]
/proc/loadavg: 4.16 4.20 4.16 5/256 11792
/proc/meminfo: memFree=119752308/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=39344 memory=10512 CPUtime=2.39 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 997 0 0 0 217 22 0 0 20 0 1 0 1405315 40288256 2628 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 9836 2628 1835 992 0 1694 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 39344 KiB
Current children cumulated memory: 10512 KiB
heavy processes:

[startup+6.30016 s]
/proc/loadavg: 4.15 4.20 4.16 5/256 11793
/proc/meminfo: memFree=119740676/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=39756 memory=11156 CPUtime=5.58 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 1230 0 0 0 510 48 0 0 20 0 1 0 1405315 40710144 2789 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 9939 2789 1835 992 0 1797 0
Current children cumulated CPU time: 5.58 s
Current children cumulated vsize: 39756 KiB
Current children cumulated memory: 11156 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.20 4.16 5/256 11839
/proc/meminfo: memFree=122940256/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=40320 memory=12120 CPUtime=11.97 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 1829 0 0 0 1098 99 0 0 20 0 1 0 1405315 41287680 3030 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10080 3030 1835 992 0 1938 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 12120 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.22 4.17 5/256 11843
/proc/meminfo: memFree=122775780/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=41028 memory=15204 CPUtime=24.73 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 2540 0 0 0 2280 193 0 0 20 0 1 0 1405315 42012672 3801 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10257 3801 1835 992 0 2115 0
Current children cumulated CPU time: 24.73 s
Current children cumulated vsize: 41028 KiB
Current children cumulated memory: 15204 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.22 4.17 5/256 11857
/proc/meminfo: memFree=122585660/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42072 memory=16276 CPUtime=50.27 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 4669 0 0 0 4632 395 0 0 20 0 1 0 1405315 43081728 4069 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10518 4069 1835 992 0 2376 0
Current children cumulated CPU time: 50.27 s
Current children cumulated vsize: 42072 KiB
Current children cumulated memory: 16276 KiB

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

# cumulated CPU time of all completed processes:  user=68.1737 s, system=5.8314 s

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

[startup+51.2002 s]
/proc/loadavg: 4.24 4.22 4.17 5/256 11857
/proc/meminfo: memFree=122585660/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42072 memory=16276 CPUtime=50.37 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 4669 0 0 0 4641 396 0 0 20 0 1 0 1405315 43081728 4069 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10518 4069 1835 992 0 2376 0
Current children cumulated CPU time: 50.37 s
Current children cumulated vsize: 42072 KiB
Current children cumulated memory: 16276 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.20 4.21 4.17 5/256 11860
/proc/meminfo: memFree=122513020/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42456 memory=16672 CPUtime=63.15 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 5651 0 0 0 5812 503 0 0 20 0 1 0 1405315 43474944 4168 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10614 4168 1835 992 0 2472 0
Current children cumulated CPU time: 63.15 s
Current children cumulated vsize: 42456 KiB
Current children cumulated memory: 16672 KiB

[startup+70.4002 s]
/proc/loadavg: 4.17 4.20 4.17 5/256 11861
/proc/meminfo: memFree=122475400/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42648 memory=16872 CPUtime=69.53 cores=1,3
/proc/11791/stat : 11791 (roundingsat) R 11788 11791 7465 0 -1 4194304 6177 0 0 0 6402 551 0 0 20 0 1 0 1405315 43671552 4218 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10662 4218 1835 992 0 2520 0
Current children cumulated CPU time: 69.53 s
Current children cumulated vsize: 42648 KiB
Current children cumulated memory: 16872 KiB

[startup+76.8001 s]
/proc/loadavg: 4.16 4.20 4.17 4/256 11863
/proc/meminfo: memFree=122438496/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42968 memory=17068 CPUtime=74 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 4194304 6457 0 0 0 6817 583 0 0 20 0 1 0 1405315 43999232 4267 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 1 0 0 17 1 0 0 293 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10742 4267 1835 992 0 2600 0
Current children cumulated CPU time: 74 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17068 KiB

[startup+78.4002 s]
/proc/loadavg: 4.16 4.20 4.17 4/256 11863
/proc/meminfo: memFree=122427660/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42968 memory=17068 CPUtime=74 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 4194304 6457 0 0 0 6817 583 0 0 20 0 1 0 1405315 43999232 4267 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 1 0 0 17 1 0 0 293 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10742 4267 1835 992 0 2600 0
Current children cumulated CPU time: 74 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17068 KiB

[startup+79.2002 s]
/proc/loadavg: 4.16 4.20 4.17 4/256 11863
/proc/meminfo: memFree=122421816/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42968 memory=17068 CPUtime=74 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 4194304 6457 0 0 0 6817 583 0 0 20 0 1 0 1405315 43999232 4267 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 1 0 0 17 1 0 0 293 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10742 4267 1835 992 0 2600 0
Current children cumulated CPU time: 74 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17068 KiB

[startup+79.6002 s]
/proc/loadavg: 4.16 4.20 4.17 4/256 11863
/proc/meminfo: memFree=122421816/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42968 memory=17068 CPUtime=74 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 4194304 6457 0 0 0 6817 583 0 0 20 0 1 0 1405315 43999232 4267 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 1 0 0 17 1 0 0 293 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10742 4267 1835 992 0 2600 0
Current children cumulated CPU time: 74 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17068 KiB

[startup+80.0002 s]*
/proc/loadavg: 4.14 4.19 4.16 4/256 11863
/proc/meminfo: memFree=122416336/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42968 memory=17068 CPUtime=74 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 1077936128 6457 0 0 0 6817 583 0 0 20 0 1 0 1405315 43999232 4267 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 293 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10742 4267 1835 992 0 2600 0
Current children cumulated CPU time: 74 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17068 KiB

[startup+80.1053 s]
/proc/loadavg: 4.14 4.19 4.16 4/256 11863
/proc/meminfo: memFree=122416336/131524600 swapFree=131071996/131071996
[pid=11791] ppid=11788 vsize=42968 memory=17068 CPUtime=74 cores=1,3
/proc/11791/stat : 11791 (roundingsat) D 11788 11791 7465 0 -1 1077936128 6457 0 0 0 6817 583 0 0 20 0 1 0 1405315 43999232 4267 134679101440 4194304 8255733 140732943661760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 293 0 0 9037040 9046032 21671936 140732943668066 140732943668328 140732943668328 140732943675337 0
/proc/11791/statm: 10742 4267 1835 992 0 2600 0
Current children cumulated CPU time: 74 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 17068 KiB

Child status: 0

Real time (s): 80.1238
CPU time (s): 74.0051
CPU user time (s): 68.1737
CPU system time (s): 5.8314
CPU usage (%): 92.3635
Max. virtual memory (cumulated for all children) (KiB): 42968
Max. memory (cumulated for all children) (KiB): 17068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.1737
system time used= 5.8314
maximum resident set size= 17372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 114144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126
involuntary context switches= 101


# summary of solver processes directly reported to runsolver:
#   pid: 11791
#   total CPU time (s): 74.0051
#   total CPU user time (s): 68.1737
#   total CPU system time (s): 5.8314

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.146409 second user time and 0.368151 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-30 16:00:34
IDJOB=4463084
IDBENCH=160362
IDSOLVER=3089
FILE ID=nodeC030/4463084-1722348034
RUNJOBID= nodeC030-1722340763-7477
SLURM_JOB_ID= 8249003
Free space on /tmp= 890060 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-extracted.pb.metafix.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-4463084-1722348034/watcher-4463084-1722348034 -o /tmp/evaluation-result-4463084-1722348034/solver-4463084-1722348034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7477 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463084-1722348034 --lp-cut-gomory=0 HOME/instance-4463084-1722348034.opb

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

MD5SUM BENCH= 7b2bd6f9c4b35d9a7e05934ad0cefb7e
RANDOM SEED=768974306

nodeC030.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		: 3672.209
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	: 7000.60
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		: 3663.783
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	: 7006.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.438
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	: 7000.60
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		: 3659.839
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	: 7006.48
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		: 3672.258
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	: 7000.60
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		: 3675.787
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	: 7006.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.447
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	: 7000.60
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.966
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	: 7006.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119777352 kB
MemAvailable:   128682556 kB
Buffers:           49596 kB
Cached:          9683408 kB
SwapCached:            0 kB
Active:           180732 kB
Inactive:       11073808 kB
Active(anon):       1560 kB
Inactive(anon):  1541376 kB
Active(file):     179172 kB
Inactive(file):  9532432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            103376 kB
Writeback:             4 kB
AnonPages:       1515384 kB
Mapped:            96412 kB
Shmem:             21328 kB
KReclaimable:      66844 kB
Slab:             149664 kB
SReclaimable:      66844 kB
SUnreclaim:        82820 kB
KernelStack:        4108 kB
PageTables:        11800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1796320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8416 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1378304 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:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC030 at 2024-07-30 16:01:54