Trace number 4486657
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-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb |
| MD5SUM | 0ec52d363b7c61cdd5525674056021d1 |
| 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 | 207 |
| Best CPU time to get the best result obtained on this benchmark | 1.5157 |
| 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 | 498 |
| Total number of constraints | 2431 |
| Number of constraints which are clauses | 2431 |
| 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 | 2 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 498 |
| 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 | 498 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 498 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4486657-1751328114.opb'
0.00/0.01 c read 0.12MB (1.67ms)
0.00/0.01 c [cnf: #variables 498 #clauses 2432 #duplicates 0 #arr 12669]
0.00/0.01 c output proof to 'PROOFDIR/proof-4486657-1751328114'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 332] (1.22ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c found row 3x332, generating row predicate
0.00/0.02 c (1.33ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 4424 #edges 28326]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (0.48ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 1988 #add_vars 662]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4486657-1751328114.opb.pre'
0.00/0.02 c wrote 0.19MB (0.50ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 3.14ms 37.61% other
0.00/0.02 c 1.67ms 19.99% parse
0.00/0.02 c 1.33ms 15.96% detect_special
0.00/0.02 c 1.22ms 14.56% approx_orbits
0.00/0.02 c 0.50ms 5.97% output
0.00/0.02 c 0.48ms 5.73% detect_generic
0.00/0.02 c 0.01ms 0.17% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 8.35ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.06 c #variables 1160 #constraints 4419
0.00/0.06 c objective is ce32
0.00/0.07 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.07 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.07 c bounds 220 >= 0 @ 0.031812
0.00/0.09 c rational objective 149.5
0.06/0.12 c bounds 219 >= 0 @ 0.077947
0.06/0.12 c bounds 219 >= 1 @ 0.078194
0.06/0.12 c bounds 219 >= 2 @ 0.078356
0.06/0.12 c bounds 219 >= 3 @ 0.078505
0.06/0.12 c bounds 219 >= 4 @ 0.078661
0.06/0.12 c bounds 219 >= 5 @ 0.07881
0.06/0.12 c bounds 219 >= 6 @ 0.078971
0.06/0.12 c bounds 219 >= 7 @ 0.079122
0.06/0.12 c bounds 219 >= 8 @ 0.079282
0.06/0.12 c bounds 219 >= 9 @ 0.079437
0.06/0.12 c bounds 219 >= 10 @ 0.079606
0.06/0.12 c bounds 219 >= 11 @ 0.079763
0.06/0.12 c bounds 219 >= 12 @ 0.079933
0.06/0.12 c bounds 219 >= 13 @ 0.080096
0.06/0.12 c bounds 219 >= 14 @ 0.080269
0.06/0.12 c bounds 219 >= 15 @ 0.080435
0.06/0.12 c bounds 219 >= 16 @ 0.080611
0.06/0.13 c bounds 219 >= 17 @ 0.08078
0.06/0.13 c bounds 219 >= 18 @ 0.080958
0.06/0.13 c bounds 219 >= 19 @ 0.081127
0.06/0.13 c bounds 219 >= 20 @ 0.081305
0.06/0.13 c bounds 219 >= 21 @ 0.08148
0.06/0.13 c bounds 219 >= 22 @ 0.08166
0.06/0.13 c bounds 219 >= 23 @ 0.08184
0.06/0.13 c bounds 219 >= 24 @ 0.082027
0.06/0.13 c bounds 219 >= 25 @ 0.08222
0.06/0.13 c bounds 219 >= 26 @ 0.082417
0.06/0.13 c bounds 219 >= 27 @ 0.08261
0.06/0.13 c bounds 219 >= 28 @ 0.082813
0.06/0.13 c bounds 219 >= 29 @ 0.083011
0.06/0.13 c bounds 219 >= 30 @ 0.083215
0.06/0.13 c bounds 219 >= 31 @ 0.083422
0.06/0.13 c bounds 219 >= 32 @ 0.083689
0.06/0.13 c bounds 219 >= 33 @ 0.083848
0.06/0.13 c bounds 219 >= 34 @ 0.084081
0.06/0.15 c bounds 218 >= 34 @ 0.104474
0.06/0.15 c bounds 218 >= 35 @ 0.104872
0.06/0.15 c bounds 218 >= 36 @ 0.105077
0.06/0.15 c bounds 218 >= 37 @ 0.105274
0.06/0.15 c bounds 218 >= 38 @ 0.105399
0.06/0.15 c bounds 218 >= 39 @ 0.105578
0.06/0.15 c bounds 218 >= 40 @ 0.105731
0.06/0.15 c bounds 218 >= 41 @ 0.105909
0.06/0.15 c bounds 218 >= 42 @ 0.106088
0.06/0.15 c bounds 218 >= 43 @ 0.106273
0.06/0.15 c bounds 218 >= 44 @ 0.106456
0.06/0.15 c bounds 218 >= 45 @ 0.106639
0.06/0.15 c bounds 218 >= 46 @ 0.106675
0.06/0.15 c bounds 218 >= 47 @ 0.106675
0.06/0.15 c bounds 218 >= 48 @ 0.106675
0.06/0.15 c bounds 218 >= 49 @ 0.106675
0.06/0.15 c bounds 218 >= 50 @ 0.106675
0.06/0.15 c bounds 218 >= 51 @ 0.106765
0.06/0.15 c bounds 218 >= 52 @ 0.106943
0.06/0.15 c bounds 218 >= 53 @ 0.107134
0.06/0.15 c bounds 218 >= 54 @ 0.107326
0.06/0.15 c bounds 218 >= 55 @ 0.107512
0.06/0.16 c bounds 218 >= 56 @ 0.107676
0.06/0.16 c bounds 218 >= 57 @ 0.107861
0.06/0.16 c bounds 218 >= 58 @ 0.108073
0.06/0.16 c bounds 218 >= 59 @ 0.108265
0.06/0.16 c bounds 218 >= 60 @ 0.10846
0.06/0.16 c bounds 218 >= 61 @ 0.108652
0.06/0.16 c bounds 218 >= 62 @ 0.108678
0.06/0.16 c bounds 218 >= 63 @ 0.108678
0.06/0.16 c bounds 218 >= 64 @ 0.108678
0.06/0.16 c bounds 218 >= 65 @ 0.108678
0.06/0.16 c bounds 218 >= 66 @ 0.108678
0.06/0.16 c bounds 218 >= 67 @ 0.108856
0.06/0.16 c bounds 218 >= 68 @ 0.109064
0.06/0.16 c bounds 218 >= 69 @ 0.109278
0.06/0.16 c bounds 218 >= 70 @ 0.109535
0.06/0.16 c bounds 218 >= 71 @ 0.109684
0.06/0.16 c bounds 218 >= 72 @ 0.109684
0.06/0.16 c bounds 218 >= 73 @ 0.109684
0.06/0.16 c bounds 218 >= 74 @ 0.109684
0.06/0.16 c bounds 218 >= 75 @ 0.109688
0.06/0.16 c bounds 218 >= 76 @ 0.10985
0.06/0.16 c bounds 218 >= 77 @ 0.110009
0.06/0.16 c bounds 218 >= 78 @ 0.110164
0.06/0.16 c bounds 218 >= 79 @ 0.110328
0.06/0.16 c bounds 218 >= 80 @ 0.110483
0.06/0.16 c bounds 218 >= 81 @ 0.110637
0.06/0.16 c bounds 218 >= 82 @ 0.110801
0.06/0.16 c bounds 218 >= 83 @ 0.11096
0.06/0.16 c bounds 218 >= 84 @ 0.111124
0.06/0.16 c bounds 218 >= 85 @ 0.111288
0.06/0.16 c bounds 218 >= 86 @ 0.111447
0.06/0.16 c bounds 218 >= 87 @ 0.111607
0.06/0.16 c bounds 218 >= 88 @ 0.111684
0.06/0.16 c bounds 218 >= 89 @ 0.111684
0.06/0.16 c bounds 218 >= 90 @ 0.111684
0.06/0.16 c bounds 218 >= 91 @ 0.111684
0.06/0.16 c bounds 218 >= 92 @ 0.111684
0.06/0.16 c bounds 218 >= 93 @ 0.111684
0.06/0.16 c bounds 218 >= 94 @ 0.111695
0.06/0.16 c bounds 218 >= 95 @ 0.111695
0.06/0.16 c bounds 218 >= 96 @ 0.111695
0.06/0.16 c bounds 218 >= 97 @ 0.111695
0.06/0.16 c bounds 218 >= 98 @ 0.111695
0.06/0.16 c bounds 218 >= 99 @ 0.111695
0.06/0.16 c bounds 218 >= 100 @ 0.111835
0.06/0.16 c bounds 218 >= 101 @ 0.112012
0.06/0.16 c bounds 218 >= 102 @ 0.112188
0.06/0.16 c bounds 218 >= 103 @ 0.112363
0.06/0.16 c bounds 218 >= 104 @ 0.112544
0.06/0.16 c bounds 218 >= 105 @ 0.11271
0.06/0.16 c bounds 218 >= 106 @ 0.112976
0.06/0.16 c bounds 218 >= 107 @ 0.113237
0.06/0.20 c bounds 218 >= 108 @ 0.145991
0.06/0.20 c bounds 218 >= 109 @ 0.146193
0.06/0.20 c bounds 218 >= 110 @ 0.146475
0.06/0.20 c bounds 218 >= 111 @ 0.146684
0.06/0.20 c bounds 218 >= 112 @ 0.14692
0.06/0.20 c bounds 218 >= 113 @ 0.147162
0.06/0.20 c bounds 218 >= 114 @ 0.147384
0.06/0.20 c bounds 218 >= 115 @ 0.147608
0.06/0.20 c bounds 218 >= 116 @ 0.147882
0.06/0.20 c bounds 218 >= 117 @ 0.148114
0.06/0.20 c bounds 218 >= 118 @ 0.148327
0.06/0.20 c bounds 218 >= 119 @ 0.148522
0.06/0.20 c bounds 218 >= 120 @ 0.148707
0.06/0.20 c bounds 218 >= 121 @ 0.150405
0.06/0.20 c bounds 218 >= 122 @ 0.150566
0.06/0.20 c bounds 218 >= 123 @ 0.150785
0.06/0.20 c bounds 218 >= 124 @ 0.15098
0.06/0.20 c bounds 218 >= 125 @ 0.151172
0.06/0.20 c bounds 218 >= 126 @ 0.151368
0.06/0.20 c bounds 218 >= 127 @ 0.151575
0.06/0.20 c bounds 218 >= 128 @ 0.151781
0.17/0.22 c bounds 217 >= 128 @ 0.168559
0.17/0.22 c bounds 217 >= 129 @ 0.16881
0.17/0.22 c bounds 217 >= 130 @ 0.16907
0.17/0.22 c bounds 217 >= 131 @ 0.169242
0.17/0.22 c bounds 217 >= 132 @ 0.169464
0.17/0.22 c bounds 217 >= 133 @ 0.169737
0.17/0.22 c bounds 217 >= 134 @ 0.169946
0.17/0.22 c bounds 217 >= 135 @ 0.170201
0.17/0.22 c bounds 217 >= 136 @ 0.170389
0.17/0.22 c bounds 217 >= 137 @ 0.170606
0.17/0.22 c bounds 217 >= 138 @ 0.170862
0.17/0.22 c bounds 217 >= 139 @ 0.171085
0.17/0.22 c bounds 217 >= 140 @ 0.172163
0.17/0.23 c bounds 217 >= 141 @ 0.172571
0.17/0.23 c bounds 217 >= 142 @ 0.173002
0.17/0.23 c bounds 217 >= 143 @ 0.174024
0.17/0.23 c bounds 217 >= 144 @ 0.174842
0.17/0.23 c bounds 217 >= 145 @ 0.176016
0.17/0.23 c bounds 217 >= 146 @ 0.176483
0.17/0.23 c bounds 217 >= 147 @ 0.177473
0.17/0.23 c bounds 217 >= 148 @ 0.178399
0.17/0.23 c bounds 217 >= 149 @ 0.180529
0.17/0.23 c bounds 217 >= 150 @ 0.181112
0.17/0.23 c bounds 217 >= 151 @ 0.181688
0.17/0.24 c bounds 217 >= 152 @ 0.186468
0.17/0.25 c bounds 217 >= 153 @ 0.200377
0.26/0.34 c #Conflicts: 1000 | #Constraints: 6042
0.26/0.34 c bounds 216 >= 153 @ 0.277126
0.26/0.34 c bounds 216 >= 154 @ 0.277535
0.26/0.34 c bounds 216 >= 155 @ 0.278165
0.26/0.34 c bounds 216 >= 156 @ 0.278706
0.26/0.34 c bounds 216 >= 157 @ 0.279407
0.26/0.34 c bounds 216 >= 158 @ 0.279942
0.26/0.34 c bounds 216 >= 159 @ 0.28001
0.36/0.47 c bounds 216 >= 160 @ 0.411397
0.36/0.48 c bounds 216 >= 161 @ 0.414088
0.36/0.48 c bounds 216 >= 162 @ 0.420684
0.36/0.50 c bounds 216 >= 163 @ 0.430972
0.47/0.51 c bounds 216 >= 164 @ 0.441097
0.47/0.51 c bounds 216 >= 165 @ 0.4436
0.47/0.52 c bounds 216 >= 166 @ 0.449893
0.47/0.53 c bounds 215 >= 166 @ 0.465172
0.47/0.53 c bounds 215 >= 167 @ 0.46747
0.47/0.54 c bounds 215 >= 168 @ 0.468618
0.47/0.54 c bounds 215 >= 169 @ 0.476685
0.56/0.61 c #Conflicts: 2000 | #Constraints: 7270
0.56/0.61 c INPROCESSING
0.56/0.61 c GARBAGE COLLECT
0.56/0.61 c rational objective 169
0.56/0.66 c bounds 215 >= 170 @ 0.584989
0.56/0.66 c bounds 215 >= 171 @ 0.591212
0.56/0.68 c bounds 215 >= 172 @ 0.608946
0.66/0.71 c bounds 215 >= 173 @ 0.634551
0.66/0.75 c #Conflicts: 3000 | #Constraints: 7096
0.66/0.75 c bounds 215 >= 174 @ 0.669483
0.85/0.91 c bounds 214 >= 174 @ 0.826469
0.95/1.02 c #Conflicts: 4000 | #Constraints: 8131
0.95/1.02 c INPROCESSING
0.95/1.02 c GARBAGE COLLECT
0.95/1.02 c rational objective 174
0.95/1.07 c bounds 214 >= 175 @ 0.989498
1.05/1.14 c #Conflicts: 5000 | #Constraints: 7491
1.05/1.14 c bounds 214 >= 176 @ 1.05299
1.16/1.22 c bounds 213 >= 176 @ 1.13192
1.35/1.48 c #Conflicts: 6000 | #Constraints: 8531
1.35/1.48 c INPROCESSING
1.35/1.48 c GARBAGE COLLECT
1.35/1.48 c rational objective 176
1.45/1.53 c bounds 212 >= 176 @ 1.43286
2.06/2.16 c #Conflicts: 7000 | #Constraints: 7470
2.06/2.16 c #Conflicts: 8000 | #Constraints: 8480
2.06/2.16 c #Conflicts: 9000 | #Constraints: 9481
2.06/2.16 c INPROCESSING
2.06/2.16 c GARBAGE COLLECT
2.06/2.16 c rational objective 176
2.15/2.29 c bounds 212 >= 177 @ 2.17877
2.34/2.48 c #Conflicts: 10000 | #Constraints: 8215
2.34/2.48 c bounds 212 >= 178 @ 2.35562
2.55/2.69 c #Conflicts: 11000 | #Constraints: 9254
2.55/2.69 WSVECS04 Frhs2[3]: 6 -1.00004 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[7]: 6 -1.00005 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[9]: 6 -1.00004 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[15]: 6 -1.00008 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[19]: 6 -1.00009 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[21]: 6 -1.00009 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[27]: 6 -1.00009 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[29]: 6 -1.00005 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[33]: 6 -1.00007 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[39]: 6 -1.00006 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[41]: 6 -1.00007 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[45]: 6 -1.00009 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[51]: 6 -1.00006 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[55]: 6 -1.00009 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[59]: 6 -1.00003 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[63]: 6 -1.00006 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[65]: 6 -1.00007 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[71]: 6 -1.00007 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[73]: 6 -1.00001 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[77]: 6 -1.00009 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[83]: 6 -1.00007 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[85]: 6 -1.00001 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[91]: 6 -1.00008 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[95]: 6 -1.00003 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[97]: 6 -1.00008 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[101]: 6 -1.00002 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[107]: 6 -1.00008 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[109]: 6 -1.0001 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[113]: 6 -1.00006 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[119]: 6 -1.00002 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[121]: 6 -1.00003 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[127]: 6 -1.00009 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[409]: 6 -1.00002 0 shouldn't be
2.55/2.69 WSVECS04 Frhs2[458]: 6 -1.00003 0 shouldn't be
2.64/2.70 c bounds 212 >= 179 @ 2.5753
2.75/2.87 c #Conflicts: 12000 | #Constraints: 10284
2.75/2.87 c INPROCESSING
2.75/2.87 c GARBAGE COLLECT
2.75/2.87 c rational objective 179
2.95/3.00 c bounds 212 >= 180 @ 2.86948
3.25/3.37 c #Conflicts: 13000 | #Constraints: 8734
3.25/3.37 c #Conflicts: 14000 | #Constraints: 9734
3.25/3.37 c bounds 212 >= 181 @ 3.21789
3.35/3.48 c #Conflicts: 15000 | #Constraints: 10776
3.35/3.48 c INPROCESSING
3.35/3.48 c GARBAGE COLLECT
3.35/3.48 c rational objective 181
3.64/3.75 c bounds 212 >= 182 @ 3.58986
4.05/4.16 c #Conflicts: 16000 | #Constraints: 9001
4.05/4.16 c #Conflicts: 17000 | #Constraints: 10001
4.05/4.16 c bounds 212 >= 183 @ 3.98694
4.25/4.35 c #Conflicts: 18000 | #Constraints: 11044
4.25/4.35 c INPROCESSING
4.25/4.35 c GARBAGE COLLECT
4.25/4.35 WSVECS04 Frhs2[277]: 6 -1.00003 0 shouldn't be
4.25/4.35 WSVECS04 Frhs2[333]: 6 -1.00003 0 shouldn't be
4.25/4.35 WSVECS04 Frhs2[371]: 6 -1.00008 0 shouldn't be
4.25/4.35 WSVECS04 Frhs2[377]: 6 -1.00006 0 shouldn't be
4.25/4.35 WSVECS04 Frhs2[454]: 6 -1.0001 0 shouldn't be
4.34/4.42 c rational objective 183
4.74/4.86 c #Conflicts: 19000 | #Constraints: 9007
4.74/4.86 c bounds 212 >= 184 @ 4.67428
5.24/5.31 c #Conflicts: 20000 | #Constraints: 10061
5.24/5.31 c #Conflicts: 21000 | #Constraints: 11067
5.24/5.31 c INPROCESSING
5.24/5.31 c GARBAGE COLLECT
5.24/5.31 c rational objective 184
6.44/6.50 c #Conflicts: 22000 | #Constraints: 8872
6.44/6.50 c #Conflicts: 23000 | #Constraints: 9909
6.44/6.50 c #Conflicts: 24000 | #Constraints: 10912
6.44/6.50 c #Conflicts: 25000 | #Constraints: 11912
6.44/6.50 c INPROCESSING
6.44/6.50 c GARBAGE COLLECT
6.44/6.50 c rational objective 184
7.54/7.69 c #Conflicts: 26000 | #Constraints: 9449
7.54/7.69 c #Conflicts: 27000 | #Constraints: 10472
7.54/7.69 c #Conflicts: 28000 | #Constraints: 11493
7.54/7.69 c bounds 211 >= 184 @ 7.44765
7.73/7.83 c #Conflicts: 29000 | #Constraints: 12500
7.73/7.83 c INPROCESSING
7.73/7.83 c GARBAGE COLLECT
7.73/7.83 c rational objective 184
8.13/8.23 c #Conflicts: 30000 | #Constraints: 9850
8.13/8.23 c bounds 211 >= 185 @ 7.97543
8.63/8.77 c #Conflicts: 31000 | #Constraints: 10901
8.63/8.77 c #Conflicts: 32000 | #Constraints: 11901
8.63/8.77 c #Conflicts: 33000 | #Constraints: 12901
8.63/8.77 c INPROCESSING
8.63/8.77 c GARBAGE COLLECT
8.63/8.77 c rational objective 185
9.44/9.54 c #Conflicts: 34000 | #Constraints: 10054
9.44/9.54 c #Conflicts: 35000 | #Constraints: 11054
9.44/9.54 c bounds 211 >= 186 @ 9.23915
9.94/10.07 c #Conflicts: 36000 | #Constraints: 12102
9.94/10.07 c #Conflicts: 37000 | #Constraints: 13102
9.94/10.07 c INPROCESSING
9.94/10.07 c GARBAGE COLLECT
9.94/10.07 c rational objective 186
10.23/10.39 c #Conflicts: 38000 | #Constraints: 10066
10.23/10.39 c bounds 211 >= 187 @ 10.0746
10.93/11.08 c #Conflicts: 39000 | #Constraints: 11105
10.93/11.08 c #Conflicts: 40000 | #Constraints: 12105
10.93/11.08 c bounds 211 >= 188 @ 10.7478
11.73/11.81 c #Conflicts: 41000 | #Constraints: 13138
11.73/11.81 c #Conflicts: 42000 | #Constraints: 14138
11.73/11.81 c #Conflicts: 43000 | #Constraints: 15138
11.73/11.81 c bounds 211 >= 189 @ 11.4596
11.73/11.84 c bounds 210 >= 189 @ 11.4866
11.93/12.00 c bounds 209 >= 189 @ 11.6471
12.23/12.30 c #Conflicts: 44000 | #Constraints: 16169
12.23/12.30 c #Conflicts: 45000 | #Constraints: 17173
12.23/12.30 c bounds 208 >= 189 @ 11.9392
14.52/14.68 c #Conflicts: 46000 | #Constraints: 18177
14.52/14.68 c #Conflicts: 47000 | #Constraints: 19177
14.52/14.68 c #Conflicts: 48000 | #Constraints: 20177
14.52/14.68 c #Conflicts: 49000 | #Constraints: 21177
14.52/14.68 c #Conflicts: 50000 | #Constraints: 22177
14.52/14.68 c bounds 208 >= 190 @ 14.2744
15.92/16.02 c #Conflicts: 51000 | #Constraints: 23214
15.92/16.02 c #Conflicts: 52000 | #Constraints: 24232
15.92/16.02 c #Conflicts: 53000 | #Constraints: 25244
15.92/16.02 c INPROCESSING
15.92/16.02 c GARBAGE COLLECT
15.92/16.02 c rational objective 190
17.71/17.84 c #Conflicts: 54000 | #Constraints: 15999
17.71/17.84 c #Conflicts: 55000 | #Constraints: 17003
17.71/17.84 c #Conflicts: 56000 | #Constraints: 18008
17.71/17.84 c #Conflicts: 57000 | #Constraints: 19010
17.71/17.84 c #Conflicts: 58000 | #Constraints: 20011
17.71/17.84 c INPROCESSING
17.71/17.84 c GARBAGE COLLECT
17.71/17.84 c rational objective 190
19.41/19.52 c #Conflicts: 59000 | #Constraints: 13306
19.41/19.52 c #Conflicts: 60000 | #Constraints: 14306
19.41/19.52 c #Conflicts: 61000 | #Constraints: 15306
19.41/19.52 c #Conflicts: 62000 | #Constraints: 16306
19.41/19.52 c #Conflicts: 63000 | #Constraints: 17306
19.41/19.52 c bounds 208 >= 191 @ 18.9959
19.80/19.92 c #Conflicts: 64000 | #Constraints: 18337
19.80/19.92 c INPROCESSING
19.80/19.92 c GARBAGE COLLECT
19.80/19.92 c rational objective 191
21.60/21.77 c #Conflicts: 65000 | #Constraints: 12567
21.60/21.77 c #Conflicts: 66000 | #Constraints: 13567
21.60/21.77 c #Conflicts: 67000 | #Constraints: 14567
21.60/21.77 c #Conflicts: 68000 | #Constraints: 15567
21.60/21.77 c #Conflicts: 69000 | #Constraints: 16567
21.60/21.77 c bounds 208 >= 192 @ 21.2004
22.00/22.11 c #Conflicts: 70000 | #Constraints: 17620
22.00/22.11 c INPROCESSING
22.00/22.11 c GARBAGE COLLECT
22.00/22.11 c rational objective 192
24.09/24.23 c #Conflicts: 71000 | #Constraints: 12317
24.09/24.23 c #Conflicts: 72000 | #Constraints: 13317
24.09/24.23 c #Conflicts: 73000 | #Constraints: 14318
24.09/24.23 c #Conflicts: 74000 | #Constraints: 15318
24.09/24.23 c #Conflicts: 75000 | #Constraints: 16318
24.09/24.23 c bounds 208 >= 193 @ 23.6171
24.39/24.50 c #Conflicts: 76000 | #Constraints: 17372
24.39/24.50 c INPROCESSING
24.39/24.50 c GARBAGE COLLECT
24.39/24.50 c rational objective 193
28.69/28.86 c #Conflicts: 77000 | #Constraints: 12180
28.69/28.86 c #Conflicts: 78000 | #Constraints: 13183
28.69/28.86 c #Conflicts: 79000 | #Constraints: 14185
28.69/28.86 c #Conflicts: 80000 | #Constraints: 15188
28.69/28.86 c #Conflicts: 81000 | #Constraints: 16194
28.69/28.86 c #Conflicts: 82000 | #Constraints: 17197
28.69/28.86 c #Conflicts: 83000 | #Constraints: 18200
28.69/28.86 c #Conflicts: 84000 | #Constraints: 19206
28.69/28.86 c #Conflicts: 85000 | #Constraints: 20221
28.69/28.86 c #Conflicts: 86000 | #Constraints: 21244
28.69/28.86 c #Conflicts: 87000 | #Constraints: 22255
28.69/28.86 c bounds 207 >= 193 @ 28.1542
33.17/33.55 c #Conflicts: 88000 | #Constraints: 23267
33.17/33.55 c #Conflicts: 89000 | #Constraints: 24267
33.17/33.55 c #Conflicts: 90000 | #Constraints: 25267
33.17/33.55 c #Conflicts: 91000 | #Constraints: 26268
33.17/33.55 c #Conflicts: 92000 | #Constraints: 27268
33.17/33.55 c bounds 207 >= 194 @ 32.5728
38.46/38.84 c #Conflicts: 93000 | #Constraints: 28304
38.46/38.84 c #Conflicts: 94000 | #Constraints: 29309
38.46/38.84 c #Conflicts: 95000 | #Constraints: 30311
38.46/38.84 c #Conflicts: 96000 | #Constraints: 31316
38.46/38.84 c #Conflicts: 97000 | #Constraints: 32324
38.46/38.84 c #Conflicts: 98000 | #Constraints: 33330
38.46/38.84 c #Conflicts: 99000 | #Constraints: 34336
38.46/38.84 c INPROCESSING
38.46/38.84 c GARBAGE COLLECT
38.46/38.84 c rational objective 194
43.44/43.87 c #Conflicts: 100000 | #Constraints: 20927
43.44/43.87 c #Conflicts: 101000 | #Constraints: 21927
43.44/43.87 c #Conflicts: 102000 | #Constraints: 22929
43.44/43.87 c #Conflicts: 103000 | #Constraints: 23930
43.44/43.87 c #Conflicts: 104000 | #Constraints: 24930
43.44/43.87 c #Conflicts: 105000 | #Constraints: 25930
43.44/43.87 c #Conflicts: 106000 | #Constraints: 26930
43.44/43.87 c INPROCESSING
43.44/43.87 c GARBAGE COLLECT
43.44/43.87 c rational objective 194
45.03/45.49 c #Conflicts: 107000 | #Constraints: 16968
45.03/45.49 c #Conflicts: 108000 | #Constraints: 17968
45.03/45.49 c #Conflicts: 109000 | #Constraints: 18968
45.03/45.49 c bounds 207 >= 195 @ 44.3197
45.24/45.62 c #Conflicts: 110000 | #Constraints: 20010
45.24/45.62 WSVECS04 Frhs2[3]: 6 -1.00008 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[7]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[11]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[13]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[19]: 6 -1.0001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[21]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[25]: 6 -1.00008 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[29]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[33]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[37]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[43]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[47]: 6 -1.00004 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[51]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[53]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[59]: 6 -1.00007 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[61]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[67]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[71]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[73]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[77]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[83]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[87]: 6 -1.0001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[89]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[93]: 6 -1.00004 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[97]: 6 -1.0001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[103]: 6 -1.00004 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[107]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[109]: 6 -1.00001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[115]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[117]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[121]: 6 -1.00007 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[127]: 6 -1.00007 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[135]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[139]: 6 -1.00008 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[143]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[145]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[149]: 6 -1.00001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[153]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[155]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[157]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[163]: 6 -1.0001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[165]: 6 -1.00008 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[169]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[175]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[177]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[183]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[187]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[189]: 6 -1.00001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[195]: 6 -1.00001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[199]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[203]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[207]: 6 -1.0001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[209]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[213]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[217]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[221]: 6 -1.0001 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[225]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[231]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[235]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[239]: 6 -1.00008 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[241]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[245]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[251]: 6 -1.00009 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[265]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[271]: 6 -1.00007 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[283]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[295]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[297]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[311]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[319]: 6 -1.00007 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[321]: 6 -1.00005 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[347]: 6 -1.00002 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[351]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[357]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[375]: 6 -1.00007 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[412]: 6 -1.00006 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[413]: 6 -1.00007 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[459]: 6 -1.00003 0 shouldn't be
45.24/45.62 WSVECS04 Frhs2[462]: 6 -1.00004 0 shouldn't be
46.84/47.23 c #Conflicts: 111000 | #Constraints: 21010
46.84/47.23 c #Conflicts: 112000 | #Constraints: 22010
46.84/47.23 c #Conflicts: 113000 | #Constraints: 23010
46.84/47.23 c #Conflicts: 114000 | #Constraints: 24010
46.84/47.23 c INPROCESSING
46.84/47.23 c GARBAGE COLLECT
46.84/47.23 c rational objective 195
49.93/50.30 c #Conflicts: 115000 | #Constraints: 15728
49.93/50.30 c #Conflicts: 116000 | #Constraints: 16731
49.93/50.30 c #Conflicts: 117000 | #Constraints: 17739
49.93/50.30 c #Conflicts: 118000 | #Constraints: 18749
49.93/50.30 c #Conflicts: 119000 | #Constraints: 19758
49.93/50.30 c #Conflicts: 120000 | #Constraints: 20761
49.93/50.30 c #Conflicts: 121000 | #Constraints: 21770
49.93/50.30 c INPROCESSING
49.93/50.30 c GARBAGE COLLECT
49.93/50.30 c rational objective 195
52.72/53.18 c #Conflicts: 122000 | #Constraints: 14255
52.72/53.18 c #Conflicts: 123000 | #Constraints: 15255
52.72/53.18 c #Conflicts: 124000 | #Constraints: 16256
52.72/53.18 c #Conflicts: 125000 | #Constraints: 17258
52.72/53.18 c #Conflicts: 126000 | #Constraints: 18258
52.72/53.18 c #Conflicts: 127000 | #Constraints: 19258
52.72/53.18 c #Conflicts: 128000 | #Constraints: 20258
52.72/53.18 c bounds 207 >= 196 @ 51.8384
53.32/53.70 c #Conflicts: 129000 | #Constraints: 21306
53.32/53.70 c INPROCESSING
53.32/53.70 c GARBAGE COLLECT
53.32/53.70 c rational objective 196
54.91/55.36 c #Conflicts: 130000 | #Constraints: 13992
54.91/55.36 c #Conflicts: 131000 | #Constraints: 14994
54.91/55.36 c #Conflicts: 132000 | #Constraints: 15995
54.91/55.36 c #Conflicts: 133000 | #Constraints: 16995
54.91/55.36 c #Conflicts: 134000 | #Constraints: 17995
54.91/55.36 c bounds 207 >= 197 @ 53.9748
59.01/59.45 c #Conflicts: 135000 | #Constraints: 19051
59.01/59.45 c #Conflicts: 136000 | #Constraints: 20051
59.01/59.45 c #Conflicts: 137000 | #Constraints: 21051
59.01/59.45 c #Conflicts: 138000 | #Constraints: 22051
59.01/59.45 c #Conflicts: 139000 | #Constraints: 23051
59.01/59.45 c #Conflicts: 140000 | #Constraints: 24051
59.01/59.45 c #Conflicts: 141000 | #Constraints: 25051
59.01/59.45 c #Conflicts: 142000 | #Constraints: 26053
59.01/59.45 c #Conflicts: 143000 | #Constraints: 27054
59.01/59.45 c bounds 207 >= 198 @ 57.9809
67.01/67.74 c #Conflicts: 144000 | #Constraints: 28100
67.01/67.74 c #Conflicts: 145000 | #Constraints: 29106
67.01/67.74 c #Conflicts: 146000 | #Constraints: 30116
67.01/67.74 c #Conflicts: 147000 | #Constraints: 31119
67.01/67.74 c #Conflicts: 148000 | #Constraints: 32124
67.01/67.74 c #Conflicts: 149000 | #Constraints: 33129
67.01/67.74 c #Conflicts: 150000 | #Constraints: 34132
67.01/67.74 c #Conflicts: 151000 | #Constraints: 35135
67.01/67.74 c #Conflicts: 152000 | #Constraints: 36137
67.01/67.74 c #Conflicts: 153000 | #Constraints: 37144
67.01/67.74 c #Conflicts: 154000 | #Constraints: 38146
67.01/67.74 c #Conflicts: 155000 | #Constraints: 39152
67.01/67.74 c #Conflicts: 156000 | #Constraints: 40156
67.01/67.74 c #Conflicts: 157000 | #Constraints: 41159
67.01/67.74 c #Conflicts: 158000 | #Constraints: 42162
67.01/67.74 c INPROCESSING
67.01/67.74 c GARBAGE COLLECT
67.01/67.74 c rational objective 198
73.00/73.75 c #Conflicts: 159000 | #Constraints: 24556
73.00/73.75 c #Conflicts: 160000 | #Constraints: 25557
73.00/73.75 c #Conflicts: 161000 | #Constraints: 26558
73.00/73.75 c #Conflicts: 162000 | #Constraints: 27558
73.00/73.75 c #Conflicts: 163000 | #Constraints: 28558
73.00/73.75 c #Conflicts: 164000 | #Constraints: 29558
73.00/73.75 c #Conflicts: 165000 | #Constraints: 30558
73.00/73.75 c #Conflicts: 166000 | #Constraints: 31559
73.00/73.75 c #Conflicts: 167000 | #Constraints: 32559
73.00/73.75 c #Conflicts: 168000 | #Constraints: 33560
73.00/73.75 c INPROCESSING
73.00/73.75 c GARBAGE COLLECT
73.00/73.75 c rational objective 198
75.20/75.90 c #Conflicts: 169000 | #Constraints: 20537
75.20/75.90 c #Conflicts: 170000 | #Constraints: 21539
75.20/75.90 c #Conflicts: 171000 | #Constraints: 22539
75.20/75.90 c bounds 207 >= 199 @ 73.8834
75.30/76.08 c #Conflicts: 172000 | #Constraints: 23582
75.30/76.08 WSVECS04 Frhs2[17]: 6 -1.00005 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[57]: 6 -1.00001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[67]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[69]: 6 -1.00004 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[81]: 6 -1.00009 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[87]: 6 -1.00009 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[89]: 6 -1.00006 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[99]: 6 -1.00002 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[103]: 6 -1.00009 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[105]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[111]: 6 -1.00006 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[123]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[131]: 6 -1.00001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[139]: 6 -1.00009 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[141]: 6 -1.00006 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[163]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[175]: 6 -1.00003 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[177]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[183]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[189]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[203]: 6 -1.00006 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[207]: 6 -1.0001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[221]: 6 -1.00005 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[227]: 6 -1.00005 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[231]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[239]: 6 -1.00002 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[241]: 6 -1.00003 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[251]: 6 -1.00005 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[253]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[265]: 6 -1.00005 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[271]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[277]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[281]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[289]: 6 -1.00002 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[293]: 6 -1.00009 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[299]: 6 -1.0001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[301]: 6 -1.00009 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[307]: 6 -1.00004 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[309]: 6 -1.00002 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[319]: 6 -1.00008 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[329]: 6 -1.0001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[333]: 6 -1.00003 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[341]: 6 -1.00002 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[347]: 6 -1.00002 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[351]: 6 -1.00003 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[353]: 6 -1.00004 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[357]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[365]: 6 -1.0001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[371]: 6 -1.00009 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[375]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[377]: 6 -1.0001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[383]: 6 -1.00003 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[394]: 6 -1.00004 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[397]: 6 -1.0001 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[406]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[407]: 6 -1.00003 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[429]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[442]: 6 -1.00005 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[462]: 6 -1.00007 0 shouldn't be
75.30/76.08 WSVECS04 Frhs2[486]: 6 -1.0001 0 shouldn't be
78.09/78.84 c #Conflicts: 173000 | #Constraints: 24582
78.09/78.84 c #Conflicts: 174000 | #Constraints: 25582
78.09/78.84 c #Conflicts: 175000 | #Constraints: 26585
78.09/78.84 c #Conflicts: 176000 | #Constraints: 27585
78.09/78.84 c #Conflicts: 177000 | #Constraints: 28585
78.09/78.84 c INPROCESSING
78.09/78.84 c GARBAGE COLLECT
78.09/78.84 c rational objective 199
81.28/82.00 c #Conflicts: 178000 | #Constraints: 17826
81.28/82.00 c #Conflicts: 179000 | #Constraints: 18827
81.28/82.00 c #Conflicts: 180000 | #Constraints: 19830
81.28/82.00 c #Conflicts: 181000 | #Constraints: 20858
81.28/82.00 c #Conflicts: 182000 | #Constraints: 21859
81.28/82.00 c #Conflicts: 183000 | #Constraints: 22860
81.28/82.00 c #Conflicts: 184000 | #Constraints: 23862
81.28/82.00 c bounds 207 >= 200 @ 79.8762
82.48/83.22 c #Conflicts: 185000 | #Constraints: 25031
82.48/83.22 c #Conflicts: 186000 | #Constraints: 26451
82.48/83.22 c #Conflicts: 187000 | #Constraints: 27654
82.48/83.22 c INPROCESSING
82.48/83.22 c GARBAGE COLLECT
82.48/83.22 c rational objective 200
88.96/89.73 c #Conflicts: 188000 | #Constraints: 17553
88.96/89.73 c #Conflicts: 189000 | #Constraints: 18555
88.96/89.73 c #Conflicts: 190000 | #Constraints: 19557
88.96/89.73 c #Conflicts: 191000 | #Constraints: 20557
88.96/89.73 c #Conflicts: 192000 | #Constraints: 21559
88.96/89.73 c #Conflicts: 193000 | #Constraints: 22559
88.96/89.73 c #Conflicts: 194000 | #Constraints: 23561
88.96/89.73 c #Conflicts: 195000 | #Constraints: 24562
88.96/89.73 c #Conflicts: 196000 | #Constraints: 25562
88.96/89.73 c #Conflicts: 197000 | #Constraints: 26563
88.96/89.73 c #Conflicts: 198000 | #Constraints: 27563
88.96/89.73 c #Conflicts: 199000 | #Constraints: 28564
88.96/89.73 c #Conflicts: 200000 | #Constraints: 29564
88.96/89.73 c bounds 207 >= 201 @ 87.4743
102.20/103.22 c #Conflicts: 201000 | #Constraints: 30607
102.20/103.22 c #Conflicts: 202000 | #Constraints: 31622
102.20/103.22 c #Conflicts: 203000 | #Constraints: 32629
102.20/103.22 c #Conflicts: 204000 | #Constraints: 33635
102.20/103.22 c #Conflicts: 205000 | #Constraints: 34642
102.20/103.22 c #Conflicts: 206000 | #Constraints: 35648
102.20/103.22 c #Conflicts: 207000 | #Constraints: 36656
102.20/103.22 c #Conflicts: 208000 | #Constraints: 37666
102.20/103.22 c #Conflicts: 209000 | #Constraints: 38671
102.20/103.22 c #Conflicts: 210000 | #Constraints: 39679
102.20/103.22 c #Conflicts: 211000 | #Constraints: 40684
102.20/103.22 c #Conflicts: 212000 | #Constraints: 41690
102.20/103.22 c #Conflicts: 213000 | #Constraints: 42695
102.20/103.22 c #Conflicts: 214000 | #Constraints: 43697
102.20/103.22 c #Conflicts: 215000 | #Constraints: 44704
102.20/103.22 c #Conflicts: 216000 | #Constraints: 45704
102.20/103.22 c #Conflicts: 217000 | #Constraints: 46705
102.20/103.22 c #Conflicts: 218000 | #Constraints: 47709
102.20/103.22 c #Conflicts: 219000 | #Constraints: 48716
102.20/103.22 c #Conflicts: 220000 | #Constraints: 49716
102.20/103.22 c #Conflicts: 221000 | #Constraints: 50718
102.20/103.22 c INPROCESSING
102.20/103.22 c GARBAGE COLLECT
102.20/103.22 c rational objective 201
110.38/111.43 c #Conflicts: 222000 | #Constraints: 29017
110.38/111.43 c #Conflicts: 223000 | #Constraints: 30019
110.38/111.43 c #Conflicts: 224000 | #Constraints: 31020
110.38/111.43 c #Conflicts: 225000 | #Constraints: 32021
110.38/111.43 c #Conflicts: 226000 | #Constraints: 33022
110.38/111.43 c #Conflicts: 227000 | #Constraints: 34023
110.38/111.43 c #Conflicts: 228000 | #Constraints: 35025
110.38/111.43 c #Conflicts: 229000 | #Constraints: 36025
110.38/111.43 c #Conflicts: 230000 | #Constraints: 37026
110.38/111.43 c #Conflicts: 231000 | #Constraints: 38026
110.38/111.43 c #Conflicts: 232000 | #Constraints: 39027
110.38/111.43 c INPROCESSING
110.38/111.43 c GARBAGE COLLECT
110.38/111.43 c rational objective 201
113.88/114.94 c #Conflicts: 233000 | #Constraints: 23103
113.88/114.94 c #Conflicts: 234000 | #Constraints: 24104
113.88/114.94 c #Conflicts: 235000 | #Constraints: 25104
113.88/114.94 c #Conflicts: 236000 | #Constraints: 26104
113.88/114.94 c #Conflicts: 237000 | #Constraints: 27106
113.88/114.94 c #Conflicts: 238000 | #Constraints: 28107
113.88/114.94 c #Conflicts: 239000 | #Constraints: 29108
113.88/114.94 c bounds 207 >= 202 @ 112.047
116.16/117.24 c #Conflicts: 240000 | #Constraints: 30153
116.16/117.24 c #Conflicts: 241000 | #Constraints: 31155
116.16/117.24 c #Conflicts: 242000 | #Constraints: 32159
116.16/117.24 c #Conflicts: 243000 | #Constraints: 33162
116.16/117.24 c INPROCESSING
116.16/117.24 c GARBAGE COLLECT
116.16/117.24 c rational objective 202
121.55/122.68 c #Conflicts: 244000 | #Constraints: 20106
121.55/122.68 c #Conflicts: 245000 | #Constraints: 21107
121.55/122.68 c #Conflicts: 246000 | #Constraints: 22107
121.55/122.68 c #Conflicts: 247000 | #Constraints: 23108
121.55/122.68 c #Conflicts: 248000 | #Constraints: 24109
121.55/122.68 c #Conflicts: 249000 | #Constraints: 25110
121.55/122.68 c #Conflicts: 250000 | #Constraints: 26110
121.55/122.68 c #Conflicts: 251000 | #Constraints: 27112
121.55/122.68 c #Conflicts: 252000 | #Constraints: 28112
121.55/122.68 c #Conflicts: 253000 | #Constraints: 29112
121.55/122.68 c #Conflicts: 254000 | #Constraints: 30112
121.55/122.68 c #Conflicts: 255000 | #Constraints: 31113
121.55/122.68 c INPROCESSING
121.55/122.68 c GARBAGE COLLECT
121.55/122.68 c rational objective 202
129.81/131.06 c #Conflicts: 256000 | #Constraints: 19395
129.81/131.06 c #Conflicts: 257000 | #Constraints: 20396
129.81/131.06 c #Conflicts: 258000 | #Constraints: 21396
129.81/131.06 c #Conflicts: 259000 | #Constraints: 22396
129.81/131.06 c #Conflicts: 260000 | #Constraints: 23397
129.81/131.06 c #Conflicts: 261000 | #Constraints: 24397
129.81/131.06 c #Conflicts: 262000 | #Constraints: 25397
129.81/131.06 c #Conflicts: 263000 | #Constraints: 26398
129.81/131.06 c #Conflicts: 264000 | #Constraints: 27399
129.81/131.06 c #Conflicts: 265000 | #Constraints: 28400
129.81/131.06 c #Conflicts: 266000 | #Constraints: 29400
129.81/131.06 c #Conflicts: 267000 | #Constraints: 30400
129.81/131.06 c #Conflicts: 268000 | #Constraints: 31401
129.81/131.06 c #Conflicts: 269000 | #Constraints: 32401
129.81/131.06 c #Conflicts: 270000 | #Constraints: 33401
129.81/131.06 c #Conflicts: 271000 | #Constraints: 34403
129.81/131.06 c bounds 207 >= 203 @ 127.73
145.26/146.58 c #Conflicts: 272000 | #Constraints: 35478
145.26/146.58 c #Conflicts: 273000 | #Constraints: 36484
145.26/146.58 c #Conflicts: 274000 | #Constraints: 37489
145.26/146.58 c #Conflicts: 275000 | #Constraints: 38496
145.26/146.58 c #Conflicts: 276000 | #Constraints: 39505
145.26/146.58 c #Conflicts: 277000 | #Constraints: 40510
145.26/146.58 c #Conflicts: 278000 | #Constraints: 41512
145.26/146.58 c #Conflicts: 279000 | #Constraints: 42516
145.26/146.58 c #Conflicts: 280000 | #Constraints: 43518
145.26/146.58 c #Conflicts: 281000 | #Constraints: 44522
145.26/146.58 c #Conflicts: 282000 | #Constraints: 45525
145.26/146.58 c #Conflicts: 283000 | #Constraints: 46527
145.26/146.58 c #Conflicts: 284000 | #Constraints: 47530
145.26/146.58 c #Conflicts: 285000 | #Constraints: 48532
145.26/146.58 c #Conflicts: 286000 | #Constraints: 49534
145.26/146.58 c #Conflicts: 287000 | #Constraints: 50537
145.26/146.58 c #Conflicts: 288000 | #Constraints: 51538
145.26/146.58 c #Conflicts: 289000 | #Constraints: 52540
145.26/146.58 c #Conflicts: 290000 | #Constraints: 53543
145.26/146.58 c #Conflicts: 291000 | #Constraints: 54545
145.26/146.58 c #Conflicts: 292000 | #Constraints: 55549
145.26/146.58 c #Conflicts: 293000 | #Constraints: 56554
145.26/146.58 c #Conflicts: 294000 | #Constraints: 57557
145.26/146.58 c INPROCESSING
145.26/146.58 c GARBAGE COLLECT
145.26/146.58 c rational objective 203
154.52/155.98 c #Conflicts: 295000 | #Constraints: 32408
154.52/155.98 c #Conflicts: 296000 | #Constraints: 33409
154.52/155.98 c #Conflicts: 297000 | #Constraints: 34410
154.52/155.98 c #Conflicts: 298000 | #Constraints: 35411
154.52/155.98 c #Conflicts: 299000 | #Constraints: 36412
154.52/155.98 c #Conflicts: 300000 | #Constraints: 37413
154.52/155.98 c #Conflicts: 301000 | #Constraints: 38415
154.52/155.98 c #Conflicts: 302000 | #Constraints: 39417
154.52/155.98 c #Conflicts: 303000 | #Constraints: 40419
154.52/155.98 c #Conflicts: 304000 | #Constraints: 41419
154.52/155.98 c #Conflicts: 305000 | #Constraints: 42420
154.52/155.98 c #Conflicts: 306000 | #Constraints: 43421
154.52/155.98 c #Conflicts: 307000 | #Constraints: 44424
154.52/155.98 c INPROCESSING
154.52/155.98 c GARBAGE COLLECT
154.52/155.98 c rational objective 203
161.90/163.36 c #Conflicts: 308000 | #Constraints: 25948
161.90/163.36 c #Conflicts: 309000 | #Constraints: 26949
161.90/163.36 c #Conflicts: 310000 | #Constraints: 27950
161.90/163.36 c #Conflicts: 311000 | #Constraints: 28950
161.90/163.36 c #Conflicts: 312000 | #Constraints: 29953
161.90/163.36 c #Conflicts: 313000 | #Constraints: 30956
161.90/163.36 c #Conflicts: 314000 | #Constraints: 31959
161.90/163.36 c #Conflicts: 315000 | #Constraints: 32960
161.90/163.36 c #Conflicts: 316000 | #Constraints: 33961
161.90/163.36 c #Conflicts: 317000 | #Constraints: 34963
161.90/163.36 c #Conflicts: 318000 | #Constraints: 35965
161.90/163.36 c #Conflicts: 319000 | #Constraints: 36966
161.90/163.36 c #Conflicts: 320000 | #Constraints: 37969
161.90/163.36 c bounds 207 >= 204 @ 159.439
162.00/163.47 c INPROCESSING
162.00/163.47 c GARBAGE COLLECT
162.00/163.47 c rational objective 204
168.99/170.41 c #Conflicts: 321000 | #Constraints: 22828
168.99/170.41 c #Conflicts: 322000 | #Constraints: 23829
168.99/170.41 c #Conflicts: 323000 | #Constraints: 24831
168.99/170.41 c #Conflicts: 324000 | #Constraints: 25835
168.99/170.41 c #Conflicts: 325000 | #Constraints: 26837
168.99/170.41 c #Conflicts: 326000 | #Constraints: 27837
168.99/170.41 c #Conflicts: 327000 | #Constraints: 28838
168.99/170.41 c #Conflicts: 328000 | #Constraints: 29840
168.99/170.41 c #Conflicts: 329000 | #Constraints: 30840
168.99/170.41 c #Conflicts: 330000 | #Constraints: 31841
168.99/170.41 c #Conflicts: 331000 | #Constraints: 32842
168.99/170.41 c #Conflicts: 332000 | #Constraints: 33844
168.99/170.41 c #Conflicts: 333000 | #Constraints: 34845
168.99/170.41 c INPROCESSING
168.99/170.41 c GARBAGE COLLECT
168.99/170.41 c rational objective 204
169.39/170.89 c bounds 207 >= 205 @ 166.828
190.04/191.69 c #Conflicts: 334000 | #Constraints: 21236
190.04/191.69 c #Conflicts: 335000 | #Constraints: 22238
190.04/191.69 c #Conflicts: 336000 | #Constraints: 23238
190.04/191.69 c #Conflicts: 337000 | #Constraints: 24239
190.04/191.69 c #Conflicts: 338000 | #Constraints: 25239
190.04/191.69 c #Conflicts: 339000 | #Constraints: 26240
190.04/191.69 c #Conflicts: 340000 | #Constraints: 27240
190.04/191.69 c #Conflicts: 341000 | #Constraints: 28241
190.04/191.69 c #Conflicts: 342000 | #Constraints: 29243
190.04/191.69 c #Conflicts: 343000 | #Constraints: 30243
190.04/191.69 c #Conflicts: 344000 | #Constraints: 31245
190.04/191.69 c #Conflicts: 345000 | #Constraints: 32246
190.04/191.69 c #Conflicts: 346000 | #Constraints: 33247
190.04/191.69 c #Conflicts: 347000 | #Constraints: 34247
190.04/191.69 c #Conflicts: 348000 | #Constraints: 35248
190.04/191.69 c #Conflicts: 349000 | #Constraints: 36252
190.04/191.69 c #Conflicts: 350000 | #Constraints: 37255
190.04/191.69 c #Conflicts: 351000 | #Constraints: 38257
190.04/191.69 c #Conflicts: 352000 | #Constraints: 39259
190.04/191.69 c #Conflicts: 353000 | #Constraints: 40260
190.04/191.69 c #Conflicts: 354000 | #Constraints: 41263
190.04/191.69 c #Conflicts: 355000 | #Constraints: 42265
190.04/191.69 c #Conflicts: 356000 | #Constraints: 43266
190.04/191.69 c #Conflicts: 357000 | #Constraints: 44267
190.04/191.69 c #Conflicts: 358000 | #Constraints: 45268
190.04/191.69 c #Conflicts: 359000 | #Constraints: 46269
190.04/191.69 c #Conflicts: 360000 | #Constraints: 47270
190.04/191.69 c #Conflicts: 361000 | #Constraints: 48270
190.04/191.69 c #Conflicts: 362000 | #Constraints: 49271
190.04/191.69 c #Conflicts: 363000 | #Constraints: 50271
190.04/191.69 c #Conflicts: 364000 | #Constraints: 51272
190.04/191.69 c #Conflicts: 365000 | #Constraints: 52273
190.04/191.69 c #Conflicts: 366000 | #Constraints: 53273
190.04/191.69 c #Conflicts: 367000 | #Constraints: 54274
190.04/191.69 c #Conflicts: 368000 | #Constraints: 55274
190.04/191.69 c bounds 207 >= 206 @ 187.194
197.12/198.73 c #Conflicts: 369000 | #Constraints: 56336
197.12/198.73 c #Conflicts: 370000 | #Constraints: 57339
197.12/198.73 c #Conflicts: 371000 | #Constraints: 58342
197.12/198.73 c #Conflicts: 372000 | #Constraints: 59343
197.12/198.73 c #Conflicts: 373000 | #Constraints: 60345
197.12/198.73 c #Conflicts: 374000 | #Constraints: 61349
197.12/198.73 c #Conflicts: 375000 | #Constraints: 62352
197.12/198.73 c #Conflicts: 376000 | #Constraints: 63356
197.12/198.73 c #Conflicts: 377000 | #Constraints: 64359
197.12/198.73 c #Conflicts: 378000 | #Constraints: 65363
197.12/198.73 c INPROCESSING
197.12/198.73 c GARBAGE COLLECT
197.12/198.73 c rational objective 206
207.50/209.16 c #Conflicts: 379000 | #Constraints: 36580
207.50/209.16 c #Conflicts: 380000 | #Constraints: 37581
207.50/209.16 c #Conflicts: 381000 | #Constraints: 38586
207.50/209.16 c #Conflicts: 382000 | #Constraints: 39590
207.50/209.16 c #Conflicts: 383000 | #Constraints: 40593
207.50/209.16 c #Conflicts: 384000 | #Constraints: 41595
207.50/209.16 c #Conflicts: 385000 | #Constraints: 42599
207.50/209.16 c #Conflicts: 386000 | #Constraints: 43605
207.50/209.16 c #Conflicts: 387000 | #Constraints: 44610
207.50/209.16 c #Conflicts: 388000 | #Constraints: 45614
207.50/209.16 c #Conflicts: 389000 | #Constraints: 46619
207.50/209.16 c #Conflicts: 390000 | #Constraints: 47625
207.50/209.16 c #Conflicts: 391000 | #Constraints: 48626
207.50/209.16 c #Conflicts: 392000 | #Constraints: 49629
207.50/209.16 c INPROCESSING
207.50/209.16 c GARBAGE COLLECT
207.50/209.16 c rational objective 206
216.40/218.19 c #Conflicts: 393000 | #Constraints: 28539
216.40/218.19 c #Conflicts: 394000 | #Constraints: 29543
216.40/218.19 c #Conflicts: 395000 | #Constraints: 30543
216.40/218.19 c #Conflicts: 396000 | #Constraints: 31543
216.40/218.19 c #Conflicts: 397000 | #Constraints: 32545
216.40/218.19 c #Conflicts: 398000 | #Constraints: 33549
216.40/218.19 c #Conflicts: 399000 | #Constraints: 34551
216.40/218.19 c #Conflicts: 400000 | #Constraints: 35552
216.40/218.19 c #Conflicts: 401000 | #Constraints: 36555
216.40/218.19 c #Conflicts: 402000 | #Constraints: 37556
216.40/218.19 c #Conflicts: 403000 | #Constraints: 38558
216.40/218.19 c #Conflicts: 404000 | #Constraints: 39561
216.40/218.19 c #Conflicts: 405000 | #Constraints: 40561
216.40/218.19 c #Conflicts: 406000 | #Constraints: 41561
216.40/218.19 c #Conflicts: 407000 | #Constraints: 42564
216.40/218.19 c INPROCESSING
216.40/218.19 c GARBAGE COLLECT
216.40/218.19 c rational objective 206
224.28/226.04 c #Conflicts: 408000 | #Constraints: 25148
224.28/226.04 c #Conflicts: 409000 | #Constraints: 26152
224.28/226.04 c #Conflicts: 410000 | #Constraints: 27156
224.28/226.04 c #Conflicts: 411000 | #Constraints: 28158
224.28/226.04 c #Conflicts: 412000 | #Constraints: 29160
224.28/226.04 c #Conflicts: 413000 | #Constraints: 30171
224.28/226.04 c #Conflicts: 414000 | #Constraints: 31172
224.28/226.04 c #Conflicts: 415000 | #Constraints: 32172
224.28/226.04 c #Conflicts: 416000 | #Constraints: 33176
224.28/226.04 c #Conflicts: 417000 | #Constraints: 34184
224.28/226.04 c #Conflicts: 418000 | #Constraints: 35190
224.28/226.04 c #Conflicts: 419000 | #Constraints: 36199
224.28/226.04 c #Conflicts: 420000 | #Constraints: 37206
224.28/226.04 c #Conflicts: 421000 | #Constraints: 38210
224.28/226.04 c INPROCESSING
224.28/226.04 c GARBAGE COLLECT
224.28/226.04 c rational objective 206
234.55/236.33 c #Conflicts: 422000 | #Constraints: 22626
234.55/236.33 c #Conflicts: 423000 | #Constraints: 23629
234.55/236.33 c #Conflicts: 424000 | #Constraints: 24631
234.55/236.33 c #Conflicts: 425000 | #Constraints: 25638
234.55/236.33 c #Conflicts: 426000 | #Constraints: 26639
234.55/236.33 c #Conflicts: 427000 | #Constraints: 27640
234.55/236.33 c #Conflicts: 428000 | #Constraints: 28645
234.55/236.33 c #Conflicts: 429000 | #Constraints: 29647
234.55/236.33 c #Conflicts: 430000 | #Constraints: 30651
234.55/236.33 c #Conflicts: 431000 | #Constraints: 31651
234.55/236.33 c #Conflicts: 432000 | #Constraints: 32653
234.55/236.33 c #Conflicts: 433000 | #Constraints: 33654
234.55/236.33 c #Conflicts: 434000 | #Constraints: 34657
234.55/236.33 c #Conflicts: 435000 | #Constraints: 35660
234.55/236.33 c #Conflicts: 436000 | #Constraints: 36660
234.55/236.33 c #Conflicts: 437000 | #Constraints: 37661
234.55/236.33 c #Conflicts: 438000 | #Constraints: 38662
234.55/236.33 c #Conflicts: 439000 | #Constraints: 39664
234.55/236.33 c bounds 207 >= 207 @ 231.056
234.55/236.33 c cpu time 231.056 s
234.55/236.33 c deterministic time 9486472174 9.49e+09
234.55/236.33 c optimization time 0.048062 s
234.55/236.33 c total solve time 230.986 s
234.55/236.33 c core-guided solve time 147.703 s
234.55/236.33 c propagation time 127.685 s
234.55/236.33 c conflict analysis time 92.1939 s
234.55/236.33 c propagations 79539523
234.55/236.33 c resolve steps 18368014
234.55/236.33 c decisions 859942
234.55/236.33 c conflicts 439524
234.55/236.33 c restarts 1021
234.55/236.33 c inprocessing phases 38
234.55/236.33 c garbage collections 38 ,( 100.00 )
234.55/236.33 c input clauses 5137 ,( 74.93 )
234.55/236.33 c input cardinalities 1105 ,( 16.12 )
234.55/236.33 c input general constraints 614 ,( 8.96 )
234.55/236.33 c input average constraint length 22.79
234.55/236.33 c input average constraint degree 6.41
234.55/236.33 c learned clauses 405849 ,( 91.94 )
234.55/236.33 c learned cardinalities 5566 ,( 1.26 )
234.55/236.33 c learned general constraints 30013 ,( 6.80 )
234.55/236.33 c learned average constraint length 191.40
234.55/236.33 c learned average constraint degree 49745064.12
234.55/236.33 c watched CF 32, 64, 128, Arb: 16059 , 0 , 0 , 0
234.55/236.33 c counting CF 32, 64, 128, Arb: 14569 , 0 , 0 , 0
234.55/236.33 c watched constraints 16059 ,( 52.43 )
234.55/236.33 c counting constraints 14568 ,( 47.57 )
234.55/236.33 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 483802599 , 439279611 , 299335424 ,( 57023564 , 242311860 )
234.55/236.33 c gcd simplifications 28487
234.55/236.33 c detected cardinalities 27
234.55/236.33 c weakened non-implied lits 12830035
234.55/236.33 c weakened non-implying lits 166444
234.55/236.33 c original variables 1160
234.55/236.33 c clausal propagations 53681637
234.55/236.33 c cardinality propagations 5108739
234.55/236.33 c watched propagations 807458
234.55/236.33 c counting propagations 19015020
234.55/236.33 c watch lookups 4517539843
234.55/236.33 c watch backjump lookups 0
234.55/236.33 c watch checks 4117775299
234.55/236.33 c propagation checks 391601769
234.55/236.33 c constraint additions 297867069
234.55/236.33 c trail pops 80837933
234.55/236.33 c formula constraints 4419
234.55/236.33 c learned constraints 438541
234.55/236.33 c bound constraints 247
234.55/236.33 c core-guided constraints 2190
234.55/236.33 c encountered formula constraints 9885850
234.55/236.33 c encountered learned constraints 4652115
234.55/236.33 c encountered bound constraints 287
234.55/236.33 c encountered core-guided constraints 4220590
234.55/236.33 c LP total time 33.8758 s
234.55/236.33 c LP solve time 28.26 s
234.55/236.33 c LP constraints added 4715
234.55/236.33 c LP constraints removed 279
234.55/236.33 c LP pivots internal 439730
234.55/236.33 c LP pivots root 11065
234.55/236.33 c LP calls 2426
234.55/236.33 c LP optimalities 601
234.55/236.33 c LP no pivot count 29
234.55/236.33 c LP infeasibilities 1821
234.55/236.33 c LP valid Farkas constraints 1818
234.55/236.33 c LP learned Farkas constraints 1005
234.55/236.33 c LP basis resets 5
234.55/236.33 c LP cycling count 0
234.55/236.33 c LP singular count 1
234.55/236.33 c LP no primal count 0
234.55/236.33 c LP no farkas count 3
234.55/236.33 c LP other issue count 1
234.55/236.33 c LP Gomory cuts 64
234.55/236.33 c LP learned cuts 232
234.55/236.33 c LP deleted cuts 279
234.55/236.33 c LP encountered Gomory constraints 370
234.55/236.33 c LP encountered Farkas constraints 42909
234.55/236.33 c LP encountered learned Farkas constraints 4412
234.55/236.33 c CG auxiliary variables introduced 797
234.55/236.33 c CG solutions found 13
234.55/236.33 c CG cores constructed 207
234.55/236.33 c CG core cardinality constraints returned 0
234.55/236.33 c CG unit cores 1
234.55/236.33 c CG single cores 205
234.55/236.33 c CG blocks removed during cardinality reduction 0
234.55/236.33 c CG first core best 0
234.55/236.33 c CG decision core best 0
234.55/236.33 c CG core reduction tie 1
234.55/236.33 c CG core degree average 1.00
234.55/236.33 c CG core slack average 5.15
234.55/236.33 c CG core upper bound improvements 1
234.55/236.33 c STR number of successful calls 0
234.55/236.33 c STR number of unsuccessful calls 0
234.55/236.33 c STR number of inconclusive calls 0
234.55/236.33 c STR number of successful attempts 0
234.55/236.33 c STR number of unsuccessful attempts 0
234.55/236.33 c STR number of inconclusive attempts 0
234.55/236.33 c STR average degree increase per successful call inf
234.55/236.33 c STR average degree increase per successful attempt inf
234.55/236.33 c STR total number of conflicts for successful attempts 0
234.55/236.33 c STR total number of conflicts for unsuccessful attempts 0
234.55/236.33 c STR total number of conflicts for inconclusive attempts 0
234.55/236.33 c STR average number of conflicts per successful attempt inf
234.55/236.33 c STR average number of conflicts per unsuccessful attempt inf
234.55/236.33 c STR average number of conflicts per inconclusive attempt inf
234.55/236.33 c AVG.sumWPerc 41.26
234.55/236.33 c bigint constraints 0
234.55/236.33 o 207
234.55/236.33 s OPTIMUM FOUND
234.59/236.43 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
Verifier Data
Checking of UNSAT/OPT proofs:
VeriPB + CakePB
Tue Jul 1 16:00:16 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 207 <= obj <= 207
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 207 <= obj <= 207
--summary--
ALL OK
Watcher Data
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62875 MiB free)
memory of node 1: 64465 MiB (63675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486657-1751328114/watcher-4486657-1751328114 -o /tmp/evaluation-result-4486657-1751328114/solver-4486657-1751328114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751328114-47819 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4486657-1751328114.opb PROOFDIR/proof-4486657-1751328114
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47877, runsolver pid=47860
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 0.98 1.16 1.98 5/269 47883
/proc/meminfo: memFree=129502792/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=65244 memory=21116 CPUtime=0.06 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 3196 0 0 0 5 1 0 0 20 0 1 0 48490832 66809856 5279 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 16311 5279 2336 1147 0 3738 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 69436 KiB
Current children cumulated memory: 24188 KiB
[startup+0.204816 s]*
/proc/loadavg: 0.98 1.16 1.98 6/269 47884
/proc/meminfo: memFree=129487420/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=68112 memory=24188 CPUtime=0.17 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 3876 0 0 0 15 2 0 0 20 0 1 0 48490832 69746688 6047 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 17028 6047 2432 1147 0 4455 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 72304 KiB
Current children cumulated memory: 27260 KiB
[startup+0.304734 s]*
/proc/loadavg: 0.98 1.16 1.98 4/266 47884
/proc/meminfo: memFree=129518544/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=69644 memory=25724 CPUtime=0.26 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 4257 0 0 0 24 2 0 0 20 0 1 0 48490832 71315456 6431 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 17411 6431 2432 1147 0 4838 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 73836 KiB
Current children cumulated memory: 28796 KiB
[startup+0.700154 s]
/proc/loadavg: 0.98 1.16 1.98 5/264 47892
/proc/meminfo: memFree=129480544/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=73492 memory=31256 CPUtime=0.66 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 5130 0 0 0 62 4 0 0 20 0 1 0 48490832 75255808 7814 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 18373 7814 2432 1147 0 5800 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 77684 KiB
Current children cumulated memory: 34328 KiB
[startup+1.50013 s]
/proc/loadavg: 0.98 1.16 1.98 4/264 47892
/proc/meminfo: memFree=129452864/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=73764 memory=31512 CPUtime=1.45 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 5221 0 0 0 139 6 0 0 20 0 1 0 48490832 75534336 7878 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 18441 7878 2432 1147 0 5868 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77956 KiB
Current children cumulated memory: 34584 KiB
[startup+3.10441 s]
/proc/loadavg: 0.98 1.16 1.98 5/264 47959
/proc/meminfo: memFree=129455324/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=81088 memory=37908 CPUtime=3.05 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 6288 0 0 0 296 9 0 0 20 0 1 0 48490832 83034112 9477 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 20272 9477 2432 1147 0 7699 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 85280 KiB
Current children cumulated memory: 40980 KiB
[startup+6.30012 s]
/proc/loadavg: 1.22 1.21 1.99 5/269 47980
/proc/meminfo: memFree=129314140/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=83780 memory=40724 CPUtime=6.24 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 7008 0 0 0 607 17 0 0 20 0 1 0 48490832 85790720 10181 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 20945 10181 2432 1147 0 8372 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 87972 KiB
Current children cumulated memory: 43796 KiB
[startup+12.7002 s]
/proc/loadavg: 1.53 1.28 2.01 5/265 48037
/proc/meminfo: memFree=129354076/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=86068 memory=43028 CPUtime=12.62 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 7568 0 0 0 1232 30 0 0 20 0 1 0 48490832 88133632 10757 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 21517 10757 2432 1147 0 8944 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 90260 KiB
Current children cumulated memory: 46100 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 1.43 2.05 5/270 48077
/proc/meminfo: memFree=128981864/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=103436 memory=54032 CPUtime=25.39 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 9824 0 0 0 2485 54 0 0 20 0 1 0 48490832 105918464 13508 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 25859 13508 2432 1147 0 13286 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 107628 KiB
Current children cumulated memory: 57104 KiB
[startup+51.1046 s]
/proc/loadavg: 2.78 1.63 2.10 5/273 48080
/proc/meminfo: memFree=128747080/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=125332 memory=74484 CPUtime=50.73 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 12395 0 0 0 4981 92 0 0 20 0 1 0 48490832 128339968 18621 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 31333 18621 2432 1147 0 18760 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 129524 KiB
Current children cumulated memory: 77556 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.03 2.21 5/272 48083
/proc/meminfo: memFree=128305432/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=147512 memory=86660 CPUtime=101.3 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 13827 0 0 0 9960 170 0 0 20 0 1 0 48490832 151052288 21665 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 36878 21665 2528 1147 0 24305 0
Current children cumulated CPU time: 101.3 s
Current children cumulated vsize: 151704 KiB
Current children cumulated memory: 89732 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.39 2.33 5/273 48086
/proc/meminfo: memFree=127928244/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=150716 memory=99040 CPUtime=160.9 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 14693 0 0 0 15838 252 0 0 20 0 1 0 48490832 154333184 24760 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 37679 24760 2528 1147 0 25106 0
Current children cumulated CPU time: 160.9 s
Current children cumulated vsize: 154908 KiB
Current children cumulated memory: 102112 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.70 2.44 5/273 48088
/proc/meminfo: memFree=127471792/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=155144 memory=109344 CPUtime=220.59 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 15759 0 0 0 21726 333 0 0 20 0 1 0 48490832 158867456 27336 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 38786 27336 2528 1147 0 26213 0
Current children cumulated CPU time: 220.59 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 112416 KiB
[startup+236.437 s]
# the end of solver process 47877 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=231.071 s, system=3.56183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 4.07 2.74 2.45 5/273 48088
/proc/meminfo: memFree=127434564/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=155144 memory=109344 CPUtime=222.28 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 15759 0 0 0 21893 335 0 0 20 0 1 0 48490832 158867456 27336 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 38786 27336 2528 1147 0 26213 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 112416 KiB
[startup+230.4 s]
/proc/loadavg: 4.06 2.76 2.46 5/273 48088
/proc/meminfo: memFree=127316636/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=155144 memory=109344 CPUtime=228.66 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 15759 0 0 0 22521 345 0 0 20 0 1 0 48490832 158867456 27336 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 38786 27336 2528 1147 0 26213 0
Current children cumulated CPU time: 228.66 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 112416 KiB
[startup+233.6 s]
/proc/loadavg: 4.06 2.76 2.46 5/273 48088
/proc/meminfo: memFree=127281572/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=155144 memory=109344 CPUtime=231.86 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 15759 0 0 0 22835 351 0 0 20 0 1 0 48490832 158867456 27336 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 38786 27336 2528 1147 0 26213 0
Current children cumulated CPU time: 231.86 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 112416 KiB
[startup+235.2 s]
/proc/loadavg: 4.06 2.78 2.47 5/273 48088
/proc/meminfo: memFree=127270440/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=155144 memory=109344 CPUtime=233.45 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 15759 0 0 0 22993 352 0 0 20 0 1 0 48490832 158867456 27336 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 38786 27336 2528 1147 0 26213 0
Current children cumulated CPU time: 233.45 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 112416 KiB
[startup+236 s]*
/proc/loadavg: 4.06 2.78 2.47 5/273 48088
/proc/meminfo: memFree=127274120/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=155144 memory=109344 CPUtime=234.25 cores=1,3
/proc/47882/stat : 47882 (roundingsat) R 47877 47877 47807 0 -1 4194304 15759 0 0 0 23072 353 0 0 20 0 1 0 48490832 158867456 27336 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 38786 27336 2528 1147 0 26213 0
Current children cumulated CPU time: 234.25 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 112416 KiB
[startup+236.4 s]
/proc/loadavg: 4.06 2.78 2.47 5/273 48088
/proc/meminfo: memFree=127274120/131250000 swapFree=33009904/33010684
[pid=47877] ppid=47860 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/47877/stat : 47877 (run-opt-ls-log.) S 47860 47877 47807 0 -1 4194304 244 742 0 0 0 0 0 0 20 0 1 0 48490829 4292608 768 18446744073709551615 94106420699136 94106421593669 140731232787600 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94106421832720 94106421880464 94106452021248 140731232794907 140731232795105 140731232795105 140731232800707 0
/proc/47877/statm: 1048 768 704 219 0 110 0
[pid=47882] ppid=47877 vsize=155144 memory=109344 CPUtime=234.59 cores=1,3
/proc/47882/stat : 47882 (roundingsat) D 47877 47877 47807 0 -1 4194304 15759 0 0 0 23105 354 0 0 20 0 1 0 48490832 158867456 27336 18446744073709551615 4227072 8923433 140732484501744 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 19394560 140732484507894 140732484508200 140732484508200 140732484513770 0
/proc/47882/statm: 38786 27336 2528 1147 0 26213 0
Current children cumulated CPU time: 234.59 s
Current children cumulated vsize: 159336 KiB
Current children cumulated memory: 112416 KiB
Child status: 0
Real time (s): 236.437
CPU time (s): 234.632
CPU user time (s): 231.071
CPU system time (s): 3.56183
CPU usage (%): 99.2367
Max. virtual memory (cumulated for all children) (KiB): 159336
Max. memory (cumulated for all children) (KiB): 112416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.071
system time used= 3.56183
maximum resident set size= 109344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 949
involuntary context switches= 390
# summary of solver processes directly reported to runsolver:
# pid: 47877
# total CPU time (s): 234.632
# total CPU user time (s): 231.071
# total CPU system time (s): 3.56183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.451446 second user time and 0.905735 second system time
The end
Launcher Data
Begin job on nodeC033 at 2025-07-01 02:01:54
IDJOB=4486657
IDBENCH=147034
IDSOLVER=3356
FILE ID=nodeC033/4486657-1751328114
RUNJOBID= nodeC033-1751328114-47819
SLURM_JOB_ID= 9594373
Free space on /tmp= 432472 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4486657-1751328114/watcher-4486657-1751328114 -o /tmp/evaluation-result-4486657-1751328114/solver-4486657-1751328114 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751328114-47819 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4486657-1751328114.opb PROOFDIR/proof-4486657-1751328114
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ec52d363b7c61cdd5525674056021d1
RANDOM SEED=698578240
nodeC033 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.969
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.031
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.689
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3598.814
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.098
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.042
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3567.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129597712 kB
MemAvailable: 129750472 kB
Buffers: 2128 kB
Cached: 951724 kB
SwapCached: 68 kB
Active: 242184 kB
Inactive: 774692 kB
Active(anon): 56320 kB
Inactive(anon): 24732 kB
Active(file): 185864 kB
Inactive(file): 749960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33384 kB
Writeback: 4 kB
AnonPages: 65748 kB
Mapped: 103744 kB
Shmem: 18028 kB
KReclaimable: 112348 kB
Slab: 200928 kB
SReclaimable: 112348 kB
SUnreclaim: 88580 kB
KernelStack: 4112 kB
PageTables: 2832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 332424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432436 MiB
End job on nodeC033 at 2025-07-01 02:05:51