Trace number 4528937

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-07-10? (TO) 3600.04 3612.22

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM446effd89caaa2fd386cf7c17951a1a5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark239
Best CPU time to get the best result obtained on this benchmark3587.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494177
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494177
Number of bits of the biggest sum of numbers19
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 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
1.27/1.38	c [STEP] preprocessing with Papilo
3.16/3.26	c Papilo could not simplify the problem
3.16/3.26	c [STEP] solving with SCIP
303.86/305.26	c [STEP] preprocessing done, loading into solver
304.95/306.32	c [STEP] solving
304.95/306.32	c #variables 10001 #constraints 656900
304.95/306.32	c SMALL=int, LARGE=long long
304.95/306.32	d SCIPUB 883
304.95/306.32	c bounds - >= 0 @ 303.354
304.95/306.32	c stratification level: 98
757.53/760.59	c #Conflicts:       1000 | #Constraints:     657900
757.53/760.59	c #Conflicts:       2000 | #Constraints:     658900
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:       3000 | #Constraints:     658912
757.53/760.59	c #Conflicts:       4000 | #Constraints:     659912
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:       5000 | #Constraints:     659320
757.53/760.59	c #Conflicts:       6000 | #Constraints:     660320
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:       7000 | #Constraints:     659320
757.53/760.59	c #Conflicts:       8000 | #Constraints:     660320
757.53/760.59	c #Conflicts:       9000 | #Constraints:     661320
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      10000 | #Constraints:     660023
757.53/760.59	c #Conflicts:      11000 | #Constraints:     661023
757.53/760.59	c #Conflicts:      12000 | #Constraints:     662023
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      13000 | #Constraints:     660471
757.53/760.59	c #Conflicts:      14000 | #Constraints:     661471
757.53/760.59	c #Conflicts:      15000 | #Constraints:     662471
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      16000 | #Constraints:     660697
757.53/760.59	c #Conflicts:      17000 | #Constraints:     661697
757.53/760.59	c #Conflicts:      18000 | #Constraints:     662697
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      19000 | #Constraints:     660711
757.53/760.59	c #Conflicts:      20000 | #Constraints:     661711
757.53/760.59	c #Conflicts:      21000 | #Constraints:     662711
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      22000 | #Constraints:     660519
757.53/760.59	c #Conflicts:      23000 | #Constraints:     661519
757.53/760.59	c #Conflicts:      24000 | #Constraints:     662519
757.53/760.59	c #Conflicts:      25000 | #Constraints:     663519
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      26000 | #Constraints:     661125
757.53/760.59	c #Conflicts:      27000 | #Constraints:     662125
757.53/760.59	c #Conflicts:      28000 | #Constraints:     663125
757.53/760.59	c #Conflicts:      29000 | #Constraints:     664125
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      30000 | #Constraints:     661521
757.53/760.59	c #Conflicts:      31000 | #Constraints:     662521
757.53/760.59	c #Conflicts:      32000 | #Constraints:     663521
757.53/760.59	c #Conflicts:      33000 | #Constraints:     664521
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      34000 | #Constraints:     661726
757.53/760.59	c #Conflicts:      35000 | #Constraints:     662726
757.53/760.59	c #Conflicts:      36000 | #Constraints:     663726
757.53/760.59	c #Conflicts:      37000 | #Constraints:     664726
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      38000 | #Constraints:     661722
757.53/760.59	c #Conflicts:      39000 | #Constraints:     662722
757.53/760.59	c #Conflicts:      40000 | #Constraints:     663722
757.53/760.59	c #Conflicts:      41000 | #Constraints:     664722
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      42000 | #Constraints:     661528
757.53/760.59	c #Conflicts:      43000 | #Constraints:     662528
757.53/760.59	c #Conflicts:      44000 | #Constraints:     663528
757.53/760.59	c #Conflicts:      45000 | #Constraints:     664528
757.53/760.59	c #Conflicts:      46000 | #Constraints:     665528
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      47000 | #Constraints:     662127
757.53/760.59	c #Conflicts:      48000 | #Constraints:     663127
757.53/760.59	c #Conflicts:      49000 | #Constraints:     664127
757.53/760.59	c #Conflicts:      50000 | #Constraints:     665127
757.53/760.59	c #Conflicts:      51000 | #Constraints:     666127
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      52000 | #Constraints:     662529
757.53/760.59	c #Conflicts:      53000 | #Constraints:     663529
757.53/760.59	c #Conflicts:      54000 | #Constraints:     664529
757.53/760.59	c #Conflicts:      55000 | #Constraints:     665529
757.53/760.59	c #Conflicts:      56000 | #Constraints:     666529
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      57000 | #Constraints:     662726
757.53/760.59	c #Conflicts:      58000 | #Constraints:     663726
757.53/760.59	c #Conflicts:      59000 | #Constraints:     664726
757.53/760.59	c #Conflicts:      60000 | #Constraints:     665726
757.53/760.59	c #Conflicts:      61000 | #Constraints:     666726
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      62000 | #Constraints:     662728
757.53/760.59	c #Conflicts:      63000 | #Constraints:     663728
757.53/760.59	c #Conflicts:      64000 | #Constraints:     664728
757.53/760.59	c #Conflicts:      65000 | #Constraints:     665728
757.53/760.59	c #Conflicts:      66000 | #Constraints:     666728
757.53/760.59	c INPROCESSING
757.53/760.59	c GARBAGE COLLECT
757.53/760.59	c #Conflicts:      67000 | #Constraints:     662528
757.53/760.59	c #Conflicts:      68000 | #Constraints:     663528
1366.77/1371.83	c #Conflicts:      69000 | #Constraints:     664528
1366.77/1371.83	c #Conflicts:      70000 | #Constraints:     665528
1366.77/1371.83	c #Conflicts:      71000 | #Constraints:     666528
1366.77/1371.83	c #Conflicts:      72000 | #Constraints:     667528
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:      73000 | #Constraints:     663123
1366.77/1371.83	c #Conflicts:      74000 | #Constraints:     664123
1366.77/1371.83	c #Conflicts:      75000 | #Constraints:     665123
1366.77/1371.83	c #Conflicts:      76000 | #Constraints:     666123
1366.77/1371.83	c #Conflicts:      77000 | #Constraints:     667123
1366.77/1371.83	c #Conflicts:      78000 | #Constraints:     668123
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:      79000 | #Constraints:     663528
1366.77/1371.83	c #Conflicts:      80000 | #Constraints:     664528
1366.77/1371.83	c #Conflicts:      81000 | #Constraints:     665528
1366.77/1371.83	c #Conflicts:      82000 | #Constraints:     666528
1366.77/1371.83	c #Conflicts:      83000 | #Constraints:     667528
1366.77/1371.83	c #Conflicts:      84000 | #Constraints:     668528
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:      85000 | #Constraints:     663726
1366.77/1371.83	c #Conflicts:      86000 | #Constraints:     664726
1366.77/1371.83	c #Conflicts:      87000 | #Constraints:     665726
1366.77/1371.83	c #Conflicts:      88000 | #Constraints:     666726
1366.77/1371.83	c #Conflicts:      89000 | #Constraints:     667726
1366.77/1371.83	c #Conflicts:      90000 | #Constraints:     668726
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:      91000 | #Constraints:     663728
1366.77/1371.83	c #Conflicts:      92000 | #Constraints:     664728
1366.77/1371.83	c #Conflicts:      93000 | #Constraints:     665728
1366.77/1371.83	c #Conflicts:      94000 | #Constraints:     666728
1366.77/1371.83	c #Conflicts:      95000 | #Constraints:     667728
1366.77/1371.83	c #Conflicts:      96000 | #Constraints:     668728
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:      97000 | #Constraints:     663535
1366.77/1371.83	c #Conflicts:      98000 | #Constraints:     664535
1366.77/1371.83	c #Conflicts:      99000 | #Constraints:     665535
1366.77/1371.83	c #Conflicts:     100000 | #Constraints:     666535
1366.77/1371.83	c #Conflicts:     101000 | #Constraints:     667535
1366.77/1371.83	c #Conflicts:     102000 | #Constraints:     668535
1366.77/1371.83	c #Conflicts:     103000 | #Constraints:     669535
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:     104000 | #Constraints:     664125
1366.77/1371.83	c #Conflicts:     105000 | #Constraints:     665125
1366.77/1371.83	c #Conflicts:     106000 | #Constraints:     666125
1366.77/1371.83	c #Conflicts:     107000 | #Constraints:     667125
1366.77/1371.83	c #Conflicts:     108000 | #Constraints:     668125
1366.77/1371.83	c #Conflicts:     109000 | #Constraints:     669125
1366.77/1371.83	c #Conflicts:     110000 | #Constraints:     670125
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:     111000 | #Constraints:     664534
1366.77/1371.83	c #Conflicts:     112000 | #Constraints:     665534
1366.77/1371.83	c #Conflicts:     113000 | #Constraints:     666534
1366.77/1371.83	c #Conflicts:     114000 | #Constraints:     667534
1366.77/1371.83	c #Conflicts:     115000 | #Constraints:     668534
1366.77/1371.83	c #Conflicts:     116000 | #Constraints:     669534
1366.77/1371.83	c #Conflicts:     117000 | #Constraints:     670534
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:     118000 | #Constraints:     664730
1366.77/1371.83	c #Conflicts:     119000 | #Constraints:     665730
1366.77/1371.83	c #Conflicts:     120000 | #Constraints:     666730
1366.77/1371.83	c #Conflicts:     121000 | #Constraints:     667730
1366.77/1371.83	c #Conflicts:     122000 | #Constraints:     668730
1366.77/1371.83	c #Conflicts:     123000 | #Constraints:     669730
1366.77/1371.83	c #Conflicts:     124000 | #Constraints:     670730
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:     125000 | #Constraints:     664732
1366.77/1371.83	c #Conflicts:     126000 | #Constraints:     665732
1366.77/1371.83	c #Conflicts:     127000 | #Constraints:     666732
1366.77/1371.83	c #Conflicts:     128000 | #Constraints:     667732
1366.77/1371.83	c #Conflicts:     129000 | #Constraints:     668732
1366.77/1371.83	c #Conflicts:     130000 | #Constraints:     669732
1366.77/1371.83	c #Conflicts:     131000 | #Constraints:     670732
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:     132000 | #Constraints:     664525
1366.77/1371.83	c #Conflicts:     133000 | #Constraints:     665525
1366.77/1371.83	c #Conflicts:     134000 | #Constraints:     666525
1366.77/1371.83	c #Conflicts:     135000 | #Constraints:     667525
1366.77/1371.83	c #Conflicts:     136000 | #Constraints:     668525
1366.77/1371.83	c #Conflicts:     137000 | #Constraints:     669525
1366.77/1371.83	c #Conflicts:     138000 | #Constraints:     670525
1366.77/1371.83	c #Conflicts:     139000 | #Constraints:     671525
1366.77/1371.83	c INPROCESSING
1366.77/1371.83	c GARBAGE COLLECT
1366.77/1371.83	c #Conflicts:     140000 | #Constraints:     665128
2126.34/2133.96	c #Conflicts:     141000 | #Constraints:     666128
2126.34/2133.96	c #Conflicts:     142000 | #Constraints:     667128
2126.34/2133.96	c #Conflicts:     143000 | #Constraints:     668128
2126.34/2133.96	c #Conflicts:     144000 | #Constraints:     669128
2126.34/2133.96	c #Conflicts:     145000 | #Constraints:     670128
2126.34/2133.96	c #Conflicts:     146000 | #Constraints:     671128
2126.34/2133.96	c #Conflicts:     147000 | #Constraints:     672128
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     148000 | #Constraints:     665533
2126.34/2133.96	c #Conflicts:     149000 | #Constraints:     666533
2126.34/2133.96	c #Conflicts:     150000 | #Constraints:     667533
2126.34/2133.96	c #Conflicts:     151000 | #Constraints:     668533
2126.34/2133.96	c #Conflicts:     152000 | #Constraints:     669533
2126.34/2133.96	c #Conflicts:     153000 | #Constraints:     670533
2126.34/2133.96	c #Conflicts:     154000 | #Constraints:     671533
2126.34/2133.96	c #Conflicts:     155000 | #Constraints:     672533
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     156000 | #Constraints:     665734
2126.34/2133.96	c #Conflicts:     157000 | #Constraints:     666734
2126.34/2133.96	c #Conflicts:     158000 | #Constraints:     667734
2126.34/2133.96	c #Conflicts:     159000 | #Constraints:     668734
2126.34/2133.96	c #Conflicts:     160000 | #Constraints:     669734
2126.34/2133.96	c #Conflicts:     161000 | #Constraints:     670734
2126.34/2133.96	c #Conflicts:     162000 | #Constraints:     671734
2126.34/2133.96	c #Conflicts:     163000 | #Constraints:     672734
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     164000 | #Constraints:     665733
2126.34/2133.96	c #Conflicts:     165000 | #Constraints:     666733
2126.34/2133.96	c #Conflicts:     166000 | #Constraints:     667733
2126.34/2133.96	c #Conflicts:     167000 | #Constraints:     668733
2126.34/2133.96	c #Conflicts:     168000 | #Constraints:     669733
2126.34/2133.96	c #Conflicts:     169000 | #Constraints:     670733
2126.34/2133.96	c #Conflicts:     170000 | #Constraints:     671733
2126.34/2133.96	c #Conflicts:     171000 | #Constraints:     672733
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     172000 | #Constraints:     665526
2126.34/2133.96	c #Conflicts:     173000 | #Constraints:     666526
2126.34/2133.96	c #Conflicts:     174000 | #Constraints:     667526
2126.34/2133.96	c #Conflicts:     175000 | #Constraints:     668526
2126.34/2133.96	c #Conflicts:     176000 | #Constraints:     669526
2126.34/2133.96	c #Conflicts:     177000 | #Constraints:     670526
2126.34/2133.96	c #Conflicts:     178000 | #Constraints:     671526
2126.34/2133.96	c #Conflicts:     179000 | #Constraints:     672526
2126.34/2133.96	c #Conflicts:     180000 | #Constraints:     673526
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     181000 | #Constraints:     666127
2126.34/2133.96	c #Conflicts:     182000 | #Constraints:     667127
2126.34/2133.96	c #Conflicts:     183000 | #Constraints:     668127
2126.34/2133.96	c #Conflicts:     184000 | #Constraints:     669127
2126.34/2133.96	c #Conflicts:     185000 | #Constraints:     670127
2126.34/2133.96	c #Conflicts:     186000 | #Constraints:     671127
2126.34/2133.96	c #Conflicts:     187000 | #Constraints:     672127
2126.34/2133.96	c #Conflicts:     188000 | #Constraints:     673127
2126.34/2133.96	c #Conflicts:     189000 | #Constraints:     674127
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     190000 | #Constraints:     666537
2126.34/2133.96	c #Conflicts:     191000 | #Constraints:     667537
2126.34/2133.96	c #Conflicts:     192000 | #Constraints:     668537
2126.34/2133.96	c #Conflicts:     193000 | #Constraints:     669537
2126.34/2133.96	c #Conflicts:     194000 | #Constraints:     670537
2126.34/2133.96	c #Conflicts:     195000 | #Constraints:     671537
2126.34/2133.96	c #Conflicts:     196000 | #Constraints:     672537
2126.34/2133.96	c #Conflicts:     197000 | #Constraints:     673537
2126.34/2133.96	c #Conflicts:     198000 | #Constraints:     674537
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     199000 | #Constraints:     666750
2126.34/2133.96	c #Conflicts:     200000 | #Constraints:     667750
2126.34/2133.96	c #Conflicts:     201000 | #Constraints:     668750
2126.34/2133.96	c #Conflicts:     202000 | #Constraints:     669750
2126.34/2133.96	c #Conflicts:     203000 | #Constraints:     670750
2126.34/2133.96	c #Conflicts:     204000 | #Constraints:     671750
2126.34/2133.96	c #Conflicts:     205000 | #Constraints:     672750
2126.34/2133.96	c #Conflicts:     206000 | #Constraints:     673750
2126.34/2133.96	c #Conflicts:     207000 | #Constraints:     674750
2126.34/2133.96	c INPROCESSING
2126.34/2133.96	c GARBAGE COLLECT
2126.34/2133.96	c #Conflicts:     208000 | #Constraints:     666743
2126.34/2133.96	c #Conflicts:     209000 | #Constraints:     667743
2126.34/2133.96	c #Conflicts:     210000 | #Constraints:     668743
2126.34/2133.96	c #Conflicts:     211000 | #Constraints:     669743
2126.34/2133.96	c #Conflicts:     212000 | #Constraints:     670743
2126.34/2133.96	c #Conflicts:     213000 | #Constraints:     671743
2987.04/2997.38	c #Conflicts:     214000 | #Constraints:     672743
2987.04/2997.38	c #Conflicts:     215000 | #Constraints:     673743
2987.04/2997.38	c #Conflicts:     216000 | #Constraints:     674743
2987.04/2997.38	c INPROCESSING
2987.04/2997.38	c GARBAGE COLLECT
2987.04/2997.38	c #Conflicts:     217000 | #Constraints:     666546
2987.04/2997.38	c #Conflicts:     218000 | #Constraints:     667546
2987.04/2997.38	c #Conflicts:     219000 | #Constraints:     668546
2987.04/2997.38	c #Conflicts:     220000 | #Constraints:     669546
2987.04/2997.38	c #Conflicts:     221000 | #Constraints:     670546
2987.04/2997.38	c #Conflicts:     222000 | #Constraints:     671546
2987.04/2997.38	c #Conflicts:     223000 | #Constraints:     672546
2987.04/2997.38	c #Conflicts:     224000 | #Constraints:     673546
2987.04/2997.38	c #Conflicts:     225000 | #Constraints:     674546
2987.04/2997.38	c #Conflicts:     226000 | #Constraints:     675546
2987.04/2997.38	c INPROCESSING
2987.04/2997.38	c GARBAGE COLLECT
2987.04/2997.38	c #Conflicts:     227000 | #Constraints:     667169
2987.04/2997.38	c #Conflicts:     228000 | #Constraints:     668169
2987.04/2997.38	c #Conflicts:     229000 | #Constraints:     669169
2987.04/2997.38	c #Conflicts:     230000 | #Constraints:     670169
2987.04/2997.38	c #Conflicts:     231000 | #Constraints:     671169
2987.04/2997.38	c #Conflicts:     232000 | #Constraints:     672169
2987.04/2997.38	c #Conflicts:     233000 | #Constraints:     673169
2987.04/2997.38	c #Conflicts:     234000 | #Constraints:     674169
2987.04/2997.38	c #Conflicts:     235000 | #Constraints:     675169
2987.04/2997.38	c #Conflicts:     236000 | #Constraints:     676169
2987.04/2997.38	c INPROCESSING
2987.04/2997.38	c GARBAGE COLLECT
2987.04/2997.38	c #Conflicts:     237000 | #Constraints:     667551
2987.04/2997.38	c #Conflicts:     238000 | #Constraints:     668551
2987.04/2997.38	c #Conflicts:     239000 | #Constraints:     669551
2987.04/2997.38	c #Conflicts:     240000 | #Constraints:     670551
2987.04/2997.38	c #Conflicts:     241000 | #Constraints:     671551
2987.04/2997.38	c #Conflicts:     242000 | #Constraints:     672551
2987.04/2997.38	c #Conflicts:     243000 | #Constraints:     673551
2987.04/2997.38	c #Conflicts:     244000 | #Constraints:     674551
2987.04/2997.38	c #Conflicts:     245000 | #Constraints:     675551
2987.04/2997.38	c #Conflicts:     246000 | #Constraints:     676551
2987.04/2997.38	c INPROCESSING
2987.04/2997.38	c GARBAGE COLLECT
2987.04/2997.38	c #Conflicts:     247000 | #Constraints:     667752
2987.04/2997.38	c #Conflicts:     248000 | #Constraints:     668752
2987.04/2997.38	c #Conflicts:     249000 | #Constraints:     669752
2987.04/2997.38	c #Conflicts:     250000 | #Constraints:     670752
2987.04/2997.38	c #Conflicts:     251000 | #Constraints:     671752
2987.04/2997.38	c #Conflicts:     252000 | #Constraints:     672752
2987.04/2997.38	c #Conflicts:     253000 | #Constraints:     673752
2987.04/2997.38	c #Conflicts:     254000 | #Constraints:     674752
2987.04/2997.38	c #Conflicts:     255000 | #Constraints:     675752
2987.04/2997.38	c #Conflicts:     256000 | #Constraints:     676752
2987.04/2997.38	c INPROCESSING
2987.04/2997.38	c GARBAGE COLLECT
2987.04/2997.38	c #Conflicts:     257000 | #Constraints:     667739
2987.04/2997.38	c #Conflicts:     258000 | #Constraints:     668739
2987.04/2997.38	c #Conflicts:     259000 | #Constraints:     669739
2987.04/2997.38	c #Conflicts:     260000 | #Constraints:     670739
2987.04/2997.38	c #Conflicts:     261000 | #Constraints:     671739
2987.04/2997.38	c #Conflicts:     262000 | #Constraints:     672739
2987.04/2997.38	c #Conflicts:     263000 | #Constraints:     673739
2987.04/2997.38	c #Conflicts:     264000 | #Constraints:     674739
2987.04/2997.38	c #Conflicts:     265000 | #Constraints:     675739
2987.04/2997.38	c #Conflicts:     266000 | #Constraints:     676739
2987.04/2997.38	c INPROCESSING
2987.04/2997.38	c GARBAGE COLLECT
2987.04/2997.38	c #Conflicts:     267000 | #Constraints:     667543
2987.04/2997.38	c #Conflicts:     268000 | #Constraints:     668543
2987.04/2997.38	c #Conflicts:     269000 | #Constraints:     669543
2987.04/2997.38	c #Conflicts:     270000 | #Constraints:     670543
2987.04/2997.38	c #Conflicts:     271000 | #Constraints:     671543
2987.04/2997.38	c #Conflicts:     272000 | #Constraints:     672543
2987.04/2997.38	c #Conflicts:     273000 | #Constraints:     673543
2987.04/2997.38	c #Conflicts:     274000 | #Constraints:     674543
2987.04/2997.38	c #Conflicts:     275000 | #Constraints:     675543
2987.04/2997.38	c #Conflicts:     276000 | #Constraints:     676543
2987.04/2997.38	c #Conflicts:     277000 | #Constraints:     677543
2987.04/2997.38	c INPROCESSING
2987.04/2997.38	c GARBAGE COLLECT
2987.04/2997.38	c #Conflicts:     278000 | #Constraints:     668139
2987.04/2997.38	c #Conflicts:     279000 | #Constraints:     669139
2987.04/2997.38	c #Conflicts:     280000 | #Constraints:     670139
2987.04/2997.38	c #Conflicts:     281000 | #Constraints:     671139
2987.04/2997.38	c #Conflicts:     282000 | #Constraints:     672139
2987.04/2997.38	c #Conflicts:     283000 | #Constraints:     673139
2987.04/2997.38	c #Conflicts:     284000 | #Constraints:     674139
2987.04/2997.38	c #Conflicts:     285000 | #Constraints:     675139
2987.04/2997.38	c #Conflicts:     286000 | #Constraints:     676139
2987.04/2997.38	c #Conflicts:     287000 | #Constraints:     677139
2987.04/2997.38	c #Conflicts:     288000 | #Constraints:     678139
3600.01/3612.20	c INPROCESSING
3600.01/3612.20	c GARBAGE COLLECT
3600.01/3612.20	c #Conflicts:     289000 | #Constraints:     668529
3600.01/3612.20	c #Conflicts:     290000 | #Constraints:     669529
3600.01/3612.20	c #Conflicts:     291000 | #Constraints:     670529
3600.01/3612.20	c #Conflicts:     292000 | #Constraints:     671529
3600.01/3612.20	c #Conflicts:     293000 | #Constraints:     672529
3600.01/3612.20	c #Conflicts:     294000 | #Constraints:     673529
3600.01/3612.20	c #Conflicts:     295000 | #Constraints:     674529
3600.01/3612.20	c #Conflicts:     296000 | #Constraints:     675529
3600.01/3612.20	c #Conflicts:     297000 | #Constraints:     676529
3600.01/3612.20	c #Conflicts:     298000 | #Constraints:     677529
3600.01/3612.20	c #Conflicts:     299000 | #Constraints:     678529
3600.01/3612.20	c INPROCESSING
3600.01/3612.20	c GARBAGE COLLECT
3600.01/3612.20	c #Conflicts:     300000 | #Constraints:     668722
3600.01/3612.20	c #Conflicts:     301000 | #Constraints:     669722
3600.01/3612.20	c #Conflicts:     302000 | #Constraints:     670722
3600.01/3612.20	c #Conflicts:     303000 | #Constraints:     671722
3600.01/3612.20	c #Conflicts:     304000 | #Constraints:     672722
3600.01/3612.20	c #Conflicts:     305000 | #Constraints:     673722
3600.01/3612.20	c #Conflicts:     306000 | #Constraints:     674722
3600.01/3612.20	c #Conflicts:     307000 | #Constraints:     675722
3600.01/3612.20	c #Conflicts:     308000 | #Constraints:     676722
3600.01/3612.20	c #Conflicts:     309000 | #Constraints:     677722
3600.01/3612.20	c #Conflicts:     310000 | #Constraints:     678722
3600.01/3612.20	c INPROCESSING
3600.01/3612.20	c GARBAGE COLLECT
3600.01/3612.20	c #Conflicts:     311000 | #Constraints:     668734
3600.01/3612.20	c #Conflicts:     312000 | #Constraints:     669734
3600.01/3612.20	c #Conflicts:     313000 | #Constraints:     670734
3600.01/3612.20	c #Conflicts:     314000 | #Constraints:     671734
3600.01/3612.20	c #Conflicts:     315000 | #Constraints:     672734
3600.01/3612.20	c #Conflicts:     316000 | #Constraints:     673734
3600.01/3612.20	c #Conflicts:     317000 | #Constraints:     674734
3600.01/3612.20	c #Conflicts:     318000 | #Constraints:     675734
3600.01/3612.20	c #Conflicts:     319000 | #Constraints:     676734
3600.01/3612.20	c #Conflicts:     320000 | #Constraints:     677734
3600.01/3612.20	c #Conflicts:     321000 | #Constraints:     678734
3600.01/3612.20	c INPROCESSING
3600.01/3612.20	c GARBAGE COLLECT
3600.01/3612.20	c #Conflicts:     322000 | #Constraints:     668533
3600.01/3612.20	c #Conflicts:     323000 | #Constraints:     669533
3600.01/3612.20	c #Conflicts:     324000 | #Constraints:     670533
3600.01/3612.20	c #Conflicts:     325000 | #Constraints:     671533
3600.01/3612.20	c #Conflicts:     326000 | #Constraints:     672533
3600.01/3612.20	c #Conflicts:     327000 | #Constraints:     673533
3600.01/3612.20	c #Conflicts:     328000 | #Constraints:     674533
3600.01/3612.20	c #Conflicts:     329000 | #Constraints:     675533
3600.01/3612.20	c #Conflicts:     330000 | #Constraints:     676533
3600.01/3612.20	c #Conflicts:     331000 | #Constraints:     677533
3600.01/3612.20	c #Conflicts:     332000 | #Constraints:     678533
3600.01/3612.20	c #Conflicts:     333000 | #Constraints:     679533
3600.01/3612.20	c INPROCESSING
3600.01/3612.20	c GARBAGE COLLECT
3600.01/3612.20	c #Conflicts:     334000 | #Constraints:     669134
3600.01/3612.20	c #Conflicts:     335000 | #Constraints:     670134
3600.01/3612.20	c #Conflicts:     336000 | #Constraints:     671134
3600.01/3612.20	c Program interrupted by user.
3600.01/3612.20	c cpu time 3589.39 s
3600.01/3612.20	c deterministic time 758566415408 7.59e+11
3600.01/3612.20	c optimization time 34.6804 s
3600.01/3612.20	c total solve time 3251.36 s
3600.01/3612.20	c core-guided solve time 3251.36 s
3600.01/3612.20	c propagation time 2195.81 s
3600.01/3612.20	c conflict analysis time 870.887 s
3600.01/3612.20	c propagations 191348735
3600.01/3612.20	c resolve steps 2051247
3600.01/3612.20	c decisions 8966762
3600.01/3612.20	c conflicts 336688
3600.01/3612.20	c restarts 785
3600.01/3612.20	c inprocessing phases 49
3600.01/3612.20	c input clauses 656900
3600.01/3612.20	c input cardinalities 0
3600.01/3612.20	c input general constraints 1
3600.01/3612.20	c input average constraint length 2.05
3600.01/3612.20	c input average constraint degree 1.75
3600.01/3612.20	c learned clauses 32803
3600.01/3612.20	c learned cardinalities 25
3600.01/3612.20	c learned general constraints 303860
3600.01/3612.20	c learned average constraint length 6233.17
3600.01/3612.20	c learned average constraint degree 6371149.89
3600.01/3612.20	c watched constraints 2706
3600.01/3612.20	c counting constraints 301155
3600.01/3612.20	c gcd simplifications 3990
3600.01/3612.20	c detected cardinalities 0
3600.01/3612.20	c weakened non-implied lits 971747353
3600.01/3612.20	c weakened non-implying lits 81311
3600.01/3612.20	c original variables 10000
3600.01/3612.20	c clausal propagations 25245814
3600.01/3612.20	c cardinality propagations 135
3600.01/3612.20	c watched propagations 92534
3600.01/3612.20	c counting propagations 160510790
3600.01/3612.20	c watch lookups 11677251380
3600.01/3612.20	c watch backjump lookups 11662413035
3600.01/3612.20	c watch checks 1212049389
3600.01/3612.20	c propagation checks 727612508030
3600.01/3612.20	c constraint additions 6001235473
3600.01/3612.20	c trail pops 200642603
3600.01/3612.20	c formula constraints 656900
3600.01/3612.20	c learned constraints 336688
3600.01/3612.20	c bound constraints 1
3600.01/3612.20	c core-guided constraints 0
3600.01/3612.20	c encountered formula constraints 1627206
3600.01/3612.20	c encountered learned constraints 759483
3600.01/3612.20	c encountered bound constraints 1246
3600.01/3612.20	c encountered core-guided constraints 0
3600.01/3612.20	c LP total time 0 s
3600.01/3612.20	c LP solve time 0 s
3600.01/3612.20	c LP constraints added 0
3600.01/3612.20	c LP constraints removed 0
3600.01/3612.20	c LP pivots internal 0
3600.01/3612.20	c LP pivots root 0
3600.01/3612.20	c LP calls 0
3600.01/3612.20	c LP optimalities 0
3600.01/3612.20	c LP no pivot count 0
3600.01/3612.20	c LP infeasibilities 0
3600.01/3612.20	c LP valid Farkas constraints 0
3600.01/3612.20	c LP learned Farkas constraints 0
3600.01/3612.20	c LP basis resets 0
3600.01/3612.20	c LP cycling count 0
3600.01/3612.20	c LP singular count 0
3600.01/3612.20	c LP no primal count 0
3600.01/3612.20	c LP no farkas count 0
3600.01/3612.20	c LP other issue count 0
3600.01/3612.20	c LP Gomory cuts 0
3600.01/3612.20	c LP learned cuts 0
3600.01/3612.20	c LP deleted cuts 0
3600.01/3612.20	c LP encountered Gomory constraints 0
3600.01/3612.20	c LP encountered Farkas constraints 0
3600.01/3612.20	c LP encountered learned Farkas constraints 0
3600.01/3612.20	c CG auxiliary variables introduced 0
3600.01/3612.20	c CG solutions found 0
3600.01/3612.20	c CG cores constructed 0
3600.01/3612.20	c CG core cardinality constraints returned 0
3600.01/3612.20	c CG unit cores 0
3600.01/3612.20	c CG single cores 0
3600.01/3612.20	c CG blocks removed during cardinality reduction 0
3600.01/3612.20	c CG first core best 0
3600.01/3612.20	c CG decision core best 0
3600.01/3612.20	c CG core reduction tie 0
3600.01/3612.20	c CG core degree average 0.00
3600.01/3612.20	c CG core slack average 0.00
3600.01/3612.20	c CG exhausted 0
3600.01/3612.20	c CG exhaust time 0 s
3600.01/3612.20	c CG trimmed 0
3600.01/3612.20	c CG trim time 0 s
3600.01/3612.20	c CG minimized 0
3600.01/3612.20	c CG minimize time 0 s
3600.01/3612.20	c CG am1 prop time 0.00038 s
3600.01/3612.20	c CG # am1s reformulated 0
3600.01/3612.20	c CG lower bound derived from am1s 0
3600.01/3612.20	c CG # clausal cores 0
3600.01/3612.20	c CG # cardinality cores 0
3600.01/3612.20	c CG # pb cores 0
3600.01/3612.20	c CG # pb reforms 0
3600.01/3612.20	c CG # cores discarded because of pb reform 0
3600.01/3612.20	d LOWERBOUND 0
3600.01/3612.20	d NCORES 0
3600.01/3612.20	d NPBCORES 0
3600.01/3612.20	d NPBREFORM 0
3600.01/3612.20	d NTRIMMED 0
3600.01/3612.20	d NEXHAUSTED 0
3600.01/3612.20	d NAM1S 0
3600.01/3612.20	d AM1LB 0
3600.01/3612.20	c [Papilo Statistics]
3600.01/3612.20	c prepro time 1.887s
3600.01/3612.20	c # tsx applied 0
3600.01/3612.20	c # tsx conflicts 0
3600.01/3612.20	c # bound changes 0
3600.01/3612.20	c # side changes 0
3600.01/3612.20	c # coef changes 0
3600.01/3612.20	c # rounds 1
3600.01/3612.20	c # deted vars 0
3600.01/3612.20	c # deted constrs 0
3600.01/3612.20	c # consecutive rounds of only bound changes 0
3600.01/3612.21	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528937-1752257288/watcher-4528937-1752257288 -o /tmp/evaluation-result-4528937-1752257288/solver-4528937-1752257288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117732 --watchdog 3760 mixed-bag HOME/instance-4528937-1752257288.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=117768, runsolver pid=117761

