Trace number 4508776

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
pb-oll-rs-2024 2025-05-06OPT-80 187.669 188.22

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SOLVEDBYoll

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
MD5SUM609ffeb3252de5d8ecab6cf3f101c41d
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 benchmark-80
Best CPU time to get the best result obtained on this benchmark2.03794
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints576
Number of constraints which are clauses288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 389
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 420
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 420
Number of bits of the biggest sum of numbers9
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 [STEP] parsing instance
0.00/0.00	c [STEP] solving
0.00/0.00	c #variables 441 #constraints 576
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= -210 @ 0.001918
0.00/0.00	c stratification level: 1
0.00/0.01	c bounds - >= -199 @ 0.002943
0.00/0.01	c bounds - >= -198 @ 0.003034
0.00/0.01	c bounds - >= -197 @ 0.003095
0.00/0.01	c bounds - >= -196 @ 0.003153
0.00/0.01	c bounds - >= -195 @ 0.003215
0.00/0.01	c bounds - >= -194 @ 0.003281
0.00/0.01	c bounds - >= -193 @ 0.003344
0.00/0.01	c bounds - >= -192 @ 0.003405
0.00/0.01	c bounds - >= -191 @ 0.003467
0.00/0.01	c bounds - >= -190 @ 0.00353
0.00/0.01	c bounds - >= -189 @ 0.003592
0.00/0.01	c bounds - >= -188 @ 0.003654
0.00/0.01	c bounds - >= -187 @ 0.003719
0.00/0.01	c bounds - >= -186 @ 0.003786
0.00/0.01	c bounds - >= -185 @ 0.003855
0.00/0.01	c bounds - >= -184 @ 0.003923
0.00/0.01	c bounds - >= -183 @ 0.003992
0.00/0.01	c bounds - >= -182 @ 0.00406
0.00/0.01	c bounds - >= -181 @ 0.004129
0.00/0.01	c bounds - >= -180 @ 0.004201
0.00/0.01	c bounds - >= -179 @ 0.004273
0.00/0.01	c bounds - >= -178 @ 0.004311
0.00/0.01	c bounds - >= -177 @ 0.004311
0.00/0.01	c bounds - >= -176 @ 0.004311
0.00/0.01	c bounds - >= -175 @ 0.004311
0.00/0.01	c bounds - >= -174 @ 0.004311
0.00/0.01	c bounds - >= -173 @ 0.004311
0.00/0.01	c bounds - >= -172 @ 0.004311
0.00/0.01	c bounds - >= -171 @ 0.004311
0.00/0.01	c bounds - >= -170 @ 0.004311
0.00/0.01	c bounds - >= -169 @ 0.004311
0.00/0.01	c bounds - >= -168 @ 0.004311
0.00/0.01	c bounds - >= -167 @ 0.004311
0.00/0.01	c bounds - >= -166 @ 0.004311
0.00/0.01	c bounds - >= -165 @ 0.004311
0.00/0.01	c bounds - >= -164 @ 0.004311
0.00/0.01	c bounds - >= -163 @ 0.004311
0.00/0.01	c bounds - >= -162 @ 0.004311
0.00/0.01	c bounds - >= -161 @ 0.00436
0.00/0.01	c bounds - >= -160 @ 0.004421
0.00/0.01	c bounds - >= -159 @ 0.00448
0.00/0.01	c bounds - >= -158 @ 0.004539
0.00/0.01	c bounds - >= -157 @ 0.004598
0.00/0.01	c bounds - >= -156 @ 0.004653
0.00/0.01	c bounds - >= -155 @ 0.00471
0.00/0.01	c bounds - >= -154 @ 0.004767
0.00/0.01	c bounds - >= -153 @ 0.004824
0.00/0.01	c bounds - >= -152 @ 0.004881
0.00/0.01	c bounds - >= -151 @ 0.004938
0.00/0.01	c bounds - >= -150 @ 0.004996
0.00/0.01	c bounds - >= -149 @ 0.005057
0.00/0.01	c bounds - >= -148 @ 0.005131
0.00/0.01	c bounds - >= -147 @ 0.005201
0.00/0.01	c bounds - >= -146 @ 0.005269
0.00/0.01	c bounds - >= -145 @ 0.005336
0.00/0.01	c bounds - >= -144 @ 0.005413
0.00/0.01	c bounds - >= -143 @ 0.005485
0.00/0.01	c bounds - >= -142 @ 0.005556
0.00/0.01	c bounds - >= -141 @ 0.005629
0.00/0.01	c bounds - >= -140 @ 0.005706
0.00/0.01	c bounds - >= -139 @ 0.005791
0.00/0.01	c bounds - >= -138 @ 0.005875
0.00/0.01	c bounds - >= -137 @ 0.005957
0.00/0.01	c bounds - >= -136 @ 0.006039
0.00/0.01	c bounds - >= -135 @ 0.006137
0.00/0.01	c bounds - >= -134 @ 0.006232
0.00/0.01	c bounds - >= -133 @ 0.006322
0.00/0.01	c bounds - >= -132 @ 0.006408
0.00/0.01	c bounds - >= -131 @ 0.006501
0.00/0.01	c bounds - >= -130 @ 0.006595
0.00/0.01	c bounds - >= -129 @ 0.006708
0.00/0.01	c bounds - >= -128 @ 0.006818
0.00/0.01	c bounds - >= -127 @ 0.006929
0.00/0.01	c bounds - >= -126 @ 0.007043
0.00/0.01	c bounds - >= -125 @ 0.007158
0.00/0.01	c bounds - >= -124 @ 0.007275
0.00/0.01	c bounds - >= -123 @ 0.00739
0.00/0.01	c bounds - >= -122 @ 0.007508
0.00/0.01	c bounds - >= -121 @ 0.007638
0.00/0.01	c bounds - >= -120 @ 0.007772
0.00/0.01	c bounds - >= -119 @ 0.007902
0.00/0.01	c bounds - >= -118 @ 0.008028
0.00/0.01	c bounds - >= -117 @ 0.008164
0.00/0.01	c bounds - >= -116 @ 0.008311
0.00/0.01	c bounds - >= -115 @ 0.008457
0.00/0.01	c bounds - >= -114 @ 0.008606
0.00/0.01	c bounds - >= -113 @ 0.008755
0.00/0.01	c bounds - >= -112 @ 0.008908
0.00/0.01	c bounds - >= -111 @ 0.009059
0.00/0.01	c bounds - >= -110 @ 0.009211
0.00/0.01	c bounds - >= -109 @ 0.009359
0.00/0.01	c bounds - >= -108 @ 0.009516
0.00/0.01	c finalizing WCE round: reformulating cores
20.40/20.59	c #Conflicts:       1000 | #Constraints:       1756
20.40/20.59	c #Conflicts:       2000 | #Constraints:       2758
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:       3000 | #Constraints:       2650
20.40/20.59	c #Conflicts:       4000 | #Constraints:       3652
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:       5000 | #Constraints:       3049
20.40/20.59	c #Conflicts:       6000 | #Constraints:       4051
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:       7000 | #Constraints:       3050
20.40/20.59	c #Conflicts:       8000 | #Constraints:       4052
20.40/20.59	c #Conflicts:       9000 | #Constraints:       5056
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      10000 | #Constraints:       3759
20.40/20.59	c #Conflicts:      11000 | #Constraints:       4761
20.40/20.59	c #Conflicts:      12000 | #Constraints:       5763
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      13000 | #Constraints:       4211
20.40/20.59	c #Conflicts:      14000 | #Constraints:       5213
20.40/20.59	c #Conflicts:      15000 | #Constraints:       6215
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      16000 | #Constraints:       4444
20.40/20.59	c #Conflicts:      17000 | #Constraints:       5446
20.40/20.59	c #Conflicts:      18000 | #Constraints:       6448
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      19000 | #Constraints:       4464
20.40/20.59	c #Conflicts:      20000 | #Constraints:       5466
20.40/20.59	c #Conflicts:      21000 | #Constraints:       6468
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      22000 | #Constraints:       4284
20.40/20.59	c #Conflicts:      23000 | #Constraints:       5286
20.40/20.59	c #Conflicts:      24000 | #Constraints:       6290
20.40/20.59	c #Conflicts:      25000 | #Constraints:       7292
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      26000 | #Constraints:       4895
20.40/20.59	c #Conflicts:      27000 | #Constraints:       5897
20.40/20.59	c #Conflicts:      28000 | #Constraints:       6899
20.40/20.59	c #Conflicts:      29000 | #Constraints:       7903
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      30000 | #Constraints:       5308
20.40/20.59	c #Conflicts:      31000 | #Constraints:       6310
20.40/20.59	c #Conflicts:      32000 | #Constraints:       7312
20.40/20.59	c #Conflicts:      33000 | #Constraints:       8316
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      34000 | #Constraints:       5520
20.40/20.59	c #Conflicts:      35000 | #Constraints:       6522
20.40/20.59	c #Conflicts:      36000 | #Constraints:       7524
20.40/20.59	c #Conflicts:      37000 | #Constraints:       8528
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      38000 | #Constraints:       5529
20.40/20.59	c #Conflicts:      39000 | #Constraints:       6531
20.40/20.59	c #Conflicts:      40000 | #Constraints:       7533
20.40/20.59	c #Conflicts:      41000 | #Constraints:       8537
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      42000 | #Constraints:       5337
20.40/20.59	c #Conflicts:      43000 | #Constraints:       6339
20.40/20.59	c #Conflicts:      44000 | #Constraints:       7343
20.40/20.59	c #Conflicts:      45000 | #Constraints:       8345
20.40/20.59	c #Conflicts:      46000 | #Constraints:       9347
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      47000 | #Constraints:       5948
20.40/20.59	c #Conflicts:      48000 | #Constraints:       6950
20.40/20.59	c #Conflicts:      49000 | #Constraints:       7952
20.40/20.59	c #Conflicts:      50000 | #Constraints:       8956
20.40/20.59	c #Conflicts:      51000 | #Constraints:       9958
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      52000 | #Constraints:       6362
20.40/20.59	c #Conflicts:      53000 | #Constraints:       7364
20.40/20.59	c #Conflicts:      54000 | #Constraints:       8366
20.40/20.59	c #Conflicts:      55000 | #Constraints:       9370
20.40/20.59	c #Conflicts:      56000 | #Constraints:      10372
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      57000 | #Constraints:       6573
20.40/20.59	c #Conflicts:      58000 | #Constraints:       7575
20.40/20.59	c #Conflicts:      59000 | #Constraints:       8577
20.40/20.59	c #Conflicts:      60000 | #Constraints:       9581
20.40/20.59	c #Conflicts:      61000 | #Constraints:      10583
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      62000 | #Constraints:       6585
20.40/20.59	c #Conflicts:      63000 | #Constraints:       7587
20.40/20.59	c #Conflicts:      64000 | #Constraints:       8589
20.40/20.59	c #Conflicts:      65000 | #Constraints:       9593
20.40/20.59	c #Conflicts:      66000 | #Constraints:      10595
20.40/20.59	c INPROCESSING
20.40/20.59	c GARBAGE COLLECT
20.40/20.59	c #Conflicts:      67000 | #Constraints:       6400
20.40/20.59	c #Conflicts:      68000 | #Constraints:       7402
20.70/20.80	c bounds -65 >= -108 @ 20.1367
20.70/20.80	c bounds -65 >= -107 @ 20.1397
20.70/20.80	c bounds -65 >= -106 @ 20.1406
20.70/20.80	c bounds -65 >= -105 @ 20.1407
20.70/20.80	c bounds -65 >= -104 @ 20.1408
20.70/20.80	c bounds -65 >= -103 @ 20.1421
20.70/20.80	c bounds -65 >= -102 @ 20.143
20.70/20.80	c bounds -65 >= -101 @ 20.144
20.70/20.80	c bounds -65 >= -100 @ 20.1448
20.70/20.80	c bounds -65 >= -99 @ 20.1464
20.70/20.80	c bounds -65 >= -98 @ 20.1485
20.70/20.80	c bounds -65 >= -97 @ 20.149
20.70/20.80	c bounds -65 >= -96 @ 20.1498
20.70/20.80	c bounds -65 >= -95 @ 20.1506
20.70/20.80	c bounds -65 >= -94 @ 20.1522
20.70/20.80	c bounds -65 >= -93 @ 20.155
20.70/20.80	c bounds -65 >= -92 @ 20.1562
20.70/20.80	c bounds -65 >= -91 @ 20.159
20.70/20.80	c finalizing WCE round: reformulating cores
26.59/26.77	c #Conflicts:      69000 | #Constraints:       8605
26.59/26.77	c #Conflicts:      70000 | #Constraints:       9607
26.59/26.77	c #Conflicts:      71000 | #Constraints:      10611
26.59/26.77	c #Conflicts:      72000 | #Constraints:      11613
26.59/26.77	c INPROCESSING
26.59/26.77	c GARBAGE COLLECT
26.59/26.77	c #Conflicts:      73000 | #Constraints:       7156
26.59/26.77	c #Conflicts:      74000 | #Constraints:       8158
26.59/26.77	c #Conflicts:      75000 | #Constraints:       9160
26.59/26.77	c #Conflicts:      76000 | #Constraints:      10164
26.59/26.77	c #Conflicts:      77000 | #Constraints:      11166
26.59/26.77	c #Conflicts:      78000 | #Constraints:      12168
26.59/26.77	c INPROCESSING
26.59/26.77	c GARBAGE COLLECT
26.59/26.77	c #Conflicts:      79000 | #Constraints:       7545
26.59/26.77	c #Conflicts:      80000 | #Constraints:       8547
26.59/26.77	c #Conflicts:      81000 | #Constraints:       9549
26.59/26.77	c #Conflicts:      82000 | #Constraints:      10553
26.59/26.77	c bounds -66 >= -91 @ 26.0868
26.59/26.77	c bounds -66 >= -90 @ 26.0934
26.59/26.77	c bounds -66 >= -89 @ 26.1117
26.59/26.77	c bounds -66 >= -88 @ 26.1178
26.59/26.77	c bounds -66 >= -87 @ 26.1401
26.59/26.77	c finalizing WCE round: reformulating cores
27.99/28.14	c #Conflicts:      83000 | #Constraints:      11680
27.99/28.14	c #Conflicts:      84000 | #Constraints:      12682
27.99/28.14	c INPROCESSING
27.99/28.14	c GARBAGE COLLECT
27.99/28.14	c bounds -69 >= -87 @ 27.2714
27.99/28.14	c bounds -69 >= -86 @ 27.3231
27.99/28.14	c bounds -69 >= -85 @ 27.4098
27.99/28.14	c #Conflicts:      85000 | #Constraints:       7918
27.99/28.14	c finalizing WCE round: reformulating cores
30.97/31.17	c bounds -72 >= -85 @ 27.711
30.97/31.17	c bounds -73 >= -84 @ 27.8866
30.97/31.17	c #Conflicts:      86000 | #Constraints:       8927
30.97/31.17	c bounds -73 >= -83 @ 28.2549
30.97/31.17	c #Conflicts:      87000 | #Constraints:       9964
30.97/31.17	c #Conflicts:      88000 | #Constraints:      10964
30.97/31.17	c finalizing WCE round: reformulating cores
48.13/48.34	c bounds -78 >= -83 @ 31.0703
48.13/48.34	c #Conflicts:      89000 | #Constraints:      11967
48.13/48.34	c bounds -78 >= -82 @ 32.2154
48.13/48.34	c #Conflicts:      90000 | #Constraints:      13016
48.13/48.34	c INPROCESSING
48.13/48.34	c GARBAGE COLLECT
48.13/48.34	c #Conflicts:      91000 | #Constraints:       7899
48.13/48.34	c #Conflicts:      92000 | #Constraints:       8899
48.13/48.34	c #Conflicts:      93000 | #Constraints:       9899
48.13/48.34	c #Conflicts:      94000 | #Constraints:      10899
48.13/48.34	c #Conflicts:      95000 | #Constraints:      11899
48.13/48.34	c #Conflicts:      96000 | #Constraints:      12899
48.13/48.34	c INPROCESSING
48.13/48.34	c GARBAGE COLLECT
48.13/48.34	c #Conflicts:      97000 | #Constraints:       7722
48.13/48.34	c #Conflicts:      98000 | #Constraints:       8722
48.13/48.34	c #Conflicts:      99000 | #Constraints:       9722
48.13/48.34	c finalizing WCE round: reformulating cores
58.50/58.72	c #Conflicts:     100000 | #Constraints:      10725
58.50/58.72	c bounds -79 >= -82 @ 48.377
58.50/58.72	c #Conflicts:     101000 | #Constraints:      11725
58.50/58.72	c #Conflicts:     102000 | #Constraints:      12725
58.50/58.72	c #Conflicts:     103000 | #Constraints:      13725
58.50/58.72	c INPROCESSING
58.50/58.72	c GARBAGE COLLECT
58.50/58.72	c #Conflicts:     104000 | #Constraints:       8351
58.50/58.72	c #Conflicts:     105000 | #Constraints:       9351
58.50/58.72	c #Conflicts:     106000 | #Constraints:      10351
58.50/58.72	c bounds -79 >= -81 @ 57.637
58.50/58.72	c finalizing WCE round: reformulating cores
187.64/188.21	c #Conflicts:     107000 | #Constraints:      11415
187.64/188.21	c bounds -80 >= -81 @ 58.7065
187.64/188.21	c #Conflicts:     108000 | #Constraints:      12415
187.64/188.21	c #Conflicts:     109000 | #Constraints:      13415
187.64/188.21	c #Conflicts:     110000 | #Constraints:      14415
187.64/188.21	c INPROCESSING
187.64/188.21	c GARBAGE COLLECT
187.64/188.21	c #Conflicts:     111000 | #Constraints:       8805
187.64/188.21	c #Conflicts:     112000 | #Constraints:       9805
187.64/188.21	c #Conflicts:     113000 | #Constraints:      10805
187.64/188.21	c #Conflicts:     114000 | #Constraints:      11805
187.64/188.21	c #Conflicts:     115000 | #Constraints:      12805
187.64/188.21	c #Conflicts:     116000 | #Constraints:      13805
187.64/188.21	c #Conflicts:     117000 | #Constraints:      14805
187.64/188.21	c INPROCESSING
187.64/188.21	c GARBAGE COLLECT
187.64/188.21	c #Conflicts:     118000 | #Constraints:       9012
187.64/188.21	c #Conflicts:     119000 | #Constraints:      10012
187.64/188.21	c #Conflicts:     120000 | #Constraints:      11012
187.64/188.21	c #Conflicts:     121000 | #Constraints:      12012
187.64/188.21	c #Conflicts:     122000 | #Constraints:      13012
187.64/188.21	c #Conflicts:     123000 | #Constraints:      14012
187.64/188.21	c #Conflicts:     124000 | #Constraints:      15012
187.64/188.21	c INPROCESSING
187.64/188.21	c GARBAGE COLLECT
187.64/188.21	c #Conflicts:     125000 | #Constraints:       9020
187.64/188.21	c #Conflicts:     126000 | #Constraints:      10020
187.64/188.21	c #Conflicts:     127000 | #Constraints:      11020
187.64/188.21	c #Conflicts:     128000 | #Constraints:      12020
187.64/188.21	c #Conflicts:     129000 | #Constraints:      13020
187.64/188.21	c #Conflicts:     130000 | #Constraints:      14020
187.64/188.21	c #Conflicts:     131000 | #Constraints:      15020
187.64/188.21	c #Conflicts:     132000 | #Constraints:      16020
187.64/188.21	c #Conflicts:     133000 | #Constraints:      17020
187.64/188.21	c #Conflicts:     134000 | #Constraints:      18020
187.64/188.21	c #Conflicts:     135000 | #Constraints:      19020
187.64/188.21	c #Conflicts:     136000 | #Constraints:      20020
187.64/188.21	c #Conflicts:     137000 | #Constraints:      21020
187.64/188.21	c #Conflicts:     138000 | #Constraints:      22020
187.64/188.21	c #Conflicts:     139000 | #Constraints:      23020
187.64/188.21	c #Conflicts:     140000 | #Constraints:      24020
187.64/188.21	c #Conflicts:     141000 | #Constraints:      25020
187.64/188.21	c #Conflicts:     142000 | #Constraints:      26020
187.64/188.21	c #Conflicts:     143000 | #Constraints:      27020
187.64/188.21	c #Conflicts:     144000 | #Constraints:      28020
187.64/188.21	c #Conflicts:     145000 | #Constraints:      29020
187.64/188.21	c #Conflicts:     146000 | #Constraints:      30020
187.64/188.21	c #Conflicts:     147000 | #Constraints:      31020
187.64/188.21	c bounds -80 >= -80 @ 186.116
187.64/188.21	d SOLVEDBY oll
187.64/188.21	c cpu time 186.116 s
187.64/188.21	c deterministic time 23899561278 2.39e+10
187.64/188.21	c optimization time 29.9571 s
187.64/188.21	c total solve time 156.157 s
187.64/188.21	c core-guided solve time 156.157 s
187.64/188.21	c propagation time 158.118 s
187.64/188.21	c conflict analysis time 24.8687 s
187.64/188.21	c propagations 16678587
187.64/188.21	c resolve steps 1355595
187.64/188.21	c decisions 1085232
187.64/188.21	c conflicts 147471
187.64/188.21	c restarts 384
187.64/188.21	c inprocessing phases 27
187.64/188.21	c input clauses 490
187.64/188.21	c input cardinalities 405
187.64/188.21	c input general constraints 634
187.64/188.21	c input average constraint length 41.17
187.64/188.21	c input average constraint degree 12.08
187.64/188.21	c learned clauses 30737
187.64/188.21	c learned cardinalities 70
187.64/188.21	c learned general constraints 116718
187.64/188.21	c learned average constraint length 156.19
187.64/188.21	c learned average constraint degree 7260159.81
187.64/188.21	c watched constraints 77189
187.64/188.21	c counting constraints 40163
187.64/188.21	c gcd simplifications 8955
187.64/188.21	c detected cardinalities 28
187.64/188.21	c weakened non-implied lits 7698473
187.64/188.21	c weakened non-implying lits 4808
187.64/188.21	c original variables 441
187.64/188.21	c clausal propagations 2502416
187.64/188.21	c cardinality propagations 847369
187.64/188.21	c watched propagations 2374608
187.64/188.21	c counting propagations 10613340
187.64/188.21	c watch lookups 4858167784
187.64/188.21	c watch backjump lookups 4616666141
187.64/188.21	c watch checks 12521244721
187.64/188.21	c propagation checks 1784532879
187.64/188.21	c constraint additions 83274700
187.64/188.21	c trail pops 17911233
187.64/188.21	c formula constraints 576
187.64/188.21	c learned constraints 147525
187.64/188.21	c bound constraints 146
187.64/188.21	c core-guided constraints 807
187.64/188.21	c encountered formula constraints 568328
187.64/188.21	c encountered learned constraints 769795
187.64/188.21	c encountered bound constraints 130
187.64/188.21	c encountered core-guided constraints 164813
187.64/188.21	c LP total time 0 s
187.64/188.21	c LP solve time 0 s
187.64/188.21	c LP constraints added 0
187.64/188.21	c LP constraints removed 0
187.64/188.21	c LP pivots internal 0
187.64/188.21	c LP pivots root 0
187.64/188.21	c LP calls 0
187.64/188.21	c LP optimalities 0
187.64/188.21	c LP no pivot count 0
187.64/188.21	c LP infeasibilities 0
187.64/188.21	c LP valid Farkas constraints 0
187.64/188.21	c LP learned Farkas constraints 0
187.64/188.21	c LP basis resets 0
187.64/188.21	c LP cycling count 0
187.64/188.21	c LP singular count 0
187.64/188.21	c LP no primal count 0
187.64/188.21	c LP no farkas count 0
187.64/188.21	c LP other issue count 0
187.64/188.21	c LP Gomory cuts 0
187.64/188.21	c LP learned cuts 0
187.64/188.21	c LP deleted cuts 0
187.64/188.21	c LP encountered Gomory constraints 0
187.64/188.21	c LP encountered Farkas constraints 0
187.64/188.21	c LP encountered learned Farkas constraints 0
187.64/188.21	c CG auxiliary variables introduced 315
187.64/188.21	c CG solutions found 7
187.64/188.21	c CG cores constructed 119
187.64/188.21	c CG core cardinality constraints returned 0
187.64/188.21	c CG unit cores 0
187.64/188.21	c CG single cores 119
187.64/188.21	c CG blocks removed during cardinality reduction 0
187.64/188.21	c CG first core best 0
187.64/188.21	c CG decision core best 0
187.64/188.21	c CG core reduction tie 0
187.64/188.21	c CG core degree average 1.00
187.64/188.21	c CG core slack average 4.82
187.64/188.21	c CG exhausted 1
187.64/188.21	c CG exhaust time 29.7507 s
187.64/188.21	c CG trimmed 3
187.64/188.21	c CG trim time 0.015282 s
187.64/188.21	c CG minimized 0
187.64/188.21	c CG minimize time 0 s
187.64/188.21	c CG am1 prop time 0.010902 s
187.64/188.21	c CG # am1s reformulated 10
187.64/188.21	c CG lower bound derived from am1s 10
187.64/188.21	c CG # clausal cores 119
187.64/188.21	c CG # cardinality cores 0
187.64/188.21	c CG # pb cores 0
187.64/188.21	c CG # pb reforms 0
187.64/188.21	c CG # cores discarded because of pb reform 0
187.64/188.21	d LOWERBOUND -80
187.64/188.21	d NCORES 119
187.64/188.21	d NPBCORES 0
187.64/188.21	d NPBREFORM 0
187.64/188.21	d NTRIMMED 3
187.64/188.21	d NEXHAUSTED 1
187.64/188.21	d NAM1S 10
187.64/188.21	d AM1LB 10
187.64/188.21	o -80
187.64/188.21	s OPTIMUM FOUND
187.64/188.21	v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 x11 x12 x13 -x14 x15 -x16 -x17 x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30 -x31 x32 x33 -x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 x50 x51 -x52 x53 x54 -x55 -x56 -x57 -x58 x59 -x60 x61 x62 x63 x64 -x65 x66 -x67 x68 -x69 x70 x71 -x72 x73 -x74 -x75 x76 -x77 -x78 x79 x80 x81 -x82 x83 x84 x85 x86 -x87 -x88 x89 x90 x91 -x92 x93 -x94 -x95 x96 x97 x98 -x99 x100 -x101 -x102 x103 x104 x105 x106 -x107 x108 x109 x110 -x111 x112 x113 -x114 -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 x123 x124 -x125 x126 -x127 -x128 x129 x130 x131 x132 x133 -x134 x135 -x136 -x137 -x138 x139 x140 x141 x142 x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 x318 -x319 x320 x321 -x322 x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 x341 x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 x408 -x409 x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 x436 x437 -x438 -x439 -x440 x441

