Trace number 4459218

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-07-19SAT (TO)27 3600.03 3608.01

DiagnosticValue
AM1LB0
LOWERBOUND11
NAM1S0
NCORES11
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED16

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-iis-glass-cov.opb
MD5SUMd19cd21a9273f0af629a2ef833d8382f
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 benchmark21
Best CPU time to get the best result obtained on this benchmark378.449
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables214
Total number of constraints5375
Number of constraints which are clauses5375
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint9
Maximum length of a constraint11
Number of terms in the objective function 214
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 214
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 214
Number of bits of the biggest sum of numbers8
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.02	c [STEP] solving
0.00/0.02	c #variables 214 #constraints 5375
0.00/0.02	c SMALL=int, LARGE=long long
0.00/0.02	c bounds - >= 0 @ 0.019392
0.00/0.02	c stratification level: 0
0.00/0.03	c bounds - >= 1 @ 0.020431
0.00/0.03	c bounds - >= 2 @ 0.020431
0.00/0.03	c bounds - >= 3 @ 0.020431
0.00/0.03	c bounds - >= 4 @ 0.020629
0.00/0.03	c bounds - >= 5 @ 0.020938
0.00/0.03	c bounds - >= 6 @ 0.021104
0.00/0.03	c bounds - >= 7 @ 0.021254
0.00/0.03	c finalizing WCE round: reformulating cores
0.88/0.92	c #Conflicts:       1000 | #Constraints:       6389
0.88/0.92	c #Conflicts:       2000 | #Constraints:       7391
0.88/0.92	c INPROCESSING
0.88/0.92	c GARBAGE COLLECT
0.88/0.92	c #Conflicts:       3000 | #Constraints:       7391
0.88/0.92	c #Conflicts:       4000 | #Constraints:       8393
0.88/0.92	c INPROCESSING
0.88/0.92	c GARBAGE COLLECT
0.88/0.92	c #Conflicts:       5000 | #Constraints:       7796
0.88/0.92	c bounds 28 >= 7 @ 0.630353
0.88/0.92	c bounds 28 >= 8 @ 0.631094
0.88/0.92	c bounds 28 >= 9 @ 0.632356
0.88/0.92	c finalizing WCE round: reformulating cores
58.64/58.89	c #Conflicts:       6000 | #Constraints:       8814
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:       7000 | #Constraints:       7812
58.64/58.89	c bounds 27 >= 9 @ 1.16684
58.64/58.89	c bounds 27 >= 10 @ 1.17052
58.64/58.89	c #Conflicts:       8000 | #Constraints:       8834
58.64/58.89	c #Conflicts:       9000 | #Constraints:       9834
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      10000 | #Constraints:       8529
58.64/58.89	c #Conflicts:      11000 | #Constraints:       9529
58.64/58.89	c #Conflicts:      12000 | #Constraints:      10529
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      13000 | #Constraints:       8975
58.64/58.89	c #Conflicts:      14000 | #Constraints:       9975
58.64/58.89	c #Conflicts:      15000 | #Constraints:      10975
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      16000 | #Constraints:       9204
58.64/58.89	c #Conflicts:      17000 | #Constraints:      10204
58.64/58.89	c #Conflicts:      18000 | #Constraints:      11204
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      19000 | #Constraints:       9215
58.64/58.89	c #Conflicts:      20000 | #Constraints:      10215
58.64/58.89	c #Conflicts:      21000 | #Constraints:      11215
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      22000 | #Constraints:       9023
58.64/58.89	c #Conflicts:      23000 | #Constraints:      10023
58.64/58.89	c #Conflicts:      24000 | #Constraints:      11023
58.64/58.89	c #Conflicts:      25000 | #Constraints:      12023
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      26000 | #Constraints:       9629
58.64/58.89	c #Conflicts:      27000 | #Constraints:      10629
58.64/58.89	c #Conflicts:      28000 | #Constraints:      11629
58.64/58.89	c #Conflicts:      29000 | #Constraints:      12629
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      30000 | #Constraints:      10031
58.64/58.89	c #Conflicts:      31000 | #Constraints:      11031
58.64/58.89	c #Conflicts:      32000 | #Constraints:      12031
58.64/58.89	c #Conflicts:      33000 | #Constraints:      13031
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      34000 | #Constraints:      10231
58.64/58.89	c #Conflicts:      35000 | #Constraints:      11231
58.64/58.89	c #Conflicts:      36000 | #Constraints:      12231
58.64/58.89	c #Conflicts:      37000 | #Constraints:      13231
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      38000 | #Constraints:      10234
58.64/58.89	c #Conflicts:      39000 | #Constraints:      11234
58.64/58.89	c #Conflicts:      40000 | #Constraints:      12234
58.64/58.89	c #Conflicts:      41000 | #Constraints:      13234
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      42000 | #Constraints:      10039
58.64/58.89	c #Conflicts:      43000 | #Constraints:      11039
58.64/58.89	c #Conflicts:      44000 | #Constraints:      12039
58.64/58.89	c #Conflicts:      45000 | #Constraints:      13039
58.64/58.89	c #Conflicts:      46000 | #Constraints:      14039
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      47000 | #Constraints:      10642
58.64/58.89	c #Conflicts:      48000 | #Constraints:      11642
58.64/58.89	c #Conflicts:      49000 | #Constraints:      12642
58.64/58.89	c #Conflicts:      50000 | #Constraints:      13642
58.64/58.89	c bounds 27 >= 11 @ 37.968
58.64/58.89	c #Conflicts:      51000 | #Constraints:      14670
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      52000 | #Constraints:      11050
58.64/58.89	c #Conflicts:      53000 | #Constraints:      12050
58.64/58.89	c #Conflicts:      54000 | #Constraints:      13050
58.64/58.89	c #Conflicts:      55000 | #Constraints:      14050
58.64/58.89	c #Conflicts:      56000 | #Constraints:      15050
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      57000 | #Constraints:      11243
58.64/58.89	c #Conflicts:      58000 | #Constraints:      12243
58.64/58.89	c #Conflicts:      59000 | #Constraints:      13243
58.64/58.89	c #Conflicts:      60000 | #Constraints:      14243
58.64/58.89	c #Conflicts:      61000 | #Constraints:      15243
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      62000 | #Constraints:      11238
58.64/58.89	c #Conflicts:      63000 | #Constraints:      12238
58.64/58.89	c #Conflicts:      64000 | #Constraints:      13238
58.64/58.89	c #Conflicts:      65000 | #Constraints:      14238
58.64/58.89	c #Conflicts:      66000 | #Constraints:      15238
58.64/58.89	c INPROCESSING
58.64/58.89	c GARBAGE COLLECT
58.64/58.89	c #Conflicts:      67000 | #Constraints:      11036
58.64/58.89	c #Conflicts:      68000 | #Constraints:      12036
58.64/58.89	c #Conflicts:      69000 | #Constraints:      13036
58.64/58.89	c #Conflicts:      70000 | #Constraints:      14036
58.64/58.89	c #Conflicts:      71000 | #Constraints:      15036
58.64/58.89	c #Conflicts:      72000 | #Constraints:      16036
58.64/58.89	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:      73000 | #Constraints:      11635
351.02/352.04	c #Conflicts:      74000 | #Constraints:      12635
351.02/352.04	c #Conflicts:      75000 | #Constraints:      13635
351.02/352.04	c #Conflicts:      76000 | #Constraints:      14635
351.02/352.04	c #Conflicts:      77000 | #Constraints:      15635
351.02/352.04	c #Conflicts:      78000 | #Constraints:      16635
351.02/352.04	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:      79000 | #Constraints:      12032
351.02/352.04	c #Conflicts:      80000 | #Constraints:      13032
351.02/352.04	c #Conflicts:      81000 | #Constraints:      14032
351.02/352.04	c #Conflicts:      82000 | #Constraints:      15032
351.02/352.04	c #Conflicts:      83000 | #Constraints:      16032
351.02/352.04	c #Conflicts:      84000 | #Constraints:      17032
351.02/352.04	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:      85000 | #Constraints:      12237
351.02/352.04	c #Conflicts:      86000 | #Constraints:      13237
351.02/352.04	c #Conflicts:      87000 | #Constraints:      14237
351.02/352.04	c #Conflicts:      88000 | #Constraints:      15237
351.02/352.04	c #Conflicts:      89000 | #Constraints:      16237
351.02/352.04	c #Conflicts:      90000 | #Constraints:      17237
351.02/352.04	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:      91000 | #Constraints:      12233
351.02/352.04	c #Conflicts:      92000 | #Constraints:      13233
351.02/352.04	c #Conflicts:      93000 | #Constraints:      14233
351.02/352.04	c #Conflicts:      94000 | #Constraints:      15233
351.02/352.04	c #Conflicts:      95000 | #Constraints:      16233
351.02/352.04	c #Conflicts:      96000 | #Constraints:      17233
351.02/352.04	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:      97000 | #Constraints:      12034
351.02/352.04	c #Conflicts:      98000 | #Constraints:      13034
351.02/352.04	c #Conflicts:      99000 | #Constraints:      14034
351.02/352.04	c #Conflicts:     100000 | #Constraints:      15034
351.02/352.04	c #Conflicts:     101000 | #Constraints:      16034
351.02/352.04	c #Conflicts:     102000 | #Constraints:      17034
351.02/352.04	c #Conflicts:     103000 | #Constraints:      18034
351.02/352.04	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:     104000 | #Constraints:      12637
351.02/352.04	c #Conflicts:     105000 | #Constraints:      13637
351.02/352.04	c #Conflicts:     106000 | #Constraints:      14637
351.02/352.04	c #Conflicts:     107000 | #Constraints:      15637
351.02/352.04	c #Conflicts:     108000 | #Constraints:      16637
351.02/352.04	c #Conflicts:     109000 | #Constraints:      17637
351.02/352.04	c #Conflicts:     110000 | #Constraints:      18637
351.02/352.04	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:     111000 | #Constraints:      13039
351.02/352.04	c #Conflicts:     112000 | #Constraints:      14039
351.02/352.04	c #Conflicts:     113000 | #Constraints:      15039
351.02/352.04	c #Conflicts:     114000 | #Constraints:      16039
351.02/352.04	c #Conflicts:     115000 | #Constraints:      17039
351.02/352.04	c #Conflicts:     116000 | #Constraints:      18039
351.02/352.04	c #Conflicts:     117000 | #Constraints:      19039
351.02/352.04	c #Conflicts:     118000 | #Constraints:      20039
351.02/352.04	c #Conflicts:     119000 | #Constraints:      21039
351.02/352.04	c #Conflicts:     120000 | #Constraints:      22039
351.02/352.04	c #Conflicts:     121000 | #Constraints:      23039
351.02/352.04	c #Conflicts:     122000 | #Constraints:      24039
351.02/352.04	c #Conflicts:     123000 | #Constraints:      25039
351.02/352.04	c #Conflicts:     124000 | #Constraints:      26039
351.02/352.04	c #Conflicts:     125000 | #Constraints:      27039
351.02/352.04	c #Conflicts:     126000 | #Constraints:      28039
351.02/352.04	c #Conflicts:     127000 | #Constraints:      29039
351.02/352.04	c #Conflicts:     128000 | #Constraints:      30039
351.02/352.04	c #Conflicts:     129000 | #Constraints:      31039
351.02/352.04	c #Conflicts:     130000 | #Constraints:      32039
351.02/352.04	c #Conflicts:     131000 | #Constraints:      33039
351.02/352.04	c #Conflicts:     132000 | #Constraints:      34039
351.02/352.04	c #Conflicts:     133000 | #Constraints:      35039
351.02/352.04	c #Conflicts:     134000 | #Constraints:      36039
351.02/352.04	c #Conflicts:     135000 | #Constraints:      37039
351.02/352.04	c #Conflicts:     136000 | #Constraints:      38039
351.02/352.04	c #Conflicts:     137000 | #Constraints:      39039
351.02/352.04	c #Conflicts:     138000 | #Constraints:      40039
351.02/352.04	c #Conflicts:     139000 | #Constraints:      41039
351.02/352.04	c #Conflicts:     140000 | #Constraints:      42039
351.02/352.04	c INPROCESSING
351.02/352.04	c GARBAGE COLLECT
351.02/352.04	c #Conflicts:     141000 | #Constraints:      24535
351.02/352.04	c #Conflicts:     142000 | #Constraints:      25535
351.02/352.04	c #Conflicts:     143000 | #Constraints:      26535
351.02/352.04	c #Conflicts:     144000 | #Constraints:      27535
351.02/352.04	c #Conflicts:     145000 | #Constraints:      28535
351.02/352.04	c #Conflicts:     146000 | #Constraints:      29535
1117.98/1120.96	c #Conflicts:     147000 | #Constraints:      30535
1117.98/1120.96	c #Conflicts:     148000 | #Constraints:      31535
1117.98/1120.96	c INPROCESSING
1117.98/1120.96	c GARBAGE COLLECT
1117.98/1120.96	c #Conflicts:     149000 | #Constraints:      19236
1117.98/1120.96	c #Conflicts:     150000 | #Constraints:      20236
1117.98/1120.96	c #Conflicts:     151000 | #Constraints:      21236
1117.98/1120.96	c #Conflicts:     152000 | #Constraints:      22236
1117.98/1120.96	c #Conflicts:     153000 | #Constraints:      23236
1117.98/1120.96	c #Conflicts:     154000 | #Constraints:      24236
1117.98/1120.96	c #Conflicts:     155000 | #Constraints:      25236
1117.98/1120.96	c #Conflicts:     156000 | #Constraints:      26236
1117.98/1120.96	c INPROCESSING
1117.98/1120.96	c GARBAGE COLLECT
1117.98/1120.96	c #Conflicts:     157000 | #Constraints:      16438
1117.98/1120.96	c #Conflicts:     158000 | #Constraints:      17438
1117.98/1120.96	c #Conflicts:     159000 | #Constraints:      18438
1117.98/1120.96	c #Conflicts:     160000 | #Constraints:      19438
1117.98/1120.96	c #Conflicts:     161000 | #Constraints:      20438
1117.98/1120.96	c #Conflicts:     162000 | #Constraints:      21438
1117.98/1120.96	c #Conflicts:     163000 | #Constraints:      22438
1117.98/1120.96	c #Conflicts:     164000 | #Constraints:      23438
1117.98/1120.96	c #Conflicts:     165000 | #Constraints:      24438
1117.98/1120.96	c #Conflicts:     166000 | #Constraints:      25438
1117.98/1120.96	c #Conflicts:     167000 | #Constraints:      26438
1117.98/1120.96	c #Conflicts:     168000 | #Constraints:      27438
1117.98/1120.96	c #Conflicts:     169000 | #Constraints:      28438
1117.98/1120.96	c #Conflicts:     170000 | #Constraints:      29438
1117.98/1120.96	c #Conflicts:     171000 | #Constraints:      30438
1117.98/1120.96	c #Conflicts:     172000 | #Constraints:      31438
1117.98/1120.96	c #Conflicts:     173000 | #Constraints:      32438
1117.98/1120.96	c #Conflicts:     174000 | #Constraints:      33438
1117.98/1120.96	c #Conflicts:     175000 | #Constraints:      34438
1117.98/1120.96	c #Conflicts:     176000 | #Constraints:      35438
1117.98/1120.96	c #Conflicts:     177000 | #Constraints:      36438
1117.98/1120.96	c #Conflicts:     178000 | #Constraints:      37438
1117.98/1120.96	c #Conflicts:     179000 | #Constraints:      38438
1117.98/1120.96	c #Conflicts:     180000 | #Constraints:      39438
1117.98/1120.96	c #Conflicts:     181000 | #Constraints:      40438
1117.98/1120.96	c #Conflicts:     182000 | #Constraints:      41438
1117.98/1120.96	c #Conflicts:     183000 | #Constraints:      42438
1117.98/1120.96	c #Conflicts:     184000 | #Constraints:      43438
1117.98/1120.96	c #Conflicts:     185000 | #Constraints:      44438
1117.98/1120.96	c #Conflicts:     186000 | #Constraints:      45438
1117.98/1120.96	c #Conflicts:     187000 | #Constraints:      46438
1117.98/1120.96	c #Conflicts:     188000 | #Constraints:      47438
1117.98/1120.96	c #Conflicts:     189000 | #Constraints:      48438
1117.98/1120.96	c #Conflicts:     190000 | #Constraints:      49438
1117.98/1120.96	c #Conflicts:     191000 | #Constraints:      50438
1117.98/1120.96	c INPROCESSING
1117.98/1120.96	c GARBAGE COLLECT
1117.98/1120.96	c #Conflicts:     192000 | #Constraints:      28735
1117.98/1120.96	c #Conflicts:     193000 | #Constraints:      29735
1117.98/1120.96	c #Conflicts:     194000 | #Constraints:      30735
1117.98/1120.96	c #Conflicts:     195000 | #Constraints:      31735
1117.98/1120.96	c #Conflicts:     196000 | #Constraints:      32735
1117.98/1120.96	c #Conflicts:     197000 | #Constraints:      33735
1117.98/1120.96	c #Conflicts:     198000 | #Constraints:      34735
1117.98/1120.96	c #Conflicts:     199000 | #Constraints:      35735
1117.98/1120.96	c #Conflicts:     200000 | #Constraints:      36735
1117.98/1120.96	c #Conflicts:     201000 | #Constraints:      37735
1117.98/1120.96	c INPROCESSING
1117.98/1120.96	c GARBAGE COLLECT
1117.98/1120.96	c #Conflicts:     202000 | #Constraints:      22585
1117.98/1120.96	c #Conflicts:     203000 | #Constraints:      23585
1117.98/1120.96	c #Conflicts:     204000 | #Constraints:      24585
1117.98/1120.96	c #Conflicts:     205000 | #Constraints:      25585
1117.98/1120.96	c #Conflicts:     206000 | #Constraints:      26585
1117.98/1120.96	c #Conflicts:     207000 | #Constraints:      27585
1117.98/1120.96	c #Conflicts:     208000 | #Constraints:      28585
1117.98/1120.96	c #Conflicts:     209000 | #Constraints:      29585
1117.98/1120.96	c #Conflicts:     210000 | #Constraints:      30585
1117.98/1120.96	c #Conflicts:     211000 | #Constraints:      31585
1117.98/1120.96	c #Conflicts:     212000 | #Constraints:      32585
1117.98/1120.96	c #Conflicts:     213000 | #Constraints:      33585
1117.98/1120.96	c #Conflicts:     214000 | #Constraints:      34585
1117.98/1120.96	c #Conflicts:     215000 | #Constraints:      35585
1117.98/1120.96	c #Conflicts:     216000 | #Constraints:      36585
1117.98/1120.96	c #Conflicts:     217000 | #Constraints:      37585
1117.98/1120.96	c #Conflicts:     218000 | #Constraints:      38585
1117.98/1120.96	c #Conflicts:     219000 | #Constraints:      39585
1117.98/1120.96	c #Conflicts:     220000 | #Constraints:      40585
1117.98/1120.96	c #Conflicts:     221000 | #Constraints:      41585
1117.98/1120.96	c #Conflicts:     222000 | #Constraints:      42585
2567.32/2573.17	c #Conflicts:     223000 | #Constraints:      43585
2567.32/2573.17	c #Conflicts:     224000 | #Constraints:      44585
2567.32/2573.17	c #Conflicts:     225000 | #Constraints:      45585
2567.32/2573.17	c #Conflicts:     226000 | #Constraints:      46585
2567.32/2573.17	c #Conflicts:     227000 | #Constraints:      47585
2567.32/2573.17	c #Conflicts:     228000 | #Constraints:      48585
2567.32/2573.17	c #Conflicts:     229000 | #Constraints:      49585
2567.32/2573.17	c #Conflicts:     230000 | #Constraints:      50585
2567.32/2573.17	c #Conflicts:     231000 | #Constraints:      51585
2567.32/2573.17	c #Conflicts:     232000 | #Constraints:      52585
2567.32/2573.17	c #Conflicts:     233000 | #Constraints:      53585
2567.32/2573.17	c #Conflicts:     234000 | #Constraints:      54585
2567.32/2573.17	c #Conflicts:     235000 | #Constraints:      55585
2567.32/2573.17	c #Conflicts:     236000 | #Constraints:      56585
2567.32/2573.17	c #Conflicts:     237000 | #Constraints:      57585
2567.32/2573.17	c #Conflicts:     238000 | #Constraints:      58585
2567.32/2573.17	c INPROCESSING
2567.32/2573.17	c GARBAGE COLLECT
2567.32/2573.17	c #Conflicts:     239000 | #Constraints:      32660
2567.32/2573.17	c #Conflicts:     240000 | #Constraints:      33660
2567.32/2573.17	c #Conflicts:     241000 | #Constraints:      34660
2567.32/2573.17	c #Conflicts:     242000 | #Constraints:      35660
2567.32/2573.17	c #Conflicts:     243000 | #Constraints:      36660
2567.32/2573.17	c #Conflicts:     244000 | #Constraints:      37660
2567.32/2573.17	c #Conflicts:     245000 | #Constraints:      38660
2567.32/2573.17	c #Conflicts:     246000 | #Constraints:      39660
2567.32/2573.17	c #Conflicts:     247000 | #Constraints:      40660
2567.32/2573.17	c #Conflicts:     248000 | #Constraints:      41660
2567.32/2573.17	c #Conflicts:     249000 | #Constraints:      42660
2567.32/2573.17	c INPROCESSING
2567.32/2573.17	c GARBAGE COLLECT
2567.32/2573.17	c #Conflicts:     250000 | #Constraints:      28011
2567.32/2573.17	c #Conflicts:     251000 | #Constraints:      29011
2567.32/2573.17	c #Conflicts:     252000 | #Constraints:      30011
2567.32/2573.17	c #Conflicts:     253000 | #Constraints:      31011
2567.32/2573.17	c #Conflicts:     254000 | #Constraints:      32011
2567.32/2573.17	c #Conflicts:     255000 | #Constraints:      33011
2567.32/2573.17	c #Conflicts:     256000 | #Constraints:      34011
2567.32/2573.17	c #Conflicts:     257000 | #Constraints:      35011
2567.32/2573.17	c #Conflicts:     258000 | #Constraints:      36011
2567.32/2573.17	c #Conflicts:     259000 | #Constraints:      37011
2567.32/2573.17	c #Conflicts:     260000 | #Constraints:      38011
2567.32/2573.17	c #Conflicts:     261000 | #Constraints:      39011
2567.32/2573.17	c #Conflicts:     262000 | #Constraints:      40011
2567.32/2573.17	c #Conflicts:     263000 | #Constraints:      41011
2567.32/2573.17	c #Conflicts:     264000 | #Constraints:      42011
2567.32/2573.17	c #Conflicts:     265000 | #Constraints:      43011
2567.32/2573.17	c #Conflicts:     266000 | #Constraints:      44011
2567.32/2573.17	c #Conflicts:     267000 | #Constraints:      45011
2567.32/2573.17	c #Conflicts:     268000 | #Constraints:      46011
2567.32/2573.17	c #Conflicts:     269000 | #Constraints:      47011
2567.32/2573.17	c #Conflicts:     270000 | #Constraints:      48011
2567.32/2573.17	c #Conflicts:     271000 | #Constraints:      49011
2567.32/2573.17	c #Conflicts:     272000 | #Constraints:      50011
2567.32/2573.17	c #Conflicts:     273000 | #Constraints:      51011
2567.32/2573.17	c #Conflicts:     274000 | #Constraints:      52011
2567.32/2573.17	c #Conflicts:     275000 | #Constraints:      53011
2567.32/2573.17	c #Conflicts:     276000 | #Constraints:      54011
2567.32/2573.17	c #Conflicts:     277000 | #Constraints:      55011
2567.32/2573.17	c #Conflicts:     278000 | #Constraints:      56011
2567.32/2573.17	c #Conflicts:     279000 | #Constraints:      57011
2567.32/2573.17	c #Conflicts:     280000 | #Constraints:      58011
2567.32/2573.17	c #Conflicts:     281000 | #Constraints:      59011
2567.32/2573.17	c #Conflicts:     282000 | #Constraints:      60011
2567.32/2573.17	c #Conflicts:     283000 | #Constraints:      61011
2567.32/2573.17	c #Conflicts:     284000 | #Constraints:      62011
2567.32/2573.17	c #Conflicts:     285000 | #Constraints:      63011
2567.32/2573.17	c #Conflicts:     286000 | #Constraints:      64011
2567.32/2573.17	c #Conflicts:     287000 | #Constraints:      65011
2567.32/2573.17	c #Conflicts:     288000 | #Constraints:      66011
2567.32/2573.17	c #Conflicts:     289000 | #Constraints:      67011
2567.32/2573.17	c #Conflicts:     290000 | #Constraints:      68011
2567.32/2573.17	c INPROCESSING
2567.32/2573.17	c GARBAGE COLLECT
2567.32/2573.17	c #Conflicts:     291000 | #Constraints:      37529
2567.32/2573.17	c #Conflicts:     292000 | #Constraints:      38529
2567.32/2573.17	c #Conflicts:     293000 | #Constraints:      39529
2567.32/2573.17	c #Conflicts:     294000 | #Constraints:      40529
2567.32/2573.17	c #Conflicts:     295000 | #Constraints:      41529
2567.32/2573.17	c #Conflicts:     296000 | #Constraints:      42529
2567.32/2573.17	c #Conflicts:     297000 | #Constraints:      43529
2567.32/2573.17	c #Conflicts:     298000 | #Constraints:      44529
2567.32/2573.17	c #Conflicts:     299000 | #Constraints:      45529
3600.02/3608.00	c #Conflicts:     300000 | #Constraints:      46529
3600.02/3608.00	c #Conflicts:     301000 | #Constraints:      47529
3600.02/3608.00	c #Conflicts:     302000 | #Constraints:      48529
3600.02/3608.00	c INPROCESSING
3600.02/3608.00	c GARBAGE COLLECT
3600.02/3608.00	c #Conflicts:     303000 | #Constraints:      37512
3600.02/3608.00	c #Conflicts:     304000 | #Constraints:      38512
3600.02/3608.00	c #Conflicts:     305000 | #Constraints:      39512
3600.02/3608.00	c #Conflicts:     306000 | #Constraints:      40512
3600.02/3608.00	c #Conflicts:     307000 | #Constraints:      41512
3600.02/3608.00	c #Conflicts:     308000 | #Constraints:      42512
3600.02/3608.00	c #Conflicts:     309000 | #Constraints:      43512
3600.02/3608.00	c #Conflicts:     310000 | #Constraints:      44512
3600.02/3608.00	c #Conflicts:     311000 | #Constraints:      45512
3600.02/3608.00	c #Conflicts:     312000 | #Constraints:      46512
3600.02/3608.00	c #Conflicts:     313000 | #Constraints:      47512
3600.02/3608.00	c #Conflicts:     314000 | #Constraints:      48512
3600.02/3608.00	c #Conflicts:     315000 | #Constraints:      49512
3600.02/3608.00	c #Conflicts:     316000 | #Constraints:      50512
3600.02/3608.00	c #Conflicts:     317000 | #Constraints:      51512
3600.02/3608.00	c #Conflicts:     318000 | #Constraints:      52512
3600.02/3608.00	c #Conflicts:     319000 | #Constraints:      53512
3600.02/3608.00	c #Conflicts:     320000 | #Constraints:      54512
3600.02/3608.00	c #Conflicts:     321000 | #Constraints:      55512
3600.02/3608.00	c #Conflicts:     322000 | #Constraints:      56512
3600.02/3608.00	c #Conflicts:     323000 | #Constraints:      57512
3600.02/3608.00	c #Conflicts:     324000 | #Constraints:      58512
3600.02/3608.00	c #Conflicts:     325000 | #Constraints:      59512
3600.02/3608.00	c #Conflicts:     326000 | #Constraints:      60512
3600.02/3608.00	c #Conflicts:     327000 | #Constraints:      61512
3600.02/3608.00	c #Conflicts:     328000 | #Constraints:      62512
3600.02/3608.00	c #Conflicts:     329000 | #Constraints:      63512
3600.02/3608.00	c #Conflicts:     330000 | #Constraints:      64512
3600.02/3608.00	c #Conflicts:     331000 | #Constraints:      65512
3600.02/3608.00	c #Conflicts:     332000 | #Constraints:      66512
3600.02/3608.00	c #Conflicts:     333000 | #Constraints:      67512
3600.02/3608.00	c #Conflicts:     334000 | #Constraints:      68512
3600.02/3608.00	c #Conflicts:     335000 | #Constraints:      69512
3600.02/3608.00	c #Conflicts:     336000 | #Constraints:      70512
3600.02/3608.00	c #Conflicts:     337000 | #Constraints:      71512
3600.02/3608.00	c Program interrupted by user.
3600.02/3608.00	c cpu time 3590.48 s
3600.02/3608.00	c deterministic time 219592666075 2.20e+11
3600.02/3608.00	c optimization time 950.88 s
3600.02/3608.00	c total solve time 2639.58 s
3600.02/3608.00	c core-guided solve time 2639.58 s
3600.02/3608.00	c propagation time 3398.94 s
3600.02/3608.00	c conflict analysis time 178.83 s
3600.02/3608.00	c propagations 33729627
3600.02/3608.00	c resolve steps 1769646
3600.02/3608.00	c decisions 7680859
3600.02/3608.00	c conflicts 337651
3600.02/3608.00	c restarts 791
3600.02/3608.00	c inprocessing phases 34
3600.02/3608.00	c input clauses 5396
3600.02/3608.00	c input cardinalities 43
3600.02/3608.00	c input general constraints 29
3600.02/3608.00	c input average constraint length 11.01
3600.02/3608.00	c input average constraint degree 1.21
3600.02/3608.00	c learned clauses 28493
3600.02/3608.00	c learned cardinalities 3684
3600.02/3608.00	c learned general constraints 305475
3600.02/3608.00	c learned average constraint length 139.74
3600.02/3608.00	c learned average constraint degree 1918.52
3600.02/3608.00	c watched constraints 179752
3600.02/3608.00	c counting constraints 125752
3600.02/3608.00	c gcd simplifications 1840
3600.02/3608.00	c detected cardinalities 29
3600.02/3608.00	c weakened non-implied lits 3048403
3600.02/3608.00	c weakened non-implying lits 4622
3600.02/3608.00	c original variables 214
3600.02/3608.00	c clausal propagations 3146401
3600.02/3608.00	c cardinality propagations 1007638
3600.02/3608.00	c watched propagations 5036977
3600.02/3608.00	c counting propagations 23268081
3600.02/3608.00	c watch lookups 75982804068
3600.02/3608.00	c watch backjump lookups 74890809417
3600.02/3608.00	c watch checks 57515225622
3600.02/3608.00	c propagation checks 11009790190
3600.02/3608.00	c constraint additions 110878237
3600.02/3608.00	c trail pops 41748054
3600.02/3608.00	c formula constraints 5375
3600.02/3608.00	c learned constraints 337652
3600.02/3608.00	c bound constraints 15
3600.02/3608.00	c core-guided constraints 78
3600.02/3608.00	c encountered formula constraints 887874
3600.02/3608.00	c encountered learned constraints 996682
3600.02/3608.00	c encountered bound constraints 813
3600.02/3608.00	c encountered core-guided constraints 221928
3600.02/3608.00	c LP total time 0 s
3600.02/3608.00	c LP solve time 0 s
3600.02/3608.00	c LP constraints added 0
3600.02/3608.00	c LP constraints removed 0
3600.02/3608.00	c LP pivots internal 0
3600.02/3608.00	c LP pivots root 0
3600.02/3608.00	c LP calls 0
3600.02/3608.00	c LP optimalities 0
3600.02/3608.00	c LP no pivot count 0
3600.02/3608.00	c LP infeasibilities 0
3600.02/3608.00	c LP valid Farkas constraints 0
3600.02/3608.00	c LP learned Farkas constraints 0
3600.02/3608.00	c LP basis resets 0
3600.02/3608.00	c LP cycling count 0
3600.02/3608.00	c LP singular count 0
3600.02/3608.00	c LP no primal count 0
3600.02/3608.00	c LP no farkas count 0
3600.02/3608.00	c LP other issue count 0
3600.02/3608.00	c LP Gomory cuts 0
3600.02/3608.00	c LP learned cuts 0
3600.02/3608.00	c LP deleted cuts 0
3600.02/3608.00	c LP encountered Gomory constraints 0
3600.02/3608.00	c LP encountered Farkas constraints 0
3600.02/3608.00	c LP encountered learned Farkas constraints 0
3600.02/3608.00	c CG auxiliary variables introduced 29
3600.02/3608.00	c CG solutions found 2
3600.02/3608.00	c CG cores constructed 11
3600.02/3608.00	c CG core cardinality constraints returned 0
3600.02/3608.00	c CG unit cores 0
3600.02/3608.00	c CG single cores 11
3600.02/3608.00	c CG blocks removed during cardinality reduction 0
3600.02/3608.00	c CG first core best 0
3600.02/3608.00	c CG decision core best 0
3600.02/3608.00	c CG core reduction tie 0
3600.02/3608.00	c CG core degree average 1.00
3600.02/3608.00	c CG core slack average 20.00
3600.02/3608.00	c CG exhausted 0
3600.02/3608.00	c CG exhaust time 0.918733 s
3600.02/3608.00	c CG trimmed 16
3600.02/3608.00	c CG trim time 0.002102 s
3600.02/3608.00	c CG minimized 0
3600.02/3608.00	c CG minimize time 0 s
3600.02/3608.00	c CG am1 prop time 0.000924 s
3600.02/3608.00	c CG # am1s reformulated 0
3600.02/3608.00	c CG lower bound derived from am1s 0
3600.02/3608.00	c CG # clausal cores 11
3600.02/3608.00	c CG # cardinality cores 0
3600.02/3608.00	c CG # pb cores 0
3600.02/3608.00	c CG # pb reforms 0
3600.02/3608.00	c CG # cores discarded because of pb reform 0
3600.02/3608.00	d LOWERBOUND 11
3600.02/3608.00	d NCORES 11
3600.02/3608.00	d NPBCORES 0
3600.02/3608.00	d NPBREFORM 0
3600.02/3608.00	d NTRIMMED 16
3600.02/3608.00	d NEXHAUSTED 0
3600.02/3608.00	d NAM1S 0
3600.02/3608.00	d AM1LB 0
3600.02/3608.00	o 27
3600.02/3608.00	s SATISFIABLE
3600.02/3608.01	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

