Trace number 4459204

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-02SAT (TO)27 3600.08 3609.81

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.024218
0.00/0.02	c stratification level: 0
0.00/0.03	c bounds - >= 1 @ 0.025755
0.00/0.03	c bounds - >= 2 @ 0.025955
0.00/0.03	c bounds - >= 3 @ 0.026115
0.00/0.03	c bounds - >= 4 @ 0.026392
0.00/0.03	c bounds - >= 5 @ 0.026701
0.00/0.03	c bounds - >= 6 @ 0.026868
0.00/0.03	c bounds - >= 7 @ 0.027018
0.00/0.03	c finalizing WCE round: reformulating cores
0.89/0.92	c #Conflicts:       1000 | #Constraints:       6389
0.89/0.92	c #Conflicts:       2000 | #Constraints:       7391
0.89/0.92	c INPROCESSING
0.89/0.92	c GARBAGE COLLECT
0.89/0.92	c #Conflicts:       3000 | #Constraints:       7391
0.89/0.92	c #Conflicts:       4000 | #Constraints:       8393
0.89/0.92	c INPROCESSING
0.89/0.92	c GARBAGE COLLECT
0.89/0.92	c #Conflicts:       5000 | #Constraints:       7796
0.89/0.92	c bounds 28 >= 7 @ 0.63087
0.89/0.92	c bounds 28 >= 8 @ 0.631641
0.89/0.92	c bounds 28 >= 9 @ 0.632033
0.89/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.17054
58.64/58.89	c bounds 27 >= 10 @ 1.17442
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 @ 38.134
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
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:      73000 | #Constraints:      11635
349.92/350.92	c #Conflicts:      74000 | #Constraints:      12635
349.92/350.92	c #Conflicts:      75000 | #Constraints:      13635
349.92/350.92	c #Conflicts:      76000 | #Constraints:      14635
349.92/350.92	c #Conflicts:      77000 | #Constraints:      15635
349.92/350.92	c #Conflicts:      78000 | #Constraints:      16635
349.92/350.92	c INPROCESSING
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:      79000 | #Constraints:      12032
349.92/350.92	c #Conflicts:      80000 | #Constraints:      13032
349.92/350.92	c #Conflicts:      81000 | #Constraints:      14032
349.92/350.92	c #Conflicts:      82000 | #Constraints:      15032
349.92/350.92	c #Conflicts:      83000 | #Constraints:      16032
349.92/350.92	c #Conflicts:      84000 | #Constraints:      17032
349.92/350.92	c INPROCESSING
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:      85000 | #Constraints:      12237
349.92/350.92	c #Conflicts:      86000 | #Constraints:      13237
349.92/350.92	c #Conflicts:      87000 | #Constraints:      14237
349.92/350.92	c #Conflicts:      88000 | #Constraints:      15237
349.92/350.92	c #Conflicts:      89000 | #Constraints:      16237
349.92/350.92	c #Conflicts:      90000 | #Constraints:      17237
349.92/350.92	c INPROCESSING
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:      91000 | #Constraints:      12233
349.92/350.92	c #Conflicts:      92000 | #Constraints:      13233
349.92/350.92	c #Conflicts:      93000 | #Constraints:      14233
349.92/350.92	c #Conflicts:      94000 | #Constraints:      15233
349.92/350.92	c #Conflicts:      95000 | #Constraints:      16233
349.92/350.92	c #Conflicts:      96000 | #Constraints:      17233
349.92/350.92	c INPROCESSING
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:      97000 | #Constraints:      12034
349.92/350.92	c #Conflicts:      98000 | #Constraints:      13034
349.92/350.92	c #Conflicts:      99000 | #Constraints:      14034
349.92/350.92	c #Conflicts:     100000 | #Constraints:      15034
349.92/350.92	c #Conflicts:     101000 | #Constraints:      16034
349.92/350.92	c #Conflicts:     102000 | #Constraints:      17034
349.92/350.92	c #Conflicts:     103000 | #Constraints:      18034
349.92/350.92	c INPROCESSING
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:     104000 | #Constraints:      12637
349.92/350.92	c #Conflicts:     105000 | #Constraints:      13637
349.92/350.92	c #Conflicts:     106000 | #Constraints:      14637
349.92/350.92	c #Conflicts:     107000 | #Constraints:      15637
349.92/350.92	c #Conflicts:     108000 | #Constraints:      16637
349.92/350.92	c #Conflicts:     109000 | #Constraints:      17637
349.92/350.92	c #Conflicts:     110000 | #Constraints:      18637
349.92/350.92	c INPROCESSING
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:     111000 | #Constraints:      13039
349.92/350.92	c #Conflicts:     112000 | #Constraints:      14039
349.92/350.92	c #Conflicts:     113000 | #Constraints:      15039
349.92/350.92	c #Conflicts:     114000 | #Constraints:      16039
349.92/350.92	c #Conflicts:     115000 | #Constraints:      17039
349.92/350.92	c #Conflicts:     116000 | #Constraints:      18039
349.92/350.92	c #Conflicts:     117000 | #Constraints:      19039
349.92/350.92	c #Conflicts:     118000 | #Constraints:      20039
349.92/350.92	c #Conflicts:     119000 | #Constraints:      21039
349.92/350.92	c #Conflicts:     120000 | #Constraints:      22039
349.92/350.92	c #Conflicts:     121000 | #Constraints:      23039
349.92/350.92	c #Conflicts:     122000 | #Constraints:      24039
349.92/350.92	c #Conflicts:     123000 | #Constraints:      25039
349.92/350.92	c #Conflicts:     124000 | #Constraints:      26039
349.92/350.92	c #Conflicts:     125000 | #Constraints:      27039
349.92/350.92	c #Conflicts:     126000 | #Constraints:      28039
349.92/350.92	c #Conflicts:     127000 | #Constraints:      29039
349.92/350.92	c #Conflicts:     128000 | #Constraints:      30039
349.92/350.92	c #Conflicts:     129000 | #Constraints:      31039
349.92/350.92	c #Conflicts:     130000 | #Constraints:      32039
349.92/350.92	c #Conflicts:     131000 | #Constraints:      33039
349.92/350.92	c #Conflicts:     132000 | #Constraints:      34039
349.92/350.92	c #Conflicts:     133000 | #Constraints:      35039
349.92/350.92	c #Conflicts:     134000 | #Constraints:      36039
349.92/350.92	c #Conflicts:     135000 | #Constraints:      37039
349.92/350.92	c #Conflicts:     136000 | #Constraints:      38039
349.92/350.92	c #Conflicts:     137000 | #Constraints:      39039
349.92/350.92	c #Conflicts:     138000 | #Constraints:      40039
349.92/350.92	c #Conflicts:     139000 | #Constraints:      41039
349.92/350.92	c #Conflicts:     140000 | #Constraints:      42039
349.92/350.92	c INPROCESSING
349.92/350.92	c GARBAGE COLLECT
349.92/350.92	c #Conflicts:     141000 | #Constraints:      24535
349.92/350.92	c #Conflicts:     142000 | #Constraints:      25535
349.92/350.92	c #Conflicts:     143000 | #Constraints:      26535
349.92/350.92	c #Conflicts:     144000 | #Constraints:      27535
349.92/350.92	c #Conflicts:     145000 | #Constraints:      28535
349.92/350.92	c #Conflicts:     146000 | #Constraints:      29535
1149.44/1152.79	c #Conflicts:     147000 | #Constraints:      30535
1149.44/1152.79	c #Conflicts:     148000 | #Constraints:      31535
1149.44/1152.79	c INPROCESSING
1149.44/1152.79	c GARBAGE COLLECT
1149.44/1152.79	c #Conflicts:     149000 | #Constraints:      19236
1149.44/1152.79	c #Conflicts:     150000 | #Constraints:      20236
1149.44/1152.79	c #Conflicts:     151000 | #Constraints:      21236
1149.44/1152.79	c #Conflicts:     152000 | #Constraints:      22236
1149.44/1152.79	c #Conflicts:     153000 | #Constraints:      23236
1149.44/1152.79	c #Conflicts:     154000 | #Constraints:      24236
1149.44/1152.79	c #Conflicts:     155000 | #Constraints:      25236
1149.44/1152.79	c #Conflicts:     156000 | #Constraints:      26236
1149.44/1152.79	c INPROCESSING
1149.44/1152.79	c GARBAGE COLLECT
1149.44/1152.79	c #Conflicts:     157000 | #Constraints:      16438
1149.44/1152.79	c #Conflicts:     158000 | #Constraints:      17438
1149.44/1152.79	c #Conflicts:     159000 | #Constraints:      18438
1149.44/1152.79	c #Conflicts:     160000 | #Constraints:      19438
1149.44/1152.79	c #Conflicts:     161000 | #Constraints:      20438
1149.44/1152.79	c #Conflicts:     162000 | #Constraints:      21438
1149.44/1152.79	c #Conflicts:     163000 | #Constraints:      22438
1149.44/1152.79	c #Conflicts:     164000 | #Constraints:      23438
1149.44/1152.79	c #Conflicts:     165000 | #Constraints:      24438
1149.44/1152.79	c #Conflicts:     166000 | #Constraints:      25438
1149.44/1152.79	c #Conflicts:     167000 | #Constraints:      26438
1149.44/1152.79	c #Conflicts:     168000 | #Constraints:      27438
1149.44/1152.79	c #Conflicts:     169000 | #Constraints:      28438
1149.44/1152.79	c #Conflicts:     170000 | #Constraints:      29438
1149.44/1152.79	c #Conflicts:     171000 | #Constraints:      30438
1149.44/1152.79	c #Conflicts:     172000 | #Constraints:      31438
1149.44/1152.79	c #Conflicts:     173000 | #Constraints:      32438
1149.44/1152.79	c #Conflicts:     174000 | #Constraints:      33438
1149.44/1152.79	c #Conflicts:     175000 | #Constraints:      34438
1149.44/1152.79	c #Conflicts:     176000 | #Constraints:      35438
1149.44/1152.79	c #Conflicts:     177000 | #Constraints:      36438
1149.44/1152.79	c #Conflicts:     178000 | #Constraints:      37438
1149.44/1152.79	c #Conflicts:     179000 | #Constraints:      38438
1149.44/1152.79	c #Conflicts:     180000 | #Constraints:      39438
1149.44/1152.79	c #Conflicts:     181000 | #Constraints:      40438
1149.44/1152.79	c #Conflicts:     182000 | #Constraints:      41438
1149.44/1152.79	c #Conflicts:     183000 | #Constraints:      42438
1149.44/1152.79	c #Conflicts:     184000 | #Constraints:      43438
1149.44/1152.79	c #Conflicts:     185000 | #Constraints:      44438
1149.44/1152.79	c #Conflicts:     186000 | #Constraints:      45438
1149.44/1152.79	c #Conflicts:     187000 | #Constraints:      46438
1149.44/1152.79	c #Conflicts:     188000 | #Constraints:      47438
1149.44/1152.79	c #Conflicts:     189000 | #Constraints:      48438
1149.44/1152.79	c #Conflicts:     190000 | #Constraints:      49438
1149.44/1152.79	c #Conflicts:     191000 | #Constraints:      50438
1149.44/1152.79	c INPROCESSING
1149.44/1152.79	c GARBAGE COLLECT
1149.44/1152.79	c #Conflicts:     192000 | #Constraints:      28735
1149.44/1152.79	c #Conflicts:     193000 | #Constraints:      29735
1149.44/1152.79	c #Conflicts:     194000 | #Constraints:      30735
1149.44/1152.79	c #Conflicts:     195000 | #Constraints:      31735
1149.44/1152.79	c #Conflicts:     196000 | #Constraints:      32735
1149.44/1152.79	c #Conflicts:     197000 | #Constraints:      33735
1149.44/1152.79	c #Conflicts:     198000 | #Constraints:      34735
1149.44/1152.79	c #Conflicts:     199000 | #Constraints:      35735
1149.44/1152.79	c #Conflicts:     200000 | #Constraints:      36735
1149.44/1152.79	c #Conflicts:     201000 | #Constraints:      37735
1149.44/1152.79	c INPROCESSING
1149.44/1152.79	c GARBAGE COLLECT
1149.44/1152.79	c #Conflicts:     202000 | #Constraints:      22585
1149.44/1152.79	c #Conflicts:     203000 | #Constraints:      23585
1149.44/1152.79	c #Conflicts:     204000 | #Constraints:      24585
1149.44/1152.79	c #Conflicts:     205000 | #Constraints:      25585
1149.44/1152.79	c #Conflicts:     206000 | #Constraints:      26585
1149.44/1152.79	c #Conflicts:     207000 | #Constraints:      27585
1149.44/1152.79	c #Conflicts:     208000 | #Constraints:      28585
1149.44/1152.79	c #Conflicts:     209000 | #Constraints:      29585
1149.44/1152.79	c #Conflicts:     210000 | #Constraints:      30585
1149.44/1152.79	c #Conflicts:     211000 | #Constraints:      31585
1149.44/1152.79	c #Conflicts:     212000 | #Constraints:      32585
1149.44/1152.79	c #Conflicts:     213000 | #Constraints:      33585
1149.44/1152.79	c #Conflicts:     214000 | #Constraints:      34585
1149.44/1152.79	c #Conflicts:     215000 | #Constraints:      35585
1149.44/1152.79	c #Conflicts:     216000 | #Constraints:      36585
1149.44/1152.79	c #Conflicts:     217000 | #Constraints:      37585
1149.44/1152.79	c #Conflicts:     218000 | #Constraints:      38585
1149.44/1152.79	c #Conflicts:     219000 | #Constraints:      39585
1149.44/1152.79	c #Conflicts:     220000 | #Constraints:      40585
1149.44/1152.79	c #Conflicts:     221000 | #Constraints:      41585
1149.44/1152.79	c #Conflicts:     222000 | #Constraints:      42585
2701.04/2708.35	c #Conflicts:     223000 | #Constraints:      43585
2701.04/2708.35	c #Conflicts:     224000 | #Constraints:      44585
2701.04/2708.35	c #Conflicts:     225000 | #Constraints:      45585
2701.04/2708.35	c #Conflicts:     226000 | #Constraints:      46585
2701.04/2708.35	c #Conflicts:     227000 | #Constraints:      47585
2701.04/2708.35	c #Conflicts:     228000 | #Constraints:      48585
2701.04/2708.35	c #Conflicts:     229000 | #Constraints:      49585
2701.04/2708.35	c #Conflicts:     230000 | #Constraints:      50585
2701.04/2708.35	c #Conflicts:     231000 | #Constraints:      51585
2701.04/2708.35	c #Conflicts:     232000 | #Constraints:      52585
2701.04/2708.35	c #Conflicts:     233000 | #Constraints:      53585
2701.04/2708.35	c #Conflicts:     234000 | #Constraints:      54585
2701.04/2708.35	c #Conflicts:     235000 | #Constraints:      55585
2701.04/2708.35	c #Conflicts:     236000 | #Constraints:      56585
2701.04/2708.35	c #Conflicts:     237000 | #Constraints:      57585
2701.04/2708.35	c #Conflicts:     238000 | #Constraints:      58585
2701.04/2708.35	c INPROCESSING
2701.04/2708.35	c GARBAGE COLLECT
2701.04/2708.35	c #Conflicts:     239000 | #Constraints:      32660
2701.04/2708.35	c #Conflicts:     240000 | #Constraints:      33660
2701.04/2708.35	c #Conflicts:     241000 | #Constraints:      34660
2701.04/2708.35	c #Conflicts:     242000 | #Constraints:      35660
2701.04/2708.35	c #Conflicts:     243000 | #Constraints:      36660
2701.04/2708.35	c #Conflicts:     244000 | #Constraints:      37660
2701.04/2708.35	c #Conflicts:     245000 | #Constraints:      38660
2701.04/2708.35	c #Conflicts:     246000 | #Constraints:      39660
2701.04/2708.35	c #Conflicts:     247000 | #Constraints:      40660
2701.04/2708.35	c #Conflicts:     248000 | #Constraints:      41660
2701.04/2708.35	c #Conflicts:     249000 | #Constraints:      42660
2701.04/2708.35	c INPROCESSING
2701.04/2708.35	c GARBAGE COLLECT
2701.04/2708.35	c #Conflicts:     250000 | #Constraints:      28011
2701.04/2708.35	c #Conflicts:     251000 | #Constraints:      29011
2701.04/2708.35	c #Conflicts:     252000 | #Constraints:      30011
2701.04/2708.35	c #Conflicts:     253000 | #Constraints:      31011
2701.04/2708.35	c #Conflicts:     254000 | #Constraints:      32011
2701.04/2708.35	c #Conflicts:     255000 | #Constraints:      33011
2701.04/2708.35	c #Conflicts:     256000 | #Constraints:      34011
2701.04/2708.35	c #Conflicts:     257000 | #Constraints:      35011
2701.04/2708.35	c #Conflicts:     258000 | #Constraints:      36011
2701.04/2708.35	c #Conflicts:     259000 | #Constraints:      37011
2701.04/2708.35	c #Conflicts:     260000 | #Constraints:      38011
2701.04/2708.35	c #Conflicts:     261000 | #Constraints:      39011
2701.04/2708.35	c #Conflicts:     262000 | #Constraints:      40011
2701.04/2708.35	c #Conflicts:     263000 | #Constraints:      41011
2701.04/2708.35	c #Conflicts:     264000 | #Constraints:      42011
2701.04/2708.35	c #Conflicts:     265000 | #Constraints:      43011
2701.04/2708.35	c #Conflicts:     266000 | #Constraints:      44011
2701.04/2708.35	c #Conflicts:     267000 | #Constraints:      45011
2701.04/2708.35	c #Conflicts:     268000 | #Constraints:      46011
2701.04/2708.35	c #Conflicts:     269000 | #Constraints:      47011
2701.04/2708.35	c #Conflicts:     270000 | #Constraints:      48011
2701.04/2708.35	c #Conflicts:     271000 | #Constraints:      49011
2701.04/2708.35	c #Conflicts:     272000 | #Constraints:      50011
2701.04/2708.35	c #Conflicts:     273000 | #Constraints:      51011
2701.04/2708.35	c #Conflicts:     274000 | #Constraints:      52011
2701.04/2708.35	c #Conflicts:     275000 | #Constraints:      53011
2701.04/2708.35	c #Conflicts:     276000 | #Constraints:      54011
2701.04/2708.35	c #Conflicts:     277000 | #Constraints:      55011
2701.04/2708.35	c #Conflicts:     278000 | #Constraints:      56011
2701.04/2708.35	c #Conflicts:     279000 | #Constraints:      57011
2701.04/2708.35	c #Conflicts:     280000 | #Constraints:      58011
2701.04/2708.35	c #Conflicts:     281000 | #Constraints:      59011
2701.04/2708.35	c #Conflicts:     282000 | #Constraints:      60011
2701.04/2708.35	c #Conflicts:     283000 | #Constraints:      61011
2701.04/2708.35	c #Conflicts:     284000 | #Constraints:      62011
2701.04/2708.35	c #Conflicts:     285000 | #Constraints:      63011
2701.04/2708.35	c #Conflicts:     286000 | #Constraints:      64011
2701.04/2708.35	c #Conflicts:     287000 | #Constraints:      65011
2701.04/2708.35	c #Conflicts:     288000 | #Constraints:      66011
2701.04/2708.35	c #Conflicts:     289000 | #Constraints:      67011
2701.04/2708.35	c #Conflicts:     290000 | #Constraints:      68011
2701.04/2708.35	c INPROCESSING
2701.04/2708.35	c GARBAGE COLLECT
2701.04/2708.35	c #Conflicts:     291000 | #Constraints:      37529
2701.04/2708.35	c #Conflicts:     292000 | #Constraints:      38529
2701.04/2708.35	c #Conflicts:     293000 | #Constraints:      39529
2701.04/2708.35	c #Conflicts:     294000 | #Constraints:      40529
2701.04/2708.35	c #Conflicts:     295000 | #Constraints:      41529
2701.04/2708.35	c #Conflicts:     296000 | #Constraints:      42529
2701.04/2708.35	c #Conflicts:     297000 | #Constraints:      43529
2701.04/2708.35	c #Conflicts:     298000 | #Constraints:      44529
2701.04/2708.35	c #Conflicts:     299000 | #Constraints:      45529
3600.06/3609.80	c #Conflicts:     300000 | #Constraints:      46529
3600.06/3609.80	c #Conflicts:     301000 | #Constraints:      47529
3600.06/3609.80	c #Conflicts:     302000 | #Constraints:      48529
3600.06/3609.80	c INPROCESSING
3600.06/3609.80	c GARBAGE COLLECT
3600.06/3609.80	c #Conflicts:     303000 | #Constraints:      37512
3600.06/3609.80	c #Conflicts:     304000 | #Constraints:      38512
3600.06/3609.80	c #Conflicts:     305000 | #Constraints:      39512
3600.06/3609.80	c #Conflicts:     306000 | #Constraints:      40512
3600.06/3609.80	c #Conflicts:     307000 | #Constraints:      41512
3600.06/3609.80	c #Conflicts:     308000 | #Constraints:      42512
3600.06/3609.80	c #Conflicts:     309000 | #Constraints:      43512
3600.06/3609.80	c #Conflicts:     310000 | #Constraints:      44512
3600.06/3609.80	c #Conflicts:     311000 | #Constraints:      45512
3600.06/3609.80	c #Conflicts:     312000 | #Constraints:      46512
3600.06/3609.80	c #Conflicts:     313000 | #Constraints:      47512
3600.06/3609.80	c #Conflicts:     314000 | #Constraints:      48512
3600.06/3609.80	c #Conflicts:     315000 | #Constraints:      49512
3600.06/3609.80	c #Conflicts:     316000 | #Constraints:      50512
3600.06/3609.80	c #Conflicts:     317000 | #Constraints:      51512
3600.06/3609.80	c #Conflicts:     318000 | #Constraints:      52512
3600.06/3609.80	c #Conflicts:     319000 | #Constraints:      53512
3600.06/3609.80	c #Conflicts:     320000 | #Constraints:      54512
3600.06/3609.80	c #Conflicts:     321000 | #Constraints:      55512
3600.06/3609.80	c #Conflicts:     322000 | #Constraints:      56512
3600.06/3609.80	c #Conflicts:     323000 | #Constraints:      57512
3600.06/3609.80	c #Conflicts:     324000 | #Constraints:      58512
3600.06/3609.80	c #Conflicts:     325000 | #Constraints:      59512
3600.06/3609.80	c #Conflicts:     326000 | #Constraints:      60512
3600.06/3609.80	c #Conflicts:     327000 | #Constraints:      61512
3600.06/3609.80	c #Conflicts:     328000 | #Constraints:      62512
3600.06/3609.80	c #Conflicts:     329000 | #Constraints:      63512
3600.06/3609.80	c #Conflicts:     330000 | #Constraints:      64512
3600.06/3609.80	c #Conflicts:     331000 | #Constraints:      65512
3600.06/3609.80	c #Conflicts:     332000 | #Constraints:      66512
3600.06/3609.80	c #Conflicts:     333000 | #Constraints:      67512
3600.06/3609.80	c Program interrupted by user.
3600.06/3609.80	c cpu time 3589.44 s
3600.06/3609.80	c deterministic time 212513552427 2.13e+11
3600.06/3609.80	c optimization time 817.192 s
3600.06/3609.80	c total solve time 2772.22 s
3600.06/3609.80	c core-guided solve time 2772.22 s
3600.06/3609.80	c propagation time 3396.9 s
3600.06/3609.80	c conflict analysis time 179.349 s
3600.06/3609.80	c propagations 33330520
3600.06/3609.80	c resolve steps 1751304
3600.06/3609.80	c decisions 7554365
3600.06/3609.80	c conflicts 333941
3600.06/3609.80	c restarts 772
3600.06/3609.80	c inprocessing phases 34
3600.06/3609.80	c input clauses 5396
3600.06/3609.80	c input cardinalities 43
3600.06/3609.80	c input general constraints 29
3600.06/3609.80	c input average constraint length 11.01
3600.06/3609.80	c input average constraint degree 1.21
3600.06/3609.80	c learned clauses 28310
3600.06/3609.80	c learned cardinalities 3672
3600.06/3609.80	c learned general constraints 301960
3600.06/3609.80	c learned average constraint length 139.63
3600.06/3609.80	c learned average constraint degree 1932.16
3600.06/3609.80	c watched constraints 177879
3600.06/3609.80	c counting constraints 124110
3600.06/3609.80	c gcd simplifications 1834
3600.06/3609.80	c detected cardinalities 29
3600.06/3609.80	c weakened non-implied lits 3025987
3600.06/3609.80	c weakened non-implying lits 4579
3600.06/3609.80	c original variables 214
3600.06/3609.80	c clausal propagations 3109270
3600.06/3609.80	c cardinality propagations 1000165
3600.06/3609.80	c watched propagations 4986696
3600.06/3609.80	c counting propagations 22971509
3600.06/3609.80	c watch lookups 73564601375
3600.06/3609.80	c watch backjump lookups 72501887661
3600.06/3609.80	c watch checks 55568117470
3600.06/3609.80	c propagation checks 10687203541
3600.06/3609.80	c constraint additions 109638680
3600.06/3609.80	c trail pops 41218814
3600.06/3609.80	c formula constraints 5375
3600.06/3609.80	c learned constraints 333942
3600.06/3609.80	c bound constraints 15
3600.06/3609.80	c core-guided constraints 78
3600.06/3609.80	c encountered formula constraints 878189
3600.06/3609.80	c encountered learned constraints 986381
3600.06/3609.80	c encountered bound constraints 811
3600.06/3609.80	c encountered core-guided constraints 219864
3600.06/3609.80	c LP total time 0 s
3600.06/3609.80	c LP solve time 0 s
3600.06/3609.80	c LP constraints added 0
3600.06/3609.80	c LP constraints removed 0
3600.06/3609.80	c LP pivots internal 0
3600.06/3609.80	c LP pivots root 0
3600.06/3609.80	c LP calls 0
3600.06/3609.80	c LP optimalities 0
3600.06/3609.80	c LP no pivot count 0
3600.06/3609.80	c LP infeasibilities 0
3600.06/3609.80	c LP valid Farkas constraints 0
3600.06/3609.80	c LP learned Farkas constraints 0
3600.06/3609.80	c LP basis resets 0
3600.06/3609.80	c LP cycling count 0
3600.06/3609.80	c LP singular count 0
3600.06/3609.80	c LP no primal count 0
3600.06/3609.80	c LP no farkas count 0
3600.06/3609.80	c LP other issue count 0
3600.06/3609.80	c LP Gomory cuts 0
3600.06/3609.80	c LP learned cuts 0
3600.06/3609.80	c LP deleted cuts 0
3600.06/3609.80	c LP encountered Gomory constraints 0
3600.06/3609.80	c LP encountered Farkas constraints 0
3600.06/3609.80	c LP encountered learned Farkas constraints 0
3600.06/3609.80	c CG auxiliary variables introduced 29
3600.06/3609.80	c CG solutions found 2
3600.06/3609.80	c CG cores constructed 11
3600.06/3609.80	c CG core cardinality constraints returned 0
3600.06/3609.80	c CG unit cores 0
3600.06/3609.80	c CG single cores 11
3600.06/3609.80	c CG blocks removed during cardinality reduction 0
3600.06/3609.80	c CG first core best 0
3600.06/3609.80	c CG decision core best 0
3600.06/3609.80	c CG core reduction tie 0
3600.06/3609.80	c CG core degree average 1.00
3600.06/3609.80	c CG core slack average 20.00
3600.06/3609.80	c CG exhausted 0
3600.06/3609.80	c CG exhaust time 0.918639 s
3600.06/3609.80	c CG trimmed 16
3600.06/3609.80	c CG trim time 0.001949 s
3600.06/3609.80	c CG minimized 0
3600.06/3609.80	c CG minimize time 0 s
3600.06/3609.80	c CG am1 prop time 0.000983 s
3600.06/3609.80	c CG # am1s reformulated 0
3600.06/3609.80	c CG lower bound derived from am1s 0
3600.06/3609.80	c CG # clausal cores 11
3600.06/3609.80	c CG # cardinality cores 0
3600.06/3609.80	c CG # pb cores 0
3600.06/3609.80	c CG # pb reforms 0
3600.06/3609.80	c CG # cores discarded because of pb reform 0
3600.06/3609.80	d LOWERBOUND 11
3600.06/3609.80	d NCORES 11
3600.06/3609.80	d NPBCORES 0
3600.06/3609.80	d NPBREFORM 0
3600.06/3609.80	d NTRIMMED 16
3600.06/3609.80	d NEXHAUSTED 0
3600.06/3609.80	d NAM1S 0
3600.06/3609.80	d AM1LB 0
3600.06/3609.80	o 27
3600.06/3609.80	s SATISFIABLE
3600.06/3609.80	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 (57984 MiB free)
  memory of node 1: 64510 MiB (60067 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=227689, runsolver pid=227686
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.02 4.09 4.05 5/256 227690
/proc/meminfo: memFree=120866320/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=40940 memory=9276 CPUtime=0.1 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 1171 0 0 0 9 1 0 0 20 0 1 0 25834618 41922560 2319 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 10235 2319 1318 291 0 1769 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40940 KiB
Current children cumulated memory: 9276 KiB

[startup+0.205563 s]*
/proc/loadavg: 4.02 4.09 4.05 5/256 227690
/proc/meminfo: memFree=120862228/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=42660 memory=12904 CPUtime=0.2 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 1576 0 0 0 18 2 0 0 20 0 1 0 25834618 43683840 3226 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 10665 3226 1318 291 0 2199 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42660 KiB
Current children cumulated memory: 12904 KiB

[startup+0.305535 s]*
/proc/loadavg: 4.02 4.09 4.05 5/256 227690
/proc/meminfo: memFree=120887056/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=42740 memory=13216 CPUtime=0.3 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 1640 0 0 0 27 3 0 0 20 0 1 0 25834618 43765760 3304 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 10685 3304 1318 291 0 2219 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42740 KiB
Current children cumulated memory: 13216 KiB

[startup+0.700175 s]
/proc/loadavg: 4.02 4.09 4.05 5/256 227690
/proc/meminfo: memFree=120885236/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=45224 memory=15816 CPUtime=0.68 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 2252 0 0 0 63 5 0 0 20 0 1 0 25834618 46309376 3954 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 11306 3954 1379 291 0 2840 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45224 KiB
Current children cumulated memory: 15816 KiB

[startup+1.50017 s]
/proc/loadavg: 4.02 4.09 4.05 5/256 227690
/proc/meminfo: memFree=120880068/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=48552 memory=19104 CPUtime=1.48 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 2536 0 0 0 140 8 0 0 20 0 1 0 25834618 49717248 4776 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 12138 4776 1379 291 0 3672 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48552 KiB
Current children cumulated memory: 19104 KiB

[startup+3.1055 s]
/proc/loadavg: 4.02 4.09 4.05 5/256 227690
/proc/meminfo: memFree=120855720/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=48808 memory=19328 CPUtime=3.09 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 2594 0 0 0 296 13 0 0 20 0 1 0 25834618 49979392 4832 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 12202 4832 1379 291 0 3736 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48808 KiB
Current children cumulated memory: 19328 KiB

[startup+6.30016 s]
/proc/loadavg: 4.02 4.09 4.05 5/256 227692
/proc/meminfo: memFree=120855020/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=49276 memory=19540 CPUtime=6.27 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 2694 0 0 0 608 19 0 0 20 0 1 0 25834618 50458624 4885 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 12319 4885 1379 291 0 3853 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49276 KiB
Current children cumulated memory: 19540 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.06 5/256 227692
/proc/meminfo: memFree=120702236/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=49756 memory=20160 CPUtime=12.66 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 2822 0 0 0 1235 31 0 0 20 0 1 0 25834618 50950144 5040 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 12439 5040 1379 291 0 3973 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 49756 KiB
Current children cumulated memory: 20160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 227696
/proc/meminfo: memFree=120620812/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=50876 memory=21060 CPUtime=25.42 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 3068 0 0 0 2497 45 0 0 20 0 1 0 25834618 52097024 5265 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 12719 5265 1379 291 0 4253 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 50876 KiB
Current children cumulated memory: 21060 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.09 4.06 5/256 227699
/proc/meminfo: memFree=120517580/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=62192 memory=29848 CPUtime=50.97 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 4878 0 0 0 5009 88 0 0 20 0 1 0 25834618 63684608 7462 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 15548 7462 1379 291 0 7082 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 62192 KiB
Current children cumulated memory: 29848 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.07 5/256 227707
/proc/meminfo: memFree=120370252/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=74784 memory=39372 CPUtime=102.03 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 6873 0 0 0 10044 159 0 0 20 0 1 0 25834618 76578816 9843 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 18696 9843 1379 291 0 10230 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 74784 KiB
Current children cumulated memory: 39372 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/258 227767
/proc/meminfo: memFree=120732860/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=97092 memory=55400 CPUtime=161.87 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 9346 0 0 0 15971 216 0 0 20 0 1 0 25834618 99422208 13850 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 24273 13850 1379 291 0 15807 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 97092 KiB
Current children cumulated memory: 55400 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/257 227780
/proc/meminfo: memFree=120603268/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=132128 memory=78672 CPUtime=221.69 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 13122 0 0 0 21923 246 0 0 20 0 1 0 25834618 135299072 19668 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 33032 19668 1379 291 0 24566 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 132128 KiB
Current children cumulated memory: 78672 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/257 227790
/proc/meminfo: memFree=120490204/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=142528 memory=96340 CPUtime=281.52 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 15479 0 0 0 27886 266 0 0 20 0 1 0 25834618 145948672 24085 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 35632 24085 1379 291 0 27166 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 142528 KiB
Current children cumulated memory: 96340 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/257 227800
/proc/meminfo: memFree=120418024/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=145648 memory=103476 CPUtime=341.35 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 16300 0 0 0 33848 287 0 0 20 0 1 0 25834618 149143552 25869 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 36412 25869 1379 291 0 27946 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 145648 KiB
Current children cumulated memory: 103476 KiB

[startup+402.3 s]
/proc/loadavg: 4.35 4.18 4.10 5/257 227810
/proc/meminfo: memFree=120351836/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=145648 memory=103476 CPUtime=401.18 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 16301 0 0 0 39801 317 0 0 20 0 1 0 25834618 149143552 25869 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 36412 25869 1379 291 0 27946 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 145648 KiB
Current children cumulated memory: 103476 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/255 227822
/proc/meminfo: memFree=120284636/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=145648 memory=103476 CPUtime=461.01 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 16302 0 0 0 45747 354 0 0 20 0 1 0 25834618 149143552 25869 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 36412 25869 1379 291 0 27946 0

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

Current children cumulated memory: 187320 KiB

[startup+2862.3 s]
/proc/loadavg: 3.14 3.50 3.83 4/249 229305
/proc/meminfo: memFree=123039308/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187320 CPUtime=2854.62 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31320 0 0 0 284506 956 0 0 20 0 1 0 25834618 231501824 46830 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46830 1379 291 0 48053 0
Current children cumulated CPU time: 2854.62 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187320 KiB

[startup+2922.3 s]
/proc/loadavg: 3.10 3.43 3.78 4/248 229315
/proc/meminfo: memFree=123033776/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187320 CPUtime=2914.47 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31387 0 0 0 290480 967 0 0 20 0 1 0 25834618 231501824 46830 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46830 1379 291 0 48053 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187320 KiB

[startup+2982.3 s]
/proc/loadavg: 3.08 3.36 3.73 4/248 229326
/proc/meminfo: memFree=123012336/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187320 CPUtime=2974.3 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31455 0 0 0 296452 978 0 0 20 0 1 0 25834618 231501824 46830 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46830 1379 291 0 48053 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187320 KiB

[startup+3042.3 s]
/proc/loadavg: 3.08 3.31 3.69 4/250 229508
/proc/meminfo: memFree=122995324/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187320 CPUtime=3034.13 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31525 0 0 0 302425 988 0 0 20 0 1 0 25834618 231501824 46830 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46830 1379 291 0 48053 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187320 KiB

[startup+3102.3 s]
/proc/loadavg: 3.07 3.26 3.65 4/250 229518
/proc/meminfo: memFree=122993156/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187332 CPUtime=3093.97 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31599 0 0 0 308401 996 0 0 20 0 1 0 25834618 231501824 46833 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46833 1379 291 0 48053 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187332 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.25 3.62 4/255 229590
/proc/meminfo: memFree=122942412/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187348 CPUtime=3153.81 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31675 0 0 0 314376 1005 0 0 20 0 1 0 25834618 231501824 46837 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46837 1379 291 0 48053 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187348 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 3.23 3.59 4/255 229601
/proc/meminfo: memFree=122875004/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187360 CPUtime=3213.64 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31750 0 0 0 320352 1012 0 0 20 0 1 0 25834618 231501824 46840 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46840 1379 291 0 48053 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187360 KiB

[startup+3282.3 s]
/proc/loadavg: 3.17 3.22 3.56 4/255 229612
/proc/meminfo: memFree=122806060/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=226076 memory=187368 CPUtime=3273.48 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 31828 0 0 0 326326 1022 0 0 20 0 1 0 25834618 231501824 46842 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56519 46842 1379 291 0 48053 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 226076 KiB
Current children cumulated memory: 187368 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.19 3.53 4/255 229623
/proc/meminfo: memFree=122799640/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=227108 memory=187880 CPUtime=3333.31 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 32037 0 0 0 332301 1030 0 0 20 0 1 0 25834618 232558592 46970 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56777 46970 1379 291 0 48311 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 227108 KiB
Current children cumulated memory: 187880 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.17 3.50 4/253 229634
/proc/meminfo: memFree=122798088/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=227364 memory=187928 CPUtime=3393.14 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 32186 0 0 0 338275 1039 0 0 20 0 1 0 25834618 232820736 46982 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56841 46982 1379 291 0 48375 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 227364 KiB
Current children cumulated memory: 187928 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.17 3.47 4/248 229646
/proc/meminfo: memFree=122795500/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=227880 memory=188228 CPUtime=3452.98 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 32343 0 0 0 344252 1046 0 0 20 0 1 0 25834618 233349120 47057 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 56970 47057 1379 291 0 48504 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 227880 KiB
Current children cumulated memory: 188228 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.15 3.45 4/248 229656
/proc/meminfo: memFree=122790748/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=228136 memory=188332 CPUtime=3512.81 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 32515 0 0 0 350228 1053 0 0 20 0 1 0 25834618 233611264 47083 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 57034 47083 1379 291 0 48568 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 228136 KiB
Current children cumulated memory: 188332 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.13 3.42 4/248 229666
/proc/meminfo: memFree=122772304/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=229424 memory=189132 CPUtime=3572.63 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 32865 0 0 0 356203 1060 0 0 20 0 1 0 25834618 234930176 47283 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 57356 47283 1379 291 0 48890 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 229424 KiB
Current children cumulated memory: 189132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 3.11 3.14 3.42 4/251 229676
/proc/meminfo: memFree=122766132/131524600 swapFree=131061428/131071996
[pid=227689] ppid=227686 vsize=230192 memory=191388 CPUtime=3600.06 cores=5,7
/proc/227689/stat : 227689 (pb-oll-rs) R 227686 227689 225328 0 -1 4194304 33111 0 0 0 358943 1063 0 0 20 0 1 0 25834618 235716608 47847 134679101440 4194304 5384005 140727132076112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10043392 140727132083223 140727132083300 140727132083300 140727132090315 0
/proc/227689/statm: 57548 47847 1379 291 0 49082 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 230192 KiB
Current children cumulated memory: 191388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.44 s, system=10.6414 s

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

Child status: 0

Real time (s): 3609.81
CPU time (s): 3600.08
CPU user time (s): 3589.44
CPU system time (s): 10.6414
CPU usage (%): 99.7305
Max. virtual memory (cumulated for all children) (KiB): 230192
Max. memory (cumulated for all children) (KiB): 191388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.44
system time used= 10.6414
maximum resident set size= 191584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33128
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= 2617


# summary of solver processes directly reported to runsolver:
#   pid: 227689
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3589.44
#   total CPU system time (s): 10.6414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1172 second user time and 15.6073 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 09:38:37
IDJOB=4459204
IDBENCH=178614
IDSOLVER=3067
FILE ID=nodeC022/4459204-1721893117
RUNJOBID= nodeC022-1721889355-225341
SLURM_JOB_ID= 8089333
Free space on /tmp= 889980 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4459204-1721893117/watcher-4459204-1721893117 -o /tmp/evaluation-result-4459204-1721893117/solver-4459204-1721893117 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721889355-225341 --watchdog 3760  pb-oll-rs HOME/instance-4459204-1721893117.opb

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

MD5SUM BENCH= d19cd21a9273f0af629a2ef833d8382f
RANDOM SEED=1414764458

nodeC022.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		: 3671.226
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.87
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		: 3682.191
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.75
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.090
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.87
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		: 3600.424
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.75
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		: 3671.291
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.87
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		: 3667.836
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.75
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		: 3600.120
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.87
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		: 3662.987
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120870852 kB
MemAvailable:   126480312 kB
Buffers:          311516 kB
Cached:          6047260 kB
SwapCached:         1424 kB
Active:          2692488 kB
Inactive:        7186016 kB
Active(anon):       1936 kB
Inactive(anon):  3571508 kB
Active(file):    2690552 kB
Inactive(file):  3614508 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              2600 kB
Writeback:            96 kB
AnonPages:       3518092 kB
Mapped:           118704 kB
Shmem:             53732 kB
KReclaimable:     292188 kB
Slab:             415376 kB
SReclaimable:     292188 kB
SUnreclaim:       123188 kB
KernelStack:        4128 kB
PageTables:        16824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4336856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC022 at 2024-07-25 10:38:47