Trace number 4517722

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-ls+pbsuma 63f22adOPT6 77.4172 77.6639

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-4517722-1751532476.opb'
0.00/0.02	c 	read 0.40MB  (5.36ms)
0.00/0.02	c	 [cnf: #variables 351 #clauses 12754 #duplicates 0 #arr 38597]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 8] (2.37ms)
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 	 (54.51ms)
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.86ms)
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-4517722-1751532476.opb.pre'
0.00/0.08	c 	wrote 0.50MB (1.21ms)
0.00/0.08	c ------------------------------------------------------------------
0.00/0.08	c                  54.51ms 83.26% detect_special
0.00/0.08	c                   5.36ms  8.18% parse
0.00/0.08	c                   2.37ms  3.62% approx_orbits
0.00/0.08	c                   1.86ms  2.84% detect_generic
0.00/0.08	c                   1.21ms  1.84% output
0.00/0.08	c                   0.15ms  0.24% other
0.00/0.08	c                   0.01ms  0.02% finalize_order
0.00/0.08	c         ───────────────────────────────────────────────
0.00/0.08	c                  65.47ms   100% total
0.00/0.08	c ------------------------------------------------------------------
0.00/0.09	c RoundingSat 2
0.00/0.09	c branch pb25
0.00/0.09	c commit 63f22ad
0.07/0.15	c #variables 1413 #constraints 15969
0.07/0.15	c objective is ce32 
0.07/0.15	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.15	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.15	c bounds 12 >= 0 @ 0.049017
0.17/0.24	c rational objective 0
0.27/0.33	c bounds 11 >= 0 @ 0.217212
0.27/0.39	c bounds 11 >= 1 @ 0.277909
0.27/0.39	c bounds 10 >= 1 @ 0.279145
0.27/0.39	c bounds 9 >= 1 @ 0.279612
0.27/0.40	c bounds 8 >= 1 @ 0.279612
0.27/0.40	c bounds 7 >= 1 @ 0.279612
0.27/0.41	c bounds 6 >= 1 @ 0.286901
0.48/0.53	c #Conflicts:       1000 | #Constraints:      16981
0.48/0.53	c #Conflicts:       2000 | #Constraints:      17981
0.48/0.53	c INPROCESSING
0.48/0.53	c GARBAGE COLLECT
0.48/0.53	c rational objective 1
0.76/0.89	c #Conflicts:       3000 | #Constraints:      15493
0.76/0.89	c #Conflicts:       4000 | #Constraints:      16493
0.76/0.89	c INPROCESSING
0.76/0.89	c GARBAGE COLLECT
0.76/0.89	c rational objective 1
0.97/1.03	c bounds 6 >= 2 @ 0.891439
1.16/1.27	c #Conflicts:       5000 | #Constraints:      12887
1.16/1.27	c #Conflicts:       6000 | #Constraints:      13887
1.16/1.27	c INPROCESSING
1.16/1.27	c GARBAGE COLLECT
1.16/1.27	c rational objective 2
1.56/1.68	c #Conflicts:       7000 | #Constraints:      12589
1.56/1.68	c #Conflicts:       8000 | #Constraints:      13589
1.56/1.68	c #Conflicts:       9000 | #Constraints:      14589
1.56/1.68	c INPROCESSING
1.56/1.68	c GARBAGE COLLECT
1.56/1.68	c rational objective 2
2.07/2.19	c #Conflicts:      10000 | #Constraints:      13397
2.07/2.19	c #Conflicts:      11000 | #Constraints:      14397
2.07/2.19	c #Conflicts:      12000 | #Constraints:      15397
2.07/2.19	c INPROCESSING
2.07/2.19	c GARBAGE COLLECT
2.07/2.19	c rational objective 2
2.66/2.75	c #Conflicts:      13000 | #Constraints:      13931
2.66/2.75	c #Conflicts:      14000 | #Constraints:      14931
2.66/2.75	c #Conflicts:      15000 | #Constraints:      15931
2.66/2.75	c INPROCESSING
2.66/2.75	c GARBAGE COLLECT
2.66/2.75	c rational objective 2
3.25/3.37	c #Conflicts:      16000 | #Constraints:      14188
3.25/3.37	c #Conflicts:      17000 | #Constraints:      15188
3.25/3.37	c #Conflicts:      18000 | #Constraints:      16188
3.25/3.37	c INPROCESSING
3.25/3.37	c GARBAGE COLLECT
3.25/3.37	c rational objective 2
3.75/3.88	c #Conflicts:      19000 | #Constraints:      14236
3.75/3.88	c #Conflicts:      20000 | #Constraints:      15236
3.75/3.88	c #Conflicts:      21000 | #Constraints:      16236
3.75/3.88	c INPROCESSING
3.75/3.88	c GARBAGE COLLECT
3.75/3.88	c rational objective 2
4.35/4.46	c #Conflicts:      22000 | #Constraints:      14038
4.35/4.46	c #Conflicts:      23000 | #Constraints:      15038
4.35/4.46	c #Conflicts:      24000 | #Constraints:      16038
4.35/4.46	c #Conflicts:      25000 | #Constraints:      17038
4.35/4.46	c INPROCESSING
4.35/4.46	c GARBAGE COLLECT
4.35/4.46	c rational objective 2
5.15/5.22	c #Conflicts:      26000 | #Constraints:      14637
5.15/5.22	c #Conflicts:      27000 | #Constraints:      15637
5.15/5.22	c #Conflicts:      28000 | #Constraints:      16637
5.15/5.22	c #Conflicts:      29000 | #Constraints:      17637
5.15/5.22	c INPROCESSING
5.15/5.22	c GARBAGE COLLECT
5.15/5.22	c rational objective 2
5.75/5.89	c #Conflicts:      30000 | #Constraints:      15065
5.75/5.89	c #Conflicts:      31000 | #Constraints:      16065
5.75/5.89	c #Conflicts:      32000 | #Constraints:      17065
5.75/5.89	c #Conflicts:      33000 | #Constraints:      18065
5.75/5.89	c INPROCESSING
5.75/5.89	c GARBAGE COLLECT
5.75/5.89	c rational objective 2
6.54/6.69	c #Conflicts:      34000 | #Constraints:      15249
6.54/6.69	c #Conflicts:      35000 | #Constraints:      16249
6.54/6.69	c #Conflicts:      36000 | #Constraints:      17249
6.54/6.69	c bounds 6 >= 3 @ 6.38862
6.65/6.72	c #Conflicts:      37000 | #Constraints:      18252
6.65/6.72	c INPROCESSING
6.65/6.72	c GARBAGE COLLECT
6.65/6.72	c rational objective 3
7.35/7.48	c #Conflicts:      38000 | #Constraints:      15243
7.35/7.48	c #Conflicts:      39000 | #Constraints:      16243
7.35/7.48	c #Conflicts:      40000 | #Constraints:      17243
7.35/7.48	c #Conflicts:      41000 | #Constraints:      18243
7.35/7.48	c INPROCESSING
7.35/7.48	c GARBAGE COLLECT
7.35/7.48	c rational objective 3
8.24/8.30	c #Conflicts:      42000 | #Constraints:      15030
8.24/8.30	c #Conflicts:      43000 | #Constraints:      16030
8.24/8.30	c #Conflicts:      44000 | #Constraints:      17030
8.24/8.30	c #Conflicts:      45000 | #Constraints:      18030
8.24/8.30	c #Conflicts:      46000 | #Constraints:      19030
8.24/8.30	c INPROCESSING
8.24/8.30	c GARBAGE COLLECT
8.24/8.30	c rational objective 3
9.04/9.12	c #Conflicts:      47000 | #Constraints:      15648
9.04/9.12	c #Conflicts:      48000 | #Constraints:      16648
9.04/9.12	c #Conflicts:      49000 | #Constraints:      17648
9.04/9.12	c #Conflicts:      50000 | #Constraints:      18648
9.04/9.12	c #Conflicts:      51000 | #Constraints:      19648
9.04/9.12	c INPROCESSING
9.04/9.12	c GARBAGE COLLECT
9.04/9.12	c rational objective 3
9.84/9.92	c #Conflicts:      52000 | #Constraints:      16064
9.84/9.92	c #Conflicts:      53000 | #Constraints:      17064
9.84/9.92	c #Conflicts:      54000 | #Constraints:      18064
9.84/9.92	c #Conflicts:      55000 | #Constraints:      19064
9.84/9.92	c #Conflicts:      56000 | #Constraints:      20064
9.84/9.92	c INPROCESSING
9.84/9.92	c GARBAGE COLLECT
9.84/9.92	c rational objective 3
10.83/10.92	c #Conflicts:      57000 | #Constraints:      16247
10.83/10.92	c #Conflicts:      58000 | #Constraints:      17247
10.83/10.92	c #Conflicts:      59000 | #Constraints:      18247
10.83/10.92	c #Conflicts:      60000 | #Constraints:      19247
10.83/10.92	c #Conflicts:      61000 | #Constraints:      20247
10.83/10.92	c INPROCESSING
10.83/10.92	c GARBAGE COLLECT
10.83/10.92	c rational objective 3
11.73/11.87	c #Conflicts:      62000 | #Constraints:      16269
11.73/11.87	c #Conflicts:      63000 | #Constraints:      17269
11.73/11.87	c #Conflicts:      64000 | #Constraints:      18269
11.73/11.87	c #Conflicts:      65000 | #Constraints:      19269
11.73/11.87	c #Conflicts:      66000 | #Constraints:      20269
11.73/11.87	c INPROCESSING
11.73/11.87	c GARBAGE COLLECT
11.73/11.87	c rational objective 3
12.94/13.02	c #Conflicts:      67000 | #Constraints:      16056
12.94/13.02	c #Conflicts:      68000 | #Constraints:      17056
12.94/13.02	c #Conflicts:      69000 | #Constraints:      18056
12.94/13.02	c #Conflicts:      70000 | #Constraints:      19056
12.94/13.02	c #Conflicts:      71000 | #Constraints:      20056
12.94/13.02	c #Conflicts:      72000 | #Constraints:      21056
12.94/13.02	c INPROCESSING
12.94/13.02	c GARBAGE COLLECT
12.94/13.02	c rational objective 3
13.93/14.00	c #Conflicts:      73000 | #Constraints:      16674
13.93/14.00	c #Conflicts:      74000 | #Constraints:      17674
13.93/14.00	c #Conflicts:      75000 | #Constraints:      18674
13.93/14.00	c #Conflicts:      76000 | #Constraints:      19674
13.93/14.00	c #Conflicts:      77000 | #Constraints:      20674
13.93/14.00	c #Conflicts:      78000 | #Constraints:      21674
13.93/14.00	c INPROCESSING
13.93/14.00	c GARBAGE COLLECT
13.93/14.00	c rational objective 3
15.03/15.17	c #Conflicts:      79000 | #Constraints:      17056
15.03/15.17	c #Conflicts:      80000 | #Constraints:      18056
15.03/15.17	c #Conflicts:      81000 | #Constraints:      19056
15.03/15.17	c #Conflicts:      82000 | #Constraints:      20056
15.03/15.17	c #Conflicts:      83000 | #Constraints:      21056
15.03/15.17	c #Conflicts:      84000 | #Constraints:      22056
15.03/15.17	c INPROCESSING
15.03/15.17	c GARBAGE COLLECT
15.03/15.17	c rational objective 3
16.02/16.13	c #Conflicts:      85000 | #Constraints:      17267
16.02/16.13	c #Conflicts:      86000 | #Constraints:      18267
16.02/16.13	c #Conflicts:      87000 | #Constraints:      19267
16.02/16.13	c #Conflicts:      88000 | #Constraints:      20267
16.02/16.13	c #Conflicts:      89000 | #Constraints:      21267
16.02/16.13	c #Conflicts:      90000 | #Constraints:      22267
16.02/16.13	c INPROCESSING
16.02/16.13	c GARBAGE COLLECT
16.02/16.13	c rational objective 3
17.32/17.40	c #Conflicts:      91000 | #Constraints:      16062
17.32/17.40	c #Conflicts:      92000 | #Constraints:      17062
17.32/17.40	c #Conflicts:      93000 | #Constraints:      18062
17.32/17.40	c #Conflicts:      94000 | #Constraints:      19062
17.32/17.40	c #Conflicts:      95000 | #Constraints:      20062
17.32/17.40	c #Conflicts:      96000 | #Constraints:      21062
17.32/17.40	c INPROCESSING
17.32/17.40	c GARBAGE COLLECT
17.32/17.40	c rational objective 3
18.41/18.50	c #Conflicts:      97000 | #Constraints:      16418
18.41/18.50	c #Conflicts:      98000 | #Constraints:      17418
18.41/18.50	c #Conflicts:      99000 | #Constraints:      18418
18.41/18.50	c #Conflicts:     100000 | #Constraints:      19418
18.41/18.50	c #Conflicts:     101000 | #Constraints:      20418
18.41/18.50	c #Conflicts:     102000 | #Constraints:      21418
18.41/18.50	c #Conflicts:     103000 | #Constraints:      22418
18.41/18.50	c INPROCESSING
18.41/18.50	c GARBAGE COLLECT
18.41/18.50	c rational objective 3
19.50/19.67	c #Conflicts:     104000 | #Constraints:      17274
19.50/19.67	c #Conflicts:     105000 | #Constraints:      18274
19.50/19.67	c #Conflicts:     106000 | #Constraints:      19274
19.50/19.67	c #Conflicts:     107000 | #Constraints:      20274
19.50/19.67	c #Conflicts:     108000 | #Constraints:      21274
19.50/19.67	c #Conflicts:     109000 | #Constraints:      22274
19.50/19.67	c #Conflicts:     110000 | #Constraints:      23274
19.50/19.67	c INPROCESSING
19.50/19.67	c GARBAGE COLLECT
19.50/19.67	c rational objective 3
20.90/21.08	c #Conflicts:     111000 | #Constraints:      14879
20.90/21.08	c #Conflicts:     112000 | #Constraints:      15879
20.90/21.08	c #Conflicts:     113000 | #Constraints:      16879
20.90/21.08	c #Conflicts:     114000 | #Constraints:      17879
20.90/21.08	c #Conflicts:     115000 | #Constraints:      18879
20.90/21.08	c #Conflicts:     116000 | #Constraints:      19879
20.90/21.08	c #Conflicts:     117000 | #Constraints:      20879
20.90/21.08	c INPROCESSING
20.90/21.08	c GARBAGE COLLECT
20.90/21.08	c rational objective 3
22.10/22.28	c #Conflicts:     118000 | #Constraints:      15259
22.10/22.28	c #Conflicts:     119000 | #Constraints:      16259
22.10/22.28	c #Conflicts:     120000 | #Constraints:      17259
22.10/22.28	c #Conflicts:     121000 | #Constraints:      18259
22.10/22.28	c #Conflicts:     122000 | #Constraints:      19259
22.10/22.28	c #Conflicts:     123000 | #Constraints:      20259
22.10/22.28	c #Conflicts:     124000 | #Constraints:      21259
22.10/22.28	c INPROCESSING
22.10/22.28	c GARBAGE COLLECT
22.10/22.28	c rational objective 3
23.60/23.74	c #Conflicts:     125000 | #Constraints:      15318
23.60/23.74	c #Conflicts:     126000 | #Constraints:      16318
23.60/23.74	c #Conflicts:     127000 | #Constraints:      17318
23.60/23.74	c #Conflicts:     128000 | #Constraints:      18318
23.60/23.74	c #Conflicts:     129000 | #Constraints:      19318
23.60/23.74	c #Conflicts:     130000 | #Constraints:      20318
23.60/23.74	c #Conflicts:     131000 | #Constraints:      21318
23.60/23.74	c INPROCESSING
23.60/23.74	c GARBAGE COLLECT
23.60/23.74	c rational objective 3
24.79/24.94	c #Conflicts:     132000 | #Constraints:      15177
24.79/24.94	c #Conflicts:     133000 | #Constraints:      16177
24.79/24.94	c #Conflicts:     134000 | #Constraints:      17177
24.79/24.94	c #Conflicts:     135000 | #Constraints:      18177
24.79/24.94	c #Conflicts:     136000 | #Constraints:      19177
24.79/24.94	c #Conflicts:     137000 | #Constraints:      20177
24.79/24.94	c #Conflicts:     138000 | #Constraints:      21177
24.79/24.94	c #Conflicts:     139000 | #Constraints:      22177
24.79/24.94	c INPROCESSING
24.79/24.94	c GARBAGE COLLECT
24.79/24.94	c rational objective 3
25.39/25.55	c #Conflicts:     140000 | #Constraints:      15789
25.39/25.55	c #Conflicts:     141000 | #Constraints:      16789
25.39/25.55	c #Conflicts:     142000 | #Constraints:      17789
25.39/25.55	c bounds 6 >= 4 @ 24.708
26.19/26.33	c #Conflicts:     143000 | #Constraints:      18792
26.19/26.33	c #Conflicts:     144000 | #Constraints:      19792
26.19/26.33	c #Conflicts:     145000 | #Constraints:      20792
26.19/26.33	c #Conflicts:     146000 | #Constraints:      21792
26.19/26.33	c #Conflicts:     147000 | #Constraints:      22792
26.19/26.33	c INPROCESSING
26.19/26.33	c GARBAGE COLLECT
26.19/26.33	c rational objective 4
27.58/27.76	c #Conflicts:     148000 | #Constraints:      16192
27.58/27.76	c #Conflicts:     149000 | #Constraints:      17192
27.58/27.76	c #Conflicts:     150000 | #Constraints:      18192
27.58/27.76	c #Conflicts:     151000 | #Constraints:      19192
27.58/27.76	c #Conflicts:     152000 | #Constraints:      20192
27.58/27.76	c #Conflicts:     153000 | #Constraints:      21192
27.58/27.76	c #Conflicts:     154000 | #Constraints:      22192
27.58/27.76	c #Conflicts:     155000 | #Constraints:      23192
27.58/27.76	c INPROCESSING
27.58/27.76	c GARBAGE COLLECT
27.58/27.76	c rational objective 4
28.89/29.09	c #Conflicts:     156000 | #Constraints:      16413
28.89/29.09	c #Conflicts:     157000 | #Constraints:      17413
28.89/29.09	c #Conflicts:     158000 | #Constraints:      18413
28.89/29.09	c #Conflicts:     159000 | #Constraints:      19413
28.89/29.09	c #Conflicts:     160000 | #Constraints:      20413
28.89/29.09	c #Conflicts:     161000 | #Constraints:      21413
28.89/29.09	c #Conflicts:     162000 | #Constraints:      22413
28.89/29.09	c #Conflicts:     163000 | #Constraints:      23413
28.89/29.09	c INPROCESSING
28.89/29.09	c GARBAGE COLLECT
28.89/29.09	c rational objective 4
30.47/30.67	c #Conflicts:     164000 | #Constraints:      16416
30.47/30.67	c #Conflicts:     165000 | #Constraints:      17416
30.47/30.67	c #Conflicts:     166000 | #Constraints:      18416
30.47/30.67	c #Conflicts:     167000 | #Constraints:      19416
30.47/30.67	c #Conflicts:     168000 | #Constraints:      20416
30.47/30.67	c #Conflicts:     169000 | #Constraints:      21416
30.47/30.67	c #Conflicts:     170000 | #Constraints:      22416
30.47/30.67	c #Conflicts:     171000 | #Constraints:      23416
30.47/30.67	c INPROCESSING
30.47/30.67	c GARBAGE COLLECT
30.47/30.67	c rational objective 4
31.98/32.11	c #Conflicts:     172000 | #Constraints:      16224
31.98/32.11	c #Conflicts:     173000 | #Constraints:      17224
31.98/32.11	c #Conflicts:     174000 | #Constraints:      18224
31.98/32.11	c #Conflicts:     175000 | #Constraints:      19224
31.98/32.11	c #Conflicts:     176000 | #Constraints:      20224
31.98/32.11	c #Conflicts:     177000 | #Constraints:      21224
31.98/32.11	c #Conflicts:     178000 | #Constraints:      22224
31.98/32.11	c #Conflicts:     179000 | #Constraints:      23224
31.98/32.11	c #Conflicts:     180000 | #Constraints:      24224
31.98/32.11	c INPROCESSING
31.98/32.11	c GARBAGE COLLECT
31.98/32.11	c rational objective 4
33.56/33.78	c #Conflicts:     181000 | #Constraints:      16816
33.56/33.78	c #Conflicts:     182000 | #Constraints:      17816
33.56/33.78	c #Conflicts:     183000 | #Constraints:      18816
33.56/33.78	c #Conflicts:     184000 | #Constraints:      19816
33.56/33.78	c #Conflicts:     185000 | #Constraints:      20816
33.56/33.78	c #Conflicts:     186000 | #Constraints:      21816
33.56/33.78	c #Conflicts:     187000 | #Constraints:      22816
33.56/33.78	c #Conflicts:     188000 | #Constraints:      23816
33.56/33.78	c #Conflicts:     189000 | #Constraints:      24816
33.56/33.78	c INPROCESSING
33.56/33.78	c GARBAGE COLLECT
33.56/33.78	c rational objective 4
35.16/35.34	c #Conflicts:     190000 | #Constraints:      17214
35.16/35.34	c #Conflicts:     191000 | #Constraints:      18214
35.16/35.34	c #Conflicts:     192000 | #Constraints:      19214
35.16/35.34	c #Conflicts:     193000 | #Constraints:      20214
35.16/35.34	c #Conflicts:     194000 | #Constraints:      21214
35.16/35.34	c #Conflicts:     195000 | #Constraints:      22214
35.16/35.34	c #Conflicts:     196000 | #Constraints:      23214
35.16/35.34	c #Conflicts:     197000 | #Constraints:      24214
35.16/35.34	c #Conflicts:     198000 | #Constraints:      25214
35.16/35.34	c INPROCESSING
35.16/35.34	c GARBAGE COLLECT
35.16/35.34	c rational objective 4
37.16/37.33	c #Conflicts:     199000 | #Constraints:      17429
37.16/37.33	c #Conflicts:     200000 | #Constraints:      18429
37.16/37.33	c #Conflicts:     201000 | #Constraints:      19429
37.16/37.33	c #Conflicts:     202000 | #Constraints:      20429
37.16/37.33	c #Conflicts:     203000 | #Constraints:      21429
37.16/37.33	c #Conflicts:     204000 | #Constraints:      22429
37.16/37.33	c #Conflicts:     205000 | #Constraints:      23429
37.16/37.33	c #Conflicts:     206000 | #Constraints:      24429
37.16/37.33	c #Conflicts:     207000 | #Constraints:      25429
37.16/37.33	c INPROCESSING
37.16/37.33	c GARBAGE COLLECT
37.16/37.33	c rational objective 4
38.75/38.93	c #Conflicts:     208000 | #Constraints:      17429
38.75/38.93	c #Conflicts:     209000 | #Constraints:      18429
38.75/38.93	c #Conflicts:     210000 | #Constraints:      19429
38.75/38.93	c #Conflicts:     211000 | #Constraints:      20429
38.75/38.93	c #Conflicts:     212000 | #Constraints:      21429
38.75/38.93	c #Conflicts:     213000 | #Constraints:      22429
38.75/38.93	c #Conflicts:     214000 | #Constraints:      23429
38.75/38.93	c #Conflicts:     215000 | #Constraints:      24429
38.75/38.93	c #Conflicts:     216000 | #Constraints:      25429
38.75/38.93	c INPROCESSING
38.75/38.93	c GARBAGE COLLECT
38.75/38.93	c rational objective 4
40.64/40.88	c #Conflicts:     217000 | #Constraints:      17223
40.64/40.88	c #Conflicts:     218000 | #Constraints:      18223
40.64/40.88	c #Conflicts:     219000 | #Constraints:      19223
40.64/40.88	c #Conflicts:     220000 | #Constraints:      20223
40.64/40.88	c #Conflicts:     221000 | #Constraints:      21223
40.64/40.88	c #Conflicts:     222000 | #Constraints:      22223
40.64/40.88	c #Conflicts:     223000 | #Constraints:      23223
40.64/40.88	c #Conflicts:     224000 | #Constraints:      24223
40.64/40.88	c #Conflicts:     225000 | #Constraints:      25223
40.64/40.88	c #Conflicts:     226000 | #Constraints:      26223
40.64/40.88	c INPROCESSING
40.64/40.88	c GARBAGE COLLECT
40.64/40.88	c rational objective 4
42.34/42.55	c #Conflicts:     227000 | #Constraints:      17831
42.34/42.55	c #Conflicts:     228000 | #Constraints:      18831
42.34/42.55	c #Conflicts:     229000 | #Constraints:      19831
42.34/42.55	c #Conflicts:     230000 | #Constraints:      20831
42.34/42.55	c #Conflicts:     231000 | #Constraints:      21831
42.34/42.55	c #Conflicts:     232000 | #Constraints:      22831
42.34/42.55	c #Conflicts:     233000 | #Constraints:      23831
42.34/42.55	c #Conflicts:     234000 | #Constraints:      24831
42.34/42.55	c #Conflicts:     235000 | #Constraints:      25831
42.34/42.55	c #Conflicts:     236000 | #Constraints:      26831
42.34/42.55	c INPROCESSING
42.34/42.55	c GARBAGE COLLECT
42.34/42.55	c rational objective 4
43.84/44.05	c #Conflicts:     237000 | #Constraints:      18230
43.84/44.05	c #Conflicts:     238000 | #Constraints:      19234
43.84/44.05	c #Conflicts:     239000 | #Constraints:      20239
43.84/44.05	c #Conflicts:     240000 | #Constraints:      21301
43.84/44.05	c #Conflicts:     241000 | #Constraints:      22311
43.84/44.05	c #Conflicts:     242000 | #Constraints:      23343
43.84/44.05	c #Conflicts:     243000 | #Constraints:      24345
43.84/44.05	c bounds 6 >= 5 @ 42.6362
44.64/44.81	c #Conflicts:     244000 | #Constraints:      25360
44.64/44.81	c #Conflicts:     245000 | #Constraints:      26656
44.64/44.81	c #Conflicts:     246000 | #Constraints:      27706
44.64/44.81	c INPROCESSING
44.64/44.81	c GARBAGE COLLECT
44.64/44.81	c rational objective 5
47.13/47.37	c #Conflicts:     247000 | #Constraints:      14007
47.13/47.37	c #Conflicts:     248000 | #Constraints:      15007
47.13/47.37	c #Conflicts:     249000 | #Constraints:      16007
47.13/47.37	c #Conflicts:     250000 | #Constraints:      17007
47.13/47.37	c #Conflicts:     251000 | #Constraints:      18082
47.13/47.37	c #Conflicts:     252000 | #Constraints:      19273
47.13/47.37	c #Conflicts:     253000 | #Constraints:      20440
47.13/47.37	c #Conflicts:     254000 | #Constraints:      21498
47.13/47.37	c #Conflicts:     255000 | #Constraints:      22570
47.13/47.37	c #Conflicts:     256000 | #Constraints:      23689
47.13/47.37	c INPROCESSING
47.13/47.37	c GARBAGE COLLECT
47.13/47.37	c rational objective 5
48.83/49.05	c #Conflicts:     257000 | #Constraints:      16215
48.83/49.05	c #Conflicts:     258000 | #Constraints:      17215
48.83/49.05	c #Conflicts:     259000 | #Constraints:      18215
48.83/49.05	c #Conflicts:     260000 | #Constraints:      19215
48.83/49.05	c #Conflicts:     261000 | #Constraints:      20215
48.83/49.05	c #Conflicts:     262000 | #Constraints:      21215
48.83/49.05	c #Conflicts:     263000 | #Constraints:      22215
48.83/49.05	c #Conflicts:     264000 | #Constraints:      23215
48.83/49.05	c #Conflicts:     265000 | #Constraints:      24215
48.83/49.05	c #Conflicts:     266000 | #Constraints:      25215
48.83/49.05	c INPROCESSING
48.83/49.05	c GARBAGE COLLECT
48.83/49.05	c rational objective 5
50.61/50.89	c #Conflicts:     267000 | #Constraints:      16687
50.61/50.89	c #Conflicts:     268000 | #Constraints:      17687
50.61/50.89	c #Conflicts:     269000 | #Constraints:      18687
50.61/50.89	c #Conflicts:     270000 | #Constraints:      19687
50.61/50.89	c #Conflicts:     271000 | #Constraints:      20687
50.61/50.89	c #Conflicts:     272000 | #Constraints:      21687
50.61/50.89	c #Conflicts:     273000 | #Constraints:      22687
50.61/50.89	c #Conflicts:     274000 | #Constraints:      23687
50.61/50.89	c #Conflicts:     275000 | #Constraints:      24687
50.61/50.89	c #Conflicts:     276000 | #Constraints:      25687
50.61/50.89	c #Conflicts:     277000 | #Constraints:      26687
50.61/50.89	c INPROCESSING
50.61/50.89	c GARBAGE COLLECT
50.61/50.89	c rational objective 5
52.51/52.75	c #Conflicts:     278000 | #Constraints:      17645
52.51/52.75	c #Conflicts:     279000 | #Constraints:      18645
52.51/52.75	c #Conflicts:     280000 | #Constraints:      19645
52.51/52.75	c #Conflicts:     281000 | #Constraints:      20645
52.51/52.75	c #Conflicts:     282000 | #Constraints:      21645
52.51/52.75	c #Conflicts:     283000 | #Constraints:      22645
52.51/52.75	c #Conflicts:     284000 | #Constraints:      23645
52.51/52.75	c #Conflicts:     285000 | #Constraints:      24645
52.51/52.75	c #Conflicts:     286000 | #Constraints:      25645
52.51/52.75	c #Conflicts:     287000 | #Constraints:      26645
52.51/52.75	c #Conflicts:     288000 | #Constraints:      27645
52.51/52.75	c INPROCESSING
52.51/52.75	c GARBAGE COLLECT
52.51/52.75	c rational objective 5
54.70/54.95	c #Conflicts:     289000 | #Constraints:      18226
54.70/54.95	c #Conflicts:     290000 | #Constraints:      19227
54.70/54.95	c #Conflicts:     291000 | #Constraints:      20237
54.70/54.95	c #Conflicts:     292000 | #Constraints:      21242
54.70/54.95	c #Conflicts:     293000 | #Constraints:      22274
54.70/54.95	c #Conflicts:     294000 | #Constraints:      23287
54.70/54.95	c #Conflicts:     295000 | #Constraints:      24309
54.70/54.95	c #Conflicts:     296000 | #Constraints:      25311
54.70/54.95	c #Conflicts:     297000 | #Constraints:      26315
54.70/54.95	c #Conflicts:     298000 | #Constraints:      27327
54.70/54.95	c #Conflicts:     299000 | #Constraints:      28330
54.70/54.95	c INPROCESSING
54.70/54.95	c GARBAGE COLLECT
54.70/54.95	c rational objective 5
56.60/56.84	c #Conflicts:     300000 | #Constraints:      18582
56.60/56.84	c #Conflicts:     301000 | #Constraints:      19582
56.60/56.84	c #Conflicts:     302000 | #Constraints:      20582
56.60/56.84	c #Conflicts:     303000 | #Constraints:      21582
56.60/56.84	c #Conflicts:     304000 | #Constraints:      22582
56.60/56.84	c #Conflicts:     305000 | #Constraints:      23582
56.60/56.84	c #Conflicts:     306000 | #Constraints:      24582
56.60/56.84	c #Conflicts:     307000 | #Constraints:      25582
56.60/56.84	c #Conflicts:     308000 | #Constraints:      26582
56.60/56.84	c #Conflicts:     309000 | #Constraints:      27582
56.60/56.84	c #Conflicts:     310000 | #Constraints:      28582
56.60/56.84	c INPROCESSING
56.60/56.84	c GARBAGE COLLECT
56.60/56.84	c rational objective 5
58.90/59.15	c #Conflicts:     311000 | #Constraints:      18587
58.90/59.15	c #Conflicts:     312000 | #Constraints:      19587
58.90/59.15	c #Conflicts:     313000 | #Constraints:      20587
58.90/59.15	c #Conflicts:     314000 | #Constraints:      21587
58.90/59.15	c #Conflicts:     315000 | #Constraints:      22587
58.90/59.15	c #Conflicts:     316000 | #Constraints:      23587
58.90/59.15	c #Conflicts:     317000 | #Constraints:      24587
58.90/59.15	c #Conflicts:     318000 | #Constraints:      25587
58.90/59.15	c #Conflicts:     319000 | #Constraints:      26587
58.90/59.15	c #Conflicts:     320000 | #Constraints:      27587
58.90/59.15	c #Conflicts:     321000 | #Constraints:      28587
58.90/59.15	c INPROCESSING
58.90/59.15	c GARBAGE COLLECT
58.90/59.15	c rational objective 5
61.18/61.42	c #Conflicts:     322000 | #Constraints:      16984
61.18/61.42	c #Conflicts:     323000 | #Constraints:      17984
61.18/61.42	c #Conflicts:     324000 | #Constraints:      18984
61.18/61.42	c #Conflicts:     325000 | #Constraints:      19984
61.18/61.42	c #Conflicts:     326000 | #Constraints:      20984
61.18/61.42	c #Conflicts:     327000 | #Constraints:      21984
61.18/61.42	c #Conflicts:     328000 | #Constraints:      22984
61.18/61.42	c #Conflicts:     329000 | #Constraints:      23984
61.18/61.42	c #Conflicts:     330000 | #Constraints:      24984
61.18/61.42	c #Conflicts:     331000 | #Constraints:      25984
61.18/61.42	c #Conflicts:     332000 | #Constraints:      26984
61.18/61.42	c #Conflicts:     333000 | #Constraints:      27984
61.18/61.42	c INPROCESSING
61.18/61.42	c GARBAGE COLLECT
61.18/61.42	c rational objective 5
63.38/63.69	c #Conflicts:     334000 | #Constraints:      17917
63.38/63.69	c #Conflicts:     335000 | #Constraints:      18917
63.38/63.69	c #Conflicts:     336000 | #Constraints:      19917
63.38/63.69	c #Conflicts:     337000 | #Constraints:      20917
63.38/63.69	c #Conflicts:     338000 | #Constraints:      21917
63.38/63.69	c #Conflicts:     339000 | #Constraints:      22917
63.38/63.69	c #Conflicts:     340000 | #Constraints:      23917
63.38/63.69	c #Conflicts:     341000 | #Constraints:      24917
63.38/63.69	c #Conflicts:     342000 | #Constraints:      25917
63.38/63.69	c #Conflicts:     343000 | #Constraints:      26917
63.38/63.69	c #Conflicts:     344000 | #Constraints:      27917
63.38/63.69	c #Conflicts:     345000 | #Constraints:      28917
63.38/63.69	c INPROCESSING
63.38/63.69	c GARBAGE COLLECT
63.38/63.69	c rational objective 5
65.57/65.86	c #Conflicts:     346000 | #Constraints:      18472
65.57/65.86	c #Conflicts:     347000 | #Constraints:      19472
65.57/65.86	c #Conflicts:     348000 | #Constraints:      20472
65.57/65.86	c #Conflicts:     349000 | #Constraints:      21472
65.57/65.86	c #Conflicts:     350000 | #Constraints:      22472
65.57/65.86	c #Conflicts:     351000 | #Constraints:      23472
65.57/65.86	c #Conflicts:     352000 | #Constraints:      24472
65.57/65.86	c #Conflicts:     353000 | #Constraints:      25472
65.57/65.86	c #Conflicts:     354000 | #Constraints:      26472
65.57/65.86	c #Conflicts:     355000 | #Constraints:      27472
65.57/65.86	c #Conflicts:     356000 | #Constraints:      28472
65.57/65.86	c #Conflicts:     357000 | #Constraints:      29472
65.57/65.86	c INPROCESSING
65.57/65.86	c GARBAGE COLLECT
65.57/65.86	c rational objective 5
67.76/68.05	c #Conflicts:     358000 | #Constraints:      18713
67.76/68.05	c #Conflicts:     359000 | #Constraints:      19713
67.76/68.05	c #Conflicts:     360000 | #Constraints:      20713
67.76/68.05	c #Conflicts:     361000 | #Constraints:      21713
67.76/68.05	c #Conflicts:     362000 | #Constraints:      22713
67.76/68.05	c #Conflicts:     363000 | #Constraints:      23713
67.76/68.05	c #Conflicts:     364000 | #Constraints:      24713
67.76/68.05	c #Conflicts:     365000 | #Constraints:      25713
67.76/68.05	c #Conflicts:     366000 | #Constraints:      26713
67.76/68.05	c #Conflicts:     367000 | #Constraints:      27713
67.76/68.05	c #Conflicts:     368000 | #Constraints:      28713
67.76/68.05	c #Conflicts:     369000 | #Constraints:      29713
67.76/68.05	c INPROCESSING
67.76/68.05	c GARBAGE COLLECT
67.76/68.05	c rational objective 5
70.25/70.59	c #Conflicts:     370000 | #Constraints:      18754
70.25/70.59	c #Conflicts:     371000 | #Constraints:      19754
70.25/70.59	c #Conflicts:     372000 | #Constraints:      20754
70.25/70.59	c #Conflicts:     373000 | #Constraints:      21754
70.25/70.59	c #Conflicts:     374000 | #Constraints:      22754
70.25/70.59	c #Conflicts:     375000 | #Constraints:      23754
70.25/70.59	c #Conflicts:     376000 | #Constraints:      24754
70.25/70.59	c #Conflicts:     377000 | #Constraints:      25754
70.25/70.59	c #Conflicts:     378000 | #Constraints:      26754
70.25/70.59	c #Conflicts:     379000 | #Constraints:      27754
70.25/70.59	c #Conflicts:     380000 | #Constraints:      28754
70.25/70.59	c #Conflicts:     381000 | #Constraints:      29754
70.25/70.59	c INPROCESSING
70.25/70.59	c GARBAGE COLLECT
70.25/70.59	c rational objective 5
72.45/72.79	c #Conflicts:     382000 | #Constraints:      16914
72.45/72.79	c #Conflicts:     383000 | #Constraints:      17914
72.45/72.79	c #Conflicts:     384000 | #Constraints:      18914
72.45/72.79	c #Conflicts:     385000 | #Constraints:      19914
72.45/72.79	c #Conflicts:     386000 | #Constraints:      20914
72.45/72.79	c #Conflicts:     387000 | #Constraints:      21914
72.45/72.79	c #Conflicts:     388000 | #Constraints:      22914
72.45/72.79	c #Conflicts:     389000 | #Constraints:      23914
72.45/72.79	c #Conflicts:     390000 | #Constraints:      24914
72.45/72.79	c #Conflicts:     391000 | #Constraints:      25914
72.45/72.79	c #Conflicts:     392000 | #Constraints:      26914
72.45/72.79	c #Conflicts:     393000 | #Constraints:      27914
72.45/72.79	c #Conflicts:     394000 | #Constraints:      28914
72.45/72.79	c INPROCESSING
72.45/72.79	c GARBAGE COLLECT
72.45/72.79	c rational objective 5
75.04/75.37	c #Conflicts:     395000 | #Constraints:      17542
75.04/75.37	c #Conflicts:     396000 | #Constraints:      18542
75.04/75.37	c #Conflicts:     397000 | #Constraints:      19542
75.04/75.37	c #Conflicts:     398000 | #Constraints:      20542
75.04/75.37	c #Conflicts:     399000 | #Constraints:      21542
75.04/75.37	c #Conflicts:     400000 | #Constraints:      22542
75.04/75.37	c #Conflicts:     401000 | #Constraints:      23542
75.04/75.37	c #Conflicts:     402000 | #Constraints:      24542
75.04/75.37	c #Conflicts:     403000 | #Constraints:      25542
75.04/75.37	c #Conflicts:     404000 | #Constraints:      26542
75.04/75.37	c #Conflicts:     405000 | #Constraints:      27542
75.04/75.37	c #Conflicts:     406000 | #Constraints:      28542
75.04/75.37	c #Conflicts:     407000 | #Constraints:      29542
75.04/75.37	c INPROCESSING
75.04/75.37	c GARBAGE COLLECT
75.04/75.37	c rational objective 5
77.33/77.66	c #Conflicts:     408000 | #Constraints:      18044
77.33/77.66	c #Conflicts:     409000 | #Constraints:      19044
77.33/77.66	c #Conflicts:     410000 | #Constraints:      20044
77.33/77.66	c #Conflicts:     411000 | #Constraints:      21044
77.33/77.66	c #Conflicts:     412000 | #Constraints:      22044
77.33/77.66	c #Conflicts:     413000 | #Constraints:      23044
77.33/77.66	c #Conflicts:     414000 | #Constraints:      24044
77.33/77.66	c #Conflicts:     415000 | #Constraints:      25044
77.33/77.66	c #Conflicts:     416000 | #Constraints:      26044
77.33/77.66	c #Conflicts:     417000 | #Constraints:      27044
77.33/77.66	c #Conflicts:     418000 | #Constraints:      28044
77.33/77.66	c #Conflicts:     419000 | #Constraints:      29044
77.33/77.66	c bounds 6 >= 6 @ 75.2317
77.33/77.66	c cpu time 75.2317 s
77.33/77.66	c deterministic time 1802205610 1.80e+09
77.33/77.66	c optimization time 0.003862 s
77.33/77.66	c total solve time 75.1821 s
77.33/77.66	c core-guided solve time 37.3787 s
77.33/77.66	c propagation time 54.1944 s
77.33/77.66	c conflict analysis time 13.1821 s
77.33/77.66	c propagations 33005715
77.33/77.66	c resolve steps 6441263
77.33/77.66	c decisions 548012
77.33/77.66	c conflicts 419190
77.33/77.66	c restarts 1019
77.33/77.66	c inprocessing phases 55
77.33/77.66	c garbage collections 55 ,( 100.00 )
77.33/77.66	c input clauses 15966 ,( 99.83 )
77.33/77.66	c input cardinalities 24 ,( 0.15 )
77.33/77.66	c input general constraints 3 ,( 0.02 )
77.33/77.66	c input average constraint length 3.02
77.33/77.66	c input average constraint degree 1.01
77.33/77.66	c learned clauses 415754 ,( 98.81 )
77.33/77.66	c learned cardinalities 152 ,( 0.04 )
77.33/77.66	c learned general constraints 4837 ,( 1.15 )
77.33/77.66	c learned average constraint length 81.59
77.33/77.66	c learned average constraint degree 10572690.17
77.33/77.66	c watched  CF 32, 64, 128, Arb: 1495 , 0 , 0 , 0
77.33/77.66	c counting CF 32, 64, 128, Arb: 3346 , 0 , 0 , 0
77.33/77.66	c watched   constraints 1495 ,( 30.89 ) 
77.33/77.66	c counting  constraints 3345 ,( 69.11 ) 
77.33/77.66	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 302922757 , 4459248 , 5677193 ,( 1021263 , 4655930 )
77.33/77.66	c gcd simplifications 215
77.33/77.66	c detected cardinalities 5
77.33/77.66	c weakened non-implied lits 1272942
77.33/77.66	c weakened non-implying lits 8
77.33/77.66	c original variables 1413
77.33/77.66	c clausal propagations 30135529
77.33/77.66	c cardinality propagations 2048984
77.33/77.66	c watched propagations 33078
77.33/77.66	c counting propagations 365914
77.33/77.66	c watch lookups 397615584
77.33/77.66	c watch backjump lookups 0
77.33/77.66	c watch checks 1109216391
77.33/77.66	c propagation checks 107933795
77.33/77.66	c constraint additions 119492069
77.33/77.66	c trail pops 33972388
77.33/77.66	c formula constraints 15969
77.33/77.66	c learned constraints 419184
77.33/77.66	c bound constraints 11
77.33/77.66	c core-guided constraints 13
77.33/77.66	c encountered formula constraints 2986794
77.33/77.66	c encountered learned constraints 3855715
77.33/77.66	c encountered bound constraints 7
77.33/77.66	c encountered core-guided constraints 7
77.33/77.66	c LP total time 37.7596 s
77.33/77.66	c LP solve time 31.67 s
77.33/77.66	c LP constraints added 17015
77.33/77.66	c LP constraints removed 1018
77.33/77.66	c LP pivots internal 419205
77.33/77.66	c LP pivots root 2450
77.33/77.66	c LP calls 11549
77.33/77.66	c LP optimalities 10199
77.33/77.66	c LP no pivot count 472
77.33/77.66	c LP infeasibilities 1349
77.33/77.66	c LP valid Farkas constraints 1349
77.33/77.66	c LP learned Farkas constraints 1
77.33/77.66	c LP basis resets 0
77.33/77.66	c LP cycling count 0
77.33/77.66	c LP singular count 0
77.33/77.66	c LP no primal count 0
77.33/77.66	c LP no farkas count 0
77.33/77.66	c LP other issue count 0
77.33/77.66	c LP Gomory cuts 209
77.33/77.66	c LP learned cuts 837
77.33/77.66	c LP deleted cuts 1018
77.33/77.66	c LP encountered Gomory constraints 17291
77.33/77.66	c LP encountered Farkas constraints 631
77.33/77.66	c LP encountered learned Farkas constraints 7
77.33/77.66	c CG auxiliary variables introduced 5
77.33/77.66	c CG solutions found 6
77.33/77.66	c CG cores constructed 5
77.33/77.66	c CG core cardinality constraints returned 0
77.33/77.66	c CG unit cores 0
77.33/77.66	c CG single cores 5
77.33/77.66	c CG blocks removed during cardinality reduction 0
77.33/77.66	c CG first core best 0
77.33/77.66	c CG decision core best 0
77.33/77.66	c CG core reduction tie 0
77.33/77.66	c CG core degree average 1.00
77.33/77.66	c CG core slack average 2.00
77.33/77.66	c CG core upper bound improvements 1
77.33/77.66	c STR number of successful calls 0
77.33/77.66	c STR number of unsuccessful calls 0
77.33/77.66	c STR number of inconclusive calls 0
77.33/77.66	c STR number of successful attempts 0
77.33/77.66	c STR number of unsuccessful attempts 0
77.33/77.66	c STR number of inconclusive attempts 0
77.33/77.66	c STR average degree increase per successful call inf
77.33/77.66	c STR average degree increase per successful attempt inf
77.33/77.66	c STR total number of conflicts for successful attempts 0
77.33/77.66	c STR total number of conflicts for unsuccessful attempts 0
77.33/77.66	c STR total number of conflicts for inconclusive attempts 0
77.33/77.66	c STR average number of conflicts per successful attempt inf
77.33/77.66	c STR average number of conflicts per unsuccessful attempt inf
77.33/77.66	c STR average number of conflicts per inconclusive attempt inf
77.33/77.66	c AVG.sumWPerc 51.76 
77.33/77.66	c bigint constraints 0 
77.33/77.66	o 6
77.33/77.66	s OPTIMUM FOUND
77.33/77.66	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 (62519 MiB free)
  memory of node 1: 64507 MiB (63411 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517722-1751532476/watcher-4517722-1751532476 -o /tmp/evaluation-result-4517722-1751532476/solver-4517722-1751532476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74274 --watchdog 3760 run-opt-ls.sh HOME/instance-4517722-1751532476.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
Current StackSize limit: 8192 KiB

solver pid=74942, runsolver pid=74938

[startup+0.100061 s]*
/proc/loadavg: 2.77 2.17 2.75 5/268 74951
/proc/meminfo: memFree=128947856/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=57304 memory=12616 CPUtime=0.01 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 889 0 0 0 1 0 0 0 20 0 1 0 68927165 58679296 3154 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 14326 3154 1984 1147 0 1753 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61496 KiB
Current children cumulated memory: 15688 KiB

[startup+0.205739 s]*
/proc/loadavg: 2.77 2.17 2.75 4/265 74951
/proc/meminfo: memFree=128931920/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=78332 memory=34648 CPUtime=0.11 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 6142 0 0 0 9 2 0 0 20 0 1 0 68927165 80211968 8662 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 19583 8662 2304 1147 0 7010 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82524 KiB
Current children cumulated memory: 37720 KiB

[startup+0.304973 s]*
/proc/loadavg: 2.77 2.17 2.75 5/263 74959
/proc/meminfo: memFree=128932172/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=78332 memory=34776 CPUtime=0.21 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 6144 0 0 0 19 2 0 0 20 0 1 0 68927165 80211968 8694 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 19583 8694 2336 1147 0 7010 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 82524 KiB
Current children cumulated memory: 37848 KiB

[startup+0.70015 s]
/proc/loadavg: 2.77 2.17 2.75 4/265 74974
/proc/meminfo: memFree=128931920/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=81588 memory=37336 CPUtime=0.6 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 6742 0 0 0 56 4 0 0 20 0 1 0 68927165 83546112 9334 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 20397 9334 2400 1147 0 7824 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85780 KiB
Current children cumulated memory: 40408 KiB

[startup+1.5002 s]
/proc/loadavg: 2.77 2.17 2.75 4/265 74998
/proc/meminfo: memFree=128914896/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=82276 memory=37976 CPUtime=1.4 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 6914 0 0 0 134 6 0 0 20 0 1 0 68927165 84250624 9494 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 20569 9494 2400 1147 0 7996 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 86468 KiB
Current children cumulated memory: 41048 KiB

[startup+3.10562 s]
/proc/loadavg: 2.95 2.21 2.77 5/268 75091
/proc/meminfo: memFree=128908276/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=82276 memory=37976 CPUtime=3 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 6915 0 0 0 289 11 0 0 20 0 1 0 68927165 84250624 9494 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 20569 9494 2400 1147 0 7996 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 86468 KiB
Current children cumulated memory: 41048 KiB

[startup+6.3002 s]
/proc/loadavg: 2.95 2.21 2.77 5/268 75092
/proc/meminfo: memFree=128902740/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=82776 memory=40480 CPUtime=6.19 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 7018 0 0 0 600 19 0 0 20 0 1 0 68927165 84762624 10120 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 20694 10120 2400 1147 0 8121 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 86968 KiB
Current children cumulated memory: 43552 KiB

[startup+12.7002 s]
/proc/loadavg: 3.19 2.29 2.78 5/267 75092
/proc/meminfo: memFree=128887112/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=83028 memory=40864 CPUtime=12.56 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 7124 0 0 0 1223 33 0 0 20 0 1 0 68927165 85020672 10216 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 20757 10216 2400 1147 0 8184 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 87220 KiB
Current children cumulated memory: 43936 KiB

[startup+25.5002 s]
/proc/loadavg: 3.31 2.35 2.80 5/267 75186
/proc/meminfo: memFree=128561436/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=87012 memory=43040 CPUtime=25.33 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 7667 0 0 0 2466 67 0 0 20 0 1 0 68927165 89100288 10760 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 21753 10760 2400 1147 0 9180 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 91204 KiB
Current children cumulated memory: 46112 KiB

[startup+51.1057 s]
/proc/loadavg: 3.55 2.48 2.83 5/268 75189
/proc/meminfo: memFree=127881924/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=93536 memory=50464 CPUtime=50.86 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 9551 0 0 0 4946 140 0 0 20 0 1 0 68927165 95780864 12616 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23384 12616 2400 1147 0 10811 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 97728 KiB
Current children cumulated memory: 53536 KiB

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

# cumulated CPU time of all completed processes:  user=75.3 s, system=2.11717 s

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

[startup+51.2002 s]
/proc/loadavg: 3.55 2.48 2.83 5/268 75189
/proc/meminfo: memFree=127881924/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=93536 memory=50464 CPUtime=50.95 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 9551 0 0 0 4955 140 0 0 20 0 1 0 68927165 95780864 12616 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23384 12616 2400 1147 0 10811 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 97728 KiB
Current children cumulated memory: 53536 KiB

[startup+64.0001 s]*
/proc/loadavg: 3.65 2.56 2.85 5/268 75189
/proc/meminfo: memFree=127823400/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=95740 memory=53152 CPUtime=63.71 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 10226 0 0 0 6197 174 0 0 20 0 1 0 68927165 98037760 13288 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23935 13288 2400 1147 0 11362 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 56224 KiB

[startup+70.4002 s]
/proc/loadavg: 3.68 2.58 2.86 5/268 75189
/proc/meminfo: memFree=127803428/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=95740 memory=53280 CPUtime=70.1 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 10263 0 0 0 6819 191 0 0 20 0 1 0 68927165 98037760 13320 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23935 13320 2400 1147 0 11362 0
Current children cumulated CPU time: 70.16 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 56352 KiB

[startup+73.6002 s]
/proc/loadavg: 3.70 2.60 2.86 5/268 75189
/proc/meminfo: memFree=127795364/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=95740 memory=53536 CPUtime=73.29 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 10322 0 0 0 7130 199 0 0 20 0 1 0 68927165 98037760 13384 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23935 13384 2400 1147 0 11362 0
Current children cumulated CPU time: 73.35 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 56608 KiB

[startup+75.2002 s]
/proc/loadavg: 3.70 2.60 2.86 5/268 75189
/proc/meminfo: memFree=127795364/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=95740 memory=53536 CPUtime=74.88 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 10322 0 0 0 7285 203 0 0 20 0 1 0 68927165 98037760 13384 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23935 13384 2400 1147 0 11362 0
Current children cumulated CPU time: 74.94 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 56608 KiB

[startup+76.8001 s]
/proc/loadavg: 3.70 2.60 2.86 5/268 75189
/proc/meminfo: memFree=127779236/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=95740 memory=53536 CPUtime=76.47 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 10322 0 0 0 7439 208 0 0 20 0 1 0 68927165 98037760 13384 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23935 13384 2400 1147 0 11362 0
Current children cumulated CPU time: 76.53 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 56608 KiB

[startup+77.2002 s]
/proc/loadavg: 3.73 2.63 2.87 5/268 75189
/proc/meminfo: memFree=127755044/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=95740 memory=53536 CPUtime=76.87 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 10322 0 0 0 7478 209 0 0 20 0 1 0 68927165 98037760 13384 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23935 13384 2400 1147 0 11362 0
Current children cumulated CPU time: 76.93 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 56608 KiB

[startup+77.6002 s]
/proc/loadavg: 3.73 2.63 2.87 5/268 75189
/proc/meminfo: memFree=127755044/131249996 swapFree=33010416/33010684
[pid=74942] ppid=74938 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/74942/stat : 74942 (run-opt-ls.sh) S 74938 74942 74262 0 -1 4194304 240 2230 0 0 0 0 6 0 20 0 1 0 68927157 4292608 768 18446744073709551615 94870506237952 94870507132485 140723128829632 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94870507371536 94870507419280 94870525992960 140723128838503 140723128838629 140723128838629 140723128844231 0
/proc/74942/statm: 1048 768 704 219 0 110 0
[pid=74951] ppid=74942 vsize=95740 memory=53536 CPUtime=77.27 cores=1,3
/proc/74951/stat : 74951 (roundingsat) R 74942 74942 74262 0 -1 4194304 10322 0 0 0 7517 210 0 0 20 0 1 0 68927165 98037760 13384 18446744073709551615 4227072 8923433 140729523755568 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35885056 140729523763526 140729523763752 140729523763752 140729523769322 0
/proc/74951/statm: 23935 13384 2400 1147 0 11362 0
Current children cumulated CPU time: 77.33 s
Current children cumulated vsize: 99932 KiB
Current children cumulated memory: 56608 KiB

Child status: 0

Real time (s): 77.6639
CPU time (s): 77.4172
CPU user time (s): 75.3
CPU system time (s): 2.11717
CPU usage (%): 99.6824
Max. virtual memory (cumulated for all children) (KiB): 99932
Max. memory (cumulated for all children) (KiB): 56608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.3
system time used= 2.11717
maximum resident set size= 53536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12814
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= 238
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 74942
#   total CPU time (s): 77.4172
#   total CPU user time (s): 75.3
#   total CPU system time (s): 2.11717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.171508 second user time and 0.367107 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-03 10:47:56
IDJOB=4517722
IDBENCH=176167
IDSOLVER=3355
FILE ID=nodeC030/4517722-1751532476
RUNJOBID= nodeC030-1751532423-74274
SLURM_JOB_ID= 9598677
Free space on /tmp= 432488 MiB

SOLVER NAME= roundingsat-ls+pbsuma 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-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517722-1751532476/watcher-4517722-1751532476 -o /tmp/evaluation-result-4517722-1751532476/solver-4517722-1751532476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751532423-74274 --watchdog 3760  run-opt-ls.sh HOME/instance-4517722-1751532476.opb

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

MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0
RANDOM SEED=850574670

nodeC030 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		: 3600.323
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	: 7000.62
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		: 3601.038
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128954680 kB
MemAvailable:   129642436 kB
Buffers:            2564 kB
Cached:          1479388 kB
SwapCached:           16 kB
Active:           625668 kB
Inactive:        1035860 kB
Active(anon):     193076 kB
Inactive(anon):     4548 kB
Active(file):     432592 kB
Inactive(file):  1031312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14848 kB
Writeback:             0 kB
AnonPages:        182776 kB
Mapped:           113744 kB
Shmem:             18048 kB
KReclaimable:     125780 kB
Slab:             214664 kB
SReclaimable:     125780 kB
SUnreclaim:        88884 kB
KernelStack:        4240 kB
PageTables:         3436 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     508724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432476 MiB
End job on nodeC030 at 2025-07-03 10:49:14