Trace number 4517724

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+pbsuma-opt 63f22adOPT6 87.8122 88.0548

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
MD5SUMbf082a5f314776883f0e32420df0edd0
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 benchmark6
Best CPU time to get the best result obtained on this benchmark21.8846
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables351
Total number of constraints12753
Number of constraints which are clauses12740
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint14
Number of terms in the objective function 13
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 13
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 15
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 ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4517724-1751529084.opb'
0.00/0.01	c 	read 0.40MB  (5.65ms)
0.00/0.01	c	 [cnf: #variables 351 #clauses 12754 #duplicates 0 #arr 38597]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 8] (2.36ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	candidate Johnson 13, ar 2
0.00/0.07	c 	 found row 13x28, generating row predicate
0.00/0.07	c 	 found row 7x26, generating row predicate
0.00/0.07	c 	 found Johnson 13, ar 2, block_sz 40
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	 (55.40ms)
0.00/0.07	c 
0.00/0.07	c detect symmetries on remainder
0.00/0.07	c 	[graph: #vertices 14145 #edges 79274]
0.00/0.07	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07	c 	 [group: #symmetries 1.00*10^0 #generators 0] (1.96ms)
0.00/0.07	c 
0.00/0.07	c finalize break order and special generators
0.00/0.07	c 
0.00/0.07	c generation finished
0.00/0.07	c 	[sbp: #constraints 3216 #add_vars 1062]
0.00/0.07	c 
0.00/0.07	c write result to 'HOME/instance-4517724-1751529084.opb.pre'
0.00/0.07	c 	wrote 0.50MB (1.27ms)
0.00/0.07	c ------------------------------------------------------------------
0.00/0.07	c                  55.40ms 82.90% detect_special
0.00/0.07	c                   5.65ms  8.45% parse
0.00/0.07	c                   2.36ms  3.53% approx_orbits
0.00/0.07	c                   1.96ms  2.94% detect_generic
0.00/0.07	c                   1.27ms  1.90% output
0.00/0.07	c                   0.18ms  0.27% other
0.00/0.07	c                   0.01ms  0.02% finalize_order
0.00/0.07	c         ───────────────────────────────────────────────
0.00/0.07	c                  66.83ms   100% total
0.00/0.07	c ------------------------------------------------------------------
0.00/0.09	c RoundingSat 2
0.00/0.09	c branch pb25
0.00/0.09	c commit 63f22ad
0.06/0.15	c #variables 1413 #constraints 15969
0.06/0.15	c objective is ce32 
0.06/0.16	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.16	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.16	c bounds - >= 0 @ 0.050604
0.16/0.25	c rational objective 0
0.26/0.34	c bounds 12 >= 0 @ 0.222171
0.36/0.41	c bounds 12 >= 1 @ 0.288384
0.36/0.41	c bounds 11 >= 1 @ 0.289184
0.36/0.41	c bounds 10 >= 1 @ 0.289788
0.36/0.41	c bounds 9 >= 1 @ 0.290005
0.36/0.41	c bounds 8 >= 1 @ 0.290005
0.36/0.41	c bounds 7 >= 1 @ 0.290584
0.36/0.41	c bounds 6 >= 1 @ 0.291003
0.46/0.57	c #Conflicts:       1000 | #Constraints:      16980
0.46/0.57	c bounds 6 >= 2 @ 0.436929
0.65/0.71	c #Conflicts:       2000 | #Constraints:      17984
0.65/0.71	c INPROCESSING
0.65/0.71	c GARBAGE COLLECT
0.65/0.71	c rational objective 2
1.05/1.12	c #Conflicts:       3000 | #Constraints:      17001
1.05/1.12	c #Conflicts:       4000 | #Constraints:      18001
1.05/1.12	c INPROCESSING
1.05/1.12	c GARBAGE COLLECT
1.05/1.12	c rational objective 2
1.35/1.48	c #Conflicts:       5000 | #Constraints:      12663
1.35/1.48	c #Conflicts:       6000 | #Constraints:      13663
1.35/1.48	c INPROCESSING
1.35/1.48	c GARBAGE COLLECT
1.35/1.48	c rational objective 2
1.84/1.92	c #Conflicts:       7000 | #Constraints:      12802
1.84/1.92	c #Conflicts:       8000 | #Constraints:      13802
1.84/1.92	c #Conflicts:       9000 | #Constraints:      14802
1.84/1.92	c INPROCESSING
1.84/1.92	c GARBAGE COLLECT
1.84/1.92	c rational objective 2
2.34/2.42	c #Conflicts:      10000 | #Constraints:      13418
2.34/2.42	c #Conflicts:      11000 | #Constraints:      14418
2.34/2.42	c #Conflicts:      12000 | #Constraints:      15418
2.34/2.42	c INPROCESSING
2.34/2.42	c GARBAGE COLLECT
2.34/2.42	c rational objective 2
2.74/2.85	c #Conflicts:      13000 | #Constraints:      13909
2.74/2.85	c #Conflicts:      14000 | #Constraints:      14909
2.74/2.85	c #Conflicts:      15000 | #Constraints:      15909
2.74/2.85	c INPROCESSING
2.74/2.85	c GARBAGE COLLECT
2.74/2.85	c rational objective 2
3.24/3.38	c #Conflicts:      16000 | #Constraints:      14162
3.24/3.38	c #Conflicts:      17000 | #Constraints:      15162
3.24/3.38	c #Conflicts:      18000 | #Constraints:      16162
3.24/3.38	c INPROCESSING
3.24/3.38	c GARBAGE COLLECT
3.24/3.38	c rational objective 2
3.84/3.94	c #Conflicts:      19000 | #Constraints:      14189
3.84/3.94	c #Conflicts:      20000 | #Constraints:      15189
3.84/3.94	c #Conflicts:      21000 | #Constraints:      16189
3.84/3.94	c INPROCESSING
3.84/3.94	c GARBAGE COLLECT
3.84/3.94	c rational objective 2
4.44/4.57	c #Conflicts:      22000 | #Constraints:      14011
4.44/4.57	c #Conflicts:      23000 | #Constraints:      15011
4.44/4.57	c #Conflicts:      24000 | #Constraints:      16011
4.44/4.57	c #Conflicts:      25000 | #Constraints:      17011
4.44/4.57	c INPROCESSING
4.44/4.57	c GARBAGE COLLECT
4.44/4.57	c rational objective 2
5.24/5.32	c #Conflicts:      26000 | #Constraints:      14619
5.24/5.32	c #Conflicts:      27000 | #Constraints:      15619
5.24/5.32	c #Conflicts:      28000 | #Constraints:      16619
5.24/5.32	c #Conflicts:      29000 | #Constraints:      17619
5.24/5.32	c INPROCESSING
5.24/5.32	c GARBAGE COLLECT
5.24/5.32	c rational objective 2
5.84/5.97	c #Conflicts:      30000 | #Constraints:      15034
5.84/5.97	c #Conflicts:      31000 | #Constraints:      16034
5.84/5.97	c #Conflicts:      32000 | #Constraints:      17034
5.84/5.97	c #Conflicts:      33000 | #Constraints:      18034
5.84/5.97	c INPROCESSING
5.84/5.97	c GARBAGE COLLECT
5.84/5.97	c rational objective 2
6.74/6.82	c #Conflicts:      34000 | #Constraints:      15230
6.74/6.82	c #Conflicts:      35000 | #Constraints:      16230
6.74/6.82	c #Conflicts:      36000 | #Constraints:      17230
6.74/6.82	c #Conflicts:      37000 | #Constraints:      18230
6.74/6.82	c INPROCESSING
6.74/6.82	c GARBAGE COLLECT
6.74/6.82	c rational objective 2
7.53/7.67	c #Conflicts:      38000 | #Constraints:      15244
7.53/7.67	c #Conflicts:      39000 | #Constraints:      16244
7.53/7.67	c #Conflicts:      40000 | #Constraints:      17244
7.53/7.67	c #Conflicts:      41000 | #Constraints:      18244
7.53/7.67	c INPROCESSING
7.53/7.67	c GARBAGE COLLECT
7.53/7.67	c rational objective 2
8.43/8.55	c #Conflicts:      42000 | #Constraints:      15045
8.43/8.55	c #Conflicts:      43000 | #Constraints:      16045
8.43/8.55	c #Conflicts:      44000 | #Constraints:      17045
8.43/8.55	c #Conflicts:      45000 | #Constraints:      18045
8.43/8.55	c #Conflicts:      46000 | #Constraints:      19045
8.43/8.55	c INPROCESSING
8.43/8.55	c GARBAGE COLLECT
8.43/8.55	c rational objective 2
9.63/9.72	c #Conflicts:      47000 | #Constraints:      15651
9.63/9.72	c #Conflicts:      48000 | #Constraints:      16651
9.63/9.72	c #Conflicts:      49000 | #Constraints:      17651
9.63/9.72	c #Conflicts:      50000 | #Constraints:      18651
9.63/9.72	c #Conflicts:      51000 | #Constraints:      19651
9.63/9.72	c INPROCESSING
9.63/9.72	c GARBAGE COLLECT
9.63/9.72	c rational objective 2
10.53/10.64	c #Conflicts:      52000 | #Constraints:      16058
10.53/10.64	c #Conflicts:      53000 | #Constraints:      17058
10.53/10.64	c #Conflicts:      54000 | #Constraints:      18058
10.53/10.64	c #Conflicts:      55000 | #Constraints:      19058
10.53/10.64	c #Conflicts:      56000 | #Constraints:      20058
10.53/10.64	c INPROCESSING
10.53/10.64	c GARBAGE COLLECT
10.53/10.64	c rational objective 2
11.43/11.52	c #Conflicts:      57000 | #Constraints:      16249
11.43/11.52	c #Conflicts:      58000 | #Constraints:      17249
11.43/11.52	c #Conflicts:      59000 | #Constraints:      18249
11.43/11.52	c #Conflicts:      60000 | #Constraints:      19249
11.43/11.52	c #Conflicts:      61000 | #Constraints:      20249
11.43/11.52	c INPROCESSING
11.43/11.52	c GARBAGE COLLECT
11.43/11.52	c rational objective 2
11.82/11.90	c #Conflicts:      62000 | #Constraints:      16248
11.82/11.90	c bounds 6 >= 3 @ 11.4263
12.32/12.45	c #Conflicts:      63000 | #Constraints:      17251
12.32/12.45	c #Conflicts:      64000 | #Constraints:      18251
12.32/12.45	c #Conflicts:      65000 | #Constraints:      19251
12.32/12.45	c #Conflicts:      66000 | #Constraints:      20251
12.32/12.45	c INPROCESSING
12.32/12.45	c GARBAGE COLLECT
12.32/12.45	c rational objective 3
13.22/13.35	c #Conflicts:      67000 | #Constraints:      14982
13.22/13.35	c #Conflicts:      68000 | #Constraints:      15982
13.22/13.35	c #Conflicts:      69000 | #Constraints:      16982
13.22/13.35	c #Conflicts:      70000 | #Constraints:      17982
13.22/13.35	c #Conflicts:      71000 | #Constraints:      18982
13.22/13.35	c #Conflicts:      72000 | #Constraints:      19982
13.22/13.35	c INPROCESSING
13.22/13.35	c GARBAGE COLLECT
13.22/13.35	c rational objective 3
14.32/14.44	c #Conflicts:      73000 | #Constraints:      16000
14.32/14.44	c #Conflicts:      74000 | #Constraints:      17000
14.32/14.44	c #Conflicts:      75000 | #Constraints:      18000
14.32/14.44	c #Conflicts:      76000 | #Constraints:      19000
14.32/14.44	c #Conflicts:      77000 | #Constraints:      20000
14.32/14.44	c #Conflicts:      78000 | #Constraints:      21000
14.32/14.44	c INPROCESSING
14.32/14.44	c GARBAGE COLLECT
14.32/14.44	c rational objective 3
15.31/15.43	c #Conflicts:      79000 | #Constraints:      16626
15.31/15.43	c #Conflicts:      80000 | #Constraints:      17626
15.31/15.43	c #Conflicts:      81000 | #Constraints:      18626
15.31/15.43	c #Conflicts:      82000 | #Constraints:      19626
15.31/15.43	c #Conflicts:      83000 | #Constraints:      20626
15.31/15.43	c #Conflicts:      84000 | #Constraints:      21626
15.31/15.43	c INPROCESSING
15.31/15.43	c GARBAGE COLLECT
15.31/15.43	c rational objective 3
16.61/16.74	c #Conflicts:      85000 | #Constraints:      16913
16.61/16.74	c #Conflicts:      86000 | #Constraints:      17913
16.61/16.74	c #Conflicts:      87000 | #Constraints:      18913
16.61/16.74	c #Conflicts:      88000 | #Constraints:      19913
16.61/16.74	c #Conflicts:      89000 | #Constraints:      20913
16.61/16.74	c #Conflicts:      90000 | #Constraints:      21913
16.61/16.74	c INPROCESSING
16.61/16.74	c GARBAGE COLLECT
16.61/16.74	c rational objective 3
17.61/17.79	c #Conflicts:      91000 | #Constraints:      16975
17.61/17.79	c #Conflicts:      92000 | #Constraints:      17975
17.61/17.79	c #Conflicts:      93000 | #Constraints:      18975
17.61/17.79	c #Conflicts:      94000 | #Constraints:      19975
17.61/17.79	c #Conflicts:      95000 | #Constraints:      20975
17.61/17.79	c #Conflicts:      96000 | #Constraints:      21975
17.61/17.79	c INPROCESSING
17.61/17.79	c GARBAGE COLLECT
17.61/17.79	c rational objective 3
19.10/19.23	c #Conflicts:      97000 | #Constraints:      16802
19.10/19.23	c #Conflicts:      98000 | #Constraints:      17802
19.10/19.23	c #Conflicts:      99000 | #Constraints:      18802
19.10/19.23	c #Conflicts:     100000 | #Constraints:      19802
19.10/19.23	c #Conflicts:     101000 | #Constraints:      20802
19.10/19.23	c #Conflicts:     102000 | #Constraints:      21802
19.10/19.23	c #Conflicts:     103000 | #Constraints:      22802
19.10/19.23	c INPROCESSING
19.10/19.23	c GARBAGE COLLECT
19.10/19.23	c rational objective 3
20.31/20.42	c #Conflicts:     104000 | #Constraints:      17422
20.31/20.42	c #Conflicts:     105000 | #Constraints:      18422
20.31/20.42	c #Conflicts:     106000 | #Constraints:      19422
20.31/20.42	c #Conflicts:     107000 | #Constraints:      20422
20.31/20.42	c #Conflicts:     108000 | #Constraints:      21422
20.31/20.42	c #Conflicts:     109000 | #Constraints:      22422
20.31/20.42	c #Conflicts:     110000 | #Constraints:      23422
20.31/20.42	c INPROCESSING
20.31/20.42	c GARBAGE COLLECT
20.31/20.42	c rational objective 3
21.60/21.70	c #Conflicts:     111000 | #Constraints:      17810
21.60/21.70	c #Conflicts:     112000 | #Constraints:      18810
21.60/21.70	c #Conflicts:     113000 | #Constraints:      19810
21.60/21.70	c #Conflicts:     114000 | #Constraints:      20810
21.60/21.70	c #Conflicts:     115000 | #Constraints:      21810
21.60/21.70	c #Conflicts:     116000 | #Constraints:      22810
21.60/21.70	c #Conflicts:     117000 | #Constraints:      23810
21.60/21.70	c INPROCESSING
21.60/21.70	c GARBAGE COLLECT
21.60/21.70	c rational objective 3
22.10/22.22	c #Conflicts:     118000 | #Constraints:      18025
22.10/22.22	c #Conflicts:     119000 | #Constraints:      19025
22.10/22.22	c bounds 6 >= 4 @ 21.4286
23.01/23.15	c #Conflicts:     120000 | #Constraints:      20028
23.01/23.15	c #Conflicts:     121000 | #Constraints:      21028
23.01/23.15	c #Conflicts:     122000 | #Constraints:      22028
23.01/23.15	c #Conflicts:     123000 | #Constraints:      23028
23.01/23.15	c #Conflicts:     124000 | #Constraints:      24028
23.01/23.15	c INPROCESSING
23.01/23.15	c GARBAGE COLLECT
23.01/23.15	c rational objective 4
24.29/24.45	c #Conflicts:     125000 | #Constraints:      18040
24.29/24.45	c #Conflicts:     126000 | #Constraints:      19040
24.29/24.45	c #Conflicts:     127000 | #Constraints:      20040
24.29/24.45	c #Conflicts:     128000 | #Constraints:      21040
24.29/24.45	c #Conflicts:     129000 | #Constraints:      22040
24.29/24.45	c #Conflicts:     130000 | #Constraints:      23040
24.29/24.45	c #Conflicts:     131000 | #Constraints:      24040
24.29/24.45	c INPROCESSING
24.29/24.45	c GARBAGE COLLECT
24.29/24.45	c rational objective 4
25.79/25.97	c #Conflicts:     132000 | #Constraints:      17841
25.79/25.97	c #Conflicts:     133000 | #Constraints:      18841
25.79/25.97	c #Conflicts:     134000 | #Constraints:      19841
25.79/25.97	c #Conflicts:     135000 | #Constraints:      20841
25.79/25.97	c #Conflicts:     136000 | #Constraints:      21841
25.79/25.97	c #Conflicts:     137000 | #Constraints:      22841
25.79/25.97	c #Conflicts:     138000 | #Constraints:      23841
25.79/25.97	c #Conflicts:     139000 | #Constraints:      24841
25.79/25.97	c INPROCESSING
25.79/25.97	c GARBAGE COLLECT
25.79/25.97	c rational objective 4
27.19/27.31	c #Conflicts:     140000 | #Constraints:      18446
27.19/27.31	c #Conflicts:     141000 | #Constraints:      19446
27.19/27.31	c #Conflicts:     142000 | #Constraints:      20446
27.19/27.31	c #Conflicts:     143000 | #Constraints:      21446
27.19/27.31	c #Conflicts:     144000 | #Constraints:      22446
27.19/27.31	c #Conflicts:     145000 | #Constraints:      23446
27.19/27.31	c #Conflicts:     146000 | #Constraints:      24446
27.19/27.31	c #Conflicts:     147000 | #Constraints:      25446
27.19/27.31	c INPROCESSING
27.19/27.31	c GARBAGE COLLECT
27.19/27.31	c rational objective 4
28.78/28.96	c #Conflicts:     148000 | #Constraints:      18839
28.78/28.96	c #Conflicts:     149000 | #Constraints:      19839
28.78/28.96	c #Conflicts:     150000 | #Constraints:      20839
28.78/28.96	c #Conflicts:     151000 | #Constraints:      21839
28.78/28.96	c #Conflicts:     152000 | #Constraints:      22839
28.78/28.96	c #Conflicts:     153000 | #Constraints:      23839
28.78/28.96	c #Conflicts:     154000 | #Constraints:      24839
28.78/28.96	c #Conflicts:     155000 | #Constraints:      25839
28.78/28.96	c INPROCESSING
28.78/28.96	c GARBAGE COLLECT
28.78/28.96	c rational objective 4
30.28/30.44	c #Conflicts:     156000 | #Constraints:      19048
30.28/30.44	c #Conflicts:     157000 | #Constraints:      20048
30.28/30.44	c #Conflicts:     158000 | #Constraints:      21048
30.28/30.44	c #Conflicts:     159000 | #Constraints:      22048
30.28/30.44	c #Conflicts:     160000 | #Constraints:      23048
30.28/30.44	c #Conflicts:     161000 | #Constraints:      24048
30.28/30.44	c #Conflicts:     162000 | #Constraints:      25048
30.28/30.44	c #Conflicts:     163000 | #Constraints:      26048
30.28/30.44	c INPROCESSING
30.28/30.44	c GARBAGE COLLECT
30.28/30.44	c rational objective 4
31.98/32.14	c #Conflicts:     164000 | #Constraints:      19056
31.98/32.14	c #Conflicts:     165000 | #Constraints:      20056
31.98/32.14	c #Conflicts:     166000 | #Constraints:      21056
31.98/32.14	c #Conflicts:     167000 | #Constraints:      22056
31.98/32.14	c #Conflicts:     168000 | #Constraints:      23056
31.98/32.14	c #Conflicts:     169000 | #Constraints:      24056
31.98/32.14	c #Conflicts:     170000 | #Constraints:      25056
31.98/32.14	c #Conflicts:     171000 | #Constraints:      26056
31.98/32.14	c INPROCESSING
31.98/32.14	c GARBAGE COLLECT
31.98/32.14	c rational objective 4
33.58/33.78	c #Conflicts:     172000 | #Constraints:      18146
33.58/33.78	c #Conflicts:     173000 | #Constraints:      19146
33.58/33.78	c #Conflicts:     174000 | #Constraints:      20146
33.58/33.78	c #Conflicts:     175000 | #Constraints:      21146
33.58/33.78	c #Conflicts:     176000 | #Constraints:      22146
33.58/33.78	c #Conflicts:     177000 | #Constraints:      23146
33.58/33.78	c #Conflicts:     178000 | #Constraints:      24146
33.58/33.78	c #Conflicts:     179000 | #Constraints:      25146
33.58/33.78	c #Conflicts:     180000 | #Constraints:      26146
33.58/33.78	c INPROCESSING
33.58/33.78	c GARBAGE COLLECT
33.58/33.78	c rational objective 4
35.67/35.86	c #Conflicts:     181000 | #Constraints:      18912
35.67/35.86	c #Conflicts:     182000 | #Constraints:      19912
35.67/35.86	c #Conflicts:     183000 | #Constraints:      20912
35.67/35.86	c #Conflicts:     184000 | #Constraints:      21912
35.67/35.86	c #Conflicts:     185000 | #Constraints:      22912
35.67/35.86	c #Conflicts:     186000 | #Constraints:      23912
35.67/35.86	c #Conflicts:     187000 | #Constraints:      24912
35.67/35.86	c #Conflicts:     188000 | #Constraints:      25912
35.67/35.86	c #Conflicts:     189000 | #Constraints:      26912
35.67/35.86	c INPROCESSING
35.67/35.86	c GARBAGE COLLECT
35.67/35.86	c rational objective 4
37.36/37.53	c #Conflicts:     190000 | #Constraints:      19400
37.36/37.53	c #Conflicts:     191000 | #Constraints:      20400
37.36/37.53	c #Conflicts:     192000 | #Constraints:      21400
37.36/37.53	c #Conflicts:     193000 | #Constraints:      22400
37.36/37.53	c #Conflicts:     194000 | #Constraints:      23400
37.36/37.53	c #Conflicts:     195000 | #Constraints:      24400
37.36/37.53	c #Conflicts:     196000 | #Constraints:      25400
37.36/37.53	c #Conflicts:     197000 | #Constraints:      26400
37.36/37.53	c #Conflicts:     198000 | #Constraints:      27400
37.36/37.53	c INPROCESSING
37.36/37.53	c GARBAGE COLLECT
37.36/37.53	c rational objective 4
39.46/39.67	c #Conflicts:     199000 | #Constraints:      19631
39.46/39.67	c #Conflicts:     200000 | #Constraints:      20631
39.46/39.67	c #Conflicts:     201000 | #Constraints:      21631
39.46/39.67	c #Conflicts:     202000 | #Constraints:      22631
39.46/39.67	c #Conflicts:     203000 | #Constraints:      23631
39.46/39.67	c #Conflicts:     204000 | #Constraints:      24631
39.46/39.67	c #Conflicts:     205000 | #Constraints:      25631
39.46/39.67	c #Conflicts:     206000 | #Constraints:      26631
39.46/39.67	c #Conflicts:     207000 | #Constraints:      27631
39.46/39.67	c INPROCESSING
39.46/39.67	c GARBAGE COLLECT
39.46/39.67	c rational objective 4
41.45/41.61	c #Conflicts:     208000 | #Constraints:      19672
41.45/41.61	c #Conflicts:     209000 | #Constraints:      20672
41.45/41.61	c #Conflicts:     210000 | #Constraints:      21672
41.45/41.61	c #Conflicts:     211000 | #Constraints:      22672
41.45/41.61	c #Conflicts:     212000 | #Constraints:      23672
41.45/41.61	c #Conflicts:     213000 | #Constraints:      24672
41.45/41.61	c #Conflicts:     214000 | #Constraints:      25672
41.45/41.61	c #Conflicts:     215000 | #Constraints:      26672
41.45/41.61	c #Conflicts:     216000 | #Constraints:      27672
41.45/41.61	c INPROCESSING
41.45/41.61	c GARBAGE COLLECT
41.45/41.61	c rational objective 4
43.25/43.47	c #Conflicts:     217000 | #Constraints:      19472
43.25/43.47	c #Conflicts:     218000 | #Constraints:      20472
43.25/43.47	c #Conflicts:     219000 | #Constraints:      21472
43.25/43.47	c #Conflicts:     220000 | #Constraints:      22472
43.25/43.47	c #Conflicts:     221000 | #Constraints:      23472
43.25/43.47	c #Conflicts:     222000 | #Constraints:      24472
43.25/43.47	c #Conflicts:     223000 | #Constraints:      25472
43.25/43.47	c #Conflicts:     224000 | #Constraints:      26472
43.25/43.47	c #Conflicts:     225000 | #Constraints:      27472
43.25/43.47	c #Conflicts:     226000 | #Constraints:      28472
43.25/43.47	c INPROCESSING
43.25/43.47	c GARBAGE COLLECT
43.25/43.47	c rational objective 4
45.54/45.75	c #Conflicts:     227000 | #Constraints:      20081
45.54/45.75	c #Conflicts:     228000 | #Constraints:      21081
45.54/45.75	c #Conflicts:     229000 | #Constraints:      22081
45.54/45.75	c #Conflicts:     230000 | #Constraints:      23081
45.54/45.75	c #Conflicts:     231000 | #Constraints:      24081
45.54/45.75	c #Conflicts:     232000 | #Constraints:      25081
45.54/45.75	c #Conflicts:     233000 | #Constraints:      26081
45.54/45.75	c #Conflicts:     234000 | #Constraints:      27081
45.54/45.75	c #Conflicts:     235000 | #Constraints:      28081
45.54/45.75	c #Conflicts:     236000 | #Constraints:      29081
45.54/45.75	c INPROCESSING
45.54/45.75	c GARBAGE COLLECT
45.54/45.75	c rational objective 4
47.53/47.71	c #Conflicts:     237000 | #Constraints:      20484
47.53/47.71	c #Conflicts:     238000 | #Constraints:      21484
47.53/47.71	c #Conflicts:     239000 | #Constraints:      22484
47.53/47.71	c #Conflicts:     240000 | #Constraints:      23484
47.53/47.71	c #Conflicts:     241000 | #Constraints:      24484
47.53/47.71	c #Conflicts:     242000 | #Constraints:      25484
47.53/47.71	c #Conflicts:     243000 | #Constraints:      26484
47.53/47.71	c #Conflicts:     244000 | #Constraints:      27484
47.53/47.71	c #Conflicts:     245000 | #Constraints:      28484
47.53/47.71	c #Conflicts:     246000 | #Constraints:      29484
47.53/47.71	c INPROCESSING
47.53/47.71	c GARBAGE COLLECT
47.53/47.71	c rational objective 4
49.93/50.12	c #Conflicts:     247000 | #Constraints:      20673
49.93/50.12	c #Conflicts:     248000 | #Constraints:      21673
49.93/50.12	c #Conflicts:     249000 | #Constraints:      22673
49.93/50.12	c #Conflicts:     250000 | #Constraints:      23673
49.93/50.12	c #Conflicts:     251000 | #Constraints:      24673
49.93/50.12	c #Conflicts:     252000 | #Constraints:      25673
49.93/50.12	c #Conflicts:     253000 | #Constraints:      26673
49.93/50.12	c #Conflicts:     254000 | #Constraints:      27673
49.93/50.12	c #Conflicts:     255000 | #Constraints:      28673
49.93/50.12	c #Conflicts:     256000 | #Constraints:      29673
49.93/50.12	c INPROCESSING
49.93/50.12	c GARBAGE COLLECT
49.93/50.12	c rational objective 4
52.12/52.30	c #Conflicts:     257000 | #Constraints:      20685
52.12/52.30	c #Conflicts:     258000 | #Constraints:      21685
52.12/52.30	c #Conflicts:     259000 | #Constraints:      22685
52.12/52.30	c #Conflicts:     260000 | #Constraints:      23685
52.12/52.30	c #Conflicts:     261000 | #Constraints:      24685
52.12/52.30	c #Conflicts:     262000 | #Constraints:      25685
52.12/52.30	c #Conflicts:     263000 | #Constraints:      26685
52.12/52.30	c #Conflicts:     264000 | #Constraints:      27685
52.12/52.30	c #Conflicts:     265000 | #Constraints:      28685
52.12/52.30	c #Conflicts:     266000 | #Constraints:      29685
52.12/52.30	c INPROCESSING
52.12/52.30	c GARBAGE COLLECT
52.12/52.30	c rational objective 4
54.22/54.42	c #Conflicts:     267000 | #Constraints:      20482
54.22/54.42	c #Conflicts:     268000 | #Constraints:      21482
54.22/54.42	c #Conflicts:     269000 | #Constraints:      22482
54.22/54.42	c #Conflicts:     270000 | #Constraints:      23482
54.22/54.42	c #Conflicts:     271000 | #Constraints:      24482
54.22/54.42	c #Conflicts:     272000 | #Constraints:      25482
54.22/54.42	c #Conflicts:     273000 | #Constraints:      26482
54.22/54.42	c #Conflicts:     274000 | #Constraints:      27482
54.22/54.42	c bounds 6 >= 5 @ 52.7378
54.72/54.97	c #Conflicts:     275000 | #Constraints:      28483
54.72/54.97	c #Conflicts:     276000 | #Constraints:      29483
54.72/54.97	c #Conflicts:     277000 | #Constraints:      30483
54.72/54.97	c INPROCESSING
54.72/54.97	c GARBAGE COLLECT
54.72/54.97	c rational objective 5
56.92/57.18	c #Conflicts:     278000 | #Constraints:      16446
56.92/57.18	c #Conflicts:     279000 | #Constraints:      17446
56.92/57.18	c #Conflicts:     280000 | #Constraints:      18446
56.92/57.18	c #Conflicts:     281000 | #Constraints:      19446
56.92/57.18	c #Conflicts:     282000 | #Constraints:      20446
56.92/57.18	c #Conflicts:     283000 | #Constraints:      21446
56.92/57.18	c #Conflicts:     284000 | #Constraints:      22446
56.92/57.18	c #Conflicts:     285000 | #Constraints:      23446
56.92/57.18	c #Conflicts:     286000 | #Constraints:      24446
56.92/57.18	c #Conflicts:     287000 | #Constraints:      25446
56.92/57.18	c #Conflicts:     288000 | #Constraints:      26446
56.92/57.18	c INPROCESSING
56.92/57.18	c GARBAGE COLLECT
56.92/57.18	c rational objective 5
59.31/59.50	c #Conflicts:     289000 | #Constraints:      18937
59.31/59.50	c #Conflicts:     290000 | #Constraints:      19937
59.31/59.50	c #Conflicts:     291000 | #Constraints:      20937
59.31/59.50	c #Conflicts:     292000 | #Constraints:      21937
59.31/59.50	c #Conflicts:     293000 | #Constraints:      22937
59.31/59.50	c #Conflicts:     294000 | #Constraints:      23937
59.31/59.50	c #Conflicts:     295000 | #Constraints:      24937
59.31/59.50	c #Conflicts:     296000 | #Constraints:      25937
59.31/59.50	c #Conflicts:     297000 | #Constraints:      26937
59.31/59.50	c #Conflicts:     298000 | #Constraints:      27937
59.31/59.50	c #Conflicts:     299000 | #Constraints:      28937
59.31/59.50	c INPROCESSING
59.31/59.50	c GARBAGE COLLECT
59.31/59.50	c rational objective 5
61.91/62.13	c #Conflicts:     300000 | #Constraints:      20136
61.91/62.13	c #Conflicts:     301000 | #Constraints:      21136
61.91/62.13	c #Conflicts:     302000 | #Constraints:      22136
61.91/62.13	c #Conflicts:     303000 | #Constraints:      23136
61.91/62.13	c #Conflicts:     304000 | #Constraints:      24136
61.91/62.13	c #Conflicts:     305000 | #Constraints:      25136
61.91/62.13	c #Conflicts:     306000 | #Constraints:      26136
61.91/62.13	c #Conflicts:     307000 | #Constraints:      27136
61.91/62.13	c #Conflicts:     308000 | #Constraints:      28136
61.91/62.13	c #Conflicts:     309000 | #Constraints:      29136
61.91/62.13	c #Conflicts:     310000 | #Constraints:      30136
61.91/62.13	c INPROCESSING
61.91/62.13	c GARBAGE COLLECT
61.91/62.13	c rational objective 5
64.50/64.71	c #Conflicts:     311000 | #Constraints:      20667
64.50/64.71	c #Conflicts:     312000 | #Constraints:      21667
64.50/64.71	c #Conflicts:     313000 | #Constraints:      22667
64.50/64.71	c #Conflicts:     314000 | #Constraints:      23667
64.50/64.71	c #Conflicts:     315000 | #Constraints:      24669
64.50/64.71	c #Conflicts:     316000 | #Constraints:      25669
64.50/64.71	c #Conflicts:     317000 | #Constraints:      26670
64.50/64.71	c #Conflicts:     318000 | #Constraints:      27670
64.50/64.71	c #Conflicts:     319000 | #Constraints:      28670
64.50/64.71	c #Conflicts:     320000 | #Constraints:      29670
64.50/64.71	c #Conflicts:     321000 | #Constraints:      30671
64.50/64.71	c INPROCESSING
64.50/64.71	c GARBAGE COLLECT
64.50/64.71	c rational objective 5
66.89/67.18	c #Conflicts:     322000 | #Constraints:      20744
66.89/67.18	c #Conflicts:     323000 | #Constraints:      21744
66.89/67.18	c #Conflicts:     324000 | #Constraints:      22744
66.89/67.18	c #Conflicts:     325000 | #Constraints:      23744
66.89/67.18	c #Conflicts:     326000 | #Constraints:      24745
66.89/67.18	c #Conflicts:     327000 | #Constraints:      25747
66.89/67.18	c #Conflicts:     328000 | #Constraints:      26748
66.89/67.18	c #Conflicts:     329000 | #Constraints:      27750
66.89/67.18	c #Conflicts:     330000 | #Constraints:      28750
66.89/67.18	c #Conflicts:     331000 | #Constraints:      29750
66.89/67.18	c #Conflicts:     332000 | #Constraints:      30751
66.89/67.18	c #Conflicts:     333000 | #Constraints:      31751
66.89/67.18	c INPROCESSING
66.89/67.18	c GARBAGE COLLECT
66.89/67.18	c rational objective 5
69.38/69.62	c #Conflicts:     334000 | #Constraints:      21472
69.38/69.62	c #Conflicts:     335000 | #Constraints:      22472
69.38/69.62	c #Conflicts:     336000 | #Constraints:      23472
69.38/69.62	c #Conflicts:     337000 | #Constraints:      24472
69.38/69.62	c #Conflicts:     338000 | #Constraints:      25472
69.38/69.62	c #Conflicts:     339000 | #Constraints:      26472
69.38/69.62	c #Conflicts:     340000 | #Constraints:      27472
69.38/69.62	c #Conflicts:     341000 | #Constraints:      28472
69.38/69.62	c #Conflicts:     342000 | #Constraints:      29472
69.38/69.62	c #Conflicts:     343000 | #Constraints:      30472
69.38/69.62	c #Conflicts:     344000 | #Constraints:      31472
69.38/69.62	c #Conflicts:     345000 | #Constraints:      32472
69.38/69.62	c INPROCESSING
69.38/69.62	c GARBAGE COLLECT
69.38/69.62	c rational objective 5
71.98/72.20	c #Conflicts:     346000 | #Constraints:      21826
71.98/72.20	c #Conflicts:     347000 | #Constraints:      22826
71.98/72.20	c #Conflicts:     348000 | #Constraints:      23826
71.98/72.20	c #Conflicts:     349000 | #Constraints:      24826
71.98/72.20	c #Conflicts:     350000 | #Constraints:      25826
71.98/72.20	c #Conflicts:     351000 | #Constraints:      26826
71.98/72.20	c #Conflicts:     352000 | #Constraints:      27826
71.98/72.20	c #Conflicts:     353000 | #Constraints:      28826
71.98/72.20	c #Conflicts:     354000 | #Constraints:      29826
71.98/72.20	c #Conflicts:     355000 | #Constraints:      30826
71.98/72.20	c #Conflicts:     356000 | #Constraints:      31826
71.98/72.20	c #Conflicts:     357000 | #Constraints:      32826
71.98/72.20	c INPROCESSING
71.98/72.20	c GARBAGE COLLECT
71.98/72.20	c rational objective 5
74.67/74.90	c #Conflicts:     358000 | #Constraints:      22070
74.67/74.90	c #Conflicts:     359000 | #Constraints:      23070
74.67/74.90	c #Conflicts:     360000 | #Constraints:      24070
74.67/74.90	c #Conflicts:     361000 | #Constraints:      25070
74.67/74.90	c #Conflicts:     362000 | #Constraints:      26070
74.67/74.90	c #Conflicts:     363000 | #Constraints:      27070
74.67/74.90	c #Conflicts:     364000 | #Constraints:      28070
74.67/74.90	c #Conflicts:     365000 | #Constraints:      29070
74.67/74.90	c #Conflicts:     366000 | #Constraints:      30070
74.67/74.90	c #Conflicts:     367000 | #Constraints:      31070
74.67/74.90	c #Conflicts:     368000 | #Constraints:      32070
74.67/74.90	c #Conflicts:     369000 | #Constraints:      33070
74.67/74.90	c INPROCESSING
74.67/74.90	c GARBAGE COLLECT
74.67/74.90	c rational objective 5
77.36/77.61	c #Conflicts:     370000 | #Constraints:      22075
77.36/77.61	c #Conflicts:     371000 | #Constraints:      23075
77.36/77.61	c #Conflicts:     372000 | #Constraints:      24075
77.36/77.61	c #Conflicts:     373000 | #Constraints:      25075
77.36/77.61	c #Conflicts:     374000 | #Constraints:      26075
77.36/77.61	c #Conflicts:     375000 | #Constraints:      27075
77.36/77.61	c #Conflicts:     376000 | #Constraints:      28075
77.36/77.61	c #Conflicts:     377000 | #Constraints:      29075
77.36/77.61	c #Conflicts:     378000 | #Constraints:      30075
77.36/77.61	c #Conflicts:     379000 | #Constraints:      31075
77.36/77.61	c #Conflicts:     380000 | #Constraints:      32075
77.36/77.61	c #Conflicts:     381000 | #Constraints:      33075
77.36/77.61	c INPROCESSING
77.36/77.61	c GARBAGE COLLECT
77.36/77.61	c rational objective 5
79.96/80.24	c #Conflicts:     382000 | #Constraints:      19185
79.96/80.24	c #Conflicts:     383000 | #Constraints:      20185
79.96/80.24	c #Conflicts:     384000 | #Constraints:      21185
79.96/80.24	c #Conflicts:     385000 | #Constraints:      22185
79.96/80.24	c #Conflicts:     386000 | #Constraints:      23185
79.96/80.24	c #Conflicts:     387000 | #Constraints:      24185
79.96/80.24	c #Conflicts:     388000 | #Constraints:      25185
79.96/80.24	c #Conflicts:     389000 | #Constraints:      26185
79.96/80.24	c #Conflicts:     390000 | #Constraints:      27185
79.96/80.24	c #Conflicts:     391000 | #Constraints:      28185
79.96/80.24	c #Conflicts:     392000 | #Constraints:      29185
79.96/80.24	c #Conflicts:     393000 | #Constraints:      30185
79.96/80.24	c #Conflicts:     394000 | #Constraints:      31185
79.96/80.24	c INPROCESSING
79.96/80.24	c GARBAGE COLLECT
79.96/80.24	c rational objective 5
82.55/82.82	c #Conflicts:     395000 | #Constraints:      21129
82.55/82.82	c #Conflicts:     396000 | #Constraints:      22129
82.55/82.82	c #Conflicts:     397000 | #Constraints:      23129
82.55/82.82	c #Conflicts:     398000 | #Constraints:      24129
82.55/82.82	c #Conflicts:     399000 | #Constraints:      25129
82.55/82.82	c #Conflicts:     400000 | #Constraints:      26129
82.55/82.82	c #Conflicts:     401000 | #Constraints:      27129
82.55/82.82	c #Conflicts:     402000 | #Constraints:      28129
82.55/82.82	c #Conflicts:     403000 | #Constraints:      29129
82.55/82.82	c #Conflicts:     404000 | #Constraints:      30129
82.55/82.82	c #Conflicts:     405000 | #Constraints:      31129
82.55/82.82	c #Conflicts:     406000 | #Constraints:      32129
82.55/82.82	c #Conflicts:     407000 | #Constraints:      33129
82.55/82.82	c INPROCESSING
82.55/82.82	c GARBAGE COLLECT
82.55/82.82	c rational objective 5
85.14/85.43	c #Conflicts:     408000 | #Constraints:      22204
85.14/85.43	c #Conflicts:     409000 | #Constraints:      23204
85.14/85.43	c #Conflicts:     410000 | #Constraints:      24204
85.14/85.43	c #Conflicts:     411000 | #Constraints:      25204
85.14/85.43	c #Conflicts:     412000 | #Constraints:      26204
85.14/85.43	c #Conflicts:     413000 | #Constraints:      27204
85.14/85.43	c #Conflicts:     414000 | #Constraints:      28204
85.14/85.43	c #Conflicts:     415000 | #Constraints:      29204
85.14/85.43	c #Conflicts:     416000 | #Constraints:      30204
85.14/85.43	c #Conflicts:     417000 | #Constraints:      31204
85.14/85.43	c #Conflicts:     418000 | #Constraints:      32204
85.14/85.43	c #Conflicts:     419000 | #Constraints:      33204
85.14/85.43	c #Conflicts:     420000 | #Constraints:      34204
85.14/85.43	c INPROCESSING
85.14/85.43	c GARBAGE COLLECT
85.14/85.43	c rational objective 5
87.74/88.05	c #Conflicts:     421000 | #Constraints:      22748
87.74/88.05	c #Conflicts:     422000 | #Constraints:      23748
87.74/88.05	c #Conflicts:     423000 | #Constraints:      24748
87.74/88.05	c #Conflicts:     424000 | #Constraints:      25748
87.74/88.05	c #Conflicts:     425000 | #Constraints:      26748
87.74/88.05	c #Conflicts:     426000 | #Constraints:      27748
87.74/88.05	c #Conflicts:     427000 | #Constraints:      28748
87.74/88.05	c #Conflicts:     428000 | #Constraints:      29748
87.74/88.05	c #Conflicts:     429000 | #Constraints:      30748
87.74/88.05	c #Conflicts:     430000 | #Constraints:      31748
87.74/88.05	c #Conflicts:     431000 | #Constraints:      32748
87.74/88.05	c #Conflicts:     432000 | #Constraints:      33748
87.74/88.05	c bounds 6 >= 6 @ 85.4684
87.74/88.05	c cpu time 85.4684 s
87.74/88.05	c deterministic time 2192758837 2.19e+09
87.74/88.05	c optimization time 0.00062 s
87.74/88.05	c total solve time 85.4173 s
87.74/88.05	c core-guided solve time 40.4867 s
87.74/88.05	c propagation time 61.2502 s
87.74/88.05	c conflict analysis time 15.8088 s
87.74/88.05	c propagations 35869783
87.74/88.05	c resolve steps 6584198
87.74/88.05	c decisions 562382
87.74/88.05	c conflicts 432568
87.74/88.05	c restarts 1020
87.74/88.05	c inprocessing phases 56
87.74/88.05	c garbage collections 56 ,( 100.00 )
87.74/88.05	c input clauses 15968 ,( 99.84 )
87.74/88.05	c input cardinalities 22 ,( 0.14 )
87.74/88.05	c input general constraints 3 ,( 0.02 )
87.74/88.05	c input average constraint length 3.02
87.74/88.05	c input average constraint degree 1.01
87.74/88.05	c learned clauses 423705 ,( 97.91 )
87.74/88.05	c learned cardinalities 142 ,( 0.03 )
87.74/88.05	c learned general constraints 8919 ,( 2.06 )
87.74/88.05	c learned average constraint length 100.57
87.74/88.05	c learned average constraint degree 71383.23
87.74/88.05	c watched  CF 32, 64, 128, Arb: 3855 , 0 , 0 , 0
87.74/88.05	c counting CF 32, 64, 128, Arb: 5068 , 0 , 0 , 0
87.74/88.05	c watched   constraints 3855 ,( 43.21 ) 
87.74/88.05	c counting  constraints 5067 ,( 56.79 ) 
87.74/88.05	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 291561828 , 4998155 , 20749383 ,( 2866665 , 17882718 )
87.74/88.05	c gcd simplifications 227
87.74/88.05	c detected cardinalities 2
87.74/88.05	c weakened non-implied lits 1711339
87.74/88.05	c weakened non-implying lits 34
87.74/88.05	c original variables 1413
87.74/88.05	c clausal propagations 32585711
87.74/88.05	c cardinality propagations 2053330
87.74/88.05	c watched propagations 46822
87.74/88.05	c counting propagations 746676
87.74/88.05	c watch lookups 537093265
87.74/88.05	c watch backjump lookups 0
87.74/88.05	c watch checks 1258638547
87.74/88.05	c propagation checks 184795624
87.74/88.05	c constraint additions 138499285
87.74/88.05	c trail pops 36864391
87.74/88.05	c formula constraints 15969
87.74/88.05	c learned constraints 432561
87.74/88.05	c bound constraints 11
87.74/88.05	c core-guided constraints 13
87.74/88.05	c encountered formula constraints 3054277
87.74/88.05	c encountered learned constraints 3938131
87.74/88.05	c encountered bound constraints 5
87.74/88.05	c encountered core-guided constraints 13
87.74/88.05	c LP total time 40.6824 s
87.74/88.05	c LP solve time 34.52 s
87.74/88.05	c LP constraints added 17020
87.74/88.05	c LP constraints removed 1027
87.74/88.05	c LP pivots internal 432574
87.74/88.05	c LP pivots root 2985
87.74/88.05	c LP calls 11558
87.74/88.05	c LP optimalities 11545
87.74/88.05	c LP no pivot count 626
87.74/88.05	c LP infeasibilities 13
87.74/88.05	c LP valid Farkas constraints 13
87.74/88.05	c LP learned Farkas constraints 2
87.74/88.05	c LP basis resets 0
87.74/88.05	c LP cycling count 0
87.74/88.05	c LP singular count 0
87.74/88.05	c LP no primal count 0
87.74/88.05	c LP no farkas count 0
87.74/88.05	c LP other issue count 0
87.74/88.05	c LP Gomory cuts 190
87.74/88.05	c LP learned cuts 861
87.74/88.05	c LP deleted cuts 1027
87.74/88.05	c LP encountered Gomory constraints 24334
87.74/88.05	c LP encountered Farkas constraints 3
87.74/88.05	c LP encountered learned Farkas constraints 1
87.74/88.05	c CG auxiliary variables introduced 5
87.74/88.05	c CG solutions found 7
87.74/88.05	c CG cores constructed 5
87.74/88.05	c CG core cardinality constraints returned 0
87.74/88.05	c CG unit cores 0
87.74/88.05	c CG single cores 5
87.74/88.05	c CG blocks removed during cardinality reduction 0
87.74/88.05	c CG first core best 0
87.74/88.05	c CG decision core best 0
87.74/88.05	c CG core reduction tie 0
87.74/88.05	c CG core degree average 1.00
87.74/88.05	c CG core slack average 2.40
87.74/88.05	c CG core upper bound improvements 1
87.74/88.05	c STR number of successful calls 0
87.74/88.05	c STR number of unsuccessful calls 0
87.74/88.05	c STR number of inconclusive calls 0
87.74/88.05	c STR number of successful attempts 0
87.74/88.05	c STR number of unsuccessful attempts 0
87.74/88.05	c STR number of inconclusive attempts 0
87.74/88.05	c STR average degree increase per successful call inf
87.74/88.05	c STR average degree increase per successful attempt inf
87.74/88.05	c STR total number of conflicts for successful attempts 0
87.74/88.05	c STR total number of conflicts for unsuccessful attempts 0
87.74/88.05	c STR total number of conflicts for inconclusive attempts 0
87.74/88.05	c STR average number of conflicts per successful attempt inf
87.74/88.05	c STR average number of conflicts per unsuccessful attempt inf
87.74/88.05	c STR average number of conflicts per inconclusive attempt inf
87.74/88.05	c AVG.sumWPerc 49.02 
87.74/88.05	c bigint constraints 0 
87.74/88.05	o 6
87.74/88.05	s OPTIMUM FOUND
87.74/88.05	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 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 x281 -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 -x290 -x291 x292 x293 -x294 -x295 -x296 -x297 -x298 x299 x300 x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351

Verifier Data 

OK	6

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 (61318 MiB free)
  memory of node 1: 64507 MiB (63030 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517724-1751529084/watcher-4517724-1751529084 -o /tmp/evaluation-result-4517724-1751529084/solver-4517724-1751529084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751524861-73754 --watchdog 3760 run-opt-break.sh HOME/instance-4517724-1751529084.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=74977, runsolver pid=74974
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.09 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127326836/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=55808 memory=8832 CPUtime=0 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 510 0 0 0 0 0 0 0 20 0 1 0 68586050 57147392 2208 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 13952 2208 1920 1147 0 1379 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60000 KiB
Current children cumulated memory: 11904 KiB

[startup+0.205816 s]*
/proc/loadavg: 4.09 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127310076/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=74156 memory=30536 CPUtime=0.1 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 5114 0 0 0 9 1 0 0 20 0 1 0 68586050 75935744 7634 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 18539 7634 2304 1147 0 5966 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 78348 KiB
Current children cumulated memory: 33608 KiB

[startup+0.305679 s]*
/proc/loadavg: 4.09 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127310076/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=74156 memory=30792 CPUtime=0.2 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 5117 0 0 0 19 1 0 0 20 0 1 0 68586050 75935744 7698 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 18539 7698 2368 1147 0 5966 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 78348 KiB
Current children cumulated memory: 33864 KiB

[startup+0.700214 s]
/proc/loadavg: 4.09 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127310652/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=76504 memory=32456 CPUtime=0.59 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 5508 0 0 0 56 3 0 0 20 0 1 0 68586050 78340096 8114 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 19126 8114 2432 1147 0 6553 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80696 KiB
Current children cumulated memory: 35528 KiB

[startup+1.50013 s]
/proc/loadavg: 4.09 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127308888/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=78208 memory=34120 CPUtime=1.39 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 5928 0 0 0 133 6 0 0 20 0 1 0 68586050 80084992 8530 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 19552 8530 2432 1147 0 6979 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82400 KiB
Current children cumulated memory: 37192 KiB

[startup+3.10514 s]
/proc/loadavg: 4.08 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127309096/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=78208 memory=34120 CPUtime=2.99 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 5929 0 0 0 287 12 0 0 20 0 1 0 68586050 80084992 8530 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 19552 8530 2432 1147 0 6979 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 82400 KiB
Current children cumulated memory: 37192 KiB

[startup+6.30013 s]
/proc/loadavg: 4.08 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127305224/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=78456 memory=36320 CPUtime=6.17 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 5994 0 0 0 597 20 0 0 20 0 1 0 68586050 80338944 9080 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 19614 9080 2432 1147 0 7041 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 82648 KiB
Current children cumulated memory: 39392 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.08 4.08 5/270 74980
/proc/meminfo: memFree=127309336/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=79216 memory=37088 CPUtime=12.56 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 6169 0 0 0 1220 36 0 0 20 0 1 0 68586050 81117184 9272 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 19804 9272 2432 1147 0 7231 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 83408 KiB
Current children cumulated memory: 40160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.08 5/270 74981
/proc/meminfo: memFree=127279120/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=83064 memory=38496 CPUtime=25.33 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 6538 0 0 0 2460 73 0 0 20 0 1 0 68586050 85057536 9624 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 20766 9624 2432 1147 0 8193 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 87256 KiB
Current children cumulated memory: 41568 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.08 4.08 5/270 74981
/proc/meminfo: memFree=126881648/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=89236 memory=43744 CPUtime=50.87 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 7883 0 0 0 4948 139 0 0 20 0 1 0 68586050 91377664 10936 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 22309 10936 2432 1147 0 9736 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 93428 KiB
Current children cumulated memory: 46816 KiB

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

# cumulated CPU time of all completed processes:  user=85.5372 s, system=2.27498 s

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

[startup+51.2003 s]
/proc/loadavg: 4.09 4.08 4.08 5/270 74981
/proc/meminfo: memFree=126881648/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=89236 memory=43744 CPUtime=50.97 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 7883 0 0 0 4958 139 0 0 20 0 1 0 68586050 91377664 10936 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 22309 10936 2432 1147 0 9736 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 93428 KiB
Current children cumulated memory: 46816 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.07 4.08 4.08 5/270 74982
/proc/meminfo: memFree=126879564/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=89756 memory=44640 CPUtime=63.74 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 8093 0 0 0 6207 167 0 0 20 0 1 0 68586050 91910144 11160 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 22439 11160 2432 1147 0 9866 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 93948 KiB
Current children cumulated memory: 47712 KiB

[startup+76.8002 s]
/proc/loadavg: 4.14 4.09 4.08 5/270 74982
/proc/meminfo: memFree=126865140/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=95912 memory=50784 CPUtime=76.5 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 9642 0 0 0 7452 198 0 0 20 0 1 0 68586050 98213888 12696 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 23978 12696 2432 1147 0 11405 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 53856 KiB

[startup+83.2001 s]
/proc/loadavg: 4.12 4.09 4.08 5/270 74984
/proc/meminfo: memFree=126866180/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=95912 memory=51680 CPUtime=82.89 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 9851 0 0 0 8075 214 0 0 20 0 1 0 68586050 98213888 12920 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 23978 12920 2432 1147 0 11405 0
Current children cumulated CPU time: 82.95 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 54752 KiB

[startup+86.4001 s]
/proc/loadavg: 4.12 4.09 4.08 5/270 74984
/proc/meminfo: memFree=126863172/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=95912 memory=51680 CPUtime=86.08 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 9857 0 0 0 8386 222 0 0 20 0 1 0 68586050 98213888 12920 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 23978 12920 2432 1147 0 11405 0
Current children cumulated CPU time: 86.14 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 54752 KiB

[startup+87.2001 s]
/proc/loadavg: 4.11 4.09 4.08 5/270 74984
/proc/meminfo: memFree=126863708/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=95912 memory=51680 CPUtime=86.87 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 9857 0 0 0 8463 224 0 0 20 0 1 0 68586050 98213888 12920 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 23978 12920 2432 1147 0 11405 0
Current children cumulated CPU time: 86.93 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 54752 KiB

[startup+87.6001 s]
/proc/loadavg: 4.11 4.09 4.08 5/270 74984
/proc/meminfo: memFree=126863708/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=95912 memory=51680 CPUtime=87.27 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 9857 0 0 0 8502 225 0 0 20 0 1 0 68586050 98213888 12920 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 23978 12920 2432 1147 0 11405 0
Current children cumulated CPU time: 87.33 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 54752 KiB

[startup+88.0001 s]*
/proc/loadavg: 4.11 4.09 4.08 5/270 74984
/proc/meminfo: memFree=126863960/131249996 swapFree=33003468/33010684
[pid=74977] ppid=74974 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74977/stat : 74977 (run-opt-break.s) S 74974 74977 73742 0 -1 4194304 239 2233 0 0 0 0 6 0 20 0 1 0 68586042 4292608 768 18446744073709551615 94236480507904 94236481402437 140734422231056 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94236481641488 94236481689232 94236502429696 140734422239585 140734422239714 140734422239714 140734422245316 0
/proc/74977/statm: 1048 768 704 219 0 110 0
[pid=74980] ppid=74977 vsize=95912 memory=53792 CPUtime=87.68 cores=1,3
/proc/74980/stat : 74980 (roundingsat) R 74977 74977 73742 0 -1 4194304 9862 0 0 0 8542 226 0 0 20 0 1 0 68586050 98213888 13448 18446744073709551615 4227072 8923433 140735890114176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28893184 140735890119012 140735890119208 140735890119208 140735890124778 0
/proc/74980/statm: 23978 13448 2432 1147 0 11405 0
Current children cumulated CPU time: 87.74 s
Current children cumulated vsize: 100104 KiB
Current children cumulated memory: 56864 KiB

Child status: 0

Real time (s): 88.0548
CPU time (s): 87.8122
CPU user time (s): 85.5372
CPU system time (s): 2.27498
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 100104
Max. memory (cumulated for all children) (KiB): 56864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.5372
system time used= 2.27498
maximum resident set size= 53792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 213


# summary of solver processes directly reported to runsolver:
#   pid: 74977
#   total CPU time (s): 87.8122
#   total CPU user time (s): 85.5372
#   total CPU system time (s): 2.27498

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179554 second user time and 0.423715 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 09:51:24
IDJOB=4517724
IDBENCH=176167
IDSOLVER=3359
FILE ID=nodeC021/4517724-1751529084
RUNJOBID= nodeC021-1751524861-73754
SLURM_JOB_ID= 9598653
Free space on /tmp= 430912 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=7.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517724-1751529084/watcher-4517724-1751529084 -o /tmp/evaluation-result-4517724-1751529084/solver-4517724-1751529084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751524861-73754 --watchdog 3760  run-opt-break.sh HOME/instance-4517724-1751529084.opb

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

MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0
RANDOM SEED=333265835

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.775
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.749
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		: 3600.221
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		: 3656.019
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.696
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.776
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		: 3534.794
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		: 3602.763
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:        127332960 kB
MemAvailable:   127305480 kB
Buffers:            1056 kB
Cached:           706860 kB
SwapCached:           32 kB
Active:          2899012 kB
Inactive:         249108 kB
Active(anon):    2412592 kB
Inactive(anon):    41064 kB
Active(file):     486420 kB
Inactive(file):   208044 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7452 kB
Writeback:             8 kB
AnonPages:       2442996 kB
Mapped:           112796 kB
Shmem:             13452 kB
KReclaimable:     234192 kB
Slab:             326556 kB
SReclaimable:     234192 kB
SUnreclaim:        92364 kB
KernelStack:        4368 kB
PageTables:         8268 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3079740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1372160 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= 430904 MiB
End job on nodeC021 at 2025-07-03 09:52:52