Trace number 4517583

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22adOPT cert.1 137.938 138.415

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
MD5SUMfc6c22edea63d6bf282da0f44295fc1a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.164575
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables245
Total number of constraints4485
Number of constraints which are clauses4475
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint11
Number of terms in the objective function 10
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.03	c #variables 245 #constraints 4485
0.00/0.03	c objective is ce32 
0.00/0.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03	c GLOBAL bounds - >= 0 @ 0.018338
0.00/0.04	c GLOBAL bounds - >= 0 @ 0.018549
0.00/0.04	c rational objective 0
0.27/0.32	c #Conflicts:       1000 | #Constraints:       5495
0.27/0.32	c #Conflicts:       2000 | #Constraints:       6502
0.27/0.32	c INPROCESSING
0.27/0.32	c GARBAGE COLLECT
0.27/0.32	c rational objective 0
0.56/0.64	c #Conflicts:       3000 | #Constraints:       6511
0.56/0.64	c #Conflicts:       4000 | #Constraints:       7514
0.56/0.64	c INPROCESSING
0.56/0.64	c GARBAGE COLLECT
0.56/0.64	c rational objective 0
0.85/0.90	c #Conflicts:       5000 | #Constraints:       6921
0.85/0.90	c #Conflicts:       6000 | #Constraints:       7921
0.85/0.90	c INPROCESSING
0.85/0.90	c GARBAGE COLLECT
0.85/0.90	c rational objective 0
1.14/1.25	c #Conflicts:       7000 | #Constraints:       6930
1.14/1.25	c #Conflicts:       8000 | #Constraints:       7930
1.14/1.25	c #Conflicts:       9000 | #Constraints:       8930
1.14/1.25	c INPROCESSING
1.14/1.25	c GARBAGE COLLECT
1.14/1.25	c rational objective 0
1.44/1.59	c #Conflicts:      10000 | #Constraints:       7635
1.44/1.59	c #Conflicts:      11000 | #Constraints:       8635
1.44/1.59	c #Conflicts:      12000 | #Constraints:       9635
1.44/1.59	c INPROCESSING
1.44/1.59	c GARBAGE COLLECT
1.44/1.59	c rational objective 0
1.84/1.98	c #Conflicts:      13000 | #Constraints:       8092
1.84/1.98	c #Conflicts:      14000 | #Constraints:       9092
1.84/1.98	c #Conflicts:      15000 | #Constraints:      10092
1.84/1.98	c INPROCESSING
1.84/1.98	c GARBAGE COLLECT
1.84/1.98	c rational objective 0
2.33/2.40	c #Conflicts:      16000 | #Constraints:       8323
2.33/2.40	c #Conflicts:      17000 | #Constraints:       9323
2.33/2.40	c #Conflicts:      18000 | #Constraints:      10323
2.33/2.40	c INPROCESSING
2.33/2.40	c GARBAGE COLLECT
2.33/2.40	c rational objective 0
2.74/2.83	c #Conflicts:      19000 | #Constraints:       8343
2.74/2.83	c #Conflicts:      20000 | #Constraints:       9344
2.74/2.83	c #Conflicts:      21000 | #Constraints:      10344
2.74/2.83	c INPROCESSING
2.74/2.83	c GARBAGE COLLECT
2.74/2.83	c rational objective 0
3.23/3.33	c #Conflicts:      22000 | #Constraints:       8148
3.23/3.33	c #Conflicts:      23000 | #Constraints:       9148
3.23/3.33	c #Conflicts:      24000 | #Constraints:      10148
3.23/3.33	c #Conflicts:      25000 | #Constraints:      11148
3.23/3.33	c INPROCESSING
3.23/3.33	c GARBAGE COLLECT
3.23/3.33	c rational objective 0
3.83/3.92	c #Conflicts:      26000 | #Constraints:       8753
3.83/3.92	c #Conflicts:      27000 | #Constraints:       9753
3.83/3.92	c #Conflicts:      28000 | #Constraints:      10753
3.83/3.92	c #Conflicts:      29000 | #Constraints:      11753
3.83/3.92	c INPROCESSING
3.83/3.92	c GARBAGE COLLECT
3.83/3.92	c rational objective 0
4.33/4.49	c #Conflicts:      30000 | #Constraints:       9155
4.33/4.49	c #Conflicts:      31000 | #Constraints:      10155
4.33/4.49	c #Conflicts:      32000 | #Constraints:      11155
4.33/4.49	c #Conflicts:      33000 | #Constraints:      12155
4.33/4.49	c INPROCESSING
4.33/4.49	c GARBAGE COLLECT
4.33/4.49	c rational objective 0
5.03/5.12	c #Conflicts:      34000 | #Constraints:       9358
5.03/5.12	c #Conflicts:      35000 | #Constraints:      10358
5.03/5.12	c #Conflicts:      36000 | #Constraints:      11358
5.03/5.12	c #Conflicts:      37000 | #Constraints:      12358
5.03/5.12	c INPROCESSING
5.03/5.12	c GARBAGE COLLECT
5.03/5.12	c rational objective 0
5.73/5.80	c #Conflicts:      38000 | #Constraints:       9359
5.73/5.80	c #Conflicts:      39000 | #Constraints:      10359
5.73/5.80	c #Conflicts:      40000 | #Constraints:      11359
5.73/5.80	c #Conflicts:      41000 | #Constraints:      12359
5.73/5.80	c INPROCESSING
5.73/5.80	c GARBAGE COLLECT
5.73/5.80	c rational objective 0
6.42/6.56	c #Conflicts:      42000 | #Constraints:       9157
6.42/6.56	c #Conflicts:      43000 | #Constraints:      10157
6.42/6.56	c #Conflicts:      44000 | #Constraints:      11157
6.42/6.56	c #Conflicts:      45000 | #Constraints:      12157
6.42/6.56	c #Conflicts:      46000 | #Constraints:      13157
6.42/6.56	c INPROCESSING
6.42/6.56	c GARBAGE COLLECT
6.42/6.56	c rational objective 0
7.22/7.35	c #Conflicts:      47000 | #Constraints:       9755
7.22/7.35	c #Conflicts:      48000 | #Constraints:      10755
7.22/7.35	c #Conflicts:      49000 | #Constraints:      11755
7.22/7.35	c #Conflicts:      50000 | #Constraints:      12755
7.22/7.35	c #Conflicts:      51000 | #Constraints:      13755
7.22/7.35	c INPROCESSING
7.22/7.35	c GARBAGE COLLECT
7.22/7.35	c rational objective 0
8.03/8.11	c #Conflicts:      52000 | #Constraints:      10156
8.03/8.11	c #Conflicts:      53000 | #Constraints:      11156
8.03/8.11	c #Conflicts:      54000 | #Constraints:      12156
8.03/8.11	c #Conflicts:      55000 | #Constraints:      13156
8.03/8.11	c #Conflicts:      56000 | #Constraints:      14156
8.03/8.11	c INPROCESSING
8.03/8.11	c GARBAGE COLLECT
8.03/8.11	c rational objective 0
8.92/9.02	c #Conflicts:      57000 | #Constraints:      10358
8.92/9.02	c #Conflicts:      58000 | #Constraints:      11358
8.92/9.02	c #Conflicts:      59000 | #Constraints:      12358
8.92/9.02	c #Conflicts:      60000 | #Constraints:      13358
8.92/9.02	c #Conflicts:      61000 | #Constraints:      14358
8.92/9.02	c INPROCESSING
8.92/9.02	c GARBAGE COLLECT
8.92/9.02	c rational objective 0
10.01/10.16	c #Conflicts:      62000 | #Constraints:      10363
10.01/10.16	c #Conflicts:      63000 | #Constraints:      11363
10.01/10.16	c #Conflicts:      64000 | #Constraints:      12363
10.01/10.16	c #Conflicts:      65000 | #Constraints:      13363
10.01/10.16	c #Conflicts:      66000 | #Constraints:      14363
10.01/10.16	c INPROCESSING
10.01/10.16	c GARBAGE COLLECT
10.01/10.16	c rational objective 0
10.92/11.08	c #Conflicts:      67000 | #Constraints:      10170
10.92/11.08	c #Conflicts:      68000 | #Constraints:      11170
10.92/11.08	c #Conflicts:      69000 | #Constraints:      12170
10.92/11.08	c #Conflicts:      70000 | #Constraints:      13170
10.92/11.08	c #Conflicts:      71000 | #Constraints:      14170
10.92/11.08	c #Conflicts:      72000 | #Constraints:      15170
10.92/11.08	c INPROCESSING
10.92/11.08	c GARBAGE COLLECT
10.92/11.08	c rational objective 0
11.80/11.99	c #Conflicts:      73000 | #Constraints:      10761
11.80/11.99	c #Conflicts:      74000 | #Constraints:      11761
11.80/11.99	c #Conflicts:      75000 | #Constraints:      12761
11.80/11.99	c #Conflicts:      76000 | #Constraints:      13761
11.80/11.99	c #Conflicts:      77000 | #Constraints:      14761
11.80/11.99	c #Conflicts:      78000 | #Constraints:      15761
11.80/11.99	c INPROCESSING
11.80/11.99	c GARBAGE COLLECT
11.80/11.99	c rational objective 0
12.91/13.06	c #Conflicts:      79000 | #Constraints:      11169
12.91/13.06	c #Conflicts:      80000 | #Constraints:      12169
12.91/13.06	c #Conflicts:      81000 | #Constraints:      13169
12.91/13.06	c #Conflicts:      82000 | #Constraints:      14169
12.91/13.06	c #Conflicts:      83000 | #Constraints:      15169
12.91/13.06	c #Conflicts:      84000 | #Constraints:      16169
12.91/13.06	c INPROCESSING
12.91/13.06	c GARBAGE COLLECT
12.91/13.06	c rational objective 0
14.10/14.28	c #Conflicts:      85000 | #Constraints:      11362
14.10/14.28	c #Conflicts:      86000 | #Constraints:      12362
14.10/14.28	c #Conflicts:      87000 | #Constraints:      13362
14.10/14.28	c #Conflicts:      88000 | #Constraints:      14362
14.10/14.28	c #Conflicts:      89000 | #Constraints:      15362
14.10/14.28	c #Conflicts:      90000 | #Constraints:      16362
14.10/14.28	c INPROCESSING
14.10/14.28	c GARBAGE COLLECT
14.10/14.28	c rational objective 0
15.59/15.73	c #Conflicts:      91000 | #Constraints:      11365
15.59/15.73	c #Conflicts:      92000 | #Constraints:      12365
15.59/15.73	c #Conflicts:      93000 | #Constraints:      13365
15.59/15.73	c #Conflicts:      94000 | #Constraints:      14366
15.59/15.73	c #Conflicts:      95000 | #Constraints:      15366
15.59/15.73	c #Conflicts:      96000 | #Constraints:      16366
15.59/15.73	c INPROCESSING
15.59/15.73	c GARBAGE COLLECT
15.59/15.73	c rational objective 0
17.30/17.45	c #Conflicts:      97000 | #Constraints:      11166
17.30/17.45	c #Conflicts:      98000 | #Constraints:      12166
17.30/17.45	c #Conflicts:      99000 | #Constraints:      13166
17.30/17.45	c #Conflicts:     100000 | #Constraints:      14166
17.30/17.45	c #Conflicts:     101000 | #Constraints:      15166
17.30/17.45	c #Conflicts:     102000 | #Constraints:      16166
17.30/17.45	c #Conflicts:     103000 | #Constraints:      17166
17.30/17.45	c INPROCESSING
17.30/17.45	c GARBAGE COLLECT
17.30/17.45	c rational objective 0
18.79/18.90	c #Conflicts:     104000 | #Constraints:      11757
18.79/18.90	c #Conflicts:     105000 | #Constraints:      12757
18.79/18.90	c #Conflicts:     106000 | #Constraints:      13757
18.79/18.90	c #Conflicts:     107000 | #Constraints:      14757
18.79/18.90	c #Conflicts:     108000 | #Constraints:      15757
18.79/18.90	c #Conflicts:     109000 | #Constraints:      16757
18.79/18.90	c #Conflicts:     110000 | #Constraints:      17757
18.79/18.90	c INPROCESSING
18.79/18.90	c GARBAGE COLLECT
18.79/18.90	c rational objective 0
20.28/20.45	c #Conflicts:     111000 | #Constraints:      12163
20.28/20.45	c #Conflicts:     112000 | #Constraints:      13163
20.28/20.45	c #Conflicts:     113000 | #Constraints:      14163
20.28/20.45	c #Conflicts:     114000 | #Constraints:      15163
20.28/20.45	c #Conflicts:     115000 | #Constraints:      16163
20.28/20.45	c #Conflicts:     116000 | #Constraints:      17163
20.28/20.45	c #Conflicts:     117000 | #Constraints:      18163
20.28/20.45	c INPROCESSING
20.28/20.45	c GARBAGE COLLECT
20.28/20.45	c rational objective 0
22.08/22.22	c #Conflicts:     118000 | #Constraints:      12367
22.08/22.22	c #Conflicts:     119000 | #Constraints:      13367
22.08/22.22	c #Conflicts:     120000 | #Constraints:      14367
22.08/22.22	c #Conflicts:     121000 | #Constraints:      15367
22.08/22.22	c #Conflicts:     122000 | #Constraints:      16367
22.08/22.22	c #Conflicts:     123000 | #Constraints:      17367
22.08/22.22	c #Conflicts:     124000 | #Constraints:      18367
22.08/22.22	c INPROCESSING
22.08/22.22	c GARBAGE COLLECT
22.08/22.22	c rational objective 0
23.77/23.92	c #Conflicts:     125000 | #Constraints:      12367
23.77/23.92	c #Conflicts:     126000 | #Constraints:      13367
23.77/23.92	c #Conflicts:     127000 | #Constraints:      14367
23.77/23.92	c #Conflicts:     128000 | #Constraints:      15367
23.77/23.92	c #Conflicts:     129000 | #Constraints:      16367
23.77/23.92	c #Conflicts:     130000 | #Constraints:      17367
23.77/23.92	c #Conflicts:     131000 | #Constraints:      18367
23.77/23.92	c INPROCESSING
23.77/23.92	c GARBAGE COLLECT
23.77/23.92	c rational objective 0
25.67/25.84	c #Conflicts:     132000 | #Constraints:      12169
25.67/25.84	c #Conflicts:     133000 | #Constraints:      13169
25.67/25.84	c #Conflicts:     134000 | #Constraints:      14169
25.67/25.84	c #Conflicts:     135000 | #Constraints:      15169
25.67/25.84	c #Conflicts:     136000 | #Constraints:      16169
25.67/25.84	c #Conflicts:     137000 | #Constraints:      17169
25.67/25.84	c #Conflicts:     138000 | #Constraints:      18169
25.67/25.84	c #Conflicts:     139000 | #Constraints:      19169
25.67/25.84	c INPROCESSING
25.67/25.84	c GARBAGE COLLECT
25.67/25.84	c rational objective 0
27.87/28.02	c #Conflicts:     140000 | #Constraints:      12769
27.87/28.02	c #Conflicts:     141000 | #Constraints:      13769
27.87/28.02	c #Conflicts:     142000 | #Constraints:      14769
27.87/28.02	c #Conflicts:     143000 | #Constraints:      15769
27.87/28.02	c #Conflicts:     144000 | #Constraints:      16769
27.87/28.02	c #Conflicts:     145000 | #Constraints:      17769
27.87/28.02	c #Conflicts:     146000 | #Constraints:      18769
27.87/28.02	c #Conflicts:     147000 | #Constraints:      19769
27.87/28.02	c INPROCESSING
27.87/28.02	c GARBAGE COLLECT
27.87/28.02	c rational objective 0
30.15/30.37	c #Conflicts:     148000 | #Constraints:      13173
30.15/30.37	c #Conflicts:     149000 | #Constraints:      14173
30.15/30.37	c #Conflicts:     150000 | #Constraints:      15173
30.15/30.37	c #Conflicts:     151000 | #Constraints:      16173
30.15/30.37	c #Conflicts:     152000 | #Constraints:      17173
30.15/30.37	c #Conflicts:     153000 | #Constraints:      18173
30.15/30.37	c #Conflicts:     154000 | #Constraints:      19173
30.15/30.37	c #Conflicts:     155000 | #Constraints:      20173
30.15/30.37	c INPROCESSING
30.15/30.37	c GARBAGE COLLECT
30.15/30.37	c rational objective 0
32.15/32.39	c #Conflicts:     156000 | #Constraints:      13375
32.15/32.39	c #Conflicts:     157000 | #Constraints:      14375
32.15/32.39	c #Conflicts:     158000 | #Constraints:      15375
32.15/32.39	c #Conflicts:     159000 | #Constraints:      16375
32.15/32.39	c #Conflicts:     160000 | #Constraints:      17375
32.15/32.39	c #Conflicts:     161000 | #Constraints:      18375
32.15/32.39	c #Conflicts:     162000 | #Constraints:      19375
32.15/32.39	c #Conflicts:     163000 | #Constraints:      20375
32.15/32.39	c INPROCESSING
32.15/32.39	c GARBAGE COLLECT
32.15/32.39	c rational objective 0
34.35/34.54	c #Conflicts:     164000 | #Constraints:      13371
34.35/34.54	c #Conflicts:     165000 | #Constraints:      14371
34.35/34.54	c #Conflicts:     166000 | #Constraints:      15371
34.35/34.54	c #Conflicts:     167000 | #Constraints:      16371
34.35/34.54	c #Conflicts:     168000 | #Constraints:      17371
34.35/34.54	c #Conflicts:     169000 | #Constraints:      18371
34.35/34.54	c #Conflicts:     170000 | #Constraints:      19371
34.35/34.54	c #Conflicts:     171000 | #Constraints:      20371
34.35/34.54	c INPROCESSING
34.35/34.54	c GARBAGE COLLECT
34.35/34.54	c rational objective 0
36.74/37.00	c #Conflicts:     172000 | #Constraints:      13165
36.74/37.00	c #Conflicts:     173000 | #Constraints:      14165
36.74/37.00	c #Conflicts:     174000 | #Constraints:      15165
36.74/37.00	c #Conflicts:     175000 | #Constraints:      16165
36.74/37.00	c #Conflicts:     176000 | #Constraints:      17165
36.74/37.00	c #Conflicts:     177000 | #Constraints:      18165
36.74/37.00	c #Conflicts:     178000 | #Constraints:      19165
36.74/37.00	c #Conflicts:     179000 | #Constraints:      20165
36.74/37.00	c #Conflicts:     180000 | #Constraints:      21165
36.74/37.00	c INPROCESSING
36.74/37.00	c GARBAGE COLLECT
36.74/37.00	c rational objective 0
39.04/39.26	c #Conflicts:     181000 | #Constraints:      13770
39.04/39.26	c #Conflicts:     182000 | #Constraints:      14770
39.04/39.26	c #Conflicts:     183000 | #Constraints:      15770
39.04/39.26	c #Conflicts:     184000 | #Constraints:      16770
39.04/39.26	c #Conflicts:     185000 | #Constraints:      17770
39.04/39.26	c #Conflicts:     186000 | #Constraints:      18770
39.04/39.26	c #Conflicts:     187000 | #Constraints:      19770
39.04/39.26	c #Conflicts:     188000 | #Constraints:      20770
39.04/39.26	c #Conflicts:     189000 | #Constraints:      21770
39.04/39.26	c INPROCESSING
39.04/39.26	c GARBAGE COLLECT
39.04/39.26	c rational objective 0
41.63/41.82	c #Conflicts:     190000 | #Constraints:      14170
41.63/41.82	c #Conflicts:     191000 | #Constraints:      15170
41.63/41.82	c #Conflicts:     192000 | #Constraints:      16170
41.63/41.82	c #Conflicts:     193000 | #Constraints:      17170
41.63/41.82	c #Conflicts:     194000 | #Constraints:      18170
41.63/41.82	c #Conflicts:     195000 | #Constraints:      19170
41.63/41.82	c #Conflicts:     196000 | #Constraints:      20170
41.63/41.82	c #Conflicts:     197000 | #Constraints:      21170
41.63/41.82	c #Conflicts:     198000 | #Constraints:      22170
41.63/41.82	c INPROCESSING
41.63/41.82	c GARBAGE COLLECT
41.63/41.82	c rational objective 0
44.32/44.55	c #Conflicts:     199000 | #Constraints:      14371
44.32/44.55	c #Conflicts:     200000 | #Constraints:      15371
44.32/44.55	c #Conflicts:     201000 | #Constraints:      16371
44.32/44.55	c #Conflicts:     202000 | #Constraints:      17371
44.32/44.55	c #Conflicts:     203000 | #Constraints:      18371
44.32/44.55	c #Conflicts:     204000 | #Constraints:      19371
44.32/44.55	c #Conflicts:     205000 | #Constraints:      20371
44.32/44.55	c #Conflicts:     206000 | #Constraints:      21371
44.32/44.55	c #Conflicts:     207000 | #Constraints:      22371
44.32/44.55	c INPROCESSING
44.32/44.55	c GARBAGE COLLECT
44.32/44.55	c rational objective 0
47.12/47.33	c #Conflicts:     208000 | #Constraints:      14371
47.12/47.33	c #Conflicts:     209000 | #Constraints:      15371
47.12/47.33	c #Conflicts:     210000 | #Constraints:      16373
47.12/47.33	c #Conflicts:     211000 | #Constraints:      17373
47.12/47.33	c #Conflicts:     212000 | #Constraints:      18373
47.12/47.33	c #Conflicts:     213000 | #Constraints:      19373
47.12/47.33	c #Conflicts:     214000 | #Constraints:      20373
47.12/47.33	c #Conflicts:     215000 | #Constraints:      21373
47.12/47.33	c #Conflicts:     216000 | #Constraints:      22373
47.12/47.33	c INPROCESSING
47.12/47.33	c GARBAGE COLLECT
47.12/47.33	c rational objective 0
49.91/50.14	c #Conflicts:     217000 | #Constraints:      14173
49.91/50.14	c #Conflicts:     218000 | #Constraints:      15174
49.91/50.14	c #Conflicts:     219000 | #Constraints:      16174
49.91/50.14	c #Conflicts:     220000 | #Constraints:      17174
49.91/50.14	c #Conflicts:     221000 | #Constraints:      18174
49.91/50.14	c #Conflicts:     222000 | #Constraints:      19174
49.91/50.14	c #Conflicts:     223000 | #Constraints:      20174
49.91/50.14	c #Conflicts:     224000 | #Constraints:      21174
49.91/50.14	c #Conflicts:     225000 | #Constraints:      22174
49.91/50.14	c #Conflicts:     226000 | #Constraints:      23174
49.91/50.14	c INPROCESSING
49.91/50.14	c GARBAGE COLLECT
49.91/50.14	c rational objective 0
52.91/53.16	c #Conflicts:     227000 | #Constraints:      14776
52.91/53.16	c #Conflicts:     228000 | #Constraints:      15776
52.91/53.16	c #Conflicts:     229000 | #Constraints:      16776
52.91/53.16	c #Conflicts:     230000 | #Constraints:      17776
52.91/53.16	c #Conflicts:     231000 | #Constraints:      18776
52.91/53.16	c #Conflicts:     232000 | #Constraints:      19776
52.91/53.16	c #Conflicts:     233000 | #Constraints:      20776
52.91/53.16	c #Conflicts:     234000 | #Constraints:      21776
52.91/53.16	c #Conflicts:     235000 | #Constraints:      22777
52.91/53.16	c #Conflicts:     236000 | #Constraints:      23777
52.91/53.16	c INPROCESSING
52.91/53.16	c GARBAGE COLLECT
52.91/53.16	c rational objective 0
55.99/56.27	c #Conflicts:     237000 | #Constraints:      15174
55.99/56.27	c #Conflicts:     238000 | #Constraints:      16174
55.99/56.27	c #Conflicts:     239000 | #Constraints:      17174
55.99/56.27	c #Conflicts:     240000 | #Constraints:      18174
55.99/56.27	c #Conflicts:     241000 | #Constraints:      19174
55.99/56.27	c #Conflicts:     242000 | #Constraints:      20174
55.99/56.27	c #Conflicts:     243000 | #Constraints:      21174
55.99/56.27	c #Conflicts:     244000 | #Constraints:      22174
55.99/56.27	c #Conflicts:     245000 | #Constraints:      23174
55.99/56.27	c #Conflicts:     246000 | #Constraints:      24174
55.99/56.27	c INPROCESSING
55.99/56.27	c GARBAGE COLLECT
55.99/56.27	c rational objective 0
59.18/59.40	c #Conflicts:     247000 | #Constraints:      15369
59.18/59.40	c #Conflicts:     248000 | #Constraints:      16369
59.18/59.40	c #Conflicts:     249000 | #Constraints:      17369
59.18/59.40	c #Conflicts:     250000 | #Constraints:      18369
59.18/59.40	c #Conflicts:     251000 | #Constraints:      19369
59.18/59.40	c #Conflicts:     252000 | #Constraints:      20369
59.18/59.40	c #Conflicts:     253000 | #Constraints:      21369
59.18/59.40	c #Conflicts:     254000 | #Constraints:      22369
59.18/59.40	c #Conflicts:     255000 | #Constraints:      23369
59.18/59.40	c #Conflicts:     256000 | #Constraints:      24369
59.18/59.40	c INPROCESSING
59.18/59.40	c GARBAGE COLLECT
59.18/59.40	c rational objective 0
62.37/62.67	c #Conflicts:     257000 | #Constraints:      15371
62.37/62.67	c #Conflicts:     258000 | #Constraints:      16371
62.37/62.67	c #Conflicts:     259000 | #Constraints:      17371
62.37/62.67	c #Conflicts:     260000 | #Constraints:      18371
62.37/62.67	c #Conflicts:     261000 | #Constraints:      19371
62.37/62.67	c #Conflicts:     262000 | #Constraints:      20371
62.37/62.67	c #Conflicts:     263000 | #Constraints:      21371
62.37/62.67	c #Conflicts:     264000 | #Constraints:      22371
62.37/62.67	c #Conflicts:     265000 | #Constraints:      23371
62.37/62.67	c #Conflicts:     266000 | #Constraints:      24371
62.37/62.67	c INPROCESSING
62.37/62.67	c GARBAGE COLLECT
62.37/62.67	c rational objective 0
65.66/65.91	c #Conflicts:     267000 | #Constraints:      15171
65.66/65.91	c #Conflicts:     268000 | #Constraints:      16171
65.66/65.91	c #Conflicts:     269000 | #Constraints:      17171
65.66/65.91	c #Conflicts:     270000 | #Constraints:      18171
65.66/65.91	c #Conflicts:     271000 | #Constraints:      19171
65.66/65.91	c #Conflicts:     272000 | #Constraints:      20171
65.66/65.91	c #Conflicts:     273000 | #Constraints:      21171
65.66/65.91	c #Conflicts:     274000 | #Constraints:      22171
65.66/65.91	c #Conflicts:     275000 | #Constraints:      23171
65.66/65.91	c #Conflicts:     276000 | #Constraints:      24171
65.66/65.91	c #Conflicts:     277000 | #Constraints:      25171
65.66/65.91	c INPROCESSING
65.66/65.91	c GARBAGE COLLECT
65.66/65.91	c rational objective 0
68.96/69.25	c #Conflicts:     278000 | #Constraints:      15772
68.96/69.25	c #Conflicts:     279000 | #Constraints:      16772
68.96/69.25	c #Conflicts:     280000 | #Constraints:      17772
68.96/69.25	c #Conflicts:     281000 | #Constraints:      18772
68.96/69.25	c #Conflicts:     282000 | #Constraints:      19772
68.96/69.25	c #Conflicts:     283000 | #Constraints:      20772
68.96/69.25	c #Conflicts:     284000 | #Constraints:      21772
68.96/69.25	c #Conflicts:     285000 | #Constraints:      22772
68.96/69.25	c #Conflicts:     286000 | #Constraints:      23772
68.96/69.25	c #Conflicts:     287000 | #Constraints:      24772
68.96/69.25	c #Conflicts:     288000 | #Constraints:      25772
68.96/69.25	c INPROCESSING
68.96/69.25	c GARBAGE COLLECT
68.96/69.25	c rational objective 0
72.55/72.80	c #Conflicts:     289000 | #Constraints:      16173
72.55/72.80	c #Conflicts:     290000 | #Constraints:      17173
72.55/72.80	c #Conflicts:     291000 | #Constraints:      18173
72.55/72.80	c #Conflicts:     292000 | #Constraints:      19173
72.55/72.80	c #Conflicts:     293000 | #Constraints:      20173
72.55/72.80	c #Conflicts:     294000 | #Constraints:      21173
72.55/72.80	c #Conflicts:     295000 | #Constraints:      22173
72.55/72.80	c #Conflicts:     296000 | #Constraints:      23173
72.55/72.80	c #Conflicts:     297000 | #Constraints:      24173
72.55/72.80	c #Conflicts:     298000 | #Constraints:      25173
72.55/72.80	c #Conflicts:     299000 | #Constraints:      26173
72.55/72.80	c INPROCESSING
72.55/72.80	c GARBAGE COLLECT
72.55/72.80	c rational objective 0
75.94/76.28	c #Conflicts:     300000 | #Constraints:      16373
75.94/76.28	c #Conflicts:     301000 | #Constraints:      17373
75.94/76.28	c #Conflicts:     302000 | #Constraints:      18373
75.94/76.28	c #Conflicts:     303000 | #Constraints:      19373
75.94/76.28	c #Conflicts:     304000 | #Constraints:      20373
75.94/76.28	c #Conflicts:     305000 | #Constraints:      21373
75.94/76.28	c #Conflicts:     306000 | #Constraints:      22373
75.94/76.28	c #Conflicts:     307000 | #Constraints:      23373
75.94/76.28	c #Conflicts:     308000 | #Constraints:      24373
75.94/76.28	c #Conflicts:     309000 | #Constraints:      25373
75.94/76.28	c #Conflicts:     310000 | #Constraints:      26373
75.94/76.28	c INPROCESSING
75.94/76.28	c GARBAGE COLLECT
75.94/76.28	c rational objective 0
79.43/79.71	c #Conflicts:     311000 | #Constraints:      16371
79.43/79.71	c #Conflicts:     312000 | #Constraints:      17371
79.43/79.71	c #Conflicts:     313000 | #Constraints:      18371
79.43/79.71	c #Conflicts:     314000 | #Constraints:      19371
79.43/79.71	c #Conflicts:     315000 | #Constraints:      20371
79.43/79.71	c #Conflicts:     316000 | #Constraints:      21371
79.43/79.71	c #Conflicts:     317000 | #Constraints:      22371
79.43/79.71	c #Conflicts:     318000 | #Constraints:      23371
79.43/79.71	c #Conflicts:     319000 | #Constraints:      24371
79.43/79.71	c #Conflicts:     320000 | #Constraints:      25371
79.43/79.71	c #Conflicts:     321000 | #Constraints:      26371
79.43/79.71	c INPROCESSING
79.43/79.71	c GARBAGE COLLECT
79.43/79.71	c rational objective 0
83.02/83.38	c #Conflicts:     322000 | #Constraints:      16178
83.02/83.38	c #Conflicts:     323000 | #Constraints:      17178
83.02/83.38	c #Conflicts:     324000 | #Constraints:      18178
83.02/83.38	c #Conflicts:     325000 | #Constraints:      19178
83.02/83.38	c #Conflicts:     326000 | #Constraints:      20178
83.02/83.38	c #Conflicts:     327000 | #Constraints:      21178
83.02/83.38	c #Conflicts:     328000 | #Constraints:      22178
83.02/83.38	c #Conflicts:     329000 | #Constraints:      23178
83.02/83.38	c #Conflicts:     330000 | #Constraints:      24178
83.02/83.38	c #Conflicts:     331000 | #Constraints:      25178
83.02/83.38	c #Conflicts:     332000 | #Constraints:      26178
83.02/83.38	c #Conflicts:     333000 | #Constraints:      27178
83.02/83.38	c INPROCESSING
83.02/83.38	c GARBAGE COLLECT
83.02/83.38	c rational objective 0
86.71/87.06	c #Conflicts:     334000 | #Constraints:      16780
86.71/87.06	c #Conflicts:     335000 | #Constraints:      17780
86.71/87.06	c #Conflicts:     336000 | #Constraints:      18780
86.71/87.06	c #Conflicts:     337000 | #Constraints:      19781
86.71/87.06	c #Conflicts:     338000 | #Constraints:      20781
86.71/87.06	c #Conflicts:     339000 | #Constraints:      21781
86.71/87.06	c #Conflicts:     340000 | #Constraints:      22781
86.71/87.06	c #Conflicts:     341000 | #Constraints:      23781
86.71/87.06	c #Conflicts:     342000 | #Constraints:      24781
86.71/87.06	c #Conflicts:     343000 | #Constraints:      25781
86.71/87.06	c #Conflicts:     344000 | #Constraints:      26781
86.71/87.06	c #Conflicts:     345000 | #Constraints:      27781
86.71/87.06	c INPROCESSING
86.71/87.06	c GARBAGE COLLECT
86.71/87.06	c rational objective 0
90.49/90.83	c #Conflicts:     346000 | #Constraints:      17182
90.49/90.83	c #Conflicts:     347000 | #Constraints:      18182
90.49/90.83	c #Conflicts:     348000 | #Constraints:      19182
90.49/90.83	c #Conflicts:     349000 | #Constraints:      20182
90.49/90.83	c #Conflicts:     350000 | #Constraints:      21182
90.49/90.83	c #Conflicts:     351000 | #Constraints:      22182
90.49/90.83	c #Conflicts:     352000 | #Constraints:      23182
90.49/90.83	c #Conflicts:     353000 | #Constraints:      24182
90.49/90.83	c #Conflicts:     354000 | #Constraints:      25182
90.49/90.83	c #Conflicts:     355000 | #Constraints:      26182
90.49/90.83	c #Conflicts:     356000 | #Constraints:      27182
90.49/90.83	c #Conflicts:     357000 | #Constraints:      28182
90.49/90.83	c INPROCESSING
90.49/90.83	c GARBAGE COLLECT
90.49/90.83	c rational objective 0
94.29/94.63	c #Conflicts:     358000 | #Constraints:      17378
94.29/94.63	c #Conflicts:     359000 | #Constraints:      18378
94.29/94.63	c #Conflicts:     360000 | #Constraints:      19378
94.29/94.63	c #Conflicts:     361000 | #Constraints:      20378
94.29/94.63	c #Conflicts:     362000 | #Constraints:      21378
94.29/94.63	c #Conflicts:     363000 | #Constraints:      22378
94.29/94.63	c #Conflicts:     364000 | #Constraints:      23378
94.29/94.63	c #Conflicts:     365000 | #Constraints:      24378
94.29/94.63	c #Conflicts:     366000 | #Constraints:      25378
94.29/94.63	c #Conflicts:     367000 | #Constraints:      26378
94.29/94.63	c #Conflicts:     368000 | #Constraints:      27378
94.29/94.63	c #Conflicts:     369000 | #Constraints:      28378
94.29/94.63	c INPROCESSING
94.29/94.63	c GARBAGE COLLECT
94.29/94.63	c rational objective 0
98.07/98.44	c #Conflicts:     370000 | #Constraints:      17377
98.07/98.44	c #Conflicts:     371000 | #Constraints:      18377
98.07/98.44	c #Conflicts:     372000 | #Constraints:      19377
98.07/98.44	c #Conflicts:     373000 | #Constraints:      20377
98.07/98.44	c #Conflicts:     374000 | #Constraints:      21377
98.07/98.44	c #Conflicts:     375000 | #Constraints:      22377
98.07/98.44	c #Conflicts:     376000 | #Constraints:      23377
98.07/98.44	c #Conflicts:     377000 | #Constraints:      24377
98.07/98.44	c #Conflicts:     378000 | #Constraints:      25377
98.07/98.44	c #Conflicts:     379000 | #Constraints:      26377
98.07/98.44	c #Conflicts:     380000 | #Constraints:      27377
98.07/98.44	c #Conflicts:     381000 | #Constraints:      28377
98.07/98.44	c INPROCESSING
98.07/98.44	c GARBAGE COLLECT
98.07/98.44	c rational objective 0
101.97/102.36	c #Conflicts:     382000 | #Constraints:      17179
101.97/102.36	c #Conflicts:     383000 | #Constraints:      18179
101.97/102.36	c #Conflicts:     384000 | #Constraints:      19179
101.97/102.36	c #Conflicts:     385000 | #Constraints:      20179
101.97/102.36	c #Conflicts:     386000 | #Constraints:      21179
101.97/102.36	c #Conflicts:     387000 | #Constraints:      22179
101.97/102.36	c #Conflicts:     388000 | #Constraints:      23179
101.97/102.36	c #Conflicts:     389000 | #Constraints:      24179
101.97/102.36	c #Conflicts:     390000 | #Constraints:      25179
101.97/102.36	c #Conflicts:     391000 | #Constraints:      26179
101.97/102.36	c #Conflicts:     392000 | #Constraints:      27179
101.97/102.36	c #Conflicts:     393000 | #Constraints:      28179
101.97/102.36	c #Conflicts:     394000 | #Constraints:      29179
101.97/102.36	c INPROCESSING
101.97/102.36	c GARBAGE COLLECT
101.97/102.36	c rational objective 0
106.06/106.42	c #Conflicts:     395000 | #Constraints:      17778
106.06/106.42	c #Conflicts:     396000 | #Constraints:      18778
106.06/106.42	c #Conflicts:     397000 | #Constraints:      19778
106.06/106.42	c #Conflicts:     398000 | #Constraints:      20778
106.06/106.42	c #Conflicts:     399000 | #Constraints:      21778
106.06/106.42	c #Conflicts:     400000 | #Constraints:      22778
106.06/106.42	c #Conflicts:     401000 | #Constraints:      23778
106.06/106.42	c #Conflicts:     402000 | #Constraints:      24778
106.06/106.42	c #Conflicts:     403000 | #Constraints:      25778
106.06/106.42	c #Conflicts:     404000 | #Constraints:      26778
106.06/106.42	c #Conflicts:     405000 | #Constraints:      27778
106.06/106.42	c #Conflicts:     406000 | #Constraints:      28778
106.06/106.42	c #Conflicts:     407000 | #Constraints:      29778
106.06/106.42	c INPROCESSING
106.06/106.42	c GARBAGE COLLECT
106.06/106.42	c rational objective 0
109.95/110.35	c #Conflicts:     408000 | #Constraints:      18181
109.95/110.35	c #Conflicts:     409000 | #Constraints:      19181
109.95/110.35	c #Conflicts:     410000 | #Constraints:      20181
109.95/110.35	c #Conflicts:     411000 | #Constraints:      21181
109.95/110.35	c #Conflicts:     412000 | #Constraints:      22181
109.95/110.35	c #Conflicts:     413000 | #Constraints:      23181
109.95/110.35	c #Conflicts:     414000 | #Constraints:      24181
109.95/110.35	c #Conflicts:     415000 | #Constraints:      25181
109.95/110.35	c #Conflicts:     416000 | #Constraints:      26181
109.95/110.35	c #Conflicts:     417000 | #Constraints:      27181
109.95/110.35	c #Conflicts:     418000 | #Constraints:      28181
109.95/110.35	c #Conflicts:     419000 | #Constraints:      29181
109.95/110.35	c #Conflicts:     420000 | #Constraints:      30181
109.95/110.35	c INPROCESSING
109.95/110.35	c GARBAGE COLLECT
109.95/110.35	c rational objective 0
113.90/114.39	c #Conflicts:     421000 | #Constraints:      18382
113.90/114.39	c #Conflicts:     422000 | #Constraints:      19382
113.90/114.39	c #Conflicts:     423000 | #Constraints:      20382
113.90/114.39	c #Conflicts:     424000 | #Constraints:      21382
113.90/114.39	c #Conflicts:     425000 | #Constraints:      22382
113.90/114.39	c #Conflicts:     426000 | #Constraints:      23382
113.90/114.39	c #Conflicts:     427000 | #Constraints:      24382
113.90/114.39	c #Conflicts:     428000 | #Constraints:      25382
113.90/114.39	c #Conflicts:     429000 | #Constraints:      26382
113.90/114.39	c #Conflicts:     430000 | #Constraints:      27382
113.90/114.39	c #Conflicts:     431000 | #Constraints:      28382
113.90/114.39	c #Conflicts:     432000 | #Constraints:      29382
113.90/114.39	c #Conflicts:     433000 | #Constraints:      30382
113.90/114.39	c INPROCESSING
113.90/114.39	c GARBAGE COLLECT
113.90/114.39	c rational objective 0
117.99/118.49	c #Conflicts:     434000 | #Constraints:      18377
117.99/118.49	c #Conflicts:     435000 | #Constraints:      19377
117.99/118.49	c #Conflicts:     436000 | #Constraints:      20377
117.99/118.49	c #Conflicts:     437000 | #Constraints:      21377
117.99/118.49	c #Conflicts:     438000 | #Constraints:      22377
117.99/118.49	c #Conflicts:     439000 | #Constraints:      23377
117.99/118.49	c #Conflicts:     440000 | #Constraints:      24377
117.99/118.49	c #Conflicts:     441000 | #Constraints:      25377
117.99/118.49	c #Conflicts:     442000 | #Constraints:      26377
117.99/118.49	c #Conflicts:     443000 | #Constraints:      27377
117.99/118.49	c #Conflicts:     444000 | #Constraints:      28377
117.99/118.49	c #Conflicts:     445000 | #Constraints:      29377
117.99/118.49	c #Conflicts:     446000 | #Constraints:      30377
117.99/118.49	c INPROCESSING
117.99/118.49	c GARBAGE COLLECT
117.99/118.49	c rational objective 0
122.18/122.66	c #Conflicts:     447000 | #Constraints:      18180
122.18/122.66	c #Conflicts:     448000 | #Constraints:      19180
122.18/122.66	c #Conflicts:     449000 | #Constraints:      20180
122.18/122.66	c #Conflicts:     450000 | #Constraints:      21180
122.18/122.66	c #Conflicts:     451000 | #Constraints:      22180
122.18/122.66	c #Conflicts:     452000 | #Constraints:      23180
122.18/122.66	c #Conflicts:     453000 | #Constraints:      24180
122.18/122.66	c #Conflicts:     454000 | #Constraints:      25180
122.18/122.66	c #Conflicts:     455000 | #Constraints:      26180
122.18/122.66	c #Conflicts:     456000 | #Constraints:      27180
122.18/122.66	c #Conflicts:     457000 | #Constraints:      28180
122.18/122.66	c #Conflicts:     458000 | #Constraints:      29180
122.18/122.66	c #Conflicts:     459000 | #Constraints:      30180
122.18/122.66	c #Conflicts:     460000 | #Constraints:      31180
122.18/122.66	c INPROCESSING
122.18/122.66	c GARBAGE COLLECT
122.18/122.66	c rational objective 0
126.47/126.96	c #Conflicts:     461000 | #Constraints:      18781
126.47/126.96	c #Conflicts:     462000 | #Constraints:      19781
126.47/126.96	c #Conflicts:     463000 | #Constraints:      20781
126.47/126.96	c #Conflicts:     464000 | #Constraints:      21781
126.47/126.96	c #Conflicts:     465000 | #Constraints:      22781
126.47/126.96	c #Conflicts:     466000 | #Constraints:      23781
126.47/126.96	c #Conflicts:     467000 | #Constraints:      24781
126.47/126.96	c #Conflicts:     468000 | #Constraints:      25781
126.47/126.96	c #Conflicts:     469000 | #Constraints:      26781
126.47/126.96	c #Conflicts:     470000 | #Constraints:      27781
126.47/126.96	c #Conflicts:     471000 | #Constraints:      28781
126.47/126.96	c #Conflicts:     472000 | #Constraints:      29781
126.47/126.96	c #Conflicts:     473000 | #Constraints:      30781
126.47/126.96	c #Conflicts:     474000 | #Constraints:      31781
126.47/126.96	c INPROCESSING
126.47/126.96	c GARBAGE COLLECT
126.47/126.96	c rational objective 0
130.76/131.27	c #Conflicts:     475000 | #Constraints:      19182
130.76/131.27	c #Conflicts:     476000 | #Constraints:      20182
130.76/131.27	c #Conflicts:     477000 | #Constraints:      21182
130.76/131.27	c #Conflicts:     478000 | #Constraints:      22182
130.76/131.27	c #Conflicts:     479000 | #Constraints:      23182
130.76/131.27	c #Conflicts:     480000 | #Constraints:      24182
130.76/131.27	c #Conflicts:     481000 | #Constraints:      25182
130.76/131.27	c #Conflicts:     482000 | #Constraints:      26182
130.76/131.27	c #Conflicts:     483000 | #Constraints:      27182
130.76/131.27	c #Conflicts:     484000 | #Constraints:      28182
130.76/131.27	c #Conflicts:     485000 | #Constraints:      29182
130.76/131.27	c #Conflicts:     486000 | #Constraints:      30182
130.76/131.27	c #Conflicts:     487000 | #Constraints:      31182
130.76/131.27	c #Conflicts:     488000 | #Constraints:      32182
130.76/131.27	c INPROCESSING
130.76/131.27	c GARBAGE COLLECT
130.76/131.27	c rational objective 0
135.24/135.78	c #Conflicts:     489000 | #Constraints:      19386
135.24/135.78	c #Conflicts:     490000 | #Constraints:      20386
135.24/135.78	c #Conflicts:     491000 | #Constraints:      21386
135.24/135.78	c #Conflicts:     492000 | #Constraints:      22386
135.24/135.78	c #Conflicts:     493000 | #Constraints:      23386
135.24/135.78	c #Conflicts:     494000 | #Constraints:      24386
135.24/135.78	c #Conflicts:     495000 | #Constraints:      25386
135.24/135.78	c #Conflicts:     496000 | #Constraints:      26386
135.24/135.78	c #Conflicts:     497000 | #Constraints:      27386
135.24/135.78	c #Conflicts:     498000 | #Constraints:      28386
135.24/135.78	c #Conflicts:     499000 | #Constraints:      29386
135.24/135.78	c #Conflicts:     500000 | #Constraints:      30386
135.24/135.78	c #Conflicts:     501000 | #Constraints:      31386
135.24/135.78	c #Conflicts:     502000 | #Constraints:      32386
135.24/135.78	c INPROCESSING
135.24/135.78	c GARBAGE COLLECT
135.24/135.78	c rational objective 0
137.84/138.38	c #Conflicts:     503000 | #Constraints:      19388
137.84/138.38	c #Conflicts:     504000 | #Constraints:      20388
137.84/138.38	c #Conflicts:     505000 | #Constraints:      21388
137.84/138.38	c #Conflicts:     506000 | #Constraints:      22388
137.84/138.38	c #Conflicts:     507000 | #Constraints:      23388
137.84/138.38	c #Conflicts:     508000 | #Constraints:      24388
137.84/138.38	c #Conflicts:     509000 | #Constraints:      25388
137.84/138.38	c #Conflicts:     510000 | #Constraints:      26388
137.84/138.38	c GLOBAL bounds - >= 0 @ 134.167
137.84/138.38	c GLOBAL bounds - >= 0 @ 134.167
137.84/138.38	c Conflict after adding objective-improving constraint
137.84/138.38	c cpu time 134.17 s
137.84/138.38	c deterministic time 2076020442 2.08e+09
137.84/138.38	c optimization time 0.001743 s
137.84/138.38	c total solve time 134.151 s
137.84/138.38	c core-guided solve time 0 s
137.84/138.38	c propagation time 119.465 s
137.84/138.38	c conflict analysis time 9.54805 s
137.84/138.38	c propagations 8298543
137.84/138.38	c resolve steps 3898352
137.84/138.38	c decisions 626613
137.84/138.38	c conflicts 510921
137.84/138.38	c restarts 1022
137.84/138.38	c inprocessing phases 62
137.84/138.38	c garbage collections 62 ,( 100.00 )
137.84/138.38	c input clauses 4476 ,( 99.78 )
137.84/138.38	c input cardinalities 10 ,( 0.22 )
137.84/138.38	c input general constraints 0 ,( 0.00 )
137.84/138.38	c input average constraint length 3.05
137.84/138.38	c input average constraint degree 1.02
137.84/138.38	c learned clauses 510624 ,( 99.92 )
137.84/138.38	c learned cardinalities 188 ,( 0.04 )
137.84/138.38	c learned general constraints 209 ,( 0.04 )
137.84/138.38	c learned average constraint length 62.70
137.84/138.38	c learned average constraint degree 41592.95
137.84/138.38	c watched  CF 32, 64, 128, Arb: 152 , 0 , 0 , 0
137.84/138.38	c counting CF 32, 64, 128, Arb: 58 , 0 , 0 , 0
137.84/138.38	c watched   constraints 152 ,( 72.73 ) 
137.84/138.38	c counting  constraints 57 ,( 27.27 ) 
137.84/138.38	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 385379793 , 293533 , 25101 ,( 14781 , 10320 )
137.84/138.38	c gcd simplifications 108
137.84/138.38	c detected cardinalities 22
137.84/138.38	c weakened non-implied lits 31174
137.84/138.38	c weakened non-implying lits 1
137.84/138.38	c original variables 245
137.84/138.38	c clausal propagations 7746803
137.84/138.38	c cardinality propagations 37498
137.84/138.38	c watched propagations 227
137.84/138.38	c counting propagations 2011
137.84/138.38	c watch lookups 385852641
137.84/138.38	c watch backjump lookups 0
137.84/138.38	c watch checks 1573686957
137.84/138.38	c propagation checks 9144684
137.84/138.38	c constraint additions 88498505
137.84/138.38	c trail pops 9436047
137.84/138.38	c formula constraints 4485
137.84/138.38	c learned constraints 510891
137.84/138.38	c bound constraints 0
137.84/138.38	c core-guided constraints 0
137.84/138.38	c encountered formula constraints 2390785
137.84/138.38	c encountered learned constraints 2016782
137.84/138.38	c encountered bound constraints 0
137.84/138.38	c encountered core-guided constraints 0
137.84/138.38	c LP total time 96.4912 s
137.84/138.38	c LP solve time 92.55 s
137.84/138.38	c LP constraints added 4635
137.84/138.38	c LP constraints removed 146
137.84/138.38	c LP pivots internal 476357
137.84/138.38	c LP pivots root 94
137.84/138.38	c LP calls 197647
137.84/138.38	c LP optimalities 197617
137.84/138.38	c LP no pivot count 59194
137.84/138.38	c LP infeasibilities 30
137.84/138.38	c LP valid Farkas constraints 30
137.84/138.38	c LP learned Farkas constraints 30
137.84/138.38	c LP basis resets 0
137.84/138.38	c LP cycling count 0
137.84/138.38	c LP singular count 0
137.84/138.38	c LP no primal count 0
137.84/138.38	c LP no farkas count 0
137.84/138.38	c LP other issue count 0
137.84/138.38	c LP Gomory cuts 70
137.84/138.38	c LP learned cuts 80
137.84/138.38	c LP deleted cuts 146
137.84/138.38	c LP encountered Gomory constraints 50
137.84/138.38	c LP encountered Farkas constraints 1529
137.84/138.38	c LP encountered learned Farkas constraints 97
137.84/138.38	c CG auxiliary variables introduced 2
137.84/138.38	c CG solutions found 1
137.84/138.38	c CG cores constructed 1
137.84/138.38	c CG core cardinality constraints returned 0
137.84/138.38	c CG unit cores 0
137.84/138.38	c CG single cores 0
137.84/138.38	c CG blocks removed during cardinality reduction 0
137.84/138.38	c CG first core best 0
137.84/138.38	c CG decision core best 0
137.84/138.38	c CG core reduction tie 0
137.84/138.38	c CG core degree average 0.00
137.84/138.38	c CG core slack average 0.00
137.84/138.38	c CG core upper bound improvements 0
137.84/138.38	c STR number of successful calls 0
137.84/138.38	c STR number of unsuccessful calls 0
137.84/138.38	c STR number of inconclusive calls 0
137.84/138.38	c STR number of successful attempts 0
137.84/138.38	c STR number of unsuccessful attempts 0
137.84/138.38	c STR number of inconclusive attempts 0
137.84/138.38	c STR average degree increase per successful call inf
137.84/138.38	c STR average degree increase per successful attempt inf
137.84/138.38	c STR total number of conflicts for successful attempts 0
137.84/138.38	c STR total number of conflicts for unsuccessful attempts 0
137.84/138.38	c STR total number of conflicts for inconclusive attempts 0
137.84/138.38	c STR average number of conflicts per successful attempt inf
137.84/138.38	c STR average number of conflicts per unsuccessful attempt inf
137.84/138.38	c STR average number of conflicts per inconclusive attempt inf
137.84/138.38	c AVG.sumWPerc 28.75 
137.84/138.38	c bigint constraints 0 
137.84/138.38	o 1
137.84/138.38	s OPTIMUM FOUND
137.92/138.41	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 -x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245