Verifier Data 

OK	27

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (49718 MiB free)
  memory of node 1: 64510 MiB (58470 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459218-1721899611/watcher-4459218-1721899611 -o /tmp/evaluation-result-4459218-1721899611/solver-4459218-1721899611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721899611-225193 --watchdog 3760 pb-oll-rs HOME/instance-4459218-1721899611.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=225242, runsolver pid=225232

[startup+0.103107 s]*
/proc/loadavg: 2.21 3.57 3.91 7/254 225245
/proc/meminfo: memFree=110746440/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=41076 memory=9616 CPUtime=0.09 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 1197 0 0 0 8 1 0 0 20 0 1 0 26485286 42061824 2404 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 10269 2404 1406 291 0 1803 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41076 KiB
Current children cumulated memory: 9616 KiB

[startup+0.204943 s]*
/proc/loadavg: 2.21 3.57 3.91 5/254 225245
/proc/meminfo: memFree=110719612/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=42660 memory=13508 CPUtime=0.2 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 1643 0 0 0 18 2 0 0 20 0 1 0 26485286 43683840 3377 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 10665 3377 1406 291 0 2199 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42660 KiB
Current children cumulated memory: 13508 KiB

[startup+0.305071 s]*
/proc/loadavg: 2.21 3.57 3.91 6/254 225245
/proc/meminfo: memFree=110698804/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=42740 memory=13800 CPUtime=0.3 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 1707 0 0 0 27 3 0 0 20 0 1 0 26485286 43765760 3450 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 10685 3450 1406 291 0 2219 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42740 KiB
Current children cumulated memory: 13800 KiB

[startup+0.70018 s]
/proc/loadavg: 2.21 3.57 3.91 6/254 225252
/proc/meminfo: memFree=110694492/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=45224 memory=16148 CPUtime=0.69 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 2261 0 0 0 64 5 0 0 20 0 1 0 26485286 46309376 4037 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 11306 4037 1470 291 0 2840 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45224 KiB
Current children cumulated memory: 16148 KiB

[startup+1.50015 s]
/proc/loadavg: 2.21 3.57 3.91 7/258 225256
/proc/meminfo: memFree=109980456/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=48552 memory=17584 CPUtime=1.49 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 2585 0 0 0 141 8 0 0 20 0 1 0 26485286 49717248 4396 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 12138 4396 1470 291 0 3672 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48552 KiB
Current children cumulated memory: 17584 KiB

[startup+3.10586 s]
/proc/loadavg: 2.21 3.57 3.91 7/258 225256
/proc/meminfo: memFree=109793076/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=48808 memory=17808 CPUtime=3.09 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 2642 0 0 0 298 11 0 0 20 0 1 0 26485286 49979392 4452 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 12202 4452 1470 291 0 3736 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48808 KiB
Current children cumulated memory: 17808 KiB

[startup+6.30014 s]
/proc/loadavg: 2.35 3.58 3.91 7/258 225256
/proc/meminfo: memFree=109656748/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=49276 memory=18020 CPUtime=6.28 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 2742 0 0 0 609 19 0 0 20 0 1 0 26485286 50458624 4505 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 12319 4505 1470 291 0 3853 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 49276 KiB
Current children cumulated memory: 18020 KiB

[startup+12.7001 s]
/proc/loadavg: 2.48 3.59 3.91 7/258 225258
/proc/meminfo: memFree=109596636/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=49756 memory=20756 CPUtime=12.66 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 2885 0 0 0 1238 28 0 0 20 0 1 0 26485286 50950144 5189 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 12439 5189 1470 291 0 3973 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 20756 KiB

[startup+25.5002 s]
/proc/loadavg: 2.79 3.62 3.92 7/258 225259
/proc/meminfo: memFree=109344508/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=50876 memory=21656 CPUtime=25.42 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 3133 0 0 0 2497 45 0 0 20 0 1 0 26485286 52097024 5414 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 12719 5414 1470 291 0 4253 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 50876 KiB
Current children cumulated memory: 21656 KiB

[startup+51.1062 s]
/proc/loadavg: 3.27 3.66 3.92 7/258 225264
/proc/meminfo: memFree=109119864/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=62384 memory=30704 CPUtime=50.96 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 4972 0 0 0 5005 91 0 0 20 0 1 0 26485286 63881216 7676 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 15596 7676 1470 291 0 7130 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 62384 KiB
Current children cumulated memory: 30704 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 3.77 3.95 7/260 225443
/proc/meminfo: memFree=108913636/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=74784 memory=39960 CPUtime=102.01 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 6941 0 0 0 10036 165 0 0 20 0 1 0 26485286 76578816 9990 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 18696 9990 1470 291 0 10230 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 74784 KiB
Current children cumulated memory: 39960 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.83 3.96 7/260 225454
/proc/meminfo: memFree=108750860/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=96324 memory=52136 CPUtime=161.85 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 8964 0 0 0 15959 226 0 0 20 0 1 0 26485286 98635776 13034 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 24081 13034 1470 291 0 15615 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 96324 KiB
Current children cumulated memory: 52136 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.90 3.98 7/260 225523
/proc/meminfo: memFree=108604096/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=131868 memory=79760 CPUtime=221.68 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 12764 0 0 0 21912 256 0 0 20 0 1 0 26485286 135032832 19940 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 32967 19940 1470 291 0 24501 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 131868 KiB
Current children cumulated memory: 79760 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.95 3.99 7/260 225534
/proc/meminfo: memFree=108476872/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=142528 memory=96900 CPUtime=281.51 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 15010 0 0 0 27870 281 0 0 20 0 1 0 26485286 145948672 24225 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 35632 24225 1470 291 0 27166 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 142528 KiB
Current children cumulated memory: 96900 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.97 4.00 7/258 225546
/proc/meminfo: memFree=108407060/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=145648 memory=102024 CPUtime=341.34 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 15858 0 0 0 33832 302 0 0 20 0 1 0 26485286 149143552 25506 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 36412 25506 1470 291 0 27946 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 145648 KiB
Current children cumulated memory: 102024 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.01 4.01 7/258 225556
/proc/meminfo: memFree=108359668/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=145648 memory=102024 CPUtime=401.17 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 15860 0 0 0 39785 332 0 0 20 0 1 0 26485286 149143552 25506 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 36412 25506 1470 291 0 27946 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 145648 KiB
Current children cumulated memory: 102024 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.02 4.01 7/256 225566
/proc/meminfo: memFree=108292572/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=145648 memory=102024 CPUtime=461 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 15861 0 0 0 45733 367 0 0 20 0 1 0 26485286 149143552 25506 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 36412 25506 1470 291 0 27946 0

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

Current children cumulated memory: 173644 KiB

[startup+2862.3 s]
/proc/loadavg: 3.14 3.47 3.82 6/249 226608
/proc/meminfo: memFree=108961180/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=226076 memory=173644 CPUtime=2855.91 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 30477 0 0 0 284745 846 0 0 20 0 1 0 26485286 231501824 43411 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56519 43411 1470 291 0 48053 0
Current children cumulated CPU time: 2855.91 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 173644 KiB

[startup+2922.3 s]
/proc/loadavg: 3.05 3.38 3.76 6/249 226619
/proc/meminfo: memFree=108941856/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=226076 memory=173644 CPUtime=2915.79 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 30530 0 0 0 290722 857 0 0 20 0 1 0 26485286 231501824 43411 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56519 43411 1470 291 0 48053 0
Current children cumulated CPU time: 2915.79 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 173644 KiB

[startup+2982.3 s]
/proc/loadavg: 3.14 3.34 3.72 6/247 226629
/proc/meminfo: memFree=108935280/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=226076 memory=173656 CPUtime=2975.67 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 30585 0 0 0 296700 867 0 0 20 0 1 0 26485286 231501824 43414 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56519 43414 1470 291 0 48053 0
Current children cumulated CPU time: 2975.67 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 173656 KiB

[startup+3042.3 s]
/proc/loadavg: 3.11 3.29 3.68 6/247 226639
/proc/meminfo: memFree=108901320/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=226076 memory=173672 CPUtime=3035.54 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 30644 0 0 0 302677 877 0 0 20 0 1 0 26485286 231501824 43418 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56519 43418 1470 291 0 48053 0
Current children cumulated CPU time: 3035.54 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 173672 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.25 3.64 6/247 226650
/proc/meminfo: memFree=108884104/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=226076 memory=173696 CPUtime=3095.41 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 30706 0 0 0 308658 883 0 0 20 0 1 0 26485286 231501824 43424 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56519 43424 1470 291 0 48053 0
Current children cumulated CPU time: 3095.41 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 173696 KiB

[startup+3162.3 s]
/proc/loadavg: 3.10 3.22 3.60 6/247 226660
/proc/meminfo: memFree=108879320/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=226076 memory=173728 CPUtime=3155.28 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 30779 0 0 0 314635 893 0 0 20 0 1 0 26485286 231501824 43432 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56519 43432 1470 291 0 48053 0
Current children cumulated CPU time: 3155.28 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 173728 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.19 3.57 6/250 226675
/proc/meminfo: memFree=108863664/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=227108 memory=174212 CPUtime=3215.15 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 30990 0 0 0 320614 901 0 0 20 0 1 0 26485286 232558592 43553 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56777 43553 1470 291 0 48311 0
Current children cumulated CPU time: 3215.15 s
Current children cumulated vsize: 227108 KiB
Current children cumulated memory: 174212 KiB

[startup+3282.3 s]
/proc/loadavg: 3.07 3.17 3.54 6/250 226685
/proc/meminfo: memFree=108862448/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=227880 memory=174732 CPUtime=3275.03 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 31215 0 0 0 326594 909 0 0 20 0 1 0 26485286 233349120 43683 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 56970 43683 1470 291 0 48504 0
Current children cumulated CPU time: 3275.03 s
Current children cumulated vsize: 227880 KiB
Current children cumulated memory: 174732 KiB

[startup+3342.3 s]
/proc/loadavg: 3.06 3.15 3.51 6/251 226698
/proc/meminfo: memFree=108856788/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=228136 memory=174952 CPUtime=3334.91 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 31400 0 0 0 332574 917 0 0 20 0 1 0 26485286 233611264 43738 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 57034 43738 1470 291 0 48568 0
Current children cumulated CPU time: 3334.91 s
Current children cumulated vsize: 228136 KiB
Current children cumulated memory: 174952 KiB

[startup+3402.3 s]
/proc/loadavg: 3.06 3.14 3.48 6/251 226708
/proc/meminfo: memFree=108854820/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=228908 memory=175588 CPUtime=3394.78 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 31689 0 0 0 338554 924 0 0 20 0 1 0 26485286 234401792 43897 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 57227 43897 1470 291 0 48761 0
Current children cumulated CPU time: 3394.78 s
Current children cumulated vsize: 228908 KiB
Current children cumulated memory: 175588 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.14 3.45 6/251 226718
/proc/meminfo: memFree=108852032/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=229936 memory=176720 CPUtime=3454.65 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 32164 0 0 0 344533 932 0 0 20 0 1 0 26485286 235454464 44180 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 57484 44180 1470 291 0 49018 0
Current children cumulated CPU time: 3454.65 s
Current children cumulated vsize: 229936 KiB
Current children cumulated memory: 176720 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.13 3.43 6/252 227112
/proc/meminfo: memFree=108831000/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=231736 memory=180216 CPUtime=3514.52 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 32795 0 0 0 350514 938 0 0 20 0 1 0 26485286 237297664 45054 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 57934 45054 1470 291 0 49468 0
Current children cumulated CPU time: 3514.52 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 180216 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.12 3.41 6/250 227122
/proc/meminfo: memFree=108789260/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=282852 memory=184712 CPUtime=3574.38 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 33547 0 0 0 356488 950 0 0 20 0 1 0 26485286 289640448 46178 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 70713 46178 1470 291 0 62247 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 282852 KiB
Current children cumulated memory: 184712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608 s]*
/proc/loadavg: 3.08 3.11 3.39 5/245 227140
/proc/meminfo: memFree=110476400/131524600 swapFree=131054736/131071996
[pid=225242] ppid=225232 vsize=283368 memory=185236 CPUtime=3600.02 cores=1,3
/proc/225242/stat : 225242 (pb-oll-rs) R 225232 225242 225181 0 -1 4194304 33724 0 0 0 359048 954 0 0 20 0 1 0 26485286 290168832 46309 134679101440 4194304 5384485 140733489582288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 26312704 140733489587223 140733489587300 140733489587300 140733489594315 0
/proc/225242/statm: 70842 46309 1470 291 0 62376 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 283368 KiB
Current children cumulated memory: 185236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.48 s, system=9.54901 s

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

