Trace number 4528934

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.08 3611.03

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_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
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 benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
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 497468
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 497468
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.28/1.37	c [STEP] preprocessing with Papilo
3.17/3.21	c Papilo could not simplify the problem
3.17/3.21	c [STEP] solving with SCIP
303.83/305.22	c [STEP] preprocessing done, loading into solver
305.03/306.40	c [STEP] solving
305.03/306.40	c #variables 10001 #constraints 656900
305.03/306.40	c SMALL=int, LARGE=long long
305.03/306.40	d SCIPUB 659
305.03/306.40	c bounds - >= 0 @ 303.354
305.03/306.40	c stratification level: 98
810.63/813.45	c #Conflicts:       1000 | #Constraints:     657900
810.63/813.45	c #Conflicts:       2000 | #Constraints:     658900
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:       3000 | #Constraints:     658912
810.63/813.45	c #Conflicts:       4000 | #Constraints:     659912
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:       5000 | #Constraints:     659319
810.63/813.45	c #Conflicts:       6000 | #Constraints:     660319
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:       7000 | #Constraints:     659320
810.63/813.45	c #Conflicts:       8000 | #Constraints:     660320
810.63/813.45	c #Conflicts:       9000 | #Constraints:     661320
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      10000 | #Constraints:     660022
810.63/813.45	c #Conflicts:      11000 | #Constraints:     661022
810.63/813.45	c #Conflicts:      12000 | #Constraints:     662022
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      13000 | #Constraints:     660466
810.63/813.45	c #Conflicts:      14000 | #Constraints:     661466
810.63/813.45	c #Conflicts:      15000 | #Constraints:     662466
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      16000 | #Constraints:     660695
810.63/813.45	c #Conflicts:      17000 | #Constraints:     661695
810.63/813.45	c #Conflicts:      18000 | #Constraints:     662695
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      19000 | #Constraints:     660713
810.63/813.45	c #Conflicts:      20000 | #Constraints:     661713
810.63/813.45	c #Conflicts:      21000 | #Constraints:     662713
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      22000 | #Constraints:     660520
810.63/813.45	c #Conflicts:      23000 | #Constraints:     661520
810.63/813.45	c #Conflicts:      24000 | #Constraints:     662520
810.63/813.45	c #Conflicts:      25000 | #Constraints:     663520
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      26000 | #Constraints:     661127
810.63/813.45	c #Conflicts:      27000 | #Constraints:     662127
810.63/813.45	c #Conflicts:      28000 | #Constraints:     663127
810.63/813.45	c #Conflicts:      29000 | #Constraints:     664127
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      30000 | #Constraints:     661525
810.63/813.45	c #Conflicts:      31000 | #Constraints:     662525
810.63/813.45	c #Conflicts:      32000 | #Constraints:     663525
810.63/813.45	c #Conflicts:      33000 | #Constraints:     664525
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      34000 | #Constraints:     661724
810.63/813.45	c #Conflicts:      35000 | #Constraints:     662724
810.63/813.45	c #Conflicts:      36000 | #Constraints:     663724
810.63/813.45	c #Conflicts:      37000 | #Constraints:     664724
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      38000 | #Constraints:     661728
810.63/813.45	c #Conflicts:      39000 | #Constraints:     662728
810.63/813.45	c #Conflicts:      40000 | #Constraints:     663728
810.63/813.45	c #Conflicts:      41000 | #Constraints:     664728
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      42000 | #Constraints:     661527
810.63/813.45	c #Conflicts:      43000 | #Constraints:     662527
810.63/813.45	c #Conflicts:      44000 | #Constraints:     663527
810.63/813.45	c #Conflicts:      45000 | #Constraints:     664527
810.63/813.45	c #Conflicts:      46000 | #Constraints:     665527
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      47000 | #Constraints:     662126
810.63/813.45	c #Conflicts:      48000 | #Constraints:     663126
810.63/813.45	c #Conflicts:      49000 | #Constraints:     664126
810.63/813.45	c #Conflicts:      50000 | #Constraints:     665126
810.63/813.45	c #Conflicts:      51000 | #Constraints:     666126
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      52000 | #Constraints:     662531
810.63/813.45	c #Conflicts:      53000 | #Constraints:     663531
810.63/813.45	c #Conflicts:      54000 | #Constraints:     664531
810.63/813.45	c #Conflicts:      55000 | #Constraints:     665531
810.63/813.45	c #Conflicts:      56000 | #Constraints:     666531
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      57000 | #Constraints:     662724
810.63/813.45	c #Conflicts:      58000 | #Constraints:     663724
810.63/813.45	c #Conflicts:      59000 | #Constraints:     664724
810.63/813.45	c #Conflicts:      60000 | #Constraints:     665724
810.63/813.45	c #Conflicts:      61000 | #Constraints:     666724
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      62000 | #Constraints:     662726
810.63/813.45	c #Conflicts:      63000 | #Constraints:     663726
810.63/813.45	c #Conflicts:      64000 | #Constraints:     664726
810.63/813.45	c #Conflicts:      65000 | #Constraints:     665726
810.63/813.45	c #Conflicts:      66000 | #Constraints:     666726
810.63/813.45	c INPROCESSING
810.63/813.45	c GARBAGE COLLECT
810.63/813.45	c #Conflicts:      67000 | #Constraints:     662529
810.63/813.45	c #Conflicts:      68000 | #Constraints:     663529
1520.80/1525.57	c #Conflicts:      69000 | #Constraints:     664529
1520.80/1525.57	c #Conflicts:      70000 | #Constraints:     665529
1520.80/1525.57	c #Conflicts:      71000 | #Constraints:     666529
1520.80/1525.57	c #Conflicts:      72000 | #Constraints:     667529
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:      73000 | #Constraints:     663123
1520.80/1525.57	c #Conflicts:      74000 | #Constraints:     664123
1520.80/1525.57	c #Conflicts:      75000 | #Constraints:     665123
1520.80/1525.57	c #Conflicts:      76000 | #Constraints:     666123
1520.80/1525.57	c #Conflicts:      77000 | #Constraints:     667123
1520.80/1525.57	c #Conflicts:      78000 | #Constraints:     668123
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:      79000 | #Constraints:     663534
1520.80/1525.57	c #Conflicts:      80000 | #Constraints:     664534
1520.80/1525.57	c #Conflicts:      81000 | #Constraints:     665534
1520.80/1525.57	c #Conflicts:      82000 | #Constraints:     666534
1520.80/1525.57	c #Conflicts:      83000 | #Constraints:     667534
1520.80/1525.57	c #Conflicts:      84000 | #Constraints:     668534
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:      85000 | #Constraints:     663735
1520.80/1525.57	c #Conflicts:      86000 | #Constraints:     664735
1520.80/1525.57	c #Conflicts:      87000 | #Constraints:     665735
1520.80/1525.57	c #Conflicts:      88000 | #Constraints:     666735
1520.80/1525.57	c #Conflicts:      89000 | #Constraints:     667735
1520.80/1525.57	c #Conflicts:      90000 | #Constraints:     668735
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:      91000 | #Constraints:     663739
1520.80/1525.57	c #Conflicts:      92000 | #Constraints:     664739
1520.80/1525.57	c #Conflicts:      93000 | #Constraints:     665739
1520.80/1525.57	c #Conflicts:      94000 | #Constraints:     666739
1520.80/1525.57	c #Conflicts:      95000 | #Constraints:     667739
1520.80/1525.57	c #Conflicts:      96000 | #Constraints:     668739
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:      97000 | #Constraints:     663545
1520.80/1525.57	c #Conflicts:      98000 | #Constraints:     664545
1520.80/1525.57	c #Conflicts:      99000 | #Constraints:     665545
1520.80/1525.57	c #Conflicts:     100000 | #Constraints:     666545
1520.80/1525.57	c #Conflicts:     101000 | #Constraints:     667545
1520.80/1525.57	c #Conflicts:     102000 | #Constraints:     668545
1520.80/1525.57	c #Conflicts:     103000 | #Constraints:     669545
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:     104000 | #Constraints:     664133
1520.80/1525.57	c #Conflicts:     105000 | #Constraints:     665133
1520.80/1525.57	c #Conflicts:     106000 | #Constraints:     666133
1520.80/1525.57	c #Conflicts:     107000 | #Constraints:     667133
1520.80/1525.57	c #Conflicts:     108000 | #Constraints:     668133
1520.80/1525.57	c #Conflicts:     109000 | #Constraints:     669133
1520.80/1525.57	c #Conflicts:     110000 | #Constraints:     670133
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:     111000 | #Constraints:     664533
1520.80/1525.57	c #Conflicts:     112000 | #Constraints:     665533
1520.80/1525.57	c #Conflicts:     113000 | #Constraints:     666533
1520.80/1525.57	c #Conflicts:     114000 | #Constraints:     667533
1520.80/1525.57	c #Conflicts:     115000 | #Constraints:     668533
1520.80/1525.57	c #Conflicts:     116000 | #Constraints:     669533
1520.80/1525.57	c #Conflicts:     117000 | #Constraints:     670533
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:     118000 | #Constraints:     664733
1520.80/1525.57	c #Conflicts:     119000 | #Constraints:     665733
1520.80/1525.57	c #Conflicts:     120000 | #Constraints:     666733
1520.80/1525.57	c #Conflicts:     121000 | #Constraints:     667733
1520.80/1525.57	c #Conflicts:     122000 | #Constraints:     668733
1520.80/1525.57	c #Conflicts:     123000 | #Constraints:     669733
1520.80/1525.57	c #Conflicts:     124000 | #Constraints:     670733
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:     125000 | #Constraints:     664730
1520.80/1525.57	c #Conflicts:     126000 | #Constraints:     665730
1520.80/1525.57	c #Conflicts:     127000 | #Constraints:     666730
1520.80/1525.57	c #Conflicts:     128000 | #Constraints:     667730
1520.80/1525.57	c #Conflicts:     129000 | #Constraints:     668730
1520.80/1525.57	c #Conflicts:     130000 | #Constraints:     669730
1520.80/1525.57	c #Conflicts:     131000 | #Constraints:     670730
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:     132000 | #Constraints:     664524
1520.80/1525.57	c #Conflicts:     133000 | #Constraints:     665524
1520.80/1525.57	c #Conflicts:     134000 | #Constraints:     666524
1520.80/1525.57	c #Conflicts:     135000 | #Constraints:     667524
1520.80/1525.57	c #Conflicts:     136000 | #Constraints:     668524
1520.80/1525.57	c #Conflicts:     137000 | #Constraints:     669524
1520.80/1525.57	c #Conflicts:     138000 | #Constraints:     670524
1520.80/1525.57	c #Conflicts:     139000 | #Constraints:     671524
1520.80/1525.57	c INPROCESSING
1520.80/1525.57	c GARBAGE COLLECT
1520.80/1525.57	c #Conflicts:     140000 | #Constraints:     665131
2367.81/2374.99	c #Conflicts:     141000 | #Constraints:     666131
2367.81/2374.99	c #Conflicts:     142000 | #Constraints:     667131
2367.81/2374.99	c #Conflicts:     143000 | #Constraints:     668131
2367.81/2374.99	c #Conflicts:     144000 | #Constraints:     669131
2367.81/2374.99	c #Conflicts:     145000 | #Constraints:     670131
2367.81/2374.99	c #Conflicts:     146000 | #Constraints:     671131
2367.81/2374.99	c #Conflicts:     147000 | #Constraints:     672131
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     148000 | #Constraints:     665544
2367.81/2374.99	c #Conflicts:     149000 | #Constraints:     666544
2367.81/2374.99	c #Conflicts:     150000 | #Constraints:     667544
2367.81/2374.99	c #Conflicts:     151000 | #Constraints:     668544
2367.81/2374.99	c #Conflicts:     152000 | #Constraints:     669544
2367.81/2374.99	c #Conflicts:     153000 | #Constraints:     670544
2367.81/2374.99	c #Conflicts:     154000 | #Constraints:     671544
2367.81/2374.99	c #Conflicts:     155000 | #Constraints:     672544
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     156000 | #Constraints:     665742
2367.81/2374.99	c #Conflicts:     157000 | #Constraints:     666742
2367.81/2374.99	c #Conflicts:     158000 | #Constraints:     667742
2367.81/2374.99	c #Conflicts:     159000 | #Constraints:     668742
2367.81/2374.99	c #Conflicts:     160000 | #Constraints:     669742
2367.81/2374.99	c #Conflicts:     161000 | #Constraints:     670742
2367.81/2374.99	c #Conflicts:     162000 | #Constraints:     671742
2367.81/2374.99	c #Conflicts:     163000 | #Constraints:     672742
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     164000 | #Constraints:     665736
2367.81/2374.99	c #Conflicts:     165000 | #Constraints:     666736
2367.81/2374.99	c #Conflicts:     166000 | #Constraints:     667736
2367.81/2374.99	c #Conflicts:     167000 | #Constraints:     668736
2367.81/2374.99	c #Conflicts:     168000 | #Constraints:     669736
2367.81/2374.99	c #Conflicts:     169000 | #Constraints:     670736
2367.81/2374.99	c #Conflicts:     170000 | #Constraints:     671736
2367.81/2374.99	c #Conflicts:     171000 | #Constraints:     672736
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     172000 | #Constraints:     665539
2367.81/2374.99	c #Conflicts:     173000 | #Constraints:     666539
2367.81/2374.99	c #Conflicts:     174000 | #Constraints:     667539
2367.81/2374.99	c #Conflicts:     175000 | #Constraints:     668539
2367.81/2374.99	c #Conflicts:     176000 | #Constraints:     669539
2367.81/2374.99	c #Conflicts:     177000 | #Constraints:     670539
2367.81/2374.99	c #Conflicts:     178000 | #Constraints:     671539
2367.81/2374.99	c #Conflicts:     179000 | #Constraints:     672539
2367.81/2374.99	c #Conflicts:     180000 | #Constraints:     673539
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     181000 | #Constraints:     666139
2367.81/2374.99	c #Conflicts:     182000 | #Constraints:     667139
2367.81/2374.99	c #Conflicts:     183000 | #Constraints:     668139
2367.81/2374.99	c #Conflicts:     184000 | #Constraints:     669139
2367.81/2374.99	c #Conflicts:     185000 | #Constraints:     670139
2367.81/2374.99	c #Conflicts:     186000 | #Constraints:     671139
2367.81/2374.99	c #Conflicts:     187000 | #Constraints:     672139
2367.81/2374.99	c #Conflicts:     188000 | #Constraints:     673139
2367.81/2374.99	c #Conflicts:     189000 | #Constraints:     674139
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     190000 | #Constraints:     666548
2367.81/2374.99	c #Conflicts:     191000 | #Constraints:     667548
2367.81/2374.99	c #Conflicts:     192000 | #Constraints:     668548
2367.81/2374.99	c #Conflicts:     193000 | #Constraints:     669548
2367.81/2374.99	c #Conflicts:     194000 | #Constraints:     670548
2367.81/2374.99	c #Conflicts:     195000 | #Constraints:     671548
2367.81/2374.99	c #Conflicts:     196000 | #Constraints:     672548
2367.81/2374.99	c #Conflicts:     197000 | #Constraints:     673548
2367.81/2374.99	c #Conflicts:     198000 | #Constraints:     674548
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     199000 | #Constraints:     666755
2367.81/2374.99	c #Conflicts:     200000 | #Constraints:     667755
2367.81/2374.99	c #Conflicts:     201000 | #Constraints:     668755
2367.81/2374.99	c #Conflicts:     202000 | #Constraints:     669755
2367.81/2374.99	c #Conflicts:     203000 | #Constraints:     670755
2367.81/2374.99	c #Conflicts:     204000 | #Constraints:     671755
2367.81/2374.99	c #Conflicts:     205000 | #Constraints:     672755
2367.81/2374.99	c #Conflicts:     206000 | #Constraints:     673755
2367.81/2374.99	c #Conflicts:     207000 | #Constraints:     674755
2367.81/2374.99	c INPROCESSING
2367.81/2374.99	c GARBAGE COLLECT
2367.81/2374.99	c #Conflicts:     208000 | #Constraints:     666754
2367.81/2374.99	c #Conflicts:     209000 | #Constraints:     667754
2367.81/2374.99	c #Conflicts:     210000 | #Constraints:     668754
2367.81/2374.99	c #Conflicts:     211000 | #Constraints:     669754
2367.81/2374.99	c #Conflicts:     212000 | #Constraints:     670754
2367.81/2374.99	c #Conflicts:     213000 | #Constraints:     671754
3462.58/3473.15	c #Conflicts:     214000 | #Constraints:     672754
3462.58/3473.15	c #Conflicts:     215000 | #Constraints:     673754
3462.58/3473.15	c #Conflicts:     216000 | #Constraints:     674754
3462.58/3473.15	c INPROCESSING
3462.58/3473.15	c GARBAGE COLLECT
3462.58/3473.15	c #Conflicts:     217000 | #Constraints:     666552
3462.58/3473.15	c #Conflicts:     218000 | #Constraints:     667552
3462.58/3473.15	c #Conflicts:     219000 | #Constraints:     668552
3462.58/3473.15	c #Conflicts:     220000 | #Constraints:     669552
3462.58/3473.15	c #Conflicts:     221000 | #Constraints:     670552
3462.58/3473.15	c #Conflicts:     222000 | #Constraints:     671552
3462.58/3473.15	c #Conflicts:     223000 | #Constraints:     672552
3462.58/3473.15	c #Conflicts:     224000 | #Constraints:     673552
3462.58/3473.15	c #Conflicts:     225000 | #Constraints:     674552
3462.58/3473.15	c #Conflicts:     226000 | #Constraints:     675552
3462.58/3473.15	c INPROCESSING
3462.58/3473.15	c GARBAGE COLLECT
3462.58/3473.15	c #Conflicts:     227000 | #Constraints:     667146
3462.58/3473.15	c #Conflicts:     228000 | #Constraints:     668146
3462.58/3473.15	c #Conflicts:     229000 | #Constraints:     669146
3462.58/3473.15	c #Conflicts:     230000 | #Constraints:     670146
3462.58/3473.15	c #Conflicts:     231000 | #Constraints:     671146
3462.58/3473.15	c #Conflicts:     232000 | #Constraints:     672146
3462.58/3473.15	c #Conflicts:     233000 | #Constraints:     673146
3462.58/3473.15	c #Conflicts:     234000 | #Constraints:     674146
3462.58/3473.15	c #Conflicts:     235000 | #Constraints:     675146
3462.58/3473.15	c #Conflicts:     236000 | #Constraints:     676146
3462.58/3473.15	c INPROCESSING
3462.58/3473.15	c GARBAGE COLLECT
3462.58/3473.15	c #Conflicts:     237000 | #Constraints:     667548
3462.58/3473.15	c #Conflicts:     238000 | #Constraints:     668548
3462.58/3473.15	c #Conflicts:     239000 | #Constraints:     669548
3462.58/3473.15	c #Conflicts:     240000 | #Constraints:     670548
3462.58/3473.15	c #Conflicts:     241000 | #Constraints:     671548
3462.58/3473.15	c #Conflicts:     242000 | #Constraints:     672548
3462.58/3473.15	c #Conflicts:     243000 | #Constraints:     673548
3462.58/3473.15	c #Conflicts:     244000 | #Constraints:     674548
3462.58/3473.15	c #Conflicts:     245000 | #Constraints:     675548
3462.58/3473.15	c #Conflicts:     246000 | #Constraints:     676548
3462.58/3473.15	c INPROCESSING
3462.58/3473.15	c GARBAGE COLLECT
3462.58/3473.15	c #Conflicts:     247000 | #Constraints:     667751
3462.58/3473.15	c #Conflicts:     248000 | #Constraints:     668751
3462.58/3473.15	c #Conflicts:     249000 | #Constraints:     669751
3462.58/3473.15	c #Conflicts:     250000 | #Constraints:     670751
3462.58/3473.15	c #Conflicts:     251000 | #Constraints:     671751
3462.58/3473.15	c #Conflicts:     252000 | #Constraints:     672751
3462.58/3473.15	c #Conflicts:     253000 | #Constraints:     673751
3462.58/3473.15	c #Conflicts:     254000 | #Constraints:     674751
3462.58/3473.15	c #Conflicts:     255000 | #Constraints:     675751
3462.58/3473.15	c #Conflicts:     256000 | #Constraints:     676751
3462.58/3473.15	c INPROCESSING
3462.58/3473.15	c GARBAGE COLLECT
3462.58/3473.15	c #Conflicts:     257000 | #Constraints:     667736
3462.58/3473.15	c #Conflicts:     258000 | #Constraints:     668736
3462.58/3473.15	c #Conflicts:     259000 | #Constraints:     669736
3462.58/3473.15	c #Conflicts:     260000 | #Constraints:     670736
3462.58/3473.15	c #Conflicts:     261000 | #Constraints:     671736
3462.58/3473.15	c #Conflicts:     262000 | #Constraints:     672736
3462.58/3473.15	c #Conflicts:     263000 | #Constraints:     673736
3462.58/3473.15	c #Conflicts:     264000 | #Constraints:     674736
3462.58/3473.15	c #Conflicts:     265000 | #Constraints:     675736
3462.58/3473.15	c #Conflicts:     266000 | #Constraints:     676736
3462.58/3473.15	c INPROCESSING
3462.58/3473.15	c GARBAGE COLLECT
3462.58/3473.15	c #Conflicts:     267000 | #Constraints:     667539
3462.58/3473.15	c #Conflicts:     268000 | #Constraints:     668539
3462.58/3473.15	c #Conflicts:     269000 | #Constraints:     669539
3462.58/3473.15	c #Conflicts:     270000 | #Constraints:     670539
3462.58/3473.15	c #Conflicts:     271000 | #Constraints:     671539
3462.58/3473.15	c #Conflicts:     272000 | #Constraints:     672539
3462.58/3473.15	c #Conflicts:     273000 | #Constraints:     673539
3462.58/3473.15	c #Conflicts:     274000 | #Constraints:     674539
3462.58/3473.15	c #Conflicts:     275000 | #Constraints:     675539
3462.58/3473.15	c #Conflicts:     276000 | #Constraints:     676539
3462.58/3473.15	c #Conflicts:     277000 | #Constraints:     677539
3462.58/3473.15	c INPROCESSING
3462.58/3473.15	c GARBAGE COLLECT
3462.58/3473.15	c #Conflicts:     278000 | #Constraints:     668134
3462.58/3473.15	c #Conflicts:     279000 | #Constraints:     669134
3462.58/3473.15	c #Conflicts:     280000 | #Constraints:     670134
3462.58/3473.15	c #Conflicts:     281000 | #Constraints:     671134
3462.58/3473.15	c #Conflicts:     282000 | #Constraints:     672134
3462.58/3473.15	c #Conflicts:     283000 | #Constraints:     673134
3462.58/3473.15	c #Conflicts:     284000 | #Constraints:     674134
3462.58/3473.15	c #Conflicts:     285000 | #Constraints:     675134
3462.58/3473.15	c #Conflicts:     286000 | #Constraints:     676134
3462.58/3473.15	c #Conflicts:     287000 | #Constraints:     677134
3462.58/3473.15	c #Conflicts:     288000 | #Constraints:     678134
3600.04/3611.00	c INPROCESSING
3600.04/3611.00	c GARBAGE COLLECT
3600.04/3611.00	c #Conflicts:     289000 | #Constraints:     668537
3600.04/3611.00	c #Conflicts:     290000 | #Constraints:     669537
3600.04/3611.00	c #Conflicts:     291000 | #Constraints:     670537
3600.04/3611.00	c #Conflicts:     292000 | #Constraints:     671537
3600.04/3611.00	c #Conflicts:     293000 | #Constraints:     672537
3600.04/3611.00	c #Conflicts:     294000 | #Constraints:     673537
3600.04/3611.00	c #Conflicts:     295000 | #Constraints:     674537
3600.04/3611.00	c #Conflicts:     296000 | #Constraints:     675537
3600.04/3611.00	c #Conflicts:     297000 | #Constraints:     676537
3600.04/3611.00	c Program interrupted by user.
3600.04/3611.00	c cpu time 3589.88 s
3600.04/3611.00	c deterministic time 960243478244 9.60e+11
3600.04/3611.00	c optimization time 134.225 s
3600.04/3611.00	c total solve time 3152.3 s
3600.04/3611.00	c core-guided solve time 3152.3 s
3600.04/3611.00	c propagation time 2359.24 s
3600.04/3611.00	c conflict analysis time 747.392 s
3600.04/3611.00	c propagations 160359099
3600.04/3611.00	c resolve steps 1945672
3600.04/3611.00	c decisions 8846084
3600.04/3611.00	c conflicts 297244
3600.04/3611.00	c restarts 715
3600.04/3611.00	c inprocessing phases 45
3600.04/3611.00	c input clauses 656900
3600.04/3611.00	c input cardinalities 0
3600.04/3611.00	c input general constraints 1
3600.04/3611.00	c input average constraint length 2.05
3600.04/3611.00	c input average constraint degree 1.76
3600.04/3611.00	c learned clauses 29291
3600.04/3611.00	c learned cardinalities 10
3600.04/3611.00	c learned general constraints 267942
3600.04/3611.00	c learned average constraint length 6333.20
3600.04/3611.00	c learned average constraint degree 40836712.66
3600.04/3611.00	c watched constraints 2088
3600.04/3611.00	c counting constraints 265855
3600.04/3611.00	c gcd simplifications 2245
3600.04/3611.00	c detected cardinalities 0
3600.04/3611.00	c weakened non-implied lits 840709288
3600.04/3611.00	c weakened non-implying lits 81976
3600.04/3611.00	c original variables 10000
3600.04/3611.00	c clausal propagations 23191028
3600.04/3611.00	c cardinality propagations 1
3600.04/3611.00	c watched propagations 95002
3600.04/3611.00	c counting propagations 132643082
3600.04/3611.00	c watch lookups 9138571809
3600.04/3611.00	c watch backjump lookups 9125114129
3600.04/3611.00	c watch checks 1147522832
3600.04/3611.00	c propagation checks 935387448695
3600.04/3611.00	c constraint additions 5106123008
3600.04/3611.00	c trail pops 169492587
3600.04/3611.00	c formula constraints 656900
3600.04/3611.00	c learned constraints 297243
3600.04/3611.00	c bound constraints 1
3600.04/3611.00	c core-guided constraints 0
3600.04/3611.00	c encountered formula constraints 1599916
3600.04/3611.00	c encountered learned constraints 641910
3600.04/3611.00	c encountered bound constraints 1090
3600.04/3611.00	c encountered core-guided constraints 0
3600.04/3611.00	c LP total time 0 s
3600.04/3611.00	c LP solve time 0 s
3600.04/3611.00	c LP constraints added 0
3600.04/3611.00	c LP constraints removed 0
3600.04/3611.00	c LP pivots internal 0
3600.04/3611.00	c LP pivots root 0
3600.04/3611.00	c LP calls 0
3600.04/3611.00	c LP optimalities 0
3600.04/3611.00	c LP no pivot count 0
3600.04/3611.00	c LP infeasibilities 0
3600.04/3611.00	c LP valid Farkas constraints 0
3600.04/3611.00	c LP learned Farkas constraints 0
3600.04/3611.00	c LP basis resets 0
3600.04/3611.00	c LP cycling count 0
3600.04/3611.00	c LP singular count 0
3600.04/3611.00	c LP no primal count 0
3600.04/3611.00	c LP no farkas count 0
3600.04/3611.00	c LP other issue count 0
3600.04/3611.00	c LP Gomory cuts 0
3600.04/3611.00	c LP learned cuts 0
3600.04/3611.00	c LP deleted cuts 0
3600.04/3611.00	c LP encountered Gomory constraints 0
3600.04/3611.00	c LP encountered Farkas constraints 0
3600.04/3611.00	c LP encountered learned Farkas constraints 0
3600.04/3611.00	c CG auxiliary variables introduced 0
3600.04/3611.00	c CG solutions found 0
3600.04/3611.00	c CG cores constructed 0
3600.04/3611.00	c CG core cardinality constraints returned 0
3600.04/3611.00	c CG unit cores 0
3600.04/3611.00	c CG single cores 0
3600.04/3611.00	c CG blocks removed during cardinality reduction 0
3600.04/3611.00	c CG first core best 0
3600.04/3611.00	c CG decision core best 0
3600.04/3611.00	c CG core reduction tie 0
3600.04/3611.00	c CG core degree average 0.00
3600.04/3611.00	c CG core slack average 0.00
3600.04/3611.00	c CG exhausted 0
3600.04/3611.00	c CG exhaust time 0 s
3600.04/3611.00	c CG trimmed 0
3600.04/3611.00	c CG trim time 0 s
3600.04/3611.00	c CG minimized 0
3600.04/3611.00	c CG minimize time 0 s
3600.04/3611.00	c CG am1 prop time 0.000356 s
3600.04/3611.00	c CG # am1s reformulated 0
3600.04/3611.00	c CG lower bound derived from am1s 0
3600.04/3611.00	c CG # clausal cores 0
3600.04/3611.00	c CG # cardinality cores 0
3600.04/3611.00	c CG # pb cores 0
3600.04/3611.00	c CG # pb reforms 0
3600.04/3611.00	c CG # cores discarded because of pb reform 0
3600.04/3611.00	d LOWERBOUND 0
3600.04/3611.00	d NCORES 0
3600.04/3611.00	d NPBCORES 0
3600.04/3611.00	d NPBREFORM 0
3600.04/3611.00	d NTRIMMED 0
3600.04/3611.00	d NEXHAUSTED 0
3600.04/3611.00	d NAM1S 0
3600.04/3611.00	d AM1LB 0
3600.04/3611.00	c [Papilo Statistics]
3600.04/3611.00	c prepro time 1.83858s
3600.04/3611.00	c # tsx applied 0
3600.04/3611.00	c # tsx conflicts 0
3600.04/3611.00	c # bound changes 0
3600.04/3611.00	c # side changes 0
3600.04/3611.00	c # coef changes 0
3600.04/3611.00	c # rounds 1
3600.04/3611.00	c # deted vars 0
3600.04/3611.00	c # deted constrs 0
3600.04/3611.00	c # consecutive rounds of only bound changes 0
3600.04/3611.01	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-4528934-1752257289/watcher-4528934-1752257289 -o /tmp/evaluation-result-4528934-1752257289/solver-4528934-1752257289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117731 --watchdog 3760 mixed-bag HOME/instance-4528934-1752257289.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100059 s]*
/proc/loadavg: 1.08 2.72 3.51 4/264 117783
/proc/meminfo: memFree=126530492/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=117084 memory=19780 CPUtime=0.08 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 2912 0 0 0 8 0 0 0 20 0 1 0 141403421 119894016 4945 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 29271 4945 2112 2834 0 12023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 19780 KiB