[startup+0.100059 s]*
/proc/loadavg: 1.08 2.72 3.51 4/264 117783
/proc/meminfo: memFree=126528728/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=117084 memory=19520 CPUtime=0.07 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 2859 0 0 0 7 0 0 0 20 0 1 0 141403422 119894016 4880 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 29271 4880 2112 2834 0 12023 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 19520 KiB

[startup+0.204627 s]*
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126492752/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=121180 memory=25900 CPUtime=0.18 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 3421 0 0 0 17 1 0 0 20 0 1 0 141403422 124088320 6475 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 30295 6475 2112 2834 0 13047 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 121180 KiB
Current children cumulated memory: 25900 KiB

[startup+0.304526 s]*
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126469752/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=129372 memory=34260 CPUtime=0.28 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 3984 0 0 0 27 1 0 0 20 0 1 0 141403422 132476928 8565 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 32343 8565 2112 2834 0 15095 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 129372 KiB
Current children cumulated memory: 34260 KiB

[startup+0.700126 s]
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126387864/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=145756 memory=56996 CPUtime=0.67 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 4570 0 0 0 65 2 0 0 20 0 1 0 141403422 149254144 14249 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 36439 14249 2112 2834 0 19191 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 145756 KiB
Current children cumulated memory: 56996 KiB

