Trace number 4520066

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
roundingsat-ihs 63f22ad? (TO) 3600.39 3610.33

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
MD5SUM0e48a521f9e70a759d0a47d941d82f86
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 benchmark12675
Best CPU time to get the best result obtained on this benchmark0.310882
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25350
Total number of constraints4225
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints4160
Minimum length of a constraint6
Maximum length of a constraint18
Number of terms in the objective function 25350
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 25350
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 25350
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.07	c #variables 25350 #constraints 4225
0.00/0.07	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 4161 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.056376
0.00/0.11	c GLOBAL bounds - >= 0 @ 0.066874
773.09/775.13	c #Conflicts:       1000 | #Constraints:       5225
773.09/775.13	c #Conflicts:       2000 | #Constraints:       6225
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:       3000 | #Constraints:       6281
773.09/775.13	c #Conflicts:       4000 | #Constraints:       7281
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:       5000 | #Constraints:       6683
773.09/775.13	c #Conflicts:       6000 | #Constraints:       7683
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:       7000 | #Constraints:       6689
773.09/775.13	c #Conflicts:       8000 | #Constraints:       7689
773.09/775.13	c #Conflicts:       9000 | #Constraints:       8689
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      10000 | #Constraints:       7420
773.09/775.13	c #Conflicts:      11000 | #Constraints:       8420
773.09/775.13	c #Conflicts:      12000 | #Constraints:       9420
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      13000 | #Constraints:       7912
773.09/775.13	c #Conflicts:      14000 | #Constraints:       8912
773.09/775.13	c #Conflicts:      15000 | #Constraints:       9912
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      16000 | #Constraints:       8115
773.09/775.13	c #Conflicts:      17000 | #Constraints:       9115
773.09/775.13	c #Conflicts:      18000 | #Constraints:      10115
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      19000 | #Constraints:       8112
773.09/775.13	c #Conflicts:      20000 | #Constraints:       9112
773.09/775.13	c #Conflicts:      21000 | #Constraints:      10112
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      22000 | #Constraints:       7920
773.09/775.13	c #Conflicts:      23000 | #Constraints:       8920
773.09/775.13	c #Conflicts:      24000 | #Constraints:       9920
773.09/775.13	c #Conflicts:      25000 | #Constraints:      10920
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      26000 | #Constraints:       8526
773.09/775.13	c #Conflicts:      27000 | #Constraints:       9526
773.09/775.13	c #Conflicts:      28000 | #Constraints:      10526
773.09/775.13	c #Conflicts:      29000 | #Constraints:      11526
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      30000 | #Constraints:       8948
773.09/775.13	c #Conflicts:      31000 | #Constraints:       9948
773.09/775.13	c #Conflicts:      32000 | #Constraints:      10948
773.09/775.13	c #Conflicts:      33000 | #Constraints:      11948
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      34000 | #Constraints:       9152
773.09/775.13	c #Conflicts:      35000 | #Constraints:      10152
773.09/775.13	c #Conflicts:      36000 | #Constraints:      11152
773.09/775.13	c #Conflicts:      37000 | #Constraints:      12152
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      38000 | #Constraints:       9147
773.09/775.13	c #Conflicts:      39000 | #Constraints:      10147
773.09/775.13	c #Conflicts:      40000 | #Constraints:      11147
773.09/775.13	c #Conflicts:      41000 | #Constraints:      12147
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      42000 | #Constraints:       8959
773.09/775.13	c #Conflicts:      43000 | #Constraints:       9959
773.09/775.13	c #Conflicts:      44000 | #Constraints:      10959
773.09/775.13	c #Conflicts:      45000 | #Constraints:      11959
773.09/775.13	c #Conflicts:      46000 | #Constraints:      12959
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      47000 | #Constraints:       9561
773.09/775.13	c #Conflicts:      48000 | #Constraints:      10561
773.09/775.13	c #Conflicts:      49000 | #Constraints:      11561
773.09/775.13	c #Conflicts:      50000 | #Constraints:      12561
773.09/775.13	c #Conflicts:      51000 | #Constraints:      13561
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      52000 | #Constraints:       9977
773.09/775.13	c #Conflicts:      53000 | #Constraints:      10977
773.09/775.13	c #Conflicts:      54000 | #Constraints:      11977
773.09/775.13	c #Conflicts:      55000 | #Constraints:      12977
773.09/775.13	c #Conflicts:      56000 | #Constraints:      13977
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      57000 | #Constraints:      10192
773.09/775.13	c #Conflicts:      58000 | #Constraints:      11192
773.09/775.13	c #Conflicts:      59000 | #Constraints:      12192
773.09/775.13	c #Conflicts:      60000 | #Constraints:      13192
773.09/775.13	c #Conflicts:      61000 | #Constraints:      14192
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      62000 | #Constraints:      10139
773.09/775.13	c #Conflicts:      63000 | #Constraints:      11139
773.09/775.13	c #Conflicts:      64000 | #Constraints:      12139
773.09/775.13	c #Conflicts:      65000 | #Constraints:      13139
773.09/775.13	c #Conflicts:      66000 | #Constraints:      14139
773.09/775.13	c INPROCESSING
773.09/775.13	c GARBAGE COLLECT
773.09/775.13	c #Conflicts:      67000 | #Constraints:       9944
773.09/775.13	c #Conflicts:      68000 | #Constraints:      10944
1796.41/1801.13	c #Conflicts:      69000 | #Constraints:      11944
1796.41/1801.13	c #Conflicts:      70000 | #Constraints:      12944
1796.41/1801.13	c #Conflicts:      71000 | #Constraints:      13944
1796.41/1801.13	c #Conflicts:      72000 | #Constraints:      14944
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:      73000 | #Constraints:      10576
1796.41/1801.13	c #Conflicts:      74000 | #Constraints:      11576
1796.41/1801.13	c #Conflicts:      75000 | #Constraints:      12576
1796.41/1801.13	c #Conflicts:      76000 | #Constraints:      13576
1796.41/1801.13	c #Conflicts:      77000 | #Constraints:      14576
1796.41/1801.13	c #Conflicts:      78000 | #Constraints:      15576
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:      79000 | #Constraints:      10958
1796.41/1801.13	c #Conflicts:      80000 | #Constraints:      11958
1796.41/1801.13	c #Conflicts:      81000 | #Constraints:      12958
1796.41/1801.13	c #Conflicts:      82000 | #Constraints:      13958
1796.41/1801.13	c #Conflicts:      83000 | #Constraints:      14958
1796.41/1801.13	c #Conflicts:      84000 | #Constraints:      15958
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:      85000 | #Constraints:      11164
1796.41/1801.13	c #Conflicts:      86000 | #Constraints:      12164
1796.41/1801.13	c #Conflicts:      87000 | #Constraints:      13164
1796.41/1801.13	c #Conflicts:      88000 | #Constraints:      14164
1796.41/1801.13	c #Conflicts:      89000 | #Constraints:      15164
1796.41/1801.13	c #Conflicts:      90000 | #Constraints:      16164
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:      91000 | #Constraints:      11166
1796.41/1801.13	c #Conflicts:      92000 | #Constraints:      12166
1796.41/1801.13	c #Conflicts:      93000 | #Constraints:      13166
1796.41/1801.13	c #Conflicts:      94000 | #Constraints:      14166
1796.41/1801.13	c #Conflicts:      95000 | #Constraints:      15166
1796.41/1801.13	c #Conflicts:      96000 | #Constraints:      16166
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:      97000 | #Constraints:      10957
1796.41/1801.13	c #Conflicts:      98000 | #Constraints:      11957
1796.41/1801.13	c #Conflicts:      99000 | #Constraints:      12957
1796.41/1801.13	c #Conflicts:     100000 | #Constraints:      13957
1796.41/1801.13	c #Conflicts:     101000 | #Constraints:      14957
1796.41/1801.13	c #Conflicts:     102000 | #Constraints:      15957
1796.41/1801.13	c #Conflicts:     103000 | #Constraints:      16957
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:     104000 | #Constraints:      11576
1796.41/1801.13	c #Conflicts:     105000 | #Constraints:      12576
1796.41/1801.13	c #Conflicts:     106000 | #Constraints:      13576
1796.41/1801.13	c #Conflicts:     107000 | #Constraints:      14576
1796.41/1801.13	c #Conflicts:     108000 | #Constraints:      15576
1796.41/1801.13	c #Conflicts:     109000 | #Constraints:      16576
1796.41/1801.13	c #Conflicts:     110000 | #Constraints:      17576
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:     111000 | #Constraints:      12008
1796.41/1801.13	c #Conflicts:     112000 | #Constraints:      13008
1796.41/1801.13	c #Conflicts:     113000 | #Constraints:      14008
1796.41/1801.13	c #Conflicts:     114000 | #Constraints:      15008
1796.41/1801.13	c #Conflicts:     115000 | #Constraints:      16008
1796.41/1801.13	c #Conflicts:     116000 | #Constraints:      17008
1796.41/1801.13	c #Conflicts:     117000 | #Constraints:      18008
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:     118000 | #Constraints:      12200
1796.41/1801.13	c #Conflicts:     119000 | #Constraints:      13200
1796.41/1801.13	c #Conflicts:     120000 | #Constraints:      14200
1796.41/1801.13	c #Conflicts:     121000 | #Constraints:      15200
1796.41/1801.13	c #Conflicts:     122000 | #Constraints:      16200
1796.41/1801.13	c #Conflicts:     123000 | #Constraints:      17200
1796.41/1801.13	c #Conflicts:     124000 | #Constraints:      18200
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:     125000 | #Constraints:      12228
1796.41/1801.13	c #Conflicts:     126000 | #Constraints:      13228
1796.41/1801.13	c #Conflicts:     127000 | #Constraints:      14228
1796.41/1801.13	c #Conflicts:     128000 | #Constraints:      15228
1796.41/1801.13	c #Conflicts:     129000 | #Constraints:      16228
1796.41/1801.13	c #Conflicts:     130000 | #Constraints:      17228
1796.41/1801.13	c #Conflicts:     131000 | #Constraints:      18228
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:     132000 | #Constraints:      12038
1796.41/1801.13	c #Conflicts:     133000 | #Constraints:      13038
1796.41/1801.13	c #Conflicts:     134000 | #Constraints:      14038
1796.41/1801.13	c #Conflicts:     135000 | #Constraints:      15038
1796.41/1801.13	c #Conflicts:     136000 | #Constraints:      16038
1796.41/1801.13	c #Conflicts:     137000 | #Constraints:      17038
1796.41/1801.13	c #Conflicts:     138000 | #Constraints:      18038
1796.41/1801.13	c #Conflicts:     139000 | #Constraints:      19038
1796.41/1801.13	c INPROCESSING
1796.41/1801.13	c GARBAGE COLLECT
1796.41/1801.13	c #Conflicts:     140000 | #Constraints:      12625
2829.04/2836.62	c #Conflicts:     141000 | #Constraints:      13625
2829.04/2836.62	c #Conflicts:     142000 | #Constraints:      14625
2829.04/2836.62	c #Conflicts:     143000 | #Constraints:      15625
2829.04/2836.62	c #Conflicts:     144000 | #Constraints:      16625
2829.04/2836.62	c #Conflicts:     145000 | #Constraints:      17625
2829.04/2836.62	c #Conflicts:     146000 | #Constraints:      18625
2829.04/2836.62	c #Conflicts:     147000 | #Constraints:      19625
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     148000 | #Constraints:      13017
2829.04/2836.62	c #Conflicts:     149000 | #Constraints:      14017
2829.04/2836.62	c #Conflicts:     150000 | #Constraints:      15017
2829.04/2836.62	c #Conflicts:     151000 | #Constraints:      16017
2829.04/2836.62	c #Conflicts:     152000 | #Constraints:      17017
2829.04/2836.62	c #Conflicts:     153000 | #Constraints:      18017
2829.04/2836.62	c #Conflicts:     154000 | #Constraints:      19017
2829.04/2836.62	c #Conflicts:     155000 | #Constraints:      20017
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     156000 | #Constraints:      13196
2829.04/2836.62	c #Conflicts:     157000 | #Constraints:      14196
2829.04/2836.62	c #Conflicts:     158000 | #Constraints:      15196
2829.04/2836.62	c #Conflicts:     159000 | #Constraints:      16196
2829.04/2836.62	c #Conflicts:     160000 | #Constraints:      17196
2829.04/2836.62	c #Conflicts:     161000 | #Constraints:      18196
2829.04/2836.62	c #Conflicts:     162000 | #Constraints:      19196
2829.04/2836.62	c #Conflicts:     163000 | #Constraints:      20196
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     164000 | #Constraints:      13208
2829.04/2836.62	c #Conflicts:     165000 | #Constraints:      14208
2829.04/2836.62	c #Conflicts:     166000 | #Constraints:      15208
2829.04/2836.62	c #Conflicts:     167000 | #Constraints:      16208
2829.04/2836.62	c #Conflicts:     168000 | #Constraints:      17208
2829.04/2836.62	c #Conflicts:     169000 | #Constraints:      18208
2829.04/2836.62	c #Conflicts:     170000 | #Constraints:      19208
2829.04/2836.62	c #Conflicts:     171000 | #Constraints:      20208
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     172000 | #Constraints:      12996
2829.04/2836.62	c #Conflicts:     173000 | #Constraints:      13996
2829.04/2836.62	c #Conflicts:     174000 | #Constraints:      14996
2829.04/2836.62	c #Conflicts:     175000 | #Constraints:      15996
2829.04/2836.62	c #Conflicts:     176000 | #Constraints:      16996
2829.04/2836.62	c #Conflicts:     177000 | #Constraints:      17996
2829.04/2836.62	c #Conflicts:     178000 | #Constraints:      18996
2829.04/2836.62	c #Conflicts:     179000 | #Constraints:      19996
2829.04/2836.62	c #Conflicts:     180000 | #Constraints:      20996
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     181000 | #Constraints:      13630
2829.04/2836.62	c #Conflicts:     182000 | #Constraints:      14630
2829.04/2836.62	c #Conflicts:     183000 | #Constraints:      15630
2829.04/2836.62	c #Conflicts:     184000 | #Constraints:      16630
2829.04/2836.62	c #Conflicts:     185000 | #Constraints:      17630
2829.04/2836.62	c #Conflicts:     186000 | #Constraints:      18630
2829.04/2836.62	c #Conflicts:     187000 | #Constraints:      19630
2829.04/2836.62	c #Conflicts:     188000 | #Constraints:      20630
2829.04/2836.62	c #Conflicts:     189000 | #Constraints:      21630
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     190000 | #Constraints:      14052
2829.04/2836.62	c #Conflicts:     191000 | #Constraints:      15052
2829.04/2836.62	c #Conflicts:     192000 | #Constraints:      16052
2829.04/2836.62	c #Conflicts:     193000 | #Constraints:      17052
2829.04/2836.62	c #Conflicts:     194000 | #Constraints:      18052
2829.04/2836.62	c #Conflicts:     195000 | #Constraints:      19052
2829.04/2836.62	c #Conflicts:     196000 | #Constraints:      20052
2829.04/2836.62	c #Conflicts:     197000 | #Constraints:      21052
2829.04/2836.62	c #Conflicts:     198000 | #Constraints:      22052
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     199000 | #Constraints:      14261
2829.04/2836.62	c #Conflicts:     200000 | #Constraints:      15261
2829.04/2836.62	c #Conflicts:     201000 | #Constraints:      16261
2829.04/2836.62	c #Conflicts:     202000 | #Constraints:      17261
2829.04/2836.62	c #Conflicts:     203000 | #Constraints:      18261
2829.04/2836.62	c #Conflicts:     204000 | #Constraints:      19261
2829.04/2836.62	c #Conflicts:     205000 | #Constraints:      20261
2829.04/2836.62	c #Conflicts:     206000 | #Constraints:      21261
2829.04/2836.62	c #Conflicts:     207000 | #Constraints:      22261
2829.04/2836.62	c INPROCESSING
2829.04/2836.62	c GARBAGE COLLECT
2829.04/2836.62	c #Conflicts:     208000 | #Constraints:      14231
2829.04/2836.62	c #Conflicts:     209000 | #Constraints:      15231
2829.04/2836.62	c #Conflicts:     210000 | #Constraints:      16231
2829.04/2836.62	c #Conflicts:     211000 | #Constraints:      17231
2829.04/2836.62	c #Conflicts:     212000 | #Constraints:      18231
2829.04/2836.62	c #Conflicts:     213000 | #Constraints:      19231
3600.05/3610.01	c #Conflicts:     214000 | #Constraints:      20231
3600.05/3610.01	c #Conflicts:     215000 | #Constraints:      21231
3600.05/3610.01	c #Conflicts:     216000 | #Constraints:      22231
3600.05/3610.01	c INPROCESSING
3600.05/3610.01	c GARBAGE COLLECT
3600.05/3610.01	c #Conflicts:     217000 | #Constraints:      14074
3600.05/3610.01	c #Conflicts:     218000 | #Constraints:      15074
3600.05/3610.01	c #Conflicts:     219000 | #Constraints:      16074
3600.05/3610.01	c #Conflicts:     220000 | #Constraints:      17074
3600.05/3610.01	c #Conflicts:     221000 | #Constraints:      18074
3600.05/3610.01	c #Conflicts:     222000 | #Constraints:      19074
3600.05/3610.01	c #Conflicts:     223000 | #Constraints:      20074
3600.05/3610.01	c #Conflicts:     224000 | #Constraints:      21074
3600.05/3610.01	c #Conflicts:     225000 | #Constraints:      22074
3600.05/3610.01	c #Conflicts:     226000 | #Constraints:      23074
3600.05/3610.01	c INPROCESSING
3600.05/3610.01	c GARBAGE COLLECT
3600.05/3610.01	c #Conflicts:     227000 | #Constraints:      14656
3600.05/3610.01	c #Conflicts:     228000 | #Constraints:      15656
3600.05/3610.01	c #Conflicts:     229000 | #Constraints:      16656
3600.05/3610.01	c #Conflicts:     230000 | #Constraints:      17656
3600.05/3610.01	c #Conflicts:     231000 | #Constraints:      18656
3600.05/3610.01	c #Conflicts:     232000 | #Constraints:      19656
3600.05/3610.01	c #Conflicts:     233000 | #Constraints:      20656
3600.05/3610.01	c #Conflicts:     234000 | #Constraints:      21656
3600.05/3610.01	c #Conflicts:     235000 | #Constraints:      22656
3600.05/3610.01	c #Conflicts:     236000 | #Constraints:      23656
3600.05/3610.01	c INPROCESSING
3600.05/3610.01	c GARBAGE COLLECT
3600.05/3610.01	c #Conflicts:     237000 | #Constraints:      15061
3600.05/3610.01	c #Conflicts:     238000 | #Constraints:      16061
3600.05/3610.01	c #Conflicts:     239000 | #Constraints:      17061
3600.05/3610.01	c #Conflicts:     240000 | #Constraints:      18061
3600.05/3610.01	c #Conflicts:     241000 | #Constraints:      19061
3600.05/3610.01	c #Conflicts:     242000 | #Constraints:      20061
3600.05/3610.01	c #Conflicts:     243000 | #Constraints:      21061
3600.05/3610.01	c #Conflicts:     244000 | #Constraints:      22061
3600.05/3610.01	c #Conflicts:     245000 | #Constraints:      23061
3600.05/3610.01	c #Conflicts:     246000 | #Constraints:      24061
3600.05/3610.01	c INPROCESSING
3600.05/3610.01	c GARBAGE COLLECT
3600.05/3610.01	c #Conflicts:     247000 | #Constraints:      15216
3600.05/3610.01	c #Conflicts:     248000 | #Constraints:      16216
3600.05/3610.01	c #Conflicts:     249000 | #Constraints:      17216
3600.05/3610.01	c #Conflicts:     250000 | #Constraints:      18216
3600.05/3610.01	c #Conflicts:     251000 | #Constraints:      19216
3600.05/3610.01	c #Conflicts:     252000 | #Constraints:      20216
3600.05/3610.01	c #Conflicts:     253000 | #Constraints:      21216
3600.05/3610.01	c #Conflicts:     254000 | #Constraints:      22216
3600.05/3610.01	c #Conflicts:     255000 | #Constraints:      23216
3600.05/3610.01	c #Conflicts:     256000 | #Constraints:      24216
3600.05/3610.01	c INPROCESSING
3600.05/3610.01	c GARBAGE COLLECT
3600.05/3610.01	c #Conflicts:     257000 | #Constraints:      15192
3600.05/3610.01	c #Conflicts:     258000 | #Constraints:      16192
3600.05/3610.01	c #Conflicts:     259000 | #Constraints:      17192
3600.05/3610.01	c #Conflicts:     260000 | #Constraints:      18192
3600.05/3610.01	c #Conflicts:     261000 | #Constraints:      19192
3600.05/3610.01	c #Conflicts:     262000 | #Constraints:      20192
3600.05/3610.01	c #Conflicts:     263000 | #Constraints:      21192
3600.05/3610.01	c #Conflicts:     264000 | #Constraints:      22192
3600.05/3610.01	c #Conflicts:     265000 | #Constraints:      23192
3600.05/3610.01	c cpu time 3580.47 s
3600.05/3610.01	c deterministic time 1 1.00e+00
3600.05/3610.01	c optimization time 3580.42 s
3600.05/3610.01	c total solve time 0 s
3600.05/3610.01	c core-guided solve time 0 s
3600.05/3610.01	c propagation time 0.001514 s
3600.05/3610.01	c conflict analysis time 0 s
3600.05/3610.01	c propagations 0
3600.05/3610.01	c resolve steps 0
3600.05/3610.01	c decisions 0
3600.05/3610.01	c conflicts 0
3600.05/3610.01	c restarts 0
3600.05/3610.01	c inprocessing phases 0
3600.05/3610.01	c garbage collections 0 ,( -nan )
3600.05/3610.01	c input clauses 0 ,( 0.00 )
3600.05/3610.01	c input cardinalities 65 ,( 1.54 )
3600.05/3610.01	c input general constraints 4160 ,( 98.46 )
3600.05/3610.01	c input average constraint length 17.82
3600.05/3610.01	c input average constraint degree 11.86
3600.05/3610.01	c learned clauses 0 ,( 0.00 )
3600.05/3610.01	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.01	c learned general constraints 0 ,( 0.00 )
3600.05/3610.01	c learned average constraint length 0.00
3600.05/3610.01	c learned average constraint degree 0.00
3600.05/3610.01	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.01	c counting CF 32, 64, 128, Arb: 4161 , 0 , 0 , 0
3600.05/3610.01	c watched   constraints 0 ,( 0.00 ) 
3600.05/3610.01	c counting  constraints 4160 ,( 100.00 ) 
3600.05/3610.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.01	c gcd simplifications 65
3600.05/3610.01	c detected cardinalities 0
3600.05/3610.01	c weakened non-implied lits 0
3600.05/3610.01	c weakened non-implying lits 0
3600.05/3610.01	c original variables 25350
3600.05/3610.01	c clausal propagations 0
3600.05/3610.01	c cardinality propagations 0
3600.05/3610.01	c watched propagations 0
3600.05/3610.01	c counting propagations 0
3600.05/3610.01	c watch lookups 0
3600.05/3610.01	c watch backjump lookups 0
3600.05/3610.01	c watch checks 0
3600.05/3610.01	c propagation checks 0
3600.05/3610.01	c constraint additions 0
3600.05/3610.01	c trail pops 0
3600.05/3610.01	c formula constraints 4225
3600.05/3610.01	c learned constraints 0
3600.05/3610.01	c bound constraints 0
3600.05/3610.01	c core-guided constraints 0
3600.05/3610.01	c encountered formula constraints 0
3600.05/3610.01	c encountered learned constraints 0
3600.05/3610.01	c encountered bound constraints 0
3600.05/3610.01	c encountered core-guided constraints 0
3600.05/3610.01	c LP total time 0 s
3600.05/3610.01	c LP solve time 0 s
3600.05/3610.01	c LP constraints added 0
3600.05/3610.01	c LP constraints removed 0
3600.05/3610.01	c LP pivots internal 0
3600.05/3610.01	c LP pivots root 0
3600.05/3610.01	c LP calls 0
3600.05/3610.01	c LP optimalities 0
3600.05/3610.01	c LP no pivot count 0
3600.05/3610.01	c LP infeasibilities 0
3600.05/3610.01	c LP valid Farkas constraints 0
3600.05/3610.01	c LP learned Farkas constraints 0
3600.05/3610.01	c LP basis resets 0
3600.05/3610.01	c LP cycling count 0
3600.05/3610.01	c LP singular count 0
3600.05/3610.01	c LP no primal count 0
3600.05/3610.01	c LP no farkas count 0
3600.05/3610.01	c LP other issue count 0
3600.05/3610.01	c LP Gomory cuts 0
3600.05/3610.01	c LP learned cuts 0
3600.05/3610.01	c LP deleted cuts 0
3600.05/3610.01	c LP encountered Gomory constraints 0
3600.05/3610.01	c LP encountered Farkas constraints 0
3600.05/3610.01	c LP encountered learned Farkas constraints 0
3600.05/3610.01	c CG auxiliary variables introduced 0
3600.05/3610.01	c CG solutions found 0
3600.05/3610.01	c CG cores constructed 0
3600.05/3610.01	c CG core cardinality constraints returned 0
3600.05/3610.01	c CG unit cores 0
3600.05/3610.01	c CG single cores 0
3600.05/3610.01	c CG blocks removed during cardinality reduction 0
3600.05/3610.01	c CG first core best 0
3600.05/3610.01	c CG decision core best 0
3600.05/3610.01	c CG core reduction tie 0
3600.05/3610.01	c CG core degree average 0.00
3600.05/3610.01	c CG core slack average 0.00
3600.05/3610.01	c CG core upper bound improvements 0
3600.05/3610.01	c STR number of successful calls 0
3600.05/3610.01	c STR number of unsuccessful calls 0
3600.05/3610.01	c STR number of inconclusive calls 0
3600.05/3610.01	c STR number of successful attempts 0
3600.05/3610.01	c STR number of unsuccessful attempts 0
3600.05/3610.01	c STR number of inconclusive attempts 0
3600.05/3610.01	c STR average degree increase per successful call inf
3600.05/3610.01	c STR average degree increase per successful attempt inf
3600.05/3610.01	c STR total number of conflicts for successful attempts 0
3600.05/3610.01	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.01	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.01	c STR average number of conflicts per successful attempt inf
3600.05/3610.01	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.01	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.01	c AVG.sumWPerc 72.22 
3600.05/3610.01	c bigint constraints 0 
3600.05/3610.01	s UNKNOWN
3600.05/3610.01	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (61586 MiB free)
  memory of node 1: 64507 MiB (53112 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520066-1751566103/watcher-4520066-1751566103 -o /tmp/evaluation-result-4520066-1751566103/solver-4520066-1751566103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751558831-83770 --watchdog 3760 run-opt.sh HOME/instance-4520066-1751566103.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=84700, runsolver pid=84697

[startup+0.100101 s]*
/proc/loadavg: 5.09 4.45 4.31 6/254 84702
/proc/meminfo: memFree=117434952/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=85020 memory=38988 CPUtime=0.09 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 7814 0 0 0 6 3 0 0 20 0 1 0 72290100 87060480 9747 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 21255 9747 2400 1147 0 8682 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89212 KiB
Current children cumulated memory: 42060 KiB

[startup+0.213731 s]*
/proc/loadavg: 5.09 4.45 4.31 5/254 84702
/proc/meminfo: memFree=117426636/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=98912 memory=53708 CPUtime=0.2 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 11497 0 0 0 16 4 0 0 20 0 1 0 72290100 101285888 13427 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 24728 13427 2400 1147 0 12155 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103104 KiB
Current children cumulated memory: 56780 KiB

[startup+0.313319 s]*
/proc/loadavg: 5.09 4.45 4.31 5/254 84702
/proc/meminfo: memFree=117417564/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=102176 memory=57036 CPUtime=0.3 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 12344 0 0 0 26 4 0 0 20 0 1 0 72290100 104628224 14259 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 25544 14259 2400 1147 0 12971 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106368 KiB
Current children cumulated memory: 60108 KiB

[startup+0.700365 s]
/proc/loadavg: 5.09 4.45 4.31 5/254 84702
/proc/meminfo: memFree=117397088/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=155104 memory=109072 CPUtime=0.68 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 23291 0 0 0 62 6 0 0 20 0 1 0 72290100 158826496 27268 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 38776 27268 2400 1147 0 26203 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 159296 KiB
Current children cumulated memory: 112144 KiB

[startup+1.50039 s]
/proc/loadavg: 5.09 4.45 4.31 5/254 84702
/proc/meminfo: memFree=117358936/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=166780 memory=121016 CPUtime=1.47 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 23723 0 0 0 140 7 0 0 20 0 1 0 72290100 170782720 30254 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 41695 30254 2400 1147 0 29122 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 170972 KiB
Current children cumulated memory: 124088 KiB

[startup+3.11306 s]
/proc/loadavg: 5.09 4.45 4.31 5/254 84702
/proc/meminfo: memFree=117262292/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=270468 memory=199744 CPUtime=3.08 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 38302 0 0 0 297 11 0 0 20 0 1 0 72290100 276959232 49936 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 67617 49936 2400 1147 0 55044 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 274660 KiB
Current children cumulated memory: 202816 KiB

[startup+6.30038 s]
/proc/loadavg: 5.08 4.46 4.31 5/254 84702
/proc/meminfo: memFree=117092304/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=427540 memory=366212 CPUtime=6.26 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 65642 0 0 0 607 19 0 0 20 0 1 0 72290100 437800960 91553 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 106885 91553 2400 1147 0 94312 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 431732 KiB
Current children cumulated memory: 369284 KiB

[startup+12.7004 s]
/proc/loadavg: 5.00 4.46 4.31 5/254 84702
/proc/meminfo: memFree=116771624/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=721736 memory=675828 CPUtime=12.64 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 119058 0 0 0 1226 38 0 0 20 0 1 0 72290100 739057664 168957 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 180434 168957 2400 1147 0 167861 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 725928 KiB
Current children cumulated memory: 678900 KiB

[startup+25.5004 s]
/proc/loadavg: 4.78 4.43 4.30 5/254 84702
/proc/meminfo: memFree=116299284/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=1263660 memory=998240 CPUtime=25.41 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 185384 0 0 0 2485 56 0 0 20 0 1 0 72290100 1293987840 249560 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 315915 249560 2400 1147 0 303342 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1267852 KiB
Current children cumulated memory: 1001312 KiB

[startup+51.1133 s]
/proc/loadavg: 4.59 4.41 4.30 5/255 84704
/proc/meminfo: memFree=115936652/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=1487884 memory=1234140 CPUtime=50.96 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 214207 0 0 0 5008 88 0 0 20 0 1 0 72290100 1523593216 308535 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 371971 308535 2400 1147 0 359398 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1492076 KiB
Current children cumulated memory: 1237212 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.38 4.29 5/255 84706
/proc/meminfo: memFree=115127616/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=2294728 memory=1934960 CPUtime=102.01 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 350628 0 0 0 10040 161 0 0 20 0 1 0 72290100 2349801472 483740 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 573682 483740 2400 1147 0 561109 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2298920 KiB
Current children cumulated memory: 1938032 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.31 4.27 5/255 84710
/proc/meminfo: memFree=114509612/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=2655168 memory=2212928 CPUtime=161.86 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 388964 0 0 0 15981 205 0 0 20 0 1 0 72290100 2718892032 553232 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 663792 553232 2400 1147 0 651219 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2659360 KiB
Current children cumulated memory: 2216000 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.30 4.27 5/255 84712
/proc/meminfo: memFree=114199020/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=2656320 memory=2450864 CPUtime=221.71 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 420920 0 0 0 21921 250 0 0 20 0 1 0 72290100 2720071680 612716 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 664080 612716 2400 1147 0 651507 0
Current children cumulated CPU time: 221.71 s

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

/proc/loadavg: 4.13 4.12 4.16 5/256 84867
/proc/meminfo: memFree=105634432/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8304916 CPUtime=3153.74 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1520645 0 0 0 313661 1713 0 0 20 0 1 0 72290100 10922123264 2076229 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076229 2400 1147 0 2653961 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8307988 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.10 4.15 5/255 84869
/proc/meminfo: memFree=105614332/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8304916 CPUtime=3213.56 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1520913 0 0 0 319605 1751 0 0 20 0 1 0 72290100 10922123264 2076229 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076229 2400 1147 0 2653961 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8307988 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/255 84871
/proc/meminfo: memFree=105568928/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8304916 CPUtime=3273.37 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1521382 0 0 0 325552 1785 0 0 20 0 1 0 72290100 10922123264 2076229 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076229 2400 1147 0 2653961 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8307988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.14 5/255 84873
/proc/meminfo: memFree=105563840/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8305172 CPUtime=3333.18 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1521522 0 0 0 331494 1824 0 0 20 0 1 0 72290100 10922123264 2076293 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076293 2400 1147 0 2653961 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8308244 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.11 4.14 5/255 84875
/proc/meminfo: memFree=105506548/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8305172 CPUtime=3393 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1521864 0 0 0 337440 1860 0 0 20 0 1 0 72290100 10922123264 2076293 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076293 2400 1147 0 2653961 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8308244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.14 4.15 5/253 84877
/proc/meminfo: memFree=105493428/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8307732 CPUtime=3452.81 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1523204 0 0 0 343408 1873 0 0 20 0 1 0 72290100 10922123264 2076933 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076933 2400 1147 0 2653961 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8310804 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/253 84879
/proc/meminfo: memFree=105493176/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8307732 CPUtime=3512.62 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1523234 0 0 0 349356 1906 0 0 20 0 1 0 72290100 10922123264 2076933 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076933 2400 1147 0 2653961 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8310804 KiB

[startup+3582.3 s]
/proc/loadavg: 3.85 4.06 4.12 2/234 84980
/proc/meminfo: memFree=109641984/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8307732 CPUtime=3572.43 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1523609 0 0 0 355303 1940 0 0 20 0 1 0 72290100 10922123264 2076933 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076933 2400 1147 0 2653961 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8310804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 2.73 3.77 4.02 2/235 84982
/proc/meminfo: memFree=109641524/131382112 swapFree=33010160/33010684
[pid=84700] ppid=84697 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/84700/stat : 84700 (run-opt.sh) S 84697 84700 83758 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72290100 4292608 768 18446744073709551615 94088196972544 94088197867077 140731057130464 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94088198106128 94088198153872 94088198316032 140731057138029 140731057138152 140731057138152 140731057143754 0
/proc/84700/statm: 1048 768 704 219 0 110 0
[pid=84702] ppid=84700 vsize=10666136 memory=8307732 CPUtime=3600.05 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84700 84700 83758 0 -1 4194304 1524044 0 0 0 358046 1959 0 0 20 0 1 0 72290100 10922123264 2076933 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 2666534 2076933 2400 1147 0 2653961 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 10670328 KiB
Current children cumulated memory: 8310804 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.02 s]
# the end of solver process 84700 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002453 s, system=0.002466 s
Sleeping 2 seconds