[startup+0.205683 s]*
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126492496/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=121180 memory=26160 CPUtime=0.18 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 3496 0 0 0 18 0 0 0 20 0 1 0 141403421 124088320 6540 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 30295 6540 2112 2834 0 13047 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 121180 KiB
Current children cumulated memory: 26160 KiB

[startup+0.30554 s]*
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126469752/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=129372 memory=34304 CPUtime=0.29 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 3986 0 0 0 28 1 0 0 20 0 1 0 141403421 132476928 8576 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 32343 8576 2112 2834 0 15095 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 129372 KiB
Current children cumulated memory: 34304 KiB

[startup+0.700164 s]
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126387864/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=145756 memory=57040 CPUtime=0.68 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 4571 0 0 0 66 2 0 0 20 0 1 0 141403421 149254144 14260 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 36439 14260 2112 2834 0 19191 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145756 KiB
Current children cumulated memory: 57040 KiB

[startup+1.50017 s]
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=126226264/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=397960 memory=297588 CPUtime=1.47 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 18795 0 0 0 136 11 0 0 20 0 1 0 141403421 407511040 74397 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 99490 74397 2208 2834 0 81695 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 397960 KiB
Current children cumulated memory: 297588 KiB

[startup+3.10563 s]
/proc/loadavg: 1.08 2.72 3.51 5/266 117788
/proc/meminfo: memFree=125239376/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=435192 memory=335116 CPUtime=3.07 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 27185 0 0 0 294 13 0 0 20 0 1 0 141403421 445636608 83779 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 108798 83779 2272 2834 0 91003 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 435192 KiB
Current children cumulated memory: 335116 KiB

