Trace number 4517723
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb |
| MD5SUM | bf082a5f314776883f0e32420df0edd0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 21.8846 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 351 |
| Total number of constraints | 12753 |
| Number of constraints which are clauses | 12740 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| 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 numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4517723-1751527408.opb'
0.00/0.01 c read 0.40MB (5.43ms)
0.00/0.01 c [cnf: #variables 351 #clauses 12754 #duplicates 0 #arr 38597]
0.00/0.02 c output proof to 'PROOFDIR/proof-4517723-1751527408'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 8] (2.37ms)
0.00/0.03 c
0.00/0.03 c detect special group actions
0.00/0.03 c probe for Johnson action (limit=64)
0.00/0.03 c candidate Johnson 13, ar 2
0.00/0.08 c found row 13x28, generating row predicate
0.00/0.08 c found row 7x26, generating row predicate
0.00/0.08 c found Johnson 13, ar 2, block_sz 40
0.00/0.08 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c (55.83ms)
0.00/0.08 c
0.00/0.08 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 14145 #edges 79274]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 1.00*10^0 #generators 0] (1.88ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 3216 #add_vars 1062]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4517723-1751527408.opb.pre'
0.00/0.09 c wrote 0.50MB (1.25ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 55.83ms 70.80% detect_special
0.00/0.09 c 12.08ms 15.31% other
0.00/0.09 c 5.43ms 6.88% parse
0.00/0.09 c 2.37ms 3.01% approx_orbits
0.00/0.09 c 1.88ms 2.39% detect_generic
0.00/0.09 c 1.25ms 1.59% output
0.00/0.09 c 0.01ms 0.02% finalize_order
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 78.85ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.07/0.11 c RoundingSat 2
0.07/0.11 c branch pb25
0.07/0.11 c commit 63f22ad
0.07/0.20 c #variables 1413 #constraints 15969
0.07/0.20 c objective is ce32
0.07/0.20 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.20 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.20 c bounds 12 >= 0 @ 0.070177
0.16/0.29 c rational objective 0
0.26/0.39 c bounds 11 >= 0 @ 0.248789
0.36/0.45 c bounds 11 >= 1 @ 0.308256
0.36/0.46 c bounds 10 >= 1 @ 0.309644
0.36/0.46 c bounds 9 >= 1 @ 0.310358
0.36/0.46 c bounds 8 >= 1 @ 0.310868
0.36/0.46 c bounds 7 >= 1 @ 0.311476
0.36/0.47 c bounds 6 >= 1 @ 0.320852
0.55/0.60 c #Conflicts: 1000 | #Constraints: 16981
0.55/0.60 c #Conflicts: 2000 | #Constraints: 17981
0.55/0.60 c INPROCESSING
0.55/0.60 c GARBAGE COLLECT
0.55/0.60 c rational objective 1
0.85/1.00 c #Conflicts: 3000 | #Constraints: 15493
0.85/1.00 c #Conflicts: 4000 | #Constraints: 16493
0.85/1.00 c INPROCESSING
0.85/1.00 c GARBAGE COLLECT
0.85/1.00 c rational objective 1
1.06/1.15 c bounds 6 >= 2 @ 0.981671
1.35/1.41 c #Conflicts: 5000 | #Constraints: 12887
1.35/1.41 c #Conflicts: 6000 | #Constraints: 13887
1.35/1.41 c INPROCESSING
1.35/1.41 c GARBAGE COLLECT
1.35/1.41 c rational objective 2
1.74/1.87 c #Conflicts: 7000 | #Constraints: 12589
1.74/1.87 c #Conflicts: 8000 | #Constraints: 13589
1.74/1.87 c #Conflicts: 9000 | #Constraints: 14589
1.74/1.87 c INPROCESSING
1.74/1.87 c GARBAGE COLLECT
1.74/1.87 c rational objective 2
2.35/2.41 c #Conflicts: 10000 | #Constraints: 13397
2.35/2.41 c #Conflicts: 11000 | #Constraints: 14397
2.35/2.41 c #Conflicts: 12000 | #Constraints: 15397
2.35/2.41 c INPROCESSING
2.35/2.41 c GARBAGE COLLECT
2.35/2.41 c rational objective 2
2.95/3.02 c #Conflicts: 13000 | #Constraints: 13931
2.95/3.02 c #Conflicts: 14000 | #Constraints: 14931
2.95/3.02 c #Conflicts: 15000 | #Constraints: 15931
2.95/3.02 c INPROCESSING
2.95/3.02 c GARBAGE COLLECT
2.95/3.02 c rational objective 2
3.54/3.67 c #Conflicts: 16000 | #Constraints: 14188
3.54/3.67 c #Conflicts: 17000 | #Constraints: 15188
3.54/3.67 c #Conflicts: 18000 | #Constraints: 16188
3.54/3.67 c INPROCESSING
3.54/3.67 c GARBAGE COLLECT
3.54/3.67 c rational objective 2
4.15/4.22 c #Conflicts: 19000 | #Constraints: 14236
4.15/4.22 c #Conflicts: 20000 | #Constraints: 15236
4.15/4.22 c #Conflicts: 21000 | #Constraints: 16236
4.15/4.22 c INPROCESSING
4.15/4.22 c GARBAGE COLLECT
4.15/4.22 c rational objective 2
4.74/4.86 c #Conflicts: 22000 | #Constraints: 14038
4.74/4.86 c #Conflicts: 23000 | #Constraints: 15038
4.74/4.86 c #Conflicts: 24000 | #Constraints: 16038
4.74/4.86 c #Conflicts: 25000 | #Constraints: 17038
4.74/4.86 c INPROCESSING
4.74/4.86 c GARBAGE COLLECT
4.74/4.86 c rational objective 2
5.64/5.70 c #Conflicts: 26000 | #Constraints: 14637
5.64/5.70 c #Conflicts: 27000 | #Constraints: 15637
5.64/5.70 c #Conflicts: 28000 | #Constraints: 16637
5.64/5.70 c #Conflicts: 29000 | #Constraints: 17637
5.64/5.70 c INPROCESSING
5.64/5.70 c GARBAGE COLLECT
5.64/5.70 c rational objective 2
6.33/6.43 c #Conflicts: 30000 | #Constraints: 15065
6.33/6.43 c #Conflicts: 31000 | #Constraints: 16065
6.33/6.43 c #Conflicts: 32000 | #Constraints: 17065
6.33/6.43 c #Conflicts: 33000 | #Constraints: 18065
6.33/6.43 c INPROCESSING
6.33/6.43 c GARBAGE COLLECT
6.33/6.43 c rational objective 2
7.23/7.30 c #Conflicts: 34000 | #Constraints: 15249
7.23/7.30 c #Conflicts: 35000 | #Constraints: 16249
7.23/7.30 c #Conflicts: 36000 | #Constraints: 17249
7.23/7.30 c bounds 6 >= 3 @ 6.94726
7.23/7.34 c #Conflicts: 37000 | #Constraints: 18252
7.23/7.34 c INPROCESSING
7.23/7.34 c GARBAGE COLLECT
7.23/7.34 c rational objective 3
8.03/8.16 c #Conflicts: 38000 | #Constraints: 15243
8.03/8.16 c #Conflicts: 39000 | #Constraints: 16243
8.03/8.16 c #Conflicts: 40000 | #Constraints: 17243
8.03/8.16 c #Conflicts: 41000 | #Constraints: 18243
8.03/8.16 c INPROCESSING
8.03/8.16 c GARBAGE COLLECT
8.03/8.16 c rational objective 3
8.94/9.02 c #Conflicts: 42000 | #Constraints: 15030
8.94/9.02 c #Conflicts: 43000 | #Constraints: 16030
8.94/9.02 c #Conflicts: 44000 | #Constraints: 17030
8.94/9.02 c #Conflicts: 45000 | #Constraints: 18030
8.94/9.02 c #Conflicts: 46000 | #Constraints: 19030
8.94/9.02 c INPROCESSING
8.94/9.02 c GARBAGE COLLECT
8.94/9.02 c rational objective 3
9.82/9.93 c #Conflicts: 47000 | #Constraints: 15648
9.82/9.93 c #Conflicts: 48000 | #Constraints: 16648
9.82/9.93 c #Conflicts: 49000 | #Constraints: 17648
9.82/9.93 c #Conflicts: 50000 | #Constraints: 18648
9.82/9.93 c #Conflicts: 51000 | #Constraints: 19648
9.82/9.93 c INPROCESSING
9.82/9.93 c GARBAGE COLLECT
9.82/9.93 c rational objective 3
10.72/10.80 c #Conflicts: 52000 | #Constraints: 16064
10.72/10.80 c #Conflicts: 53000 | #Constraints: 17064
10.72/10.80 c #Conflicts: 54000 | #Constraints: 18064
10.72/10.80 c #Conflicts: 55000 | #Constraints: 19064
10.72/10.80 c #Conflicts: 56000 | #Constraints: 20064
10.72/10.80 c INPROCESSING
10.72/10.80 c GARBAGE COLLECT
10.72/10.80 c rational objective 3
11.72/11.89 c #Conflicts: 57000 | #Constraints: 16247
11.72/11.89 c #Conflicts: 58000 | #Constraints: 17247
11.72/11.89 c #Conflicts: 59000 | #Constraints: 18247
11.72/11.89 c #Conflicts: 60000 | #Constraints: 19247
11.72/11.89 c #Conflicts: 61000 | #Constraints: 20247
11.72/11.89 c INPROCESSING
11.72/11.89 c GARBAGE COLLECT
11.72/11.89 c rational objective 3
12.82/12.92 c #Conflicts: 62000 | #Constraints: 16269
12.82/12.92 c #Conflicts: 63000 | #Constraints: 17269
12.82/12.92 c #Conflicts: 64000 | #Constraints: 18269
12.82/12.92 c #Conflicts: 65000 | #Constraints: 19269
12.82/12.92 c #Conflicts: 66000 | #Constraints: 20269
12.82/12.92 c INPROCESSING
12.82/12.92 c GARBAGE COLLECT
12.82/12.92 c rational objective 3
14.02/14.17 c #Conflicts: 67000 | #Constraints: 16056
14.02/14.17 c #Conflicts: 68000 | #Constraints: 17056
14.02/14.17 c #Conflicts: 69000 | #Constraints: 18056
14.02/14.17 c #Conflicts: 70000 | #Constraints: 19056
14.02/14.17 c #Conflicts: 71000 | #Constraints: 20056
14.02/14.17 c #Conflicts: 72000 | #Constraints: 21056
14.02/14.17 c INPROCESSING
14.02/14.17 c GARBAGE COLLECT
14.02/14.17 c rational objective 3
15.11/15.24 c #Conflicts: 73000 | #Constraints: 16674
15.11/15.24 c #Conflicts: 74000 | #Constraints: 17674
15.11/15.24 c #Conflicts: 75000 | #Constraints: 18674
15.11/15.24 c #Conflicts: 76000 | #Constraints: 19674
15.11/15.24 c #Conflicts: 77000 | #Constraints: 20674
15.11/15.24 c #Conflicts: 78000 | #Constraints: 21674
15.11/15.24 c INPROCESSING
15.11/15.24 c GARBAGE COLLECT
15.11/15.24 c rational objective 3
16.41/16.50 c #Conflicts: 79000 | #Constraints: 17056
16.41/16.50 c #Conflicts: 80000 | #Constraints: 18056
16.41/16.50 c #Conflicts: 81000 | #Constraints: 19056
16.41/16.50 c #Conflicts: 82000 | #Constraints: 20056
16.41/16.50 c #Conflicts: 83000 | #Constraints: 21056
16.41/16.50 c #Conflicts: 84000 | #Constraints: 22056
16.41/16.50 c INPROCESSING
16.41/16.50 c GARBAGE COLLECT
16.41/16.50 c rational objective 3
17.41/17.55 c #Conflicts: 85000 | #Constraints: 17267
17.41/17.55 c #Conflicts: 86000 | #Constraints: 18267
17.41/17.55 c #Conflicts: 87000 | #Constraints: 19267
17.41/17.55 c #Conflicts: 88000 | #Constraints: 20267
17.41/17.55 c #Conflicts: 89000 | #Constraints: 21267
17.41/17.55 c #Conflicts: 90000 | #Constraints: 22267
17.41/17.55 c INPROCESSING
17.41/17.55 c GARBAGE COLLECT
17.41/17.55 c rational objective 3
18.80/18.91 c #Conflicts: 91000 | #Constraints: 16062
18.80/18.91 c #Conflicts: 92000 | #Constraints: 17062
18.80/18.91 c #Conflicts: 93000 | #Constraints: 18062
18.80/18.91 c #Conflicts: 94000 | #Constraints: 19062
18.80/18.91 c #Conflicts: 95000 | #Constraints: 20062
18.80/18.91 c #Conflicts: 96000 | #Constraints: 21062
18.80/18.91 c INPROCESSING
18.80/18.91 c GARBAGE COLLECT
18.80/18.91 c rational objective 3
19.90/20.06 c #Conflicts: 97000 | #Constraints: 16418
19.90/20.06 c #Conflicts: 98000 | #Constraints: 17418
19.90/20.06 c #Conflicts: 99000 | #Constraints: 18418
19.90/20.06 c #Conflicts: 100000 | #Constraints: 19418
19.90/20.06 c #Conflicts: 101000 | #Constraints: 20418
19.90/20.06 c #Conflicts: 102000 | #Constraints: 21418
19.90/20.06 c #Conflicts: 103000 | #Constraints: 22418
19.90/20.06 c INPROCESSING
19.90/20.06 c GARBAGE COLLECT
19.90/20.06 c rational objective 3
21.25/21.51 c #Conflicts: 104000 | #Constraints: 17274
21.25/21.51 c #Conflicts: 105000 | #Constraints: 18274
21.25/21.51 c #Conflicts: 106000 | #Constraints: 19274
21.25/21.51 c #Conflicts: 107000 | #Constraints: 20274
21.25/21.51 c #Conflicts: 108000 | #Constraints: 21274
21.25/21.51 c #Conflicts: 109000 | #Constraints: 22274
21.25/21.51 c #Conflicts: 110000 | #Constraints: 23274
21.25/21.51 c INPROCESSING
21.25/21.51 c GARBAGE COLLECT
21.25/21.51 c rational objective 3
22.85/23.16 c #Conflicts: 111000 | #Constraints: 14879
22.85/23.16 c #Conflicts: 112000 | #Constraints: 15879
22.85/23.16 c #Conflicts: 113000 | #Constraints: 16879
22.85/23.16 c #Conflicts: 114000 | #Constraints: 17879
22.85/23.16 c #Conflicts: 115000 | #Constraints: 18879
22.85/23.16 c #Conflicts: 116000 | #Constraints: 19879
22.85/23.16 c #Conflicts: 117000 | #Constraints: 20879
22.85/23.16 c INPROCESSING
22.85/23.16 c GARBAGE COLLECT
22.85/23.16 c rational objective 3
24.24/24.53 c #Conflicts: 118000 | #Constraints: 15259
24.24/24.53 c #Conflicts: 119000 | #Constraints: 16259
24.24/24.53 c #Conflicts: 120000 | #Constraints: 17259
24.24/24.53 c #Conflicts: 121000 | #Constraints: 18259
24.24/24.53 c #Conflicts: 122000 | #Constraints: 19259
24.24/24.53 c #Conflicts: 123000 | #Constraints: 20259
24.24/24.53 c #Conflicts: 124000 | #Constraints: 21259
24.24/24.53 c INPROCESSING
24.24/24.53 c GARBAGE COLLECT
24.24/24.53 c rational objective 3
25.93/26.21 c #Conflicts: 125000 | #Constraints: 15318
25.93/26.21 c #Conflicts: 126000 | #Constraints: 16318
25.93/26.21 c #Conflicts: 127000 | #Constraints: 17318
25.93/26.21 c #Conflicts: 128000 | #Constraints: 18318
25.93/26.21 c #Conflicts: 129000 | #Constraints: 19318
25.93/26.21 c #Conflicts: 130000 | #Constraints: 20318
25.93/26.21 c #Conflicts: 131000 | #Constraints: 21318
25.93/26.21 c INPROCESSING
25.93/26.21 c GARBAGE COLLECT
25.93/26.21 c rational objective 3
27.23/27.58 c #Conflicts: 132000 | #Constraints: 15177
27.23/27.58 c #Conflicts: 133000 | #Constraints: 16177
27.23/27.58 c #Conflicts: 134000 | #Constraints: 17177
27.23/27.58 c #Conflicts: 135000 | #Constraints: 18177
27.23/27.58 c #Conflicts: 136000 | #Constraints: 19177
27.23/27.58 c #Conflicts: 137000 | #Constraints: 20177
27.23/27.58 c #Conflicts: 138000 | #Constraints: 21177
27.23/27.58 c #Conflicts: 139000 | #Constraints: 22177
27.23/27.58 c INPROCESSING
27.23/27.58 c GARBAGE COLLECT
27.23/27.58 c rational objective 3
27.93/28.28 c #Conflicts: 140000 | #Constraints: 15789
27.93/28.28 c #Conflicts: 141000 | #Constraints: 16789
27.93/28.28 c #Conflicts: 142000 | #Constraints: 17789
27.93/28.28 c bounds 6 >= 4 @ 27.111
28.93/29.22 c #Conflicts: 143000 | #Constraints: 18792
28.93/29.22 c #Conflicts: 144000 | #Constraints: 19792
28.93/29.22 c #Conflicts: 145000 | #Constraints: 20792
28.93/29.22 c #Conflicts: 146000 | #Constraints: 21792
28.93/29.22 c #Conflicts: 147000 | #Constraints: 22792
28.93/29.22 c INPROCESSING
28.93/29.22 c GARBAGE COLLECT
28.93/29.22 c rational objective 4
30.63/30.91 c #Conflicts: 148000 | #Constraints: 16192
30.63/30.91 c #Conflicts: 149000 | #Constraints: 17192
30.63/30.91 c #Conflicts: 150000 | #Constraints: 18192
30.63/30.91 c #Conflicts: 151000 | #Constraints: 19192
30.63/30.91 c #Conflicts: 152000 | #Constraints: 20192
30.63/30.91 c #Conflicts: 153000 | #Constraints: 21192
30.63/30.91 c #Conflicts: 154000 | #Constraints: 22192
30.63/30.91 c #Conflicts: 155000 | #Constraints: 23192
30.63/30.91 c INPROCESSING
30.63/30.91 c GARBAGE COLLECT
30.63/30.91 c rational objective 4
32.22/32.51 c #Conflicts: 156000 | #Constraints: 16413
32.22/32.51 c #Conflicts: 157000 | #Constraints: 17413
32.22/32.51 c #Conflicts: 158000 | #Constraints: 18413
32.22/32.51 c #Conflicts: 159000 | #Constraints: 19413
32.22/32.51 c #Conflicts: 160000 | #Constraints: 20413
32.22/32.51 c #Conflicts: 161000 | #Constraints: 21413
32.22/32.51 c #Conflicts: 162000 | #Constraints: 22413
32.22/32.51 c #Conflicts: 163000 | #Constraints: 23413
32.22/32.51 c INPROCESSING
32.22/32.51 c GARBAGE COLLECT
32.22/32.51 c rational objective 4
34.01/34.38 c #Conflicts: 164000 | #Constraints: 16416
34.01/34.38 c #Conflicts: 165000 | #Constraints: 17416
34.01/34.38 c #Conflicts: 166000 | #Constraints: 18416
34.01/34.38 c #Conflicts: 167000 | #Constraints: 19416
34.01/34.38 c #Conflicts: 168000 | #Constraints: 20416
34.01/34.38 c #Conflicts: 169000 | #Constraints: 21416
34.01/34.38 c #Conflicts: 170000 | #Constraints: 22416
34.01/34.38 c #Conflicts: 171000 | #Constraints: 23416
34.01/34.38 c INPROCESSING
34.01/34.38 c GARBAGE COLLECT
34.01/34.38 c rational objective 4
35.71/36.10 c #Conflicts: 172000 | #Constraints: 16224
35.71/36.10 c #Conflicts: 173000 | #Constraints: 17224
35.71/36.10 c #Conflicts: 174000 | #Constraints: 18224
35.71/36.10 c #Conflicts: 175000 | #Constraints: 19224
35.71/36.10 c #Conflicts: 176000 | #Constraints: 20224
35.71/36.10 c #Conflicts: 177000 | #Constraints: 21224
35.71/36.10 c #Conflicts: 178000 | #Constraints: 22224
35.71/36.10 c #Conflicts: 179000 | #Constraints: 23224
35.71/36.10 c #Conflicts: 180000 | #Constraints: 24224
35.71/36.10 c INPROCESSING
35.71/36.10 c GARBAGE COLLECT
35.71/36.10 c rational objective 4
37.81/38.11 c #Conflicts: 181000 | #Constraints: 16816
37.81/38.11 c #Conflicts: 182000 | #Constraints: 17816
37.81/38.11 c #Conflicts: 183000 | #Constraints: 18816
37.81/38.11 c #Conflicts: 184000 | #Constraints: 19816
37.81/38.11 c #Conflicts: 185000 | #Constraints: 20816
37.81/38.11 c #Conflicts: 186000 | #Constraints: 21816
37.81/38.11 c #Conflicts: 187000 | #Constraints: 22816
37.81/38.11 c #Conflicts: 188000 | #Constraints: 23816
37.81/38.11 c #Conflicts: 189000 | #Constraints: 24816
37.81/38.11 c INPROCESSING
37.81/38.11 c GARBAGE COLLECT
37.81/38.11 c rational objective 4
39.60/39.99 c #Conflicts: 190000 | #Constraints: 17214
39.60/39.99 c #Conflicts: 191000 | #Constraints: 18214
39.60/39.99 c #Conflicts: 192000 | #Constraints: 19214
39.60/39.99 c #Conflicts: 193000 | #Constraints: 20214
39.60/39.99 c #Conflicts: 194000 | #Constraints: 21214
39.60/39.99 c #Conflicts: 195000 | #Constraints: 22214
39.60/39.99 c #Conflicts: 196000 | #Constraints: 23214
39.60/39.99 c #Conflicts: 197000 | #Constraints: 24214
39.60/39.99 c #Conflicts: 198000 | #Constraints: 25214
39.60/39.99 c INPROCESSING
39.60/39.99 c GARBAGE COLLECT
39.60/39.99 c rational objective 4
42.00/42.35 c #Conflicts: 199000 | #Constraints: 17429
42.00/42.35 c #Conflicts: 200000 | #Constraints: 18429
42.00/42.35 c #Conflicts: 201000 | #Constraints: 19429
42.00/42.35 c #Conflicts: 202000 | #Constraints: 20429
42.00/42.35 c #Conflicts: 203000 | #Constraints: 21429
42.00/42.35 c #Conflicts: 204000 | #Constraints: 22429
42.00/42.35 c #Conflicts: 205000 | #Constraints: 23429
42.00/42.35 c #Conflicts: 206000 | #Constraints: 24429
42.00/42.35 c #Conflicts: 207000 | #Constraints: 25429
42.00/42.35 c INPROCESSING
42.00/42.35 c GARBAGE COLLECT
42.00/42.35 c rational objective 4
43.89/44.24 c #Conflicts: 208000 | #Constraints: 17429
43.89/44.24 c #Conflicts: 209000 | #Constraints: 18429
43.89/44.24 c #Conflicts: 210000 | #Constraints: 19429
43.89/44.24 c #Conflicts: 211000 | #Constraints: 20429
43.89/44.24 c #Conflicts: 212000 | #Constraints: 21429
43.89/44.24 c #Conflicts: 213000 | #Constraints: 22429
43.89/44.24 c #Conflicts: 214000 | #Constraints: 23429
43.89/44.24 c #Conflicts: 215000 | #Constraints: 24429
43.89/44.24 c #Conflicts: 216000 | #Constraints: 25429
43.89/44.24 c INPROCESSING
43.89/44.24 c GARBAGE COLLECT
43.89/44.24 c rational objective 4
46.18/46.52 c #Conflicts: 217000 | #Constraints: 17223
46.18/46.52 c #Conflicts: 218000 | #Constraints: 18223
46.18/46.52 c #Conflicts: 219000 | #Constraints: 19223
46.18/46.52 c #Conflicts: 220000 | #Constraints: 20223
46.18/46.52 c #Conflicts: 221000 | #Constraints: 21223
46.18/46.52 c #Conflicts: 222000 | #Constraints: 22223
46.18/46.52 c #Conflicts: 223000 | #Constraints: 23223
46.18/46.52 c #Conflicts: 224000 | #Constraints: 24223
46.18/46.52 c #Conflicts: 225000 | #Constraints: 25223
46.18/46.52 c #Conflicts: 226000 | #Constraints: 26223
46.18/46.52 c INPROCESSING
46.18/46.52 c GARBAGE COLLECT
46.18/46.52 c rational objective 4
48.07/48.45 c #Conflicts: 227000 | #Constraints: 17831
48.07/48.45 c #Conflicts: 228000 | #Constraints: 18831
48.07/48.45 c #Conflicts: 229000 | #Constraints: 19831
48.07/48.45 c #Conflicts: 230000 | #Constraints: 20831
48.07/48.45 c #Conflicts: 231000 | #Constraints: 21831
48.07/48.45 c #Conflicts: 232000 | #Constraints: 22831
48.07/48.45 c #Conflicts: 233000 | #Constraints: 23831
48.07/48.45 c #Conflicts: 234000 | #Constraints: 24831
48.07/48.45 c #Conflicts: 235000 | #Constraints: 25831
48.07/48.45 c #Conflicts: 236000 | #Constraints: 26831
48.07/48.45 c INPROCESSING
48.07/48.45 c GARBAGE COLLECT
48.07/48.45 c rational objective 4
49.78/50.14 c #Conflicts: 237000 | #Constraints: 18230
49.78/50.14 c #Conflicts: 238000 | #Constraints: 19234
49.78/50.14 c #Conflicts: 239000 | #Constraints: 20239
49.78/50.14 c #Conflicts: 240000 | #Constraints: 21301
49.78/50.14 c #Conflicts: 241000 | #Constraints: 22311
49.78/50.14 c #Conflicts: 242000 | #Constraints: 23343
49.78/50.14 c #Conflicts: 243000 | #Constraints: 24345
49.78/50.14 c bounds 6 >= 5 @ 48.2672
50.57/50.98 c #Conflicts: 244000 | #Constraints: 25360
50.57/50.98 c #Conflicts: 245000 | #Constraints: 26656
50.57/50.98 c #Conflicts: 246000 | #Constraints: 27706
50.57/50.98 c INPROCESSING
50.57/50.98 c GARBAGE COLLECT
50.57/50.98 c rational objective 5
53.50/54.13 c #Conflicts: 247000 | #Constraints: 14007
53.50/54.13 c #Conflicts: 248000 | #Constraints: 15007
53.50/54.13 c #Conflicts: 249000 | #Constraints: 16007
53.50/54.13 c #Conflicts: 250000 | #Constraints: 17007
53.50/54.13 c #Conflicts: 251000 | #Constraints: 18082
53.50/54.13 c #Conflicts: 252000 | #Constraints: 19273
53.50/54.13 c #Conflicts: 253000 | #Constraints: 20440
53.50/54.13 c #Conflicts: 254000 | #Constraints: 21498
53.50/54.13 c #Conflicts: 255000 | #Constraints: 22570
53.50/54.13 c #Conflicts: 256000 | #Constraints: 23689
53.50/54.13 c INPROCESSING
53.50/54.13 c GARBAGE COLLECT
53.50/54.13 c rational objective 5
55.40/56.09 c #Conflicts: 257000 | #Constraints: 16215
55.40/56.09 c #Conflicts: 258000 | #Constraints: 17215
55.40/56.09 c #Conflicts: 259000 | #Constraints: 18215
55.40/56.09 c #Conflicts: 260000 | #Constraints: 19215
55.40/56.09 c #Conflicts: 261000 | #Constraints: 20215
55.40/56.09 c #Conflicts: 262000 | #Constraints: 21215
55.40/56.09 c #Conflicts: 263000 | #Constraints: 22215
55.40/56.09 c #Conflicts: 264000 | #Constraints: 23215
55.40/56.09 c #Conflicts: 265000 | #Constraints: 24215
55.40/56.09 c #Conflicts: 266000 | #Constraints: 25215
55.40/56.09 c INPROCESSING
55.40/56.09 c GARBAGE COLLECT
55.40/56.09 c rational objective 5
57.58/58.22 c #Conflicts: 267000 | #Constraints: 16687
57.58/58.22 c #Conflicts: 268000 | #Constraints: 17687
57.58/58.22 c #Conflicts: 269000 | #Constraints: 18687
57.58/58.22 c #Conflicts: 270000 | #Constraints: 19687
57.58/58.22 c #Conflicts: 271000 | #Constraints: 20687
57.58/58.22 c #Conflicts: 272000 | #Constraints: 21687
57.58/58.22 c #Conflicts: 273000 | #Constraints: 22687
57.58/58.22 c #Conflicts: 274000 | #Constraints: 23687
57.58/58.22 c #Conflicts: 275000 | #Constraints: 24687
57.58/58.22 c #Conflicts: 276000 | #Constraints: 25687
57.58/58.22 c #Conflicts: 277000 | #Constraints: 26687
57.58/58.22 c INPROCESSING
57.58/58.22 c GARBAGE COLLECT
57.58/58.22 c rational objective 5
59.78/60.42 c #Conflicts: 278000 | #Constraints: 17645
59.78/60.42 c #Conflicts: 279000 | #Constraints: 18645
59.78/60.42 c #Conflicts: 280000 | #Constraints: 19645
59.78/60.42 c #Conflicts: 281000 | #Constraints: 20645
59.78/60.42 c #Conflicts: 282000 | #Constraints: 21645
59.78/60.42 c #Conflicts: 283000 | #Constraints: 22645
59.78/60.42 c #Conflicts: 284000 | #Constraints: 23645
59.78/60.42 c #Conflicts: 285000 | #Constraints: 24645
59.78/60.42 c #Conflicts: 286000 | #Constraints: 25645
59.78/60.42 c #Conflicts: 287000 | #Constraints: 26645
59.78/60.42 c #Conflicts: 288000 | #Constraints: 27645
59.78/60.42 c INPROCESSING
59.78/60.42 c GARBAGE COLLECT
59.78/60.42 c rational objective 5
62.26/62.96 c #Conflicts: 289000 | #Constraints: 18226
62.26/62.96 c #Conflicts: 290000 | #Constraints: 19227
62.26/62.96 c #Conflicts: 291000 | #Constraints: 20237
62.26/62.96 c #Conflicts: 292000 | #Constraints: 21242
62.26/62.96 c #Conflicts: 293000 | #Constraints: 22274
62.26/62.96 c #Conflicts: 294000 | #Constraints: 23287
62.26/62.96 c #Conflicts: 295000 | #Constraints: 24309
62.26/62.96 c #Conflicts: 296000 | #Constraints: 25311
62.26/62.96 c #Conflicts: 297000 | #Constraints: 26315
62.26/62.96 c #Conflicts: 298000 | #Constraints: 27327
62.26/62.96 c #Conflicts: 299000 | #Constraints: 28330
62.26/62.96 c INPROCESSING
62.26/62.96 c GARBAGE COLLECT
62.26/62.96 c rational objective 5
64.37/65.06 c #Conflicts: 300000 | #Constraints: 18582
64.37/65.06 c #Conflicts: 301000 | #Constraints: 19582
64.37/65.06 c #Conflicts: 302000 | #Constraints: 20582
64.37/65.06 c #Conflicts: 303000 | #Constraints: 21582
64.37/65.06 c #Conflicts: 304000 | #Constraints: 22582
64.37/65.06 c #Conflicts: 305000 | #Constraints: 23582
64.37/65.06 c #Conflicts: 306000 | #Constraints: 24582
64.37/65.06 c #Conflicts: 307000 | #Constraints: 25582
64.37/65.06 c #Conflicts: 308000 | #Constraints: 26582
64.37/65.06 c #Conflicts: 309000 | #Constraints: 27582
64.37/65.06 c #Conflicts: 310000 | #Constraints: 28582
64.37/65.06 c INPROCESSING
64.37/65.06 c GARBAGE COLLECT
64.37/65.06 c rational objective 5
66.95/67.67 c #Conflicts: 311000 | #Constraints: 18587
66.95/67.67 c #Conflicts: 312000 | #Constraints: 19587
66.95/67.67 c #Conflicts: 313000 | #Constraints: 20587
66.95/67.67 c #Conflicts: 314000 | #Constraints: 21587
66.95/67.67 c #Conflicts: 315000 | #Constraints: 22587
66.95/67.67 c #Conflicts: 316000 | #Constraints: 23587
66.95/67.67 c #Conflicts: 317000 | #Constraints: 24587
66.95/67.67 c #Conflicts: 318000 | #Constraints: 25587
66.95/67.67 c #Conflicts: 319000 | #Constraints: 26587
66.95/67.67 c #Conflicts: 320000 | #Constraints: 27587
66.95/67.67 c #Conflicts: 321000 | #Constraints: 28587
66.95/67.67 c INPROCESSING
66.95/67.67 c GARBAGE COLLECT
66.95/67.67 c rational objective 5
69.65/70.30 c #Conflicts: 322000 | #Constraints: 16984
69.65/70.30 c #Conflicts: 323000 | #Constraints: 17984
69.65/70.30 c #Conflicts: 324000 | #Constraints: 18984
69.65/70.30 c #Conflicts: 325000 | #Constraints: 19984
69.65/70.30 c #Conflicts: 326000 | #Constraints: 20984
69.65/70.30 c #Conflicts: 327000 | #Constraints: 21984
69.65/70.30 c #Conflicts: 328000 | #Constraints: 22984
69.65/70.30 c #Conflicts: 329000 | #Constraints: 23984
69.65/70.30 c #Conflicts: 330000 | #Constraints: 24984
69.65/70.30 c #Conflicts: 331000 | #Constraints: 25984
69.65/70.30 c #Conflicts: 332000 | #Constraints: 26984
69.65/70.30 c #Conflicts: 333000 | #Constraints: 27984
69.65/70.30 c INPROCESSING
69.65/70.30 c GARBAGE COLLECT
69.65/70.30 c rational objective 5
72.24/72.90 c #Conflicts: 334000 | #Constraints: 17917
72.24/72.90 c #Conflicts: 335000 | #Constraints: 18917
72.24/72.90 c #Conflicts: 336000 | #Constraints: 19917
72.24/72.90 c #Conflicts: 337000 | #Constraints: 20917
72.24/72.90 c #Conflicts: 338000 | #Constraints: 21917
72.24/72.90 c #Conflicts: 339000 | #Constraints: 22917
72.24/72.90 c #Conflicts: 340000 | #Constraints: 23917
72.24/72.90 c #Conflicts: 341000 | #Constraints: 24917
72.24/72.90 c #Conflicts: 342000 | #Constraints: 25917
72.24/72.90 c #Conflicts: 343000 | #Constraints: 26917
72.24/72.90 c #Conflicts: 344000 | #Constraints: 27917
72.24/72.90 c #Conflicts: 345000 | #Constraints: 28917
72.24/72.90 c INPROCESSING
72.24/72.90 c GARBAGE COLLECT
72.24/72.90 c rational objective 5
74.74/75.43 c #Conflicts: 346000 | #Constraints: 18472
74.74/75.43 c #Conflicts: 347000 | #Constraints: 19472
74.74/75.43 c #Conflicts: 348000 | #Constraints: 20472
74.74/75.43 c #Conflicts: 349000 | #Constraints: 21472
74.74/75.43 c #Conflicts: 350000 | #Constraints: 22472
74.74/75.43 c #Conflicts: 351000 | #Constraints: 23472
74.74/75.43 c #Conflicts: 352000 | #Constraints: 24472
74.74/75.43 c #Conflicts: 353000 | #Constraints: 25472
74.74/75.43 c #Conflicts: 354000 | #Constraints: 26472
74.74/75.43 c #Conflicts: 355000 | #Constraints: 27472
74.74/75.43 c #Conflicts: 356000 | #Constraints: 28472
74.74/75.43 c #Conflicts: 357000 | #Constraints: 29472
74.74/75.43 c INPROCESSING
74.74/75.43 c GARBAGE COLLECT
74.74/75.43 c rational objective 5
77.22/77.99 c #Conflicts: 358000 | #Constraints: 18713
77.22/77.99 c #Conflicts: 359000 | #Constraints: 19713
77.22/77.99 c #Conflicts: 360000 | #Constraints: 20713
77.22/77.99 c #Conflicts: 361000 | #Constraints: 21713
77.22/77.99 c #Conflicts: 362000 | #Constraints: 22713
77.22/77.99 c #Conflicts: 363000 | #Constraints: 23713
77.22/77.99 c #Conflicts: 364000 | #Constraints: 24713
77.22/77.99 c #Conflicts: 365000 | #Constraints: 25713
77.22/77.99 c #Conflicts: 366000 | #Constraints: 26713
77.22/77.99 c #Conflicts: 367000 | #Constraints: 27713
77.22/77.99 c #Conflicts: 368000 | #Constraints: 28713
77.22/77.99 c #Conflicts: 369000 | #Constraints: 29713
77.22/77.99 c INPROCESSING
77.22/77.99 c GARBAGE COLLECT
77.22/77.99 c rational objective 5
80.22/80.98 c #Conflicts: 370000 | #Constraints: 18754
80.22/80.98 c #Conflicts: 371000 | #Constraints: 19754
80.22/80.98 c #Conflicts: 372000 | #Constraints: 20754
80.22/80.98 c #Conflicts: 373000 | #Constraints: 21754
80.22/80.98 c #Conflicts: 374000 | #Constraints: 22754
80.22/80.98 c #Conflicts: 375000 | #Constraints: 23754
80.22/80.98 c #Conflicts: 376000 | #Constraints: 24754
80.22/80.98 c #Conflicts: 377000 | #Constraints: 25754
80.22/80.98 c #Conflicts: 378000 | #Constraints: 26754
80.22/80.98 c #Conflicts: 379000 | #Constraints: 27754
80.22/80.98 c #Conflicts: 380000 | #Constraints: 28754
80.22/80.98 c #Conflicts: 381000 | #Constraints: 29754
80.22/80.98 c INPROCESSING
80.22/80.98 c GARBAGE COLLECT
80.22/80.98 c rational objective 5
83.01/83.86 c #Conflicts: 382000 | #Constraints: 16914
83.01/83.86 c #Conflicts: 383000 | #Constraints: 17914
83.01/83.86 c #Conflicts: 384000 | #Constraints: 18914
83.01/83.86 c #Conflicts: 385000 | #Constraints: 19914
83.01/83.86 c #Conflicts: 386000 | #Constraints: 20914
83.01/83.86 c #Conflicts: 387000 | #Constraints: 21914
83.01/83.86 c #Conflicts: 388000 | #Constraints: 22914
83.01/83.86 c #Conflicts: 389000 | #Constraints: 23914
83.01/83.86 c #Conflicts: 390000 | #Constraints: 24914
83.01/83.86 c #Conflicts: 391000 | #Constraints: 25914
83.01/83.86 c #Conflicts: 392000 | #Constraints: 26914
83.01/83.86 c #Conflicts: 393000 | #Constraints: 27914
83.01/83.86 c #Conflicts: 394000 | #Constraints: 28914
83.01/83.86 c INPROCESSING
83.01/83.86 c GARBAGE COLLECT
83.01/83.86 c rational objective 5
86.19/87.07 c #Conflicts: 395000 | #Constraints: 17542
86.19/87.07 c #Conflicts: 396000 | #Constraints: 18542
86.19/87.07 c #Conflicts: 397000 | #Constraints: 19542
86.19/87.07 c #Conflicts: 398000 | #Constraints: 20542
86.19/87.07 c #Conflicts: 399000 | #Constraints: 21542
86.19/87.07 c #Conflicts: 400000 | #Constraints: 22542
86.19/87.07 c #Conflicts: 401000 | #Constraints: 23542
86.19/87.07 c #Conflicts: 402000 | #Constraints: 24542
86.19/87.07 c #Conflicts: 403000 | #Constraints: 25542
86.19/87.07 c #Conflicts: 404000 | #Constraints: 26542
86.19/87.07 c #Conflicts: 405000 | #Constraints: 27542
86.19/87.07 c #Conflicts: 406000 | #Constraints: 28542
86.19/87.07 c #Conflicts: 407000 | #Constraints: 29542
86.19/87.07 c INPROCESSING
86.19/87.07 c GARBAGE COLLECT
86.19/87.07 c rational objective 5
89.08/89.92 c #Conflicts: 408000 | #Constraints: 18044
89.08/89.92 c #Conflicts: 409000 | #Constraints: 19044
89.08/89.92 c #Conflicts: 410000 | #Constraints: 20044
89.08/89.92 c #Conflicts: 411000 | #Constraints: 21044
89.08/89.92 c #Conflicts: 412000 | #Constraints: 22044
89.08/89.92 c #Conflicts: 413000 | #Constraints: 23044
89.08/89.92 c #Conflicts: 414000 | #Constraints: 24044
89.08/89.92 c #Conflicts: 415000 | #Constraints: 25044
89.08/89.92 c #Conflicts: 416000 | #Constraints: 26044
89.08/89.92 c #Conflicts: 417000 | #Constraints: 27044
89.08/89.92 c #Conflicts: 418000 | #Constraints: 28044
89.08/89.92 c #Conflicts: 419000 | #Constraints: 29044
89.08/89.92 c bounds 6 >= 6 @ 86.4827
89.08/89.92 c cpu time 86.4827 s
89.08/89.92 c deterministic time 1802205610 1.80e+09
89.08/89.92 c optimization time 0.006324 s
89.08/89.92 c total solve time 86.4109 s
89.08/89.92 c core-guided solve time 43.2338 s
89.08/89.92 c propagation time 57.8999 s
89.08/89.92 c conflict analysis time 19.4761 s
89.08/89.92 c propagations 33005715
89.08/89.92 c resolve steps 6441263
89.08/89.92 c decisions 548012
89.08/89.92 c conflicts 419190
89.08/89.92 c restarts 1019
89.08/89.92 c inprocessing phases 55
89.08/89.92 c garbage collections 55 ,( 100.00 )
89.08/89.92 c input clauses 15966 ,( 99.83 )
89.08/89.92 c input cardinalities 24 ,( 0.15 )
89.08/89.92 c input general constraints 3 ,( 0.02 )
89.08/89.92 c input average constraint length 3.02
89.08/89.92 c input average constraint degree 1.01
89.08/89.92 c learned clauses 415754 ,( 98.81 )
89.08/89.92 c learned cardinalities 152 ,( 0.04 )
89.08/89.92 c learned general constraints 4837 ,( 1.15 )
89.08/89.92 c learned average constraint length 81.59
89.08/89.92 c learned average constraint degree 10572690.17
89.08/89.92 c watched CF 32, 64, 128, Arb: 1495 , 0 , 0 , 0
89.08/89.92 c counting CF 32, 64, 128, Arb: 3346 , 0 , 0 , 0
89.08/89.92 c watched constraints 1495 ,( 30.89 )
89.08/89.92 c counting constraints 3345 ,( 69.11 )
89.08/89.92 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 302922757 , 4459248 , 5677193 ,( 1021263 , 4655930 )
89.08/89.92 c gcd simplifications 215
89.08/89.92 c detected cardinalities 5
89.08/89.92 c weakened non-implied lits 1272942
89.08/89.92 c weakened non-implying lits 8
89.08/89.92 c original variables 1413
89.08/89.92 c clausal propagations 30135529
89.08/89.92 c cardinality propagations 2048984
89.08/89.92 c watched propagations 33078
89.08/89.92 c counting propagations 365914
89.08/89.92 c watch lookups 397615584
89.08/89.92 c watch backjump lookups 0
89.08/89.92 c watch checks 1109216391
89.08/89.92 c propagation checks 107933795
89.08/89.92 c constraint additions 119492069
89.08/89.92 c trail pops 33972388
89.08/89.92 c formula constraints 15969
89.08/89.92 c learned constraints 419184
89.08/89.92 c bound constraints 11
89.08/89.92 c core-guided constraints 13
89.08/89.92 c encountered formula constraints 2986794
89.08/89.92 c encountered learned constraints 3855715
89.08/89.92 c encountered bound constraints 7
89.08/89.92 c encountered core-guided constraints 7
89.08/89.92 c LP total time 39.1502 s
89.08/89.92 c LP solve time 32.89 s
89.08/89.92 c LP constraints added 17015
89.08/89.92 c LP constraints removed 1018
89.08/89.92 c LP pivots internal 419205
89.08/89.92 c LP pivots root 2450
89.08/89.92 c LP calls 11549
89.08/89.92 c LP optimalities 10199
89.08/89.92 c LP no pivot count 472
89.08/89.92 c LP infeasibilities 1349
89.08/89.92 c LP valid Farkas constraints 1349
89.08/89.92 c LP learned Farkas constraints 1
89.08/89.92 c LP basis resets 0
89.08/89.92 c LP cycling count 0
89.08/89.92 c LP singular count 0
89.08/89.92 c LP no primal count 0
89.08/89.92 c LP no farkas count 0
89.08/89.92 c LP other issue count 0
89.08/89.92 c LP Gomory cuts 209
89.08/89.92 c LP learned cuts 837
89.08/89.92 c LP deleted cuts 1018
89.08/89.92 c LP encountered Gomory constraints 17291
89.08/89.92 c LP encountered Farkas constraints 631
89.08/89.92 c LP encountered learned Farkas constraints 7
89.08/89.92 c CG auxiliary variables introduced 5
89.08/89.92 c CG solutions found 6
89.08/89.92 c CG cores constructed 5
89.08/89.92 c CG core cardinality constraints returned 0
89.08/89.92 c CG unit cores 0
89.08/89.92 c CG single cores 5
89.08/89.92 c CG blocks removed during cardinality reduction 0
89.08/89.92 c CG first core best 0
89.08/89.92 c CG decision core best 0
89.08/89.92 c CG core reduction tie 0
89.08/89.92 c CG core degree average 1.00
89.08/89.92 c CG core slack average 2.00
89.08/89.92 c CG core upper bound improvements 1
89.08/89.92 c STR number of successful calls 0
89.08/89.92 c STR number of unsuccessful calls 0
89.08/89.92 c STR number of inconclusive calls 0
89.08/89.92 c STR number of successful attempts 0
89.08/89.92 c STR number of unsuccessful attempts 0
89.08/89.92 c STR number of inconclusive attempts 0
89.08/89.92 c STR average degree increase per successful call inf
89.08/89.92 c STR average degree increase per successful attempt inf
89.08/89.92 c STR total number of conflicts for successful attempts 0
89.08/89.92 c STR total number of conflicts for unsuccessful attempts 0
89.08/89.92 c STR total number of conflicts for inconclusive attempts 0
89.08/89.92 c STR average number of conflicts per successful attempt inf
89.08/89.92 c STR average number of conflicts per unsuccessful attempt inf
89.08/89.92 c STR average number of conflicts per inconclusive attempt inf
89.08/89.92 c AVG.sumWPerc 51.76
89.08/89.92 c bigint constraints 0
89.08/89.92 o 6
89.08/89.92 s OPTIMUM FOUND
89.08/89.98 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
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Thu Jul 3 12:15:01 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 6 <= obj <= 6
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 6 <= obj <= 6
--summary--
ALL OK
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (50586 MiB free)
memory of node 1: 64507 MiB (51658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517723-1751527408/watcher-4517723-1751527408 -o /tmp/evaluation-result-4517723-1751527408/solver-4517723-1751527408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751526722-80888 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4517723-1751527408.opb PROOFDIR/proof-4517723-1751527408
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=81805, runsolver pid=81802
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 4.07 3.82 2.81 5/275 81808
/proc/meminfo: memFree=104704432/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=5932 memory=128 CPUtime=0 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4456448 47 0 0 0 0 0 0 0 20 0 1 0 68418691 6074368 32 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 1483 32 32 1147 0 51 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10124 KiB
Current children cumulated memory: 3072 KiB
[startup+0.205622 s]*
/proc/loadavg: 4.07 3.82 2.81 5/275 81808
/proc/meminfo: memFree=104685980/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=75208 memory=31192 CPUtime=0.09 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 5359 0 0 0 7 2 0 0 20 0 1 0 68418691 77012992 7798 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 18802 7798 2272 1147 0 6229 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 79400 KiB
Current children cumulated memory: 34136 KiB
[startup+0.305594 s]*
/proc/loadavg: 4.07 3.82 2.81 5/275 81808
/proc/meminfo: memFree=104675900/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=79020 memory=35416 CPUtime=0.19 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 6350 0 0 0 16 3 0 0 20 0 1 0 68418691 80916480 8854 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 19755 8854 2336 1147 0 7182 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 83212 KiB
Current children cumulated memory: 38360 KiB
[startup+0.700178 s]
/proc/loadavg: 4.07 3.82 2.81 5/275 81808
/proc/meminfo: memFree=104666136/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=82648 memory=38104 CPUtime=0.58 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 7000 0 0 0 53 5 0 0 20 0 1 0 68418691 84631552 9526 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 20662 9526 2400 1147 0 8089 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 86840 KiB
Current children cumulated memory: 41048 KiB
[startup+1.50015 s]
/proc/loadavg: 4.07 3.82 2.81 5/275 81808
/proc/meminfo: memFree=104657140/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=83336 memory=38872 CPUtime=1.37 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 7172 0 0 0 131 6 0 0 20 0 1 0 68418691 85336064 9718 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 20834 9718 2400 1147 0 8261 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 41816 KiB
[startup+3.10541 s]
/proc/loadavg: 4.07 3.82 2.81 5/275 81808
/proc/meminfo: memFree=104603120/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=83424 memory=38864 CPUtime=2.98 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 7232 0 0 0 287 11 0 0 20 0 1 0 68418691 85426176 9716 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 20856 9716 2400 1147 0 8283 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 87616 KiB
Current children cumulated memory: 41808 KiB
[startup+6.30015 s]
/proc/loadavg: 4.06 3.83 2.82 5/275 81808
/proc/meminfo: memFree=104510032/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=84532 memory=42144 CPUtime=6.17 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 7520 0 0 0 596 21 0 0 20 0 1 0 68418691 86560768 10536 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 21133 10536 2400 1147 0 8560 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 88724 KiB
Current children cumulated memory: 45088 KiB
[startup+12.7001 s]
/proc/loadavg: 4.06 3.83 2.82 5/275 81808
/proc/meminfo: memFree=104348904/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=85468 memory=42912 CPUtime=12.55 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 7739 0 0 0 1216 39 0 0 20 0 1 0 68418691 87519232 10728 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 21367 10728 2400 1147 0 8794 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 89660 KiB
Current children cumulated memory: 45856 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 3.84 2.84 5/275 81809
/proc/meminfo: memFree=104048424/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=87748 memory=45472 CPUtime=25.17 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 8359 0 0 0 2441 76 0 0 20 0 1 0 68418691 89853952 11368 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 21937 11368 2400 1147 0 9364 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 91940 KiB
Current children cumulated memory: 48416 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 3.87 2.88 5/276 81811
/proc/meminfo: memFree=103573088/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=96280 memory=53024 CPUtime=50.71 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 10271 0 0 0 4920 151 0 0 20 0 1 0 68418691 98590720 13256 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24070 13256 2400 1147 0 11497 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 100472 KiB
Current children cumulated memory: 55968 KiB
[startup+89.9913 s]
# the end of solver process 81805 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=86.5589 s, system=2.56987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.09 3.87 2.88 5/276 81811
/proc/meminfo: memFree=103573088/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=96280 memory=53024 CPUtime=50.8 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 10271 0 0 0 4929 151 0 0 20 0 1 0 68418691 98590720 13256 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24070 13256 2400 1147 0 11497 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 100472 KiB
Current children cumulated memory: 55968 KiB
[startup+76.8001 s]
/proc/loadavg: 4.06 3.88 2.91 5/276 81814
/proc/meminfo: memFree=103104036/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56224 CPUtime=76.06 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11074 0 0 0 7388 218 0 0 20 0 1 0 68418691 101371904 14056 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14056 2400 1147 0 12176 0
Current children cumulated CPU time: 76.13 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59168 KiB
[startup+83.2002 s]
/proc/loadavg: 4.05 3.88 2.92 5/275 81814
/proc/meminfo: memFree=102978560/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56608 CPUtime=82.34 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11169 0 0 0 7997 237 0 0 20 0 1 0 68418691 101371904 14152 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14152 2400 1147 0 12176 0
Current children cumulated CPU time: 82.41 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59552 KiB
[startup+86.4002 s]
/proc/loadavg: 4.05 3.89 2.92 5/275 81814
/proc/meminfo: memFree=102912860/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56608 CPUtime=85.52 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11169 0 0 0 8306 246 0 0 20 0 1 0 68418691 101371904 14152 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14152 2400 1147 0 12176 0
Current children cumulated CPU time: 85.59 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59552 KiB
[startup+88.0001 s]*
/proc/loadavg: 4.05 3.89 2.92 5/275 81814
/proc/meminfo: memFree=102837220/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56608 CPUtime=87.12 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11169 0 0 0 8461 251 0 0 20 0 1 0 68418691 101371904 14152 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14152 2400 1147 0 12176 0
Current children cumulated CPU time: 87.19 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59552 KiB
[startup+88.8001 s]
/proc/loadavg: 4.05 3.89 2.92 5/275 81814
/proc/meminfo: memFree=102837220/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56608 CPUtime=87.91 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11169 0 0 0 8538 253 0 0 20 0 1 0 68418691 101371904 14152 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14152 2400 1147 0 12176 0
Current children cumulated CPU time: 87.98 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59552 KiB
[startup+89.6001 s]
/proc/loadavg: 4.05 3.89 2.92 5/275 81814
/proc/meminfo: memFree=102768616/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56608 CPUtime=88.71 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11169 0 0 0 8616 255 0 0 20 0 1 0 68418691 101371904 14152 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14152 2400 1147 0 12176 0
Current children cumulated CPU time: 88.78 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59552 KiB
[startup+89.8001 s]
/proc/loadavg: 4.05 3.89 2.92 5/275 81814
/proc/meminfo: memFree=102768616/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56608 CPUtime=88.91 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11169 0 0 0 8636 255 0 0 20 0 1 0 68418691 101371904 14152 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14152 2400 1147 0 12176 0
Current children cumulated CPU time: 88.98 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59552 KiB
[startup+89.9001 s]
/proc/loadavg: 4.05 3.89 2.92 5/275 81814
/proc/meminfo: memFree=102768616/131249996 swapFree=33010684/33010684
[pid=81805] ppid=81802 vsize=4192 memory=2944 CPUtime=0.07 cores=4,6
/proc/81805/stat : 81805 (run-opt-ls-log.) S 81802 81805 80877 0 -1 4194304 241 2185 0 0 0 0 7 0 20 0 1 0 68418681 4292608 736 18446744073709551615 93861582643200 93861583537733 140720939372800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93861583776784 93861583824528 93861608570880 140720939378971 140720939379169 140720939379169 140720939384771 0
/proc/81805/statm: 1048 736 672 219 0 110 0
[pid=81808] ppid=81805 vsize=98996 memory=56608 CPUtime=89.01 cores=4,6
/proc/81808/stat : 81808 (roundingsat) R 81805 81805 80877 0 -1 4194304 11169 0 0 0 8646 255 0 0 20 0 1 0 68418691 101371904 14152 18446744073709551615 4227072 8923433 140731516067984 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43098112 140731516074230 140731516074536 140731516074536 140731516080106 0
/proc/81808/statm: 24749 14152 2400 1147 0 12176 0
Current children cumulated CPU time: 89.08 s
Current children cumulated vsize: 103188 KiB
Current children cumulated memory: 59552 KiB
Child status: 0
Real time (s): 89.9914
CPU time (s): 89.1288
CPU user time (s): 86.5589
CPU system time (s): 2.56987
CPU usage (%): 99.0415
Max. virtual memory (cumulated for all children) (KiB): 103188
Max. memory (cumulated for all children) (KiB): 59552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.5589
system time used= 2.56987
maximum resident set size= 56608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1562
involuntary context switches= 214
# summary of solver processes directly reported to runsolver:
# pid: 81805
# total CPU time (s): 89.1288
# total CPU user time (s): 86.5589
# total CPU system time (s): 2.56987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.157684 second user time and 0.445431 second system time
The end
Launcher Data
Begin job on nodeC024 at 2025-07-03 09:23:28
IDJOB=4517723
IDBENCH=176167
IDSOLVER=3356
FILE ID=nodeC024/4517723-1751527408
RUNJOBID= nodeC024-1751526722-80888
SLURM_JOB_ID= 9598658
Free space on /tmp= 432320 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517723-1751527408/watcher-4517723-1751527408 -o /tmp/evaluation-result-4517723-1751527408/solver-4517723-1751527408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751526722-80888 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4517723-1751527408.opb PROOFDIR/proof-4517723-1751527408
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0
RANDOM SEED=1906175590
nodeC024 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.669
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.36
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.129
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.36
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.581
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.36
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.210
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.36
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.701
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.36
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.762
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.36
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 : 3597.699
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.36
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 : 3659.679
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 104699180 kB
MemAvailable: 125334104 kB
Buffers: 3280 kB
Cached: 21402028 kB
SwapCached: 0 kB
Active: 4628368 kB
Inactive: 21082108 kB
Active(anon): 4323340 kB
Inactive(anon): 0 kB
Active(file): 305028 kB
Inactive(file): 21082108 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 6050088 kB
Writeback: 0 kB
AnonPages: 4306672 kB
Mapped: 118592 kB
Shmem: 18064 kB
KReclaimable: 173652 kB
Slab: 454912 kB
SReclaimable: 173652 kB
SUnreclaim: 281260 kB
KernelStack: 4480 kB
PageTables: 12848 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5286288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150776 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1538048 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432312 MiB
End job on nodeC024 at 2025-07-03 09:24:58