[startup+1.50019 s]
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126226264/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=397960 memory=297416 CPUtime=1.47 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 17772 0 0 0 136 11 0 0 20 0 1 0 141403422 407511040 74354 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 99490 74354 2176 2834 0 81695 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 397960 KiB
Current children cumulated memory: 297416 KiB

[startup+3.10553 s]
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=125239376/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=435192 memory=334980 CPUtime=3.07 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 26163 0 0 0 294 13 0 0 20 0 1 0 141403422 445636608 83745 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 108798 83745 2240 2834 0 91003 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 435192 KiB
Current children cumulated memory: 334980 KiB

[startup+6.30013 s]
/proc/loadavg: 1.31 2.74 3.51 5/266 117788
/proc/meminfo: memFree=122965340/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=1115952 memory=1018468 CPUtime=6.26 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 201937 0 0 0 584 42 0 0 20 0 1 0 141403422 1142734848 254617 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 278988 254617 3936 2834 0 261193 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1115952 KiB
Current children cumulated memory: 1018468 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 2.76 3.52 5/266 117788
/proc/meminfo: memFree=121826052/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=1512596 memory=1406748 CPUtime=12.64 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 261761 0 0 0 1205 59 0 0 20 0 1 0 141403422 1548898304 351687 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 378149 351687 3968 2834 0 360354 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1512596 KiB
Current children cumulated memory: 1406748 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 2.83 3.52 5/266 117788
/proc/meminfo: memFree=118920568/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3286760 memory=2935700 CPUtime=25.38 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 279232 0 0 0 2449 89 0 0 20 0 1 0 141403422 3365642240 733925 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 821690 733925 4032 2834 0 803895 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3286760 KiB
Current children cumulated memory: 2935700 KiB

