Trace number 4454796

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.05 3612.43

DiagnosticValue
AM1LB138
LOWERBOUND490
NAM1S38
NCORES104
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB5330

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.06/300.16	c [STEP] preprocessing done, loading into solver
299.06/300.18	c [STEP] solving
299.06/300.18	c #variables 10769 #constraints 12046
299.06/300.18	c SMALL=int, LARGE=long long
299.06/300.19	d SCIPUB 5330
299.06/300.19	c bounds - >= 0 @ 298.983
299.06/300.19	c stratification level: 3
399.31/400.74	c bounds - >= 142 @ 299.018
399.31/400.74	c bounds - >= 145 @ 299.02
399.31/400.74	c bounds - >= 148 @ 299.022
399.31/400.74	c bounds - >= 157 @ 299.023
399.31/400.74	c bounds - >= 160 @ 299.024
399.31/400.74	c bounds - >= 163 @ 299.026
399.31/400.74	c bounds - >= 169 @ 299.026
399.31/400.74	c bounds - >= 172 @ 299.028
399.31/400.74	c bounds - >= 176 @ 299.029
399.31/400.74	c bounds - >= 180 @ 299.031
399.31/400.74	c bounds - >= 183 @ 299.031
399.31/400.74	c bounds - >= 187 @ 299.033
399.31/400.74	c bounds - >= 190 @ 299.036
399.31/400.74	c bounds - >= 193 @ 299.038
399.31/400.74	c bounds - >= 196 @ 299.039
399.31/400.74	c bounds - >= 199 @ 299.04
399.31/400.74	c bounds - >= 202 @ 299.042
399.31/400.74	c bounds - >= 205 @ 299.045
399.31/400.74	c bounds - >= 208 @ 299.045
399.31/400.74	c bounds - >= 214 @ 299.047
399.31/400.74	c bounds - >= 217 @ 299.049
399.31/400.74	c bounds - >= 220 @ 299.052
399.31/400.74	c bounds - >= 223 @ 299.055
399.31/400.74	c bounds - >= 226 @ 299.056
399.31/400.74	c bounds - >= 235 @ 299.058
399.31/400.74	c bounds - >= 238 @ 299.061
399.31/400.74	c bounds - >= 241 @ 299.062
399.31/400.74	c bounds - >= 244 @ 299.064
399.31/400.74	c bounds - >= 247 @ 299.066
399.31/400.74	c bounds - >= 250 @ 299.068
399.31/400.74	c bounds - >= 253 @ 299.07
399.31/400.74	c bounds - >= 256 @ 299.071
399.31/400.74	c bounds - >= 259 @ 299.073
399.31/400.74	c bounds - >= 262 @ 299.074
399.31/400.74	c bounds - >= 268 @ 299.076
399.31/400.74	c bounds - >= 271 @ 299.076
399.31/400.74	c bounds - >= 274 @ 299.078
399.31/400.74	c bounds - >= 277 @ 299.081
399.31/400.74	c bounds - >= 283 @ 299.081
399.31/400.74	c bounds - >= 286 @ 299.083
399.31/400.74	c bounds - >= 289 @ 299.083
399.31/400.74	c bounds - >= 292 @ 299.085
399.31/400.74	c bounds - >= 298 @ 299.087
399.31/400.74	c bounds - >= 301 @ 299.089
399.31/400.74	c bounds - >= 304 @ 299.091
399.31/400.74	c bounds - >= 307 @ 299.092
399.31/400.74	c bounds - >= 310 @ 299.093
399.31/400.74	c bounds - >= 313 @ 299.095
399.31/400.74	c bounds - >= 316 @ 299.096
399.31/400.74	c bounds - >= 319 @ 299.097
399.31/400.74	c bounds - >= 322 @ 299.099
399.31/400.74	c bounds - >= 328 @ 299.1
399.31/400.74	c bounds - >= 331 @ 299.101
399.31/400.74	c bounds - >= 334 @ 299.103
399.31/400.74	c bounds - >= 337 @ 299.105
399.31/400.74	c bounds - >= 340 @ 299.107
399.31/400.74	c bounds - >= 343 @ 299.109
399.31/400.74	c bounds - >= 346 @ 299.109
399.31/400.74	c bounds - >= 349 @ 299.11
399.31/400.74	c bounds - >= 352 @ 299.112
399.31/400.74	c bounds - >= 355 @ 299.113
399.31/400.74	c bounds - >= 358 @ 299.115
399.31/400.74	c bounds - >= 361 @ 299.117
399.31/400.74	c bounds - >= 364 @ 299.121
399.31/400.74	c bounds - >= 367 @ 299.122
399.31/400.74	c bounds - >= 370 @ 299.125
399.31/400.74	c bounds - >= 373 @ 299.127
399.31/400.74	c bounds - >= 376 @ 299.129
399.31/400.74	c bounds - >= 379 @ 299.13
399.31/400.74	c bounds - >= 382 @ 299.132
399.31/400.74	c bounds - >= 385 @ 299.134
399.31/400.74	c bounds - >= 388 @ 299.135
399.31/400.74	c bounds - >= 391 @ 299.137
399.31/400.74	c bounds - >= 394 @ 299.138
399.31/400.74	c bounds - >= 397 @ 299.139
399.31/400.74	c bounds - >= 400 @ 299.141
399.31/400.74	c bounds - >= 406 @ 299.142
399.31/400.74	c bounds - >= 409 @ 299.144
399.31/400.74	c bounds - >= 412 @ 299.144
399.31/400.74	c bounds - >= 415 @ 299.146
399.31/400.74	c bounds - >= 418 @ 299.148
399.31/400.74	c bounds - >= 421 @ 299.15
399.31/400.74	c bounds - >= 424 @ 299.153
399.31/400.74	c bounds - >= 427 @ 299.155
399.31/400.74	c bounds - >= 430 @ 299.157
399.31/400.74	c bounds - >= 433 @ 299.157
399.31/400.74	c bounds - >= 436 @ 299.159
399.31/400.74	c bounds - >= 439 @ 299.162
399.31/400.74	c bounds - >= 442 @ 299.165
399.31/400.74	c bounds - >= 445 @ 299.167
399.31/400.74	c bounds - >= 448 @ 299.167
399.31/400.74	c bounds - >= 451 @ 299.169
399.31/400.74	c bounds - >= 454 @ 299.171
399.31/400.74	c bounds - >= 457 @ 299.174
399.31/400.74	c bounds - >= 460 @ 299.175
399.31/400.74	c bounds - >= 466 @ 299.177
399.31/400.74	c bounds - >= 469 @ 299.179
399.31/400.74	c bounds - >= 472 @ 299.18
399.31/400.74	c bounds - >= 475 @ 299.181
399.31/400.74	c bounds - >= 478 @ 299.182
399.31/400.74	c bounds - >= 481 @ 299.185
399.31/400.74	c bounds - >= 484 @ 299.187
399.31/400.74	c bounds - >= 487 @ 299.188
399.31/400.74	c bounds - >= 490 @ 299.193
399.31/400.74	c #Conflicts:       1000 | #Constraints:      13216
399.31/400.74	c #Conflicts:       2000 | #Constraints:      14216
399.31/400.74	c INPROCESSING
399.31/400.74	c GARBAGE COLLECT
399.31/400.74	c #Conflicts:       3000 | #Constraints:      14103
399.31/400.74	c #Conflicts:       4000 | #Constraints:      15103
399.31/400.74	c INPROCESSING
399.31/400.74	c GARBAGE COLLECT
399.31/400.74	c #Conflicts:       5000 | #Constraints:      14500
399.31/400.74	c #Conflicts:       6000 | #Constraints:      15500
399.31/400.74	c INPROCESSING
399.31/400.74	c GARBAGE COLLECT
399.31/400.74	c #Conflicts:       7000 | #Constraints:      14502
399.31/400.74	c #Conflicts:       8000 | #Constraints:      15502
399.31/400.74	c #Conflicts:       9000 | #Constraints:      16502
399.31/400.74	c INPROCESSING
399.31/400.74	c GARBAGE COLLECT
399.31/400.74	c #Conflicts:      10000 | #Constraints:      15215
399.31/400.74	c #Conflicts:      11000 | #Constraints:      16215
399.31/400.74	c #Conflicts:      12000 | #Constraints:      17215
399.31/400.74	c INPROCESSING
399.31/400.74	c GARBAGE COLLECT
399.31/400.74	c #Conflicts:      13000 | #Constraints:      15658
399.31/400.74	c #Conflicts:      14000 | #Constraints:      16658
399.31/400.74	c #Conflicts:      15000 | #Constraints:      17658
399.31/400.74	c INPROCESSING
399.31/400.74	c GARBAGE COLLECT
399.31/400.74	c #Conflicts:      16000 | #Constraints:      15893
399.31/400.74	c #Conflicts:      17000 | #Constraints:      16893
399.31/400.74	c #Conflicts:      18000 | #Constraints:      17893
399.31/400.74	c INPROCESSING
399.31/400.74	c GARBAGE COLLECT
399.31/400.74	c #Conflicts:      19000 | #Constraints:      15905
1064.16/1067.88	c #Conflicts:      20000 | #Constraints:      16905
1064.16/1067.88	c #Conflicts:      21000 | #Constraints:      17905
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      22000 | #Constraints:      15736
1064.16/1067.88	c #Conflicts:      23000 | #Constraints:      16736
1064.16/1067.88	c #Conflicts:      24000 | #Constraints:      17736
1064.16/1067.88	c #Conflicts:      25000 | #Constraints:      18736
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      26000 | #Constraints:      16333
1064.16/1067.88	c #Conflicts:      27000 | #Constraints:      17333
1064.16/1067.88	c #Conflicts:      28000 | #Constraints:      18333
1064.16/1067.88	c #Conflicts:      29000 | #Constraints:      19333
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      30000 | #Constraints:      16725
1064.16/1067.88	c #Conflicts:      31000 | #Constraints:      17725
1064.16/1067.88	c #Conflicts:      32000 | #Constraints:      18725
1064.16/1067.88	c #Conflicts:      33000 | #Constraints:      19725
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      34000 | #Constraints:      16933
1064.16/1067.88	c #Conflicts:      35000 | #Constraints:      17933
1064.16/1067.88	c #Conflicts:      36000 | #Constraints:      18933
1064.16/1067.88	c #Conflicts:      37000 | #Constraints:      19933
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      38000 | #Constraints:      16952
1064.16/1067.88	c #Conflicts:      39000 | #Constraints:      17952
1064.16/1067.88	c #Conflicts:      40000 | #Constraints:      18952
1064.16/1067.88	c #Conflicts:      41000 | #Constraints:      19952
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      42000 | #Constraints:      16733
1064.16/1067.88	c #Conflicts:      43000 | #Constraints:      17733
1064.16/1067.88	c #Conflicts:      44000 | #Constraints:      18733
1064.16/1067.88	c #Conflicts:      45000 | #Constraints:      19733
1064.16/1067.88	c #Conflicts:      46000 | #Constraints:      20733
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      47000 | #Constraints:      17342
1064.16/1067.88	c #Conflicts:      48000 | #Constraints:      18342
1064.16/1067.88	c #Conflicts:      49000 | #Constraints:      19342
1064.16/1067.88	c #Conflicts:      50000 | #Constraints:      20342
1064.16/1067.88	c #Conflicts:      51000 | #Constraints:      21342
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      52000 | #Constraints:      17744
1064.16/1067.88	c #Conflicts:      53000 | #Constraints:      18744
1064.16/1067.88	c #Conflicts:      54000 | #Constraints:      19744
1064.16/1067.88	c #Conflicts:      55000 | #Constraints:      20744
1064.16/1067.88	c #Conflicts:      56000 | #Constraints:      21744
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      57000 | #Constraints:      17950
1064.16/1067.88	c #Conflicts:      58000 | #Constraints:      18950
1064.16/1067.88	c #Conflicts:      59000 | #Constraints:      19950
1064.16/1067.88	c #Conflicts:      60000 | #Constraints:      20950
1064.16/1067.88	c #Conflicts:      61000 | #Constraints:      21950
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      62000 | #Constraints:      17939
1064.16/1067.88	c #Conflicts:      63000 | #Constraints:      18939
1064.16/1067.88	c #Conflicts:      64000 | #Constraints:      19939
1064.16/1067.88	c #Conflicts:      65000 | #Constraints:      20939
1064.16/1067.88	c #Conflicts:      66000 | #Constraints:      21939
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      67000 | #Constraints:      17746
1064.16/1067.88	c #Conflicts:      68000 | #Constraints:      18746
1064.16/1067.88	c #Conflicts:      69000 | #Constraints:      19746
1064.16/1067.88	c #Conflicts:      70000 | #Constraints:      20746
1064.16/1067.88	c #Conflicts:      71000 | #Constraints:      21746
1064.16/1067.88	c #Conflicts:      72000 | #Constraints:      22746
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      73000 | #Constraints:      18335
1064.16/1067.88	c #Conflicts:      74000 | #Constraints:      19335
1064.16/1067.88	c #Conflicts:      75000 | #Constraints:      20335
1064.16/1067.88	c #Conflicts:      76000 | #Constraints:      21335
1064.16/1067.88	c #Conflicts:      77000 | #Constraints:      22335
1064.16/1067.88	c #Conflicts:      78000 | #Constraints:      23335
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      79000 | #Constraints:      18733
1064.16/1067.88	c #Conflicts:      80000 | #Constraints:      19733
1064.16/1067.88	c #Conflicts:      81000 | #Constraints:      20733
1064.16/1067.88	c #Conflicts:      82000 | #Constraints:      21733
1064.16/1067.88	c #Conflicts:      83000 | #Constraints:      22733
1064.16/1067.88	c #Conflicts:      84000 | #Constraints:      23733
1064.16/1067.88	c INPROCESSING
1064.16/1067.88	c GARBAGE COLLECT
1064.16/1067.88	c #Conflicts:      85000 | #Constraints:      18952
1064.16/1067.88	c #Conflicts:      86000 | #Constraints:      19952
1064.16/1067.88	c #Conflicts:      87000 | #Constraints:      20952
1064.16/1067.88	c #Conflicts:      88000 | #Constraints:      21952
1064.16/1067.88	c #Conflicts:      89000 | #Constraints:      22952
1732.59/1738.76	c #Conflicts:      90000 | #Constraints:      23952
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:      91000 | #Constraints:      18952
1732.59/1738.76	c #Conflicts:      92000 | #Constraints:      19952
1732.59/1738.76	c #Conflicts:      93000 | #Constraints:      20952
1732.59/1738.76	c #Conflicts:      94000 | #Constraints:      21952
1732.59/1738.76	c #Conflicts:      95000 | #Constraints:      22952
1732.59/1738.76	c #Conflicts:      96000 | #Constraints:      23952
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:      97000 | #Constraints:      18769
1732.59/1738.76	c #Conflicts:      98000 | #Constraints:      19769
1732.59/1738.76	c #Conflicts:      99000 | #Constraints:      20769
1732.59/1738.76	c #Conflicts:     100000 | #Constraints:      21769
1732.59/1738.76	c #Conflicts:     101000 | #Constraints:      22769
1732.59/1738.76	c #Conflicts:     102000 | #Constraints:      23769
1732.59/1738.76	c #Conflicts:     103000 | #Constraints:      24769
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     104000 | #Constraints:      19339
1732.59/1738.76	c #Conflicts:     105000 | #Constraints:      20339
1732.59/1738.76	c #Conflicts:     106000 | #Constraints:      21339
1732.59/1738.76	c #Conflicts:     107000 | #Constraints:      22339
1732.59/1738.76	c #Conflicts:     108000 | #Constraints:      23339
1732.59/1738.76	c #Conflicts:     109000 | #Constraints:      24339
1732.59/1738.76	c #Conflicts:     110000 | #Constraints:      25339
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     111000 | #Constraints:      19780
1732.59/1738.76	c #Conflicts:     112000 | #Constraints:      20780
1732.59/1738.76	c #Conflicts:     113000 | #Constraints:      21780
1732.59/1738.76	c #Conflicts:     114000 | #Constraints:      22780
1732.59/1738.76	c #Conflicts:     115000 | #Constraints:      23780
1732.59/1738.76	c #Conflicts:     116000 | #Constraints:      24780
1732.59/1738.76	c #Conflicts:     117000 | #Constraints:      25780
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     118000 | #Constraints:      20053
1732.59/1738.76	c #Conflicts:     119000 | #Constraints:      21053
1732.59/1738.76	c #Conflicts:     120000 | #Constraints:      22053
1732.59/1738.76	c #Conflicts:     121000 | #Constraints:      23053
1732.59/1738.76	c #Conflicts:     122000 | #Constraints:      24053
1732.59/1738.76	c #Conflicts:     123000 | #Constraints:      25053
1732.59/1738.76	c #Conflicts:     124000 | #Constraints:      26053
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     125000 | #Constraints:      20053
1732.59/1738.76	c #Conflicts:     126000 | #Constraints:      21053
1732.59/1738.76	c #Conflicts:     127000 | #Constraints:      22053
1732.59/1738.76	c #Conflicts:     128000 | #Constraints:      23053
1732.59/1738.76	c #Conflicts:     129000 | #Constraints:      24053
1732.59/1738.76	c #Conflicts:     130000 | #Constraints:      25053
1732.59/1738.76	c #Conflicts:     131000 | #Constraints:      26053
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     132000 | #Constraints:      19895
1732.59/1738.76	c #Conflicts:     133000 | #Constraints:      20895
1732.59/1738.76	c #Conflicts:     134000 | #Constraints:      21895
1732.59/1738.76	c #Conflicts:     135000 | #Constraints:      22895
1732.59/1738.76	c #Conflicts:     136000 | #Constraints:      23895
1732.59/1738.76	c #Conflicts:     137000 | #Constraints:      24895
1732.59/1738.76	c #Conflicts:     138000 | #Constraints:      25895
1732.59/1738.76	c #Conflicts:     139000 | #Constraints:      26895
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     140000 | #Constraints:      20535
1732.59/1738.76	c #Conflicts:     141000 | #Constraints:      21535
1732.59/1738.76	c #Conflicts:     142000 | #Constraints:      22535
1732.59/1738.76	c #Conflicts:     143000 | #Constraints:      23535
1732.59/1738.76	c #Conflicts:     144000 | #Constraints:      24535
1732.59/1738.76	c #Conflicts:     145000 | #Constraints:      25535
1732.59/1738.76	c #Conflicts:     146000 | #Constraints:      26535
1732.59/1738.76	c #Conflicts:     147000 | #Constraints:      27535
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     148000 | #Constraints:      20979
1732.59/1738.76	c #Conflicts:     149000 | #Constraints:      21979
1732.59/1738.76	c #Conflicts:     150000 | #Constraints:      22979
1732.59/1738.76	c #Conflicts:     151000 | #Constraints:      23979
1732.59/1738.76	c #Conflicts:     152000 | #Constraints:      24979
1732.59/1738.76	c #Conflicts:     153000 | #Constraints:      25979
1732.59/1738.76	c #Conflicts:     154000 | #Constraints:      26979
1732.59/1738.76	c #Conflicts:     155000 | #Constraints:      27979
1732.59/1738.76	c INPROCESSING
1732.59/1738.76	c GARBAGE COLLECT
1732.59/1738.76	c #Conflicts:     156000 | #Constraints:      21223
1732.59/1738.76	c #Conflicts:     157000 | #Constraints:      22223
1732.59/1738.76	c #Conflicts:     158000 | #Constraints:      23223
1732.59/1738.76	c #Conflicts:     159000 | #Constraints:      24223
1732.59/1738.76	c #Conflicts:     160000 | #Constraints:      25223
1732.59/1738.76	c #Conflicts:     161000 | #Constraints:      26223
2380.21/2388.58	c #Conflicts:     162000 | #Constraints:      27223
2380.21/2388.58	c #Conflicts:     163000 | #Constraints:      28223
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     164000 | #Constraints:      21229
2380.21/2388.58	c #Conflicts:     165000 | #Constraints:      22229
2380.21/2388.58	c #Conflicts:     166000 | #Constraints:      23229
2380.21/2388.58	c #Conflicts:     167000 | #Constraints:      24229
2380.21/2388.58	c #Conflicts:     168000 | #Constraints:      25229
2380.21/2388.58	c #Conflicts:     169000 | #Constraints:      26229
2380.21/2388.58	c #Conflicts:     170000 | #Constraints:      27229
2380.21/2388.58	c #Conflicts:     171000 | #Constraints:      28229
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     172000 | #Constraints:      21007
2380.21/2388.58	c #Conflicts:     173000 | #Constraints:      22007
2380.21/2388.58	c #Conflicts:     174000 | #Constraints:      23007
2380.21/2388.58	c #Conflicts:     175000 | #Constraints:      24007
2380.21/2388.58	c #Conflicts:     176000 | #Constraints:      25007
2380.21/2388.58	c #Conflicts:     177000 | #Constraints:      26007
2380.21/2388.58	c #Conflicts:     178000 | #Constraints:      27007
2380.21/2388.58	c #Conflicts:     179000 | #Constraints:      28007
2380.21/2388.58	c #Conflicts:     180000 | #Constraints:      29007
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     181000 | #Constraints:      21603
2380.21/2388.58	c #Conflicts:     182000 | #Constraints:      22603
2380.21/2388.58	c #Conflicts:     183000 | #Constraints:      23603
2380.21/2388.58	c #Conflicts:     184000 | #Constraints:      24603
2380.21/2388.58	c #Conflicts:     185000 | #Constraints:      25603
2380.21/2388.58	c #Conflicts:     186000 | #Constraints:      26603
2380.21/2388.58	c #Conflicts:     187000 | #Constraints:      27603
2380.21/2388.58	c #Conflicts:     188000 | #Constraints:      28603
2380.21/2388.58	c #Conflicts:     189000 | #Constraints:      29603
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     190000 | #Constraints:      22011
2380.21/2388.58	c #Conflicts:     191000 | #Constraints:      23011
2380.21/2388.58	c #Conflicts:     192000 | #Constraints:      24011
2380.21/2388.58	c #Conflicts:     193000 | #Constraints:      25011
2380.21/2388.58	c #Conflicts:     194000 | #Constraints:      26011
2380.21/2388.58	c #Conflicts:     195000 | #Constraints:      27011
2380.21/2388.58	c #Conflicts:     196000 | #Constraints:      28011
2380.21/2388.58	c #Conflicts:     197000 | #Constraints:      29011
2380.21/2388.58	c #Conflicts:     198000 | #Constraints:      30011
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     199000 | #Constraints:      22217
2380.21/2388.58	c #Conflicts:     200000 | #Constraints:      23217
2380.21/2388.58	c #Conflicts:     201000 | #Constraints:      24217
2380.21/2388.58	c #Conflicts:     202000 | #Constraints:      25217
2380.21/2388.58	c #Conflicts:     203000 | #Constraints:      26217
2380.21/2388.58	c #Conflicts:     204000 | #Constraints:      27217
2380.21/2388.58	c #Conflicts:     205000 | #Constraints:      28217
2380.21/2388.58	c #Conflicts:     206000 | #Constraints:      29217
2380.21/2388.58	c #Conflicts:     207000 | #Constraints:      30217
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     208000 | #Constraints:      22214
2380.21/2388.58	c #Conflicts:     209000 | #Constraints:      23214
2380.21/2388.58	c #Conflicts:     210000 | #Constraints:      24214
2380.21/2388.58	c #Conflicts:     211000 | #Constraints:      25214
2380.21/2388.58	c #Conflicts:     212000 | #Constraints:      26214
2380.21/2388.58	c #Conflicts:     213000 | #Constraints:      27214
2380.21/2388.58	c #Conflicts:     214000 | #Constraints:      28214
2380.21/2388.58	c #Conflicts:     215000 | #Constraints:      29214
2380.21/2388.58	c #Conflicts:     216000 | #Constraints:      30214
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     217000 | #Constraints:      22013
2380.21/2388.58	c #Conflicts:     218000 | #Constraints:      23013
2380.21/2388.58	c #Conflicts:     219000 | #Constraints:      24013
2380.21/2388.58	c #Conflicts:     220000 | #Constraints:      25013
2380.21/2388.58	c #Conflicts:     221000 | #Constraints:      26013
2380.21/2388.58	c #Conflicts:     222000 | #Constraints:      27013
2380.21/2388.58	c #Conflicts:     223000 | #Constraints:      28013
2380.21/2388.58	c #Conflicts:     224000 | #Constraints:      29013
2380.21/2388.58	c #Conflicts:     225000 | #Constraints:      30013
2380.21/2388.58	c #Conflicts:     226000 | #Constraints:      31013
2380.21/2388.58	c INPROCESSING
2380.21/2388.58	c GARBAGE COLLECT
2380.21/2388.58	c #Conflicts:     227000 | #Constraints:      22613
2380.21/2388.58	c #Conflicts:     228000 | #Constraints:      23613
2380.21/2388.58	c #Conflicts:     229000 | #Constraints:      24613
2380.21/2388.58	c #Conflicts:     230000 | #Constraints:      25613
2380.21/2388.58	c #Conflicts:     231000 | #Constraints:      26613
2380.21/2388.58	c #Conflicts:     232000 | #Constraints:      27613
2380.21/2388.58	c #Conflicts:     233000 | #Constraints:      28613
2380.21/2388.58	c #Conflicts:     234000 | #Constraints:      29613
2380.21/2388.58	c #Conflicts:     235000 | #Constraints:      30613
3269.59/3280.93	c #Conflicts:     236000 | #Constraints:      31613
3269.59/3280.93	c INPROCESSING
3269.59/3280.93	c GARBAGE COLLECT
3269.59/3280.93	c #Conflicts:     237000 | #Constraints:      23001
3269.59/3280.93	c #Conflicts:     238000 | #Constraints:      24001
3269.59/3280.93	c #Conflicts:     239000 | #Constraints:      25001
3269.59/3280.93	c #Conflicts:     240000 | #Constraints:      26001
3269.59/3280.93	c #Conflicts:     241000 | #Constraints:      27001
3269.59/3280.93	c #Conflicts:     242000 | #Constraints:      28001
3269.59/3280.93	c #Conflicts:     243000 | #Constraints:      29001
3269.59/3280.93	c #Conflicts:     244000 | #Constraints:      30001
3269.59/3280.93	c #Conflicts:     245000 | #Constraints:      31001
3269.59/3280.93	c #Conflicts:     246000 | #Constraints:      32001
3269.59/3280.93	c INPROCESSING
3269.59/3280.93	c GARBAGE COLLECT
3269.59/3280.93	c #Conflicts:     247000 | #Constraints:      23204
3269.59/3280.93	c #Conflicts:     248000 | #Constraints:      24204
3269.59/3280.93	c #Conflicts:     249000 | #Constraints:      25204
3269.59/3280.93	c #Conflicts:     250000 | #Constraints:      26204
3269.59/3280.93	c #Conflicts:     251000 | #Constraints:      27204
3269.59/3280.93	c #Conflicts:     252000 | #Constraints:      28204
3269.59/3280.93	c #Conflicts:     253000 | #Constraints:      29204
3269.59/3280.93	c #Conflicts:     254000 | #Constraints:      30204
3269.59/3280.93	c #Conflicts:     255000 | #Constraints:      31204
3269.59/3280.93	c #Conflicts:     256000 | #Constraints:      32204
3269.59/3280.93	c INPROCESSING
3269.59/3280.93	c GARBAGE COLLECT
3269.59/3280.93	c #Conflicts:     257000 | #Constraints:      23220
3269.59/3280.93	c #Conflicts:     258000 | #Constraints:      24220
3269.59/3280.93	c #Conflicts:     259000 | #Constraints:      25220
3269.59/3280.93	c #Conflicts:     260000 | #Constraints:      26220
3269.59/3280.93	c #Conflicts:     261000 | #Constraints:      27220
3269.59/3280.93	c #Conflicts:     262000 | #Constraints:      28220
3269.59/3280.93	c #Conflicts:     263000 | #Constraints:      29220
3269.59/3280.93	c #Conflicts:     264000 | #Constraints:      30220
3269.59/3280.93	c #Conflicts:     265000 | #Constraints:      31220
3269.59/3280.93	c #Conflicts:     266000 | #Constraints:      32220
3269.59/3280.93	c INPROCESSING
3269.59/3280.93	c GARBAGE COLLECT
3269.59/3280.93	c #Conflicts:     267000 | #Constraints:      23015
3269.59/3280.93	c #Conflicts:     268000 | #Constraints:      24015
3269.59/3280.93	c #Conflicts:     269000 | #Constraints:      25015
3269.59/3280.93	c #Conflicts:     270000 | #Constraints:      26015
3269.59/3280.93	c #Conflicts:     271000 | #Constraints:      27015
3269.59/3280.93	c #Conflicts:     272000 | #Constraints:      28015
3269.59/3280.93	c #Conflicts:     273000 | #Constraints:      29015
3269.59/3280.93	c #Conflicts:     274000 | #Constraints:      30015
3269.59/3280.93	c #Conflicts:     275000 | #Constraints:      31015
3269.59/3280.93	c #Conflicts:     276000 | #Constraints:      32015
3269.59/3280.93	c #Conflicts:     277000 | #Constraints:      33015
3269.59/3280.93	c INPROCESSING
3269.59/3280.93	c GARBAGE COLLECT
3269.59/3280.93	c #Conflicts:     278000 | #Constraints:      23614
3269.59/3280.93	c #Conflicts:     279000 | #Constraints:      24614
3269.59/3280.93	c #Conflicts:     280000 | #Constraints:      25614
3269.59/3280.93	c #Conflicts:     281000 | #Constraints:      26614
3269.59/3280.93	c #Conflicts:     282000 | #Constraints:      27614
3269.59/3280.93	c #Conflicts:     283000 | #Constraints:      28614
3269.59/3280.93	c #Conflicts:     284000 | #Constraints:      29614
3269.59/3280.93	c #Conflicts:     285000 | #Constraints:      30614
3269.59/3280.93	c #Conflicts:     286000 | #Constraints:      31614
3269.59/3280.93	c #Conflicts:     287000 | #Constraints:      32614
3269.59/3280.93	c #Conflicts:     288000 | #Constraints:      33614
3269.59/3280.93	c INPROCESSING
3269.59/3280.93	c GARBAGE COLLECT
3269.59/3280.93	c #Conflicts:     289000 | #Constraints:      24000
3269.59/3280.93	c #Conflicts:     290000 | #Constraints:      25000
3269.59/3280.93	c #Conflicts:     291000 | #Constraints:      26000
3269.59/3280.93	c #Conflicts:     292000 | #Constraints:      27000
3269.59/3280.93	c #Conflicts:     293000 | #Constraints:      28000
3269.59/3280.93	c #Conflicts:     294000 | #Constraints:      29000
3269.59/3280.93	c #Conflicts:     295000 | #Constraints:      30000
3269.59/3280.93	c #Conflicts:     296000 | #Constraints:      31000
3269.59/3280.93	c #Conflicts:     297000 | #Constraints:      32000
3269.59/3280.93	c #Conflicts:     298000 | #Constraints:      33000
3269.59/3280.93	c #Conflicts:     299000 | #Constraints:      34000
3269.59/3280.93	c INPROCESSING
3269.59/3280.93	c GARBAGE COLLECT
3269.59/3280.93	c #Conflicts:     300000 | #Constraints:      24191
3269.59/3280.93	c #Conflicts:     301000 | #Constraints:      25191
3269.59/3280.93	c #Conflicts:     302000 | #Constraints:      26191
3269.59/3280.93	c #Conflicts:     303000 | #Constraints:      27191
3269.59/3280.93	c #Conflicts:     304000 | #Constraints:      28191
3269.59/3280.93	c #Conflicts:     305000 | #Constraints:      29191
3269.59/3280.93	c #Conflicts:     306000 | #Constraints:      30191
3269.59/3280.93	c #Conflicts:     307000 | #Constraints:      31191
3269.59/3280.93	c #Conflicts:     308000 | #Constraints:      32191
3269.59/3280.93	c #Conflicts:     309000 | #Constraints:      33191
3600.01/3612.40	c #Conflicts:     310000 | #Constraints:      34191
3600.01/3612.40	c INPROCESSING
3600.01/3612.40	c GARBAGE COLLECT
3600.01/3612.40	c #Conflicts:     311000 | #Constraints:      24157
3600.01/3612.40	c #Conflicts:     312000 | #Constraints:      25157
3600.01/3612.40	c #Conflicts:     313000 | #Constraints:      26157
3600.01/3612.40	c #Conflicts:     314000 | #Constraints:      27157
3600.01/3612.40	c #Conflicts:     315000 | #Constraints:      28157
3600.01/3612.40	c #Conflicts:     316000 | #Constraints:      29157
3600.01/3612.40	c #Conflicts:     317000 | #Constraints:      30157
3600.01/3612.40	c #Conflicts:     318000 | #Constraints:      31157
3600.01/3612.40	c #Conflicts:     319000 | #Constraints:      32157
3600.01/3612.40	c #Conflicts:     320000 | #Constraints:      33157
3600.01/3612.40	c #Conflicts:     321000 | #Constraints:      34157
3600.01/3612.40	c INPROCESSING
3600.01/3612.40	c GARBAGE COLLECT
3600.01/3612.40	c #Conflicts:     322000 | #Constraints:      23918
3600.01/3612.40	c #Conflicts:     323000 | #Constraints:      24918
3600.01/3612.40	c #Conflicts:     324000 | #Constraints:      25918
3600.01/3612.40	c #Conflicts:     325000 | #Constraints:      26918
3600.01/3612.40	c #Conflicts:     326000 | #Constraints:      27918
3600.01/3612.40	c #Conflicts:     327000 | #Constraints:      28918
3600.01/3612.40	c #Conflicts:     328000 | #Constraints:      29918
3600.01/3612.40	c #Conflicts:     329000 | #Constraints:      30918
3600.01/3612.40	c #Conflicts:     330000 | #Constraints:      31918
3600.01/3612.40	c #Conflicts:     331000 | #Constraints:      32918
3600.01/3612.40	c #Conflicts:     332000 | #Constraints:      33918
3600.01/3612.40	c #Conflicts:     333000 | #Constraints:      34918
3600.01/3612.40	c INPROCESSING
3600.01/3612.40	c GARBAGE COLLECT
3600.01/3612.40	c #Conflicts:     334000 | #Constraints:      24508
3600.01/3612.40	c #Conflicts:     335000 | #Constraints:      25508
3600.01/3612.40	c #Conflicts:     336000 | #Constraints:      26508
3600.01/3612.40	c #Conflicts:     337000 | #Constraints:      27508
3600.01/3612.40	c #Conflicts:     338000 | #Constraints:      28508
3600.01/3612.40	c #Conflicts:     339000 | #Constraints:      29508
3600.01/3612.40	c #Conflicts:     340000 | #Constraints:      30508
3600.01/3612.40	c #Conflicts:     341000 | #Constraints:      31508
3600.01/3612.40	c #Conflicts:     342000 | #Constraints:      32508
3600.01/3612.40	c #Conflicts:     343000 | #Constraints:      33508
3600.01/3612.40	c #Conflicts:     344000 | #Constraints:      34508
3600.01/3612.40	c #Conflicts:     345000 | #Constraints:      35508
3600.01/3612.40	c INPROCESSING
3600.01/3612.40	c GARBAGE COLLECT
3600.01/3612.40	c #Conflicts:     346000 | #Constraints:      24923
3600.01/3612.40	c #Conflicts:     347000 | #Constraints:      25923
3600.01/3612.40	c #Conflicts:     348000 | #Constraints:      26923
3600.01/3612.40	c #Conflicts:     349000 | #Constraints:      27923
3600.01/3612.40	c Program interrupted by user.
3600.01/3612.40	c cpu time 3583.39 s
3600.01/3612.40	c deterministic time 291356190697 2.91e+11
3600.01/3612.40	c optimization time 27.7524 s
3600.01/3612.40	c total solve time 3256.66 s
3600.01/3612.40	c core-guided solve time 3256.66 s
3600.01/3612.40	c propagation time 2107.87 s
3600.01/3612.40	c conflict analysis time 560.611 s
3600.01/3612.40	c propagations 149784245
3600.01/3612.40	c resolve steps 1097567
3600.01/3612.40	c decisions 13893885
3600.01/3612.40	c conflicts 349122
3600.01/3612.40	c restarts 828
3600.01/3612.40	c inprocessing phases 50
3600.01/3612.40	c input clauses 10281
3600.01/3612.40	c input cardinalities 1803
3600.01/3612.40	c input general constraints 105
3600.01/3612.40	c input average constraint length 96.53
3600.01/3612.40	c input average constraint degree 5.70
3600.01/3612.40	c learned clauses 25911
3600.01/3612.40	c learned cardinalities 2671
3600.01/3612.40	c learned general constraints 320568
3600.01/3612.40	c learned average constraint length 6572.34
3600.01/3612.40	c learned average constraint degree 151935.13
3600.01/3612.40	c watched constraints 41921
3600.01/3612.40	c counting constraints 278752
3600.01/3612.40	c gcd simplifications 1959
3600.01/3612.40	c detected cardinalities 8
3600.01/3612.40	c weakened non-implied lits 217578192
3600.01/3612.40	c weakened non-implying lits 7148
3600.01/3612.40	c original variables 10772
3600.01/3612.40	c clausal propagations 11839561
3600.01/3612.40	c cardinality propagations 9011901
3600.01/3612.40	c watched propagations 1534678
3600.01/3612.40	c counting propagations 121357258
3600.01/3612.40	c watch lookups 39514632604
3600.01/3612.40	c watch backjump lookups 39460293888
3600.01/3612.40	c watch checks 27647242441
3600.01/3612.40	c propagation checks 180249045197
3600.01/3612.40	c constraint additions 4157278338
3600.01/3612.40	c trail pops 164020098
3600.01/3612.40	c formula constraints 12046
3600.01/3612.40	c learned constraints 349150
3600.01/3612.40	c bound constraints 105
3600.01/3612.40	c core-guided constraints 38
3600.01/3612.40	c encountered formula constraints 855295
3600.01/3612.40	c encountered learned constraints 591165
3600.01/3612.40	c encountered bound constraints 177
3600.01/3612.40	c encountered core-guided constraints 52
3600.01/3612.40	c LP total time 0 s
3600.01/3612.40	c LP solve time 0 s
3600.01/3612.40	c LP constraints added 0
3600.01/3612.40	c LP constraints removed 0
3600.01/3612.40	c LP pivots internal 0
3600.01/3612.40	c LP pivots root 0
3600.01/3612.40	c LP calls 0
3600.01/3612.40	c LP optimalities 0
3600.01/3612.40	c LP no pivot count 0
3600.01/3612.40	c LP infeasibilities 0
3600.01/3612.40	c LP valid Farkas constraints 0
3600.01/3612.40	c LP learned Farkas constraints 0
3600.01/3612.40	c LP basis resets 0
3600.01/3612.40	c LP cycling count 0
3600.01/3612.40	c LP singular count 0
3600.01/3612.40	c LP no primal count 0
3600.01/3612.40	c LP no farkas count 0
3600.01/3612.40	c LP other issue count 0
3600.01/3612.40	c LP Gomory cuts 0
3600.01/3612.40	c LP learned cuts 0
3600.01/3612.40	c LP deleted cuts 0
3600.01/3612.40	c LP encountered Gomory constraints 0
3600.01/3612.40	c LP encountered Farkas constraints 0
3600.01/3612.40	c LP encountered learned Farkas constraints 0
3600.01/3612.40	c CG auxiliary variables introduced 38
3600.01/3612.40	c CG solutions found 0
3600.01/3612.40	c CG cores constructed 104
3600.01/3612.40	c CG core cardinality constraints returned 10
3600.01/3612.40	c CG unit cores 0
3600.01/3612.40	c CG single cores 102
3600.01/3612.40	c CG blocks removed during cardinality reduction 0
3600.01/3612.40	c CG first core best 0
3600.01/3612.40	c CG decision core best 2
3600.01/3612.40	c CG core reduction tie 0
3600.01/3612.40	c CG core degree average 1.12
3600.01/3612.40	c CG core slack average 5.15
3600.01/3612.40	c CG exhausted 0
3600.01/3612.40	c CG exhaust time 0 s
3600.01/3612.40	c CG trimmed 0
3600.01/3612.40	c CG trim time 0.00072 s
3600.01/3612.40	c CG minimized 0
3600.01/3612.40	c CG minimize time 0 s
3600.01/3612.40	c CG am1 prop time 0.005845 s
3600.01/3612.40	c CG # am1s reformulated 38
3600.01/3612.40	c CG lower bound derived from am1s 138
3600.01/3612.40	c CG # clausal cores 96
3600.01/3612.40	c CG # cardinality cores 10
3600.01/3612.40	c CG # pb cores 0
3600.01/3612.40	c CG # pb reforms 0
3600.01/3612.40	c CG # cores discarded because of pb reform 0
3600.01/3612.40	d LOWERBOUND 490
3600.01/3612.40	d NCORES 104
3600.01/3612.40	d NPBCORES 0
3600.01/3612.40	d NPBREFORM 0
3600.01/3612.40	d NTRIMMED 0
3600.01/3612.40	d NEXHAUSTED 0
3600.01/3612.40	d NAM1S 38
3600.01/3612.40	d AM1LB 138
3600.01/3612.40	c [Papilo Statistics]
3600.01/3612.40	c prepro time 0.0185454s
3600.01/3612.40	c # tsx applied 3
3600.01/3612.40	c # tsx conflicts 0
3600.01/3612.40	c # bound changes 3
3600.01/3612.40	c # side changes 0
3600.01/3612.40	c # coef changes 0
3600.01/3612.40	c # rounds 2
3600.01/3612.40	c # deted vars 4
3600.01/3612.40	c # deted constrs 5
3600.01/3612.40	c # consecutive rounds of only bound changes 0
3600.01/3612.42	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 (59153 MiB free)
  memory of node 1: 64473 MiB (57861 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=1036656, runsolver pid=1036653

[startup+0.10007 s]*
/proc/loadavg: 4.10 4.09 4.01 5/256 1036657
/proc/meminfo: memFree=119777616/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=126268 memory=59760 CPUtime=0.09 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 13477 0 0 0 7 2 0 0 20 0 1 0 194971273 129298432 14940 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 31567 14940 3734 3002 0 15316 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 126268 KiB
Current children cumulated memory: 59760 KiB

[startup+0.205649 s]*
/proc/loadavg: 4.10 4.09 4.01 5/256 1036657
/proc/meminfo: memFree=119752164/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=154424 memory=86168 CPUtime=0.19 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 21635 0 0 0 16 3 0 0 20 0 1 0 194971273 158130176 21476 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 38606 21542 3846 3002 0 22355 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 154424 KiB
Current children cumulated memory: 86168 KiB

[startup+0.305611 s]*
/proc/loadavg: 4.10 4.09 4.01 5/256 1036657
/proc/meminfo: memFree=119745640/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=161012 memory=92360 CPUtime=0.29 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 23161 0 0 0 26 3 0 0 20 0 1 0 194971273 164876288 23090 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 40253 23090 3878 3002 0 24002 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 161012 KiB
Current children cumulated memory: 92360 KiB

[startup+0.700242 s]
/proc/loadavg: 4.10 4.09 4.01 5/256 1036657
/proc/meminfo: memFree=119743820/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=162632 memory=93740 CPUtime=0.69 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 23509 0 0 0 65 4 0 0 20 0 1 0 194971273 166535168 23435 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 40658 23435 3894 3002 0 24407 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 162632 KiB
Current children cumulated memory: 93740 KiB

[startup+1.50023 s]
/proc/loadavg: 4.10 4.09 4.01 5/256 1036657
/proc/meminfo: memFree=119743120/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=164168 memory=95324 CPUtime=1.48 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 23895 0 0 0 144 4 0 0 20 0 1 0 194971273 168108032 23831 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 41042 23831 3894 3002 0 24791 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 164168 KiB
Current children cumulated memory: 95324 KiB

[startup+3.10545 s]
/proc/loadavg: 4.09 4.09 4.01 5/256 1036657
/proc/meminfo: memFree=119700896/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=226240 memory=137400 CPUtime=3.08 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 36384 0 0 0 301 7 0 0 20 0 1 0 194971273 231669760 34350 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 56560 34350 4094 3002 0 40309 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 226240 KiB
Current children cumulated memory: 137400 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.09 4.01 5/256 1036659
/proc/meminfo: memFree=119692052/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=228132 memory=139836 CPUtime=6.26 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 36948 0 0 0 619 7 0 0 20 0 1 0 194971273 233607168 34959 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 57033 34959 4110 3002 0 40782 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 228132 KiB
Current children cumulated memory: 139836 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.01 5/256 1036659
/proc/meminfo: memFree=119639392/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=282828 memory=193248 CPUtime=12.64 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 40685 0 0 0 1256 8 0 0 20 0 1 0 194971273 289615872 48312 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 70707 48312 4110 3002 0 54456 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 282828 KiB
Current children cumulated memory: 193248 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.01 5/256 1036663
/proc/meminfo: memFree=119603912/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=312184 memory=221388 CPUtime=25.4 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 48226 0 0 0 2531 9 0 0 20 0 1 0 194971273 319676416 55347 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 78046 55347 4110 3002 0 61795 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 312184 KiB
Current children cumulated memory: 221388 KiB

[startup+51.1057 s]
/proc/loadavg: 4.04 4.08 4.00 5/256 1036666
/proc/meminfo: memFree=119569972/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=325624 memory=235012 CPUtime=50.91 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 51650 0 0 0 5081 10 0 0 20 0 1 0 194971273 333438976 58753 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 81406 58753 4125 3002 0 65155 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 325624 KiB
Current children cumulated memory: 235012 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/258 1036844
/proc/meminfo: memFree=119482712/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=382792 memory=287920 CPUtime=101.94 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 64936 0 0 0 10181 13 0 0 20 0 1 0 194971273 391979008 71980 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 95698 71980 4125 3002 0 79447 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 382792 KiB
Current children cumulated memory: 287920 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/259 1036856
/proc/meminfo: memFree=119459620/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=384132 memory=290776 CPUtime=161.72 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 67516 0 0 0 16158 14 0 0 20 0 1 0 194971273 393351168 72694 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 96033 72694 4141 3002 0 79782 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 384132 KiB
Current children cumulated memory: 290776 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/260 1036926
/proc/meminfo: memFree=119440752/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=384132 memory=290908 CPUtime=221.52 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 67569 0 0 0 22137 15 0 0 20 0 1 0 194971273 393351168 72727 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 96033 72727 4141 3002 0 79782 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 384132 KiB
Current children cumulated memory: 290908 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/260 1036936
/proc/meminfo: memFree=119412192/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=384132 memory=292976 CPUtime=281.32 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 68120 0 0 0 28116 16 0 0 20 0 1 0 194971273 393351168 73244 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 96033 73244 4141 3002 0 79782 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 384132 KiB
Current children cumulated memory: 292976 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/260 1036947
/proc/meminfo: memFree=119093948/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=756668 memory=601792 CPUtime=341.11 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 97031 0 0 0 34004 107 0 0 20 0 1 0 194971273 774828032 150448 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 189167 150448 4269 3002 0 172916 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 756668 KiB
Current children cumulated memory: 601792 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/260 1036957
/proc/meminfo: memFree=118759144/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=1268392 memory=908872 CPUtime=400.91 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 150845 0 0 0 39925 166 0 0 20 0 1 0 194971273 1298833408 227218 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 317098 227218 4269 3002 0 300847 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 1268392 KiB
Current children cumulated memory: 908872 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/258 1036968
/proc/meminfo: memFree=118570060/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=1301408 memory=1039532 CPUtime=460.7 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 166197 0 0 0 45837 233 0 0 20 0 1 0 194971273 1332641792 259883 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 325352 259883 4269 3002 0 309101 0

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

Current children cumulated memory: 3247552 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 1038344
/proc/meminfo: memFree=121457444/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=3884744 memory=3289716 CPUtime=2852.45 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 515456 0 0 0 283828 1417 0 0 20 0 1 0 194971273 3977977856 822429 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 971186 822429 4269 3002 0 954935 0
Current children cumulated CPU time: 2852.45 s
Current children cumulated vsize: 3884744 KiB
Current children cumulated memory: 3289716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1038354
/proc/meminfo: memFree=121420268/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=3888840 memory=3322944 CPUtime=2912.24 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 517437 0 0 0 289792 1432 0 0 20 0 1 0 194971273 3982172160 830736 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 972210 830736 4269 3002 0 955959 0
Current children cumulated CPU time: 2912.24 s
Current children cumulated vsize: 3888840 KiB
Current children cumulated memory: 3322944 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 1038364
/proc/meminfo: memFree=121406836/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=3888840 memory=3322944 CPUtime=2972.02 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 518763 0 0 0 295749 1453 0 0 20 0 1 0 194971273 3982172160 830736 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 972210 830736 4269 3002 0 955959 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 3888840 KiB
Current children cumulated memory: 3322944 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1038375
/proc/meminfo: memFree=121342436/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=3930756 memory=3379996 CPUtime=3031.82 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 525831 0 0 0 301703 1479 0 0 20 0 1 0 194971273 4025094144 844999 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 982689 844999 4269 3002 0 966438 0
Current children cumulated CPU time: 3031.82 s
Current children cumulated vsize: 3930756 KiB
Current children cumulated memory: 3379996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/254 1038385
/proc/meminfo: memFree=121178552/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4112600 memory=3532600 CPUtime=3091.61 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 552068 0 0 0 307658 1503 0 0 20 0 1 0 194971273 4211302400 883150 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1028150 883150 4269 3002 0 1011899 0
Current children cumulated CPU time: 3091.61 s
Current children cumulated vsize: 4112600 KiB
Current children cumulated memory: 3532600 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/254 1038395
/proc/meminfo: memFree=121131360/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4134032 memory=3577120 CPUtime=3151.4 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 556959 0 0 0 313618 1522 0 0 20 0 1 0 194971273 4233248768 894280 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1033508 894280 4269 3002 0 1017257 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 4134032 KiB
Current children cumulated memory: 3577120 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1038412
/proc/meminfo: memFree=121108028/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4137432 memory=3597000 CPUtime=3211.19 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 559264 0 0 0 319574 1545 0 0 20 0 1 0 194971273 4236730368 899250 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1034358 899250 4269 3002 0 1018107 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 4137432 KiB
Current children cumulated memory: 3597000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 1038422
/proc/meminfo: memFree=121076660/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4155792 memory=3620756 CPUtime=3270.98 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 563681 0 0 0 325534 1564 0 0 20 0 1 0 194971273 4255531008 905189 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1038948 905189 4269 3002 0 1022697 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 4155792 KiB
Current children cumulated memory: 3620756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1038434
/proc/meminfo: memFree=121011544/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4170460 memory=3678336 CPUtime=3330.78 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 568226 0 0 0 331498 1580 0 0 20 0 1 0 194971273 4270551040 919584 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1042615 919584 4269 3002 0 1026364 0
Current children cumulated CPU time: 3330.78 s
Current children cumulated vsize: 4170460 KiB
Current children cumulated memory: 3678336 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 1038445
/proc/meminfo: memFree=120914884/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4193244 memory=3761540 CPUtime=3390.58 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 575311 0 0 0 337459 1599 0 0 20 0 1 0 194971273 4293881856 940385 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1048311 940385 4269 3002 0 1032060 0
Current children cumulated CPU time: 3390.58 s
Current children cumulated vsize: 4193244 KiB
Current children cumulated memory: 3761540 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 1038457
/proc/meminfo: memFree=120899796/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4193244 memory=3761540 CPUtime=3450.38 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 576934 0 0 0 343421 1617 0 0 20 0 1 0 194971273 4293881856 940385 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1048311 940385 4269 3002 0 1032060 0
Current children cumulated CPU time: 3450.38 s
Current children cumulated vsize: 4193244 KiB
Current children cumulated memory: 3761540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 1038851
/proc/meminfo: memFree=120897568/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4193244 memory=3761540 CPUtime=3510.19 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 578622 0 0 0 349385 1634 0 0 20 0 1 0 194971273 4293881856 940385 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1048311 940385 4269 3002 0 1032060 0
Current children cumulated CPU time: 3510.19 s
Current children cumulated vsize: 4193244 KiB
Current children cumulated memory: 3761540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1038862
/proc/meminfo: memFree=120891336/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4193244 memory=3761540 CPUtime=3570 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 580403 0 0 0 355348 1652 0 0 20 0 1 0 194971273 4293881856 940385 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1048311 940385 4269 3002 0 1032060 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 4193244 KiB
Current children cumulated memory: 3761540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1038868
/proc/meminfo: memFree=120882872/131524600 swapFree=131071996/131071996
[pid=1036656] ppid=1036653 vsize=4193244 memory=3761540 CPUtime=3600.01 cores=0,2
/proc/1036656/stat : 1036656 (mixed-bag) R 1036653 1036656 1034130 0 -1 4194304 581005 0 0 0 358339 1662 0 0 20 0 1 0 194971273 4293881856 940385 134679101440 4194304 16488053 140724078391376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 39940096 140724078400533 140724078400610 140724078400610 140724078407627 0
/proc/1036656/statm: 1048311 940385 4269 3002 0 1032060 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 4193244 KiB
Current children cumulated memory: 3761540 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.4 s, system=16.6482 s

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

Child status: 0

Real time (s): 3612.43
CPU time (s): 3600.05
CPU user time (s): 3583.4
CPU system time (s): 16.6482
CPU usage (%): 99.6573
Max. virtual memory (cumulated for all children) (KiB): 4193244
Max. memory (cumulated for all children) (KiB): 3761540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.4
system time used= 16.6482
maximum resident set size= 3761540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581026
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= 482
involuntary context switches= 25226


# summary of solver processes directly reported to runsolver:
#   pid: 1036656
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3583.4
#   total CPU system time (s): 16.6482

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.894 second user time and 16.8367 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-20 00:27:16
IDJOB=4454796
IDBENCH=146657
IDSOLVER=3083
FILE ID=nodeC032/4454796-1721428023
RUNJOBID= nodeC032-1721425494-1034140
SLURM_JOB_ID= 7545615
Free space on /tmp= 890020 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4454796-1721428023/watcher-4454796-1721428023 -o /tmp/evaluation-result-4454796-1721428023/solver-4454796-1721428023 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034140 --watchdog 3760  mixed-bag HOME/instance-4454796-1721428023.opb

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

MD5SUM BENCH= a964700945576a67d3d8d9c44c1c5e5c
RANDOM SEED=2059775103

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		: 3664.110
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		: 3688.900
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		: 3655.096
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		: 3599.992
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		: 3666.736
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		: 3688.944
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		: 3602.191
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		: 3599.770
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:        119822916 kB
MemAvailable:   122416240 kB
Buffers:          546276 kB
Cached:          2869384 kB
SwapCached:            0 kB
Active:          1045540 kB
Inactive:        9975952 kB
Active(anon):       1580 kB
Inactive(anon):  7650484 kB
Active(file):    1043960 kB
Inactive(file):  2325468 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16968 kB
Writeback:             0 kB
AnonPages:       7606176 kB
Mapped:           142088 kB
Shmem:             45912 kB
KReclaimable:     127440 kB
Slab:             244072 kB
SReclaimable:     127440 kB
SUnreclaim:       116632 kB
KernelStack:        4124 kB
PageTables:        25592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9220512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3588096 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 01:27:28