Verifier Data 

OK	1

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Thu Jul  3 12:07:10 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 1 <= obj <= 1
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 1 <= obj <= 1
--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: 63665 MiB (62760 MiB free)
  memory of node 1: 64507 MiB (63714 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100061 s]*
/proc/loadavg: 0.87 1.22 2.27 5/268 76895
/proc/meminfo: memFree=129509712/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=67812 memory=17508 CPUtime=0.08 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 2761 0 0 0 7 1 0 0 20 0 1 0 69322763 69439488 4377 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 16953 4377 2400 1147 0 4380 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72004 KiB
Current children cumulated memory: 20324 KiB

[startup+0.205766 s]*
/proc/loadavg: 0.87 1.22 2.27 5/268 76895
/proc/meminfo: memFree=129508912/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=67980 memory=17892 CPUtime=0.18 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 2851 0 0 0 17 1 0 0 20 0 1 0 69322763 69611520 4473 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 16995 4473 2400 1147 0 4422 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 72172 KiB
Current children cumulated memory: 20708 KiB

[startup+0.305186 s]*
/proc/loadavg: 0.87 1.22 2.27 5/268 76895
/proc/meminfo: memFree=129508912/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=67980 memory=18148 CPUtime=0.27 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 2909 0 0 0 26 1 0 0 20 0 1 0 69322763 69611520 4537 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 16995 4537 2400 1147 0 4422 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72172 KiB
Current children cumulated memory: 20964 KiB