[startup+51.1055 s]
/proc/loadavg: 2.81 2.94 3.54 5/266 117789
/proc/meminfo: memFree=117442168/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3949136 memory=3569652 CPUtime=50.89 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 393377 0 0 0 4976 113 0 0 20 0 1 0 141403422 4043915264 892413 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 987284 892413 4224 2834 0 969489 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 3949136 KiB
Current children cumulated memory: 3569652 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 3.12 3.58 5/266 117791
/proc/meminfo: memFree=117415368/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3949136 memory=3574212 CPUtime=101.86 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 394036 0 0 0 10072 114 0 0 20 0 1 0 141403422 4043915264 893553 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 987284 893553 4224 2834 0 969489 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 3949136 KiB
Current children cumulated memory: 3574212 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.30 3.61 5/266 117793
/proc/meminfo: memFree=117214428/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=4136656 memory=3675068 CPUtime=161.6 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 404436 0 0 0 16043 117 0 0 20 0 1 0 141403422 4235935744 918767 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 1034164 918767 4224 2834 0 1016369 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 4136656 KiB
Current children cumulated memory: 3675068 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.44 3.64 5/265 117795
/proc/meminfo: memFree=117156628/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=4218520 memory=3689864 CPUtime=221.32 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 406010 0 0 0 22014 118 0 0 20 0 1 0 141403422 4319764480 922466 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 1054630 922466 4224 2834 0 1036835 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 4218520 KiB
Current children cumulated memory: 3689864 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.56 3.67 5/263 117797
/proc/meminfo: memFree=117128844/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=4298580 memory=3708304 CPUtime=281.06 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 407478 0 0 0 27987 119 0 0 20 0 1 0 141403422 4401745920 927076 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 1074645 927076 4224 2834 0 1056850 0
Current children cumulated CPU time: 281.06 s
Current children cumulated vsize: 4298580 KiB
Current children cumulated memory: 3708304 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.66 3.70 5/263 117890
/proc/meminfo: memFree=122100112/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=2398332 memory=2196488 CPUtime=340.83 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 412176 0 0 0 33873 210 0 0 20 0 1 0 141403422 2455891968 549122 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 599583 549122 4384 2834 0 581788 0
Current children cumulated CPU time: 340.83 s
Current children cumulated vsize: 2398332 KiB
Current children cumulated memory: 2196488 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.75 3.73 5/263 117892
/proc/meminfo: memFree=121760468/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=2398332 memory=2296096 CPUtime=400.61 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 412607 0 0 0 39825 236 0 0 20 0 1 0 141403422 2455891968 574024 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 599583 574024 4384 2834 0 581788 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 2398332 KiB
Current children cumulated memory: 2296096 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.80 3.75 5/263 117893
/proc/meminfo: memFree=121582460/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=2613256 memory=2355372 CPUtime=460.38 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 413172 0 0 0 45776 262 0 0 20 0 1 0 141403422 2675974144 588843 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 653314 588843 4384 2834 0 635519 0

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