[startup+6.30016 s]
/proc/loadavg: 1.31 2.74 3.51 5/266 117788
/proc/meminfo: memFree=122965340/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=1115952 memory=1019140 CPUtime=6.26 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 202582 0 0 0 583 43 0 0 20 0 1 0 141403421 1142734848 254785 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 278988 254785 3968 2834 0 261193 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1115952 KiB
Current children cumulated memory: 1019140 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=117764] ppid=117760 vsize=1512596 memory=1406392 CPUtime=12.63 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 263164 0 0 0 1202 61 0 0 20 0 1 0 141403421 1548898304 351598 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 378149 351598 4000 2834 0 360354 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1512596 KiB
Current children cumulated memory: 1406392 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=117764] ppid=117760 vsize=3359700 memory=2984552 CPUtime=25.38 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 286801 0 0 0 2445 93 0 0 20 0 1 0 141403421 3440332800 746138 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 839925 746138 4064 2834 0 822130 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 3359700 KiB
Current children cumulated memory: 2984552 KiB

[startup+51.1057 s]
/proc/loadavg: 2.81 2.94 3.54 5/266 117789
/proc/meminfo: memFree=117442168/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=3917760 memory=3548512 CPUtime=50.88 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 394049 0 0 0 4972 116 0 0 20 0 1 0 141403421 4011786240 887128 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 979440 887128 4256 2834 0 961645 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 3917760 KiB
Current children cumulated memory: 3548512 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=117764] ppid=117760 vsize=3944584 memory=3568672 CPUtime=101.81 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 396044 0 0 0 10064 117 0 0 20 0 1 0 141403421 4039254016 892168 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 986146 892168 4256 2834 0 968351 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 3944584 KiB
Current children cumulated memory: 3568672 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=117764] ppid=117760 vsize=4137312 memory=3669340 CPUtime=161.54 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 406227 0 0 0 16034 120 0 0 20 0 1 0 141403421 4236607488 917335 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 1034328 917335 4256 2834 0 1016533 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 4137312 KiB
Current children cumulated memory: 3669340 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=117764] ppid=117760 vsize=4222176 memory=3691684 CPUtime=221.27 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 409096 0 0 0 22004 123 0 0 20 0 1 0 141403421 4323508224 922921 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 1055544 922921 4256 2834 0 1037749 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 4222176 KiB
Current children cumulated memory: 3691684 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=117764] ppid=117760 vsize=4222176 memory=3691684 CPUtime=281.03 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 409099 0 0 0 27980 123 0 0 20 0 1 0 141403421 4323508224 922921 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 1055544 922921 4256 2834 0 1037749 0
Current children cumulated CPU time: 281.03 s
Current children cumulated vsize: 4222176 KiB
Current children cumulated memory: 3691684 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=117764] ppid=117760 vsize=2379756 memory=2170556 CPUtime=340.83 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 414551 0 0 0 33866 217 0 0 20 0 1 0 141403421 2436870144 542639 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 594939 542639 4416 2834 0 577144 0
Current children cumulated CPU time: 340.83 s
Current children cumulated vsize: 2379756 KiB
Current children cumulated memory: 2170556 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=117764] ppid=117760 vsize=2379756 memory=2272100 CPUtime=400.65 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 414896 0 0 0 39818 247 0 0 20 0 1 0 141403421 2436870144 568025 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 594939 568025 4416 2834 0 577144 0
Current children cumulated CPU time: 400.65 s
Current children cumulated vsize: 2379756 KiB
Current children cumulated memory: 2272100 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=117764] ppid=117760 vsize=2594680 memory=2296444 CPUtime=460.47 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 415397 0 0 0 45773 274 0 0 20 0 1 0 141403421 2656952320 574111 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 648670 574111 4416 2834 0 630875 0
Current children cumulated CPU time: 460.47 s

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

