Trace number 4435538

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-02? (TO) 3600.12 3610.59

DiagnosticValue
AM1LB138
LOWERBOUND490
NAM1S38
NCORES104
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUMa964700945576a67d3d8d9c44c1c5e5c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark6.7253
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10772
Total number of constraints12051
Number of constraints which are clauses10247
Number of constraints which are cardinality constraints (but not clauses)1804
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint31
Number of terms in the objective function 10772
Biggest coefficient in the objective function 5356
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 30986
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5356
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 30986
Number of bits of the biggest sum of numbers15
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.04	c [STEP] preprocessing with Papilo
0.00/0.06	c [STEP] solving with SCIP
299.31/300.15	c [STEP] preprocessing done, loading into solver
299.31/300.18	c [STEP] solving
299.31/300.18	c #variables 10769 #constraints 12046
299.31/300.18	c SMALL=int, LARGE=long long
299.31/300.18	c bounds - >= 0 @ 299.241
299.31/300.18	c stratification level: 3
399.91/401.08	c bounds - >= 142 @ 299.28
399.91/401.08	c bounds - >= 145 @ 299.282
399.91/401.08	c bounds - >= 148 @ 299.283
399.91/401.08	c bounds - >= 157 @ 299.284
399.91/401.08	c bounds - >= 160 @ 299.286
399.91/401.08	c bounds - >= 163 @ 299.288
399.91/401.08	c bounds - >= 169 @ 299.291
399.91/401.08	c bounds - >= 172 @ 299.292
399.91/401.08	c bounds - >= 176 @ 299.294
399.91/401.08	c bounds - >= 180 @ 299.296
399.91/401.08	c bounds - >= 183 @ 299.296
399.91/401.08	c bounds - >= 187 @ 299.298
399.91/401.08	c bounds - >= 190 @ 299.299
399.91/401.08	c bounds - >= 193 @ 299.3
399.91/401.08	c bounds - >= 196 @ 299.302
399.91/401.08	c bounds - >= 199 @ 299.304
399.91/401.08	c bounds - >= 202 @ 299.305
399.91/401.08	c bounds - >= 205 @ 299.307
399.91/401.08	c bounds - >= 208 @ 299.31
399.91/401.08	c bounds - >= 214 @ 299.312
399.91/401.08	c bounds - >= 217 @ 299.315
399.91/401.08	c bounds - >= 220 @ 299.316
399.91/401.08	c bounds - >= 223 @ 299.318
399.91/401.08	c bounds - >= 226 @ 299.32
399.91/401.08	c bounds - >= 235 @ 299.322
399.91/401.08	c bounds - >= 238 @ 299.324
399.91/401.08	c bounds - >= 241 @ 299.326
399.91/401.08	c bounds - >= 244 @ 299.327
399.91/401.08	c bounds - >= 247 @ 299.328
399.91/401.08	c bounds - >= 250 @ 299.33
399.91/401.08	c bounds - >= 253 @ 299.331
399.91/401.08	c bounds - >= 256 @ 299.333
399.91/401.08	c bounds - >= 259 @ 299.334
399.91/401.08	c bounds - >= 262 @ 299.336
399.91/401.08	c bounds - >= 268 @ 299.337
399.91/401.08	c bounds - >= 271 @ 299.34
399.91/401.08	c bounds - >= 274 @ 299.342
399.91/401.08	c bounds - >= 277 @ 299.344
399.91/401.08	c bounds - >= 283 @ 299.345
399.91/401.08	c bounds - >= 286 @ 299.347
399.91/401.08	c bounds - >= 289 @ 299.349
399.91/401.08	c bounds - >= 292 @ 299.351
399.91/401.08	c bounds - >= 298 @ 299.352
399.91/401.08	c bounds - >= 301 @ 299.355
399.91/401.08	c bounds - >= 304 @ 299.357
399.91/401.08	c bounds - >= 307 @ 299.357
399.91/401.08	c bounds - >= 310 @ 299.358
399.91/401.08	c bounds - >= 313 @ 299.361
399.91/401.08	c bounds - >= 316 @ 299.363
399.91/401.08	c bounds - >= 319 @ 299.365
399.91/401.08	c bounds - >= 322 @ 299.366
399.91/401.08	c bounds - >= 328 @ 299.367
399.91/401.08	c bounds - >= 331 @ 299.369
399.91/401.08	c bounds - >= 334 @ 299.371
399.91/401.08	c bounds - >= 337 @ 299.374
399.91/401.08	c bounds - >= 340 @ 299.376
399.91/401.08	c bounds - >= 343 @ 299.378
399.91/401.08	c bounds - >= 346 @ 299.38
399.91/401.08	c bounds - >= 349 @ 299.382
399.91/401.08	c bounds - >= 352 @ 299.383
399.91/401.08	c bounds - >= 355 @ 299.386
399.91/401.08	c bounds - >= 358 @ 299.388
399.91/401.08	c bounds - >= 361 @ 299.391
399.91/401.08	c bounds - >= 364 @ 299.393
399.91/401.08	c bounds - >= 367 @ 299.394
399.91/401.08	c bounds - >= 370 @ 299.396
399.91/401.08	c bounds - >= 373 @ 299.397
399.91/401.08	c bounds - >= 376 @ 299.4
399.91/401.08	c bounds - >= 379 @ 299.402
399.91/401.08	c bounds - >= 382 @ 299.403
399.91/401.08	c bounds - >= 385 @ 299.405
399.91/401.08	c bounds - >= 388 @ 299.406
399.91/401.08	c bounds - >= 391 @ 299.408
399.91/401.08	c bounds - >= 394 @ 299.41
399.91/401.08	c bounds - >= 397 @ 299.414
399.91/401.08	c bounds - >= 400 @ 299.416
399.91/401.08	c bounds - >= 406 @ 299.418
399.91/401.08	c bounds - >= 409 @ 299.42
399.91/401.08	c bounds - >= 412 @ 299.421
399.91/401.08	c bounds - >= 415 @ 299.421
399.91/401.08	c bounds - >= 418 @ 299.422
399.91/401.08	c bounds - >= 421 @ 299.424
399.91/401.08	c bounds - >= 424 @ 299.427
399.91/401.08	c bounds - >= 427 @ 299.429
399.91/401.08	c bounds - >= 430 @ 299.43
399.91/401.08	c bounds - >= 433 @ 299.433
399.91/401.08	c bounds - >= 436 @ 299.435
399.91/401.08	c bounds - >= 439 @ 299.436
399.91/401.08	c bounds - >= 442 @ 299.437
399.91/401.08	c bounds - >= 445 @ 299.44
399.91/401.08	c bounds - >= 448 @ 299.443
399.91/401.08	c bounds - >= 451 @ 299.444
399.91/401.08	c bounds - >= 454 @ 299.446
399.91/401.08	c bounds - >= 457 @ 299.448
399.91/401.08	c bounds - >= 460 @ 299.449
399.91/401.08	c bounds - >= 466 @ 299.451
399.91/401.08	c bounds - >= 469 @ 299.453
399.91/401.08	c bounds - >= 472 @ 299.456
399.91/401.08	c bounds - >= 475 @ 299.457
399.91/401.08	c bounds - >= 478 @ 299.46
399.91/401.08	c bounds - >= 481 @ 299.463
399.91/401.08	c bounds - >= 484 @ 299.467
399.91/401.08	c bounds - >= 487 @ 299.469
399.91/401.08	c bounds - >= 490 @ 299.474
399.91/401.08	c #Conflicts:       1000 | #Constraints:      13216
399.91/401.08	c #Conflicts:       2000 | #Constraints:      14216
399.91/401.08	c INPROCESSING
399.91/401.08	c GARBAGE COLLECT
399.91/401.08	c #Conflicts:       3000 | #Constraints:      14103
399.91/401.08	c #Conflicts:       4000 | #Constraints:      15103
399.91/401.08	c INPROCESSING
399.91/401.08	c GARBAGE COLLECT
399.91/401.08	c #Conflicts:       5000 | #Constraints:      14500
399.91/401.08	c #Conflicts:       6000 | #Constraints:      15500
399.91/401.08	c INPROCESSING
399.91/401.08	c GARBAGE COLLECT
399.91/401.08	c #Conflicts:       7000 | #Constraints:      14502
399.91/401.08	c #Conflicts:       8000 | #Constraints:      15502
399.91/401.08	c #Conflicts:       9000 | #Constraints:      16502
399.91/401.08	c INPROCESSING
399.91/401.08	c GARBAGE COLLECT
399.91/401.08	c #Conflicts:      10000 | #Constraints:      15215
399.91/401.08	c #Conflicts:      11000 | #Constraints:      16215
399.91/401.08	c #Conflicts:      12000 | #Constraints:      17215
399.91/401.08	c INPROCESSING
399.91/401.08	c GARBAGE COLLECT
399.91/401.08	c #Conflicts:      13000 | #Constraints:      15658
399.91/401.08	c #Conflicts:      14000 | #Constraints:      16658
399.91/401.08	c #Conflicts:      15000 | #Constraints:      17658
399.91/401.08	c INPROCESSING
399.91/401.08	c GARBAGE COLLECT
399.91/401.08	c #Conflicts:      16000 | #Constraints:      15893
399.91/401.08	c #Conflicts:      17000 | #Constraints:      16893
399.91/401.08	c #Conflicts:      18000 | #Constraints:      17893
399.91/401.08	c INPROCESSING
399.91/401.08	c GARBAGE COLLECT
399.91/401.08	c #Conflicts:      19000 | #Constraints:      15905
1035.42/1038.35	c #Conflicts:      20000 | #Constraints:      16905
1035.42/1038.35	c #Conflicts:      21000 | #Constraints:      17905
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      22000 | #Constraints:      15736
1035.42/1038.35	c #Conflicts:      23000 | #Constraints:      16736
1035.42/1038.35	c #Conflicts:      24000 | #Constraints:      17736
1035.42/1038.35	c #Conflicts:      25000 | #Constraints:      18736
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      26000 | #Constraints:      16333
1035.42/1038.35	c #Conflicts:      27000 | #Constraints:      17333
1035.42/1038.35	c #Conflicts:      28000 | #Constraints:      18333
1035.42/1038.35	c #Conflicts:      29000 | #Constraints:      19333
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      30000 | #Constraints:      16725
1035.42/1038.35	c #Conflicts:      31000 | #Constraints:      17725
1035.42/1038.35	c #Conflicts:      32000 | #Constraints:      18725
1035.42/1038.35	c #Conflicts:      33000 | #Constraints:      19725
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      34000 | #Constraints:      16933
1035.42/1038.35	c #Conflicts:      35000 | #Constraints:      17933
1035.42/1038.35	c #Conflicts:      36000 | #Constraints:      18933
1035.42/1038.35	c #Conflicts:      37000 | #Constraints:      19933
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      38000 | #Constraints:      16952
1035.42/1038.35	c #Conflicts:      39000 | #Constraints:      17952
1035.42/1038.35	c #Conflicts:      40000 | #Constraints:      18952
1035.42/1038.35	c #Conflicts:      41000 | #Constraints:      19952
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      42000 | #Constraints:      16733
1035.42/1038.35	c #Conflicts:      43000 | #Constraints:      17733
1035.42/1038.35	c #Conflicts:      44000 | #Constraints:      18733
1035.42/1038.35	c #Conflicts:      45000 | #Constraints:      19733
1035.42/1038.35	c #Conflicts:      46000 | #Constraints:      20733
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      47000 | #Constraints:      17342
1035.42/1038.35	c #Conflicts:      48000 | #Constraints:      18342
1035.42/1038.35	c #Conflicts:      49000 | #Constraints:      19342
1035.42/1038.35	c #Conflicts:      50000 | #Constraints:      20342
1035.42/1038.35	c #Conflicts:      51000 | #Constraints:      21342
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      52000 | #Constraints:      17744
1035.42/1038.35	c #Conflicts:      53000 | #Constraints:      18744
1035.42/1038.35	c #Conflicts:      54000 | #Constraints:      19744
1035.42/1038.35	c #Conflicts:      55000 | #Constraints:      20744
1035.42/1038.35	c #Conflicts:      56000 | #Constraints:      21744
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      57000 | #Constraints:      17950
1035.42/1038.35	c #Conflicts:      58000 | #Constraints:      18950
1035.42/1038.35	c #Conflicts:      59000 | #Constraints:      19950
1035.42/1038.35	c #Conflicts:      60000 | #Constraints:      20950
1035.42/1038.35	c #Conflicts:      61000 | #Constraints:      21950
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      62000 | #Constraints:      17939
1035.42/1038.35	c #Conflicts:      63000 | #Constraints:      18939
1035.42/1038.35	c #Conflicts:      64000 | #Constraints:      19939
1035.42/1038.35	c #Conflicts:      65000 | #Constraints:      20939
1035.42/1038.35	c #Conflicts:      66000 | #Constraints:      21939
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      67000 | #Constraints:      17746
1035.42/1038.35	c #Conflicts:      68000 | #Constraints:      18746
1035.42/1038.35	c #Conflicts:      69000 | #Constraints:      19746
1035.42/1038.35	c #Conflicts:      70000 | #Constraints:      20746
1035.42/1038.35	c #Conflicts:      71000 | #Constraints:      21746
1035.42/1038.35	c #Conflicts:      72000 | #Constraints:      22746
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      73000 | #Constraints:      18335
1035.42/1038.35	c #Conflicts:      74000 | #Constraints:      19335
1035.42/1038.35	c #Conflicts:      75000 | #Constraints:      20335
1035.42/1038.35	c #Conflicts:      76000 | #Constraints:      21335
1035.42/1038.35	c #Conflicts:      77000 | #Constraints:      22335
1035.42/1038.35	c #Conflicts:      78000 | #Constraints:      23335
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      79000 | #Constraints:      18733
1035.42/1038.35	c #Conflicts:      80000 | #Constraints:      19733
1035.42/1038.35	c #Conflicts:      81000 | #Constraints:      20733
1035.42/1038.35	c #Conflicts:      82000 | #Constraints:      21733
1035.42/1038.35	c #Conflicts:      83000 | #Constraints:      22733
1035.42/1038.35	c #Conflicts:      84000 | #Constraints:      23733
1035.42/1038.35	c INPROCESSING
1035.42/1038.35	c GARBAGE COLLECT
1035.42/1038.35	c #Conflicts:      85000 | #Constraints:      18952
1035.42/1038.35	c #Conflicts:      86000 | #Constraints:      19952
1035.42/1038.35	c #Conflicts:      87000 | #Constraints:      20952
1035.42/1038.35	c #Conflicts:      88000 | #Constraints:      21952
1035.42/1038.35	c #Conflicts:      89000 | #Constraints:      22952
1713.14/1718.04	c #Conflicts:      90000 | #Constraints:      23952
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:      91000 | #Constraints:      18952
1713.14/1718.04	c #Conflicts:      92000 | #Constraints:      19952
1713.14/1718.04	c #Conflicts:      93000 | #Constraints:      20952
1713.14/1718.04	c #Conflicts:      94000 | #Constraints:      21952
1713.14/1718.04	c #Conflicts:      95000 | #Constraints:      22952
1713.14/1718.04	c #Conflicts:      96000 | #Constraints:      23952
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:      97000 | #Constraints:      18769
1713.14/1718.04	c #Conflicts:      98000 | #Constraints:      19769
1713.14/1718.04	c #Conflicts:      99000 | #Constraints:      20769
1713.14/1718.04	c #Conflicts:     100000 | #Constraints:      21769
1713.14/1718.04	c #Conflicts:     101000 | #Constraints:      22769
1713.14/1718.04	c #Conflicts:     102000 | #Constraints:      23769
1713.14/1718.04	c #Conflicts:     103000 | #Constraints:      24769
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     104000 | #Constraints:      19339
1713.14/1718.04	c #Conflicts:     105000 | #Constraints:      20339
1713.14/1718.04	c #Conflicts:     106000 | #Constraints:      21339
1713.14/1718.04	c #Conflicts:     107000 | #Constraints:      22339
1713.14/1718.04	c #Conflicts:     108000 | #Constraints:      23339
1713.14/1718.04	c #Conflicts:     109000 | #Constraints:      24339
1713.14/1718.04	c #Conflicts:     110000 | #Constraints:      25339
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     111000 | #Constraints:      19780
1713.14/1718.04	c #Conflicts:     112000 | #Constraints:      20780
1713.14/1718.04	c #Conflicts:     113000 | #Constraints:      21780
1713.14/1718.04	c #Conflicts:     114000 | #Constraints:      22780
1713.14/1718.04	c #Conflicts:     115000 | #Constraints:      23780
1713.14/1718.04	c #Conflicts:     116000 | #Constraints:      24780
1713.14/1718.04	c #Conflicts:     117000 | #Constraints:      25780
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     118000 | #Constraints:      20053
1713.14/1718.04	c #Conflicts:     119000 | #Constraints:      21053
1713.14/1718.04	c #Conflicts:     120000 | #Constraints:      22053
1713.14/1718.04	c #Conflicts:     121000 | #Constraints:      23053
1713.14/1718.04	c #Conflicts:     122000 | #Constraints:      24053
1713.14/1718.04	c #Conflicts:     123000 | #Constraints:      25053
1713.14/1718.04	c #Conflicts:     124000 | #Constraints:      26053
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     125000 | #Constraints:      20053
1713.14/1718.04	c #Conflicts:     126000 | #Constraints:      21053
1713.14/1718.04	c #Conflicts:     127000 | #Constraints:      22053
1713.14/1718.04	c #Conflicts:     128000 | #Constraints:      23053
1713.14/1718.04	c #Conflicts:     129000 | #Constraints:      24053
1713.14/1718.04	c #Conflicts:     130000 | #Constraints:      25053
1713.14/1718.04	c #Conflicts:     131000 | #Constraints:      26053
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     132000 | #Constraints:      19895
1713.14/1718.04	c #Conflicts:     133000 | #Constraints:      20895
1713.14/1718.04	c #Conflicts:     134000 | #Constraints:      21895
1713.14/1718.04	c #Conflicts:     135000 | #Constraints:      22895
1713.14/1718.04	c #Conflicts:     136000 | #Constraints:      23895
1713.14/1718.04	c #Conflicts:     137000 | #Constraints:      24895
1713.14/1718.04	c #Conflicts:     138000 | #Constraints:      25895
1713.14/1718.04	c #Conflicts:     139000 | #Constraints:      26895
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     140000 | #Constraints:      20535
1713.14/1718.04	c #Conflicts:     141000 | #Constraints:      21535
1713.14/1718.04	c #Conflicts:     142000 | #Constraints:      22535
1713.14/1718.04	c #Conflicts:     143000 | #Constraints:      23535
1713.14/1718.04	c #Conflicts:     144000 | #Constraints:      24535
1713.14/1718.04	c #Conflicts:     145000 | #Constraints:      25535
1713.14/1718.04	c #Conflicts:     146000 | #Constraints:      26535
1713.14/1718.04	c #Conflicts:     147000 | #Constraints:      27535
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     148000 | #Constraints:      20979
1713.14/1718.04	c #Conflicts:     149000 | #Constraints:      21979
1713.14/1718.04	c #Conflicts:     150000 | #Constraints:      22979
1713.14/1718.04	c #Conflicts:     151000 | #Constraints:      23979
1713.14/1718.04	c #Conflicts:     152000 | #Constraints:      24979
1713.14/1718.04	c #Conflicts:     153000 | #Constraints:      25979
1713.14/1718.04	c #Conflicts:     154000 | #Constraints:      26979
1713.14/1718.04	c #Conflicts:     155000 | #Constraints:      27979
1713.14/1718.04	c INPROCESSING
1713.14/1718.04	c GARBAGE COLLECT
1713.14/1718.04	c #Conflicts:     156000 | #Constraints:      21223
1713.14/1718.04	c #Conflicts:     157000 | #Constraints:      22223
1713.14/1718.04	c #Conflicts:     158000 | #Constraints:      23223
1713.14/1718.04	c #Conflicts:     159000 | #Constraints:      24223
1713.14/1718.04	c #Conflicts:     160000 | #Constraints:      25223
1713.14/1718.04	c #Conflicts:     161000 | #Constraints:      26223
2368.08/2374.93	c #Conflicts:     162000 | #Constraints:      27223
2368.08/2374.93	c #Conflicts:     163000 | #Constraints:      28223
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     164000 | #Constraints:      21229
2368.08/2374.93	c #Conflicts:     165000 | #Constraints:      22229
2368.08/2374.93	c #Conflicts:     166000 | #Constraints:      23229
2368.08/2374.93	c #Conflicts:     167000 | #Constraints:      24229
2368.08/2374.93	c #Conflicts:     168000 | #Constraints:      25229
2368.08/2374.93	c #Conflicts:     169000 | #Constraints:      26229
2368.08/2374.93	c #Conflicts:     170000 | #Constraints:      27229
2368.08/2374.93	c #Conflicts:     171000 | #Constraints:      28229
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     172000 | #Constraints:      21007
2368.08/2374.93	c #Conflicts:     173000 | #Constraints:      22007
2368.08/2374.93	c #Conflicts:     174000 | #Constraints:      23007
2368.08/2374.93	c #Conflicts:     175000 | #Constraints:      24007
2368.08/2374.93	c #Conflicts:     176000 | #Constraints:      25007
2368.08/2374.93	c #Conflicts:     177000 | #Constraints:      26007
2368.08/2374.93	c #Conflicts:     178000 | #Constraints:      27007
2368.08/2374.93	c #Conflicts:     179000 | #Constraints:      28007
2368.08/2374.93	c #Conflicts:     180000 | #Constraints:      29007
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     181000 | #Constraints:      21603
2368.08/2374.93	c #Conflicts:     182000 | #Constraints:      22603
2368.08/2374.93	c #Conflicts:     183000 | #Constraints:      23603
2368.08/2374.93	c #Conflicts:     184000 | #Constraints:      24603
2368.08/2374.93	c #Conflicts:     185000 | #Constraints:      25603
2368.08/2374.93	c #Conflicts:     186000 | #Constraints:      26603
2368.08/2374.93	c #Conflicts:     187000 | #Constraints:      27603
2368.08/2374.93	c #Conflicts:     188000 | #Constraints:      28603
2368.08/2374.93	c #Conflicts:     189000 | #Constraints:      29603
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     190000 | #Constraints:      22011
2368.08/2374.93	c #Conflicts:     191000 | #Constraints:      23011
2368.08/2374.93	c #Conflicts:     192000 | #Constraints:      24011
2368.08/2374.93	c #Conflicts:     193000 | #Constraints:      25011
2368.08/2374.93	c #Conflicts:     194000 | #Constraints:      26011
2368.08/2374.93	c #Conflicts:     195000 | #Constraints:      27011
2368.08/2374.93	c #Conflicts:     196000 | #Constraints:      28011
2368.08/2374.93	c #Conflicts:     197000 | #Constraints:      29011
2368.08/2374.93	c #Conflicts:     198000 | #Constraints:      30011
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     199000 | #Constraints:      22217
2368.08/2374.93	c #Conflicts:     200000 | #Constraints:      23217
2368.08/2374.93	c #Conflicts:     201000 | #Constraints:      24217
2368.08/2374.93	c #Conflicts:     202000 | #Constraints:      25217
2368.08/2374.93	c #Conflicts:     203000 | #Constraints:      26217
2368.08/2374.93	c #Conflicts:     204000 | #Constraints:      27217
2368.08/2374.93	c #Conflicts:     205000 | #Constraints:      28217
2368.08/2374.93	c #Conflicts:     206000 | #Constraints:      29217
2368.08/2374.93	c #Conflicts:     207000 | #Constraints:      30217
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     208000 | #Constraints:      22214
2368.08/2374.93	c #Conflicts:     209000 | #Constraints:      23214
2368.08/2374.93	c #Conflicts:     210000 | #Constraints:      24214
2368.08/2374.93	c #Conflicts:     211000 | #Constraints:      25214
2368.08/2374.93	c #Conflicts:     212000 | #Constraints:      26214
2368.08/2374.93	c #Conflicts:     213000 | #Constraints:      27214
2368.08/2374.93	c #Conflicts:     214000 | #Constraints:      28214
2368.08/2374.93	c #Conflicts:     215000 | #Constraints:      29214
2368.08/2374.93	c #Conflicts:     216000 | #Constraints:      30214
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     217000 | #Constraints:      22013
2368.08/2374.93	c #Conflicts:     218000 | #Constraints:      23013
2368.08/2374.93	c #Conflicts:     219000 | #Constraints:      24013
2368.08/2374.93	c #Conflicts:     220000 | #Constraints:      25013
2368.08/2374.93	c #Conflicts:     221000 | #Constraints:      26013
2368.08/2374.93	c #Conflicts:     222000 | #Constraints:      27013
2368.08/2374.93	c #Conflicts:     223000 | #Constraints:      28013
2368.08/2374.93	c #Conflicts:     224000 | #Constraints:      29013
2368.08/2374.93	c #Conflicts:     225000 | #Constraints:      30013
2368.08/2374.93	c #Conflicts:     226000 | #Constraints:      31013
2368.08/2374.93	c INPROCESSING
2368.08/2374.93	c GARBAGE COLLECT
2368.08/2374.93	c #Conflicts:     227000 | #Constraints:      22613
2368.08/2374.93	c #Conflicts:     228000 | #Constraints:      23613
2368.08/2374.93	c #Conflicts:     229000 | #Constraints:      24613
2368.08/2374.93	c #Conflicts:     230000 | #Constraints:      25613
2368.08/2374.93	c #Conflicts:     231000 | #Constraints:      26613
2368.08/2374.93	c #Conflicts:     232000 | #Constraints:      27613
2368.08/2374.93	c #Conflicts:     233000 | #Constraints:      28613
2368.08/2374.93	c #Conflicts:     234000 | #Constraints:      29613
2368.08/2374.93	c #Conflicts:     235000 | #Constraints:      30613
3292.39/3302.08	c #Conflicts:     236000 | #Constraints:      31613
3292.39/3302.08	c INPROCESSING
3292.39/3302.08	c GARBAGE COLLECT
3292.39/3302.08	c #Conflicts:     237000 | #Constraints:      23001
3292.39/3302.08	c #Conflicts:     238000 | #Constraints:      24001
3292.39/3302.08	c #Conflicts:     239000 | #Constraints:      25001
3292.39/3302.08	c #Conflicts:     240000 | #Constraints:      26001
3292.39/3302.08	c #Conflicts:     241000 | #Constraints:      27001
3292.39/3302.08	c #Conflicts:     242000 | #Constraints:      28001
3292.39/3302.08	c #Conflicts:     243000 | #Constraints:      29001
3292.39/3302.08	c #Conflicts:     244000 | #Constraints:      30001
3292.39/3302.08	c #Conflicts:     245000 | #Constraints:      31001
3292.39/3302.08	c #Conflicts:     246000 | #Constraints:      32001
3292.39/3302.08	c INPROCESSING
3292.39/3302.08	c GARBAGE COLLECT
3292.39/3302.08	c #Conflicts:     247000 | #Constraints:      23204
3292.39/3302.08	c #Conflicts:     248000 | #Constraints:      24204
3292.39/3302.08	c #Conflicts:     249000 | #Constraints:      25204
3292.39/3302.08	c #Conflicts:     250000 | #Constraints:      26204
3292.39/3302.08	c #Conflicts:     251000 | #Constraints:      27204
3292.39/3302.08	c #Conflicts:     252000 | #Constraints:      28204
3292.39/3302.08	c #Conflicts:     253000 | #Constraints:      29204
3292.39/3302.08	c #Conflicts:     254000 | #Constraints:      30204
3292.39/3302.08	c #Conflicts:     255000 | #Constraints:      31204
3292.39/3302.08	c #Conflicts:     256000 | #Constraints:      32204
3292.39/3302.08	c INPROCESSING
3292.39/3302.08	c GARBAGE COLLECT
3292.39/3302.08	c #Conflicts:     257000 | #Constraints:      23220
3292.39/3302.08	c #Conflicts:     258000 | #Constraints:      24220
3292.39/3302.08	c #Conflicts:     259000 | #Constraints:      25220
3292.39/3302.08	c #Conflicts:     260000 | #Constraints:      26220
3292.39/3302.08	c #Conflicts:     261000 | #Constraints:      27220
3292.39/3302.08	c #Conflicts:     262000 | #Constraints:      28220
3292.39/3302.08	c #Conflicts:     263000 | #Constraints:      29220
3292.39/3302.08	c #Conflicts:     264000 | #Constraints:      30220
3292.39/3302.08	c #Conflicts:     265000 | #Constraints:      31220
3292.39/3302.08	c #Conflicts:     266000 | #Constraints:      32220
3292.39/3302.08	c INPROCESSING
3292.39/3302.08	c GARBAGE COLLECT
3292.39/3302.08	c #Conflicts:     267000 | #Constraints:      23015
3292.39/3302.08	c #Conflicts:     268000 | #Constraints:      24015
3292.39/3302.08	c #Conflicts:     269000 | #Constraints:      25015
3292.39/3302.08	c #Conflicts:     270000 | #Constraints:      26015
3292.39/3302.08	c #Conflicts:     271000 | #Constraints:      27015
3292.39/3302.08	c #Conflicts:     272000 | #Constraints:      28015
3292.39/3302.08	c #Conflicts:     273000 | #Constraints:      29015
3292.39/3302.08	c #Conflicts:     274000 | #Constraints:      30015
3292.39/3302.08	c #Conflicts:     275000 | #Constraints:      31015
3292.39/3302.08	c #Conflicts:     276000 | #Constraints:      32015
3292.39/3302.08	c #Conflicts:     277000 | #Constraints:      33015
3292.39/3302.08	c INPROCESSING
3292.39/3302.08	c GARBAGE COLLECT
3292.39/3302.08	c #Conflicts:     278000 | #Constraints:      23614
3292.39/3302.08	c #Conflicts:     279000 | #Constraints:      24614
3292.39/3302.08	c #Conflicts:     280000 | #Constraints:      25614
3292.39/3302.08	c #Conflicts:     281000 | #Constraints:      26614
3292.39/3302.08	c #Conflicts:     282000 | #Constraints:      27614
3292.39/3302.08	c #Conflicts:     283000 | #Constraints:      28614
3292.39/3302.08	c #Conflicts:     284000 | #Constraints:      29614
3292.39/3302.08	c #Conflicts:     285000 | #Constraints:      30614
3292.39/3302.08	c #Conflicts:     286000 | #Constraints:      31614
3292.39/3302.08	c #Conflicts:     287000 | #Constraints:      32614
3292.39/3302.08	c #Conflicts:     288000 | #Constraints:      33614
3292.39/3302.08	c INPROCESSING
3292.39/3302.08	c GARBAGE COLLECT
3292.39/3302.08	c #Conflicts:     289000 | #Constraints:      24000
3292.39/3302.08	c #Conflicts:     290000 | #Constraints:      25000
3292.39/3302.08	c #Conflicts:     291000 | #Constraints:      26000
3292.39/3302.08	c #Conflicts:     292000 | #Constraints:      27000
3292.39/3302.08	c #Conflicts:     293000 | #Constraints:      28000
3292.39/3302.08	c #Conflicts:     294000 | #Constraints:      29000
3292.39/3302.08	c #Conflicts:     295000 | #Constraints:      30000
3292.39/3302.08	c #Conflicts:     296000 | #Constraints:      31000
3292.39/3302.08	c #Conflicts:     297000 | #Constraints:      32000
3292.39/3302.08	c #Conflicts:     298000 | #Constraints:      33000
3292.39/3302.08	c #Conflicts:     299000 | #Constraints:      34000
3292.39/3302.08	c INPROCESSING
3292.39/3302.08	c GARBAGE COLLECT
3292.39/3302.08	c #Conflicts:     300000 | #Constraints:      24191
3292.39/3302.08	c #Conflicts:     301000 | #Constraints:      25191
3292.39/3302.08	c #Conflicts:     302000 | #Constraints:      26191
3292.39/3302.08	c #Conflicts:     303000 | #Constraints:      27191
3292.39/3302.08	c #Conflicts:     304000 | #Constraints:      28191
3292.39/3302.08	c #Conflicts:     305000 | #Constraints:      29191
3292.39/3302.08	c #Conflicts:     306000 | #Constraints:      30191
3292.39/3302.08	c #Conflicts:     307000 | #Constraints:      31191
3292.39/3302.08	c #Conflicts:     308000 | #Constraints:      32191
3292.39/3302.08	c #Conflicts:     309000 | #Constraints:      33191
3600.03/3610.50	c #Conflicts:     310000 | #Constraints:      34191
3600.03/3610.50	c INPROCESSING
3600.03/3610.50	c GARBAGE COLLECT
3600.03/3610.50	c #Conflicts:     311000 | #Constraints:      24157
3600.03/3610.50	c #Conflicts:     312000 | #Constraints:      25157
3600.03/3610.50	c #Conflicts:     313000 | #Constraints:      26157
3600.03/3610.50	c #Conflicts:     314000 | #Constraints:      27157
3600.03/3610.50	c #Conflicts:     315000 | #Constraints:      28157
3600.03/3610.50	c #Conflicts:     316000 | #Constraints:      29157
3600.03/3610.50	c #Conflicts:     317000 | #Constraints:      30157
3600.03/3610.50	c #Conflicts:     318000 | #Constraints:      31157
3600.03/3610.50	c #Conflicts:     319000 | #Constraints:      32157
3600.03/3610.50	c #Conflicts:     320000 | #Constraints:      33157
3600.03/3610.50	c #Conflicts:     321000 | #Constraints:      34157
3600.03/3610.50	c INPROCESSING
3600.03/3610.50	c GARBAGE COLLECT
3600.03/3610.50	c #Conflicts:     322000 | #Constraints:      23918
3600.03/3610.50	c #Conflicts:     323000 | #Constraints:      24918
3600.03/3610.50	c #Conflicts:     324000 | #Constraints:      25918
3600.03/3610.50	c #Conflicts:     325000 | #Constraints:      26918
3600.03/3610.50	c #Conflicts:     326000 | #Constraints:      27918
3600.03/3610.50	c #Conflicts:     327000 | #Constraints:      28918
3600.03/3610.50	c #Conflicts:     328000 | #Constraints:      29918
3600.03/3610.50	c #Conflicts:     329000 | #Constraints:      30918
3600.03/3610.50	c #Conflicts:     330000 | #Constraints:      31918
3600.03/3610.50	c #Conflicts:     331000 | #Constraints:      32918
3600.03/3610.50	c #Conflicts:     332000 | #Constraints:      33918
3600.03/3610.50	c #Conflicts:     333000 | #Constraints:      34918
3600.03/3610.50	c INPROCESSING
3600.03/3610.50	c GARBAGE COLLECT
3600.03/3610.50	c #Conflicts:     334000 | #Constraints:      24508
3600.03/3610.50	c #Conflicts:     335000 | #Constraints:      25508
3600.03/3610.50	c #Conflicts:     336000 | #Constraints:      26508
3600.03/3610.50	c #Conflicts:     337000 | #Constraints:      27508
3600.03/3610.50	c #Conflicts:     338000 | #Constraints:      28508
3600.03/3610.50	c #Conflicts:     339000 | #Constraints:      29508
3600.03/3610.50	c #Conflicts:     340000 | #Constraints:      30508
3600.03/3610.50	c #Conflicts:     341000 | #Constraints:      31508
3600.03/3610.50	c #Conflicts:     342000 | #Constraints:      32508
3600.03/3610.50	c Program interrupted by user.
3600.03/3610.50	c cpu time 3584.47 s
3600.03/3610.50	c deterministic time 287865822581 2.88e+11
3600.03/3610.50	c optimization time 126.31 s
3600.03/3610.50	c total solve time 3158.92 s
3600.03/3610.50	c core-guided solve time 3158.92 s
3600.03/3610.50	c propagation time 2115.53 s
3600.03/3610.50	c conflict analysis time 556.308 s
3600.03/3610.50	c propagations 147419859
3600.03/3610.50	c resolve steps 1076380
3600.03/3610.50	c decisions 13690920
3600.03/3610.50	c conflicts 342153
3600.03/3610.50	c restarts 805
3600.03/3610.50	c inprocessing phases 49
3600.03/3610.50	c input clauses 10281
3600.03/3610.50	c input cardinalities 1803
3600.03/3610.50	c input general constraints 105
3600.03/3610.50	c input average constraint length 96.53
3600.03/3610.50	c input average constraint degree 5.70
3600.03/3610.50	c learned clauses 24915
3600.03/3610.50	c learned cardinalities 2577
3600.03/3610.50	c learned general constraints 314689
3600.03/3610.50	c learned average constraint length 6617.06
3600.03/3610.50	c learned average constraint degree 154872.42
3600.03/3610.50	c watched constraints 40330
3600.03/3610.50	c counting constraints 274464
3600.03/3610.50	c gcd simplifications 1893
3600.03/3610.50	c detected cardinalities 6
3600.03/3610.50	c weakened non-implied lits 212686304
3600.03/3610.50	c weakened non-implying lits 7033
3600.03/3610.50	c original variables 10772
3600.03/3610.50	c clausal propagations 11642887
3600.03/3610.50	c cardinality propagations 8858406
3600.03/3610.50	c watched propagations 1466326
3600.03/3610.50	c counting propagations 119523152
3600.03/3610.50	c watch lookups 38101578901
3600.03/3610.50	c watch backjump lookups 38067830814
3600.03/3610.50	c watch checks 27363392582
3600.03/3610.50	c propagation checks 179904701273
3600.03/3610.50	c constraint additions 4105760499
3600.03/3610.50	c trail pops 161447732
3600.03/3610.50	c formula constraints 12046
3600.03/3610.50	c learned constraints 342181
3600.03/3610.50	c bound constraints 105
3600.03/3610.50	c core-guided constraints 38
3600.03/3610.50	c encountered formula constraints 837428
3600.03/3610.50	c encountered learned constraints 580876
3600.03/3610.50	c encountered bound constraints 177
3600.03/3610.50	c encountered core-guided constraints 52
3600.03/3610.50	c LP total time 0 s
3600.03/3610.50	c LP solve time 0 s
3600.03/3610.50	c LP constraints added 0
3600.03/3610.50	c LP constraints removed 0
3600.03/3610.50	c LP pivots internal 0
3600.03/3610.50	c LP pivots root 0
3600.03/3610.50	c LP calls 0
3600.03/3610.50	c LP optimalities 0
3600.03/3610.50	c LP no pivot count 0
3600.03/3610.50	c LP infeasibilities 0
3600.03/3610.50	c LP valid Farkas constraints 0
3600.03/3610.50	c LP learned Farkas constraints 0
3600.03/3610.50	c LP basis resets 0
3600.03/3610.50	c LP cycling count 0
3600.03/3610.50	c LP singular count 0
3600.03/3610.50	c LP no primal count 0
3600.03/3610.50	c LP no farkas count 0
3600.03/3610.50	c LP other issue count 0
3600.03/3610.50	c LP Gomory cuts 0
3600.03/3610.50	c LP learned cuts 0
3600.03/3610.50	c LP deleted cuts 0
3600.03/3610.50	c LP encountered Gomory constraints 0
3600.03/3610.50	c LP encountered Farkas constraints 0
3600.03/3610.50	c LP encountered learned Farkas constraints 0
3600.03/3610.50	c CG auxiliary variables introduced 38
3600.03/3610.50	c CG solutions found 0
3600.03/3610.50	c CG cores constructed 104
3600.03/3610.50	c CG core cardinality constraints returned 10
3600.03/3610.50	c CG unit cores 0
3600.03/3610.50	c CG single cores 102
3600.03/3610.50	c CG blocks removed during cardinality reduction 0
3600.03/3610.50	c CG first core best 0
3600.03/3610.50	c CG decision core best 2
3600.03/3610.50	c CG core reduction tie 0
3600.03/3610.50	c CG core degree average 1.12
3600.03/3610.50	c CG core slack average 5.15
3600.03/3610.50	c CG exhausted 0
3600.03/3610.50	c CG exhaust time 0 s
3600.03/3610.50	c CG trimmed 0
3600.03/3610.50	c CG trim time 0.00068 s
3600.03/3610.50	c CG minimized 0
3600.03/3610.50	c CG minimize time 0 s
3600.03/3610.50	c CG am1 prop time 0.006813 s
3600.03/3610.50	c CG # am1s reformulated 38
3600.03/3610.50	c CG lower bound derived from am1s 138
3600.03/3610.50	c CG # clausal cores 96
3600.03/3610.50	c CG # cardinality cores 10
3600.03/3610.50	c CG # pb cores 0
3600.03/3610.50	c CG # pb reforms 0
3600.03/3610.50	c CG # cores discarded because of pb reform 0
3600.03/3610.50	d LOWERBOUND 490
3600.03/3610.50	d NCORES 104
3600.03/3610.50	d NPBCORES 0
3600.03/3610.50	d NPBREFORM 0
3600.03/3610.50	d NTRIMMED 0
3600.03/3610.50	d NEXHAUSTED 0
3600.03/3610.50	d NAM1S 38
3600.03/3610.50	d AM1LB 138
3600.03/3610.50	c [Papilo Statistics]
3600.03/3610.50	c prepro time 0.0175925s
3600.03/3610.50	c # tsx applied 3
3600.03/3610.50	c # tsx conflicts 0
3600.03/3610.50	c # bound changes 3
3600.03/3610.50	c # side changes 0
3600.03/3610.50	c # coef changes 0
3600.03/3610.50	c # rounds 2
3600.03/3610.50	c # deted vars 4
3600.03/3610.50	c # deted constrs 5
3600.03/3610.50	c # consecutive rounds of only bound changes 0
3600.03/3610.57	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: 63931 MiB (61879 MiB free)
  memory of node 1: 64510 MiB (62116 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435538-1721060588/watcher-4435538-1721060588 -o /tmp/evaluation-result-4435538-1721060588/solver-4435538-1721060588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815230 --watchdog 3760 mixed-bag HOME/instance-4435538-1721060588.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=815568, runsolver pid=815565

[startup+0.100094 s]*
/proc/loadavg: 1.36 1.20 1.88 5/260 815569
/proc/meminfo: memFree=126923772/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=130044 memory=63368 CPUtime=0.08 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 14346 0 0 0 7 1 0 0 20 0 1 0 158217919 133165056 15842 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 32511 15842 3779 3002 0 16262 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 130044 KiB
Current children cumulated memory: 63368 KiB

[startup+0.205906 s]*
/proc/loadavg: 1.36 1.20 1.88 5/260 815569
/proc/meminfo: memFree=126896880/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=157012 memory=88860 CPUtime=0.2 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 22325 0 0 0 17 3 0 0 20 0 1 0 158217919 160780288 22215 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 39253 22215 3859 3002 0 23004 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 157012 KiB
Current children cumulated memory: 88860 KiB

[startup+0.305865 s]*
/proc/loadavg: 1.36 1.20 1.88 5/260 815569
/proc/meminfo: memFree=126892708/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=162068 memory=93264 CPUtime=0.3 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 23369 0 0 0 27 3 0 0 20 0 1 0 158217919 165957632 23316 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 40517 23316 3907 3002 0 24268 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 162068 KiB
Current children cumulated memory: 93264 KiB

[startup+0.700176 s]
/proc/loadavg: 1.36 1.20 1.88 5/260 815569
/proc/meminfo: memFree=126890552/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=162624 memory=93792 CPUtime=0.68 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 23510 0 0 0 65 3 0 0 20 0 1 0 158217919 166526976 23448 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 40656 23448 3907 3002 0 24407 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162624 KiB
Current children cumulated memory: 93792 KiB

[startup+1.50017 s]
/proc/loadavg: 1.36 1.20 1.88 5/260 815569
/proc/meminfo: memFree=126904140/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=164160 memory=95376 CPUtime=1.48 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 23897 0 0 0 145 3 0 0 20 0 1 0 158217919 168099840 23844 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 41040 23844 3907 3002 0 24791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 164160 KiB
Current children cumulated memory: 95376 KiB

[startup+3.10522 s]
/proc/loadavg: 1.58 1.25 1.90 5/260 815569
/proc/meminfo: memFree=126856988/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=227820 memory=139004 CPUtime=3.09 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 36782 0 0 0 303 6 0 0 20 0 1 0 158217919 233287680 34751 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 56955 34751 4099 3002 0 40706 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 227820 KiB
Current children cumulated memory: 139004 KiB

[startup+6.30016 s]
/proc/loadavg: 1.58 1.25 1.90 5/260 815571
/proc/meminfo: memFree=126849484/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=228124 memory=139856 CPUtime=6.27 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 36948 0 0 0 621 6 0 0 20 0 1 0 158217919 233598976 34964 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 57031 34964 4115 3002 0 40782 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 228124 KiB
Current children cumulated memory: 139856 KiB

[startup+12.7002 s]
/proc/loadavg: 1.77 1.29 1.91 5/260 815663
/proc/meminfo: memFree=126755452/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=282820 memory=193456 CPUtime=12.65 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 40704 0 0 0 1258 7 0 0 20 0 1 0 158217919 289607680 48364 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 70705 48364 4115 3002 0 54456 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 282820 KiB
Current children cumulated memory: 193456 KiB

[startup+25.5002 s]
/proc/loadavg: 2.35 1.44 1.95 5/260 815758
/proc/meminfo: memFree=126526552/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=312176 memory=220400 CPUtime=25.42 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 48516 0 0 0 2533 9 0 0 20 0 1 0 158217919 319668224 55100 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 78044 55100 4115 3002 0 61795 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 312176 KiB
Current children cumulated memory: 220400 KiB

[startup+51.1047 s]
/proc/loadavg: 2.91 1.65 2.00 5/260 815762
/proc/meminfo: memFree=126441092/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=325616 memory=234240 CPUtime=50.97 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 51977 0 0 0 5087 10 0 0 20 0 1 0 158217919 333430784 58560 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 81404 58560 4115 3002 0 65155 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 325616 KiB
Current children cumulated memory: 234240 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 2.05 2.12 5/260 815863
/proc/meminfo: memFree=126119520/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=385276 memory=288968 CPUtime=102.04 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 65738 0 0 0 10192 12 0 0 20 0 1 0 158217919 394522624 72242 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 96319 72242 4115 3002 0 80070 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 385276 KiB
Current children cumulated memory: 288968 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 2.43 2.25 5/260 816258
/proc/meminfo: memFree=125889920/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=384124 memory=290016 CPUtime=161.89 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 67840 0 0 0 16176 13 0 0 20 0 1 0 158217919 393342976 72504 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 96031 72504 4147 3002 0 79782 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 384124 KiB
Current children cumulated memory: 290016 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.74 2.37 5/258 816328
/proc/meminfo: memFree=125851328/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=384124 memory=290144 CPUtime=221.75 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 67890 0 0 0 22161 14 0 0 20 0 1 0 158217919 393342976 72536 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 96031 72536 4147 3002 0 79782 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 384124 KiB
Current children cumulated memory: 290144 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 2.97 2.47 5/260 816370
/proc/meminfo: memFree=125054016/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=384124 memory=296696 CPUtime=281.56 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 68515 0 0 0 28142 14 0 0 20 0 1 0 158217919 393342976 74174 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 96031 74174 4147 3002 0 79782 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 384124 KiB
Current children cumulated memory: 296696 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.19 2.58 5/257 816548
/proc/meminfo: memFree=124510008/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=756660 memory=601024 CPUtime=341.39 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 96393 0 0 0 34033 106 0 0 20 0 1 0 158217919 774819840 150256 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 189165 150256 4274 3002 0 172916 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 756660 KiB
Current children cumulated memory: 601024 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.36 2.68 5/258 816560
/proc/meminfo: memFree=124159608/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=1268384 memory=908688 CPUtime=401.21 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 150265 0 0 0 39955 166 0 0 20 0 1 0 158217919 1298825216 227172 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 317096 227172 4274 3002 0 300847 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 1268384 KiB
Current children cumulated memory: 908688 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.51 2.77 5/260 816629
/proc/meminfo: memFree=123873656/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=1301400 memory=1047868 CPUtime=461.04 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 165330 0 0 0 45881 223 0 0 20 0 1 0 158217919 1332633600 261967 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 325350 261967 4274 3002 0 309101 0

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

Current children cumulated memory: 2896804 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/258 817660
/proc/meminfo: memFree=121702508/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=3888832 memory=2905172 CPUtime=2913.83 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 513741 0 0 0 290066 1317 0 0 20 0 1 0 158217919 3982163968 726293 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 972208 726293 4274 3002 0 955959 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 3888832 KiB
Current children cumulated memory: 2905172 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/257 817670
/proc/meminfo: memFree=121697788/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=3888832 memory=2905172 CPUtime=2973.66 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 514545 0 0 0 296028 1338 0 0 20 0 1 0 158217919 3982163968 726293 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 972208 726293 4274 3002 0 955959 0
Current children cumulated CPU time: 2973.66 s
Current children cumulated vsize: 3888832 KiB
Current children cumulated memory: 2905172 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/258 817681
/proc/meminfo: memFree=121479000/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4102788 memory=3118552 CPUtime=3033.47 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 551789 0 0 0 301980 1367 0 0 20 0 1 0 158217919 4201254912 779638 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1025697 779638 4274 3002 0 1009448 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 4102788 KiB
Current children cumulated memory: 3118552 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/258 817694
/proc/meminfo: memFree=121428000/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4112592 memory=3156868 CPUtime=3093.29 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 556887 0 0 0 307943 1386 0 0 20 0 1 0 158217919 4211294208 789217 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1028148 789217 4274 3002 0 1011899 0
Current children cumulated CPU time: 3093.29 s
Current children cumulated vsize: 4112592 KiB
Current children cumulated memory: 3156868 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/256 817705
/proc/meminfo: memFree=121386308/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4131720 memory=3200900 CPUtime=3153.1 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 562149 0 0 0 313904 1406 0 0 20 0 1 0 158217919 4230881280 800225 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1032930 800225 4274 3002 0 1016681 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 4131720 KiB
Current children cumulated memory: 3200900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/256 817715
/proc/meminfo: memFree=121345600/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4137424 memory=3231748 CPUtime=3212.93 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 565390 0 0 0 319865 1428 0 0 20 0 1 0 158217919 4236722176 807937 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1034356 807937 4274 3002 0 1018107 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 4137424 KiB
Current children cumulated memory: 3231748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/256 817726
/proc/meminfo: memFree=121338520/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4137424 memory=3232040 CPUtime=3272.74 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 566342 0 0 0 325824 1450 0 0 20 0 1 0 158217919 4236722176 808010 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1034356 808010 4274 3002 0 1018107 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 4137424 KiB
Current children cumulated memory: 3232040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.07 5/255 817736
/proc/meminfo: memFree=121240784/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4170452 memory=3326972 CPUtime=3332.56 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 576106 0 0 0 331784 1472 0 0 20 0 1 0 158217919 4270542848 831743 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1042613 831743 4274 3002 0 1026364 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 4170452 KiB
Current children cumulated memory: 3326972 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/256 817747
/proc/meminfo: memFree=121138856/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4193236 memory=3426064 CPUtime=3392.38 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 586981 0 0 0 337746 1492 0 0 20 0 1 0 158217919 4293873664 856516 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1048309 856516 4274 3002 0 1032060 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 4193236 KiB
Current children cumulated memory: 3426064 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/259 817763
/proc/meminfo: memFree=121135088/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4193236 memory=3426912 CPUtime=3452.21 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 587636 0 0 0 343712 1509 0 0 20 0 1 0 158217919 4293873664 856728 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1048309 856728 4274 3002 0 1032060 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 4193236 KiB
Current children cumulated memory: 3426912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/259 817774
/proc/meminfo: memFree=121130820/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4193236 memory=3430556 CPUtime=3512.05 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 588839 0 0 0 349673 1532 0 0 20 0 1 0 158217919 4293873664 857639 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1048309 857639 4274 3002 0 1032060 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 4193236 KiB
Current children cumulated memory: 3430556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/260 817785
/proc/meminfo: memFree=121118188/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4193236 memory=3435592 CPUtime=3571.9 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 589799 0 0 0 355641 1549 0 0 20 0 1 0 158217919 4293873664 858898 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1048309 858898 4274 3002 0 1032060 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 4193236 KiB
Current children cumulated memory: 3435592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.19 4.12 4.08 5/260 817790
/proc/meminfo: memFree=121110748/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4193236 memory=3440020 CPUtime=3600.03 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 590265 0 0 0 358447 1556 0 0 20 0 1 0 158217919 4293873664 860005 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1048309 860005 4274 3002 0 1032060 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4193236 KiB
Current children cumulated memory: 3440020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.47 s, system=15.6485 s

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

[startup+3610.5 s]
/proc/loadavg: 4.19 4.12 4.08 5/260 817790
/proc/meminfo: memFree=121110748/131524600 swapFree=130795544/131071996
[pid=815568] ppid=815565 vsize=4193236 memory=3440020 CPUtime=3600.03 cores=1,3
/proc/815568/stat : 815568 (mixed-bag) R 815565 815568 815216 0 -1 4194304 590265 0 0 0 358447 1556 0 0 20 0 1 0 158217919 4293873664 860005 134679101440 4194304 16487941 140730923581152 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 35581952 140730923586583 140730923586660 140730923586660 140730923593675 0
/proc/815568/statm: 1048309 860005 4274 3002 0 1032060 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4193236 KiB
Current children cumulated memory: 3440020 KiB

Child status: 0

Real time (s): 3610.59
CPU time (s): 3600.12
CPU user time (s): 3584.47
CPU system time (s): 15.6485
CPU usage (%): 99.7101
Max. virtual memory (cumulated for all children) (KiB): 4193236
Max. memory (cumulated for all children) (KiB): 3440020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.47
system time used= 15.6485
maximum resident set size= 3440020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 590299
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= 189
involuntary context switches= 2410


# summary of solver processes directly reported to runsolver:
#   pid: 815568
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3584.47
#   total CPU system time (s): 15.6485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05023 second user time and 17.435 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-15 18:23:20
IDJOB=4435538
IDBENCH=146657
IDSOLVER=3066
FILE ID=nodeC014/4435538-1721060588
RUNJOBID= nodeC014-1721060594-815230
SLURM_JOB_ID= 7505507
Free space on /tmp= 890036 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435538-1721060588/watcher-4435538-1721060588 -o /tmp/evaluation-result-4435538-1721060588/solver-4435538-1721060588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815230 --watchdog 3760  mixed-bag HOME/instance-4435538-1721060588.opb

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

MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=1145875301

nodeC014.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		: 3668.245
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.32
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		: 3666.677
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.96
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.880
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.32
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		: 3652.441
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.96
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		: 3668.277
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.32
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		: 3666.396
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.96
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.963
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.32
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		: 3609.239
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126972912 kB
MemAvailable:   129679960 kB
Buffers:          306608 kB
Cached:          3206848 kB
SwapCached:        12876 kB
Active:          1013156 kB
Inactive:        2981252 kB
Active(anon):       9444 kB
Inactive(anon):   489196 kB
Active(file):    1003712 kB
Inactive(file):  2492056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130795544 kB
Dirty:             67044 kB
Writeback:            56 kB
AnonPages:        472012 kB
Mapped:            79416 kB
Shmem:             17380 kB
KReclaimable:     101856 kB
Slab:             193440 kB
SReclaimable:     101856 kB
SUnreclaim:        91584 kB
KernelStack:        4176 kB
PageTables:        10804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1063892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27616 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-15 19:23:31