[startup+0.700161 s]
/proc/loadavg: 0.87 1.22 2.27 5/268 76895
/proc/meminfo: memFree=129506896/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=68616 memory=19044 CPUtime=0.65 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 3130 0 0 0 62 3 0 0 20 0 1 0 69322763 70262784 4761 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 17154 4761 2400 1147 0 4581 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 72808 KiB
Current children cumulated memory: 21860 KiB

[startup+1.50016 s]
/proc/loadavg: 0.87 1.22 2.27 5/268 76895
/proc/meminfo: memFree=129504880/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=69020 memory=19556 CPUtime=1.44 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 3270 0 0 0 136 8 0 0 20 0 1 0 69322763 70676480 4889 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 17255 4889 2400 1147 0 4682 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 73212 KiB
Current children cumulated memory: 22372 KiB

[startup+3.1055 s]
/proc/loadavg: 1.12 1.27 2.28 5/268 76895
/proc/meminfo: memFree=129488504/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=70416 memory=21476 CPUtime=3.04 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 3746 0 0 0 290 14 0 0 20 0 1 0 69322763 72105984 5369 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 17604 5369 2400 1147 0 5031 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 74608 KiB
Current children cumulated memory: 24292 KiB

[startup+6.30014 s]
/proc/loadavg: 1.12 1.27 2.28 5/268 76895
/proc/meminfo: memFree=129485016/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=71992 memory=23396 CPUtime=6.23 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 4238 0 0 0 599 24 0 0 20 0 1 0 69322763 73719808 5849 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 17998 5849 2400 1147 0 5425 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 76184 KiB
Current children cumulated memory: 26212 KiB

