Trace number 4454656

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-19? (TO) 3600.04 3609.11

DiagnosticValue
AM1LB0
LOWERBOUND23059740
NAM1S0
NCORES640
NEXHAUSTED0
NPBCORES124
NPBREFORM0
NTRIMMED2397
SCIPUB30684279

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUM542a59a1a1b8906e0495f473b09f11e4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30102502
Best CPU time to get the best result obtained on this benchmark71252.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.04	c [STEP] solving with SCIP
299.33/300.11	c [STEP] preprocessing done, loading into solver
299.33/300.11	c [STEP] solving
299.33/300.11	c #variables 3563 #constraints 1928
299.33/300.11	c SMALL=int, LARGE=long long
299.33/300.11	d SCIPUB 30684279
299.33/300.11	c bounds - >= -3906 @ 299.122
299.33/300.11	c stratification level: 0
299.42/300.25	c bounds - >= 1396094 @ 299.127
299.42/300.25	c bounds - >= 1398124 @ 299.127
299.42/300.25	c bounds - >= 1398831 @ 299.127
299.42/300.25	c bounds - >= 1846094 @ 299.127
299.42/300.25	c bounds - >= 1991042 @ 299.128
299.42/300.25	c bounds - >= 2135642 @ 299.128
299.42/300.25	c bounds - >= 2277821 @ 299.128
299.42/300.25	c bounds - >= 2278775 @ 299.128
299.42/300.25	c bounds - >= 2279067 @ 299.129
299.42/300.25	c bounds - >= 2420042 @ 299.13
299.42/300.25	c bounds - >= 2562541 @ 299.13
299.42/300.25	c bounds - >= 2563107 @ 299.13
299.42/300.25	c bounds - >= 2563607 @ 299.131
299.42/300.25	c bounds - >= 2563764 @ 299.132
299.42/300.25	c bounds - >= 3012541 @ 299.133
299.42/300.25	c bounds - >= 3461295 @ 299.134
299.42/300.25	c bounds - >= 3604847 @ 299.134
299.42/300.25	c bounds - >= 3747948 @ 299.134
299.42/300.25	c bounds - >= 3891260 @ 299.134
299.42/300.25	c bounds - >= 4033340 @ 299.134
299.42/300.25	c bounds - >= 4176871 @ 299.134
299.42/300.25	c bounds - >= 4320606 @ 299.135
299.42/300.25	c bounds - >= 4463764 @ 299.135
299.42/300.25	c bounds - >= 4606487 @ 299.135
299.42/300.25	c bounds - >= 4748442 @ 299.135
299.42/300.25	c bounds - >= 4890142 @ 299.135
299.42/300.25	c bounds - >= 5033586 @ 299.136
299.42/300.25	c bounds - >= 5176053 @ 299.137
299.42/300.25	c bounds - >= 5317031 @ 299.138
299.42/300.25	c bounds - >= 5459881 @ 299.138
299.42/300.25	c bounds - >= 5602302 @ 299.139
299.42/300.25	c bounds - >= 5744822 @ 299.139
299.42/300.25	c bounds - >= 5886379 @ 299.139
299.42/300.25	c bounds - >= 6026794 @ 299.139
299.42/300.25	c bounds - >= 6167464 @ 299.14
299.42/300.25	c bounds - >= 6309830 @ 299.141
299.42/300.25	c bounds - >= 6449070 @ 299.143
299.42/300.25	c bounds - >= 6589374 @ 299.143
299.42/300.25	c bounds - >= 6730348 @ 299.144
299.42/300.25	c bounds - >= 6870550 @ 299.145
299.42/300.25	c bounds - >= 7010317 @ 299.146
299.42/300.25	c bounds - >= 7151872 @ 299.146
299.42/300.25	c bounds - >= 7291896 @ 299.146
299.42/300.25	c bounds - >= 7431546 @ 299.146
299.42/300.25	c bounds - >= 7570675 @ 299.147
299.42/300.25	c bounds - >= 7712261 @ 299.148
299.42/300.25	c bounds - >= 7850755 @ 299.148
299.42/300.25	c bounds - >= 7992351 @ 299.148
299.42/300.25	c bounds - >= 8134036 @ 299.148
299.42/300.25	c bounds - >= 8273921 @ 299.148
299.42/300.25	c bounds - >= 8415141 @ 299.149
299.42/300.25	c bounds - >= 8555524 @ 299.15
299.42/300.25	c bounds - >= 8696942 @ 299.151
299.42/300.25	c bounds - >= 8836560 @ 299.151
299.42/300.25	c bounds - >= 8977552 @ 299.151
299.42/300.25	c bounds - >= 9116595 @ 299.152
299.42/300.25	c bounds - >= 9255249 @ 299.153
299.42/300.25	c bounds - >= 9396497 @ 299.153
299.42/300.25	c bounds - >= 9535202 @ 299.154
299.42/300.25	c bounds - >= 9676686 @ 299.155
299.42/300.25	c bounds - >= 9815457 @ 299.155
299.42/300.25	c bounds - >= 9955583 @ 299.156
299.42/300.25	c bounds - >= 10094368 @ 299.157
299.42/300.25	c bounds - >= 10233990 @ 299.158
299.42/300.25	c bounds - >= 10373778 @ 299.159
299.42/300.25	c bounds - >= 10513174 @ 299.159
299.42/300.25	c bounds - >= 10652650 @ 299.16
299.42/300.25	c bounds - >= 10792010 @ 299.161
299.42/300.25	c bounds - >= 10931908 @ 299.162
299.42/300.25	c bounds - >= 11073319 @ 299.163
299.42/300.25	c bounds - >= 11212054 @ 299.164
299.42/300.25	c bounds - >= 11352674 @ 299.165
299.42/300.25	c bounds - >= 11492933 @ 299.165
299.42/300.25	c bounds - >= 11632792 @ 299.166
299.42/300.25	c bounds - >= 11773859 @ 299.167
299.42/300.25	c bounds - >= 11913701 @ 299.167
299.42/300.25	c bounds - >= 12054080 @ 299.168
299.42/300.25	c bounds - >= 12193869 @ 299.169
299.42/300.25	c bounds - >= 12333389 @ 299.17
299.42/300.25	c bounds - >= 12473536 @ 299.171
299.42/300.25	c bounds - >= 12614292 @ 299.172
299.42/300.25	c bounds - >= 12754117 @ 299.173
299.42/300.25	c bounds - >= 12893498 @ 299.174
299.42/300.25	c bounds - >= 13033915 @ 299.174
299.42/300.25	c bounds - >= 13174270 @ 299.174
299.42/300.25	c bounds - >= 13314801 @ 299.175
299.42/300.25	c bounds - >= 13455151 @ 299.176
299.42/300.25	c bounds - >= 13594598 @ 299.177
299.42/300.25	c bounds - >= 13734586 @ 299.178
299.42/300.25	c bounds - >= 13874656 @ 299.179
299.42/300.25	c bounds - >= 14013560 @ 299.18
299.42/300.25	c bounds - >= 14153796 @ 299.18
299.42/300.25	c bounds - >= 14294786 @ 299.181
299.42/300.25	c bounds - >= 14435452 @ 299.181
299.42/300.25	c bounds - >= 14575203 @ 299.181
299.42/300.25	c bounds - >= 14713477 @ 299.182
299.42/300.25	c bounds - >= 14853017 @ 299.183
299.42/300.25	c bounds - >= 14992618 @ 299.184
299.42/300.25	c bounds - >= 15132819 @ 299.185
299.42/300.25	c bounds - >= 15272744 @ 299.186
299.42/300.25	c bounds - >= 15411446 @ 299.187
299.42/300.25	c bounds - >= 15551867 @ 299.188
299.42/300.25	c bounds - >= 15690054 @ 299.189
299.42/300.25	c bounds - >= 15829964 @ 299.19
299.42/300.25	c bounds - >= 15969970 @ 299.191
299.42/300.25	c bounds - >= 16109628 @ 299.192
299.42/300.25	c bounds - >= 16249705 @ 299.193
299.42/300.25	c bounds - >= 16388574 @ 299.194
299.42/300.25	c bounds - >= 16528952 @ 299.195
299.42/300.25	c bounds - >= 16669003 @ 299.196
299.42/300.25	c bounds - >= 16809622 @ 299.197
299.42/300.25	c bounds - >= 16950122 @ 299.198
299.42/300.25	c bounds - >= 17090171 @ 299.199
299.42/300.25	c bounds - >= 17230417 @ 299.2
299.42/300.25	c bounds - >= 17370209 @ 299.201
299.42/300.25	c bounds - >= 17508595 @ 299.202
299.42/300.25	c bounds - >= 17648998 @ 299.203
299.42/300.25	c bounds - >= 17789527 @ 299.203
299.42/300.25	c bounds - >= 17929862 @ 299.203
299.42/300.25	c bounds - >= 18070158 @ 299.203
299.42/300.25	c bounds - >= 18208726 @ 299.203
299.42/300.25	c bounds - >= 18349310 @ 299.203
299.42/300.25	c bounds - >= 18488407 @ 299.204
299.42/300.25	c bounds - >= 18628342 @ 299.204
299.42/300.25	c bounds - >= 18768265 @ 299.204
299.42/300.25	c bounds - >= 18907671 @ 299.205
299.42/300.25	c bounds - >= 19047403 @ 299.206
299.62/300.42	c bounds - >= 19187344 @ 299.207
299.62/300.42	c bounds - >= 19326810 @ 299.207
299.62/300.42	c bounds - >= 19466855 @ 299.208
299.62/300.42	c bounds - >= 19606602 @ 299.209
299.62/300.42	c bounds - >= 19746334 @ 299.21
299.62/300.42	c bounds - >= 19886378 @ 299.211
299.62/300.42	c bounds - >= 20026122 @ 299.211
299.62/300.42	c bounds - >= 20165958 @ 299.211
299.62/300.42	c bounds - >= 20305634 @ 299.211
299.62/300.42	c bounds - >= 20445619 @ 299.211
299.62/300.42	c bounds - >= 20585368 @ 299.212
299.62/300.42	c bounds - >= 20725089 @ 299.213
299.62/300.42	c bounds - >= 20864355 @ 299.213
299.62/300.42	c bounds - >= 21003845 @ 299.213
299.62/300.42	c bounds - >= 21142746 @ 299.213
299.62/300.42	c bounds - >= 21282130 @ 299.214
299.62/300.42	c bounds - >= 21421763 @ 299.214
299.62/300.42	c bounds - >= 21561351 @ 299.214
299.62/300.42	c bounds - >= 21700823 @ 299.214
299.62/300.42	c bounds - >= 21840146 @ 299.215
299.62/300.42	c bounds - >= 21979055 @ 299.215
299.62/300.42	c bounds - >= 22118234 @ 299.215
299.62/300.42	c bounds - >= 22256482 @ 299.215
299.62/300.42	c bounds - >= 22394684 @ 299.216
299.62/300.42	c bounds - >= 22533312 @ 299.216
299.62/300.42	c bounds - >= 22671943 @ 299.216
299.62/300.42	c bounds - >= 22810649 @ 299.217
299.62/300.42	c bounds - >= 22811161 @ 299.217
299.62/300.42	c bounds - >= 22813898 @ 299.218
299.62/300.42	c bounds - >= 22853946 @ 299.218
299.62/300.42	c bounds - >= 22854900 @ 299.218
299.62/300.42	c bounds - >= 22855192 @ 299.218
299.62/300.42	c bounds - >= 22858104 @ 299.219
299.62/300.42	c bounds - >= 22898645 @ 299.22
299.62/300.42	c bounds - >= 22899818 @ 299.222
299.62/300.42	c bounds - >= 22901008 @ 299.223
299.62/300.42	c bounds - >= 22901204 @ 299.225
299.62/300.42	c bounds - >= 22902728 @ 299.226
299.62/300.42	c bounds - >= 22940604 @ 299.227
299.62/300.42	c bounds - >= 22942093 @ 299.227
299.62/300.42	c bounds - >= 22943012 @ 299.228
299.62/300.42	c bounds - >= 22975305 @ 299.23
299.62/300.42	c bounds - >= 22975822 @ 299.231
299.62/300.42	c bounds - >= 22976168 @ 299.232
299.62/300.42	c bounds - >= 22976560 @ 299.232
299.62/300.42	c bounds - >= 22977032 @ 299.232
299.62/300.42	c bounds - >= 22977328 @ 299.233
299.62/300.42	c bounds - >= 22977497 @ 299.233
299.62/300.42	c bounds - >= 22977696 @ 299.233
299.62/300.42	c bounds - >= 22978101 @ 299.234
299.62/300.42	c bounds - >= 22978352 @ 299.235
299.62/300.42	c bounds - >= 22978514 @ 299.235
299.62/300.42	c bounds - >= 22978884 @ 299.236
299.62/300.42	c bounds - >= 22979124 @ 299.237
299.62/300.42	c bounds - >= 22979300 @ 299.237
299.62/300.42	c bounds - >= 22979794 @ 299.238
299.62/300.42	c bounds - >= 22980199 @ 299.238
299.62/300.42	c bounds - >= 22980455 @ 299.239
299.62/300.42	c bounds - >= 22980604 @ 299.241
299.62/300.42	c bounds - >= 22981094 @ 299.241
299.62/300.42	c bounds - >= 22983091 @ 299.241
299.62/300.42	c bounds - >= 22983206 @ 299.241
299.62/300.42	c bounds - >= 22983710 @ 299.242
299.62/300.42	c bounds - >= 22984435 @ 299.243
299.62/300.42	c bounds - >= 22984567 @ 299.244
299.62/300.42	c bounds - >= 22986748 @ 299.245
299.62/300.42	c bounds - >= 22988910 @ 299.245
299.62/300.42	c bounds - >= 22989428 @ 299.246
299.62/300.42	c bounds - >= 22990404 @ 299.246
299.62/300.42	c bounds - >= 22990425 @ 299.247
299.62/300.42	c bounds - >= 22992556 @ 299.247
299.62/300.42	c bounds - >= 22992776 @ 299.247
299.62/300.42	c bounds - >= 22993042 @ 299.248
299.62/300.42	c bounds - >= 22993219 @ 299.249
299.62/300.42	c bounds - >= 22993376 @ 299.249
299.62/300.42	c bounds - >= 22993706 @ 299.25
299.62/300.42	c bounds - >= 22994304 @ 299.251
299.62/300.42	c bounds - >= 22994400 @ 299.253
299.62/300.42	c bounds - >= 22994638 @ 299.254
299.62/300.42	c bounds - >= 22995473 @ 299.255
299.62/300.42	c bounds - >= 22997355 @ 299.256
299.62/300.42	c bounds - >= 22997763 @ 299.258
299.62/300.42	c bounds - >= 22997774 @ 299.26
299.62/300.42	c bounds - >= 22999608 @ 299.26
299.62/300.42	c bounds - >= 23001804 @ 299.262
299.62/300.42	c bounds - >= 23002109 @ 299.264
299.62/300.42	c bounds - >= 23004298 @ 299.265
299.62/300.42	c bounds - >= 23004480 @ 299.266
299.62/300.42	c bounds - >= 23004901 @ 299.268
299.62/300.42	c bounds - >= 23005069 @ 299.269
299.62/300.42	c bounds - >= 23005173 @ 299.27
299.62/300.42	c bounds - >= 23005447 @ 299.27
299.62/300.42	c bounds - >= 23005503 @ 299.271
299.62/300.42	c bounds - >= 23006364 @ 299.272
299.62/300.42	c bounds - >= 23006452 @ 299.273
299.62/300.42	c bounds - >= 23007161 @ 299.273
299.62/300.42	c bounds - >= 23007864 @ 299.273
299.62/300.42	c bounds - >= 23009581 @ 299.274
299.62/300.42	c bounds - >= 23009922 @ 299.275
299.62/300.42	c bounds - >= 23010423 @ 299.276
299.62/300.42	c bounds - >= 23010745 @ 299.277
299.62/300.42	c bounds - >= 23011861 @ 299.278
299.62/300.42	c bounds - >= 23012081 @ 299.28
299.62/300.42	c bounds - >= 23012281 @ 299.281
299.62/300.42	c bounds - >= 23012490 @ 299.281
299.62/300.42	c bounds - >= 23013749 @ 299.283
299.62/300.42	c bounds - >= 23013919 @ 299.284
299.62/300.42	c bounds - >= 23014424 @ 299.284
299.62/300.42	c bounds - >= 23014885 @ 299.285
299.62/300.42	c bounds - >= 23014923 @ 299.285
299.62/300.42	c bounds - >= 23016686 @ 299.286
299.62/300.42	c bounds - >= 23017040 @ 299.287
299.62/300.42	c bounds - >= 23017443 @ 299.288
299.62/300.42	c bounds - >= 23017798 @ 299.288
299.62/300.42	c bounds - >= 23019001 @ 299.289
299.62/300.42	c bounds - >= 23020661 @ 299.291
299.62/300.42	c bounds - >= 23020852 @ 299.292
299.62/300.42	c bounds - >= 23020938 @ 299.293
299.62/300.42	c bounds - >= 23021440 @ 299.294
299.62/300.42	c bounds - >= 23021701 @ 299.295
299.62/300.42	c bounds - >= 23022172 @ 299.296
299.62/300.42	c bounds - >= 23022675 @ 299.296
299.62/300.42	c bounds - >= 23022749 @ 299.297
299.62/300.42	c bounds - >= 23022795 @ 299.297
299.82/300.67	c bounds - >= 23023060 @ 299.299
299.82/300.67	c bounds - >= 23023584 @ 299.299
299.82/300.67	c bounds - >= 23024394 @ 299.301
299.82/300.67	c bounds - >= 23024707 @ 299.302
299.82/300.67	c bounds - >= 23025603 @ 299.303
299.82/300.67	c bounds - >= 23026024 @ 299.304
299.82/300.67	c bounds - >= 23027273 @ 299.304
299.82/300.67	c bounds - >= 23027364 @ 299.305
299.82/300.67	c bounds - >= 23027517 @ 299.306
299.82/300.67	c bounds - >= 23027755 @ 299.307
299.82/300.67	c bounds - >= 23027931 @ 299.307
299.82/300.67	c bounds - >= 23027972 @ 299.308
299.82/300.67	c bounds - >= 23029214 @ 299.309
299.82/300.67	c bounds - >= 23029489 @ 299.31
299.82/300.67	c bounds - >= 23029958 @ 299.31
299.82/300.67	c bounds - >= 23030588 @ 299.311
299.82/300.67	c bounds - >= 23031021 @ 299.311
299.82/300.67	c bounds - >= 23031140 @ 299.312
299.82/300.67	c bounds - >= 23031502 @ 299.313
299.82/300.67	c bounds - >= 23031743 @ 299.314
299.82/300.67	c bounds - >= 23032787 @ 299.315
299.82/300.67	c bounds - >= 23032983 @ 299.316
299.82/300.67	c bounds - >= 23033088 @ 299.317
299.82/300.67	c bounds - >= 23033239 @ 299.317
299.82/300.67	c bounds - >= 23033390 @ 299.318
299.82/300.67	c bounds - >= 23033730 @ 299.319
299.82/300.67	c bounds - >= 23034134 @ 299.32
299.82/300.67	c bounds - >= 23034256 @ 299.321
299.82/300.67	c bounds - >= 23034590 @ 299.322
299.82/300.67	c bounds - >= 23034655 @ 299.323
299.82/300.67	c bounds - >= 23035231 @ 299.323
299.82/300.67	c bounds - >= 23036055 @ 299.324
299.82/300.67	c bounds - >= 23036701 @ 299.325
299.82/300.67	c bounds - >= 23037222 @ 299.326
299.82/300.67	c bounds - >= 23038224 @ 299.327
299.82/300.67	c bounds - >= 23038309 @ 299.327
299.82/300.67	c bounds - >= 23038604 @ 299.328
299.82/300.67	c bounds - >= 23038614 @ 299.329
299.82/300.67	c bounds - >= 23038770 @ 299.33
299.82/300.67	c bounds - >= 23039679 @ 299.331
299.82/300.67	c bounds - >= 23040074 @ 299.332
299.82/300.67	c bounds - >= 23040333 @ 299.333
299.82/300.67	c bounds - >= 23040336 @ 299.333
299.82/300.67	c bounds - >= 23040628 @ 299.334
299.82/300.67	c bounds - >= 23040686 @ 299.335
299.82/300.67	c bounds - >= 23041322 @ 299.337
299.82/300.67	c bounds - >= 23041634 @ 299.338
299.82/300.67	c bounds - >= 23042206 @ 299.338
299.82/300.67	c bounds - >= 23042700 @ 299.339
299.82/300.67	c bounds - >= 23043403 @ 299.341
299.82/300.67	c bounds - >= 23043604 @ 299.342
299.82/300.67	c bounds - >= 23044175 @ 299.343
299.82/300.67	c bounds - >= 23044615 @ 299.344
299.82/300.67	c bounds - >= 23045486 @ 299.345
299.82/300.67	c bounds - >= 23045493 @ 299.346
299.82/300.67	c bounds - >= 23046180 @ 299.348
299.82/300.67	c bounds - >= 23046700 @ 299.35
299.82/300.67	c bounds - >= 23046993 @ 299.351
299.82/300.67	c bounds - >= 23047552 @ 299.351
299.82/300.67	c bounds - >= 23047604 @ 299.353
299.82/300.67	c bounds - >= 23048192 @ 299.355
299.82/300.67	c bounds - >= 23048399 @ 299.357
299.82/300.67	c bounds - >= 23048496 @ 299.359
299.82/300.67	c bounds - >= 23048624 @ 299.36
299.82/300.67	c bounds - >= 23048686 @ 299.363
299.82/300.67	c bounds - >= 23049072 @ 299.365
299.82/300.67	c bounds - >= 23049091 @ 299.366
299.82/300.67	c bounds - >= 23049225 @ 299.367
299.82/300.67	c bounds - >= 23049452 @ 299.369
299.82/300.67	c bounds - >= 23049743 @ 299.371
299.82/300.67	c bounds - >= 23050177 @ 299.372
299.82/300.67	c bounds - >= 23050191 @ 299.373
299.82/300.67	c bounds - >= 23050590 @ 299.374
299.82/300.67	c bounds - >= 23050783 @ 299.376
299.82/300.67	c bounds - >= 23050977 @ 299.377
299.82/300.67	c bounds - >= 23051230 @ 299.379
299.82/300.67	c bounds - >= 23051333 @ 299.38
299.82/300.67	c bounds - >= 23051645 @ 299.381
299.82/300.67	c bounds - >= 23051798 @ 299.382
299.82/300.67	c bounds - >= 23052079 @ 299.383
299.82/300.67	c bounds - >= 23052346 @ 299.384
299.82/300.67	c bounds - >= 23052492 @ 299.385
299.82/300.67	c bounds - >= 23052506 @ 299.385
299.82/300.67	c bounds - >= 23052742 @ 299.387
299.82/300.67	c bounds - >= 23052872 @ 299.387
299.82/300.67	c bounds - >= 23052880 @ 299.388
299.82/300.67	c bounds - >= 23052985 @ 299.389
299.82/300.67	c bounds - >= 23053064 @ 299.391
299.82/300.67	c bounds - >= 23053274 @ 299.393
299.82/300.67	c bounds - >= 23053356 @ 299.395
299.82/300.67	c bounds - >= 23053526 @ 299.397
299.82/300.67	c bounds - >= 23053678 @ 299.399
299.82/300.67	c bounds - >= 23053798 @ 299.399
299.82/300.67	c bounds - >= 23053879 @ 299.401
299.82/300.67	c bounds - >= 23054023 @ 299.402
299.82/300.67	c bounds - >= 23054099 @ 299.403
299.82/300.67	c bounds - >= 23054210 @ 299.404
299.82/300.67	c bounds - >= 23054319 @ 299.406
299.82/300.67	c bounds - >= 23054321 @ 299.407
299.82/300.67	c bounds - >= 23054420 @ 299.409
299.82/300.67	c bounds - >= 23054514 @ 299.41
299.82/300.67	c bounds - >= 23054569 @ 299.413
299.82/300.67	c bounds - >= 23054652 @ 299.415
299.82/300.67	c bounds - >= 23054729 @ 299.417
299.82/300.67	c bounds - >= 23054807 @ 299.419
299.82/300.67	c bounds - >= 23054864 @ 299.421
299.82/300.67	c bounds - >= 23054919 @ 299.423
299.82/300.67	c bounds - >= 23054967 @ 299.425
299.82/300.67	c bounds - >= 23055010 @ 299.427
299.82/300.67	c bounds - >= 23055046 @ 299.43
299.82/300.67	c bounds - >= 23055081 @ 299.431
299.82/300.67	c bounds - >= 23055116 @ 299.433
299.82/300.67	c bounds - >= 23055139 @ 299.435
299.82/300.67	c bounds - >= 23055157 @ 299.437
299.82/300.67	c bounds - >= 23055164 @ 299.439
299.82/300.67	c bounds - >= 23055193 @ 299.439
299.82/300.67	c bounds - >= 23055221 @ 299.441
299.82/300.67	c bounds - >= 23055238 @ 299.441
299.82/300.67	c bounds - >= 23055240 @ 299.442
299.82/300.67	c bounds - >= 23055270 @ 299.443
299.82/300.67	c bounds - >= 23055291 @ 299.446
299.82/300.67	c bounds - >= 23055317 @ 299.447
299.82/300.67	c bounds - >= 23055338 @ 299.449
299.82/300.67	c bounds - >= 23055348 @ 299.452
299.82/300.67	c bounds - >= 23055356 @ 299.453
300.72/301.50	c bounds - >= 23055370 @ 299.453
300.72/301.50	c bounds - >= 23055384 @ 299.458
300.72/301.50	c bounds - >= 23055395 @ 299.459
300.72/301.50	c bounds - >= 23055407 @ 299.46
300.72/301.50	c bounds - >= 23055418 @ 299.462
300.72/301.50	c bounds - >= 23055421 @ 299.465
300.72/301.50	c bounds - >= 23055429 @ 299.466
300.72/301.50	c bounds - >= 23055437 @ 299.468
300.72/301.50	c bounds - >= 23055445 @ 299.47
300.72/301.50	c bounds - >= 23055449 @ 299.472
300.72/301.50	c bounds - >= 23055451 @ 299.474
300.72/301.50	c bounds - >= 23055457 @ 299.474
300.72/301.50	c bounds - >= 23055460 @ 299.48
300.72/301.50	c bounds - >= 23055462 @ 299.482
300.72/301.50	c bounds - >= 23055466 @ 299.485
300.72/301.50	c bounds - >= 23055470 @ 299.485
300.72/301.50	c bounds - >= 23055473 @ 299.486
300.72/301.50	c bounds - >= 23055474 @ 299.488
300.72/301.50	c bounds - >= 23055477 @ 299.489
300.72/301.50	c bounds - >= 23055481 @ 299.49
300.72/301.50	c bounds - >= 23055483 @ 299.493
300.72/301.50	c bounds - >= 23055486 @ 299.493
300.72/301.50	c bounds - >= 23055488 @ 299.495
300.72/301.50	c bounds - >= 23055490 @ 299.497
300.72/301.50	c bounds - >= 23055492 @ 299.498
300.72/301.50	c bounds - >= 23055493 @ 299.499
300.72/301.50	c bounds - >= 23055494 @ 299.501
300.72/301.50	c bounds - >= 23055495 @ 299.504
300.72/301.50	c bounds - >= 23055496 @ 299.506
300.72/301.50	c bounds - >= 23055497 @ 299.509
300.72/301.50	c bounds - >= 23055498 @ 299.51
300.72/301.50	c bounds - >= 23055499 @ 299.513
300.72/301.50	c bounds - >= 23055541 @ 299.516
300.72/301.50	c bounds - >= 23055542 @ 299.519
300.72/301.50	c bounds - >= 23055551 @ 299.521
300.72/301.50	c bounds - >= 23055598 @ 299.523
300.72/301.50	c bounds - >= 23055759 @ 299.526
300.72/301.50	c bounds - >= 23055886 @ 299.529
300.72/301.50	c bounds - >= 23055927 @ 299.534
300.72/301.50	c bounds - >= 23056228 @ 299.536
300.72/301.50	c bounds - >= 23056229 @ 299.537
300.72/301.50	c bounds - >= 23056251 @ 299.54
300.72/301.50	c bounds - >= 23056271 @ 299.542
300.72/301.50	c bounds - >= 23056332 @ 299.546
300.72/301.50	c bounds - >= 23056337 @ 299.552
300.72/301.50	c bounds - >= 23056338 @ 299.555
300.72/301.50	c bounds - >= 23056340 @ 299.557
300.72/301.50	c bounds - >= 23056346 @ 299.56
300.72/301.50	c bounds - >= 23056353 @ 299.565
300.72/301.50	c bounds - >= 23056354 @ 299.569
300.72/301.50	c bounds - >= 23056384 @ 299.57
300.72/301.50	c bounds - >= 23056391 @ 299.574
300.72/301.50	c bounds - >= 23056396 @ 299.58
300.72/301.50	c bounds - >= 23056400 @ 299.583
300.72/301.50	c bounds - >= 23056404 @ 299.585
300.72/301.50	c bounds - >= 23056415 @ 299.589
300.72/301.50	c bounds - >= 23056425 @ 299.592
300.72/301.50	c bounds - >= 23056449 @ 299.596
300.72/301.50	c bounds - >= 23056456 @ 299.597
300.72/301.50	c bounds - >= 23056666 @ 299.599
300.72/301.50	c bounds - >= 23056795 @ 299.603
300.72/301.50	c bounds - >= 23056797 @ 299.614
300.72/301.50	c bounds - >= 23056813 @ 299.618
300.72/301.50	c bounds - >= 23056814 @ 299.624
300.72/301.50	c bounds - >= 23056820 @ 299.629
300.72/301.50	c bounds - >= 23056824 @ 299.635
300.72/301.50	c bounds - >= 23056829 @ 299.65
300.72/301.50	c bounds - >= 23056831 @ 299.654
300.72/301.50	c bounds - >= 23056846 @ 299.659
300.72/301.50	c bounds - >= 23056892 @ 299.661
300.72/301.50	c bounds - >= 23056903 @ 299.665
300.72/301.50	c bounds - >= 23056926 @ 299.67
300.72/301.50	c bounds - >= 23056934 @ 299.69
300.72/301.50	c bounds - >= 23056937 @ 299.697
300.72/301.50	c bounds - >= 23056962 @ 299.703
300.72/301.50	c bounds - >= 23057004 @ 299.707
300.72/301.50	c bounds - >= 23057014 @ 299.711
300.72/301.50	c bounds - >= 23057016 @ 299.724
300.72/301.50	c bounds - >= 23057024 @ 299.732
300.72/301.50	c bounds - >= 23057059 @ 299.739
300.72/301.50	c bounds - >= 23057061 @ 299.741
300.72/301.50	c bounds - >= 23057076 @ 299.746
300.72/301.50	c bounds - >= 23057127 @ 299.749
300.72/301.50	c bounds - >= 23057136 @ 299.753
300.72/301.50	c bounds - >= 23057201 @ 299.756
300.72/301.50	c bounds - >= 23057230 @ 299.761
300.72/301.50	c bounds - >= 23057247 @ 299.767
300.72/301.50	c bounds - >= 23057281 @ 299.774
300.72/301.50	c bounds - >= 23057301 @ 299.779
300.72/301.50	c bounds - >= 23057316 @ 299.785
300.72/301.50	c bounds - >= 23057328 @ 299.791
300.72/301.50	c bounds - >= 23057348 @ 299.799
300.72/301.50	c bounds - >= 23057353 @ 299.803
300.72/301.50	c bounds - >= 23057416 @ 299.804
300.72/301.50	c bounds - >= 23057446 @ 299.814
300.72/301.50	c bounds - >= 23057549 @ 299.819
300.72/301.50	c bounds - >= 23057551 @ 299.822
300.72/301.50	c bounds - >= 23057562 @ 299.824
300.72/301.50	c bounds - >= 23057569 @ 299.832
300.72/301.50	c bounds - >= 23057580 @ 299.842
300.72/301.50	c bounds - >= 23057589 @ 299.852
300.72/301.50	c bounds - >= 23057591 @ 299.864
300.72/301.50	c bounds - >= 23057597 @ 299.879
300.72/301.50	c bounds - >= 23057629 @ 299.886
300.72/301.50	c bounds - >= 23057630 @ 299.889
300.72/301.50	c bounds - >= 23057632 @ 299.892
300.72/301.50	c bounds - >= 23057633 @ 299.905
300.72/301.50	c bounds - >= 23057648 @ 299.911
300.72/301.50	c bounds - >= 23057679 @ 299.912
300.72/301.50	c bounds - >= 23057723 @ 299.925
300.72/301.50	c bounds - >= 23057727 @ 299.931
300.72/301.50	c bounds - >= 23057734 @ 299.939
300.72/301.50	c bounds - >= 23057752 @ 299.952
300.72/301.50	c bounds - >= 23057757 @ 299.959
300.72/301.50	c bounds - >= 23057773 @ 299.965
300.72/301.50	c bounds - >= 23057780 @ 299.971
300.72/301.50	c bounds - >= 23057802 @ 299.975
300.72/301.50	c bounds - >= 23057807 @ 300.002
300.72/301.50	c bounds - >= 23057812 @ 300.007
300.72/301.50	c bounds - >= 23057813 @ 300.01
300.72/301.50	c bounds - >= 23057814 @ 300.022
300.72/301.50	c bounds - >= 23057822 @ 300.03
300.72/301.50	c bounds - >= 23057830 @ 300.085
300.72/301.50	c bounds - >= 23057832 @ 300.09
657.06/658.77	c bounds - >= 23057834 @ 300.095
657.06/658.77	c bounds - >= 23057868 @ 300.111
657.06/658.77	c bounds - >= 23057889 @ 300.128
657.06/658.77	c bounds - >= 23057890 @ 300.146
657.06/658.77	c bounds - >= 23057904 @ 300.162
657.06/658.77	c bounds - >= 23057933 @ 300.173
657.06/658.77	c bounds - >= 23057942 @ 300.191
657.06/658.77	c bounds - >= 23057953 @ 300.226
657.06/658.77	c bounds - >= 23057954 @ 300.235
657.06/658.77	c bounds - >= 23057956 @ 300.239
657.06/658.77	c #Conflicts:       1000 | #Constraints:       3853
657.06/658.77	c bounds - >= 23057957 @ 300.266
657.06/658.77	c bounds - >= 23057959 @ 300.288
657.06/658.77	c bounds - >= 23057961 @ 300.321
657.06/658.77	c bounds - >= 23057966 @ 300.329
657.06/658.77	c bounds - >= 23057973 @ 300.36
657.06/658.77	c bounds - >= 23057982 @ 300.978
657.06/658.77	c bounds - >= 23057985 @ 301.043
657.06/658.77	c bounds - >= 23057989 @ 301.113
657.06/658.77	c bounds - >= 23057995 @ 301.259
657.06/658.77	c bounds - >= 23057996 @ 301.277
657.06/658.77	c bounds - >= 23058009 @ 301.335
657.06/658.77	c bounds - >= 23058010 @ 301.59
657.06/658.77	c bounds - >= 23058035 @ 301.612
657.06/658.77	c bounds - >= 23058037 @ 301.719
657.06/658.77	c bounds - >= 23058045 @ 301.999
657.06/658.77	c bounds - >= 23058063 @ 302.144
657.06/658.77	c bounds - >= 23058088 @ 302.16
657.06/658.77	c bounds - >= 23058132 @ 302.172
657.06/658.77	c bounds - >= 23058288 @ 302.196
657.06/658.77	c bounds - >= 23058307 @ 302.289
657.06/658.77	c bounds - >= 23058310 @ 302.346
657.06/658.77	c bounds - >= 23058376 @ 302.363
657.06/658.77	c bounds - >= 23058384 @ 302.396
657.06/658.77	c bounds - >= 23058391 @ 302.418
657.06/658.77	c bounds - >= 23058410 @ 302.434
657.06/658.77	c bounds - >= 23058417 @ 302.463
657.06/658.77	c bounds - >= 23058418 @ 302.503
657.06/658.77	c bounds - >= 23058421 @ 302.529
657.06/658.77	c bounds - >= 23058424 @ 302.546
657.06/658.77	c bounds - >= 23058439 @ 302.563
657.06/658.77	c bounds - >= 23058454 @ 302.577
657.06/658.77	c bounds - >= 23058465 @ 302.591
657.06/658.77	c bounds - >= 23058466 @ 302.619
657.06/658.77	c #Conflicts:       2000 | #Constraints:       4886
657.06/658.77	c INPROCESSING
657.06/658.77	c GARBAGE COLLECT
657.06/658.77	c bounds - >= 23058474 @ 302.769
657.06/658.77	c bounds - >= 23058492 @ 302.796
657.06/658.77	c bounds - >= 23058559 @ 302.84
657.06/658.77	c bounds - >= 23058560 @ 302.884
657.06/658.77	c bounds - >= 23058591 @ 302.907
657.06/658.77	c bounds - >= 23058652 @ 302.931
657.06/658.77	c bounds - >= 23058658 @ 302.949
657.06/658.77	c bounds - >= 23058660 @ 302.971
657.06/658.77	c bounds - >= 23058672 @ 302.996
657.06/658.77	c bounds - >= 23058716 @ 303.017
657.06/658.77	c bounds - >= 23058740 @ 303.026
657.06/658.77	c bounds - >= 23058759 @ 303.059
657.06/658.77	c bounds - >= 23058763 @ 303.26
657.06/658.77	c bounds - >= 23058771 @ 303.279
657.06/658.77	c bounds - >= 23058774 @ 303.317
657.06/658.77	c bounds - >= 23058793 @ 303.47
657.06/658.77	c bounds - >= 23058804 @ 303.569
657.06/658.77	c bounds - >= 23058812 @ 303.665
657.06/658.77	c bounds - >= 23058824 @ 303.795
657.06/658.77	c bounds - >= 23058844 @ 303.824
657.06/658.77	c bounds - >= 23058874 @ 303.866
657.06/658.77	c bounds - >= 23058910 @ 304.252
657.06/658.77	c bounds - >= 23058913 @ 304.274
657.06/658.77	c bounds - >= 23058917 @ 304.299
657.06/658.77	c bounds - >= 23058932 @ 305.133
657.06/658.77	c bounds - >= 23058934 @ 306.186
657.06/658.77	c bounds - >= 23058944 @ 306.256
657.06/658.77	c #Conflicts:       3000 | #Constraints:       4226
657.06/658.77	c bounds - >= 23058954 @ 315.785
657.06/658.77	c #Conflicts:       4000 | #Constraints:       5227
657.06/658.77	c INPROCESSING
657.06/658.77	c GARBAGE COLLECT
657.06/658.77	c #Conflicts:       5000 | #Constraints:       4527
657.06/658.77	c bounds - >= 23058958 @ 338.704
657.06/658.77	c #Conflicts:       6000 | #Constraints:       5528
657.06/658.77	c INPROCESSING
657.06/658.77	c GARBAGE COLLECT
657.06/658.77	c #Conflicts:       7000 | #Constraints:       4493
657.06/658.77	c #Conflicts:       8000 | #Constraints:       5493
657.06/658.77	c bounds - >= 23058978 @ 408.791
657.06/658.77	c #Conflicts:       9000 | #Constraints:       6494
657.06/658.77	c INPROCESSING
657.06/658.77	c GARBAGE COLLECT
657.06/658.77	c bounds - >= 23058986 @ 429.372
657.06/658.77	c bounds - >= 23058992 @ 431.598
657.06/658.77	c bounds - >= 23058995 @ 434.126
657.06/658.77	c bounds - >= 23058998 @ 437.448
657.06/658.77	c #Conflicts:      10000 | #Constraints:       5180
657.06/658.77	c bounds - >= 23059014 @ 466.008
657.06/658.77	c #Conflicts:      11000 | #Constraints:       6181
657.06/658.77	c #Conflicts:      12000 | #Constraints:       7181
657.06/658.77	c INPROCESSING
657.06/658.77	c GARBAGE COLLECT
657.06/658.77	c #Conflicts:      13000 | #Constraints:       5623
657.06/658.77	c #Conflicts:      14000 | #Constraints:       6623
657.06/658.77	c bounds - >= 23059024 @ 568.348
657.06/658.77	c bounds - >= 23059043 @ 570.34
657.06/658.77	c bounds - >= 23059052 @ 570.48
657.06/658.77	c bounds - >= 23059060 @ 574.393
657.06/658.77	c #Conflicts:      15000 | #Constraints:       7627
657.06/658.77	c INPROCESSING
657.06/658.77	c GARBAGE COLLECT
657.06/658.77	c bounds - >= 23059068 @ 579.941
657.06/658.77	c bounds - >= 23059078 @ 589.292
657.06/658.77	c #Conflicts:      16000 | #Constraints:       5847
657.06/658.77	c bounds - >= 23059080 @ 591.218
657.06/658.77	c #Conflicts:      17000 | #Constraints:       6848
657.06/658.77	c bounds - >= 23059082 @ 608.693
657.06/658.77	c #Conflicts:      18000 | #Constraints:       7849
657.06/658.77	c INPROCESSING
657.06/658.77	c GARBAGE COLLECT
657.06/658.77	c bounds - >= 23059086 @ 640.78
657.06/658.77	c #Conflicts:      19000 | #Constraints:       5856
657.06/658.77	c bounds - >= 23059120 @ 650.577
1785.89/1790.47	c bounds - >= 23059121 @ 652.721
1785.89/1790.47	c bounds - >= 23059130 @ 654.261
1785.89/1790.47	c bounds - >= 23059167 @ 655.13
1785.89/1790.47	c bounds - >= 23059172 @ 655.699
1785.89/1790.47	c #Conflicts:      20000 | #Constraints:       6861
1785.89/1790.47	c #Conflicts:      21000 | #Constraints:       7861
1785.89/1790.47	c bounds - >= 23059183 @ 673.448
1785.89/1790.47	c bounds - >= 23059189 @ 679.366
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      22000 | #Constraints:       5663
1785.89/1790.47	c bounds - >= 23059203 @ 687.507
1785.89/1790.47	c bounds - >= 23059213 @ 689.102
1785.89/1790.47	c #Conflicts:      23000 | #Constraints:       6665
1785.89/1790.47	c #Conflicts:      24000 | #Constraints:       7665
1785.89/1790.47	c bounds - >= 23059217 @ 719.298
1785.89/1790.47	c bounds - >= 23059221 @ 723.214
1785.89/1790.47	c bounds - >= 23059235 @ 726.992
1785.89/1790.47	c bounds - >= 23059237 @ 727.329
1785.89/1790.47	c bounds - >= 23059241 @ 727.585
1785.89/1790.47	c bounds - >= 23059262 @ 727.79
1785.89/1790.47	c bounds - >= 23059272 @ 727.968
1785.89/1790.47	c bounds - >= 23059274 @ 736.448
1785.89/1790.47	c #Conflicts:      25000 | #Constraints:       8673
1785.89/1790.47	c bounds - >= 23059276 @ 737.171
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      26000 | #Constraints:       6261
1785.89/1790.47	c bounds - >= 23059291 @ 763.14
1785.89/1790.47	c bounds - >= 23059301 @ 768.216
1785.89/1790.47	c #Conflicts:      27000 | #Constraints:       7263
1785.89/1790.47	c bounds - >= 23059308 @ 770.472
1785.89/1790.47	c bounds - >= 23059320 @ 794.157
1785.89/1790.47	c bounds - >= 23059353 @ 794.299
1785.89/1790.47	c #Conflicts:      28000 | #Constraints:       8266
1785.89/1790.47	c bounds - >= 23059390 @ 795.557
1785.89/1790.47	c bounds - >= 23059397 @ 802.324
1785.89/1790.47	c bounds - >= 23059404 @ 807.597
1785.89/1790.47	c #Conflicts:      29000 | #Constraints:       9269
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c bounds - >= 23059427 @ 856.966
1785.89/1790.47	c bounds - >= 23059436 @ 857.191
1785.89/1790.47	c bounds - >= 23059442 @ 857.278
1785.89/1790.47	c #Conflicts:      30000 | #Constraints:       6674
1785.89/1790.47	c #Conflicts:      31000 | #Constraints:       7674
1785.89/1790.47	c #Conflicts:      32000 | #Constraints:       8674
1785.89/1790.47	c #Conflicts:      33000 | #Constraints:       9674
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      34000 | #Constraints:       6875
1785.89/1790.47	c bounds - >= 23059449 @ 976.279
1785.89/1790.47	c #Conflicts:      35000 | #Constraints:       7876
1785.89/1790.47	c bounds - >= 23059457 @ 1000.4
1785.89/1790.47	c #Conflicts:      36000 | #Constraints:       8877
1785.89/1790.47	c #Conflicts:      37000 | #Constraints:       9877
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      38000 | #Constraints:       6879
1785.89/1790.47	c bounds - >= 23059481 @ 1103.81
1785.89/1790.47	c bounds - >= 23059486 @ 1110.38
1785.89/1790.47	c #Conflicts:      39000 | #Constraints:       7881
1785.89/1790.47	c bounds - >= 23059501 @ 1120.59
1785.89/1790.47	c bounds - >= 23059503 @ 1125.78
1785.89/1790.47	c bounds - >= 23059529 @ 1128.43
1785.89/1790.47	c bounds - >= 23059541 @ 1128.56
1785.89/1790.47	c #Conflicts:      40000 | #Constraints:       8885
1785.89/1790.47	c #Conflicts:      41000 | #Constraints:       9885
1785.89/1790.47	c bounds - >= 23059544 @ 1180.8
1785.89/1790.47	c bounds - >= 23059550 @ 1180.97
1785.89/1790.47	c bounds - >= 23059554 @ 1181.15
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      42000 | #Constraints:       6666
1785.89/1790.47	c #Conflicts:      43000 | #Constraints:       7666
1785.89/1790.47	c #Conflicts:      44000 | #Constraints:       8666
1785.89/1790.47	c #Conflicts:      45000 | #Constraints:       9666
1785.89/1790.47	c #Conflicts:      46000 | #Constraints:      10666
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      47000 | #Constraints:       7259
1785.89/1790.47	c #Conflicts:      48000 | #Constraints:       8259
1785.89/1790.47	c #Conflicts:      49000 | #Constraints:       9259
1785.89/1790.47	c #Conflicts:      50000 | #Constraints:      10259
1785.89/1790.47	c #Conflicts:      51000 | #Constraints:      11259
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      52000 | #Constraints:       7656
1785.89/1790.47	c #Conflicts:      53000 | #Constraints:       8656
1785.89/1790.47	c #Conflicts:      54000 | #Constraints:       9656
1785.89/1790.47	c #Conflicts:      55000 | #Constraints:      10656
1785.89/1790.47	c #Conflicts:      56000 | #Constraints:      11656
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      57000 | #Constraints:       7855
1785.89/1790.47	c #Conflicts:      58000 | #Constraints:       8855
1785.89/1790.47	c bounds - >= 23059556 @ 1628.57
1785.89/1790.47	c #Conflicts:      59000 | #Constraints:       9856
1785.89/1790.47	c #Conflicts:      60000 | #Constraints:      10856
1785.89/1790.47	c #Conflicts:      61000 | #Constraints:      11856
1785.89/1790.47	c INPROCESSING
1785.89/1790.47	c GARBAGE COLLECT
1785.89/1790.47	c #Conflicts:      62000 | #Constraints:       7856
1785.89/1790.47	c #Conflicts:      63000 | #Constraints:       8856
1785.89/1790.47	c #Conflicts:      64000 | #Constraints:       9856
1785.89/1790.47	c bounds - >= 23059590 @ 1759.87
1785.89/1790.47	c #Conflicts:      65000 | #Constraints:      10857
3600.02/3609.10	c bounds - >= 23059620 @ 1771.07
3600.02/3609.10	c #Conflicts:      66000 | #Constraints:      11858
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:      67000 | #Constraints:       7648
3600.02/3609.10	c #Conflicts:      68000 | #Constraints:       8648
3600.02/3609.10	c #Conflicts:      69000 | #Constraints:       9648
3600.02/3609.10	c #Conflicts:      70000 | #Constraints:      10648
3600.02/3609.10	c #Conflicts:      71000 | #Constraints:      11648
3600.02/3609.10	c #Conflicts:      72000 | #Constraints:      12648
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:      73000 | #Constraints:       8251
3600.02/3609.10	c #Conflicts:      74000 | #Constraints:       9251
3600.02/3609.10	c #Conflicts:      75000 | #Constraints:      10251
3600.02/3609.10	c bounds - >= 23059630 @ 1991.36
3600.02/3609.10	c #Conflicts:      76000 | #Constraints:      11252
3600.02/3609.10	c #Conflicts:      77000 | #Constraints:      12252
3600.02/3609.10	c #Conflicts:      78000 | #Constraints:      13252
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:      79000 | #Constraints:       8656
3600.02/3609.10	c #Conflicts:      80000 | #Constraints:       9656
3600.02/3609.10	c #Conflicts:      81000 | #Constraints:      10656
3600.02/3609.10	c #Conflicts:      82000 | #Constraints:      11656
3600.02/3609.10	c bounds - >= 23059639 @ 2160.23
3600.02/3609.10	c #Conflicts:      83000 | #Constraints:      12657
3600.02/3609.10	c #Conflicts:      84000 | #Constraints:      13657
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:      85000 | #Constraints:       8858
3600.02/3609.10	c #Conflicts:      86000 | #Constraints:       9858
3600.02/3609.10	c #Conflicts:      87000 | #Constraints:      10858
3600.02/3609.10	c #Conflicts:      88000 | #Constraints:      11858
3600.02/3609.10	c bounds - >= 23059649 @ 2317.79
3600.02/3609.10	c #Conflicts:      89000 | #Constraints:      12859
3600.02/3609.10	c #Conflicts:      90000 | #Constraints:      13859
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:      91000 | #Constraints:       8856
3600.02/3609.10	c #Conflicts:      92000 | #Constraints:       9856
3600.02/3609.10	c #Conflicts:      93000 | #Constraints:      10856
3600.02/3609.10	c #Conflicts:      94000 | #Constraints:      11856
3600.02/3609.10	c #Conflicts:      95000 | #Constraints:      12856
3600.02/3609.10	c #Conflicts:      96000 | #Constraints:      13856
3600.02/3609.10	c bounds - >= 23059660 @ 2534.26
3600.02/3609.10	c bounds - >= 23059663 @ 2534.47
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:      97000 | #Constraints:       8663
3600.02/3609.10	c #Conflicts:      98000 | #Constraints:       9663
3600.02/3609.10	c #Conflicts:      99000 | #Constraints:      10663
3600.02/3609.10	c #Conflicts:     100000 | #Constraints:      11663
3600.02/3609.10	c bounds - >= 23059671 @ 2658.02
3600.02/3609.10	c #Conflicts:     101000 | #Constraints:      12664
3600.02/3609.10	c #Conflicts:     102000 | #Constraints:      13664
3600.02/3609.10	c #Conflicts:     103000 | #Constraints:      14664
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:     104000 | #Constraints:       9262
3600.02/3609.10	c #Conflicts:     105000 | #Constraints:      10262
3600.02/3609.10	c #Conflicts:     106000 | #Constraints:      11262
3600.02/3609.10	c bounds - >= 23059712 @ 2849.56
3600.02/3609.10	c #Conflicts:     107000 | #Constraints:      12263
3600.02/3609.10	c bounds - >= 23059726 @ 2881.33
3600.02/3609.10	c #Conflicts:     108000 | #Constraints:      13264
3600.02/3609.10	c #Conflicts:     109000 | #Constraints:      14264
3600.02/3609.10	c #Conflicts:     110000 | #Constraints:      15264
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:     111000 | #Constraints:       9665
3600.02/3609.10	c #Conflicts:     112000 | #Constraints:      10665
3600.02/3609.10	c #Conflicts:     113000 | #Constraints:      11665
3600.02/3609.10	c #Conflicts:     114000 | #Constraints:      12665
3600.02/3609.10	c bounds - >= 23059738 @ 3105.15
3600.02/3609.10	c #Conflicts:     115000 | #Constraints:      13666
3600.02/3609.10	c #Conflicts:     116000 | #Constraints:      14666
3600.02/3609.10	c #Conflicts:     117000 | #Constraints:      15666
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:     118000 | #Constraints:       9870
3600.02/3609.10	c #Conflicts:     119000 | #Constraints:      10870
3600.02/3609.10	c #Conflicts:     120000 | #Constraints:      11870
3600.02/3609.10	c #Conflicts:     121000 | #Constraints:      12870
3600.02/3609.10	c bounds - >= 23059740 @ 3333.7
3600.02/3609.10	c #Conflicts:     122000 | #Constraints:      13871
3600.02/3609.10	c #Conflicts:     123000 | #Constraints:      14871
3600.02/3609.10	c #Conflicts:     124000 | #Constraints:      15871
3600.02/3609.10	c INPROCESSING
3600.02/3609.10	c GARBAGE COLLECT
3600.02/3609.10	c #Conflicts:     125000 | #Constraints:       9867
3600.02/3609.10	c #Conflicts:     126000 | #Constraints:      10867
3600.02/3609.10	c Program interrupted by user.
3600.02/3609.10	c cpu time 3570.99 s
3600.02/3609.10	c deterministic time 306795723449 3.07e+11
3600.02/3609.10	c optimization time 67.4111 s
3600.02/3609.10	c total solve time 3204.46 s
3600.02/3609.10	c core-guided solve time 3204.46 s
3600.02/3609.10	c propagation time 3182.35 s
3600.02/3609.10	c conflict analysis time 57.9005 s
3600.02/3609.10	c propagations 34499913
3600.02/3609.10	c resolve steps 806080
3600.02/3609.10	c decisions 26158690
3600.02/3609.10	c conflicts 126106
3600.02/3609.10	c restarts 341
3600.02/3609.10	c inprocessing phases 27
3600.02/3609.10	c input clauses 1601
3600.02/3609.10	c input cardinalities 166
3600.02/3609.10	c input general constraints 868
3600.02/3609.10	c input average constraint length 493.72
3600.02/3609.10	c input average constraint degree 5897434.65
3600.02/3609.10	c learned clauses 22234
3600.02/3609.10	c learned cardinalities 8
3600.02/3609.10	c learned general constraints 104217
3600.02/3609.10	c learned average constraint length 867.25
3600.02/3609.10	c learned average constraint degree 38445944.16
3600.02/3609.10	c watched constraints 104626
3600.02/3609.10	c counting constraints 459
3600.02/3609.10	c gcd simplifications 7930
3600.02/3609.10	c detected cardinalities 3
3600.02/3609.10	c weakened non-implied lits 9419851
3600.02/3609.10	c weakened non-implying lits 20638
3600.02/3609.10	c original variables 6402
3600.02/3609.10	c clausal propagations 694733
3600.02/3609.10	c cardinality propagations 1739533
3600.02/3609.10	c watched propagations 15159314
3600.02/3609.10	c counting propagations 15668342
3600.02/3609.10	c watch lookups 47214783685
3600.02/3609.10	c watch backjump lookups 47101188959
3600.02/3609.10	c watch checks 121469627958
3600.02/3609.10	c propagation checks 90441278318
3600.02/3609.10	c constraint additions 447403443
3600.02/3609.10	c trail pops 60782482
3600.02/3609.10	c formula constraints 1928
3600.02/3609.10	c learned constraints 126459
3600.02/3609.10	c bound constraints 707
3600.02/3609.10	c core-guided constraints 0
3600.02/3609.10	c encountered formula constraints 361967
3600.02/3609.10	c encountered learned constraints 570219
3600.02/3609.10	c encountered bound constraints 0
3600.02/3609.10	c encountered core-guided constraints 0
3600.02/3609.10	c LP total time 0 s
3600.02/3609.10	c LP solve time 0 s
3600.02/3609.10	c LP constraints added 0
3600.02/3609.10	c LP constraints removed 0
3600.02/3609.10	c LP pivots internal 0
3600.02/3609.10	c LP pivots root 0
3600.02/3609.10	c LP calls 0
3600.02/3609.10	c LP optimalities 0
3600.02/3609.10	c LP no pivot count 0
3600.02/3609.10	c LP infeasibilities 0
3600.02/3609.10	c LP valid Farkas constraints 0
3600.02/3609.10	c LP learned Farkas constraints 0
3600.02/3609.10	c LP basis resets 0
3600.02/3609.10	c LP cycling count 0
3600.02/3609.10	c LP singular count 0
3600.02/3609.10	c LP no primal count 0
3600.02/3609.10	c LP no farkas count 0
3600.02/3609.10	c LP other issue count 0
3600.02/3609.10	c LP Gomory cuts 0
3600.02/3609.10	c LP learned cuts 0
3600.02/3609.10	c LP deleted cuts 0
3600.02/3609.10	c LP encountered Gomory constraints 0
3600.02/3609.10	c LP encountered Farkas constraints 0
3600.02/3609.10	c LP encountered learned Farkas constraints 0
3600.02/3609.10	c CG auxiliary variables introduced 0
3600.02/3609.10	c CG solutions found 0
3600.02/3609.10	c CG cores constructed 640
3600.02/3609.10	c CG core cardinality constraints returned 0
3600.02/3609.10	c CG unit cores 0
3600.02/3609.10	c CG single cores 564
3600.02/3609.10	c CG blocks removed during cardinality reduction 179
3600.02/3609.10	c CG first core best 11
3600.02/3609.10	c CG decision core best 32
3600.02/3609.10	c CG core reduction tie 33
3600.02/3609.10	c CG core degree average 1.00
3600.02/3609.10	c CG core slack average 151.54
3600.02/3609.10	c CG exhausted 0
3600.02/3609.10	c CG exhaust time 0 s
3600.02/3609.10	c CG trimmed 2397
3600.02/3609.10	c CG trim time 3.1161 s
3600.02/3609.10	c CG minimized 0
3600.02/3609.10	c CG minimize time 0 s
3600.02/3609.10	c CG am1 prop time 0.002027 s
3600.02/3609.10	c CG # am1s reformulated 0
3600.02/3609.10	c CG lower bound derived from am1s 0
3600.02/3609.10	c CG # clausal cores 592
3600.02/3609.10	c CG # cardinality cores 0
3600.02/3609.10	c CG # pb cores 124
3600.02/3609.10	c CG # pb reforms 0
3600.02/3609.10	c CG # cores discarded because of pb reform 0
3600.02/3609.10	d LOWERBOUND 23059740
3600.02/3609.10	d NCORES 640
3600.02/3609.10	d NPBCORES 124
3600.02/3609.10	d NPBREFORM 0
3600.02/3609.10	d NTRIMMED 2397
3600.02/3609.10	d NEXHAUSTED 0
3600.02/3609.10	d NAM1S 0
3600.02/3609.10	d AM1LB 0
3600.02/3609.10	c [Papilo Statistics]
3600.02/3609.10	c prepro time 0.00864727s
3600.02/3609.10	c # tsx applied 5385
3600.02/3609.10	c # tsx conflicts 0
3600.02/3609.10	c # bound changes 2833
3600.02/3609.10	c # side changes 1
3600.02/3609.10	c # coef changes 2940
3600.02/3609.10	c # rounds 4
3600.02/3609.10	c # deted vars 2840
3600.02/3609.10	c # deted constrs 2704
3600.02/3609.10	c # consecutive rounds of only bound changes 0
3600.02/3609.10	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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: 63968 MiB (60428 MiB free)
  memory of node 1: 64473 MiB (62054 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454656-1721446081/watcher-4454656-1721446081 -o /tmp/evaluation-result-4454656-1721446081/solver-4454656-1721446081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721438873-1042994 --watchdog 3760 mixed-bag HOME/instance-4454656-1721446081.opb 

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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1046967, runsolver pid=1046964

[startup+0.101075 s]*
/proc/loadavg: 4.12 4.09 4.09 4/252 1046976
/proc/meminfo: memFree=126162928/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=113776 memory=45636 CPUtime=0.09 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 8542 0 0 0 8 1 0 0 20 0 1 0 196776999 116506624 11409 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 28444 11409 3894 3002 0 12193 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113776 KiB
Current children cumulated memory: 45636 KiB

[startup+0.205683 s]*
/proc/loadavg: 4.12 4.09 4.09 4/254 1046982
/proc/meminfo: memFree=126145172/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=137000 memory=62772 CPUtime=0.2 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 13013 0 0 0 18 2 0 0 20 0 1 0 196776999 140288000 15693 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 34250 15693 4094 3002 0 17999 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 137000 KiB
Current children cumulated memory: 62772 KiB

[startup+0.305538 s]*
/proc/loadavg: 4.12 4.09 4.09 4/254 1046982
/proc/meminfo: memFree=126140800/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=141520 memory=66660 CPUtime=0.29 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 13991 0 0 0 27 2 0 0 20 0 1 0 196776999 144916480 16665 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 35380 16665 4094 3002 0 19129 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 141520 KiB
Current children cumulated memory: 66660 KiB

[startup+0.700184 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 1047008
/proc/meminfo: memFree=126139344/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=141876 memory=67188 CPUtime=0.68 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 14133 0 0 0 66 2 0 0 20 0 1 0 196776999 145281024 16797 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 35469 16797 4094 3002 0 19218 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 141876 KiB
Current children cumulated memory: 67188 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 1047050
/proc/meminfo: memFree=126326364/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=180220 memory=103964 CPUtime=1.48 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 24933 0 0 0 144 4 0 0 20 0 1 0 196776999 184545280 25991 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 45055 25991 4125 3002 0 28804 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180220 KiB
Current children cumulated memory: 103964 KiB

[startup+3.10563 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1047060
/proc/meminfo: memFree=125898092/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=180220 memory=104200 CPUtime=3.08 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 24994 0 0 0 304 4 0 0 20 0 1 0 196776999 184545280 26050 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 45055 26050 4125 3002 0 28804 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 180220 KiB
Current children cumulated memory: 104200 KiB

[startup+6.30017 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1047060
/proc/meminfo: memFree=125794436/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=186320 memory=111040 CPUtime=6.27 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 26728 0 0 0 623 4 0 0 20 0 1 0 196776999 190791680 27760 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 46580 27760 4125 3002 0 30329 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 186320 KiB
Current children cumulated memory: 111040 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 4.10 5/257 1047153
/proc/meminfo: memFree=125865548/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=194956 memory=119052 CPUtime=12.65 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 29229 0 0 0 1260 5 0 0 20 0 1 0 196776999 199634944 29763 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 48739 29763 4125 3002 0 32488 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 194956 KiB
Current children cumulated memory: 119052 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 1047155
/proc/meminfo: memFree=125800968/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=195516 memory=122472 CPUtime=25.42 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 30798 0 0 0 2537 5 0 0 20 0 1 0 196776999 200208384 30618 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 48879 30618 4125 3002 0 32628 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 195516 KiB
Current children cumulated memory: 122472 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 1047329
/proc/meminfo: memFree=125729488/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=229896 memory=158800 CPUtime=50.96 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 56979 0 0 0 5086 10 0 0 20 0 1 0 196776999 235413504 39700 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 57474 39700 4125 3002 0 41223 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 229896 KiB
Current children cumulated memory: 158800 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 1047338
/proc/meminfo: memFree=125474492/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=278768 memory=208024 CPUtime=102.01 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 96307 0 0 0 10185 16 0 0 20 0 1 0 196776999 285458432 52006 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 69692 52006 4224 3002 0 53441 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 278768 KiB
Current children cumulated memory: 208024 KiB

[startup+162.3 s]
/proc/loadavg: 4.53 4.20 4.13 5/259 1047349
/proc/meminfo: memFree=125446344/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=295352 memory=229892 CPUtime=161.86 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 106610 0 0 0 16168 18 0 0 20 0 1 0 196776999 302440448 57473 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 73838 57473 4224 3002 0 57587 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 295352 KiB
Current children cumulated memory: 229892 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.18 4.12 5/257 1047416
/proc/meminfo: memFree=125377600/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=322068 memory=255060 CPUtime=221.71 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 117253 0 0 0 22151 20 0 0 20 0 1 0 196776999 329797632 63765 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 80517 63765 4224 3002 0 64266 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 322068 KiB
Current children cumulated memory: 255060 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/258 1047428
/proc/meminfo: memFree=125302268/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=322068 memory=255132 CPUtime=281.57 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 117349 0 0 0 28137 20 0 0 20 0 1 0 196776999 329797632 63783 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 80517 63783 4224 3002 0 64266 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 322068 KiB
Current children cumulated memory: 255132 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/258 1047438
/proc/meminfo: memFree=124740944/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=338960 memory=274232 CPUtime=341.43 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 129521 0 0 0 33937 206 0 0 20 0 1 0 196776999 347095040 68558 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 84740 68558 4336 3002 0 68489 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 338960 KiB
Current children cumulated memory: 274232 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 1047449
/proc/meminfo: memFree=124102592/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=357928 memory=282592 CPUtime=401.28 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 130134 0 0 0 39827 301 0 0 20 0 1 0 196776999 366518272 70648 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 89482 70648 4336 3002 0 73231 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 357928 KiB
Current children cumulated memory: 282592 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 1047459
/proc/meminfo: memFree=123932292/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=357928 memory=286688 CPUtime=461.14 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 130253 0 0 0 45724 390 0 0 20 0 1 0 196776999 366518272 71672 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 89482 71672 4336 3002 0 73231 0

################
# More data... #
################

Current children cumulated memory: 329696 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/254 1048476
/proc/meminfo: memFree=119999424/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=388748 memory=329696 CPUtime=2914.93 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 134569 0 0 0 288971 2522 0 0 20 0 1 0 196776999 398077952 82424 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 97187 82424 4336 3002 0 80936 0
Current children cumulated CPU time: 2914.93 s
Current children cumulated vsize: 388748 KiB
Current children cumulated memory: 329696 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/254 1048487
/proc/meminfo: memFree=119982516/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=388748 memory=329696 CPUtime=2974.79 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 134664 0 0 0 294925 2554 0 0 20 0 1 0 196776999 398077952 82424 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 97187 82424 4336 3002 0 80936 0
Current children cumulated CPU time: 2974.79 s
Current children cumulated vsize: 388748 KiB
Current children cumulated memory: 329696 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.13 6/254 1048497
/proc/meminfo: memFree=119681488/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=332948 CPUtime=3034.64 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135108 0 0 0 300871 2593 0 0 20 0 1 0 196776999 449368064 83237 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83237 4336 3002 0 93458 0
Current children cumulated CPU time: 3034.64 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 332948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/254 1048508
/proc/meminfo: memFree=119445688/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=332948 CPUtime=3094.49 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135178 0 0 0 306814 2635 0 0 20 0 1 0 196776999 449368064 83237 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83237 4336 3002 0 93458 0
Current children cumulated CPU time: 3094.49 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 332948 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/254 1048519
/proc/meminfo: memFree=119280704/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=332948 CPUtime=3154.34 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135318 0 0 0 312770 2664 0 0 20 0 1 0 196776999 449368064 83237 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83237 4336 3002 0 93458 0
Current children cumulated CPU time: 3154.34 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 332948 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/256 1048533
/proc/meminfo: memFree=119269280/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=332948 CPUtime=3214.2 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135458 0 0 0 318725 2695 0 0 20 0 1 0 196776999 449368064 83237 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83237 4336 3002 0 93458 0
Current children cumulated CPU time: 3214.2 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 332948 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.12 5/256 1048545
/proc/meminfo: memFree=119197592/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=334996 CPUtime=3274.05 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135531 0 0 0 324675 2730 0 0 20 0 1 0 196776999 449368064 83749 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83749 4336 3002 0 93458 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 334996 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/256 1048555
/proc/meminfo: memFree=119170140/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=334996 CPUtime=3333.89 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135601 0 0 0 330625 2764 0 0 20 0 1 0 196776999 449368064 83749 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83749 4336 3002 0 93458 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 334996 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/256 1048567
/proc/meminfo: memFree=119081588/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=334996 CPUtime=3393.74 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135741 0 0 0 336578 2796 0 0 20 0 1 0 196776999 449368064 83749 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83749 4336 3002 0 93458 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 334996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/258 1048961
/proc/meminfo: memFree=119080068/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=334996 CPUtime=3453.58 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 135881 0 0 0 342533 2825 0 0 20 0 1 0 196776999 449368064 83749 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83749 4336 3002 0 93458 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 334996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/256 1048971
/proc/meminfo: memFree=118944156/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=334996 CPUtime=3513.43 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 136026 0 0 0 348491 2852 0 0 20 0 1 0 196776999 449368064 83749 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 83749 4336 3002 0 93458 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 334996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1048983
/proc/meminfo: memFree=118935992/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=337044 CPUtime=3573.29 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 136097 0 0 0 354443 2886 0 0 20 0 1 0 196776999 449368064 84261 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 84261 4336 3002 0 93458 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 337044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 1048987
/proc/meminfo: memFree=118818072/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=337044 CPUtime=3600.02 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 136098 0 0 0 357099 2903 0 0 20 0 1 0 196776999 449368064 84261 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 84261 4336 3002 0 93458 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 337044 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.11 s]
# the end of solver process 1046967 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3571 s, system=29.0391 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.11 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 1048987
/proc/meminfo: memFree=118818072/131524600 swapFree=131071996/131071996
[pid=1046967] ppid=1046964 vsize=438836 memory=337044 CPUtime=3600.02 cores=1,3
/proc/1046967/stat : 1046967 (mixed-bag) R 1046964 1046967 1042982 0 -1 4194304 136098 0 0 0 357099 2903 0 0 20 0 1 0 196776999 449368064 84261 134679101440 4194304 16488053 140729489480752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 29573120 140729489486869 140729489486946 140729489486946 140729489493963 0
/proc/1046967/statm: 109709 84261 4336 3002 0 93458 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 438836 KiB
Current children cumulated memory: 337044 KiB

Child status: 0

Real time (s): 3609.11
CPU time (s): 3600.04
CPU user time (s): 3571
CPU system time (s): 29.0391
CPU usage (%): 99.7485
Max. virtual memory (cumulated for all children) (KiB): 438836
Max. memory (cumulated for all children) (KiB): 337044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571
system time used= 29.0391
maximum resident set size= 337600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 1197


# summary of solver processes directly reported to runsolver:
#   pid: 1046967
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3571
#   total CPU system time (s): 29.0391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68552 second user time and 16.567 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-20 05:28:13
IDJOB=4454656
IDBENCH=146797
IDSOLVER=3083
FILE ID=nodeC032/4454656-1721446081
RUNJOBID= nodeC032-1721438873-1042994
SLURM_JOB_ID= 7545649
Free space on /tmp= 890032 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454656-1721446081/watcher-4454656-1721446081 -o /tmp/evaluation-result-4454656-1721446081/solver-4454656-1721446081 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721438873-1042994 --watchdog 3760  mixed-bag HOME/instance-4454656-1721446081.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=842965330

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3672.027
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3667.564
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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.766
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3663.801
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
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		: 3672.045
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
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		: 3675.429
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.714
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.499
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123930704 kB
MemAvailable:   126537748 kB
Buffers:          555704 kB
Cached:          2871624 kB
SwapCached:            0 kB
Active:          1044016 kB
Inactive:        5874692 kB
Active(anon):       1572 kB
Inactive(anon):  3535744 kB
Active(file):    1042444 kB
Inactive(file):  2338948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16752 kB
Writeback:             0 kB
AnonPages:       3467328 kB
Mapped:           143428 kB
Shmem:             45912 kB
KReclaimable:     128360 kB
Slab:             245328 kB
SReclaimable:     128360 kB
SUnreclaim:       116968 kB
KernelStack:        4160 kB
PageTables:        17700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4939092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73632 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2195456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC032 at 2024-07-20 06:28:22