Current children cumulated memory: 3023512 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 118003
/proc/meminfo: memFree=120073768/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3530032 memory=3035808 CPUtime=2852.46 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 422235 0 0 0 284358 888 0 0 20 0 1 0 141403422 3614752768 758952 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 882508 758952 4384 2834 0 864713 0
Current children cumulated CPU time: 2852.46 s
Current children cumulated vsize: 3530032 KiB
Current children cumulated memory: 3035808 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 118005
/proc/meminfo: memFree=120008780/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3557728 memory=3091344 CPUtime=2912.28 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 426780 0 0 0 290319 909 0 0 20 0 1 0 141403422 3643113472 772836 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 889432 772836 4384 2834 0 871637 0
Current children cumulated CPU time: 2912.28 s
Current children cumulated vsize: 3557728 KiB
Current children cumulated memory: 3091344 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 118009
/proc/meminfo: memFree=120018164/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3557728 memory=3091344 CPUtime=2972.08 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 426838 0 0 0 296284 924 0 0 20 0 1 0 141403422 3643113472 772836 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 889432 772836 4384 2834 0 871637 0
Current children cumulated CPU time: 2972.08 s
Current children cumulated vsize: 3557728 KiB
Current children cumulated memory: 3091344 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 118015
/proc/meminfo: memFree=120028268/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3571040 memory=3103824 CPUtime=3031.9 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 428875 0 0 0 302251 939 0 0 20 0 1 0 141403422 3656744960 775956 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 892760 775956 4384 2834 0 874965 0
Current children cumulated CPU time: 3031.9 s
Current children cumulated vsize: 3571040 KiB
Current children cumulated memory: 3103824 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 118017
/proc/meminfo: memFree=120027476/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3571040 memory=3103824 CPUtime=3091.71 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 428879 0 0 0 308217 954 0 0 20 0 1 0 141403422 3656744960 775956 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 892760 775956 4384 2834 0 874965 0
Current children cumulated CPU time: 3091.71 s
Current children cumulated vsize: 3571040 KiB
Current children cumulated memory: 3103824 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 118019
/proc/meminfo: memFree=119964180/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3597924 memory=3140708 CPUtime=3151.52 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 433588 0 0 0 314181 971 0 0 20 0 1 0 141403422 3684274176 785177 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 899481 785177 4384 2834 0 881686 0
Current children cumulated CPU time: 3151.52 s
Current children cumulated vsize: 3597924 KiB
Current children cumulated memory: 3140708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 118032
/proc/meminfo: memFree=119959952/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3597924 memory=3140708 CPUtime=3211.34 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 433645 0 0 0 320144 990 0 0 20 0 1 0 141403422 3684274176 785177 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 899481 785177 4384 2834 0 881686 0
Current children cumulated CPU time: 3211.34 s
Current children cumulated vsize: 3597924 KiB
Current children cumulated memory: 3140708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 118034
/proc/meminfo: memFree=119910508/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3623528 memory=3191220 CPUtime=3271.14 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 437150 0 0 0 326113 1001 0 0 20 0 1 0 141403422 3710492672 797805 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 905882 797805 4384 2834 0 888087 0
Current children cumulated CPU time: 3271.14 s
Current children cumulated vsize: 3623528 KiB
Current children cumulated memory: 3191220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.12 4.10 5/263 118036
/proc/meminfo: memFree=119891336/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3623528 memory=3191220 CPUtime=3330.95 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 437265 0 0 0 332083 1012 0 0 20 0 1 0 141403422 3710492672 797805 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 905882 797805 4384 2834 0 888087 0
Current children cumulated CPU time: 3330.95 s
Current children cumulated vsize: 3623528 KiB
Current children cumulated memory: 3191220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.16 4.11 5/263 118038
/proc/meminfo: memFree=119825964/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3667232 memory=3258112 CPUtime=3390.76 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 444389 0 0 0 338053 1023 0 0 20 0 1 0 141403422 3755245568 814528 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 916808 814528 4384 2834 0 899013 0
Current children cumulated CPU time: 3390.76 s
Current children cumulated vsize: 3667232 KiB
Current children cumulated memory: 3258112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/263 118040
/proc/meminfo: memFree=119808964/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3667232 memory=3258112 CPUtime=3450.58 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 444400 0 0 0 344025 1033 0 0 20 0 1 0 141403422 3755245568 814528 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 916808 814528 4384 2834 0 899013 0
Current children cumulated CPU time: 3450.58 s
Current children cumulated vsize: 3667232 KiB
Current children cumulated memory: 3258112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 118042
/proc/meminfo: memFree=119742588/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3667232 memory=3258112 CPUtime=3510.39 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 444420 0 0 0 350001 1038 0 0 20 0 1 0 141403422 3755245568 814528 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 916808 814528 4384 2834 0 899013 0
Current children cumulated CPU time: 3510.39 s
Current children cumulated vsize: 3667232 KiB
Current children cumulated memory: 3258112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 118046
/proc/meminfo: memFree=119624828/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3755632 memory=3373648 CPUtime=3570.2 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 456597 0 0 0 355969 1051 0 0 20 0 1 0 141403422 3845767168 843412 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 938908 843412 4384 2834 0 921113 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 3755632 KiB
Current children cumulated memory: 3373648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.11 4.12 4.10 5/259 118055
/proc/meminfo: memFree=122767272/131249992 swapFree=33009392/33010684
[pid=117768] ppid=117761 vsize=3755632 memory=3373648 CPUtime=3600.01 cores=5,7
/proc/117768/stat : 117768 (mixed-bag) R 117761 117768 117714 0 -1 4194304 457465 0 0 0 358939 1062 0 0 20 0 1 0 141403422 3845767168 843412 18446744073709551615 4235264 15840557 140721206324400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 33083392 140721206327706 140721206327783 140721206327783 140721206333387 0
/proc/117768/statm: 938908 843412 4384 2834 0 921113 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3755632 KiB
Current children cumulated memory: 3373648 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.4 s, system=10.6403 s

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