[startup+12.7001 s]
/proc/loadavg: 1.57 1.36 2.30 5/268 76895
/proc/meminfo: memFree=129457516/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=77316 memory=31168 CPUtime=12.6 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 5646 0 0 0 1216 44 0 0 20 0 1 0 69322763 79171584 7792 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 19329 7792 2400 1147 0 6756 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 81508 KiB
Current children cumulated memory: 33984 KiB

[startup+25.5001 s]
/proc/loadavg: 2.01 1.46 2.32 5/269 76897
/proc/meminfo: memFree=129421396/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=83188 memory=36928 CPUtime=25.37 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 7104 0 0 0 2457 80 0 0 20 0 1 0 69322763 85184512 9232 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 20797 9232 2400 1147 0 8224 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 87380 KiB
Current children cumulated memory: 39744 KiB

[startup+51.1055 s]
/proc/loadavg: 2.69 1.66 2.37 5/269 76897
/proc/meminfo: memFree=129312820/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=104000 memory=57792 CPUtime=50.91 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 12303 0 0 0 4938 153 0 0 20 0 1 0 69322763 106496000 14448 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 26000 14448 2400 1147 0 13427 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 108192 KiB
Current children cumulated memory: 60608 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 2.07 2.47 5/269 76899
/proc/meminfo: memFree=129162412/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=143776 memory=96976 CPUtime=101.97 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 21613 0 0 0 9905 292 0 0 20 0 1 0 69322763 147226624 24244 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 35944 24244 2400 1147 0 23371 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 147968 KiB
Current children cumulated memory: 99792 KiB

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

