Trace number 4532128
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.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4532128-1752597054.opb'
0.00/0.02 c read 0.40MB (5.42ms)
0.00/0.02 c [cnf: #variables 351 #clauses 12754 #duplicates 0 #arr 38597]
0.00/0.02 c output proof to 'PROOFDIR/proof-4532128-1752597054'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.03 c [group: #orbits ~= 8] (2.40ms)
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.19ms)
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.90ms)
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-4532128-1752597054.opb.pre'
0.00/0.09 c wrote 0.50MB (1.23ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 55.19ms 78.30% detect_special
0.00/0.09 c 5.42ms 7.69% parse
0.00/0.09 c 4.34ms 6.16% other
0.00/0.09 c 2.40ms 3.40% approx_orbits
0.00/0.09 c 1.90ms 2.69% detect_generic
0.00/0.09 c 1.23ms 1.74% output
0.00/0.09 c 0.01ms 0.02% finalize_order
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 70.48ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 0f876b3
0.06/0.19 c #variables 1413 #constraints 15969
0.06/0.19 c objective is ce32
0.06/0.20 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.20 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.20 c bounds 12 >= 0 @ 0.083631
0.17/0.28 c rational objective 0
0.26/0.38 c bounds 11 >= 0 @ 0.265295
0.36/0.45 c bounds 11 >= 1 @ 0.327332
0.36/0.45 c bounds 10 >= 1 @ 0.327941
0.36/0.45 c bounds 9 >= 1 @ 0.328423
0.36/0.45 c bounds 8 >= 1 @ 0.328423
0.36/0.45 c bounds 7 >= 1 @ 0.328424
0.36/0.46 c bounds 6 >= 1 @ 0.338131
0.46/0.59 c #Conflicts: 1000 | #Constraints: 16981
0.46/0.59 c #Conflicts: 2000 | #Constraints: 17981
0.46/0.59 c INPROCESSING
0.46/0.59 c GARBAGE COLLECT
0.46/0.59 c rational objective 1
0.84/0.98 c #Conflicts: 3000 | #Constraints: 15493
0.84/0.98 c #Conflicts: 4000 | #Constraints: 16493
0.84/0.98 c INPROCESSING
0.84/0.98 c GARBAGE COLLECT
0.84/0.98 c rational objective 1
1.05/1.13 c bounds 6 >= 2 @ 0.976269
1.24/1.39 c #Conflicts: 5000 | #Constraints: 12887
1.24/1.39 c #Conflicts: 6000 | #Constraints: 13887
1.24/1.39 c INPROCESSING
1.24/1.39 c GARBAGE COLLECT
1.24/1.39 c rational objective 2
1.74/1.83 c #Conflicts: 7000 | #Constraints: 12589
1.74/1.83 c #Conflicts: 8000 | #Constraints: 13589
1.74/1.83 c #Conflicts: 9000 | #Constraints: 14589
1.74/1.83 c INPROCESSING
1.74/1.83 c GARBAGE COLLECT
1.74/1.83 c rational objective 2
2.24/2.36 c #Conflicts: 10000 | #Constraints: 13397
2.24/2.36 c #Conflicts: 11000 | #Constraints: 14397
2.24/2.36 c #Conflicts: 12000 | #Constraints: 15397
2.24/2.36 c INPROCESSING
2.24/2.36 c GARBAGE COLLECT
2.24/2.36 c rational objective 2
2.84/2.95 c #Conflicts: 13000 | #Constraints: 13931
2.84/2.95 c #Conflicts: 14000 | #Constraints: 14931
2.84/2.95 c #Conflicts: 15000 | #Constraints: 15931
2.84/2.95 c INPROCESSING
2.84/2.95 c GARBAGE COLLECT
2.84/2.95 c rational objective 2
3.54/3.61 c #Conflicts: 16000 | #Constraints: 14188
3.54/3.61 c #Conflicts: 17000 | #Constraints: 15188
3.54/3.61 c #Conflicts: 18000 | #Constraints: 16188
3.54/3.61 c INPROCESSING
3.54/3.61 c GARBAGE COLLECT
3.54/3.61 c rational objective 2
4.04/4.15 c #Conflicts: 19000 | #Constraints: 14236
4.04/4.15 c #Conflicts: 20000 | #Constraints: 15236
4.04/4.15 c #Conflicts: 21000 | #Constraints: 16236
4.04/4.15 c INPROCESSING
4.04/4.15 c GARBAGE COLLECT
4.04/4.15 c rational objective 2
4.63/4.78 c #Conflicts: 22000 | #Constraints: 14038
4.63/4.78 c #Conflicts: 23000 | #Constraints: 15038
4.63/4.78 c #Conflicts: 24000 | #Constraints: 16038
4.63/4.78 c #Conflicts: 25000 | #Constraints: 17038
4.63/4.78 c INPROCESSING
4.63/4.78 c GARBAGE COLLECT
4.63/4.78 c rational objective 2
5.43/5.60 c #Conflicts: 26000 | #Constraints: 14637
5.43/5.60 c #Conflicts: 27000 | #Constraints: 15637
5.43/5.60 c #Conflicts: 28000 | #Constraints: 16637
5.43/5.60 c #Conflicts: 29000 | #Constraints: 17637
5.43/5.60 c INPROCESSING
5.43/5.60 c GARBAGE COLLECT
5.43/5.60 c rational objective 2
6.23/6.31 c #Conflicts: 30000 | #Constraints: 15065
6.23/6.31 c #Conflicts: 31000 | #Constraints: 16065
6.23/6.31 c #Conflicts: 32000 | #Constraints: 17065
6.23/6.31 c #Conflicts: 33000 | #Constraints: 18065
6.23/6.31 c INPROCESSING
6.23/6.31 c GARBAGE COLLECT
6.23/6.31 c rational objective 2
7.04/7.16 c #Conflicts: 34000 | #Constraints: 15249
7.04/7.16 c #Conflicts: 35000 | #Constraints: 16249
7.04/7.16 c #Conflicts: 36000 | #Constraints: 17249
7.04/7.16 c bounds 6 >= 3 @ 6.80197
7.04/7.19 c #Conflicts: 37000 | #Constraints: 18252
7.04/7.19 c INPROCESSING
7.04/7.19 c GARBAGE COLLECT
7.04/7.19 c rational objective 3
7.82/7.99 c #Conflicts: 38000 | #Constraints: 15243
7.82/7.99 c #Conflicts: 39000 | #Constraints: 16243
7.82/7.99 c #Conflicts: 40000 | #Constraints: 17243
7.82/7.99 c #Conflicts: 41000 | #Constraints: 18243
7.82/7.99 c INPROCESSING
7.82/7.99 c GARBAGE COLLECT
7.82/7.99 c rational objective 3
8.73/8.81 c #Conflicts: 42000 | #Constraints: 15030
8.73/8.81 c #Conflicts: 43000 | #Constraints: 16030
8.73/8.81 c #Conflicts: 44000 | #Constraints: 17030
8.73/8.81 c #Conflicts: 45000 | #Constraints: 18030
8.73/8.81 c #Conflicts: 46000 | #Constraints: 19030
8.73/8.81 c INPROCESSING
8.73/8.81 c GARBAGE COLLECT
8.73/8.81 c rational objective 3
9.52/9.68 c #Conflicts: 47000 | #Constraints: 15648
9.52/9.68 c #Conflicts: 48000 | #Constraints: 16648
9.52/9.68 c #Conflicts: 49000 | #Constraints: 17648
9.52/9.68 c #Conflicts: 50000 | #Constraints: 18648
9.52/9.68 c #Conflicts: 51000 | #Constraints: 19648
9.52/9.68 c INPROCESSING
9.52/9.68 c GARBAGE COLLECT
9.52/9.68 c rational objective 3
10.42/10.52 c #Conflicts: 52000 | #Constraints: 16064
10.42/10.52 c #Conflicts: 53000 | #Constraints: 17064
10.42/10.52 c #Conflicts: 54000 | #Constraints: 18064
10.42/10.52 c #Conflicts: 55000 | #Constraints: 19064
10.42/10.52 c #Conflicts: 56000 | #Constraints: 20064
10.42/10.52 c INPROCESSING
10.42/10.52 c GARBAGE COLLECT
10.42/10.52 c rational objective 3
11.41/11.55 c #Conflicts: 57000 | #Constraints: 16247
11.41/11.55 c #Conflicts: 58000 | #Constraints: 17247
11.41/11.55 c #Conflicts: 59000 | #Constraints: 18247
11.41/11.55 c #Conflicts: 60000 | #Constraints: 19247
11.41/11.55 c #Conflicts: 61000 | #Constraints: 20247
11.41/11.55 c INPROCESSING
11.41/11.55 c GARBAGE COLLECT
11.41/11.55 c rational objective 3
12.41/12.53 c #Conflicts: 62000 | #Constraints: 16269
12.41/12.53 c #Conflicts: 63000 | #Constraints: 17269
12.41/12.53 c #Conflicts: 64000 | #Constraints: 18269
12.41/12.53 c #Conflicts: 65000 | #Constraints: 19269
12.41/12.53 c #Conflicts: 66000 | #Constraints: 20269
12.41/12.53 c INPROCESSING
12.41/12.53 c GARBAGE COLLECT
12.41/12.53 c rational objective 3
13.61/13.71 c #Conflicts: 67000 | #Constraints: 16056
13.61/13.71 c #Conflicts: 68000 | #Constraints: 17056
13.61/13.71 c #Conflicts: 69000 | #Constraints: 18056
13.61/13.71 c #Conflicts: 70000 | #Constraints: 19056
13.61/13.71 c #Conflicts: 71000 | #Constraints: 20056
13.61/13.71 c #Conflicts: 72000 | #Constraints: 21056
13.61/13.71 c INPROCESSING
13.61/13.71 c GARBAGE COLLECT
13.61/13.71 c rational objective 3
14.60/14.74 c #Conflicts: 73000 | #Constraints: 16674
14.60/14.74 c #Conflicts: 74000 | #Constraints: 17674
14.60/14.74 c #Conflicts: 75000 | #Constraints: 18674
14.60/14.74 c #Conflicts: 76000 | #Constraints: 19674
14.60/14.74 c #Conflicts: 77000 | #Constraints: 20674
14.60/14.74 c #Conflicts: 78000 | #Constraints: 21674
14.60/14.74 c INPROCESSING
14.60/14.74 c GARBAGE COLLECT
14.60/14.74 c rational objective 3
15.80/15.95 c #Conflicts: 79000 | #Constraints: 17056
15.80/15.95 c #Conflicts: 80000 | #Constraints: 18056
15.80/15.95 c #Conflicts: 81000 | #Constraints: 19056
15.80/15.95 c #Conflicts: 82000 | #Constraints: 20056
15.80/15.95 c #Conflicts: 83000 | #Constraints: 21056
15.80/15.95 c #Conflicts: 84000 | #Constraints: 22056
15.80/15.95 c INPROCESSING
15.80/15.95 c GARBAGE COLLECT
15.80/15.95 c rational objective 3
16.80/16.96 c #Conflicts: 85000 | #Constraints: 17267
16.80/16.96 c #Conflicts: 86000 | #Constraints: 18267
16.80/16.96 c #Conflicts: 87000 | #Constraints: 19267
16.80/16.96 c #Conflicts: 88000 | #Constraints: 20267
16.80/16.96 c #Conflicts: 89000 | #Constraints: 21267
16.80/16.96 c #Conflicts: 90000 | #Constraints: 22267
16.80/16.96 c INPROCESSING
16.80/16.96 c GARBAGE COLLECT
16.80/16.96 c rational objective 3
18.09/18.29 c #Conflicts: 91000 | #Constraints: 16062
18.09/18.29 c #Conflicts: 92000 | #Constraints: 17062
18.09/18.29 c #Conflicts: 93000 | #Constraints: 18062
18.09/18.29 c #Conflicts: 94000 | #Constraints: 19062
18.09/18.29 c #Conflicts: 95000 | #Constraints: 20062
18.09/18.29 c #Conflicts: 96000 | #Constraints: 21062
18.09/18.29 c INPROCESSING
18.09/18.29 c GARBAGE COLLECT
18.09/18.29 c rational objective 3
19.29/19.45 c #Conflicts: 97000 | #Constraints: 16418
19.29/19.45 c #Conflicts: 98000 | #Constraints: 17418
19.29/19.45 c #Conflicts: 99000 | #Constraints: 18418
19.29/19.45 c #Conflicts: 100000 | #Constraints: 19418
19.29/19.45 c #Conflicts: 101000 | #Constraints: 20418
19.29/19.45 c #Conflicts: 102000 | #Constraints: 21418
19.29/19.45 c #Conflicts: 103000 | #Constraints: 22418
19.29/19.45 c INPROCESSING
19.29/19.45 c GARBAGE COLLECT
19.29/19.45 c rational objective 3
20.58/20.75 c #Conflicts: 104000 | #Constraints: 17274
20.58/20.75 c #Conflicts: 105000 | #Constraints: 18274
20.58/20.75 c #Conflicts: 106000 | #Constraints: 19274
20.58/20.75 c #Conflicts: 107000 | #Constraints: 20274
20.58/20.75 c #Conflicts: 108000 | #Constraints: 21274
20.58/20.75 c #Conflicts: 109000 | #Constraints: 22274
20.58/20.75 c #Conflicts: 110000 | #Constraints: 23274
20.58/20.75 c INPROCESSING
20.58/20.75 c GARBAGE COLLECT
20.58/20.75 c rational objective 3
22.18/22.38 c #Conflicts: 111000 | #Constraints: 14879
22.18/22.38 c #Conflicts: 112000 | #Constraints: 15879
22.18/22.38 c #Conflicts: 113000 | #Constraints: 16879
22.18/22.38 c #Conflicts: 114000 | #Constraints: 17879
22.18/22.38 c #Conflicts: 115000 | #Constraints: 18879
22.18/22.38 c #Conflicts: 116000 | #Constraints: 19879
22.18/22.38 c #Conflicts: 117000 | #Constraints: 20879
22.18/22.38 c INPROCESSING
22.18/22.38 c GARBAGE COLLECT
22.18/22.38 c rational objective 3
23.58/23.77 c #Conflicts: 118000 | #Constraints: 15259
23.58/23.77 c #Conflicts: 119000 | #Constraints: 16259
23.58/23.77 c #Conflicts: 120000 | #Constraints: 17259
23.58/23.77 c #Conflicts: 121000 | #Constraints: 18259
23.58/23.77 c #Conflicts: 122000 | #Constraints: 19259
23.58/23.77 c #Conflicts: 123000 | #Constraints: 20259
23.58/23.77 c #Conflicts: 124000 | #Constraints: 21259
23.58/23.77 c INPROCESSING
23.58/23.77 c GARBAGE COLLECT
23.58/23.77 c rational objective 3
25.27/25.46 c #Conflicts: 125000 | #Constraints: 15318
25.27/25.46 c #Conflicts: 126000 | #Constraints: 16318
25.27/25.46 c #Conflicts: 127000 | #Constraints: 17318
25.27/25.46 c #Conflicts: 128000 | #Constraints: 18318
25.27/25.46 c #Conflicts: 129000 | #Constraints: 19318
25.27/25.46 c #Conflicts: 130000 | #Constraints: 20318
25.27/25.46 c #Conflicts: 131000 | #Constraints: 21318
25.27/25.46 c INPROCESSING
25.27/25.46 c GARBAGE COLLECT
25.27/25.46 c rational objective 3
26.67/26.85 c #Conflicts: 132000 | #Constraints: 15177
26.67/26.85 c #Conflicts: 133000 | #Constraints: 16177
26.67/26.85 c #Conflicts: 134000 | #Constraints: 17177
26.67/26.85 c #Conflicts: 135000 | #Constraints: 18177
26.67/26.85 c #Conflicts: 136000 | #Constraints: 19177
26.67/26.85 c #Conflicts: 137000 | #Constraints: 20177
26.67/26.85 c #Conflicts: 138000 | #Constraints: 21177
26.67/26.85 c #Conflicts: 139000 | #Constraints: 22177
26.67/26.85 c INPROCESSING
26.67/26.85 c GARBAGE COLLECT
26.67/26.85 c rational objective 3
27.36/27.53 c #Conflicts: 140000 | #Constraints: 15789
27.36/27.53 c #Conflicts: 141000 | #Constraints: 16789
27.36/27.53 c #Conflicts: 142000 | #Constraints: 17789
27.36/27.53 c bounds 6 >= 4 @ 26.5459
28.26/28.42 c #Conflicts: 143000 | #Constraints: 18792
28.26/28.42 c #Conflicts: 144000 | #Constraints: 19792
28.26/28.42 c #Conflicts: 145000 | #Constraints: 20792
28.26/28.42 c #Conflicts: 146000 | #Constraints: 21792
28.26/28.42 c #Conflicts: 147000 | #Constraints: 22792
28.26/28.42 c INPROCESSING
28.26/28.42 c GARBAGE COLLECT
28.26/28.42 c rational objective 4
29.87/30.04 c #Conflicts: 148000 | #Constraints: 16192
29.87/30.04 c #Conflicts: 149000 | #Constraints: 17192
29.87/30.04 c #Conflicts: 150000 | #Constraints: 18192
29.87/30.04 c #Conflicts: 151000 | #Constraints: 19192
29.87/30.04 c #Conflicts: 152000 | #Constraints: 20192
29.87/30.04 c #Conflicts: 153000 | #Constraints: 21192
29.87/30.04 c #Conflicts: 154000 | #Constraints: 22192
29.87/30.04 c #Conflicts: 155000 | #Constraints: 23192
29.87/30.04 c INPROCESSING
29.87/30.04 c GARBAGE COLLECT
29.87/30.04 c rational objective 4
31.35/31.56 c #Conflicts: 156000 | #Constraints: 16413
31.35/31.56 c #Conflicts: 157000 | #Constraints: 17413
31.35/31.56 c #Conflicts: 158000 | #Constraints: 18413
31.35/31.56 c #Conflicts: 159000 | #Constraints: 19413
31.35/31.56 c #Conflicts: 160000 | #Constraints: 20413
31.35/31.56 c #Conflicts: 161000 | #Constraints: 21413
31.35/31.56 c #Conflicts: 162000 | #Constraints: 22413
31.35/31.56 c #Conflicts: 163000 | #Constraints: 23413
31.35/31.56 c INPROCESSING
31.35/31.56 c GARBAGE COLLECT
31.35/31.56 c rational objective 4
33.18/33.41 c #Conflicts: 164000 | #Constraints: 16416
33.18/33.41 c #Conflicts: 165000 | #Constraints: 17416
33.18/33.41 c #Conflicts: 166000 | #Constraints: 18416
33.18/33.41 c #Conflicts: 167000 | #Constraints: 19416
33.18/33.41 c #Conflicts: 168000 | #Constraints: 20416
33.18/33.41 c #Conflicts: 169000 | #Constraints: 21416
33.18/33.41 c #Conflicts: 170000 | #Constraints: 22416
33.18/33.41 c #Conflicts: 171000 | #Constraints: 23416
33.18/33.41 c INPROCESSING
33.18/33.41 c GARBAGE COLLECT
33.18/33.41 c rational objective 4
34.78/35.08 c #Conflicts: 172000 | #Constraints: 16224
34.78/35.08 c #Conflicts: 173000 | #Constraints: 17224
34.78/35.08 c #Conflicts: 174000 | #Constraints: 18224
34.78/35.08 c #Conflicts: 175000 | #Constraints: 19224
34.78/35.08 c #Conflicts: 176000 | #Constraints: 20224
34.78/35.08 c #Conflicts: 177000 | #Constraints: 21224
34.78/35.08 c #Conflicts: 178000 | #Constraints: 22224
34.78/35.08 c #Conflicts: 179000 | #Constraints: 23224
34.78/35.08 c #Conflicts: 180000 | #Constraints: 24224
34.78/35.08 c INPROCESSING
34.78/35.08 c GARBAGE COLLECT
34.78/35.08 c rational objective 4
36.67/37.00 c #Conflicts: 181000 | #Constraints: 16816
36.67/37.00 c #Conflicts: 182000 | #Constraints: 17816
36.67/37.00 c #Conflicts: 183000 | #Constraints: 18816
36.67/37.00 c #Conflicts: 184000 | #Constraints: 19816
36.67/37.00 c #Conflicts: 185000 | #Constraints: 20816
36.67/37.00 c #Conflicts: 186000 | #Constraints: 21816
36.67/37.00 c #Conflicts: 187000 | #Constraints: 22816
36.67/37.00 c #Conflicts: 188000 | #Constraints: 23816
36.67/37.00 c #Conflicts: 189000 | #Constraints: 24816
36.67/37.00 c INPROCESSING
36.67/37.00 c GARBAGE COLLECT
36.67/37.00 c rational objective 4
38.57/38.80 c #Conflicts: 190000 | #Constraints: 17214
38.57/38.80 c #Conflicts: 191000 | #Constraints: 18214
38.57/38.80 c #Conflicts: 192000 | #Constraints: 19214
38.57/38.80 c #Conflicts: 193000 | #Constraints: 20214
38.57/38.80 c #Conflicts: 194000 | #Constraints: 21214
38.57/38.80 c #Conflicts: 195000 | #Constraints: 22214
38.57/38.80 c #Conflicts: 196000 | #Constraints: 23214
38.57/38.80 c #Conflicts: 197000 | #Constraints: 24214
38.57/38.80 c #Conflicts: 198000 | #Constraints: 25214
38.57/38.80 c INPROCESSING
38.57/38.80 c GARBAGE COLLECT
38.57/38.80 c rational objective 4
40.76/41.01 c #Conflicts: 199000 | #Constraints: 17429
40.76/41.01 c #Conflicts: 200000 | #Constraints: 18429
40.76/41.01 c #Conflicts: 201000 | #Constraints: 19429
40.76/41.01 c #Conflicts: 202000 | #Constraints: 20429
40.76/41.01 c #Conflicts: 203000 | #Constraints: 21429
40.76/41.01 c #Conflicts: 204000 | #Constraints: 22429
40.76/41.01 c #Conflicts: 205000 | #Constraints: 23429
40.76/41.01 c #Conflicts: 206000 | #Constraints: 24429
40.76/41.01 c #Conflicts: 207000 | #Constraints: 25429
40.76/41.01 c INPROCESSING
40.76/41.01 c GARBAGE COLLECT
40.76/41.01 c rational objective 4
42.46/42.77 c #Conflicts: 208000 | #Constraints: 17429
42.46/42.77 c #Conflicts: 209000 | #Constraints: 18429
42.46/42.77 c #Conflicts: 210000 | #Constraints: 19429
42.46/42.77 c #Conflicts: 211000 | #Constraints: 20429
42.46/42.77 c #Conflicts: 212000 | #Constraints: 21429
42.46/42.77 c #Conflicts: 213000 | #Constraints: 22429
42.46/42.77 c #Conflicts: 214000 | #Constraints: 23429
42.46/42.77 c #Conflicts: 215000 | #Constraints: 24429
42.46/42.77 c #Conflicts: 216000 | #Constraints: 25429
42.46/42.77 c INPROCESSING
42.46/42.77 c GARBAGE COLLECT
42.46/42.77 c rational objective 4
44.65/44.94 c #Conflicts: 217000 | #Constraints: 17223
44.65/44.94 c #Conflicts: 218000 | #Constraints: 18223
44.65/44.94 c #Conflicts: 219000 | #Constraints: 19223
44.65/44.94 c #Conflicts: 220000 | #Constraints: 20223
44.65/44.94 c #Conflicts: 221000 | #Constraints: 21223
44.65/44.94 c #Conflicts: 222000 | #Constraints: 22223
44.65/44.94 c #Conflicts: 223000 | #Constraints: 23223
44.65/44.94 c #Conflicts: 224000 | #Constraints: 24223
44.65/44.94 c #Conflicts: 225000 | #Constraints: 25223
44.65/44.94 c #Conflicts: 226000 | #Constraints: 26223
44.65/44.94 c INPROCESSING
44.65/44.94 c GARBAGE COLLECT
44.65/44.94 c rational objective 4
46.55/46.82 c #Conflicts: 227000 | #Constraints: 17831
46.55/46.82 c #Conflicts: 228000 | #Constraints: 18831
46.55/46.82 c #Conflicts: 229000 | #Constraints: 19831
46.55/46.82 c #Conflicts: 230000 | #Constraints: 20831
46.55/46.82 c #Conflicts: 231000 | #Constraints: 21831
46.55/46.82 c #Conflicts: 232000 | #Constraints: 22831
46.55/46.82 c #Conflicts: 233000 | #Constraints: 23831
46.55/46.82 c #Conflicts: 234000 | #Constraints: 24831
46.55/46.82 c #Conflicts: 235000 | #Constraints: 25831
46.55/46.82 c #Conflicts: 236000 | #Constraints: 26831
46.55/46.82 c INPROCESSING
46.55/46.82 c GARBAGE COLLECT
46.55/46.82 c rational objective 4
48.14/48.48 c #Conflicts: 237000 | #Constraints: 18230
48.14/48.48 c #Conflicts: 238000 | #Constraints: 19234
48.14/48.48 c #Conflicts: 239000 | #Constraints: 20239
48.14/48.48 c #Conflicts: 240000 | #Constraints: 21301
48.14/48.48 c #Conflicts: 241000 | #Constraints: 22311
48.14/48.48 c #Conflicts: 242000 | #Constraints: 23343
48.14/48.48 c #Conflicts: 243000 | #Constraints: 24345
48.14/48.48 c bounds 6 >= 5 @ 46.7651
49.03/49.31 c #Conflicts: 244000 | #Constraints: 25360
49.03/49.31 c #Conflicts: 245000 | #Constraints: 26656
49.03/49.31 c #Conflicts: 246000 | #Constraints: 27706
49.03/49.31 c INPROCESSING
49.03/49.31 c GARBAGE COLLECT
49.03/49.31 c rational objective 5
51.84/52.12 c #Conflicts: 247000 | #Constraints: 14007
51.84/52.12 c #Conflicts: 248000 | #Constraints: 15007
51.84/52.12 c #Conflicts: 249000 | #Constraints: 16007
51.84/52.12 c #Conflicts: 250000 | #Constraints: 17007
51.84/52.12 c #Conflicts: 251000 | #Constraints: 18082
51.84/52.12 c #Conflicts: 252000 | #Constraints: 19273
51.84/52.12 c #Conflicts: 253000 | #Constraints: 20440
51.84/52.12 c #Conflicts: 254000 | #Constraints: 21498
51.84/52.12 c #Conflicts: 255000 | #Constraints: 22570
51.84/52.12 c #Conflicts: 256000 | #Constraints: 23689
51.84/52.12 c INPROCESSING
51.84/52.12 c GARBAGE COLLECT
51.84/52.12 c rational objective 5
53.62/54.00 c #Conflicts: 257000 | #Constraints: 16215
53.62/54.00 c #Conflicts: 258000 | #Constraints: 17215
53.62/54.00 c #Conflicts: 259000 | #Constraints: 18215
53.62/54.00 c #Conflicts: 260000 | #Constraints: 19215
53.62/54.00 c #Conflicts: 261000 | #Constraints: 20215
53.62/54.00 c #Conflicts: 262000 | #Constraints: 21215
53.62/54.00 c #Conflicts: 263000 | #Constraints: 22215
53.62/54.00 c #Conflicts: 264000 | #Constraints: 23215
53.62/54.00 c #Conflicts: 265000 | #Constraints: 24215
53.62/54.00 c #Conflicts: 266000 | #Constraints: 25215
53.62/54.00 c INPROCESSING
53.62/54.00 c GARBAGE COLLECT
53.62/54.00 c rational objective 5
55.73/56.04 c #Conflicts: 267000 | #Constraints: 16687
55.73/56.04 c #Conflicts: 268000 | #Constraints: 17687
55.73/56.04 c #Conflicts: 269000 | #Constraints: 18687
55.73/56.04 c #Conflicts: 270000 | #Constraints: 19687
55.73/56.04 c #Conflicts: 271000 | #Constraints: 20687
55.73/56.04 c #Conflicts: 272000 | #Constraints: 21687
55.73/56.04 c #Conflicts: 273000 | #Constraints: 22687
55.73/56.04 c #Conflicts: 274000 | #Constraints: 23687
55.73/56.04 c #Conflicts: 275000 | #Constraints: 24687
55.73/56.04 c #Conflicts: 276000 | #Constraints: 25687
55.73/56.04 c #Conflicts: 277000 | #Constraints: 26687
55.73/56.04 c INPROCESSING
55.73/56.04 c GARBAGE COLLECT
55.73/56.04 c rational objective 5
57.82/58.15 c #Conflicts: 278000 | #Constraints: 17645
57.82/58.15 c #Conflicts: 279000 | #Constraints: 18645
57.82/58.15 c #Conflicts: 280000 | #Constraints: 19645
57.82/58.15 c #Conflicts: 281000 | #Constraints: 20645
57.82/58.15 c #Conflicts: 282000 | #Constraints: 21645
57.82/58.15 c #Conflicts: 283000 | #Constraints: 22645
57.82/58.15 c #Conflicts: 284000 | #Constraints: 23645
57.82/58.15 c #Conflicts: 285000 | #Constraints: 24645
57.82/58.15 c #Conflicts: 286000 | #Constraints: 25645
57.82/58.15 c #Conflicts: 287000 | #Constraints: 26645
57.82/58.15 c #Conflicts: 288000 | #Constraints: 27645
57.82/58.15 c INPROCESSING
57.82/58.15 c GARBAGE COLLECT
57.82/58.15 c rational objective 5
60.20/60.57 c #Conflicts: 289000 | #Constraints: 18226
60.20/60.57 c #Conflicts: 290000 | #Constraints: 19227
60.20/60.57 c #Conflicts: 291000 | #Constraints: 20237
60.20/60.57 c #Conflicts: 292000 | #Constraints: 21242
60.20/60.57 c #Conflicts: 293000 | #Constraints: 22274
60.20/60.57 c #Conflicts: 294000 | #Constraints: 23287
60.20/60.57 c #Conflicts: 295000 | #Constraints: 24309
60.20/60.57 c #Conflicts: 296000 | #Constraints: 25311
60.20/60.57 c #Conflicts: 297000 | #Constraints: 26315
60.20/60.57 c #Conflicts: 298000 | #Constraints: 27327
60.20/60.57 c #Conflicts: 299000 | #Constraints: 28330
60.20/60.57 c INPROCESSING
60.20/60.57 c GARBAGE COLLECT
60.20/60.57 c rational objective 5
62.30/62.65 c #Conflicts: 300000 | #Constraints: 18582
62.30/62.65 c #Conflicts: 301000 | #Constraints: 19582
62.30/62.65 c #Conflicts: 302000 | #Constraints: 20582
62.30/62.65 c #Conflicts: 303000 | #Constraints: 21582
62.30/62.65 c #Conflicts: 304000 | #Constraints: 22582
62.30/62.65 c #Conflicts: 305000 | #Constraints: 23582
62.30/62.65 c #Conflicts: 306000 | #Constraints: 24582
62.30/62.65 c #Conflicts: 307000 | #Constraints: 25582
62.30/62.65 c #Conflicts: 308000 | #Constraints: 26582
62.30/62.65 c #Conflicts: 309000 | #Constraints: 27582
62.30/62.65 c #Conflicts: 310000 | #Constraints: 28582
62.30/62.65 c INPROCESSING
62.30/62.65 c GARBAGE COLLECT
62.30/62.65 c rational objective 5
64.82/65.29 c #Conflicts: 311000 | #Constraints: 18587
64.82/65.29 c #Conflicts: 312000 | #Constraints: 19587
64.82/65.29 c #Conflicts: 313000 | #Constraints: 20587
64.82/65.29 c #Conflicts: 314000 | #Constraints: 21587
64.82/65.29 c #Conflicts: 315000 | #Constraints: 22587
64.82/65.29 c #Conflicts: 316000 | #Constraints: 23587
64.82/65.29 c #Conflicts: 317000 | #Constraints: 24587
64.82/65.29 c #Conflicts: 318000 | #Constraints: 25587
64.82/65.29 c #Conflicts: 319000 | #Constraints: 26587
64.82/65.29 c #Conflicts: 320000 | #Constraints: 27587
64.82/65.29 c #Conflicts: 321000 | #Constraints: 28587
64.82/65.29 c INPROCESSING
64.82/65.29 c GARBAGE COLLECT
64.82/65.29 c rational objective 5
67.41/67.84 c #Conflicts: 322000 | #Constraints: 16984
67.41/67.84 c #Conflicts: 323000 | #Constraints: 17984
67.41/67.84 c #Conflicts: 324000 | #Constraints: 18984
67.41/67.84 c #Conflicts: 325000 | #Constraints: 19984
67.41/67.84 c #Conflicts: 326000 | #Constraints: 20984
67.41/67.84 c #Conflicts: 327000 | #Constraints: 21984
67.41/67.84 c #Conflicts: 328000 | #Constraints: 22984
67.41/67.84 c #Conflicts: 329000 | #Constraints: 23984
67.41/67.84 c #Conflicts: 330000 | #Constraints: 24984
67.41/67.84 c #Conflicts: 331000 | #Constraints: 25984
67.41/67.84 c #Conflicts: 332000 | #Constraints: 26984
67.41/67.84 c #Conflicts: 333000 | #Constraints: 27984
67.41/67.84 c INPROCESSING
67.41/67.84 c GARBAGE COLLECT
67.41/67.84 c rational objective 5
69.91/70.35 c #Conflicts: 334000 | #Constraints: 17917
69.91/70.35 c #Conflicts: 335000 | #Constraints: 18917
69.91/70.35 c #Conflicts: 336000 | #Constraints: 19917
69.91/70.35 c #Conflicts: 337000 | #Constraints: 20917
69.91/70.35 c #Conflicts: 338000 | #Constraints: 21917
69.91/70.35 c #Conflicts: 339000 | #Constraints: 22917
69.91/70.35 c #Conflicts: 340000 | #Constraints: 23917
69.91/70.35 c #Conflicts: 341000 | #Constraints: 24917
69.91/70.35 c #Conflicts: 342000 | #Constraints: 25917
69.91/70.35 c #Conflicts: 343000 | #Constraints: 26917
69.91/70.35 c #Conflicts: 344000 | #Constraints: 27917
69.91/70.35 c #Conflicts: 345000 | #Constraints: 28917
69.91/70.35 c INPROCESSING
69.91/70.35 c GARBAGE COLLECT
69.91/70.35 c rational objective 5
72.40/72.81 c #Conflicts: 346000 | #Constraints: 18472
72.40/72.81 c #Conflicts: 347000 | #Constraints: 19472
72.40/72.81 c #Conflicts: 348000 | #Constraints: 20472
72.40/72.81 c #Conflicts: 349000 | #Constraints: 21472
72.40/72.81 c #Conflicts: 350000 | #Constraints: 22472
72.40/72.81 c #Conflicts: 351000 | #Constraints: 23472
72.40/72.81 c #Conflicts: 352000 | #Constraints: 24472
72.40/72.81 c #Conflicts: 353000 | #Constraints: 25472
72.40/72.81 c #Conflicts: 354000 | #Constraints: 26472
72.40/72.81 c #Conflicts: 355000 | #Constraints: 27472
72.40/72.81 c #Conflicts: 356000 | #Constraints: 28472
72.40/72.81 c #Conflicts: 357000 | #Constraints: 29472
72.40/72.81 c INPROCESSING
72.40/72.81 c GARBAGE COLLECT
72.40/72.81 c rational objective 5
74.80/75.28 c #Conflicts: 358000 | #Constraints: 18713
74.80/75.28 c #Conflicts: 359000 | #Constraints: 19713
74.80/75.28 c #Conflicts: 360000 | #Constraints: 20713
74.80/75.28 c #Conflicts: 361000 | #Constraints: 21713
74.80/75.28 c #Conflicts: 362000 | #Constraints: 22713
74.80/75.28 c #Conflicts: 363000 | #Constraints: 23713
74.80/75.28 c #Conflicts: 364000 | #Constraints: 24713
74.80/75.28 c #Conflicts: 365000 | #Constraints: 25713
74.80/75.28 c #Conflicts: 366000 | #Constraints: 26713
74.80/75.28 c #Conflicts: 367000 | #Constraints: 27713
74.80/75.28 c #Conflicts: 368000 | #Constraints: 28713
74.80/75.28 c #Conflicts: 369000 | #Constraints: 29713
74.80/75.28 c INPROCESSING
74.80/75.28 c GARBAGE COLLECT
74.80/75.28 c rational objective 5
77.59/78.10 c #Conflicts: 370000 | #Constraints: 18754
77.59/78.10 c #Conflicts: 371000 | #Constraints: 19754
77.59/78.10 c #Conflicts: 372000 | #Constraints: 20754
77.59/78.10 c #Conflicts: 373000 | #Constraints: 21754
77.59/78.10 c #Conflicts: 374000 | #Constraints: 22754
77.59/78.10 c #Conflicts: 375000 | #Constraints: 23754
77.59/78.10 c #Conflicts: 376000 | #Constraints: 24754
77.59/78.10 c #Conflicts: 377000 | #Constraints: 25754
77.59/78.10 c #Conflicts: 378000 | #Constraints: 26754
77.59/78.10 c #Conflicts: 379000 | #Constraints: 27754
77.59/78.10 c #Conflicts: 380000 | #Constraints: 28754
77.59/78.10 c #Conflicts: 381000 | #Constraints: 29754
77.59/78.10 c INPROCESSING
77.59/78.10 c GARBAGE COLLECT
77.59/78.10 c rational objective 5
80.18/80.69 c #Conflicts: 382000 | #Constraints: 16914
80.18/80.69 c #Conflicts: 383000 | #Constraints: 17914
80.18/80.69 c #Conflicts: 384000 | #Constraints: 18914
80.18/80.69 c #Conflicts: 385000 | #Constraints: 19914
80.18/80.69 c #Conflicts: 386000 | #Constraints: 20914
80.18/80.69 c #Conflicts: 387000 | #Constraints: 21914
80.18/80.69 c #Conflicts: 388000 | #Constraints: 22914
80.18/80.69 c #Conflicts: 389000 | #Constraints: 23914
80.18/80.69 c #Conflicts: 390000 | #Constraints: 24914
80.18/80.69 c #Conflicts: 391000 | #Constraints: 25914
80.18/80.69 c #Conflicts: 392000 | #Constraints: 26914
80.18/80.69 c #Conflicts: 393000 | #Constraints: 27914
80.18/80.69 c #Conflicts: 394000 | #Constraints: 28914
80.18/80.69 c INPROCESSING
80.18/80.69 c GARBAGE COLLECT
80.18/80.69 c rational objective 5
83.18/83.66 c #Conflicts: 395000 | #Constraints: 17542
83.18/83.66 c #Conflicts: 396000 | #Constraints: 18542
83.18/83.66 c #Conflicts: 397000 | #Constraints: 19542
83.18/83.66 c #Conflicts: 398000 | #Constraints: 20542
83.18/83.66 c #Conflicts: 399000 | #Constraints: 21542
83.18/83.66 c #Conflicts: 400000 | #Constraints: 22542
83.18/83.66 c #Conflicts: 401000 | #Constraints: 23542
83.18/83.66 c #Conflicts: 402000 | #Constraints: 24542
83.18/83.66 c #Conflicts: 403000 | #Constraints: 25542
83.18/83.66 c #Conflicts: 404000 | #Constraints: 26542
83.18/83.66 c #Conflicts: 405000 | #Constraints: 27542
83.18/83.66 c #Conflicts: 406000 | #Constraints: 28542
83.18/83.66 c #Conflicts: 407000 | #Constraints: 29542
83.18/83.66 c INPROCESSING
83.18/83.66 c GARBAGE COLLECT
83.18/83.66 c rational objective 5
85.86/86.36 c #Conflicts: 408000 | #Constraints: 18044
85.86/86.36 c #Conflicts: 409000 | #Constraints: 19044
85.86/86.36 c #Conflicts: 410000 | #Constraints: 20044
85.86/86.36 c #Conflicts: 411000 | #Constraints: 21044
85.86/86.36 c #Conflicts: 412000 | #Constraints: 22044
85.86/86.36 c #Conflicts: 413000 | #Constraints: 23044
85.86/86.36 c #Conflicts: 414000 | #Constraints: 24044
85.86/86.36 c #Conflicts: 415000 | #Constraints: 25044
85.86/86.36 c #Conflicts: 416000 | #Constraints: 26044
85.86/86.36 c #Conflicts: 417000 | #Constraints: 27044
85.86/86.36 c #Conflicts: 418000 | #Constraints: 28044
85.86/86.36 c #Conflicts: 419000 | #Constraints: 29044
85.86/86.36 c bounds 6 >= 6 @ 83.4201
85.86/86.36 c cpu time 83.4201 s
85.86/86.36 c deterministic time 1802205610 1.80e+09
85.86/86.36 c optimization time 0.005846 s
85.86/86.36 c total solve time 83.3353 s
85.86/86.36 c core-guided solve time 41.5473 s
85.86/86.36 c propagation time 55.3467 s
85.86/86.36 c conflict analysis time 19.1739 s
85.86/86.36 c propagations 33005715
85.86/86.36 c resolve steps 6441263
85.86/86.36 c decisions 548012
85.86/86.36 c conflicts 419190
85.86/86.36 c restarts 1019
85.86/86.36 c inprocessing phases 55
85.86/86.36 c garbage collections 55 ,( 100.00 )
85.86/86.36 c input clauses 15966 ,( 99.83 )
85.86/86.36 c input cardinalities 24 ,( 0.15 )
85.86/86.36 c input general constraints 3 ,( 0.02 )
85.86/86.36 c input average constraint length 3.02
85.86/86.36 c input average constraint degree 1.01
85.86/86.36 c learned clauses 415754 ,( 98.81 )
85.86/86.36 c learned cardinalities 152 ,( 0.04 )
85.86/86.36 c learned general constraints 4837 ,( 1.15 )
85.86/86.36 c learned average constraint length 81.59
85.86/86.36 c learned average constraint degree 10572690.17
85.86/86.36 c watched CF 32, 64, 128, Arb: 1495 , 0 , 0 , 0
85.86/86.36 c counting CF 32, 64, 128, Arb: 3346 , 0 , 0 , 0
85.86/86.36 c watched constraints 1495 ,( 30.89 )
85.86/86.36 c counting constraints 3345 ,( 69.11 )
85.86/86.36 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 302922757 , 4459248 , 5677193 ,( 1021263 , 4655930 )
85.86/86.36 c gcd simplifications 215
85.86/86.36 c detected cardinalities 5
85.86/86.36 c weakened non-implied lits 1272942
85.86/86.36 c weakened non-implying lits 8
85.86/86.36 c original variables 1413
85.86/86.36 c clausal propagations 30135529
85.86/86.36 c cardinality propagations 2048984
85.86/86.36 c watched propagations 33078
85.86/86.36 c counting propagations 365914
85.86/86.36 c watch lookups 397615584
85.86/86.36 c watch backjump lookups 0
85.86/86.36 c watch checks 1109216391
85.86/86.36 c propagation checks 107933795
85.86/86.36 c constraint additions 119492069
85.86/86.36 c trail pops 33972388
85.86/86.36 c formula constraints 15969
85.86/86.36 c learned constraints 419184
85.86/86.36 c bound constraints 11
85.86/86.36 c core-guided constraints 13
85.86/86.36 c encountered formula constraints 2986794
85.86/86.36 c encountered learned constraints 3855715
85.86/86.36 c encountered bound constraints 7
85.86/86.36 c encountered core-guided constraints 7
85.86/86.36 c LP total time 38.0184 s
85.86/86.36 c LP solve time 30.58 s
85.86/86.36 c LP constraints added 17015
85.86/86.36 c LP constraints removed 1018
85.86/86.36 c LP pivots internal 419205
85.86/86.36 c LP pivots root 2450
85.86/86.36 c LP calls 11549
85.86/86.36 c LP optimalities 10199
85.86/86.36 c LP no pivot count 472
85.86/86.36 c LP infeasibilities 1349
85.86/86.36 c LP valid Farkas constraints 1349
85.86/86.36 c LP learned Farkas constraints 1
85.86/86.36 c LP basis resets 0
85.86/86.36 c LP cycling count 0
85.86/86.36 c LP singular count 0
85.86/86.36 c LP no primal count 0
85.86/86.36 c LP no farkas count 0
85.86/86.36 c LP other issue count 0
85.86/86.36 c LP Gomory cuts 209
85.86/86.36 c LP learned cuts 837
85.86/86.36 c LP deleted cuts 1018
85.86/86.36 c LP encountered Gomory constraints 17291
85.86/86.36 c LP encountered Farkas constraints 631
85.86/86.36 c LP encountered learned Farkas constraints 7
85.86/86.36 c CG auxiliary variables introduced 5
85.86/86.36 c CG solutions found 6
85.86/86.36 c CG cores constructed 5
85.86/86.36 c CG core cardinality constraints returned 0
85.86/86.36 c CG unit cores 0
85.86/86.36 c CG single cores 5
85.86/86.36 c CG blocks removed during cardinality reduction 0
85.86/86.36 c CG first core best 0
85.86/86.36 c CG decision core best 0
85.86/86.36 c CG core reduction tie 0
85.86/86.36 c CG core degree average 1.00
85.86/86.36 c CG core slack average 2.00
85.86/86.36 c CG core upper bound improvements 1
85.86/86.36 c STR number of successful calls 0
85.86/86.36 c STR number of unsuccessful calls 0
85.86/86.36 c STR number of inconclusive calls 0
85.86/86.36 c STR number of successful attempts 0
85.86/86.36 c STR number of unsuccessful attempts 0
85.86/86.36 c STR number of inconclusive attempts 0
85.86/86.36 c STR average degree increase per successful call inf
85.86/86.36 c STR average degree increase per successful attempt inf
85.86/86.36 c STR total number of conflicts for successful attempts 0
85.86/86.36 c STR total number of conflicts for unsuccessful attempts 0
85.86/86.36 c STR total number of conflicts for inconclusive attempts 0
85.86/86.36 c STR average number of conflicts per successful attempt inf
85.86/86.36 c STR average number of conflicts per unsuccessful attempt inf
85.86/86.36 c STR average number of conflicts per inconclusive attempt inf
85.86/86.36 c AVG.sumWPerc 51.76
85.86/86.36 c bigint constraints 0
85.86/86.36 o 6
85.86/86.36 s OPTIMUM FOUND
85.96/86.51 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
Wed Jul 16 14:19:46 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: 63708 MiB (62110 MiB free)
memory of node 1: 64465 MiB (63103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532128-1752597054/watcher-4532128-1752597054 -o /tmp/evaluation-result-4532128-1752597054/solver-4532128-1752597054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752597054-136628 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532128-1752597054.opb PROOFDIR/proof-4532128-1752597054
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=136684, runsolver pid=136669
[startup+0.100056 s]*
/proc/loadavg: 3.66 4.05 3.41 7/410 136693
/proc/meminfo: memFree=128231476/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=55824 memory=8960 CPUtime=0 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 475 0 0 0 0 0 0 0 20 0 1 0 175382068 57163776 2240 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 13956 2240 1984 1147 0 1382 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 60016 KiB
Current children cumulated memory: 12032 KiB
[startup+0.208735 s]*
/proc/loadavg: 3.61 4.03 3.41 7/407 136693
/proc/meminfo: memFree=128197592/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=79024 memory=35332 CPUtime=0.11 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 6345 0 0 0 10 1 0 0 20 0 1 0 175382068 80920576 8833 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 19756 8833 2304 1147 0 7182 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 83216 KiB
Current children cumulated memory: 38404 KiB
[startup+0.30915 s]*
/proc/loadavg: 3.61 4.03 3.41 4/402 136701
/proc/meminfo: memFree=128193460/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=79024 memory=35460 CPUtime=0.2 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 6347 0 0 0 19 1 0 0 20 0 1 0 175382068 80920576 8865 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 19756 8865 2336 1147 0 7182 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 83216 KiB
Current children cumulated memory: 38532 KiB
[startup+0.700151 s]
/proc/loadavg: 3.61 4.03 3.41 2/395 136717
/proc/meminfo: memFree=128219332/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=82652 memory=38148 CPUtime=0.59 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 6997 0 0 0 56 3 0 0 20 0 1 0 175382068 84635648 9537 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 20663 9537 2400 1147 0 8089 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 86844 KiB
Current children cumulated memory: 41220 KiB
[startup+1.50017 s]
/proc/loadavg: 3.61 4.03 3.41 2/395 136717
/proc/meminfo: memFree=128213284/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=83340 memory=38916 CPUtime=1.39 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 7169 0 0 0 133 6 0 0 20 0 1 0 175382068 85340160 9729 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 20835 9729 2400 1147 0 8261 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 87532 KiB
Current children cumulated memory: 41988 KiB
[startup+3.10815 s]
/proc/loadavg: 3.61 4.03 3.41 2/410 136834
/proc/meminfo: memFree=128237312/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=83428 memory=38896 CPUtime=2.98 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 7229 0 0 0 288 10 0 0 20 0 1 0 175382068 85430272 9724 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 20857 9724 2400 1147 0 8283 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 87620 KiB
Current children cumulated memory: 41968 KiB
[startup+6.30013 s]
/proc/loadavg: 3.64 4.03 3.42 5/410 136933
/proc/meminfo: memFree=128144900/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=84536 memory=42176 CPUtime=6.17 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 7517 0 0 0 596 21 0 0 20 0 1 0 175382068 86564864 10544 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 21134 10544 2400 1147 0 8560 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 88728 KiB
Current children cumulated memory: 45248 KiB
[startup+12.7001 s]
/proc/loadavg: 3.83 4.06 3.43 5/410 136982
/proc/meminfo: memFree=127944816/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=85472 memory=43072 CPUtime=12.55 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 7757 0 0 0 1217 38 0 0 20 0 1 0 175382068 87523328 10768 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 21368 10768 2400 1147 0 8794 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 89664 KiB
Current children cumulated memory: 46144 KiB
[startup+25.5002 s]
/proc/loadavg: 3.86 4.06 3.44 5/410 136982
/proc/meminfo: memFree=126838984/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=90604 memory=46400 CPUtime=25.31 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 8602 0 0 0 2457 74 0 0 20 0 1 0 175382068 92778496 11600 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 22651 11600 2400 1147 0 10077 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 94796 KiB
Current children cumulated memory: 49472 KiB
[startup+51.1087 s]
/proc/loadavg: 3.91 4.05 3.46 5/410 136982
/proc/meminfo: memFree=124914120/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=96284 memory=53056 CPUtime=50.78 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 10268 0 0 0 4933 145 0 0 20 0 1 0 175382068 98594816 13264 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24071 13264 2400 1147 0 11497 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 56128 KiB
[startup+86.5108 s]
# the end of solver process 136684 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=83.4963 s, system=2.49447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 3.91 4.05 3.46 5/410 136982
/proc/meminfo: memFree=124914120/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=96284 memory=53056 CPUtime=50.87 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 10268 0 0 0 4941 146 0 0 20 0 1 0 175382068 98594816 13264 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24071 13264 2400 1147 0 11497 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 100476 KiB
Current children cumulated memory: 56128 KiB
[startup+64.0001 s]*
/proc/loadavg: 4.00 4.07 3.47 5/410 136982
/proc/meminfo: memFree=123999484/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=98620 memory=56640 CPUtime=63.58 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 10914 0 0 0 6176 182 0 0 20 0 1 0 175382068 100986880 14160 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24655 14160 2400 1147 0 12081 0
Current children cumulated CPU time: 63.64 s
Current children cumulated vsize: 102812 KiB
Current children cumulated memory: 59712 KiB
[startup+76.8001 s]
/proc/loadavg: 4.07 4.08 3.48 5/411 136985
/proc/meminfo: memFree=123301796/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=99000 memory=57408 CPUtime=76.33 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 11101 0 0 0 7416 217 0 0 20 0 1 0 175382068 101376000 14352 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24750 14352 2400 1147 0 12176 0
Current children cumulated CPU time: 76.39 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 60480 KiB
[startup+83.2001 s]
/proc/loadavg: 4.14 4.10 3.49 5/406 137012
/proc/meminfo: memFree=124495532/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=99000 memory=57664 CPUtime=82.72 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 11175 0 0 0 8037 235 0 0 20 0 1 0 175382068 101376000 14416 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24750 14416 2400 1147 0 12176 0
Current children cumulated CPU time: 82.78 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 60736 KiB
[startup+84.8001 s]
/proc/loadavg: 4.14 4.10 3.49 4/406 137012
/proc/meminfo: memFree=124399016/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=99000 memory=57664 CPUtime=84.31 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 11175 0 0 0 8192 239 0 0 20 0 1 0 175382068 101376000 14416 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24750 14416 2400 1147 0 12176 0
Current children cumulated CPU time: 84.37 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 60736 KiB
[startup+85.6002 s]
/proc/loadavg: 4.14 4.10 3.49 5/406 137012
/proc/meminfo: memFree=124286248/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=99000 memory=57664 CPUtime=85.11 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 11175 0 0 0 8268 243 0 0 20 0 1 0 175382068 101376000 14416 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24750 14416 2400 1147 0 12176 0
Current children cumulated CPU time: 85.17 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 60736 KiB
[startup+86.0001 s]*
/proc/loadavg: 4.13 4.10 3.49 5/406 137012
/proc/meminfo: memFree=124213800/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=99000 memory=57664 CPUtime=85.51 cores=1,3
/proc/136693/stat : 136693 (roundingsat) R 136684 136684 135648 0 -1 4194304 11175 0 0 0 8307 244 0 0 20 0 1 0 175382068 101376000 14416 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24750 14416 2400 1147 0 12176 0
Current children cumulated CPU time: 85.57 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 60736 KiB
[startup+86.4002 s]
/proc/loadavg: 4.13 4.10 3.49 5/406 137012
/proc/meminfo: memFree=124213800/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=99000 memory=57664 CPUtime=85.89 cores=1,3
/proc/136693/stat : 136693 (roundingsat) D 136684 136684 135648 0 -1 4194304 11175 0 0 0 8342 247 0 0 20 0 1 0 175382068 101376000 14416 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24750 14416 2400 1147 0 12176 0
Current children cumulated CPU time: 85.95 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 60736 KiB
[startup+86.5002 s]
/proc/loadavg: 4.13 4.10 3.49 5/406 137012
/proc/meminfo: memFree=124213800/131250000 swapFree=33008356/33010684
[pid=136684] ppid=136669 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/136684/stat : 136684 (run-opt-ls-log.) S 136669 136684 135648 0 -1 4194304 242 2186 0 0 0 0 6 0 20 0 1 0 175382058 4292608 768 18446744073709551615 94282119131136 94282120025669 140726434528240 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94282120264720 94282120312464 94282133045248 140726434535705 140726434535903 140726434535903 140726434541507 0
/proc/136684/statm: 1048 768 704 219 0 110 0
[pid=136693] ppid=136684 vsize=99000 memory=57664 CPUtime=85.9 cores=1,3
/proc/136693/stat : 136693 (roundingsat) D 136684 136684 135648 0 -1 4194304 11175 0 0 0 8342 248 0 0 20 0 1 0 175382068 101376000 14416 18446744073709551615 4227072 8923577 140729684184416 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 23113728 140729684191476 140729684191782 140729684191782 140729684197354 0
/proc/136693/statm: 24750 14416 2400 1147 0 12176 0
Current children cumulated CPU time: 85.96 s
Current children cumulated vsize: 103192 KiB
Current children cumulated memory: 60736 KiB
Child status: 0
Real time (s): 86.5108
CPU time (s): 85.9908
CPU user time (s): 83.4963
CPU system time (s): 2.49447
CPU usage (%): 99.3988
Max. virtual memory (cumulated for all children) (KiB): 103192
Max. memory (cumulated for all children) (KiB): 60736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.4963
system time used= 2.49447
maximum resident set size= 57664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2970
involuntary context switches= 203
# summary of solver processes directly reported to runsolver:
# pid: 136684
# total CPU time (s): 85.9908
# total CPU user time (s): 83.4963
# total CPU system time (s): 2.49447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.281453 second user time and 0.613244 second system time
The end
Launcher Data
Begin job on nodeC014 at 2025-07-15 18:30:55
IDJOB=4532128
IDBENCH=176167
IDSOLVER=3392
FILE ID=nodeC014/4532128-1752597054
RUNJOBID= nodeC014-1752597054-136628
SLURM_JOB_ID= 9684380
Free space on /tmp= 431300 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 0f876b3
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 -w /tmp/evaluation-result-4532128-1752597054/watcher-4532128-1752597054 -o /tmp/evaluation-result-4532128-1752597054/solver-4532128-1752597054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752597054-136628 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4532128-1752597054.opb PROOFDIR/proof-4532128-1752597054
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bf082a5f314776883f0e32420df0edd0
RANDOM SEED=1446807740
nodeC014 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 : 3539.474
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.23
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.720
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.141
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.23
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.117
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.23
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 : 3600.161
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.23
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.152
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.23
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 : 3582.974
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.23
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.059
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128226836 kB
MemAvailable: 129573152 kB
Buffers: 696 kB
Cached: 2095120 kB
SwapCached: 1624 kB
Active: 570300 kB
Inactive: 1604192 kB
Active(anon): 77500 kB
Inactive(anon): 25776 kB
Active(file): 492800 kB
Inactive(file): 1578416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29036 kB
Writeback: 8 kB
AnonPages: 80412 kB
Mapped: 107472 kB
Shmem: 24600 kB
KReclaimable: 228676 kB
Slab: 324656 kB
SReclaimable: 228676 kB
SUnreclaim: 95980 kB
KernelStack: 6272 kB
PageTables: 2692 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 360068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 152680 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431268 MiB
End job on nodeC014 at 2025-07-15 18:32:21