Child status: 0

Real time (s): 3612.22
CPU time (s): 3600.04
CPU user time (s): 3589.4
CPU system time (s): 10.6403
CPU usage (%): 99.6628
Max. virtual memory (cumulated for all children) (KiB): 4298580
Max. memory (cumulated for all children) (KiB): 3708304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.4
system time used= 10.6403
maximum resident set size= 3718160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457507
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= 318
involuntary context switches= 19339


# summary of solver processes directly reported to runsolver:
#   pid: 117768
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3589.4
#   total CPU system time (s): 10.6403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51511 second user time and 15.6279 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-11 20:08:09
IDJOB=4528937
IDBENCH=147564
IDSOLVER=3386
FILE ID=nodeC035/4528937-1752257288
RUNJOBID= nodeC035-1752257288-117732
SLURM_JOB_ID= 9682607
Free space on /tmp= 432480 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528937-1752257288/watcher-4528937-1752257288 -o /tmp/evaluation-result-4528937-1752257288/solver-4528937-1752257288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117732 --watchdog 3760  mixed-bag HOME/instance-4528937-1752257288.opb

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=2000578405

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126536544 kB
MemAvailable:   129659196 kB
Buffers:             664 kB
Cached:          3870380 kB
SwapCached:          332 kB
Active:           381396 kB
Inactive:        3555544 kB
Active(anon):      62568 kB
Inactive(anon):    21028 kB
Active(file):     318828 kB
Inactive(file):  3534516 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            162524 kB
Writeback:            12 kB
AnonPages:         69012 kB
Mapped:           105808 kB
Shmem:             17700 kB
KReclaimable:     217096 kB
Slab:             311216 kB
SReclaimable:     217096 kB
SUnreclaim:        94120 kB
KernelStack:        4080 kB
PageTables:         2896 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432548 MiB
End job on nodeC035 at 2025-07-11 21:08:21