Current children cumulated memory: 3036056 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=117764] ppid=117760 vsize=3511456 memory=3036056 CPUtime=2853.67 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 426312 0 0 0 284508 859 0 0 20 0 1 0 141403421 3595730944 759014 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 877864 759014 4416 2834 0 860069 0
Current children cumulated CPU time: 2853.67 s
Current children cumulated vsize: 3511456 KiB
Current children cumulated memory: 3036056 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=117764] ppid=117760 vsize=3511456 memory=3036056 CPUtime=2913.49 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 426324 0 0 0 290479 870 0 0 20 0 1 0 141403421 3595730944 759014 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 877864 759014 4416 2834 0 860069 0
Current children cumulated CPU time: 2913.49 s
Current children cumulated vsize: 3511456 KiB
Current children cumulated memory: 3036056 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=117764] ppid=117760 vsize=3511456 memory=3036056 CPUtime=2973.3 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 427237 0 0 0 296444 886 0 0 20 0 1 0 141403421 3595730944 759014 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 877864 759014 4416 2834 0 860069 0
Current children cumulated CPU time: 2973.3 s
Current children cumulated vsize: 3511456 KiB
Current children cumulated memory: 3036056 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=117764] ppid=117760 vsize=3511456 memory=3036056 CPUtime=3033.12 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 427298 0 0 0 302411 901 0 0 20 0 1 0 141403421 3595730944 759014 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 877864 759014 4416 2834 0 860069 0
Current children cumulated CPU time: 3033.12 s
Current children cumulated vsize: 3511456 KiB
Current children cumulated memory: 3036056 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=117764] ppid=117760 vsize=3511456 memory=3036056 CPUtime=3092.93 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 427298 0 0 0 308377 916 0 0 20 0 1 0 141403421 3595730944 759014 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 877864 759014 4416 2834 0 860069 0
Current children cumulated CPU time: 3092.93 s
Current children cumulated vsize: 3511456 KiB
Current children cumulated memory: 3036056 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=117764] ppid=117760 vsize=3545196 memory=3057876 CPUtime=3152.74 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 431974 0 0 0 314349 925 0 0 20 0 1 0 141403421 3630280704 764469 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 886299 764469 4416 2834 0 868504 0
Current children cumulated CPU time: 3152.74 s
Current children cumulated vsize: 3545196 KiB
Current children cumulated memory: 3057876 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=117764] ppid=117760 vsize=3545196 memory=3057876 CPUtime=3212.55 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 432670 0 0 0 320321 934 0 0 20 0 1 0 141403421 3630280704 764469 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 886299 764469 4416 2834 0 868504 0
Current children cumulated CPU time: 3212.55 s
Current children cumulated vsize: 3545196 KiB
Current children cumulated memory: 3057876 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=117764] ppid=117760 vsize=3545196 memory=3057876 CPUtime=3272.37 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 432702 0 0 0 326296 941 0 0 20 0 1 0 141403421 3630280704 764469 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 886299 764469 4416 2834 0 868504 0
Current children cumulated CPU time: 3272.37 s
Current children cumulated vsize: 3545196 KiB
Current children cumulated memory: 3057876 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=117764] ppid=117760 vsize=3584880 memory=3083840 CPUtime=3332.18 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 438216 0 0 0 332261 957 0 0 20 0 1 0 141403421 3670917120 770960 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 896220 770960 4416 2834 0 878425 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 3584880 KiB
Current children cumulated memory: 3083840 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=117764] ppid=117760 vsize=3584880 memory=3083840 CPUtime=3391.99 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 438696 0 0 0 338227 972 0 0 20 0 1 0 141403421 3670917120 770960 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 896220 770960 4416 2834 0 878425 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 3584880 KiB
Current children cumulated memory: 3083840 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=117764] ppid=117760 vsize=3584880 memory=3104920 CPUtime=3451.8 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 439380 0 0 0 344191 989 0 0 20 0 1 0 141403421 3670917120 776230 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 896220 776230 4416 2834 0 878425 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 3584880 KiB
Current children cumulated memory: 3104920 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=117764] ppid=117760 vsize=3628916 memory=3163980 CPUtime=3511.62 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 445454 0 0 0 350160 1002 0 0 20 0 1 0 141403421 3716009984 790995 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 907229 790995 4416 2834 0 889434 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 3628916 KiB
Current children cumulated memory: 3163980 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=117764] ppid=117760 vsize=3628916 memory=3163980 CPUtime=3571.42 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 445454 0 0 0 356133 1009 0 0 20 0 1 0 141403421 3716009984 790995 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 907229 790995 4416 2834 0 889434 0
Current children cumulated CPU time: 3571.42 s
Current children cumulated vsize: 3628916 KiB
Current children cumulated memory: 3163980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.11 4.12 4.10 5/263 118047
/proc/meminfo: memFree=119624844/131249992 swapFree=33009392/33010684
[pid=117764] ppid=117760 vsize=3628916 memory=3163980 CPUtime=3600.04 cores=1,3
/proc/117764/stat : 117764 (mixed-bag) R 117760 117764 117714 0 -1 4194304 445454 0 0 0 358988 1016 0 0 20 0 1 0 141403421 3716009984 790995 18446744073709551615 4235264 15840557 140734769671264 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 43868160 140734769678746 140734769678823 140734769678823 140734769684427 0
/proc/117764/statm: 907229 790995 4416 2834 0 889434 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3628916 KiB
Current children cumulated memory: 3163980 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.89 s, system=10.1877 s

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

