Trace number 4517767
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=8-t=3.opb |
| MD5SUM | 970aa3d1f1d45876cf8a11b4225544dc |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.080382 |
| 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 | 124 |
| Total number of constraints | 1676 |
| Number of constraints which are clauses | 1668 |
| Number of constraints which are cardinality constraints (but not clauses) | 8 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 9 |
| Number of terms in the objective function | 8 |
| 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 | 8 |
| 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 | 10 |
| 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 RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 124 #constraints 1676
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.00757
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.007697
0.00/0.02 c rational objective 0
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.062165
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.062304
0.09/0.14 c #Conflicts: 1000 | #Constraints: 2684
0.09/0.14 c #Conflicts: 2000 | #Constraints: 3686
0.09/0.14 c INPROCESSING
0.09/0.14 c GARBAGE COLLECT
0.09/0.14 c rational objective 0
0.19/0.30 c #Conflicts: 3000 | #Constraints: 3691
0.19/0.30 c #Conflicts: 4000 | #Constraints: 4691
0.19/0.30 c INPROCESSING
0.19/0.30 c GARBAGE COLLECT
0.19/0.30 c rational objective 2.22045e-16
0.39/0.47 c #Conflicts: 5000 | #Constraints: 4096
0.39/0.47 c #Conflicts: 6000 | #Constraints: 5096
0.39/0.47 c INPROCESSING
0.39/0.47 c GARBAGE COLLECT
0.39/0.47 c rational objective 0
0.58/0.65 c #Conflicts: 7000 | #Constraints: 4100
0.58/0.65 c #Conflicts: 8000 | #Constraints: 5101
0.58/0.65 c #Conflicts: 9000 | #Constraints: 6103
0.58/0.65 c INPROCESSING
0.58/0.65 c GARBAGE COLLECT
0.58/0.65 c rational objective 0
0.77/0.84 c #Conflicts: 10000 | #Constraints: 4803
0.77/0.84 c #Conflicts: 11000 | #Constraints: 5803
0.77/0.84 c #Conflicts: 12000 | #Constraints: 6804
0.77/0.84 c INPROCESSING
0.77/0.84 c GARBAGE COLLECT
0.77/0.84 c rational objective 0
0.98/1.03 c #Conflicts: 13000 | #Constraints: 5253
0.98/1.03 c #Conflicts: 14000 | #Constraints: 6254
0.98/1.03 c #Conflicts: 15000 | #Constraints: 7254
0.98/1.03 c INPROCESSING
0.98/1.03 c GARBAGE COLLECT
0.98/1.03 c rational objective 0
1.18/1.22 c #Conflicts: 16000 | #Constraints: 5483
1.18/1.22 c #Conflicts: 17000 | #Constraints: 6484
1.18/1.22 c #Conflicts: 18000 | #Constraints: 7485
1.18/1.22 c INPROCESSING
1.18/1.22 c GARBAGE COLLECT
1.18/1.22 c rational objective 0
1.48/1.57 c #Conflicts: 19000 | #Constraints: 5591
1.48/1.57 c #Conflicts: 20000 | #Constraints: 6726
1.48/1.57 c #Conflicts: 21000 | #Constraints: 7768
1.48/1.57 c #Conflicts: 22000 | #Constraints: 8961
1.48/1.57 c GLOBAL bounds - >= 0 @ 1.44249
1.48/1.57 c GLOBAL bounds - >= 0 @ 1.44264
2.37/2.40 c #Conflicts: 23000 | #Constraints: 10262
2.37/2.40 c #Conflicts: 24000 | #Constraints: 11626
2.37/2.40 c #Conflicts: 25000 | #Constraints: 12824
2.37/2.40 c #Conflicts: 26000 | #Constraints: 13901
2.37/2.40 c #Conflicts: 27000 | #Constraints: 14928
2.37/2.40 c #Conflicts: 28000 | #Constraints: 16298
2.37/2.40 c INPROCESSING
2.37/2.40 c GARBAGE COLLECT
2.37/2.40 c rational objective 0
2.77/2.85 c #Conflicts: 29000 | #Constraints: 9642
2.77/2.85 c #Conflicts: 30000 | #Constraints: 10648
2.77/2.85 c #Conflicts: 31000 | #Constraints: 11775
2.77/2.85 c #Conflicts: 32000 | #Constraints: 12855
2.77/2.85 c #Conflicts: 33000 | #Constraints: 14112
2.77/2.85 c INPROCESSING
2.77/2.85 c GARBAGE COLLECT
2.77/2.85 c rational objective 0
3.08/3.14 c #Conflicts: 34000 | #Constraints: 8781
3.08/3.14 c #Conflicts: 35000 | #Constraints: 9781
3.08/3.14 c #Conflicts: 36000 | #Constraints: 10781
3.08/3.14 c #Conflicts: 37000 | #Constraints: 11781
3.08/3.14 c #Conflicts: 38000 | #Constraints: 12781
3.08/3.14 c INPROCESSING
3.08/3.14 c GARBAGE COLLECT
3.08/3.14 c rational objective 1.11022e-16
3.17/3.28 c #Conflicts: 39000 | #Constraints: 8252
3.17/3.28 c #Conflicts: 40000 | #Constraints: 9252
3.17/3.28 c GLOBAL bounds - >= 0 @ 3.03593
3.17/3.28 c GLOBAL bounds - >= 0 @ 3.03608
3.97/4.06 c #Conflicts: 41000 | #Constraints: 10253
3.97/4.06 c #Conflicts: 42000 | #Constraints: 11253
3.97/4.06 c #Conflicts: 43000 | #Constraints: 12253
3.97/4.06 c #Conflicts: 44000 | #Constraints: 13253
3.97/4.06 c #Conflicts: 45000 | #Constraints: 14253
3.97/4.06 c #Conflicts: 46000 | #Constraints: 15253
3.97/4.06 c #Conflicts: 47000 | #Constraints: 16253
3.97/4.06 c #Conflicts: 48000 | #Constraints: 17253
3.97/4.06 c #Conflicts: 49000 | #Constraints: 18253
3.97/4.06 c #Conflicts: 50000 | #Constraints: 19253
3.97/4.06 c #Conflicts: 51000 | #Constraints: 20253
3.97/4.06 c #Conflicts: 52000 | #Constraints: 21253
3.97/4.06 c INPROCESSING
3.97/4.06 c GARBAGE COLLECT
3.97/4.06 c rational objective 0
4.36/4.48 c #Conflicts: 53000 | #Constraints: 12085
4.36/4.48 c #Conflicts: 54000 | #Constraints: 13085
4.36/4.48 c #Conflicts: 55000 | #Constraints: 14085
4.36/4.48 c #Conflicts: 56000 | #Constraints: 15085
4.36/4.48 c #Conflicts: 57000 | #Constraints: 16085
4.36/4.48 c #Conflicts: 58000 | #Constraints: 17085
4.36/4.48 c INPROCESSING
4.36/4.48 c GARBAGE COLLECT
4.36/4.48 c rational objective 0
4.56/4.64 c #Conflicts: 59000 | #Constraints: 10069
4.56/4.64 c #Conflicts: 60000 | #Constraints: 11069
4.56/4.64 c #Conflicts: 61000 | #Constraints: 12069
4.56/4.64 c GLOBAL bounds - >= 0 @ 4.28188
4.56/4.64 c GLOBAL bounds - >= 0 @ 4.28203
5.96/6.08 c #Conflicts: 62000 | #Constraints: 13247
5.96/6.08 c #Conflicts: 63000 | #Constraints: 14791
5.96/6.08 c #Conflicts: 64000 | #Constraints: 16087
5.96/6.08 c #Conflicts: 65000 | #Constraints: 17249
5.96/6.08 c #Conflicts: 66000 | #Constraints: 18461
5.96/6.08 c #Conflicts: 67000 | #Constraints: 19566
5.96/6.08 c #Conflicts: 68000 | #Constraints: 20659
5.96/6.08 c #Conflicts: 69000 | #Constraints: 21814
5.96/6.08 c #Conflicts: 70000 | #Constraints: 23324
5.96/6.08 c #Conflicts: 71000 | #Constraints: 24434
5.96/6.08 c #Conflicts: 72000 | #Constraints: 25478
5.96/6.08 c GLOBAL bounds - >= 0 @ 5.63224
5.96/6.08 c GLOBAL bounds - >= 0 @ 5.6324
6.07/6.15 c #Conflicts: 73000 | #Constraints: 26499
6.07/6.15 c GLOBAL bounds 5 >= 0 @ 5.69098
6.07/6.15 c GLOBAL bounds 5 >= 0 @ 5.6911
6.56/6.62 c #Conflicts: 74000 | #Constraints: 27569
6.56/6.62 c #Conflicts: 75000 | #Constraints: 28781
6.56/6.62 c #Conflicts: 76000 | #Constraints: 29882
6.56/6.62 c INPROCESSING
6.56/6.62 c GARBAGE COLLECT
6.56/6.62 c rational objective 0
7.26/7.39 c #Conflicts: 77000 | #Constraints: 16517
7.26/7.39 c #Conflicts: 78000 | #Constraints: 17517
7.26/7.39 c #Conflicts: 79000 | #Constraints: 18517
7.26/7.39 c #Conflicts: 80000 | #Constraints: 19517
7.26/7.39 c #Conflicts: 81000 | #Constraints: 20517
7.26/7.39 c #Conflicts: 82000 | #Constraints: 21517
7.26/7.39 c #Conflicts: 83000 | #Constraints: 22517
7.26/7.39 c #Conflicts: 84000 | #Constraints: 23517
7.26/7.39 c INPROCESSING
7.26/7.39 c GARBAGE COLLECT
7.26/7.39 c #Conflicts: 85000 | #Constraints: 13619
7.26/7.39 c #Conflicts: 86000 | #Constraints: 14619
7.26/7.39 c #Conflicts: 87000 | #Constraints: 15619
7.26/7.39 c #Conflicts: 88000 | #Constraints: 16619
7.26/7.39 c #Conflicts: 89000 | #Constraints: 17619
7.26/7.39 c #Conflicts: 90000 | #Constraints: 18619
7.26/7.39 c GLOBAL bounds 5 >= 0 @ 6.83504
7.26/7.39 c GLOBAL bounds 5 >= 0 @ 6.83518
8.06/8.17 c #Conflicts: 91000 | #Constraints: 19620
8.06/8.17 c #Conflicts: 92000 | #Constraints: 20620
8.06/8.17 c #Conflicts: 93000 | #Constraints: 21620
8.06/8.17 c #Conflicts: 94000 | #Constraints: 22620
8.06/8.17 c #Conflicts: 95000 | #Constraints: 23620
8.06/8.17 c #Conflicts: 96000 | #Constraints: 24620
8.06/8.17 c #Conflicts: 97000 | #Constraints: 25620
8.06/8.17 c #Conflicts: 98000 | #Constraints: 26620
8.06/8.17 c #Conflicts: 99000 | #Constraints: 27620
8.06/8.17 c #Conflicts: 100000 | #Constraints: 28620
8.06/8.17 c #Conflicts: 101000 | #Constraints: 29620
8.06/8.17 c #Conflicts: 102000 | #Constraints: 30620
8.06/8.17 c #Conflicts: 103000 | #Constraints: 31620
8.06/8.17 c GLOBAL bounds 5 >= 0 @ 7.52972
8.06/8.17 c GLOBAL bounds 5 >= 0 @ 7.52985
8.75/8.87 c #Conflicts: 104000 | #Constraints: 32621
8.75/8.87 c #Conflicts: 105000 | #Constraints: 33621
8.75/8.87 c INPROCESSING
8.75/8.87 c GARBAGE COLLECT
8.75/8.87 c #Conflicts: 106000 | #Constraints: 18666
8.75/8.87 c #Conflicts: 107000 | #Constraints: 19666
8.75/8.87 c #Conflicts: 108000 | #Constraints: 20666
8.75/8.87 c #Conflicts: 109000 | #Constraints: 21666
8.75/8.87 c #Conflicts: 110000 | #Constraints: 22666
8.75/8.87 c #Conflicts: 111000 | #Constraints: 23666
8.75/8.87 c #Conflicts: 112000 | #Constraints: 24666
8.75/8.87 c #Conflicts: 113000 | #Constraints: 25666
8.75/8.87 c INPROCESSING
8.75/8.87 c GARBAGE COLLECT
8.75/8.87 c #Conflicts: 114000 | #Constraints: 14395
8.75/8.87 c #Conflicts: 115000 | #Constraints: 15395
8.75/8.87 c GLOBAL bounds 5 >= 0 @ 8.15877
8.75/8.88 c GLOBAL bounds 5 >= 0 @ 8.15891
9.35/9.42 c #Conflicts: 116000 | #Constraints: 16396
9.35/9.42 c #Conflicts: 117000 | #Constraints: 17396
9.35/9.42 c #Conflicts: 118000 | #Constraints: 18396
9.35/9.42 c #Conflicts: 119000 | #Constraints: 19396
9.35/9.42 c #Conflicts: 120000 | #Constraints: 20396
9.35/9.42 c #Conflicts: 121000 | #Constraints: 21396
9.35/9.42 c #Conflicts: 122000 | #Constraints: 22396
9.35/9.42 c #Conflicts: 123000 | #Constraints: 23396
9.35/9.42 c #Conflicts: 124000 | #Constraints: 24396
9.35/9.42 c #Conflicts: 125000 | #Constraints: 25396
9.35/9.42 c GLOBAL bounds 5 >= 0 @ 8.63794
9.35/9.42 c GLOBAL bounds 5 >= 0 @ 8.63807
9.76/9.88 c #Conflicts: 126000 | #Constraints: 26397
9.76/9.88 c #Conflicts: 127000 | #Constraints: 27397
9.76/9.88 c #Conflicts: 128000 | #Constraints: 28397
9.76/9.88 c #Conflicts: 129000 | #Constraints: 29397
9.76/9.88 c #Conflicts: 130000 | #Constraints: 30397
9.76/9.88 c #Conflicts: 131000 | #Constraints: 31397
9.76/9.88 c #Conflicts: 132000 | #Constraints: 32397
9.76/9.88 c GLOBAL bounds 5 >= 0 @ 9.05175
9.76/9.88 c GLOBAL bounds 5 >= 0 @ 9.05188
9.76/9.88 c GLOBAL bounds 5 >= 0 @ 9.05199
9.76/9.88 c GLOBAL bounds 5 >= 0 @ 9.05213
9.76/9.88 c GLOBAL bounds 5 >= 0 @ 9.05226
9.76/9.88 c GLOBAL bounds 5 >= 1 @ 9.05226
10.25/10.32 c #Conflicts: 133000 | #Constraints: 33409
10.25/10.32 c #Conflicts: 134000 | #Constraints: 34420
10.25/10.32 c #Conflicts: 135000 | #Constraints: 35426
10.25/10.32 c #Conflicts: 136000 | #Constraints: 36427
10.25/10.32 c #Conflicts: 137000 | #Constraints: 37429
10.25/10.32 c INPROCESSING
10.25/10.32 c GARBAGE COLLECT
10.25/10.32 c rational objective 0
10.75/10.89 c #Conflicts: 138000 | #Constraints: 20242
10.75/10.89 c #Conflicts: 139000 | #Constraints: 21247
10.75/10.89 c #Conflicts: 140000 | #Constraints: 22252
10.75/10.89 c #Conflicts: 141000 | #Constraints: 23254
10.75/10.89 c #Conflicts: 142000 | #Constraints: 24254
10.75/10.89 c #Conflicts: 143000 | #Constraints: 25255
10.75/10.89 c #Conflicts: 144000 | #Constraints: 26255
10.75/10.89 c GLOBAL bounds 5 >= 1 @ 10.0091
11.05/11.14 c #Conflicts: 145000 | #Constraints: 27258
11.05/11.14 c #Conflicts: 146000 | #Constraints: 28260
11.05/11.14 c #Conflicts: 147000 | #Constraints: 29261
11.05/11.14 c INPROCESSING
11.05/11.14 c GARBAGE COLLECT
11.05/11.14 c rational objective 1.11022e-16
11.74/11.87 c #Conflicts: 148000 | #Constraints: 16197
11.74/11.87 c #Conflicts: 149000 | #Constraints: 17198
11.74/11.87 c #Conflicts: 150000 | #Constraints: 18203
11.74/11.87 c #Conflicts: 151000 | #Constraints: 19204
11.74/11.87 c #Conflicts: 152000 | #Constraints: 20207
11.74/11.87 c #Conflicts: 153000 | #Constraints: 21210
11.74/11.87 c #Conflicts: 154000 | #Constraints: 22211
11.74/11.87 c #Conflicts: 155000 | #Constraints: 23211
11.74/11.87 c #Conflicts: 156000 | #Constraints: 24212
11.74/11.87 c #Conflicts: 157000 | #Constraints: 25212
11.74/11.87 c #Conflicts: 158000 | #Constraints: 26213
11.74/11.87 c GLOBAL bounds 5 >= 1 @ 10.919
12.35/12.40 c #Conflicts: 159000 | #Constraints: 27214
12.35/12.40 c #Conflicts: 160000 | #Constraints: 28214
12.35/12.40 c #Conflicts: 161000 | #Constraints: 29214
12.35/12.40 c #Conflicts: 162000 | #Constraints: 30214
12.35/12.40 c #Conflicts: 163000 | #Constraints: 31214
12.35/12.40 c #Conflicts: 164000 | #Constraints: 32214
12.35/12.40 c GLOBAL bounds 5 >= 1 @ 11.4004
12.84/12.98 c #Conflicts: 165000 | #Constraints: 33216
12.84/12.98 c #Conflicts: 166000 | #Constraints: 34216
12.84/12.98 c #Conflicts: 167000 | #Constraints: 35216
12.84/12.98 c #Conflicts: 168000 | #Constraints: 36216
12.84/12.98 c GLOBAL bounds 5 >= 1 @ 11.9346
12.84/12.98 c GLOBAL bounds 5 >= 1 @ 11.9347
13.44/13.50 c #Conflicts: 169000 | #Constraints: 37217
13.44/13.50 c #Conflicts: 170000 | #Constraints: 38219
13.44/13.50 c #Conflicts: 171000 | #Constraints: 39220
13.44/13.50 c #Conflicts: 172000 | #Constraints: 40220
13.44/13.50 c #Conflicts: 173000 | #Constraints: 41222
13.44/13.50 c #Conflicts: 174000 | #Constraints: 42223
13.44/13.50 c INPROCESSING
13.44/13.50 c GARBAGE COLLECT
13.44/13.50 c rational objective 0
13.84/14.00 c #Conflicts: 175000 | #Constraints: 22581
13.84/14.00 c #Conflicts: 176000 | #Constraints: 23581
13.84/14.00 c #Conflicts: 177000 | #Constraints: 24582
13.84/14.00 c #Conflicts: 178000 | #Constraints: 25582
13.84/14.00 c #Conflicts: 179000 | #Constraints: 26582
13.84/14.00 c #Conflicts: 180000 | #Constraints: 27582
13.84/14.00 c #Conflicts: 181000 | #Constraints: 28582
13.84/14.00 c #Conflicts: 182000 | #Constraints: 29582
13.84/14.00 c GLOBAL bounds 5 >= 1 @ 12.8907
13.84/14.00 c GLOBAL bounds 5 >= 1 @ 12.8908
14.14/14.20 c #Conflicts: 183000 | #Constraints: 30583
14.14/14.20 c #Conflicts: 184000 | #Constraints: 31583
14.14/14.20 c GLOBAL bounds 5 >= 1 @ 13.0766
14.14/14.20 c GLOBAL bounds 5 >= 1 @ 13.0768
14.14/14.28 c #Conflicts: 185000 | #Constraints: 32584
14.14/14.28 c #Conflicts: 186000 | #Constraints: 33584
14.14/14.28 c INPROCESSING
14.14/14.28 c GARBAGE COLLECT
14.14/14.28 c rational objective 0
14.44/14.56 c #Conflicts: 187000 | #Constraints: 18656
14.44/14.56 c #Conflicts: 188000 | #Constraints: 19656
14.44/14.56 c #Conflicts: 189000 | #Constraints: 20656
14.44/14.56 c #Conflicts: 190000 | #Constraints: 21656
14.44/14.56 c GLOBAL bounds 5 >= 1 @ 13.3955
14.44/14.56 c GLOBAL bounds 5 >= 1 @ 13.3956
14.84/14.97 c #Conflicts: 191000 | #Constraints: 22657
14.84/14.97 c #Conflicts: 192000 | #Constraints: 23657
14.84/14.97 c #Conflicts: 193000 | #Constraints: 24657
14.84/14.97 c #Conflicts: 194000 | #Constraints: 25657
14.84/14.97 c #Conflicts: 195000 | #Constraints: 26657
14.84/14.97 c #Conflicts: 196000 | #Constraints: 27657
14.84/14.97 c #Conflicts: 197000 | #Constraints: 28657
14.84/14.97 c GLOBAL bounds 5 >= 1 @ 13.7699
14.84/14.97 c GLOBAL bounds 5 >= 1 @ 13.7699
15.34/15.48 c #Conflicts: 198000 | #Constraints: 29658
15.34/15.48 c #Conflicts: 199000 | #Constraints: 30658
15.34/15.48 c #Conflicts: 200000 | #Constraints: 31658
15.34/15.48 c #Conflicts: 201000 | #Constraints: 32658
15.34/15.48 c #Conflicts: 202000 | #Constraints: 33658
15.34/15.48 c #Conflicts: 203000 | #Constraints: 34658
15.34/15.48 c #Conflicts: 204000 | #Constraints: 35658
15.34/15.48 c GLOBAL bounds 5 >= 1 @ 14.2434
15.34/15.48 c GLOBAL bounds 5 >= 1 @ 14.2435
15.84/15.99 c #Conflicts: 205000 | #Constraints: 36659
15.84/15.99 c #Conflicts: 206000 | #Constraints: 37659
15.84/15.99 c #Conflicts: 207000 | #Constraints: 38659
15.84/15.99 c #Conflicts: 208000 | #Constraints: 39659
15.84/15.99 c #Conflicts: 209000 | #Constraints: 40659
15.84/15.99 c GLOBAL bounds 5 >= 1 @ 14.7096
15.84/15.99 c GLOBAL bounds 5 >= 1 @ 14.7098
16.33/16.46 c #Conflicts: 210000 | #Constraints: 41660
16.33/16.46 c #Conflicts: 211000 | #Constraints: 42660
16.33/16.46 c #Conflicts: 212000 | #Constraints: 43660
16.33/16.46 c #Conflicts: 213000 | #Constraints: 44660
16.33/16.46 c #Conflicts: 214000 | #Constraints: 45660
16.33/16.46 c #Conflicts: 215000 | #Constraints: 46660
16.33/16.46 c #Conflicts: 216000 | #Constraints: 47660
16.33/16.46 c INPROCESSING
16.33/16.46 c GARBAGE COLLECT
16.33/16.46 c rational objective 0.25
16.44/16.58 c #Conflicts: 217000 | #Constraints: 25550
16.44/16.58 c GLOBAL bounds 5 >= 1 @ 15.2525
16.44/16.58 c GLOBAL bounds 5 >= 1 @ 15.2527
16.93/17.01 c #Conflicts: 218000 | #Constraints: 26551
16.93/17.01 c #Conflicts: 219000 | #Constraints: 27551
16.93/17.01 c #Conflicts: 220000 | #Constraints: 28551
16.93/17.01 c #Conflicts: 221000 | #Constraints: 29551
16.93/17.01 c #Conflicts: 222000 | #Constraints: 30551
16.93/17.01 c GLOBAL bounds 5 >= 1 @ 15.6486
16.93/17.01 c GLOBAL bounds 5 >= 1 @ 15.6488
17.23/17.33 c #Conflicts: 223000 | #Constraints: 31552
17.23/17.33 c #Conflicts: 224000 | #Constraints: 32552
17.23/17.33 c #Conflicts: 225000 | #Constraints: 33552
17.23/17.33 c #Conflicts: 226000 | #Constraints: 34552
17.23/17.33 c #Conflicts: 227000 | #Constraints: 35552
17.23/17.33 c GLOBAL bounds 5 >= 1 @ 15.9345
17.23/17.33 c GLOBAL bounds 5 >= 1 @ 15.9346
17.23/17.33 c GLOBAL bounds 5 >= 1 @ 15.9348
17.23/17.33 c GLOBAL bounds 5 >= 1 @ 15.9348
17.23/17.33 c GLOBAL bounds 5 >= 1 @ 15.9348
17.23/17.33 c GLOBAL bounds 5 >= 1 @ 15.9348
17.33/17.44 c #Conflicts: 228000 | #Constraints: 36557
17.33/17.44 c INPROCESSING
17.33/17.44 c GARBAGE COLLECT
17.33/17.44 c rational objective 0.25
17.94/18.08 c #Conflicts: 229000 | #Constraints: 19754
17.94/18.08 c #Conflicts: 230000 | #Constraints: 20759
17.94/18.08 c #Conflicts: 231000 | #Constraints: 21767
17.94/18.08 c #Conflicts: 232000 | #Constraints: 22769
17.94/18.08 c #Conflicts: 233000 | #Constraints: 23770
17.94/18.08 c #Conflicts: 234000 | #Constraints: 24771
17.94/18.08 c #Conflicts: 235000 | #Constraints: 25771
17.94/18.08 c #Conflicts: 236000 | #Constraints: 26771
17.94/18.08 c GLOBAL bounds 5 >= 1 @ 16.6478
19.03/19.18 c #Conflicts: 237000 | #Constraints: 27775
19.03/19.18 c #Conflicts: 238000 | #Constraints: 28778
19.03/19.18 c #Conflicts: 239000 | #Constraints: 29781
19.03/19.18 c #Conflicts: 240000 | #Constraints: 30782
19.03/19.18 c #Conflicts: 241000 | #Constraints: 31783
19.03/19.18 c #Conflicts: 242000 | #Constraints: 32783
19.03/19.18 c #Conflicts: 243000 | #Constraints: 33785
19.03/19.18 c #Conflicts: 244000 | #Constraints: 34785
19.03/19.18 c #Conflicts: 245000 | #Constraints: 35785
19.03/19.18 c #Conflicts: 246000 | #Constraints: 36785
19.03/19.18 c #Conflicts: 247000 | #Constraints: 37786
19.03/19.18 c #Conflicts: 248000 | #Constraints: 38787
19.03/19.18 c GLOBAL bounds 5 >= 1 @ 17.6701
19.72/19.89 c #Conflicts: 249000 | #Constraints: 39788
19.72/19.89 c #Conflicts: 250000 | #Constraints: 40788
19.72/19.89 c #Conflicts: 251000 | #Constraints: 41788
19.72/19.89 c #Conflicts: 252000 | #Constraints: 42788
19.72/19.89 c #Conflicts: 253000 | #Constraints: 43788
19.72/19.89 c #Conflicts: 254000 | #Constraints: 44788
19.72/19.89 c #Conflicts: 255000 | #Constraints: 45788
19.72/19.89 c GLOBAL bounds 5 >= 1 @ 18.3505
20.42/20.57 c #Conflicts: 256000 | #Constraints: 46789
20.42/20.57 c #Conflicts: 257000 | #Constraints: 47790
20.42/20.57 c #Conflicts: 258000 | #Constraints: 48790
20.42/20.57 c #Conflicts: 259000 | #Constraints: 49790
20.42/20.57 c GLOBAL bounds 5 >= 1 @ 18.9948
20.42/20.57 c GLOBAL bounds 5 >= 1 @ 18.995
20.72/20.86 c #Conflicts: 260000 | #Constraints: 50791
20.72/20.86 c #Conflicts: 261000 | #Constraints: 51791
20.72/20.86 c #Conflicts: 262000 | #Constraints: 52792
20.72/20.86 c INPROCESSING
20.72/20.86 c GARBAGE COLLECT
20.72/20.86 c rational objective 0.25
21.02/21.15 c #Conflicts: 263000 | #Constraints: 28174
21.02/21.15 c #Conflicts: 264000 | #Constraints: 29176
21.02/21.15 c #Conflicts: 265000 | #Constraints: 30176
21.02/21.15 c GLOBAL bounds 5 >= 1 @ 19.5296
21.02/21.15 c GLOBAL bounds 5 >= 1 @ 19.5297
21.52/21.67 c #Conflicts: 266000 | #Constraints: 31177
21.52/21.67 c #Conflicts: 267000 | #Constraints: 32177
21.52/21.67 c #Conflicts: 268000 | #Constraints: 33177
21.52/21.67 c #Conflicts: 269000 | #Constraints: 34177
21.52/21.67 c #Conflicts: 270000 | #Constraints: 35177
21.52/21.67 c #Conflicts: 271000 | #Constraints: 36177
21.52/21.67 c #Conflicts: 272000 | #Constraints: 37177
21.52/21.67 c #Conflicts: 273000 | #Constraints: 38177
21.52/21.67 c GLOBAL bounds 5 >= 1 @ 20.0002
21.52/21.67 c GLOBAL bounds 5 >= 1 @ 20.0003
21.71/21.86 c #Conflicts: 274000 | #Constraints: 39178
21.71/21.86 c #Conflicts: 275000 | #Constraints: 40178
21.71/21.86 c #Conflicts: 276000 | #Constraints: 41178
21.71/21.86 c INPROCESSING
21.71/21.86 c GARBAGE COLLECT
21.71/21.86 c rational objective 0.25
21.92/22.05 c #Conflicts: 277000 | #Constraints: 22465
21.92/22.05 c #Conflicts: 278000 | #Constraints: 23465
21.92/22.05 c GLOBAL bounds 5 >= 1 @ 20.3519
21.92/22.05 c GLOBAL bounds 5 >= 1 @ 20.3521
22.22/22.35 c #Conflicts: 279000 | #Constraints: 24466
22.22/22.35 c #Conflicts: 280000 | #Constraints: 25466
22.22/22.35 c #Conflicts: 281000 | #Constraints: 26466
22.22/22.35 c #Conflicts: 282000 | #Constraints: 27466
22.22/22.35 c #Conflicts: 283000 | #Constraints: 28466
22.22/22.35 c GLOBAL bounds 5 >= 1 @ 20.6173
22.22/22.35 c GLOBAL bounds 5 >= 1 @ 20.6174
22.62/22.75 c #Conflicts: 284000 | #Constraints: 29467
22.62/22.75 c #Conflicts: 285000 | #Constraints: 30467
22.62/22.75 c #Conflicts: 286000 | #Constraints: 31467
22.62/22.75 c #Conflicts: 287000 | #Constraints: 32467
22.62/22.75 c #Conflicts: 288000 | #Constraints: 33467
22.62/22.75 c #Conflicts: 289000 | #Constraints: 34467
22.62/22.75 c GLOBAL bounds 5 >= 1 @ 20.9799
22.62/22.75 c GLOBAL bounds 5 >= 1 @ 20.98
23.01/23.19 c #Conflicts: 290000 | #Constraints: 35468
23.01/23.19 c #Conflicts: 291000 | #Constraints: 36468
23.01/23.19 c #Conflicts: 292000 | #Constraints: 37468
23.01/23.19 c #Conflicts: 293000 | #Constraints: 38468
23.01/23.19 c #Conflicts: 294000 | #Constraints: 39468
23.01/23.19 c GLOBAL bounds 5 >= 1 @ 21.3895
23.01/23.19 c GLOBAL bounds 5 >= 1 @ 21.3897
23.42/23.58 c #Conflicts: 295000 | #Constraints: 40469
23.42/23.58 c #Conflicts: 296000 | #Constraints: 41469
23.42/23.58 c #Conflicts: 297000 | #Constraints: 42469
23.42/23.58 c #Conflicts: 298000 | #Constraints: 43469
23.42/23.58 c #Conflicts: 299000 | #Constraints: 44469
23.42/23.58 c #Conflicts: 300000 | #Constraints: 45469
23.42/23.58 c GLOBAL bounds 5 >= 1 @ 21.743
23.42/23.58 c GLOBAL bounds 5 >= 1 @ 21.7431
23.82/23.98 c #Conflicts: 301000 | #Constraints: 46470
23.82/23.98 c #Conflicts: 302000 | #Constraints: 47470
23.82/23.98 c #Conflicts: 303000 | #Constraints: 48470
23.82/23.98 c #Conflicts: 304000 | #Constraints: 49470
23.82/23.98 c #Conflicts: 305000 | #Constraints: 50470
23.82/23.98 c GLOBAL bounds 5 >= 1 @ 22.1184
23.82/23.98 c GLOBAL bounds 5 >= 1 @ 22.1184
24.21/24.36 c #Conflicts: 306000 | #Constraints: 51471
24.21/24.36 c #Conflicts: 307000 | #Constraints: 52471
24.21/24.36 c #Conflicts: 308000 | #Constraints: 53471
24.21/24.36 c #Conflicts: 309000 | #Constraints: 54471
24.21/24.36 c #Conflicts: 310000 | #Constraints: 55471
24.21/24.36 c GLOBAL bounds 5 >= 1 @ 22.47
24.21/24.36 c GLOBAL bounds 5 >= 1 @ 22.4702
24.21/24.36 c GLOBAL bounds 5 >= 1 @ 22.4703
24.21/24.36 c GLOBAL bounds 5 >= 1 @ 22.4704
24.21/24.36 c GLOBAL bounds 5 >= 2 @ 22.4704
24.41/24.54 c #Conflicts: 311000 | #Constraints: 56475
24.41/24.54 c #Conflicts: 312000 | #Constraints: 57477
24.41/24.54 c INPROCESSING
24.41/24.54 c GARBAGE COLLECT
24.41/24.54 c rational objective 0.25
24.81/24.95 c #Conflicts: 313000 | #Constraints: 30368
24.81/24.95 c #Conflicts: 314000 | #Constraints: 31369
24.81/24.95 c #Conflicts: 315000 | #Constraints: 32372
24.81/24.95 c #Conflicts: 316000 | #Constraints: 33372
24.81/24.95 c #Conflicts: 317000 | #Constraints: 34372
24.81/24.95 c #Conflicts: 318000 | #Constraints: 35372
24.81/24.95 c GLOBAL bounds 5 >= 2 @ 23.0136
25.70/25.84 c #Conflicts: 319000 | #Constraints: 36373
25.70/25.84 c #Conflicts: 320000 | #Constraints: 37373
25.70/25.84 c #Conflicts: 321000 | #Constraints: 38373
25.70/25.84 c #Conflicts: 322000 | #Constraints: 39374
25.70/25.84 c #Conflicts: 323000 | #Constraints: 40374
25.70/25.84 c #Conflicts: 324000 | #Constraints: 41374
25.70/25.84 c #Conflicts: 325000 | #Constraints: 42374
25.70/25.84 c #Conflicts: 326000 | #Constraints: 43374
25.70/25.84 c #Conflicts: 327000 | #Constraints: 44374
25.70/25.84 c #Conflicts: 328000 | #Constraints: 45374
25.70/25.84 c #Conflicts: 329000 | #Constraints: 46374
25.70/25.84 c GLOBAL bounds 5 >= 2 @ 23.8209
26.31/26.43 c #Conflicts: 330000 | #Constraints: 47375
26.31/26.43 c #Conflicts: 331000 | #Constraints: 48375
26.31/26.43 c #Conflicts: 332000 | #Constraints: 49375
26.31/26.43 c #Conflicts: 333000 | #Constraints: 50375
26.31/26.43 c #Conflicts: 334000 | #Constraints: 51375
26.31/26.43 c #Conflicts: 335000 | #Constraints: 52375
26.31/26.43 c #Conflicts: 336000 | #Constraints: 53375
26.31/26.43 c GLOBAL bounds 5 >= 2 @ 24.37
26.31/26.43 c GLOBAL bounds 5 >= 2 @ 24.37
27.00/27.18 c #Conflicts: 337000 | #Constraints: 54376
27.00/27.18 c #Conflicts: 338000 | #Constraints: 55376
27.00/27.18 c #Conflicts: 339000 | #Constraints: 56376
27.00/27.18 c #Conflicts: 340000 | #Constraints: 57376
27.00/27.18 c #Conflicts: 341000 | #Constraints: 58376
27.00/27.18 c #Conflicts: 342000 | #Constraints: 59376
27.00/27.18 c #Conflicts: 343000 | #Constraints: 60376
27.00/27.18 c #Conflicts: 344000 | #Constraints: 61376
27.00/27.18 c GLOBAL bounds 5 >= 2 @ 25.0514
27.00/27.18 c GLOBAL bounds 5 >= 2 @ 25.0516
27.20/27.38 c #Conflicts: 345000 | #Constraints: 62377
27.20/27.38 c #Conflicts: 346000 | #Constraints: 63377
27.20/27.38 c #Conflicts: 347000 | #Constraints: 64377
27.20/27.38 c GLOBAL bounds 5 >= 2 @ 25.2422
27.20/27.38 c GLOBAL bounds 5 >= 2 @ 25.2424
27.60/27.70 c #Conflicts: 348000 | #Constraints: 65378
27.60/27.70 c #Conflicts: 349000 | #Constraints: 66378
27.60/27.70 c #Conflicts: 350000 | #Constraints: 67378
27.60/27.70 c #Conflicts: 351000 | #Constraints: 68378
27.60/27.70 c INPROCESSING
27.60/27.70 c GARBAGE COLLECT
27.60/27.70 c rational objective 0.25
27.80/27.95 c #Conflicts: 352000 | #Constraints: 36072
27.80/27.95 c #Conflicts: 353000 | #Constraints: 37072
27.80/27.95 c #Conflicts: 354000 | #Constraints: 38072
27.80/27.95 c GLOBAL bounds 5 >= 2 @ 25.7532
27.80/27.95 c GLOBAL bounds 5 >= 2 @ 25.7534
28.20/28.38 c #Conflicts: 355000 | #Constraints: 39073
28.20/28.38 c #Conflicts: 356000 | #Constraints: 40073
28.20/28.38 c #Conflicts: 357000 | #Constraints: 41073
28.20/28.38 c #Conflicts: 358000 | #Constraints: 42073
28.20/28.38 c GLOBAL bounds 5 >= 2 @ 26.1554
28.20/28.38 c GLOBAL bounds 5 >= 2 @ 26.1556
28.80/28.92 c #Conflicts: 359000 | #Constraints: 43074
28.80/28.92 c #Conflicts: 360000 | #Constraints: 44074
28.80/28.92 c #Conflicts: 361000 | #Constraints: 45074
28.80/28.92 c #Conflicts: 362000 | #Constraints: 46074
28.80/28.92 c #Conflicts: 363000 | #Constraints: 47074
28.80/28.92 c #Conflicts: 364000 | #Constraints: 48074
28.80/28.92 c #Conflicts: 365000 | #Constraints: 49074
28.80/28.92 c GLOBAL bounds 5 >= 2 @ 26.6454
28.80/28.92 c GLOBAL bounds 5 >= 2 @ 26.6455
29.20/29.31 c #Conflicts: 366000 | #Constraints: 50075
29.20/29.31 c #Conflicts: 367000 | #Constraints: 51075
29.20/29.31 c #Conflicts: 368000 | #Constraints: 52075
29.20/29.31 c #Conflicts: 369000 | #Constraints: 53075
29.20/29.31 c #Conflicts: 370000 | #Constraints: 54075
29.20/29.31 c #Conflicts: 371000 | #Constraints: 55075
29.20/29.31 c GLOBAL bounds 5 >= 2 @ 27.0058
29.20/29.31 c GLOBAL bounds 5 >= 2 @ 27.006
29.90/30.03 c #Conflicts: 372000 | #Constraints: 56076
29.90/30.03 c #Conflicts: 373000 | #Constraints: 57076
29.90/30.03 c #Conflicts: 374000 | #Constraints: 58076
29.90/30.03 c #Conflicts: 375000 | #Constraints: 59076
29.90/30.03 c #Conflicts: 376000 | #Constraints: 60076
29.90/30.03 c #Conflicts: 377000 | #Constraints: 61076
29.90/30.03 c #Conflicts: 378000 | #Constraints: 62076
29.90/30.03 c GLOBAL bounds 5 >= 2 @ 27.6732
29.90/30.03 c GLOBAL bounds 5 >= 2 @ 27.6733
30.30/30.48 c #Conflicts: 379000 | #Constraints: 63077
30.30/30.48 c #Conflicts: 380000 | #Constraints: 64077
30.30/30.48 c #Conflicts: 381000 | #Constraints: 65077
30.30/30.48 c #Conflicts: 382000 | #Constraints: 66077
30.30/30.48 c #Conflicts: 383000 | #Constraints: 67077
30.30/30.48 c GLOBAL bounds 5 >= 2 @ 28.0935
30.30/30.48 c GLOBAL bounds 5 >= 2 @ 28.0936
30.79/30.93 c #Conflicts: 384000 | #Constraints: 68078
30.79/30.93 c #Conflicts: 385000 | #Constraints: 69078
30.79/30.93 c #Conflicts: 386000 | #Constraints: 70078
30.79/30.93 c #Conflicts: 387000 | #Constraints: 71078
30.79/30.93 c #Conflicts: 388000 | #Constraints: 72078
30.79/30.93 c GLOBAL bounds 5 >= 2 @ 28.5069
30.79/30.93 c GLOBAL bounds 5 >= 2 @ 28.5071
30.79/30.93 c GLOBAL bounds 5 >= 2 @ 28.5071
30.79/30.93 c GLOBAL bounds 5 >= 3 @ 28.5071
30.99/31.17 c #Conflicts: 389000 | #Constraints: 73083
30.99/31.17 c #Conflicts: 390000 | #Constraints: 74083
30.99/31.17 c #Conflicts: 391000 | #Constraints: 75083
30.99/31.17 c INPROCESSING
30.99/31.17 c GARBAGE COLLECT
30.99/31.17 c rational objective 0.25
31.49/31.66 c #Conflicts: 392000 | #Constraints: 39182
31.49/31.66 c #Conflicts: 393000 | #Constraints: 40182
31.49/31.66 c #Conflicts: 394000 | #Constraints: 41182
31.49/31.66 c #Conflicts: 395000 | #Constraints: 42182
31.49/31.66 c #Conflicts: 396000 | #Constraints: 43182
31.49/31.66 c GLOBAL bounds 5 >= 3 @ 29.1864
32.09/32.20 c #Conflicts: 397000 | #Constraints: 44183
32.09/32.20 c #Conflicts: 398000 | #Constraints: 45183
32.09/32.20 c #Conflicts: 399000 | #Constraints: 46183
32.09/32.20 c #Conflicts: 400000 | #Constraints: 47183
32.09/32.20 c #Conflicts: 401000 | #Constraints: 48183
32.09/32.20 c GLOBAL bounds 5 >= 3 @ 29.6976
32.09/32.20 c GLOBAL bounds 5 >= 3 @ 29.6977
32.49/32.65 c #Conflicts: 402000 | #Constraints: 49184
32.49/32.65 c #Conflicts: 403000 | #Constraints: 50184
32.49/32.65 c #Conflicts: 404000 | #Constraints: 51184
32.49/32.65 c #Conflicts: 405000 | #Constraints: 52184
32.49/32.65 c GLOBAL bounds 5 >= 3 @ 30.1179
32.49/32.65 c GLOBAL bounds 5 >= 3 @ 30.1181
32.89/33.05 c #Conflicts: 406000 | #Constraints: 53185
32.89/33.05 c #Conflicts: 407000 | #Constraints: 54185
32.89/33.05 c #Conflicts: 408000 | #Constraints: 55185
32.89/33.05 c #Conflicts: 409000 | #Constraints: 56185
32.89/33.05 c GLOBAL bounds 5 >= 3 @ 30.4749
32.89/33.05 c GLOBAL bounds 5 >= 3 @ 30.475
33.28/33.42 c #Conflicts: 410000 | #Constraints: 57186
33.28/33.42 c #Conflicts: 411000 | #Constraints: 58186
33.28/33.42 c #Conflicts: 412000 | #Constraints: 59186
33.28/33.42 c GLOBAL bounds 5 >= 3 @ 30.8284
33.28/33.42 c GLOBAL bounds 5 >= 3 @ 30.8286
33.89/34.03 c #Conflicts: 413000 | #Constraints: 60187
33.89/34.03 c #Conflicts: 414000 | #Constraints: 61187
33.89/34.03 c #Conflicts: 415000 | #Constraints: 62187
33.89/34.03 c #Conflicts: 416000 | #Constraints: 63187
33.89/34.03 c #Conflicts: 417000 | #Constraints: 64187
33.89/34.03 c GLOBAL bounds 5 >= 3 @ 31.3975
33.89/34.03 c GLOBAL bounds 5 >= 3 @ 31.3976
34.68/34.81 c #Conflicts: 418000 | #Constraints: 65188
34.68/34.81 c #Conflicts: 419000 | #Constraints: 66188
34.68/34.81 c #Conflicts: 420000 | #Constraints: 67188
34.68/34.81 c #Conflicts: 421000 | #Constraints: 68188
34.68/34.81 c #Conflicts: 422000 | #Constraints: 69188
34.68/34.81 c #Conflicts: 423000 | #Constraints: 70188
34.68/34.81 c GLOBAL bounds 5 >= 3 @ 32.1469
34.68/34.81 c GLOBAL bounds 5 >= 3 @ 32.1471
35.28/35.42 c #Conflicts: 424000 | #Constraints: 71189
35.28/35.42 c #Conflicts: 425000 | #Constraints: 72189
35.28/35.42 c #Conflicts: 426000 | #Constraints: 73189
35.28/35.42 c #Conflicts: 427000 | #Constraints: 74189
35.28/35.42 c #Conflicts: 428000 | #Constraints: 75189
35.28/35.42 c GLOBAL bounds 5 >= 3 @ 32.719
35.28/35.42 c GLOBAL bounds 5 >= 3 @ 32.7192
35.89/36.09 c #Conflicts: 429000 | #Constraints: 76191
35.89/36.09 c #Conflicts: 430000 | #Constraints: 77191
35.89/36.09 c #Conflicts: 431000 | #Constraints: 78191
35.89/36.09 c #Conflicts: 432000 | #Constraints: 79191
35.89/36.09 c #Conflicts: 433000 | #Constraints: 80191
35.89/36.09 c GLOBAL bounds 5 >= 3 @ 33.3501
35.89/36.09 c GLOBAL bounds 5 >= 3 @ 33.3501
36.08/36.21 c #Conflicts: 434000 | #Constraints: 81192
36.08/36.21 c INPROCESSING
36.08/36.21 c GARBAGE COLLECT
36.08/36.21 c rational objective 0.25
36.67/36.84 c #Conflicts: 435000 | #Constraints: 42489
36.67/36.84 c #Conflicts: 436000 | #Constraints: 43489
36.67/36.84 c #Conflicts: 437000 | #Constraints: 44489
36.67/36.84 c #Conflicts: 438000 | #Constraints: 45489
36.67/36.84 c #Conflicts: 439000 | #Constraints: 46489
36.67/36.84 c #Conflicts: 440000 | #Constraints: 47489
36.67/36.84 c GLOBAL bounds 5 >= 3 @ 34.0504
36.67/36.84 c GLOBAL bounds 5 >= 3 @ 34.0505
37.18/37.35 c #Conflicts: 441000 | #Constraints: 48490
37.18/37.35 c #Conflicts: 442000 | #Constraints: 49490
37.18/37.35 c #Conflicts: 443000 | #Constraints: 50490
37.18/37.35 c #Conflicts: 444000 | #Constraints: 51490
37.18/37.35 c #Conflicts: 445000 | #Constraints: 52490
37.18/37.35 c #Conflicts: 446000 | #Constraints: 53490
37.18/37.35 c #Conflicts: 447000 | #Constraints: 54490
37.18/37.35 c GLOBAL bounds 5 >= 3 @ 34.5155
37.18/37.35 c GLOBAL bounds 5 >= 3 @ 34.5157
37.18/37.35 c GLOBAL bounds 5 >= 3 @ 34.5158
37.18/37.35 c GLOBAL bounds 5 >= 3 @ 34.5158
37.77/37.95 c #Conflicts: 448000 | #Constraints: 55494
37.77/37.95 c #Conflicts: 449000 | #Constraints: 56494
37.77/37.95 c #Conflicts: 450000 | #Constraints: 57494
37.77/37.95 c #Conflicts: 451000 | #Constraints: 58494
37.77/37.95 c #Conflicts: 452000 | #Constraints: 59494
37.77/37.95 c #Conflicts: 453000 | #Constraints: 60494
37.77/37.95 c #Conflicts: 454000 | #Constraints: 61494
37.77/37.95 c GLOBAL bounds 5 >= 3 @ 35.0704
38.37/38.50 c #Conflicts: 455000 | #Constraints: 62495
38.37/38.50 c #Conflicts: 456000 | #Constraints: 63495
38.37/38.50 c #Conflicts: 457000 | #Constraints: 64495
38.37/38.50 c #Conflicts: 458000 | #Constraints: 65495
38.37/38.50 c #Conflicts: 459000 | #Constraints: 66495
38.37/38.50 c GLOBAL bounds 5 >= 3 @ 35.5818
38.37/38.50 c GLOBAL bounds 5 >= 3 @ 35.5819
38.77/38.96 c #Conflicts: 460000 | #Constraints: 67496
38.77/38.96 c #Conflicts: 461000 | #Constraints: 68496
38.77/38.96 c #Conflicts: 462000 | #Constraints: 69496
38.77/38.96 c #Conflicts: 463000 | #Constraints: 70496
38.77/38.96 c GLOBAL bounds 5 >= 3 @ 36.0142
38.77/38.96 c GLOBAL bounds 5 >= 3 @ 36.0143
39.17/39.39 c #Conflicts: 464000 | #Constraints: 71497
39.17/39.39 c #Conflicts: 465000 | #Constraints: 72497
39.17/39.39 c #Conflicts: 466000 | #Constraints: 73497
39.17/39.39 c #Conflicts: 467000 | #Constraints: 74497
39.17/39.39 c GLOBAL bounds 5 >= 3 @ 36.4119
39.17/39.39 c GLOBAL bounds 5 >= 3 @ 36.412
39.37/39.55 c #Conflicts: 468000 | #Constraints: 75498
39.37/39.55 c GLOBAL bounds 5 >= 3 @ 36.5675
39.37/39.55 c GLOBAL bounds 5 >= 3 @ 36.5677
40.07/40.22 c #Conflicts: 469000 | #Constraints: 76499
40.07/40.22 c #Conflicts: 470000 | #Constraints: 77499
40.07/40.22 c #Conflicts: 471000 | #Constraints: 78499
40.07/40.22 c #Conflicts: 472000 | #Constraints: 79499
40.07/40.22 c #Conflicts: 473000 | #Constraints: 80499
40.07/40.22 c #Conflicts: 474000 | #Constraints: 81499
40.07/40.22 c GLOBAL bounds 5 >= 3 @ 37.1891
40.07/40.22 c GLOBAL bounds 5 >= 3 @ 37.1893
40.47/40.69 c #Conflicts: 475000 | #Constraints: 82500
40.47/40.69 c #Conflicts: 476000 | #Constraints: 83500
40.47/40.69 c #Conflicts: 477000 | #Constraints: 84500
40.47/40.69 c #Conflicts: 478000 | #Constraints: 85500
40.47/40.69 c INPROCESSING
40.47/40.69 c GARBAGE COLLECT
40.47/40.69 c rational objective 0.25
40.77/40.99 c #Conflicts: 479000 | #Constraints: 44400
40.77/40.99 c #Conflicts: 480000 | #Constraints: 45400
40.77/40.99 c #Conflicts: 481000 | #Constraints: 46400
40.77/40.99 c GLOBAL bounds 5 >= 3 @ 37.9203
40.77/40.99 c GLOBAL bounds 5 >= 3 @ 37.9205
41.26/41.43 c #Conflicts: 482000 | #Constraints: 47401
41.26/41.43 c #Conflicts: 483000 | #Constraints: 48401
41.26/41.43 c #Conflicts: 484000 | #Constraints: 49401
41.26/41.43 c #Conflicts: 485000 | #Constraints: 50401
41.26/41.43 c GLOBAL bounds 5 >= 3 @ 38.3318
41.26/41.43 c GLOBAL bounds 5 >= 3 @ 38.3319
41.96/42.14 c #Conflicts: 486000 | #Constraints: 51402
41.96/42.14 c #Conflicts: 487000 | #Constraints: 52402
41.96/42.14 c #Conflicts: 488000 | #Constraints: 53403
41.96/42.14 c #Conflicts: 489000 | #Constraints: 54403
41.96/42.14 c #Conflicts: 490000 | #Constraints: 55403
41.96/42.14 c #Conflicts: 491000 | #Constraints: 56403
41.96/42.14 c GLOBAL bounds 5 >= 3 @ 39.005
41.96/42.14 c GLOBAL bounds 5 >= 3 @ 39.0052
42.75/42.93 c #Conflicts: 492000 | #Constraints: 57404
42.75/42.93 c #Conflicts: 493000 | #Constraints: 58405
42.75/42.93 c #Conflicts: 494000 | #Constraints: 59405
42.75/42.93 c #Conflicts: 495000 | #Constraints: 60405
42.75/42.93 c #Conflicts: 496000 | #Constraints: 61405
42.75/42.93 c #Conflicts: 497000 | #Constraints: 62405
42.75/42.93 c #Conflicts: 498000 | #Constraints: 63405
42.75/42.93 c GLOBAL bounds 5 >= 3 @ 39.7501
42.75/42.93 c GLOBAL bounds 5 >= 3 @ 39.7502
43.45/43.65 c #Conflicts: 499000 | #Constraints: 64406
43.45/43.65 c #Conflicts: 500000 | #Constraints: 65406
43.45/43.65 c #Conflicts: 501000 | #Constraints: 66406
43.45/43.65 c #Conflicts: 502000 | #Constraints: 67406
43.45/43.65 c #Conflicts: 503000 | #Constraints: 68406
43.45/43.65 c #Conflicts: 504000 | #Constraints: 69406
43.45/43.65 c GLOBAL bounds 5 >= 3 @ 40.4179
43.45/43.65 c GLOBAL bounds 5 >= 3 @ 40.4181
43.45/43.65 c GLOBAL bounds 5 >= 3 @ 40.4182
43.45/43.65 c GLOBAL bounds 5 >= 3 @ 40.4182
44.45/44.68 c #Conflicts: 505000 | #Constraints: 70408
44.45/44.68 c #Conflicts: 506000 | #Constraints: 71408
44.45/44.68 c #Conflicts: 507000 | #Constraints: 72408
44.45/44.68 c #Conflicts: 508000 | #Constraints: 73408
44.45/44.68 c #Conflicts: 509000 | #Constraints: 74408
44.45/44.68 c #Conflicts: 510000 | #Constraints: 75408
44.45/44.68 c #Conflicts: 511000 | #Constraints: 76408
44.45/44.68 c #Conflicts: 512000 | #Constraints: 77408
44.45/44.68 c #Conflicts: 513000 | #Constraints: 78408
44.45/44.68 c #Conflicts: 514000 | #Constraints: 79408
44.45/44.68 c GLOBAL bounds 5 >= 3 @ 41.3915
44.76/44.94 c #Conflicts: 515000 | #Constraints: 80409
44.76/44.94 c #Conflicts: 516000 | #Constraints: 81409
44.76/44.94 c GLOBAL bounds 5 >= 3 @ 41.6434
44.76/44.94 c GLOBAL bounds 5 >= 3 @ 41.6436
45.15/45.35 c #Conflicts: 517000 | #Constraints: 82410
45.15/45.35 c #Conflicts: 518000 | #Constraints: 83410
45.15/45.35 c #Conflicts: 519000 | #Constraints: 84410
45.15/45.35 c GLOBAL bounds 5 >= 3 @ 42.0249
45.15/45.35 c GLOBAL bounds 5 >= 3 @ 42.025
45.65/45.85 c #Conflicts: 520000 | #Constraints: 85411
45.65/45.85 c #Conflicts: 521000 | #Constraints: 86411
45.65/45.85 c #Conflicts: 522000 | #Constraints: 87411
45.65/45.85 c #Conflicts: 523000 | #Constraints: 88411
45.65/45.85 c #Conflicts: 524000 | #Constraints: 89411
45.65/45.85 c GLOBAL bounds 5 >= 3 @ 42.5037
45.65/45.85 c GLOBAL bounds 5 >= 3 @ 42.5038
45.75/45.97 c #Conflicts: 525000 | #Constraints: 90412
45.75/45.97 c INPROCESSING
45.75/45.97 c GARBAGE COLLECT
45.75/45.97 c rational objective 0.25
46.15/46.37 c #Conflicts: 526000 | #Constraints: 47116
46.15/46.37 c #Conflicts: 527000 | #Constraints: 48116
46.15/46.37 c #Conflicts: 528000 | #Constraints: 49116
46.15/46.37 c #Conflicts: 529000 | #Constraints: 50116
46.15/46.37 c GLOBAL bounds 5 >= 3 @ 42.9914
46.15/46.37 c GLOBAL bounds 5 >= 3 @ 42.9916
46.64/46.81 c #Conflicts: 530000 | #Constraints: 51117
46.64/46.81 c #Conflicts: 531000 | #Constraints: 52117
46.64/46.81 c #Conflicts: 532000 | #Constraints: 53117
46.64/46.81 c #Conflicts: 533000 | #Constraints: 54117
46.64/46.81 c #Conflicts: 534000 | #Constraints: 55117
46.64/46.81 c GLOBAL bounds 5 >= 3 @ 43.3882
46.64/46.81 c GLOBAL bounds 5 >= 3 @ 43.3882
47.14/47.35 c #Conflicts: 535000 | #Constraints: 56118
47.14/47.35 c #Conflicts: 536000 | #Constraints: 57118
47.14/47.35 c #Conflicts: 537000 | #Constraints: 58118
47.14/47.35 c #Conflicts: 538000 | #Constraints: 59118
47.14/47.35 c #Conflicts: 539000 | #Constraints: 60118
47.14/47.35 c #Conflicts: 540000 | #Constraints: 61118
47.14/47.35 c GLOBAL bounds 5 >= 3 @ 43.8896
47.14/47.35 c GLOBAL bounds 5 >= 3 @ 43.8897
47.64/47.89 c #Conflicts: 541000 | #Constraints: 62119
47.64/47.89 c #Conflicts: 542000 | #Constraints: 63119
47.64/47.89 c #Conflicts: 543000 | #Constraints: 64119
47.64/47.89 c #Conflicts: 544000 | #Constraints: 65119
47.64/47.89 c #Conflicts: 545000 | #Constraints: 66119
47.64/47.89 c #Conflicts: 546000 | #Constraints: 67119
47.64/47.89 c GLOBAL bounds 5 >= 3 @ 44.396
47.64/47.89 c GLOBAL bounds 5 >= 3 @ 44.3961
48.14/48.39 c #Conflicts: 547000 | #Constraints: 68120
48.14/48.39 c #Conflicts: 548000 | #Constraints: 69120
48.14/48.39 c #Conflicts: 549000 | #Constraints: 70120
48.14/48.39 c #Conflicts: 550000 | #Constraints: 71120
48.14/48.39 c #Conflicts: 551000 | #Constraints: 72120
48.14/48.39 c GLOBAL bounds 5 >= 3 @ 44.8634
48.14/48.39 c GLOBAL bounds 5 >= 3 @ 44.8636
48.64/48.89 c #Conflicts: 552000 | #Constraints: 73121
48.64/48.89 c #Conflicts: 553000 | #Constraints: 74121
48.64/48.89 c #Conflicts: 554000 | #Constraints: 75121
48.64/48.89 c #Conflicts: 555000 | #Constraints: 76121
48.64/48.89 c #Conflicts: 556000 | #Constraints: 77121
48.64/48.89 c #Conflicts: 557000 | #Constraints: 78121
48.64/48.89 c GLOBAL bounds 5 >= 3 @ 45.3312
48.64/48.89 c GLOBAL bounds 5 >= 3 @ 45.3313
49.23/49.40 c #Conflicts: 558000 | #Constraints: 79122
49.23/49.40 c #Conflicts: 559000 | #Constraints: 80122
49.23/49.40 c #Conflicts: 560000 | #Constraints: 81122
49.23/49.40 c #Conflicts: 561000 | #Constraints: 82122
49.23/49.40 c #Conflicts: 562000 | #Constraints: 83122
49.23/49.40 c GLOBAL bounds 5 >= 3 @ 45.807
49.23/49.40 c GLOBAL bounds 5 >= 3 @ 45.8072
49.23/49.41 c GLOBAL bounds 5 >= 3 @ 45.8073
49.23/49.41 c GLOBAL bounds 5 >= 3 @ 45.8073
49.84/50.00 c #Conflicts: 563000 | #Constraints: 84124
49.84/50.00 c #Conflicts: 564000 | #Constraints: 85124
49.84/50.00 c #Conflicts: 565000 | #Constraints: 86124
49.84/50.00 c #Conflicts: 566000 | #Constraints: 87124
49.84/50.00 c #Conflicts: 567000 | #Constraints: 88124
49.84/50.00 c #Conflicts: 568000 | #Constraints: 89124
49.84/50.00 c GLOBAL bounds 5 >= 3 @ 46.3615
50.34/50.54 c #Conflicts: 569000 | #Constraints: 90125
50.34/50.54 c #Conflicts: 570000 | #Constraints: 91125
50.34/50.54 c #Conflicts: 571000 | #Constraints: 92125
50.34/50.54 c #Conflicts: 572000 | #Constraints: 93125
50.34/50.54 c #Conflicts: 573000 | #Constraints: 94125
50.34/50.54 c INPROCESSING
50.34/50.54 c GARBAGE COLLECT
50.34/50.54 c rational objective 0.25
50.53/50.78 c #Conflicts: 574000 | #Constraints: 48723
50.53/50.78 c #Conflicts: 575000 | #Constraints: 49723
50.53/50.78 c GLOBAL bounds 5 >= 3 @ 47.0942
50.53/50.78 c GLOBAL bounds 5 >= 3 @ 47.0943
50.94/51.13 c #Conflicts: 576000 | #Constraints: 50724
50.94/51.13 c #Conflicts: 577000 | #Constraints: 51724
50.94/51.13 c #Conflicts: 578000 | #Constraints: 52724
50.94/51.13 c #Conflicts: 579000 | #Constraints: 53724
50.94/51.13 c GLOBAL bounds 5 >= 3 @ 47.4186
50.94/51.13 c GLOBAL bounds 5 >= 3 @ 47.4188
51.33/51.59 c #Conflicts: 580000 | #Constraints: 54725
51.33/51.59 c #Conflicts: 581000 | #Constraints: 55725
51.33/51.59 c #Conflicts: 582000 | #Constraints: 56725
51.33/51.59 c #Conflicts: 583000 | #Constraints: 57725
51.33/51.59 c GLOBAL bounds 5 >= 3 @ 47.8457
51.33/51.59 c GLOBAL bounds 5 >= 3 @ 47.8458
51.84/52.05 c #Conflicts: 584000 | #Constraints: 58726
51.84/52.05 c #Conflicts: 585000 | #Constraints: 59726
51.84/52.05 c #Conflicts: 586000 | #Constraints: 60726
51.84/52.05 c #Conflicts: 587000 | #Constraints: 61726
51.84/52.05 c #Conflicts: 588000 | #Constraints: 62726
51.84/52.05 c GLOBAL bounds 5 >= 3 @ 48.2844
51.84/52.05 c GLOBAL bounds 5 >= 3 @ 48.2845
52.32/52.54 c #Conflicts: 589000 | #Constraints: 63727
52.32/52.54 c #Conflicts: 590000 | #Constraints: 64727
52.32/52.54 c #Conflicts: 591000 | #Constraints: 65727
52.32/52.54 c #Conflicts: 592000 | #Constraints: 66727
52.32/52.54 c GLOBAL bounds 5 >= 3 @ 48.7371
52.32/52.54 c GLOBAL bounds 5 >= 3 @ 48.7373
52.83/53.09 c #Conflicts: 593000 | #Constraints: 67728
52.83/53.09 c #Conflicts: 594000 | #Constraints: 68728
52.83/53.09 c #Conflicts: 595000 | #Constraints: 69728
52.83/53.09 c #Conflicts: 596000 | #Constraints: 70728
52.83/53.09 c #Conflicts: 597000 | #Constraints: 71728
52.83/53.09 c GLOBAL bounds 5 >= 3 @ 49.2506
52.83/53.09 c GLOBAL bounds 5 >= 3 @ 49.2507
53.63/53.84 c #Conflicts: 598000 | #Constraints: 72729
53.63/53.84 c #Conflicts: 599000 | #Constraints: 73729
53.63/53.84 c #Conflicts: 600000 | #Constraints: 74729
53.63/53.84 c #Conflicts: 601000 | #Constraints: 75729
53.63/53.84 c #Conflicts: 602000 | #Constraints: 76729
53.63/53.84 c #Conflicts: 603000 | #Constraints: 77729
53.63/53.84 c #Conflicts: 604000 | #Constraints: 78729
53.63/53.84 c GLOBAL bounds 5 >= 3 @ 49.9593
53.63/53.84 c GLOBAL bounds 5 >= 3 @ 49.9595
54.12/54.35 c #Conflicts: 605000 | #Constraints: 79730
54.12/54.35 c #Conflicts: 606000 | #Constraints: 80730
54.12/54.35 c #Conflicts: 607000 | #Constraints: 81730
54.12/54.35 c #Conflicts: 608000 | #Constraints: 82730
54.12/54.35 c #Conflicts: 609000 | #Constraints: 83730
54.12/54.35 c GLOBAL bounds 5 >= 3 @ 50.433
54.12/54.35 c GLOBAL bounds 5 >= 3 @ 50.4332
54.73/54.94 c #Conflicts: 610000 | #Constraints: 84731
54.73/54.94 c #Conflicts: 611000 | #Constraints: 85731
54.73/54.94 c #Conflicts: 612000 | #Constraints: 86731
54.73/54.94 c #Conflicts: 613000 | #Constraints: 87731
54.73/54.94 c #Conflicts: 614000 | #Constraints: 88731
54.73/54.94 c Inconsistent constraint found
54.73/54.94 c cpu time 50.994 s
54.73/54.94 c deterministic time 780977672 7.81e+08
54.73/54.94 c optimization time 0.015562 s
54.73/54.94 c total solve time 50.9712 s
54.73/54.94 c core-guided solve time 0 s
54.73/54.94 c propagation time 42.1309 s
54.73/54.94 c conflict analysis time 5.22607 s
54.73/54.94 c propagations 12422976
54.73/54.94 c resolve steps 3364424
54.73/54.94 c decisions 1056460
54.73/54.94 c conflicts 614625
54.73/54.94 c restarts 1277
54.73/54.94 c inprocessing phases 31
54.73/54.94 c garbage collections 31 ,( 100.00 )
54.73/54.94 c input clauses 1770 ,( 99.38 )
54.73/54.94 c input cardinalities 8 ,( 0.45 )
54.73/54.94 c input general constraints 3 ,( 0.17 )
54.73/54.94 c input average constraint length 3.14
54.73/54.94 c input average constraint degree 1.04
54.73/54.94 c learned clauses 605729 ,( 97.65 )
54.73/54.94 c learned cardinalities 2748 ,( 0.44 )
54.73/54.94 c learned general constraints 11801 ,( 1.90 )
54.73/54.94 c learned average constraint length 15.32
54.73/54.94 c learned average constraint degree 24167079.38
54.73/54.94 c watched CF 32, 64, 128, Arb: 4114 , 0 , 0 , 0
54.73/54.94 c counting CF 32, 64, 128, Arb: 7691 , 0 , 0 , 0
54.73/54.94 c watched constraints 4114 ,( 34.85 )
54.73/54.94 c counting constraints 7690 ,( 65.15 )
54.73/54.94 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 165179701 , 11756539 , 1681306 ,( 1309950 , 371356 )
54.73/54.94 c gcd simplifications 340
54.73/54.94 c detected cardinalities 184
54.73/54.94 c weakened non-implied lits 1971472
54.73/54.94 c weakened non-implying lits 66
54.73/54.94 c original variables 124
54.73/54.94 c clausal propagations 6415007
54.73/54.94 c cardinality propagations 5220840
54.73/54.94 c watched propagations 37722
54.73/54.94 c counting propagations 90448
54.73/54.94 c watch lookups 347120431
54.73/54.94 c watch backjump lookups 0
54.73/54.94 c watch checks 348729698
54.73/54.94 c propagation checks 25493517
54.73/54.94 c constraint additions 31445529
54.73/54.94 c trail pops 14093892
54.73/54.94 c formula constraints 1676
54.73/54.94 c learned constraints 614455
54.73/54.94 c bound constraints 0
54.73/54.94 c core-guided constraints 0
54.73/54.94 c encountered formula constraints 2278592
54.73/54.94 c encountered learned constraints 1693837
54.73/54.94 c encountered bound constraints 0
54.73/54.94 c encountered core-guided constraints 0
54.73/54.94 c LP total time 29.0379 s
54.73/54.94 c LP solve time 26.37 s
54.73/54.94 c LP constraints added 1770
54.73/54.94 c LP constraints removed 87
54.73/54.94 c LP pivots internal 614405
54.73/54.94 c LP pivots root 763
54.73/54.94 c LP calls 105409
54.73/54.94 c LP optimalities 99657
54.73/54.94 c LP no pivot count 22960
54.73/54.94 c LP infeasibilities 5633
54.73/54.94 c LP valid Farkas constraints 5632
54.73/54.94 c LP learned Farkas constraints 169
54.73/54.94 c LP basis resets 120
54.73/54.94 c LP cycling count 109
54.73/54.94 c LP singular count 0
54.73/54.94 c LP no primal count 0
54.73/54.94 c LP no farkas count 1
54.73/54.94 c LP other issue count 10
54.73/54.94 c LP Gomory cuts 22
54.73/54.94 c LP learned cuts 72
54.73/54.94 c LP deleted cuts 87
54.73/54.94 c LP encountered Gomory constraints 1163
54.73/54.94 c LP encountered Farkas constraints 4366
54.73/54.94 c LP encountered learned Farkas constraints 922
54.73/54.94 c CG auxiliary variables introduced 6
54.73/54.94 c CG solutions found 1
54.73/54.94 c CG cores constructed 91
54.73/54.94 c CG core cardinality constraints returned 0
54.73/54.94 c CG unit cores 0
54.73/54.94 c CG single cores 0
54.73/54.94 c CG blocks removed during cardinality reduction 0
54.73/54.94 c CG first core best 0
54.73/54.94 c CG decision core best 0
54.73/54.94 c CG core reduction tie 0
54.73/54.94 c CG core degree average 0.00
54.73/54.94 c CG core slack average 0.00
54.73/54.94 c CG core upper bound improvements 0
54.73/54.94 c STR number of successful calls 0
54.73/54.94 c STR number of unsuccessful calls 0
54.73/54.94 c STR number of inconclusive calls 0
54.73/54.94 c STR number of successful attempts 0
54.73/54.94 c STR number of unsuccessful attempts 0
54.73/54.94 c STR number of inconclusive attempts 0
54.73/54.94 c STR average degree increase per successful call inf
54.73/54.94 c STR average degree increase per successful attempt inf
54.73/54.94 c STR total number of conflicts for successful attempts 0
54.73/54.94 c STR total number of conflicts for unsuccessful attempts 0
54.73/54.94 c STR total number of conflicts for inconclusive attempts 0
54.73/54.94 c STR average number of conflicts per successful attempt inf
54.73/54.94 c STR average number of conflicts per unsuccessful attempt inf
54.73/54.94 c STR average number of conflicts per inconclusive attempt inf
54.73/54.94 c AVG.sumWPerc 53.01
54.73/54.94 c bigint constraints 0
54.73/54.94 o 5
54.73/54.94 s OPTIMUM FOUND
54.73/54.97 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
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Thu Jul 3 13:25:10 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 5 <= obj <= 5
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 5 <= obj <= 5
--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 (58850 MiB free)
memory of node 1: 64507 MiB (63854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517767-1751540060/watcher-4517767-1751540060 -o /tmp/evaluation-result-4517767-1751540060/solver-4517767-1751540060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76787 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4517767-1751540060.opb PROOFDIR/proof-4517767-1751540060
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77278, runsolver pid=77275
[startup+0.100059 s]*
/proc/loadavg: 4.14 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125647524/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=62632 memory=14972 CPUtime=0.09 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 1317 0 0 0 8 1 0 0 20 0 1 0 69683703 64135168 3743 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 15658 3743 2400 1147 0 3085 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66824 KiB
Current children cumulated memory: 18044 KiB
[startup+0.205243 s]*
/proc/loadavg: 4.14 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125647524/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=62988 memory=15484 CPUtime=0.19 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 1416 0 0 0 17 2 0 0 20 0 1 0 69683703 64499712 3871 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 15747 3871 2400 1147 0 3174 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67180 KiB
Current children cumulated memory: 18556 KiB
[startup+0.304605 s]*
/proc/loadavg: 4.14 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125645508/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=63544 memory=15868 CPUtime=0.29 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 1540 0 0 0 27 2 0 0 20 0 1 0 69683703 65069056 3967 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 15886 3967 2400 1147 0 3313 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67736 KiB
Current children cumulated memory: 18940 KiB
[startup+0.70013 s]
/proc/loadavg: 4.14 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125645508/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=64100 memory=16508 CPUtime=0.68 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 1681 0 0 0 63 5 0 0 20 0 1 0 69683703 65638400 4127 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 16025 4127 2400 1147 0 3452 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68292 KiB
Current children cumulated memory: 19580 KiB
[startup+1.50012 s]
/proc/loadavg: 4.14 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125641592/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=64232 memory=16636 CPUtime=1.48 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 1724 0 0 0 137 11 0 0 20 0 1 0 69683703 65773568 4159 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 16058 4159 2400 1147 0 3485 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68424 KiB
Current children cumulated memory: 19708 KiB
[startup+3.10475 s]
/proc/loadavg: 4.13 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125633832/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=66800 memory=18940 CPUtime=3.08 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 2311 0 0 0 287 21 0 0 20 0 1 0 69683703 68403200 4735 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 16700 4735 2400 1147 0 4127 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70992 KiB
Current children cumulated memory: 22012 KiB
[startup+6.30014 s]
/proc/loadavg: 4.13 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125602080/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=71604 memory=25660 CPUtime=6.26 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 3369 0 0 0 583 43 0 0 20 0 1 0 69683703 73322496 6415 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 17901 6415 2496 1147 0 5328 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75796 KiB
Current children cumulated memory: 28732 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.22 4.14 5/270 77280
/proc/meminfo: memFree=125560264/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=76632 memory=30524 CPUtime=12.65 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 4584 0 0 0 1167 98 0 0 20 0 1 0 69683703 78471168 7631 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 19158 7631 2496 1147 0 6585 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80824 KiB
Current children cumulated memory: 33596 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.20 4.13 5/270 77280
/proc/meminfo: memFree=125467300/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=95184 memory=48536 CPUtime=25.41 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 9741 0 0 0 2351 190 0 0 20 0 1 0 69683703 97468416 12134 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 23796 12134 2496 1147 0 11223 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 99376 KiB
Current children cumulated memory: 51608 KiB
[startup+51.1051 s]
/proc/loadavg: 4.12 4.20 4.13 5/271 77282
/proc/meminfo: memFree=125299816/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=120420 memory=72724 CPUtime=50.94 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 17615 0 0 0 4739 355 0 0 20 0 1 0 69683703 123310080 18181 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 30105 18181 2496 1147 0 17532 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 124612 KiB
Current children cumulated memory: 75796 KiB
[startup+54.9826 s]
# the end of solver process 77278 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=51.0035 s, system=3.7897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.12 4.20 4.13 5/271 77282
/proc/meminfo: memFree=125299816/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=120420 memory=72724 CPUtime=51.03 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 17615 0 0 0 4748 355 0 0 20 0 1 0 69683703 123310080 18181 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 30105 18181 2496 1147 0 17532 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 124612 KiB
Current children cumulated memory: 75796 KiB
[startup+52.8001 s]
/proc/loadavg: 4.12 4.20 4.13 5/271 77282
/proc/meminfo: memFree=125299816/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=123588 memory=75796 CPUtime=52.63 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 18388 0 0 0 4897 366 0 0 20 0 1 0 69683703 126554112 18949 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 30897 18949 2496 1147 0 18324 0
Current children cumulated CPU time: 52.63 s
Current children cumulated vsize: 127780 KiB
Current children cumulated memory: 78868 KiB
[startup+53.6001 s]
/proc/loadavg: 4.11 4.20 4.13 5/271 77282
/proc/meminfo: memFree=125299816/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=125196 memory=77204 CPUtime=53.43 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 18763 0 0 0 4973 370 0 0 20 0 1 0 69683703 128200704 19301 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 31299 19301 2496 1147 0 18726 0
Current children cumulated CPU time: 53.43 s
Current children cumulated vsize: 129388 KiB
Current children cumulated memory: 80276 KiB
[startup+54.4001 s]
/proc/loadavg: 4.11 4.20 4.13 5/271 77282
/proc/meminfo: memFree=125291752/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=126816 memory=78868 CPUtime=54.22 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 19155 0 0 0 5047 375 0 0 20 0 1 0 69683703 129859584 19717 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 31704 19717 2496 1147 0 19131 0
Current children cumulated CPU time: 54.22 s
Current children cumulated vsize: 131008 KiB
Current children cumulated memory: 81940 KiB
[startup+54.8001 s]
/proc/loadavg: 4.11 4.20 4.13 5/271 77282
/proc/meminfo: memFree=125291752/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=127860 memory=79764 CPUtime=54.62 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 19406 0 0 0 5085 377 0 0 20 0 1 0 69683703 130928640 19941 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 31965 19941 2496 1147 0 19392 0
Current children cumulated CPU time: 54.62 s
Current children cumulated vsize: 132052 KiB
Current children cumulated memory: 82836 KiB
[startup+54.9001 s]
/proc/loadavg: 4.11 4.20 4.13 5/271 77282
/proc/meminfo: memFree=125291752/131249996 swapFree=33003468/33010684
[pid=77278] ppid=77275 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77278/stat : 77278 (run-opt-log.sh) S 77275 77278 76774 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69683702 4292608 768 18446744073709551615 94720431087616 94720431982149 140725071683840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94720432221200 94720432268944 94720456982528 140725071685921 140725071686116 140725071686116 140725071691718 0
/proc/77278/statm: 1048 768 704 219 0 110 0
[pid=77280] ppid=77278 vsize=128068 memory=80020 CPUtime=54.73 cores=5,7
/proc/77280/stat : 77280 (roundingsat) R 77278 77278 76774 0 -1 4194304 19453 0 0 0 5095 378 0 0 20 0 1 0 69683703 131141632 20005 18446744073709551615 4227072 8923433 140727130111584 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 26079232 140727130114386 140727130114600 140727130114600 140727130120170 0
/proc/77280/statm: 32017 20005 2496 1147 0 19444 0
Current children cumulated CPU time: 54.73 s
Current children cumulated vsize: 132260 KiB
Current children cumulated memory: 83092 KiB
Child status: 0
Real time (s): 54.9827
CPU time (s): 54.7932
CPU user time (s): 51.0035
CPU system time (s): 3.7897
CPU usage (%): 99.6554
Max. virtual memory (cumulated for all children) (KiB): 132260
Max. memory (cumulated for all children) (KiB): 83092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.0035
system time used= 3.7897
maximum resident set size= 80148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 126672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 657
involuntary context switches= 336
# summary of solver processes directly reported to runsolver:
# pid: 77278
# total CPU time (s): 54.7932
# total CPU user time (s): 51.0035
# total CPU system time (s): 3.7897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.102048 second user time and 0.24977 second system time
The end
Launcher Data
Begin job on nodeC021 at 2025-07-03 12:54:20
IDJOB=4517767
IDBENCH=176184
IDSOLVER=3351
FILE ID=nodeC021/4517767-1751540060
RUNJOBID= nodeC021-1751536445-76787
SLURM_JOB_ID= 9598688
Free space on /tmp= 430936 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=8-t=3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517767-1751540060/watcher-4517767-1751540060 -o /tmp/evaluation-result-4517767-1751540060/solver-4517767-1751540060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76787 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4517767-1751540060.opb PROOFDIR/proof-4517767-1751540060
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 970aa3d1f1d45876cf8a11b4225544dc
RANDOM SEED=80665508
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.770
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.050
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.750
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.144
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125650676 kB
MemAvailable: 129476464 kB
Buffers: 1056 kB
Cached: 4560372 kB
SwapCached: 32 kB
Active: 739636 kB
Inactive: 4097660 kB
Active(anon): 248752 kB
Inactive(anon): 40944 kB
Active(file): 490884 kB
Inactive(file): 4056716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49596 kB
Writeback: 4 kB
AnonPages: 277772 kB
Mapped: 113360 kB
Shmem: 13452 kB
KReclaimable: 234456 kB
Slab: 327240 kB
SReclaimable: 234456 kB
SUnreclaim: 92784 kB
KernelStack: 4336 kB
PageTables: 3636 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 644308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430928 MiB
End job on nodeC021 at 2025-07-03 12:55:15