# cumulated CPU time of all completed processes:  user=134.176 s, system=3.76265 s

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

[startup+102.4 s]
/proc/loadavg: 3.52 2.07 2.47 5/269 76899
/proc/meminfo: memFree=129162412/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=144208 memory=97360 CPUtime=102.07 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 21699 0 0 0 9915 292 0 0 20 0 1 0 69322763 147668992 24340 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 36052 24340 2400 1147 0 23479 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 148400 KiB
Current children cumulated memory: 100176 KiB

[startup+115.2 s]
/proc/loadavg: 3.67 2.15 2.49 5/269 76899
/proc/meminfo: memFree=129126600/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=149848 memory=102864 CPUtime=114.8 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 23084 0 0 0 11156 324 0 0 20 0 1 0 69322763 153444352 25716 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 37462 25716 2400 1147 0 24889 0
Current children cumulated CPU time: 114.8 s
Current children cumulated vsize: 154040 KiB
Current children cumulated memory: 105680 KiB

[startup+128 s]*
/proc/loadavg: 3.74 2.25 2.51 5/270 76901
/proc/meminfo: memFree=129073948/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=153736 memory=106832 CPUtime=127.57 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 24083 0 0 0 12403 354 0 0 20 0 1 0 69322763 157425664 26708 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 38434 26708 2400 1147 0 25861 0
Current children cumulated CPU time: 127.57 s
Current children cumulated vsize: 157928 KiB
Current children cumulated memory: 109648 KiB