[startup+3610.33 s]
# the end of solver process 84702 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3580.48 s, system=19.904 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.21 s]
/proc/loadavg: 2.73 3.77 4.02 2/234 84982
/proc/meminfo: memFree=111740072/131382112 swapFree=33010160/33010684
[pid=84702] ppid=84697 vsize=2554084 memory=2509560 CPUtime=3600.25 cores=1,3
/proc/84702/stat : 84702 (roundingsat) R 84697 84700 83758 0 -1 4194304 1524051 0 0 0 358047 1978 0 0 20 0 1 0 72290100 2615382016 627390 18446744073709551615 4227072 8923433 140731507538688 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12623872 140731507542434 140731507542568 140731507542568 140731507548138 0
/proc/84702/statm: 638521 627390 2496 1147 0 625948 0
Current cumulated CPU time of completed processes: 0.004919 s
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 2554084 KiB
Current children cumulated memory: 2509560 KiB

[startup+3610.3 s]*
/proc/loadavg: 2.73 3.77 4.02 2/234 84982
/proc/meminfo: memFree=117375412/131382112 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.004919 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.33
CPU time (s): 3600.39
CPU user time (s): 3580.48
CPU system time (s): 19.904
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 10670328
Max. memory (cumulated for all children) (KiB): 8310804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.48
system time used= 19.904
maximum resident set size= 8308116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1524272
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= 219
involuntary context switches= 2118