Child status: 0

Real time (s): 3608.01
CPU time (s): 3600.03
CPU user time (s): 3590.48
CPU system time (s): 9.54901
CPU usage (%): 99.7788
Max. virtual memory (cumulated for all children) (KiB): 283368
Max. memory (cumulated for all children) (KiB): 185236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.48
system time used= 9.54901
maximum resident set size= 185544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33741
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= 38
involuntary context switches= 2752


# summary of solver processes directly reported to runsolver:
#   pid: 225242
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3590.48
#   total CPU system time (s): 9.54901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79308 second user time and 17.8732 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-25 11:26:51
IDJOB=4459218
IDBENCH=178614
IDSOLVER=3082
FILE ID=nodeC034/4459218-1721899611
RUNJOBID= nodeC034-1721899611-225193
SLURM_JOB_ID= 8089371
Free space on /tmp= 890084 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-iis-glass-cov.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459218-1721899611/watcher-4459218-1721899611 -o /tmp/evaluation-result-4459218-1721899611/solver-4459218-1721899611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721899611-225193 --watchdog 3760  pb-oll-rs HOME/instance-4459218-1721899611.opb

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

MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=1947844131

nodeC034.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		: 3851.858
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.92
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		: 3831.432
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	: 7006.84
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		: 3690.032
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.92
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		: 3617.558
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	: 7006.84
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		: 3682.521
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.92
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		: 3912.876
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	: 7006.84
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		: 3718.707
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.92
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		: 3616.925
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	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110790732 kB
MemAvailable:   129689788 kB
Buffers:          307876 kB
Cached:         19350200 kB
SwapCached:          112 kB
Active:          1727388 kB
Inactive:       18292928 kB
Active(anon):       1852 kB
Inactive(anon):   403052 kB
Active(file):    1725536 kB
Inactive(file): 17889876 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:             41432 kB
Writeback:             0 kB
AnonPages:        361492 kB
Mapped:            93540 kB
Shmem:             42580 kB
KReclaimable:     246584 kB
Slab:             361808 kB
SReclaimable:     246584 kB
SUnreclaim:       115224 kB
KernelStack:        3920 kB
PageTables:         9816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     804292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC034 at 2024-07-25 12:26:59