[startup+134.4 s]
/proc/loadavg: 3.76 2.27 2.52 5/270 76901
/proc/meminfo: memFree=129050296/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=158156 memory=106960 CPUtime=133.95 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 24130 0 0 0 13029 366 0 0 20 0 1 0 69322763 161951744 26740 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 39539 26740 2400 1147 0 26966 0
Current children cumulated CPU time: 133.95 s
Current children cumulated vsize: 162348 KiB
Current children cumulated memory: 109776 KiB

[startup+136 s]*
/proc/loadavg: 3.76 2.27 2.52 5/270 76901
/proc/meminfo: memFree=129040216/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=159828 memory=108752 CPUtime=135.55 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 24576 0 0 0 13185 370 0 0 20 0 1 0 69322763 163663872 27188 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 39957 27188 2400 1147 0 27384 0
Current children cumulated CPU time: 135.55 s
Current children cumulated vsize: 164020 KiB
Current children cumulated memory: 111568 KiB

[startup+137.6 s]
/proc/loadavg: 3.78 2.30 2.53 5/270 76901
/proc/meminfo: memFree=129040468/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=159828 memory=108752 CPUtime=137.14 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 24576 0 0 0 13340 374 0 0 20 0 1 0 69322763 163663872 27188 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 39957 27188 2400 1147 0 27384 0
Current children cumulated CPU time: 137.14 s
Current children cumulated vsize: 164020 KiB
Current children cumulated memory: 111568 KiB

