Trace number 4497009
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-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb |
| MD5SUM | 941241e1c409728c60fc0eaa98d1a86b |
| 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 | 23978 |
| Best CPU time to get the best result obtained on this benchmark | 0.048792 |
| 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 | 1343 |
| Total number of constraints | 2405 |
| Number of constraints which are clauses | 2405 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 55 |
| Number of terms in the objective function | 690 |
| Biggest coefficient in the objective function | 2072 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1098481 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2072 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1098481 |
| Number of bits of the biggest sum of numbers | 21 |
| 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.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.08 c #variables 1343 #constraints 2405
0.00/0.08 c objective is ce32
0.00/0.08 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.08 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.03167
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.033492
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.034593
0.00/0.09 c GLOBAL bounds - >= 5752 @ 0.03463
0.06/0.13 c rational objective 23978
0.06/0.13 c GLOBAL bounds - >= 5752 @ 0.063436
0.06/0.14 c GLOBAL bounds - >= 5752 @ 0.06525
0.06/0.14 c GLOBAL bounds - >= 5752 @ 0.066098
0.06/0.15 c GLOBAL bounds - >= 5752 @ 0.069644
0.06/0.15 c GLOBAL bounds - >= 5752 @ 0.071594
0.06/0.15 c GLOBAL bounds - >= 5752 @ 0.073348
0.06/0.16 c GLOBAL bounds - >= 5752 @ 0.07603
0.06/0.16 c GLOBAL bounds - >= 5752 @ 0.076944
0.06/0.17 c GLOBAL bounds - >= 5752 @ 0.079671
0.06/0.17 c GLOBAL bounds - >= 5752 @ 0.083254
0.06/0.17 c GLOBAL bounds - >= 5752 @ 0.08441
0.06/0.18 c GLOBAL bounds - >= 5752 @ 0.086115
0.06/0.18 c GLOBAL bounds - >= 5752 @ 0.089023
0.06/0.19 c GLOBAL bounds - >= 5752 @ 0.090999
0.06/0.19 c GLOBAL bounds - >= 5752 @ 0.09338
0.06/0.19 c GLOBAL bounds - >= 5752 @ 0.095577
0.06/0.20 c GLOBAL bounds - >= 5752 @ 0.098353
0.06/0.20 c GLOBAL bounds - >= 5752 @ 0.099373
0.06/0.20 c GLOBAL bounds - >= 5752 @ 0.101363
0.06/0.21 c GLOBAL bounds - >= 5752 @ 0.102837
0.16/0.22 c GLOBAL bounds - >= 5752 @ 0.10747
0.16/0.23 c GLOBAL bounds - >= 5752 @ 0.109721
0.16/0.23 c GLOBAL bounds - >= 5752 @ 0.113518
0.16/0.24 c GLOBAL bounds - >= 5752 @ 0.116142
0.16/0.24 c GLOBAL bounds - >= 5752 @ 0.117449
0.16/0.25 c GLOBAL bounds - >= 5752 @ 0.119789
0.16/0.25 c GLOBAL bounds - >= 5752 @ 0.121373
0.16/0.25 c GLOBAL bounds - >= 5752 @ 0.122701
0.16/0.26 c GLOBAL bounds - >= 5752 @ 0.124303
0.16/0.26 c GLOBAL bounds - >= 5752 @ 0.126499
0.16/0.26 c GLOBAL bounds - >= 5752 @ 0.129117
0.16/0.27 c GLOBAL bounds - >= 5752 @ 0.130076
0.16/0.27 c GLOBAL bounds - >= 5752 @ 0.133843
0.16/0.28 c GLOBAL bounds - >= 5752 @ 0.136658
0.16/0.32 c GLOBAL bounds - >= 5752 @ 0.167087
0.26/0.32 c GLOBAL bounds - >= 5752 @ 0.170952
0.26/0.33 c GLOBAL bounds - >= 5752 @ 0.174903
0.26/0.34 c GLOBAL bounds - >= 5752 @ 0.184158
0.35/0.46 c GLOBAL bounds - >= 12966 @ 0.289345
0.35/0.47 c GLOBAL bounds - >= 12966 @ 0.293231
0.35/0.47 c GLOBAL bounds - >= 12966 @ 0.294193
0.35/0.47 c GLOBAL bounds - >= 12966 @ 0.296375
0.35/0.48 c GLOBAL bounds - >= 12966 @ 0.299037
0.35/0.48 c GLOBAL bounds - >= 12966 @ 0.301551
0.35/0.48 c GLOBAL bounds - >= 12966 @ 0.303739
0.35/0.49 c GLOBAL bounds - >= 12966 @ 0.30559
0.35/0.49 c GLOBAL bounds - >= 12966 @ 0.309215
0.35/0.50 c GLOBAL bounds - >= 12966 @ 0.313017
0.35/0.50 c GLOBAL bounds - >= 12966 @ 0.316371
0.35/0.51 c GLOBAL bounds - >= 12966 @ 0.319661
0.35/0.51 c GLOBAL bounds - >= 12966 @ 0.321113
0.35/0.52 c GLOBAL bounds - >= 12966 @ 0.322849
0.35/0.52 c GLOBAL bounds - >= 12966 @ 0.323963
0.45/0.52 c GLOBAL bounds - >= 12966 @ 0.325688
0.45/0.53 c GLOBAL bounds - >= 12966 @ 0.327774
0.45/0.53 c GLOBAL bounds - >= 12966 @ 0.329235
0.45/0.54 c GLOBAL bounds - >= 12966 @ 0.33166
0.45/0.54 c GLOBAL bounds - >= 12966 @ 0.331669
0.45/0.55 c GLOBAL bounds - >= 12966 @ 0.334881
0.45/0.55 c GLOBAL bounds - >= 12966 @ 0.337678
0.45/0.55 c GLOBAL bounds - >= 12966 @ 0.340185
0.45/0.56 c GLOBAL bounds - >= 12966 @ 0.343045
0.45/0.56 c GLOBAL bounds - >= 12966 @ 0.344943
0.45/0.58 c GLOBAL bounds - >= 12966 @ 0.35255
0.45/0.59 c GLOBAL bounds - >= 12966 @ 0.362757
0.45/0.60 c GLOBAL bounds - >= 12966 @ 0.365191
0.45/0.60 c GLOBAL bounds - >= 12966 @ 0.368567
0.53/0.67 c GLOBAL bounds - >= 12966 @ 0.428093
0.53/0.68 c GLOBAL bounds - >= 12966 @ 0.430721
0.62/0.70 c GLOBAL bounds - >= 12966 @ 0.454415
0.81/0.98 c GLOBAL bounds - >= 12966 @ 0.70413
3.06/3.20 c #Conflicts: 1000 | #Constraints: 1153
3.06/3.20 c #Conflicts: 2000 | #Constraints: 2153
3.06/3.20 c INPROCESSING
3.06/3.20 c GARBAGE COLLECT
3.06/3.20 c #Conflicts: 3000 | #Constraints: 2129
3.06/3.20 c #Conflicts: 4000 | #Constraints: 3129
3.06/3.20 c INPROCESSING
3.06/3.20 c GARBAGE COLLECT
3.06/3.20 c #Conflicts: 5000 | #Constraints: 2540
3.06/3.20 c #Conflicts: 6000 | #Constraints: 3540
3.06/3.20 c GLOBAL bounds - >= 18982 @ 2.71746
3.06/3.21 c GLOBAL bounds - >= 18982 @ 2.71847
3.06/3.21 c GLOBAL bounds - >= 18982 @ 2.71886
3.06/3.21 c GLOBAL bounds - >= 18982 @ 2.71947
3.06/3.21 c GLOBAL bounds - >= 18982 @ 2.71947
3.06/3.21 c GLOBAL bounds - >= 18982 @ 2.7198
3.06/3.21 c GLOBAL bounds - >= 18982 @ 2.72046
3.06/3.21 c GLOBAL bounds - >= 18982 @ 2.72155
3.06/3.22 c GLOBAL bounds - >= 18982 @ 2.72246
3.06/3.22 c GLOBAL bounds - >= 18982 @ 2.72246
3.06/3.22 c GLOBAL bounds - >= 18982 @ 2.72352
3.06/3.22 c GLOBAL bounds - >= 18982 @ 2.72445
3.06/3.22 c GLOBAL bounds - >= 18982 @ 2.72566
3.06/3.22 c GLOBAL bounds - >= 18982 @ 2.72644
3.06/3.22 c GLOBAL bounds - >= 18982 @ 2.72744
3.06/3.23 c GLOBAL bounds - >= 18982 @ 2.72746
3.06/3.23 c GLOBAL bounds - >= 18982 @ 2.72844
3.06/3.23 c GLOBAL bounds - >= 18982 @ 2.72844
3.06/3.23 c GLOBAL bounds - >= 18982 @ 2.72944
3.06/3.23 c GLOBAL bounds - >= 18982 @ 2.72944
3.06/3.23 c GLOBAL bounds 29969 >= 18982 @ 2.73096
3.16/3.33 c INPROCESSING
3.16/3.33 c GARBAGE COLLECT
3.16/3.33 c GLOBAL bounds 29969 >= 18982 @ 2.81714
3.16/3.33 c GLOBAL bounds 29969 >= 18982 @ 2.81814
3.16/3.33 c GLOBAL bounds 29969 >= 18982 @ 2.81969
3.16/3.34 c GLOBAL bounds 29969 >= 18982 @ 2.83323
3.16/3.35 c GLOBAL bounds 29969 >= 18982 @ 2.83509
3.16/3.36 c GLOBAL bounds 29969 >= 18982 @ 2.84822
3.56/3.77 c #Conflicts: 7000 | #Constraints: 2577
3.56/3.77 c #Conflicts: 8000 | #Constraints: 3577
3.56/3.77 c GLOBAL bounds 29969 >= 18982 @ 3.23531
3.66/3.81 c GLOBAL bounds 29969 >= 18982 @ 3.27141
3.66/3.81 c GLOBAL bounds 29969 >= 18982 @ 3.27293
3.66/3.82 c GLOBAL bounds 29969 >= 18982 @ 3.27891
3.66/3.83 c GLOBAL bounds 29969 >= 18982 @ 3.2891
3.97/4.18 c #Conflicts: 9000 | #Constraints: 4592
3.97/4.18 c INPROCESSING
3.97/4.18 c GARBAGE COLLECT
3.97/4.18 c GLOBAL bounds 29969 >= 18982 @ 3.61819
6.97/7.16 c #Conflicts: 10000 | #Constraints: 3288
6.97/7.16 c #Conflicts: 11000 | #Constraints: 4288
6.97/7.16 c #Conflicts: 12000 | #Constraints: 5288
6.97/7.16 c INPROCESSING
6.97/7.16 c GARBAGE COLLECT
6.97/7.16 c #Conflicts: 13000 | #Constraints: 3741
6.97/7.16 c #Conflicts: 14000 | #Constraints: 4741
6.97/7.16 c #Conflicts: 15000 | #Constraints: 5741
6.97/7.16 c INPROCESSING
6.97/7.16 c GARBAGE COLLECT
6.97/7.16 c #Conflicts: 16000 | #Constraints: 3970
6.97/7.16 c #Conflicts: 17000 | #Constraints: 4970
6.97/7.16 c #Conflicts: 18000 | #Constraints: 5970
6.97/7.16 c GLOBAL bounds 29969 >= 21829 @ 6.47147
6.97/7.17 c GLOBAL bounds 29969 >= 21829 @ 6.47391
6.97/7.17 c GLOBAL bounds 29969 >= 21829 @ 6.47482
6.97/7.17 c GLOBAL bounds 29969 >= 21829 @ 6.47482
6.97/7.17 c GLOBAL bounds 27301 >= 21829 @ 6.47565
6.97/7.17 c GLOBAL bounds 27301 >= 21829 @ 6.47682
6.97/7.17 c GLOBAL bounds 27301 >= 21829 @ 6.47765
6.97/7.18 c GLOBAL bounds 27301 >= 21829 @ 6.47944
6.97/7.18 c GLOBAL bounds 27301 >= 21829 @ 6.48044
6.97/7.18 c GLOBAL bounds 27301 >= 21829 @ 6.48124
6.97/7.18 c GLOBAL bounds 27301 >= 21829 @ 6.48223
6.97/7.18 c GLOBAL bounds 27301 >= 21829 @ 6.48308
6.97/7.18 c GLOBAL bounds 27301 >= 21829 @ 6.48379
6.97/7.18 c GLOBAL bounds 27301 >= 21829 @ 6.48481
6.97/7.19 c GLOBAL bounds 27301 >= 21829 @ 6.48583
6.97/7.19 c GLOBAL bounds 27301 >= 21829 @ 6.48759
6.97/7.19 c GLOBAL bounds 27301 >= 21829 @ 6.48863
6.97/7.19 c GLOBAL bounds 27301 >= 21829 @ 6.48978
6.97/7.19 c GLOBAL bounds 27301 >= 21829 @ 6.49048
6.97/7.19 c GLOBAL bounds 27301 >= 21829 @ 6.4925
6.97/7.19 c GLOBAL bounds 27301 >= 21829 @ 6.49361
7.05/7.20 c GLOBAL bounds 27301 >= 21829 @ 6.49607
7.05/7.20 c GLOBAL bounds 27301 >= 21829 @ 6.49676
7.05/7.23 c INPROCESSING
7.05/7.23 c GARBAGE COLLECT
7.05/7.23 c GLOBAL bounds 27301 >= 21829 @ 6.52939
7.05/7.24 c GLOBAL bounds 27301 >= 21829 @ 6.53265
7.05/7.24 c GLOBAL bounds 27301 >= 21829 @ 6.53265
7.05/7.24 c GLOBAL bounds 27301 >= 21829 @ 6.53265
7.05/7.24 c GLOBAL bounds 27301 >= 21829 @ 6.53265
7.05/7.25 c GLOBAL bounds 27301 >= 21829 @ 6.53482
10.04/10.29 c #Conflicts: 19000 | #Constraints: 4012
10.04/10.29 c #Conflicts: 20000 | #Constraints: 5012
10.04/10.29 c #Conflicts: 21000 | #Constraints: 6012
10.04/10.29 c INPROCESSING
10.04/10.29 c GARBAGE COLLECT
10.04/10.29 c #Conflicts: 22000 | #Constraints: 3816
10.04/10.29 c #Conflicts: 23000 | #Constraints: 4816
10.04/10.29 c #Conflicts: 24000 | #Constraints: 5816
10.04/10.29 c #Conflicts: 25000 | #Constraints: 6816
10.04/10.29 c INPROCESSING
10.04/10.29 c GARBAGE COLLECT
10.04/10.29 c #Conflicts: 26000 | #Constraints: 4420
10.04/10.29 c #Conflicts: 27000 | #Constraints: 5420
10.04/10.29 c GLOBAL bounds 27301 >= 21829 @ 9.44751
10.14/10.30 c GLOBAL bounds 27301 >= 21829 @ 9.45265
10.14/10.30 c GLOBAL bounds 27301 >= 21829 @ 9.45265
10.14/10.30 c GLOBAL bounds 27301 >= 21829 @ 9.45292
10.14/10.34 c GLOBAL bounds 27301 >= 21829 @ 9.48929
13.63/13.87 c #Conflicts: 28000 | #Constraints: 6435
13.63/13.87 c #Conflicts: 29000 | #Constraints: 7435
13.63/13.87 c INPROCESSING
13.63/13.87 c GARBAGE COLLECT
13.63/13.87 c #Conflicts: 30000 | #Constraints: 4830
13.63/13.87 c #Conflicts: 31000 | #Constraints: 5830
13.63/13.87 c #Conflicts: 32000 | #Constraints: 6830
13.63/13.87 c #Conflicts: 33000 | #Constraints: 7830
13.63/13.87 c INPROCESSING
13.63/13.87 c GARBAGE COLLECT
13.63/13.87 c #Conflicts: 34000 | #Constraints: 5033
13.63/13.87 c #Conflicts: 35000 | #Constraints: 6033
13.63/13.87 c #Conflicts: 36000 | #Constraints: 7033
13.63/13.87 c GLOBAL bounds 27301 >= 21829 @ 12.8151
13.63/13.87 c GLOBAL bounds 27301 >= 21829 @ 12.8203
13.73/13.91 c GLOBAL bounds 27301 >= 21829 @ 12.8521
13.73/13.92 c GLOBAL bounds 27301 >= 21829 @ 12.8615
14.43/14.64 c #Conflicts: 37000 | #Constraints: 8045
14.43/14.64 c INPROCESSING
14.43/14.64 c GARBAGE COLLECT
14.43/14.64 c #Conflicts: 38000 | #Constraints: 5042
14.43/14.64 c GLOBAL bounds 27301 >= 21829 @ 13.5488
14.43/14.64 c GLOBAL bounds 27301 >= 21829 @ 13.5507
14.43/14.65 c GLOBAL bounds 27301 >= 21829 @ 13.5544
14.43/14.65 c GLOBAL bounds 27301 >= 21829 @ 13.5567
15.40/15.67 c #Conflicts: 39000 | #Constraints: 6054
15.40/15.67 c GLOBAL bounds 27301 >= 21973 @ 14.5092
15.40/15.67 c GLOBAL bounds 27301 >= 21973 @ 14.5119
15.40/15.68 c GLOBAL bounds 27301 >= 21973 @ 14.513
15.40/15.68 c GLOBAL bounds 27301 >= 21973 @ 14.513
15.40/15.68 c GLOBAL bounds 27301 >= 21973 @ 14.514
15.40/15.68 c GLOBAL bounds 27301 >= 21973 @ 14.515
15.40/15.68 c GLOBAL bounds 27301 >= 21973 @ 14.5159
15.40/15.69 c GLOBAL bounds 27301 >= 21973 @ 14.5182
15.40/15.69 c GLOBAL bounds 27301 >= 21973 @ 14.5197
15.51/15.70 c GLOBAL bounds 27301 >= 21973 @ 14.5319
15.51/15.71 c GLOBAL bounds 27301 >= 21973 @ 14.5334
15.51/15.71 c GLOBAL bounds 27301 >= 21973 @ 14.5352
15.51/15.71 c GLOBAL bounds 27301 >= 21973 @ 14.5367
15.51/15.71 c GLOBAL bounds 27301 >= 21973 @ 14.5367
15.51/15.71 c GLOBAL bounds 27301 >= 21973 @ 14.538
15.51/15.72 c GLOBAL bounds 27301 >= 21973 @ 14.5444
15.51/15.72 c GLOBAL bounds 27301 >= 21973 @ 14.5457
15.51/15.75 c GLOBAL bounds 27301 >= 21973 @ 14.5666
15.51/15.75 c GLOBAL bounds 27301 >= 21973 @ 14.5676
15.51/15.76 c GLOBAL bounds 27301 >= 21973 @ 14.5755
15.51/15.76 c GLOBAL bounds 27301 >= 21973 @ 14.5765
15.51/15.77 c GLOBAL bounds 27301 >= 21973 @ 14.5807
15.51/15.77 c GLOBAL bounds 27301 >= 21973 @ 14.5817
15.51/15.78 c GLOBAL bounds 27301 >= 21973 @ 14.5856
15.51/15.78 c GLOBAL bounds 27301 >= 21973 @ 14.5867
15.60/15.80 c GLOBAL bounds 27301 >= 21973 @ 14.6083
15.60/15.81 c GLOBAL bounds 27301 >= 21973 @ 14.6142
16.69/16.97 c #Conflicts: 40000 | #Constraints: 7101
16.69/16.97 c #Conflicts: 41000 | #Constraints: 8101
16.69/16.97 c INPROCESSING
16.69/16.97 c GARBAGE COLLECT
16.69/16.97 c #Conflicts: 42000 | #Constraints: 4888
16.69/16.97 c GLOBAL bounds 27301 >= 21973 @ 15.7179
16.69/16.99 c GLOBAL bounds 27301 >= 21973 @ 15.7347
16.88/17.19 c #Conflicts: 43000 | #Constraints: 5894
16.88/17.19 c GLOBAL bounds 27301 >= 21973 @ 15.9197
16.98/17.26 c GLOBAL bounds 27301 >= 21973 @ 15.9784
16.98/17.26 c GLOBAL bounds 27301 >= 21973 @ 15.9808
17.67/17.99 c #Conflicts: 44000 | #Constraints: 6903
17.67/17.99 c #Conflicts: 45000 | #Constraints: 7903
17.67/17.99 c GLOBAL bounds 27301 >= 21973 @ 16.6765
19.57/19.81 c #Conflicts: 46000 | #Constraints: 8906
19.57/19.81 c INPROCESSING
19.57/19.81 c GARBAGE COLLECT
19.57/19.81 c #Conflicts: 47000 | #Constraints: 5499
19.57/19.81 c GLOBAL bounds 27301 >= 21973 @ 18.4064
20.17/20.46 c #Conflicts: 48000 | #Constraints: 6502
20.17/20.46 c GLOBAL bounds 27301 >= 21973 @ 19.0254
21.96/22.22 c #Conflicts: 49000 | #Constraints: 7505
21.96/22.22 c #Conflicts: 50000 | #Constraints: 8505
21.96/22.22 c #Conflicts: 51000 | #Constraints: 9505
21.96/22.22 c INPROCESSING
21.96/22.22 c GARBAGE COLLECT
21.96/22.22 c #Conflicts: 52000 | #Constraints: 5911
21.96/22.22 c #Conflicts: 53000 | #Constraints: 6911
21.96/22.22 c GLOBAL bounds 27301 >= 21973 @ 20.7063
25.25/25.53 c #Conflicts: 54000 | #Constraints: 7914
25.25/25.53 c #Conflicts: 55000 | #Constraints: 8914
25.25/25.53 c #Conflicts: 56000 | #Constraints: 9914
25.25/25.53 c INPROCESSING
25.25/25.53 c GARBAGE COLLECT
25.25/25.53 c #Conflicts: 57000 | #Constraints: 6107
25.25/25.53 c #Conflicts: 58000 | #Constraints: 7107
25.25/25.53 c #Conflicts: 59000 | #Constraints: 8107
25.25/25.53 c #Conflicts: 60000 | #Constraints: 9107
25.25/25.53 c #Conflicts: 61000 | #Constraints: 10107
25.25/25.53 c INPROCESSING
25.25/25.53 c GARBAGE COLLECT
25.25/25.53 c #Conflicts: 62000 | #Constraints: 6104
25.25/25.53 c GLOBAL bounds 27301 >= 21973 @ 23.8582
25.25/25.54 c GLOBAL bounds 27301 >= 21973 @ 23.8642
25.25/25.56 c GLOBAL bounds 27301 >= 21973 @ 23.8783
25.87/26.17 c #Conflicts: 63000 | #Constraints: 7113
25.87/26.17 c GLOBAL bounds 27301 >= 21973 @ 24.4541
25.87/26.18 c #Conflicts: 64000 | #Constraints: 8116
25.87/26.18 c GLOBAL bounds 27301 >= 21973 @ 24.4656
28.45/28.77 c #Conflicts: 65000 | #Constraints: 9119
28.45/28.77 c #Conflicts: 66000 | #Constraints: 10119
28.45/28.77 c INPROCESSING
28.45/28.77 c GARBAGE COLLECT
28.45/28.77 c #Conflicts: 67000 | #Constraints: 5917
28.45/28.77 c #Conflicts: 68000 | #Constraints: 6917
28.45/28.77 c #Conflicts: 69000 | #Constraints: 7917
28.45/28.77 c #Conflicts: 70000 | #Constraints: 8917
28.45/28.77 c #Conflicts: 71000 | #Constraints: 9917
28.45/28.77 c GLOBAL bounds 27301 >= 22254 @ 26.9226
28.45/28.77 c GLOBAL bounds 27301 >= 22254 @ 26.9249
28.45/28.77 c GLOBAL bounds 27301 >= 22254 @ 26.925
28.45/28.77 c GLOBAL bounds 27301 >= 22254 @ 26.9258
28.45/28.77 c GLOBAL bounds 27301 >= 22254 @ 26.9268
28.45/28.78 c GLOBAL bounds 27301 >= 22254 @ 26.928
28.45/28.78 c GLOBAL bounds 27301 >= 22254 @ 26.9289
28.54/28.90 c #Conflicts: 72000 | #Constraints: 10922
28.54/28.90 c GLOBAL bounds 27301 >= 22254 @ 27.0388
28.65/28.90 c GLOBAL bounds 27301 >= 22254 @ 27.0405
28.65/28.90 c GLOBAL bounds 27301 >= 22254 @ 27.0416
28.65/28.90 c GLOBAL bounds 27301 >= 22254 @ 27.0427
28.65/28.90 c GLOBAL bounds 27301 >= 22254 @ 27.0458
28.65/28.90 c GLOBAL bounds 27301 >= 22254 @ 27.0466
28.65/28.93 c GLOBAL bounds 27301 >= 22254 @ 27.0705
28.65/28.93 c GLOBAL bounds 27301 >= 22254 @ 27.0715
28.65/28.93 c GLOBAL bounds 27301 >= 22254 @ 27.0736
28.65/28.94 c GLOBAL bounds 27301 >= 22254 @ 27.075
28.65/28.94 c GLOBAL bounds 27301 >= 22254 @ 27.0786
28.65/28.94 c GLOBAL bounds 27301 >= 22254 @ 27.0795
28.65/28.97 c GLOBAL bounds 27301 >= 22254 @ 27.1054
28.65/28.97 c GLOBAL bounds 27301 >= 22254 @ 27.1064
28.65/29.00 c INPROCESSING
28.65/29.00 c GARBAGE COLLECT
28.65/29.00 c GLOBAL bounds 27301 >= 22254 @ 27.1314
28.65/29.00 c GLOBAL bounds 27301 >= 22254 @ 27.1323
28.65/29.00 c GLOBAL bounds 27301 >= 22254 @ 27.1337
28.65/29.00 c GLOBAL bounds 27301 >= 22254 @ 27.135
28.65/29.00 c GLOBAL bounds 27301 >= 22254 @ 27.1353
28.76/29.08 c GLOBAL bounds 27301 >= 22254 @ 27.2104
28.76/29.08 c GLOBAL bounds 27301 >= 22254 @ 27.2111
28.76/29.08 c GLOBAL bounds 27301 >= 22254 @ 27.2121
28.85/29.15 c GLOBAL bounds 27301 >= 22254 @ 27.271
28.85/29.15 c GLOBAL bounds 27301 >= 22254 @ 27.272
29.54/29.86 c #Conflicts: 73000 | #Constraints: 6555
29.54/29.86 c #Conflicts: 74000 | #Constraints: 7555
29.54/29.86 c GLOBAL bounds 27301 >= 22254 @ 27.9254
30.24/30.52 c #Conflicts: 75000 | #Constraints: 8558
30.24/30.52 c #Conflicts: 76000 | #Constraints: 9558
30.24/30.52 c GLOBAL bounds 27301 >= 22254 @ 28.5554
35.42/35.78 c #Conflicts: 77000 | #Constraints: 10561
35.42/35.78 c #Conflicts: 78000 | #Constraints: 11561
35.42/35.78 c INPROCESSING
35.42/35.78 c GARBAGE COLLECT
35.42/35.78 c #Conflicts: 79000 | #Constraints: 6957
35.42/35.78 c #Conflicts: 80000 | #Constraints: 7957
35.42/35.78 c #Conflicts: 81000 | #Constraints: 8957
35.42/35.78 c #Conflicts: 82000 | #Constraints: 9957
35.42/35.78 c #Conflicts: 83000 | #Constraints: 10957
35.42/35.78 c #Conflicts: 84000 | #Constraints: 11957
35.42/35.78 c INPROCESSING
35.42/35.78 c GARBAGE COLLECT
35.42/35.78 c #Conflicts: 85000 | #Constraints: 7165
35.42/35.78 c #Conflicts: 86000 | #Constraints: 8165
35.42/35.78 c #Conflicts: 87000 | #Constraints: 9165
35.42/35.78 c #Conflicts: 88000 | #Constraints: 10165
35.42/35.78 c #Conflicts: 89000 | #Constraints: 11165
35.42/35.78 c GLOBAL bounds 27301 >= 22254 @ 33.5712
55.17/55.53 c #Conflicts: 90000 | #Constraints: 12168
55.17/55.53 c INPROCESSING
55.17/55.53 c GARBAGE COLLECT
55.17/55.53 c #Conflicts: 91000 | #Constraints: 7166
55.17/55.53 c #Conflicts: 92000 | #Constraints: 8166
55.17/55.53 c #Conflicts: 93000 | #Constraints: 9166
55.17/55.53 c #Conflicts: 94000 | #Constraints: 10166
55.17/55.53 c #Conflicts: 95000 | #Constraints: 11166
55.17/55.53 c #Conflicts: 96000 | #Constraints: 12166
55.17/55.53 c INPROCESSING
55.17/55.53 c GARBAGE COLLECT
55.17/55.53 c #Conflicts: 97000 | #Constraints: 7014
55.17/55.53 c #Conflicts: 98000 | #Constraints: 8014
55.17/55.53 c #Conflicts: 99000 | #Constraints: 9014
55.17/55.53 c #Conflicts: 100000 | #Constraints: 10014
55.17/55.53 c #Conflicts: 101000 | #Constraints: 11014
55.17/55.53 c #Conflicts: 102000 | #Constraints: 12014
55.17/55.53 c #Conflicts: 103000 | #Constraints: 13014
55.17/55.53 c INPROCESSING
55.17/55.53 c GARBAGE COLLECT
55.17/55.53 c #Conflicts: 104000 | #Constraints: 7602
55.17/55.53 c #Conflicts: 105000 | #Constraints: 8602
55.17/55.53 c #Conflicts: 106000 | #Constraints: 9602
55.17/55.53 c #Conflicts: 107000 | #Constraints: 10602
55.17/55.53 c #Conflicts: 108000 | #Constraints: 11602
55.17/55.53 c #Conflicts: 109000 | #Constraints: 12602
55.17/55.53 c #Conflicts: 110000 | #Constraints: 13602
55.17/55.53 c INPROCESSING
55.17/55.53 c GARBAGE COLLECT
55.17/55.53 c #Conflicts: 111000 | #Constraints: 7987
55.17/55.53 c #Conflicts: 112000 | #Constraints: 8987
55.17/55.53 c #Conflicts: 113000 | #Constraints: 9987
55.17/55.53 c #Conflicts: 114000 | #Constraints: 10987
55.17/55.53 c #Conflicts: 115000 | #Constraints: 11987
55.17/55.53 c #Conflicts: 116000 | #Constraints: 12987
55.17/55.53 c #Conflicts: 117000 | #Constraints: 13987
55.17/55.53 c INPROCESSING
55.17/55.53 c GARBAGE COLLECT
55.17/55.53 c #Conflicts: 118000 | #Constraints: 8187
55.17/55.53 c #Conflicts: 119000 | #Constraints: 9187
55.17/55.53 c #Conflicts: 120000 | #Constraints: 10187
55.17/55.53 c #Conflicts: 121000 | #Constraints: 11187
55.17/55.53 c #Conflicts: 122000 | #Constraints: 12187
55.17/55.53 c #Conflicts: 123000 | #Constraints: 13187
55.17/55.53 c #Conflicts: 124000 | #Constraints: 14187
55.17/55.53 c INPROCESSING
55.17/55.53 c GARBAGE COLLECT
55.17/55.53 c #Conflicts: 125000 | #Constraints: 8179
55.17/55.53 c #Conflicts: 126000 | #Constraints: 9179
55.17/55.53 c #Conflicts: 127000 | #Constraints: 10179
55.17/55.53 c #Conflicts: 128000 | #Constraints: 11179
55.17/55.53 c #Conflicts: 129000 | #Constraints: 12179
55.17/55.53 c #Conflicts: 130000 | #Constraints: 13179
55.17/55.53 c #Conflicts: 131000 | #Constraints: 14179
55.17/55.53 c INPROCESSING
55.17/55.53 c GARBAGE COLLECT
55.17/55.53 c #Conflicts: 132000 | #Constraints: 7979
55.17/55.53 c #Conflicts: 133000 | #Constraints: 8979
55.17/55.53 c #Conflicts: 134000 | #Constraints: 9979
55.17/55.53 c #Conflicts: 135000 | #Constraints: 10979
55.17/55.53 c #Conflicts: 136000 | #Constraints: 11979
55.17/55.53 c #Conflicts: 137000 | #Constraints: 12979
55.17/55.53 c GLOBAL bounds 27301 >= 23583 @ 52.3778
55.17/55.54 c GLOBAL bounds 27301 >= 23583 @ 52.3806
55.17/55.54 c GLOBAL bounds 27301 >= 23583 @ 52.3817
55.17/55.54 c GLOBAL bounds 27301 >= 23583 @ 52.3829
55.27/55.66 c GLOBAL bounds 27301 >= 23583 @ 52.4955
55.27/55.66 c GLOBAL bounds 27301 >= 23583 @ 52.4969
55.27/55.66 c GLOBAL bounds 27301 >= 23583 @ 52.4983
55.27/55.66 c GLOBAL bounds 26131 >= 23583 @ 52.5
55.27/55.68 c GLOBAL bounds 26131 >= 23583 @ 52.5199
55.27/55.68 c GLOBAL bounds 26131 >= 23583 @ 52.5208
55.27/55.69 c GLOBAL bounds 26131 >= 23583 @ 52.5228
55.27/55.69 c GLOBAL bounds 26131 >= 23583 @ 52.5238
55.27/55.69 c GLOBAL bounds 26131 >= 23583 @ 52.5248
55.27/55.69 c GLOBAL bounds 25997 >= 23583 @ 52.5259
55.78/56.18 c #Conflicts: 138000 | #Constraints: 14002
55.78/56.18 c #Conflicts: 139000 | #Constraints: 15002
55.78/56.18 c INPROCESSING
55.78/56.18 c GARBAGE COLLECT
55.78/56.18 c GLOBAL bounds 25997 >= 23583 @ 52.9889
55.78/56.18 c GLOBAL bounds 25997 >= 23583 @ 52.9905
55.78/56.18 c GLOBAL bounds 25997 >= 23583 @ 52.9925
55.78/56.18 c GLOBAL bounds 25997 >= 23583 @ 52.9925
55.78/56.18 c GLOBAL bounds 25997 >= 23583 @ 52.9938
55.78/56.18 c GLOBAL bounds 25997 >= 23583 @ 52.9945
55.78/56.19 c GLOBAL bounds 25997 >= 23583 @ 52.9958
55.78/56.19 c GLOBAL bounds 25997 >= 23583 @ 52.9965
55.78/56.19 c GLOBAL bounds 25997 >= 23583 @ 52.9968
55.78/56.19 c GLOBAL bounds 25997 >= 23583 @ 52.9975
55.78/56.19 c GLOBAL bounds 25997 >= 23583 @ 52.9985
55.78/56.20 c GLOBAL bounds 25997 >= 23583 @ 52.9995
55.87/56.20 c GLOBAL bounds 25997 >= 23583 @ 53.0034
57.07/57.40 c #Conflicts: 140000 | #Constraints: 8551
57.07/57.40 c #Conflicts: 141000 | #Constraints: 9551
57.07/57.40 c #Conflicts: 142000 | #Constraints: 10551
57.07/57.40 c GLOBAL bounds 25997 >= 23583 @ 54.1399
64.14/64.56 c #Conflicts: 143000 | #Constraints: 11554
64.14/64.56 c #Conflicts: 144000 | #Constraints: 12554
64.14/64.56 c #Conflicts: 145000 | #Constraints: 13554
64.14/64.56 c #Conflicts: 146000 | #Constraints: 14554
64.14/64.56 c #Conflicts: 147000 | #Constraints: 15554
64.14/64.56 c INPROCESSING
64.14/64.56 c GARBAGE COLLECT
64.14/64.56 c #Conflicts: 148000 | #Constraints: 8954
64.14/64.56 c #Conflicts: 149000 | #Constraints: 9954
64.14/64.56 c #Conflicts: 150000 | #Constraints: 10954
64.14/64.56 c #Conflicts: 151000 | #Constraints: 11954
64.14/64.56 c #Conflicts: 152000 | #Constraints: 12954
64.14/64.56 c #Conflicts: 153000 | #Constraints: 13954
64.14/64.56 c #Conflicts: 154000 | #Constraints: 14954
64.14/64.56 c #Conflicts: 155000 | #Constraints: 15954
64.14/64.56 c INPROCESSING
64.14/64.56 c GARBAGE COLLECT
64.14/64.56 c #Conflicts: 156000 | #Constraints: 9173
64.14/64.56 c #Conflicts: 157000 | #Constraints: 10173
64.14/64.56 c #Conflicts: 158000 | #Constraints: 11173
64.14/64.56 c #Conflicts: 159000 | #Constraints: 12173
64.14/64.56 c #Conflicts: 160000 | #Constraints: 13173
64.14/64.56 c GLOBAL bounds 25997 >= 23583 @ 60.9737
70.53/70.91 c #Conflicts: 161000 | #Constraints: 14176
70.53/70.91 c #Conflicts: 162000 | #Constraints: 15176
70.53/70.91 c #Conflicts: 163000 | #Constraints: 16176
70.53/70.91 c INPROCESSING
70.53/70.91 c GARBAGE COLLECT
70.53/70.91 c #Conflicts: 164000 | #Constraints: 9160
70.53/70.91 c #Conflicts: 165000 | #Constraints: 10160
70.53/70.91 c #Conflicts: 166000 | #Constraints: 11160
70.53/70.91 c #Conflicts: 167000 | #Constraints: 12160
70.53/70.91 c #Conflicts: 168000 | #Constraints: 13160
70.53/70.91 c #Conflicts: 169000 | #Constraints: 14160
70.53/70.91 c #Conflicts: 170000 | #Constraints: 15160
70.53/70.91 c #Conflicts: 171000 | #Constraints: 16160
70.53/70.91 c #Conflicts: 172000 | #Constraints: 17160
70.53/70.91 c #Conflicts: 173000 | #Constraints: 18160
70.53/70.91 c #Conflicts: 174000 | #Constraints: 19160
70.53/70.91 c GLOBAL bounds 25997 >= 23699 @ 67.0486
70.53/70.91 c GLOBAL bounds 25997 >= 23699 @ 67.0514
70.53/70.91 c GLOBAL bounds 25997 >= 23699 @ 67.0514
70.53/70.91 c GLOBAL bounds 25997 >= 23699 @ 67.0514
70.53/70.94 c GLOBAL bounds 25997 >= 23699 @ 67.0824
70.53/70.94 c GLOBAL bounds 25997 >= 23699 @ 67.0833
70.53/70.95 c GLOBAL bounds 25997 >= 23699 @ 67.0843
70.53/70.95 c GLOBAL bounds 25997 >= 23699 @ 67.0853
70.53/70.95 c GLOBAL bounds 25997 >= 23699 @ 67.0874
70.53/70.95 c GLOBAL bounds 25039 >= 23699 @ 67.0883
70.64/71.10 c GLOBAL bounds 25039 >= 23699 @ 67.2284
70.64/71.10 c GLOBAL bounds 24891 >= 23699 @ 67.2304
70.83/71.25 c #Conflicts: 175000 | #Constraints: 20177
70.83/71.25 c GLOBAL bounds 24891 >= 23699 @ 67.3665
70.83/71.25 c GLOBAL bounds 24891 >= 23699 @ 67.368
70.83/71.26 c GLOBAL bounds 24891 >= 23699 @ 67.3705
70.83/71.26 c GLOBAL bounds 24891 >= 23699 @ 67.3718
70.83/71.26 c GLOBAL bounds 24891 >= 23699 @ 67.3734
70.83/71.26 c GLOBAL bounds 24891 >= 23699 @ 67.3743
71.13/71.59 c GLOBAL bounds 24891 >= 23699 @ 67.6855
71.13/71.60 c GLOBAL bounds 24891 >= 23699 @ 67.6865
71.23/71.60 c GLOBAL bounds 24891 >= 23699 @ 67.6875
71.23/71.60 c GLOBAL bounds 24891 >= 23699 @ 67.6883
71.23/71.60 c GLOBAL bounds 24891 >= 23699 @ 67.6896
71.23/71.60 c GLOBAL bounds 24891 >= 23699 @ 67.6905
71.23/71.60 c GLOBAL bounds 24891 >= 23699 @ 67.6921
71.23/71.61 c GLOBAL bounds 24891 >= 23699 @ 67.6933
71.23/71.61 c GLOBAL bounds 24891 >= 23699 @ 67.6959
71.23/71.61 c GLOBAL bounds 24891 >= 23699 @ 67.6975
71.23/71.61 c GLOBAL bounds 24891 >= 23699 @ 67.6997
76.90/77.34 c #Conflicts: 176000 | #Constraints: 21202
76.90/77.34 c #Conflicts: 177000 | #Constraints: 22202
76.90/77.34 c #Conflicts: 178000 | #Constraints: 23202
76.90/77.34 c #Conflicts: 179000 | #Constraints: 24202
76.90/77.34 c #Conflicts: 180000 | #Constraints: 25202
76.90/77.34 c #Conflicts: 181000 | #Constraints: 26202
76.90/77.34 c #Conflicts: 182000 | #Constraints: 27202
76.90/77.34 c #Conflicts: 183000 | #Constraints: 28202
76.90/77.34 c #Conflicts: 184000 | #Constraints: 29202
76.90/77.34 c #Conflicts: 185000 | #Constraints: 30202
76.90/77.34 c #Conflicts: 186000 | #Constraints: 31202
76.90/77.34 c #Conflicts: 187000 | #Constraints: 32202
76.90/77.34 c #Conflicts: 188000 | #Constraints: 33202
76.90/77.34 c GLOBAL bounds 24891 >= 23826 @ 73.1923
76.90/77.35 c GLOBAL bounds 24891 >= 23826 @ 73.1969
76.90/77.35 c GLOBAL bounds 24891 >= 23826 @ 73.1974
76.90/77.35 c GLOBAL bounds 24891 >= 23826 @ 73.1982
77.11/77.52 c GLOBAL bounds 24891 >= 23826 @ 73.36
77.11/77.52 c GLOBAL bounds 24891 >= 23826 @ 73.361
77.62/78.01 c #Conflicts: 189000 | #Constraints: 34205
77.62/78.01 c GLOBAL bounds 24891 >= 23826 @ 73.8312
77.62/78.01 c GLOBAL bounds 24891 >= 23826 @ 73.8327
86.69/87.17 c #Conflicts: 190000 | #Constraints: 35209
86.69/87.17 c #Conflicts: 191000 | #Constraints: 36209
86.69/87.17 c #Conflicts: 192000 | #Constraints: 37209
86.69/87.17 c #Conflicts: 193000 | #Constraints: 38209
86.69/87.17 c #Conflicts: 194000 | #Constraints: 39209
86.69/87.17 c #Conflicts: 195000 | #Constraints: 40209
86.69/87.17 c #Conflicts: 196000 | #Constraints: 41209
86.69/87.17 c #Conflicts: 197000 | #Constraints: 42209
86.69/87.17 c #Conflicts: 198000 | #Constraints: 43209
86.69/87.17 c #Conflicts: 199000 | #Constraints: 44209
86.69/87.17 c #Conflicts: 200000 | #Constraints: 45209
86.69/87.17 c #Conflicts: 201000 | #Constraints: 46209
86.69/87.17 c INPROCESSING
86.69/87.17 c GARBAGE COLLECT
86.69/87.17 c #Conflicts: 202000 | #Constraints: 24132
86.69/87.17 c #Conflicts: 203000 | #Constraints: 25132
86.69/87.17 c #Conflicts: 204000 | #Constraints: 26132
86.69/87.17 c #Conflicts: 205000 | #Constraints: 27132
86.69/87.17 c #Conflicts: 206000 | #Constraints: 28132
86.69/87.17 c #Conflicts: 207000 | #Constraints: 29132
86.69/87.17 c #Conflicts: 208000 | #Constraints: 30132
86.69/87.17 c #Conflicts: 209000 | #Constraints: 31132
86.69/87.17 c GLOBAL bounds 24891 >= 23826 @ 82.6413
86.69/87.17 c GLOBAL bounds 24891 >= 23826 @ 82.643
86.88/87.38 c GLOBAL bounds 24891 >= 23826 @ 82.8466
86.88/87.38 c GLOBAL bounds 24891 >= 23826 @ 82.8483
87.48/87.98 c #Conflicts: 210000 | #Constraints: 32140
87.48/87.98 c INPROCESSING
87.48/87.98 c GARBAGE COLLECT
87.48/87.98 c GLOBAL bounds 24891 >= 23826 @ 83.4375
87.48/87.99 c GLOBAL bounds 24891 >= 23826 @ 83.4393
88.37/88.82 c #Conflicts: 211000 | #Constraints: 16866
88.37/88.82 c #Conflicts: 212000 | #Constraints: 17866
88.37/88.82 c #Conflicts: 213000 | #Constraints: 18866
88.37/88.82 c GLOBAL bounds 24891 >= 23826 @ 84.2358
88.37/88.82 c GLOBAL bounds 24891 >= 23826 @ 84.2368
90.37/90.87 c #Conflicts: 214000 | #Constraints: 19870
90.37/90.87 c #Conflicts: 215000 | #Constraints: 20870
90.37/90.87 c #Conflicts: 216000 | #Constraints: 21870
90.37/90.87 c #Conflicts: 217000 | #Constraints: 22870
90.37/90.87 c #Conflicts: 218000 | #Constraints: 23870
90.37/90.87 c GLOBAL bounds 24891 >= 23826 @ 86.2005
90.37/90.87 c GLOBAL bounds 24891 >= 23826 @ 86.2015
90.47/91.00 c GLOBAL bounds 24891 >= 23826 @ 86.3283
90.47/91.00 c GLOBAL bounds 24891 >= 23826 @ 86.3292
91.46/91.94 c #Conflicts: 219000 | #Constraints: 24875
91.46/91.94 c #Conflicts: 220000 | #Constraints: 25875
91.46/91.94 c INPROCESSING
91.46/91.94 c GARBAGE COLLECT
91.46/91.94 c GLOBAL bounds 24891 >= 23826 @ 87.2266
91.46/91.94 c GLOBAL bounds 24891 >= 23826 @ 87.228
94.67/95.12 c #Conflicts: 221000 | #Constraints: 13909
94.67/95.12 c #Conflicts: 222000 | #Constraints: 14909
94.67/95.12 c #Conflicts: 223000 | #Constraints: 15909
94.67/95.12 c #Conflicts: 224000 | #Constraints: 16909
94.67/95.12 c #Conflicts: 225000 | #Constraints: 17909
94.67/95.12 c #Conflicts: 226000 | #Constraints: 18909
94.67/95.12 c #Conflicts: 227000 | #Constraints: 19909
94.67/95.12 c #Conflicts: 228000 | #Constraints: 20909
94.67/95.12 c #Conflicts: 229000 | #Constraints: 21909
94.67/95.12 c GLOBAL bounds 24891 >= 23826 @ 90.247
94.67/95.18 c GLOBAL bounds 24891 >= 23826 @ 90.3007
97.05/97.52 c #Conflicts: 230000 | #Constraints: 22912
97.05/97.52 c INPROCESSING
97.05/97.52 c GARBAGE COLLECT
97.05/97.52 c #Conflicts: 231000 | #Constraints: 12459
97.05/97.52 c #Conflicts: 232000 | #Constraints: 13459
97.05/97.52 c #Conflicts: 233000 | #Constraints: 14459
97.05/97.52 c #Conflicts: 234000 | #Constraints: 15459
97.05/97.52 c GLOBAL bounds 24891 >= 23835 @ 92.5597
97.05/97.53 c GLOBAL bounds 24891 >= 23835 @ 92.5624
97.05/97.53 c GLOBAL bounds 24891 >= 23835 @ 92.563
98.05/98.59 c #Conflicts: 235000 | #Constraints: 16460
98.05/98.59 c #Conflicts: 236000 | #Constraints: 17460
98.05/98.59 c #Conflicts: 237000 | #Constraints: 18460
98.05/98.59 c GLOBAL bounds 24891 >= 23835 @ 93.5869
98.05/98.60 c GLOBAL bounds 24891 >= 23835 @ 93.5879
99.85/100.30 c #Conflicts: 238000 | #Constraints: 19464
99.85/100.30 c #Conflicts: 239000 | #Constraints: 20464
99.85/100.30 c #Conflicts: 240000 | #Constraints: 21464
99.85/100.30 c #Conflicts: 241000 | #Constraints: 22464
99.85/100.30 c GLOBAL bounds 24891 >= 23835 @ 95.2243
99.85/100.31 c GLOBAL bounds 24891 >= 23835 @ 95.2258
100.04/100.57 c #Conflicts: 242000 | #Constraints: 23468
100.04/100.57 c GLOBAL bounds 24891 >= 23835 @ 95.4711
100.04/100.57 c GLOBAL bounds 24891 >= 23835 @ 95.4727
100.24/100.74 c GLOBAL bounds 24891 >= 23835 @ 95.6433
100.24/100.74 c GLOBAL bounds 24891 >= 23835 @ 95.6441
100.65/101.17 c #Conflicts: 243000 | #Constraints: 24476
100.65/101.17 c GLOBAL bounds 24891 >= 23835 @ 96.0585
100.65/101.17 c GLOBAL bounds 24891 >= 23835 @ 96.06
101.04/101.56 c #Conflicts: 244000 | #Constraints: 25480
101.04/101.56 c GLOBAL bounds 24891 >= 23835 @ 96.4221
101.04/101.56 c GLOBAL bounds 24891 >= 23835 @ 96.4236
101.04/101.56 c GLOBAL bounds 24891 >= 23835 @ 96.4308
101.04/101.57 c GLOBAL bounds 24891 >= 23835 @ 96.4322
101.14/101.60 c GLOBAL bounds 24891 >= 23835 @ 96.4601
101.14/101.60 c GLOBAL bounds 24891 >= 23835 @ 96.4617
102.44/102.98 c #Conflicts: 245000 | #Constraints: 26489
102.44/102.98 c #Conflicts: 246000 | #Constraints: 27489
102.44/102.98 c #Conflicts: 247000 | #Constraints: 28489
102.44/102.98 c GLOBAL bounds 24891 >= 23835 @ 97.7922
102.44/102.98 c GLOBAL bounds 24891 >= 23835 @ 97.7931
103.83/104.39 c #Conflicts: 248000 | #Constraints: 29490
103.83/104.39 c #Conflicts: 249000 | #Constraints: 30490
103.83/104.39 c #Conflicts: 250000 | #Constraints: 31490
103.83/104.39 c GLOBAL bounds 24891 >= 23835 @ 99.147
108.32/108.86 c #Conflicts: 251000 | #Constraints: 32493
108.32/108.86 c #Conflicts: 252000 | #Constraints: 33493
108.32/108.86 c #Conflicts: 253000 | #Constraints: 34493
108.32/108.86 c #Conflicts: 254000 | #Constraints: 35493
108.32/108.86 c #Conflicts: 255000 | #Constraints: 36493
108.32/108.86 c #Conflicts: 256000 | #Constraints: 37493
108.32/108.86 c #Conflicts: 257000 | #Constraints: 38493
108.32/108.86 c #Conflicts: 258000 | #Constraints: 39493
108.32/108.86 c #Conflicts: 259000 | #Constraints: 40493
108.32/108.86 c GLOBAL bounds 24891 >= 23914 @ 103.497
108.32/108.87 c GLOBAL bounds 24891 >= 23914 @ 103.501
108.32/108.87 c GLOBAL bounds 24891 >= 23914 @ 103.505
108.32/108.87 c GLOBAL bounds 24891 >= 23914 @ 103.506
108.32/108.88 c GLOBAL bounds 24891 >= 23914 @ 103.512
108.32/108.88 c GLOBAL bounds 24891 >= 23914 @ 103.513
108.32/108.89 c GLOBAL bounds 24891 >= 23914 @ 103.518
108.32/108.89 c GLOBAL bounds 24891 >= 23914 @ 103.519
108.32/108.89 c GLOBAL bounds 24891 >= 23914 @ 103.523
108.32/108.89 c GLOBAL bounds 24891 >= 23914 @ 103.524
108.41/108.91 c GLOBAL bounds 24891 >= 23914 @ 103.537
108.41/108.91 c GLOBAL bounds 24891 >= 23914 @ 103.538
108.71/109.20 c GLOBAL bounds 24891 >= 23914 @ 103.82
108.71/109.20 c GLOBAL bounds 24891 >= 23914 @ 103.822
108.82/109.31 c GLOBAL bounds 24891 >= 23914 @ 103.927
108.82/109.31 c GLOBAL bounds 24891 >= 23914 @ 103.928
109.41/109.99 c #Conflicts: 260000 | #Constraints: 41515
109.41/109.99 c #Conflicts: 261000 | #Constraints: 42515
109.41/109.99 c GLOBAL bounds 24891 >= 23914 @ 104.586
109.41/109.99 c GLOBAL bounds 24891 >= 23914 @ 104.587
109.41/110.00 c GLOBAL bounds 24891 >= 23914 @ 104.59
109.41/110.00 c GLOBAL bounds 23978 >= 23914 @ 104.592
110.01/110.57 c #Conflicts: 262000 | #Constraints: 43524
110.01/110.57 c GLOBAL bounds 23978 >= 23978 @ 105.132
110.01/110.57 c cpu time 105.132 s
110.01/110.57 c deterministic time 1224759 1.22e+06
110.01/110.57 c optimization time 104.908 s
110.01/110.57 c total solve time 0.194216 s
110.01/110.57 c core-guided solve time 0 s
110.01/110.57 c propagation time 0.129783 s
110.01/110.57 c conflict analysis time 0.007505 s
110.01/110.57 c propagations 148442
110.01/110.57 c resolve steps 0
110.01/110.57 c decisions 144039
110.01/110.57 c conflicts 18
110.01/110.57 c restarts 1
110.01/110.57 c inprocessing phases 0
110.01/110.57 c garbage collections 0 ,( -nan )
110.01/110.57 c input clauses 2582 ,( 95.81 )
110.01/110.57 c input cardinalities 0 ,( 0.00 )
110.01/110.57 c input general constraints 113 ,( 4.19 )
110.01/110.57 c input average constraint length 32.76
110.01/110.57 c input average constraint degree 42691.38
110.01/110.57 c learned clauses 132 ,( 100.00 )
110.01/110.57 c learned cardinalities 0 ,( 0.00 )
110.01/110.57 c learned general constraints 0 ,( 0.00 )
110.01/110.57 c learned average constraint length 47.23
110.01/110.57 c learned average constraint degree 1.00
110.01/110.57 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
110.01/110.57 c counting CF 32, 64, 128, Arb: 114 , 0 , 0 , 0
110.01/110.57 c watched constraints 0 ,( 0.00 )
110.01/110.57 c counting constraints 113 ,( 100.00 )
110.01/110.57 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 96639 , 0 , 14305 ,( 0 , 14305 )
110.01/110.57 c gcd simplifications 0
110.01/110.57 c detected cardinalities 0
110.01/110.57 c weakened non-implied lits 0
110.01/110.57 c weakened non-implying lits 0
110.01/110.57 c original variables 1343
110.01/110.57 c clausal propagations 74134
110.01/110.57 c cardinality propagations 0
110.01/110.57 c watched propagations 0
110.01/110.57 c counting propagations 3128
110.01/110.57 c watch lookups 169875
110.01/110.57 c watch backjump lookups 0
110.01/110.57 c watch checks 368785
110.01/110.57 c propagation checks 77707
110.01/110.57 c constraint additions 22801
110.01/110.57 c trail pops 292496
110.01/110.57 c formula constraints 2405
110.01/110.57 c learned constraints 132
110.01/110.57 c bound constraints 0
110.01/110.57 c core-guided constraints 0
110.01/110.57 c encountered formula constraints 18
110.01/110.57 c encountered learned constraints 0
110.01/110.57 c encountered bound constraints 0
110.01/110.57 c encountered core-guided constraints 0
110.01/110.57 c LP total time 0.113974 s
110.01/110.57 c LP solve time 0.12 s
110.01/110.57 c LP constraints added 2405
110.01/110.57 c LP constraints removed 0
110.01/110.57 c LP pivots internal 0
110.01/110.57 c LP pivots root 613
110.01/110.57 c LP calls 140
110.01/110.57 c LP optimalities 140
110.01/110.57 c LP no pivot count 139
110.01/110.57 c LP infeasibilities 0
110.01/110.57 c LP valid Farkas constraints 0
110.01/110.57 c LP learned Farkas constraints 0
110.01/110.57 c LP basis resets 0
110.01/110.57 c LP cycling count 0
110.01/110.57 c LP singular count 0
110.01/110.57 c LP no primal count 0
110.01/110.57 c LP no farkas count 0
110.01/110.57 c LP other issue count 0
110.01/110.57 c LP Gomory cuts 0
110.01/110.57 c LP learned cuts 0
110.01/110.57 c LP deleted cuts 0
110.01/110.57 c LP encountered Gomory constraints 0
110.01/110.57 c LP encountered Farkas constraints 0
110.01/110.57 c LP encountered learned Farkas constraints 0
110.01/110.57 c CG auxiliary variables introduced 183
110.01/110.57 c CG solutions found 7
110.01/110.57 c CG cores constructed 132
110.01/110.57 c CG core cardinality constraints returned 0
110.01/110.57 c CG unit cores 0
110.01/110.57 c CG single cores 0
110.01/110.57 c CG blocks removed during cardinality reduction 0
110.01/110.57 c CG first core best 0
110.01/110.57 c CG decision core best 0
110.01/110.57 c CG core reduction tie 0
110.01/110.57 c CG core degree average 0.00
110.01/110.57 c CG core slack average 0.00
110.01/110.57 c CG core upper bound improvements 0
110.01/110.57 c STR number of successful calls 0
110.01/110.57 c STR number of unsuccessful calls 0
110.01/110.57 c STR number of inconclusive calls 0
110.01/110.57 c STR number of successful attempts 0
110.01/110.57 c STR number of unsuccessful attempts 0
110.01/110.57 c STR number of inconclusive attempts 0
110.01/110.57 c STR average degree increase per successful call inf
110.01/110.57 c STR average degree increase per successful attempt inf
110.01/110.57 c STR total number of conflicts for successful attempts 0
110.01/110.57 c STR total number of conflicts for unsuccessful attempts 0
110.01/110.57 c STR total number of conflicts for inconclusive attempts 0
110.01/110.57 c STR average number of conflicts per successful attempt inf
110.01/110.57 c STR average number of conflicts per unsuccessful attempt inf
110.01/110.57 c STR average number of conflicts per inconclusive attempt inf
110.01/110.57 c AVG.sumWPerc 98.98
110.01/110.57 c bigint constraints 0
110.01/110.57 o 23978
110.01/110.57 s OPTIMUM FOUND
110.01/110.57 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 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 x1339 x1340 x1341 x1342 -x1343
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Tue Jul 1 21:17:56 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 23978 <= obj <= 23978
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 23978 <= obj <= 23978
--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: 63837 MiB (62963 MiB free)
memory of node 1: 64465 MiB (63628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497009-1751396901/watcher-4497009-1751396901 -o /tmp/evaluation-result-4497009-1751396901/solver-4497009-1751396901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66779 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4497009-1751396901.opb PROOFDIR/proof-4497009-1751396901
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66830, runsolver pid=66818
[startup+0.100072 s]*
/proc/loadavg: 0.54 1.03 1.86 7/255 66840
/proc/meminfo: memFree=129612732/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=64736 memory=14364 CPUtime=0.06 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 1926 0 0 0 4 2 0 0 20 0 1 0 55369251 66289664 3591 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 16184 3591 2400 1147 0 3611 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 68928 KiB
Current children cumulated memory: 17308 KiB
[startup+0.213918 s]*
/proc/loadavg: 0.54 1.03 1.86 7/255 66840
/proc/meminfo: memFree=129614472/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=65788 memory=15260 CPUtime=0.16 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 2150 0 0 0 10 6 0 0 20 0 1 0 55369251 67366912 3815 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 16447 3815 2400 1147 0 3874 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 69980 KiB
Current children cumulated memory: 18204 KiB
[startup+0.313296 s]*
/proc/loadavg: 0.54 1.03 1.86 6/252 66844
/proc/meminfo: memFree=129611272/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=66220 memory=15772 CPUtime=0.26 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 2293 0 0 0 17 9 0 0 20 0 1 0 55369251 67809280 3943 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 16555 3943 2400 1147 0 3982 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 70412 KiB
Current children cumulated memory: 18716 KiB
[startup+0.700382 s]
/proc/loadavg: 0.54 1.03 1.86 5/250 66848
/proc/meminfo: memFree=129611476/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=67672 memory=17820 CPUtime=0.62 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 2797 0 0 0 45 17 0 0 20 0 1 0 55369251 69296128 4455 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 16918 4455 2400 1147 0 4345 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 71864 KiB
Current children cumulated memory: 20764 KiB
[startup+1.50037 s]
/proc/loadavg: 0.54 1.03 1.86 5/250 66848
/proc/meminfo: memFree=129515456/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=70908 memory=23952 CPUtime=1.39 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 3835 0 0 0 116 23 0 0 20 0 1 0 55369251 72609792 5988 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 17727 5988 2400 1147 0 5154 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 75100 KiB
Current children cumulated memory: 26896 KiB
[startup+3.1129 s]
/proc/loadavg: 0.54 1.03 1.86 6/255 66887
/proc/meminfo: memFree=129346932/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=74936 memory=27920 CPUtime=2.98 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 4832 0 0 0 263 35 0 0 20 0 1 0 55369251 76734464 6980 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 18734 6980 2400 1147 0 6161 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 79128 KiB
Current children cumulated memory: 30864 KiB
[startup+6.30036 s]
/proc/loadavg: 0.82 1.08 1.87 6/255 66887
/proc/meminfo: memFree=128945792/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=86780 memory=40192 CPUtime=6.16 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 6862 0 0 0 564 52 0 0 20 0 1 0 55369251 88862720 10048 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 21695 10048 2400 1147 0 9122 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 90972 KiB
Current children cumulated memory: 43136 KiB
[startup+12.7004 s]
/proc/loadavg: 1.07 1.13 1.88 6/255 66887
/proc/meminfo: memFree=128173668/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=95944 memory=45440 CPUtime=12.53 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 8205 0 0 0 1170 83 0 0 20 0 1 0 55369251 98246656 11360 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 23986 11360 2400 1147 0 11413 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 100136 KiB
Current children cumulated memory: 48384 KiB
[startup+25.5004 s]
/proc/loadavg: 1.72 1.27 1.92 5/253 66917
/proc/meminfo: memFree=126880988/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=105744 memory=56784 CPUtime=25.25 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 10517 0 0 0 2382 143 0 0 20 0 1 0 55369251 108281856 14196 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 26436 14196 2400 1147 0 13863 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 109936 KiB
Current children cumulated memory: 59728 KiB
[startup+51.1132 s]
/proc/loadavg: 2.56 1.51 1.98 5/258 66938
/proc/meminfo: memFree=124040688/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=106548 memory=57936 CPUtime=50.8 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 10827 0 0 0 4813 267 0 0 20 0 1 0 55369251 109105152 14484 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 26637 14484 2400 1147 0 14064 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 110740 KiB
Current children cumulated memory: 60880 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.91 2.09 5/262 66944
/proc/meminfo: memFree=117771248/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=101.84 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 26220 0 0 0 9714 470 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
[startup+117.3 s]
# the end of solver process 66830 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=105.187 s, system=5.35362 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.44 1.91 2.09 5/262 66944
/proc/meminfo: memFree=117771248/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=101.94 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 26220 0 0 0 9723 471 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
[startup+108.8 s]
/proc/loadavg: 3.48 1.94 2.10 5/262 66944
/proc/meminfo: memFree=117092448/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=108.32 cores=5,7
/proc/66834/stat : 66834 (roundingsat) R 66830 66830 66766 0 -1 4194304 26231 0 0 0 10343 489 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 108.32 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
[startup+112 s]*
/proc/loadavg: 3.52 1.98 2.12 4/262 66944
/proc/meminfo: memFree=116654976/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=110.32 cores=5,7
/proc/66834/stat : 66834 (roundingsat) D 66830 66830 66766 0 -1 4194304 26237 0 0 0 10513 519 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 110.32 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
[startup+115.2 s]
/proc/loadavg: 3.56 2.01 2.13 5/262 66944
/proc/meminfo: memFree=116400552/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=110.38 cores=5,7
/proc/66834/stat : 66834 (roundingsat) D 66830 66830 66766 0 -1 4194304 26237 0 0 0 10515 523 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 110.38 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
[startup+116.001 s]*
/proc/loadavg: 3.56 2.01 2.13 7/262 66944
/proc/meminfo: memFree=116317004/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=110.44 cores=5,7
/proc/66834/stat : 66834 (roundingsat) D 66830 66830 66766 0 -1 4194304 26237 0 0 0 10516 528 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 110.44 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
[startup+116.8 s]
/proc/loadavg: 3.56 2.01 2.13 7/262 66944
/proc/meminfo: memFree=116317004/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=110.5 cores=5,7
/proc/66834/stat : 66834 (roundingsat) D 66830 66830 66766 0 -1 4194304 26237 0 0 0 10517 533 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 110.5 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
[startup+117.2 s]
/proc/loadavg: 3.56 2.01 2.13 5/262 66944
/proc/meminfo: memFree=116232612/131382112 swapFree=33010684/33010684
[pid=66830] ppid=66818 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66830/stat : 66830 (run-opt-log.sh) S 66818 66830 66766 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 55369248 4292608 736 18446744073709551615 94616682598400 94616683492933 140721492458064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94616683731984 94616683779728 94616714424320 140721492461857 140721492462052 140721492462052 140721492467654 0
/proc/66830/statm: 1048 736 672 219 0 110 0
[pid=66834] ppid=66830 vsize=211736 memory=135832 CPUtime=110.5 cores=5,7
/proc/66834/stat : 66834 (roundingsat) D 66830 66830 66766 0 -1 4194304 26237 0 0 0 10517 533 0 0 20 0 1 0 55369251 216817664 33958 18446744073709551615 4227072 8923433 140731547559440 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 12550144 140731547568466 140731547568680 140731547568680 140731547574250 0
/proc/66834/statm: 52934 33958 2400 1147 0 40361 0
Current children cumulated CPU time: 110.5 s
Current children cumulated vsize: 215928 KiB
Current children cumulated memory: 138776 KiB
Child status: 0
Real time (s): 117.3
CPU time (s): 110.541
CPU user time (s): 105.187
CPU system time (s): 5.35362
CPU usage (%): 94.2378
Max. virtual memory (cumulated for all children) (KiB): 215928
Max. memory (cumulated for all children) (KiB): 138776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.187
system time used= 5.35362
maximum resident set size= 135832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26470
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5994016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79508
involuntary context switches= 285
# summary of solver processes directly reported to runsolver:
# pid: 66830
# total CPU time (s): 110.541
# total CPU user time (s): 105.187
# total CPU system time (s): 5.35362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.644229 second user time and 1.23315 second system time
The end
Launcher Data
Begin job on nodeC007 at 2025-07-01 21:08:21
IDJOB=4497009
IDBENCH=148151
IDSOLVER=3351
FILE ID=nodeC007/4497009-1751396901
RUNJOBID= nodeC007-1751396901-66779
SLURM_JOB_ID= 9598273
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497009-1751396901/watcher-4497009-1751396901 -o /tmp/evaluation-result-4497009-1751396901/solver-4497009-1751396901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66779 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4497009-1751396901.opb PROOFDIR/proof-4497009-1751396901
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 941241e1c409728c60fc0eaa98d1a86b
RANDOM SEED=1494711650
nodeC007 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 : 0xb00001f
cpu MHz : 1197.187
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.488
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.207
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1196.739
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.206
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
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 : 0xb00001f
cpu MHz : 1197.200
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129622504 kB
MemAvailable: 129897768 kB
Buffers: 3280 kB
Cached: 1081444 kB
SwapCached: 0 kB
Active: 318836 kB
Inactive: 833516 kB
Active(anon): 85588 kB
Inactive(anon): 0 kB
Active(file): 233248 kB
Inactive(file): 833516 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25532 kB
Writeback: 0 kB
AnonPages: 70740 kB
Mapped: 102208 kB
Shmem: 17960 kB
KReclaimable: 96256 kB
Slab: 180148 kB
SReclaimable: 96256 kB
SUnreclaim: 83892 kB
KernelStack: 3848 kB
PageTables: 2760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 333240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC007 at 2025-07-01 21:10:19