Verifier Data 

OK	-80

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62671 MiB free)
  memory of node 1: 64465 MiB (63778 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508776-1751513067/watcher-4508776-1751513067 -o /tmp/evaluation-result-4508776-1751513067/solver-4508776-1751513067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85266 --watchdog 3760 pb-oll-rs HOME/instance-4508776-1751513067.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86351, runsolver pid=86348
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.10 4.14 4.11 5/265 86352
/proc/meminfo: memFree=129467624/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=21928 memory=10764 CPUtime=0.09 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 1048 0 0 0 9 0 0 0 20 0 1 0 66984236 22454272 2691 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 5482 2691 1312 243 0 1731 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21928 KiB
Current children cumulated memory: 10764 KiB

[startup+0.205543 s]*
/proc/loadavg: 4.10 4.14 4.11 5/265 86352
/proc/meminfo: memFree=129463592/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=23284 memory=12172 CPUtime=0.19 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 1401 0 0 0 19 0 0 0 20 0 1 0 66984236 23842816 3043 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 5821 3043 1312 243 0 2070 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23284 KiB
Current children cumulated memory: 12172 KiB

[startup+0.305084 s]*
/proc/loadavg: 4.10 4.14 4.11 5/265 86352
/proc/meminfo: memFree=129463592/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=24112 memory=13196 CPUtime=0.28 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 1670 0 0 0 28 0 0 0 20 0 1 0 66984236 24690688 3299 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 6028 3299 1312 243 0 2277 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 24112 KiB
Current children cumulated memory: 13196 KiB

[startup+0.70011 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 86352
/proc/meminfo: memFree=129459576/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=28564 memory=16012 CPUtime=0.68 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 2387 0 0 0 67 1 0 0 20 0 1 0 66984236 29249536 4003 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 7141 4003 1312 243 0 3390 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 16012 KiB

[startup+1.50012 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 86352
/proc/meminfo: memFree=129459576/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=29448 memory=17676 CPUtime=1.47 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 2805 0 0 0 144 3 0 0 20 0 1 0 66984236 30154752 4419 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 7362 4419 1312 243 0 3611 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 29448 KiB
Current children cumulated memory: 17676 KiB

[startup+3.10559 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 86397
/proc/meminfo: memFree=129470232/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=38492 memory=25036 CPUtime=3.05 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 4133 0 0 0 295 10 0 0 20 0 1 0 66984236 39415808 6259 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 9623 6259 1312 243 0 5872 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 38492 KiB
Current children cumulated memory: 25036 KiB

[startup+6.30013 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 86397
/proc/meminfo: memFree=129338796/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=40224 memory=26828 CPUtime=6.24 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 4590 0 0 0 608 16 0 0 20 0 1 0 66984236 41189376 6707 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 10056 6707 1312 243 0 6305 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 40224 KiB
Current children cumulated memory: 26828 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 86397
/proc/meminfo: memFree=129172504/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=59380 memory=41920 CPUtime=12.63 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 7827 0 0 0 1236 27 0 0 20 0 1 0 66984236 60805120 10480 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 14845 10480 1312 243 0 11094 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59380 KiB
Current children cumulated memory: 41920 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 86442
/proc/meminfo: memFree=128883824/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=69476 memory=53444 CPUtime=25.39 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 9699 0 0 0 2493 46 0 0 20 0 1 0 66984236 71143424 13361 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 17369 13361 1312 243 0 13618 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 69476 KiB
Current children cumulated memory: 53444 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.13 4.10 5/266 86444
/proc/meminfo: memFree=128504364/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=71812 memory=55236 CPUtime=50.92 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 10179 0 0 0 5012 80 0 0 20 0 1 0 66984236 73535488 13809 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 17953 13809 1312 243 0 14202 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 71812 KiB
Current children cumulated memory: 55236 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/266 86445
/proc/meminfo: memFree=128061800/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=75112 memory=58052 CPUtime=101.98 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 10936 0 0 0 10075 123 0 0 20 0 1 0 66984236 76914688 14513 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 18778 14513 1312 243 0 15027 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 75112 KiB
Current children cumulated memory: 58052 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 86450
/proc/meminfo: memFree=127788040/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=97768 memory=70988 CPUtime=161.81 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 13672 0 0 0 16033 148 0 0 20 0 1 0 66984236 100114432 17747 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 24442 17747 1312 243 0 20691 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 97768 KiB
Current children cumulated memory: 70988 KiB

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

# cumulated CPU time of all completed processes:  user=186.119 s, system=1.55011 s

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

[startup+166.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 86451
/proc/meminfo: memFree=127771656/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=98164 memory=71372 CPUtime=165.9 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 13766 0 0 0 16441 149 0 0 20 0 1 0 66984236 100519936 17843 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 24541 17843 1312 243 0 20790 0
Current children cumulated CPU time: 165.9 s
Current children cumulated vsize: 98164 KiB
Current children cumulated memory: 71372 KiB

[startup+179.2 s]
/proc/loadavg: 4.12 4.12 4.10 5/266 86451
/proc/meminfo: memFree=127708212/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=99900 memory=74848 CPUtime=178.67 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 14109 0 0 0 17715 152 0 0 20 0 1 0 66984236 102297600 18712 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 24975 18712 1312 243 0 21224 0
Current children cumulated CPU time: 178.67 s
Current children cumulated vsize: 99900 KiB
Current children cumulated memory: 74848 KiB

[startup+182.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 86451
/proc/meminfo: memFree=127700020/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=99900 memory=74976 CPUtime=181.85 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 14138 0 0 0 18033 152 0 0 20 0 1 0 66984236 102297600 18744 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 24975 18744 1312 243 0 21224 0
Current children cumulated CPU time: 181.85 s
Current children cumulated vsize: 99900 KiB
Current children cumulated memory: 74976 KiB

[startup+185.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 86451
/proc/meminfo: memFree=127687704/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=100692 memory=75488 CPUtime=185.05 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 14261 0 0 0 18351 154 0 0 20 0 1 0 66984236 103108608 18872 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 25173 18872 1312 243 0 21422 0
Current children cumulated CPU time: 185.05 s
Current children cumulated vsize: 100692 KiB
Current children cumulated memory: 75488 KiB

[startup+187.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 86451
/proc/meminfo: memFree=127673400/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=100692 memory=75488 CPUtime=186.64 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 14276 0 0 0 18510 154 0 0 20 0 1 0 66984236 103108608 18872 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 25173 18872 1312 243 0 21422 0
Current children cumulated CPU time: 186.64 s
Current children cumulated vsize: 100692 KiB
Current children cumulated memory: 75488 KiB

[startup+188 s]*
/proc/loadavg: 4.10 4.12 4.09 5/266 86451
/proc/meminfo: memFree=127673400/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=100956 memory=75744 CPUtime=187.44 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 14320 0 0 0 18590 154 0 0 20 0 1 0 66984236 103378944 18936 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 25239 18936 1312 243 0 21488 0
Current children cumulated CPU time: 187.44 s
Current children cumulated vsize: 100956 KiB
Current children cumulated memory: 75744 KiB

[startup+188.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 86451
/proc/meminfo: memFree=127673400/131250000 swapFree=33010160/33010684
[pid=86351] ppid=86348 vsize=100956 memory=75744 CPUtime=187.64 cores=0,2
/proc/86351/stat : 86351 (pb-oll-rs) R 86348 86351 85256 0 -1 4194304 14321 0 0 0 18610 154 0 0 20 0 1 0 66984236 103378944 18936 18446744073709551615 4218880 5211445 140729766529760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 24756224 140729766533532 140729766533609 140729766533609 140729766539211 0
/proc/86351/statm: 25239 18936 1312 243 0 21488 0
Current children cumulated CPU time: 187.64 s
Current children cumulated vsize: 100956 KiB
Current children cumulated memory: 75744 KiB

Child status: 0

Real time (s): 188.22
CPU time (s): 187.669
CPU user time (s): 186.119
CPU system time (s): 1.55011
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 100956
Max. memory (cumulated for all children) (KiB): 75744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.119
system time used= 1.55011
maximum resident set size= 75744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14332
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= 82
involuntary context switches= 428


# summary of solver processes directly reported to runsolver:
#   pid: 86351
#   total CPU time (s): 187.669
#   total CPU user time (s): 186.119
#   total CPU system time (s): 1.55011

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.415799 second user time and 0.831854 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-03 05:24:27
IDJOB=4508776
IDBENCH=158472
IDSOLVER=3345
FILE ID=nodeC016/4508776-1751513067
RUNJOBID= nodeC016-1751505842-85266
SLURM_JOB_ID= 9598598
Free space on /tmp= 432880 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament18.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508776-1751513067/watcher-4508776-1751513067 -o /tmp/evaluation-result-4508776-1751513067/solver-4508776-1751513067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751505842-85266 --watchdog 3760  pb-oll-rs HOME/instance-4508776-1751513067.opb

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

MD5SUM BENCH= 609ffeb3252de5d8ecab6cf3f101c41d
RANDOM SEED=2107038135

nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.748
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.738
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3600.267
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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.921
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.738
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3599.740
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3207.673
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
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		: 3548.213
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129487884 kB
MemAvailable:   129556048 kB
Buffers:            2144 kB
Cached:           836976 kB
SwapCached:           28 kB
Active:           886852 kB
Inactive:         217188 kB
Active(anon):     277684 kB
Inactive(anon):     5288 kB
Active(file):     609168 kB
Inactive(file):   211900 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17248 kB
Writeback:             0 kB
AnonPages:        267636 kB
Mapped:           107980 kB
Shmem:             18044 kB
KReclaimable:     172672 kB
Slab:             264932 kB
SReclaimable:     172672 kB
SUnreclaim:        92260 kB
KernelStack:        4256 kB
PageTables:         3492 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     611980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432860 MiB
End job on nodeC016 at 2025-07-03 05:27:35