[startup+138 s]*
/proc/loadavg: 3.78 2.30 2.53 5/270 76901
/proc/meminfo: memFree=129040468/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=159828 memory=108752 CPUtime=137.54 cores=4,6
/proc/76895/stat : 76895 (roundingsat) R 76893 76893 76774 0 -1 4194304 24576 0 0 0 13379 375 0 0 20 0 1 0 69322763 163663872 27188 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 39957 27188 2400 1147 0 27384 0
Current children cumulated CPU time: 137.54 s
Current children cumulated vsize: 164020 KiB
Current children cumulated memory: 111568 KiB

[startup+138.4 s]
/proc/loadavg: 3.78 2.30 2.53 5/270 76901
/proc/meminfo: memFree=129040468/131249996 swapFree=33003468/33010684
[pid=76893] ppid=76890 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/76893/stat : 76893 (run-opt-log.sh) S 76890 76893 76774 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 69322762 4292608 704 18446744073709551615 94710894342144 94710895236677 140720589878864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94710895475728 94710895523472 94710897815552 140720589887777 140720589887972 140720589887972 140720589893574 0
/proc/76893/statm: 1048 704 672 219 0 110 0
[pid=76895] ppid=76893 vsize=159828 memory=108752 CPUtime=137.92 cores=4,6
/proc/76895/stat : 76895 (roundingsat) D 76893 76893 76774 0 -1 4194304 24576 0 0 0 13417 375 0 0 20 0 1 0 69322763 163663872 27188 18446744073709551615 4227072 8923433 140730512559168 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140730512566610 140730512566824 140730512566824 140730512572394 0
/proc/76895/statm: 39957 27188 2400 1147 0 27384 0
Current children cumulated CPU time: 137.92 s
Current children cumulated vsize: 164020 KiB
Current children cumulated memory: 111568 KiB