# summary of solver processes directly reported to runsolver:
#   pid: 84700,84702
#   total CPU time (s): 3600.39
#   total CPU user time (s): 3580.48
#   total CPU system time (s): 19.904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.401 second user time and 36.4606 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-03 20:08:23
IDJOB=4520066
IDBENCH=177684
IDSOLVER=3350
FILE ID=nodeC009/4520066-1751566103
RUNJOBID= nodeC009-1751558831-83770
SLURM_JOB_ID= 9598754
Free space on /tmp= 431200 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520066-1751566103/watcher-4520066-1751566103 -o /tmp/evaluation-result-4520066-1751566103/solver-4520066-1751566103 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751558831-83770 --watchdog 3760  run-opt.sh HOME/instance-4520066-1751566103.opb

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

MD5SUM BENCH= 0e48a521f9e70a759d0a47d941d82f86
RANDOM SEED=28429770

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.450
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 3592.830
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.232
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 3657.152
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 3627.685
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.580
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        117451448 kB
MemAvailable:   129353336 kB
Buffers:            2144 kB
Cached:         12652188 kB
SwapCached:           24 kB
Active:           964104 kB
Inactive:       12290620 kB
Active(anon):     613336 kB
Inactive(anon):     5056 kB
Active(file):     350768 kB
Inactive(file): 12285564 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8948 kB
Writeback:             0 kB
AnonPages:        603592 kB
Mapped:           117016 kB
Shmem:             17936 kB
KReclaimable:     209984 kB
Slab:             296668 kB
SReclaimable:     209984 kB
SUnreclaim:        86684 kB
KernelStack:        4080 kB
PageTables:         4420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1037072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431220 MiB
End job on nodeC009 at 2025-07-03 21:08:34