Child status: 0

Real time (s): 3611.03
CPU time (s): 3600.08
CPU user time (s): 3589.89
CPU system time (s): 10.1877
CPU usage (%): 99.6966
Max. virtual memory (cumulated for all children) (KiB): 4294028
Max. memory (cumulated for all children) (KiB): 3701940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.89
system time used= 10.1877
maximum resident set size= 3705400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445498
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= 291
involuntary context switches= 1364


# summary of solver processes directly reported to runsolver:
#   pid: 117764
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3589.89
#   total CPU system time (s): 10.1877

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67131 second user time and 15.9569 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-11 20:08:09
IDJOB=4528934
IDBENCH=147565
IDSOLVER=3386
FILE ID=nodeC035/4528934-1752257289
RUNJOBID= nodeC035-1752257288-117731
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_13.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528934-1752257289/watcher-4528934-1752257289 -o /tmp/evaluation-result-4528934-1752257289/solver-4528934-1752257289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117731 --watchdog 3760  mixed-bag HOME/instance-4528934-1752257289.opb

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
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.746
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		: 3599.750
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.598
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		: 3422.937
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.387
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.741
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		: 3544.527
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		: 3585.601
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:        126536208 kB
MemAvailable:   129658608 kB
Buffers:             664 kB
Cached:          3870128 kB
SwapCached:          332 kB
Active:           381504 kB
Inactive:        3555292 kB
Active(anon):      62676 kB
Inactive(anon):    21028 kB
Active(file):     318828 kB
Inactive(file):  3534264 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            162272 kB
Writeback:             8 kB
AnonPages:         68832 kB
Mapped:           105992 kB
Shmem:             17700 kB
KReclaimable:     217096 kB
Slab:             311136 kB
SReclaimable:     217096 kB
SUnreclaim:        94040 kB
KernelStack:        4096 kB
PageTables:         2952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     339944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 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:20