Child status: 0

Real time (s): 138.415
CPU time (s): 137.938
CPU user time (s): 134.176
CPU system time (s): 3.76265
CPU usage (%): 99.6556
Max. virtual memory (cumulated for all children) (KiB): 164020
Max. memory (cumulated for all children) (KiB): 111568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.176
system time used= 3.76265
maximum resident set size= 108752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 464
involuntary context switches= 317


# summary of solver processes directly reported to runsolver:
#   pid: 76893
#   total CPU time (s): 137.938
#   total CPU user time (s): 134.176
#   total CPU system time (s): 3.76265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.322987 second user time and 0.573454 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 11:54:11
IDJOB=4517583
IDBENCH=176126
IDSOLVER=3351
FILE ID=nodeC021/4517583-1751536451
RUNJOBID= nodeC021-1751536445-76785
SLURM_JOB_ID= 9598688
Free space on /tmp= 430932 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=10-t=9.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517583-1751536451/watcher-4517583-1751536451 -o /tmp/evaluation-result-4517583-1751536451/solver-4517583-1751536451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76785 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4517583-1751536451.opb PROOFDIR/proof-4517583-1751536451

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

MD5SUM BENCH= fc6c22edea63d6bf282da0f44295fc1a
RANDOM SEED=80665508

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.767
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.708
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3598.819
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.011
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.769
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.764
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3623.319
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3645.700
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129510468 kB
MemAvailable:   129493724 kB
Buffers:            1056 kB
Cached:           717520 kB
SwapCached:           32 kB
Active:           728336 kB
Inactive:         255132 kB
Active(anon):     237452 kB
Inactive(anon):    40944 kB
Active(file):     490884 kB
Inactive(file):   214188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34664 kB
Writeback:           144 kB
AnonPages:        268032 kB
Mapped:           113100 kB
Shmem:             13452 kB
KReclaimable:     234448 kB
Slab:             326568 kB
SReclaimable:     234448 kB
SUnreclaim:        92120 kB
KernelStack:        4320 kB
PageTables:         3756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     670292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430928 MiB
End job on nodeC021 at 2025-07-03 11:56:29