Trace number 4497597

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-05-06? (TO) 3600.05 3609.03

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
MD5SUM5bd9df7c04c5af36994bd737db01c977
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark638.833
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21320
Total number of constraints79746
Number of constraints which are clauses79734
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint1407
Number of terms in the objective function 1407
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1407
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1442
Number of bits of the biggest sum of numbers11
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.08/0.20	c [STEP] preprocessing with Papilo
0.19/0.30	c [STEP] solving with SCIP
299.76/300.69	c [STEP] preprocessing done, loading into solver
299.96/300.83	c [STEP] solving
299.96/300.83	c #variables 21306 #constraints 79710
299.96/300.83	c SMALL=int, LARGE=long long
299.96/300.83	d SCIPUB 23
299.96/300.83	c bounds - >= 0 @ 299.701
299.96/300.83	c stratification level: 0
700.88/702.72	c bounds - >= 1 @ 299.733
700.88/702.72	c bounds - >= 2 @ 299.735
700.88/702.72	c bounds - >= 3 @ 299.736
700.88/702.72	c bounds - >= 4 @ 299.748
700.88/702.72	c bounds - >= 5 @ 299.751
700.88/702.72	c bounds - >= 6 @ 299.757
700.88/702.72	c #Conflicts:       1000 | #Constraints:      80719
700.88/702.72	c #Conflicts:       2000 | #Constraints:      81719
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:       3000 | #Constraints:      81724
700.88/702.72	c #Conflicts:       4000 | #Constraints:      82724
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:       5000 | #Constraints:      82134
700.88/702.72	c #Conflicts:       6000 | #Constraints:      83134
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:       7000 | #Constraints:      82135
700.88/702.72	c #Conflicts:       8000 | #Constraints:      83135
700.88/702.72	c #Conflicts:       9000 | #Constraints:      84135
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      10000 | #Constraints:      82836
700.88/702.72	c #Conflicts:      11000 | #Constraints:      83836
700.88/702.72	c #Conflicts:      12000 | #Constraints:      84836
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      13000 | #Constraints:      83288
700.88/702.72	c #Conflicts:      14000 | #Constraints:      84288
700.88/702.72	c #Conflicts:      15000 | #Constraints:      85288
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      16000 | #Constraints:      83517
700.88/702.72	c #Conflicts:      17000 | #Constraints:      84517
700.88/702.72	c #Conflicts:      18000 | #Constraints:      85517
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      19000 | #Constraints:      83569
700.88/702.72	c #Conflicts:      20000 | #Constraints:      84569
700.88/702.72	c #Conflicts:      21000 | #Constraints:      85569
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      22000 | #Constraints:      83355
700.88/702.72	c #Conflicts:      23000 | #Constraints:      84355
700.88/702.72	c #Conflicts:      24000 | #Constraints:      85355
700.88/702.72	c #Conflicts:      25000 | #Constraints:      86355
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      26000 | #Constraints:      83956
700.88/702.72	c #Conflicts:      27000 | #Constraints:      84956
700.88/702.72	c #Conflicts:      28000 | #Constraints:      85956
700.88/702.72	c #Conflicts:      29000 | #Constraints:      86956
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      30000 | #Constraints:      84361
700.88/702.72	c #Conflicts:      31000 | #Constraints:      85361
700.88/702.72	c #Conflicts:      32000 | #Constraints:      86361
700.88/702.72	c #Conflicts:      33000 | #Constraints:      87361
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      34000 | #Constraints:      84559
700.88/702.72	c #Conflicts:      35000 | #Constraints:      85559
700.88/702.72	c #Conflicts:      36000 | #Constraints:      86559
700.88/702.72	c #Conflicts:      37000 | #Constraints:      87559
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      38000 | #Constraints:      84572
700.88/702.72	c #Conflicts:      39000 | #Constraints:      85572
700.88/702.72	c #Conflicts:      40000 | #Constraints:      86572
700.88/702.72	c #Conflicts:      41000 | #Constraints:      87572
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      42000 | #Constraints:      84374
700.88/702.72	c #Conflicts:      43000 | #Constraints:      85374
700.88/702.72	c #Conflicts:      44000 | #Constraints:      86374
700.88/702.72	c #Conflicts:      45000 | #Constraints:      87374
700.88/702.72	c #Conflicts:      46000 | #Constraints:      88374
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      47000 | #Constraints:      84970
700.88/702.72	c #Conflicts:      48000 | #Constraints:      85970
700.88/702.72	c #Conflicts:      49000 | #Constraints:      86970
700.88/702.72	c #Conflicts:      50000 | #Constraints:      87970
700.88/702.72	c #Conflicts:      51000 | #Constraints:      88970
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      52000 | #Constraints:      85363
700.88/702.72	c #Conflicts:      53000 | #Constraints:      86363
700.88/702.72	c #Conflicts:      54000 | #Constraints:      87363
700.88/702.72	c #Conflicts:      55000 | #Constraints:      88363
700.88/702.72	c #Conflicts:      56000 | #Constraints:      89363
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      57000 | #Constraints:      85558
700.88/702.72	c #Conflicts:      58000 | #Constraints:      86558
700.88/702.72	c #Conflicts:      59000 | #Constraints:      87558
700.88/702.72	c #Conflicts:      60000 | #Constraints:      88558
700.88/702.72	c #Conflicts:      61000 | #Constraints:      89558
700.88/702.72	c INPROCESSING
700.88/702.72	c GARBAGE COLLECT
700.88/702.72	c #Conflicts:      62000 | #Constraints:      85584
700.88/702.72	c #Conflicts:      63000 | #Constraints:      86584
700.88/702.72	c #Conflicts:      64000 | #Constraints:      87584
700.88/702.72	c #Conflicts:      65000 | #Constraints:      88584
1313.95/1317.27	c #Conflicts:      66000 | #Constraints:      89584
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:      67000 | #Constraints:      85375
1313.95/1317.27	c #Conflicts:      68000 | #Constraints:      86375
1313.95/1317.27	c #Conflicts:      69000 | #Constraints:      87375
1313.95/1317.27	c #Conflicts:      70000 | #Constraints:      88375
1313.95/1317.27	c #Conflicts:      71000 | #Constraints:      89375
1313.95/1317.27	c #Conflicts:      72000 | #Constraints:      90375
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:      73000 | #Constraints:      85973
1313.95/1317.27	c #Conflicts:      74000 | #Constraints:      86973
1313.95/1317.27	c #Conflicts:      75000 | #Constraints:      87973
1313.95/1317.27	c #Conflicts:      76000 | #Constraints:      88973
1313.95/1317.27	c #Conflicts:      77000 | #Constraints:      89973
1313.95/1317.27	c #Conflicts:      78000 | #Constraints:      90973
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:      79000 | #Constraints:      86366
1313.95/1317.27	c #Conflicts:      80000 | #Constraints:      87366
1313.95/1317.27	c #Conflicts:      81000 | #Constraints:      88366
1313.95/1317.27	c #Conflicts:      82000 | #Constraints:      89366
1313.95/1317.27	c #Conflicts:      83000 | #Constraints:      90366
1313.95/1317.27	c #Conflicts:      84000 | #Constraints:      91366
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:      85000 | #Constraints:      86564
1313.95/1317.27	c #Conflicts:      86000 | #Constraints:      87564
1313.95/1317.27	c #Conflicts:      87000 | #Constraints:      88564
1313.95/1317.27	c #Conflicts:      88000 | #Constraints:      89564
1313.95/1317.27	c #Conflicts:      89000 | #Constraints:      90564
1313.95/1317.27	c #Conflicts:      90000 | #Constraints:      91564
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:      91000 | #Constraints:      86621
1313.95/1317.27	c #Conflicts:      92000 | #Constraints:      87621
1313.95/1317.27	c #Conflicts:      93000 | #Constraints:      88621
1313.95/1317.27	c #Conflicts:      94000 | #Constraints:      89621
1313.95/1317.27	c #Conflicts:      95000 | #Constraints:      90621
1313.95/1317.27	c #Conflicts:      96000 | #Constraints:      91621
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:      97000 | #Constraints:      86388
1313.95/1317.27	c #Conflicts:      98000 | #Constraints:      87388
1313.95/1317.27	c #Conflicts:      99000 | #Constraints:      88388
1313.95/1317.27	c #Conflicts:     100000 | #Constraints:      89388
1313.95/1317.27	c #Conflicts:     101000 | #Constraints:      90388
1313.95/1317.27	c #Conflicts:     102000 | #Constraints:      91388
1313.95/1317.27	c #Conflicts:     103000 | #Constraints:      92388
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:     104000 | #Constraints:      86973
1313.95/1317.27	c #Conflicts:     105000 | #Constraints:      87973
1313.95/1317.27	c #Conflicts:     106000 | #Constraints:      88973
1313.95/1317.27	c #Conflicts:     107000 | #Constraints:      89973
1313.95/1317.27	c #Conflicts:     108000 | #Constraints:      90973
1313.95/1317.27	c #Conflicts:     109000 | #Constraints:      91973
1313.95/1317.27	c #Conflicts:     110000 | #Constraints:      92973
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:     111000 | #Constraints:      87373
1313.95/1317.27	c #Conflicts:     112000 | #Constraints:      88373
1313.95/1317.27	c #Conflicts:     113000 | #Constraints:      89373
1313.95/1317.27	c #Conflicts:     114000 | #Constraints:      90373
1313.95/1317.27	c #Conflicts:     115000 | #Constraints:      91373
1313.95/1317.27	c #Conflicts:     116000 | #Constraints:      92373
1313.95/1317.27	c #Conflicts:     117000 | #Constraints:      93373
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:     118000 | #Constraints:      87564
1313.95/1317.27	c #Conflicts:     119000 | #Constraints:      88564
1313.95/1317.27	c #Conflicts:     120000 | #Constraints:      89564
1313.95/1317.27	c #Conflicts:     121000 | #Constraints:      90564
1313.95/1317.27	c #Conflicts:     122000 | #Constraints:      91564
1313.95/1317.27	c #Conflicts:     123000 | #Constraints:      92564
1313.95/1317.27	c #Conflicts:     124000 | #Constraints:      93564
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:     125000 | #Constraints:      87565
1313.95/1317.27	c #Conflicts:     126000 | #Constraints:      88565
1313.95/1317.27	c #Conflicts:     127000 | #Constraints:      89565
1313.95/1317.27	c #Conflicts:     128000 | #Constraints:      90565
1313.95/1317.27	c #Conflicts:     129000 | #Constraints:      91565
1313.95/1317.27	c #Conflicts:     130000 | #Constraints:      92565
1313.95/1317.27	c #Conflicts:     131000 | #Constraints:      93565
1313.95/1317.27	c INPROCESSING
1313.95/1317.27	c GARBAGE COLLECT
1313.95/1317.27	c #Conflicts:     132000 | #Constraints:      87371
1313.95/1317.27	c #Conflicts:     133000 | #Constraints:      88371
1313.95/1317.27	c #Conflicts:     134000 | #Constraints:      89371
1313.95/1317.27	c #Conflicts:     135000 | #Constraints:      90371
1313.95/1317.27	c #Conflicts:     136000 | #Constraints:      91371
1313.95/1317.27	c #Conflicts:     137000 | #Constraints:      92371
1973.99/1978.80	c #Conflicts:     138000 | #Constraints:      93371
1973.99/1978.80	c #Conflicts:     139000 | #Constraints:      94371
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     140000 | #Constraints:      87986
1973.99/1978.80	c #Conflicts:     141000 | #Constraints:      88986
1973.99/1978.80	c #Conflicts:     142000 | #Constraints:      89986
1973.99/1978.80	c #Conflicts:     143000 | #Constraints:      90986
1973.99/1978.80	c #Conflicts:     144000 | #Constraints:      91986
1973.99/1978.80	c #Conflicts:     145000 | #Constraints:      92986
1973.99/1978.80	c #Conflicts:     146000 | #Constraints:      93986
1973.99/1978.80	c #Conflicts:     147000 | #Constraints:      94986
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     148000 | #Constraints:      88454
1973.99/1978.80	c #Conflicts:     149000 | #Constraints:      89454
1973.99/1978.80	c #Conflicts:     150000 | #Constraints:      90454
1973.99/1978.80	c #Conflicts:     151000 | #Constraints:      91454
1973.99/1978.80	c #Conflicts:     152000 | #Constraints:      92454
1973.99/1978.80	c #Conflicts:     153000 | #Constraints:      93454
1973.99/1978.80	c #Conflicts:     154000 | #Constraints:      94454
1973.99/1978.80	c #Conflicts:     155000 | #Constraints:      95454
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     156000 | #Constraints:      88629
1973.99/1978.80	c #Conflicts:     157000 | #Constraints:      89629
1973.99/1978.80	c #Conflicts:     158000 | #Constraints:      90629
1973.99/1978.80	c #Conflicts:     159000 | #Constraints:      91629
1973.99/1978.80	c #Conflicts:     160000 | #Constraints:      92629
1973.99/1978.80	c #Conflicts:     161000 | #Constraints:      93629
1973.99/1978.80	c #Conflicts:     162000 | #Constraints:      94629
1973.99/1978.80	c #Conflicts:     163000 | #Constraints:      95629
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     164000 | #Constraints:      88606
1973.99/1978.80	c #Conflicts:     165000 | #Constraints:      89606
1973.99/1978.80	c #Conflicts:     166000 | #Constraints:      90606
1973.99/1978.80	c #Conflicts:     167000 | #Constraints:      91606
1973.99/1978.80	c #Conflicts:     168000 | #Constraints:      92606
1973.99/1978.80	c #Conflicts:     169000 | #Constraints:      93606
1973.99/1978.80	c #Conflicts:     170000 | #Constraints:      94606
1973.99/1978.80	c #Conflicts:     171000 | #Constraints:      95606
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     172000 | #Constraints:      88383
1973.99/1978.80	c #Conflicts:     173000 | #Constraints:      89383
1973.99/1978.80	c #Conflicts:     174000 | #Constraints:      90383
1973.99/1978.80	c #Conflicts:     175000 | #Constraints:      91383
1973.99/1978.80	c #Conflicts:     176000 | #Constraints:      92383
1973.99/1978.80	c #Conflicts:     177000 | #Constraints:      93383
1973.99/1978.80	c #Conflicts:     178000 | #Constraints:      94383
1973.99/1978.80	c #Conflicts:     179000 | #Constraints:      95383
1973.99/1978.80	c #Conflicts:     180000 | #Constraints:      96383
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     181000 | #Constraints:      88972
1973.99/1978.80	c #Conflicts:     182000 | #Constraints:      89972
1973.99/1978.80	c #Conflicts:     183000 | #Constraints:      90972
1973.99/1978.80	c #Conflicts:     184000 | #Constraints:      91972
1973.99/1978.80	c #Conflicts:     185000 | #Constraints:      92972
1973.99/1978.80	c #Conflicts:     186000 | #Constraints:      93972
1973.99/1978.80	c #Conflicts:     187000 | #Constraints:      94972
1973.99/1978.80	c #Conflicts:     188000 | #Constraints:      95972
1973.99/1978.80	c #Conflicts:     189000 | #Constraints:      96972
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     190000 | #Constraints:      89373
1973.99/1978.80	c #Conflicts:     191000 | #Constraints:      90373
1973.99/1978.80	c #Conflicts:     192000 | #Constraints:      91373
1973.99/1978.80	c #Conflicts:     193000 | #Constraints:      92373
1973.99/1978.80	c #Conflicts:     194000 | #Constraints:      93373
1973.99/1978.80	c #Conflicts:     195000 | #Constraints:      94373
1973.99/1978.80	c #Conflicts:     196000 | #Constraints:      95373
1973.99/1978.80	c #Conflicts:     197000 | #Constraints:      96373
1973.99/1978.80	c #Conflicts:     198000 | #Constraints:      97373
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     199000 | #Constraints:      89574
1973.99/1978.80	c #Conflicts:     200000 | #Constraints:      90574
1973.99/1978.80	c #Conflicts:     201000 | #Constraints:      91574
1973.99/1978.80	c #Conflicts:     202000 | #Constraints:      92574
1973.99/1978.80	c #Conflicts:     203000 | #Constraints:      93574
1973.99/1978.80	c #Conflicts:     204000 | #Constraints:      94574
1973.99/1978.80	c #Conflicts:     205000 | #Constraints:      95574
1973.99/1978.80	c #Conflicts:     206000 | #Constraints:      96574
1973.99/1978.80	c #Conflicts:     207000 | #Constraints:      97574
1973.99/1978.80	c INPROCESSING
1973.99/1978.80	c GARBAGE COLLECT
1973.99/1978.80	c #Conflicts:     208000 | #Constraints:      89572
1973.99/1978.80	c #Conflicts:     209000 | #Constraints:      90572
1973.99/1978.80	c #Conflicts:     210000 | #Constraints:      91572
2794.49/2801.46	c #Conflicts:     211000 | #Constraints:      92572
2794.49/2801.46	c #Conflicts:     212000 | #Constraints:      93572
2794.49/2801.46	c #Conflicts:     213000 | #Constraints:      94572
2794.49/2801.46	c #Conflicts:     214000 | #Constraints:      95572
2794.49/2801.46	c #Conflicts:     215000 | #Constraints:      96572
2794.49/2801.46	c #Conflicts:     216000 | #Constraints:      97572
2794.49/2801.46	c INPROCESSING
2794.49/2801.46	c GARBAGE COLLECT
2794.49/2801.46	c #Conflicts:     217000 | #Constraints:      89370
2794.49/2801.46	c #Conflicts:     218000 | #Constraints:      90370
2794.49/2801.46	c #Conflicts:     219000 | #Constraints:      91370
2794.49/2801.46	c #Conflicts:     220000 | #Constraints:      92370
2794.49/2801.46	c #Conflicts:     221000 | #Constraints:      93370
2794.49/2801.46	c #Conflicts:     222000 | #Constraints:      94370
2794.49/2801.46	c #Conflicts:     223000 | #Constraints:      95370
2794.49/2801.46	c #Conflicts:     224000 | #Constraints:      96370
2794.49/2801.46	c #Conflicts:     225000 | #Constraints:      97370
2794.49/2801.46	c #Conflicts:     226000 | #Constraints:      98370
2794.49/2801.46	c INPROCESSING
2794.49/2801.46	c GARBAGE COLLECT
2794.49/2801.46	c #Conflicts:     227000 | #Constraints:      89985
2794.49/2801.46	c #Conflicts:     228000 | #Constraints:      90985
2794.49/2801.46	c #Conflicts:     229000 | #Constraints:      91985
2794.49/2801.46	c #Conflicts:     230000 | #Constraints:      92985
2794.49/2801.46	c #Conflicts:     231000 | #Constraints:      93985
2794.49/2801.46	c #Conflicts:     232000 | #Constraints:      94985
2794.49/2801.46	c #Conflicts:     233000 | #Constraints:      95985
2794.49/2801.46	c #Conflicts:     234000 | #Constraints:      96985
2794.49/2801.46	c #Conflicts:     235000 | #Constraints:      97985
2794.49/2801.46	c #Conflicts:     236000 | #Constraints:      98985
2794.49/2801.46	c INPROCESSING
2794.49/2801.46	c GARBAGE COLLECT
2794.49/2801.46	c #Conflicts:     237000 | #Constraints:      90379
2794.49/2801.46	c #Conflicts:     238000 | #Constraints:      91379
2794.49/2801.46	c #Conflicts:     239000 | #Constraints:      92379
2794.49/2801.46	c #Conflicts:     240000 | #Constraints:      93379
2794.49/2801.46	c #Conflicts:     241000 | #Constraints:      94379
2794.49/2801.46	c #Conflicts:     242000 | #Constraints:      95379
2794.49/2801.46	c #Conflicts:     243000 | #Constraints:      96379
2794.49/2801.46	c #Conflicts:     244000 | #Constraints:      97379
2794.49/2801.46	c #Conflicts:     245000 | #Constraints:      98379
2794.49/2801.46	c #Conflicts:     246000 | #Constraints:      99379
2794.49/2801.46	c INPROCESSING
2794.49/2801.46	c GARBAGE COLLECT
2794.49/2801.46	c #Conflicts:     247000 | #Constraints:      90575
2794.49/2801.46	c #Conflicts:     248000 | #Constraints:      91575
2794.49/2801.46	c #Conflicts:     249000 | #Constraints:      92575
2794.49/2801.46	c #Conflicts:     250000 | #Constraints:      93575
2794.49/2801.46	c #Conflicts:     251000 | #Constraints:      94575
2794.49/2801.46	c #Conflicts:     252000 | #Constraints:      95575
2794.49/2801.46	c #Conflicts:     253000 | #Constraints:      96575
2794.49/2801.46	c #Conflicts:     254000 | #Constraints:      97575
2794.49/2801.46	c #Conflicts:     255000 | #Constraints:      98575
2794.49/2801.46	c #Conflicts:     256000 | #Constraints:      99575
2794.49/2801.46	c INPROCESSING
2794.49/2801.46	c GARBAGE COLLECT
2794.49/2801.46	c #Conflicts:     257000 | #Constraints:      90575
2794.49/2801.46	c #Conflicts:     258000 | #Constraints:      91575
2794.49/2801.46	c #Conflicts:     259000 | #Constraints:      92575
2794.49/2801.46	c #Conflicts:     260000 | #Constraints:      93575
2794.49/2801.46	c #Conflicts:     261000 | #Constraints:      94575
2794.49/2801.46	c #Conflicts:     262000 | #Constraints:      95575
2794.49/2801.46	c #Conflicts:     263000 | #Constraints:      96575
2794.49/2801.46	c #Conflicts:     264000 | #Constraints:      97575
2794.49/2801.46	c #Conflicts:     265000 | #Constraints:      98575
2794.49/2801.46	c #Conflicts:     266000 | #Constraints:      99575
2794.49/2801.46	c INPROCESSING
2794.49/2801.46	c GARBAGE COLLECT
2794.49/2801.46	c #Conflicts:     267000 | #Constraints:      90394
2794.49/2801.46	c #Conflicts:     268000 | #Constraints:      91394
2794.49/2801.46	c #Conflicts:     269000 | #Constraints:      92394
2794.49/2801.46	c #Conflicts:     270000 | #Constraints:      93394
2794.49/2801.46	c #Conflicts:     271000 | #Constraints:      94394
2794.49/2801.46	c #Conflicts:     272000 | #Constraints:      95394
2794.49/2801.46	c #Conflicts:     273000 | #Constraints:      96394
2794.49/2801.46	c #Conflicts:     274000 | #Constraints:      97394
2794.49/2801.46	c #Conflicts:     275000 | #Constraints:      98394
2794.49/2801.46	c #Conflicts:     276000 | #Constraints:      99394
2794.49/2801.46	c #Conflicts:     277000 | #Constraints:     100394
2794.49/2801.46	c INPROCESSING
2794.49/2801.46	c GARBAGE COLLECT
2794.49/2801.46	c #Conflicts:     278000 | #Constraints:      90978
2794.49/2801.46	c #Conflicts:     279000 | #Constraints:      91978
2794.49/2801.46	c #Conflicts:     280000 | #Constraints:      92978
2794.49/2801.46	c #Conflicts:     281000 | #Constraints:      93978
2794.49/2801.46	c #Conflicts:     282000 | #Constraints:      94978
2794.49/2801.46	c #Conflicts:     283000 | #Constraints:      95978
2794.49/2801.46	c #Conflicts:     284000 | #Constraints:      96978
2794.49/2801.46	c #Conflicts:     285000 | #Constraints:      97978
3600.02/3609.01	c #Conflicts:     286000 | #Constraints:      98978
3600.02/3609.01	c #Conflicts:     287000 | #Constraints:      99978
3600.02/3609.01	c #Conflicts:     288000 | #Constraints:     100978
3600.02/3609.01	c INPROCESSING
3600.02/3609.01	c GARBAGE COLLECT
3600.02/3609.01	c #Conflicts:     289000 | #Constraints:      91371
3600.02/3609.01	c #Conflicts:     290000 | #Constraints:      92371
3600.02/3609.01	c #Conflicts:     291000 | #Constraints:      93371
3600.02/3609.01	c #Conflicts:     292000 | #Constraints:      94371
3600.02/3609.01	c #Conflicts:     293000 | #Constraints:      95371
3600.02/3609.01	c #Conflicts:     294000 | #Constraints:      96371
3600.02/3609.01	c #Conflicts:     295000 | #Constraints:      97371
3600.02/3609.01	c #Conflicts:     296000 | #Constraints:      98371
3600.02/3609.01	c #Conflicts:     297000 | #Constraints:      99371
3600.02/3609.01	c #Conflicts:     298000 | #Constraints:     100371
3600.02/3609.01	c #Conflicts:     299000 | #Constraints:     101371
3600.02/3609.01	c INPROCESSING
3600.02/3609.01	c GARBAGE COLLECT
3600.02/3609.01	c #Conflicts:     300000 | #Constraints:      91569
3600.02/3609.01	c #Conflicts:     301000 | #Constraints:      92569
3600.02/3609.01	c #Conflicts:     302000 | #Constraints:      93569
3600.02/3609.01	c #Conflicts:     303000 | #Constraints:      94569
3600.02/3609.01	c #Conflicts:     304000 | #Constraints:      95569
3600.02/3609.01	c #Conflicts:     305000 | #Constraints:      96569
3600.02/3609.01	c #Conflicts:     306000 | #Constraints:      97569
3600.02/3609.01	c #Conflicts:     307000 | #Constraints:      98569
3600.02/3609.01	c #Conflicts:     308000 | #Constraints:      99569
3600.02/3609.01	c #Conflicts:     309000 | #Constraints:     100569
3600.02/3609.01	c #Conflicts:     310000 | #Constraints:     101569
3600.02/3609.01	c INPROCESSING
3600.02/3609.01	c GARBAGE COLLECT
3600.02/3609.01	c #Conflicts:     311000 | #Constraints:      91576
3600.02/3609.01	c #Conflicts:     312000 | #Constraints:      92576
3600.02/3609.01	c #Conflicts:     313000 | #Constraints:      93576
3600.02/3609.01	c #Conflicts:     314000 | #Constraints:      94576
3600.02/3609.01	c #Conflicts:     315000 | #Constraints:      95576
3600.02/3609.01	c #Conflicts:     316000 | #Constraints:      96576
3600.02/3609.01	c #Conflicts:     317000 | #Constraints:      97576
3600.02/3609.01	c #Conflicts:     318000 | #Constraints:      98576
3600.02/3609.01	c #Conflicts:     319000 | #Constraints:      99576
3600.02/3609.01	c #Conflicts:     320000 | #Constraints:     100576
3600.02/3609.01	c #Conflicts:     321000 | #Constraints:     101576
3600.02/3609.01	c INPROCESSING
3600.02/3609.01	c GARBAGE COLLECT
3600.02/3609.01	c #Conflicts:     322000 | #Constraints:      91390
3600.02/3609.01	c #Conflicts:     323000 | #Constraints:      92390
3600.02/3609.01	c #Conflicts:     324000 | #Constraints:      93390
3600.02/3609.01	c #Conflicts:     325000 | #Constraints:      94390
3600.02/3609.01	c #Conflicts:     326000 | #Constraints:      95390
3600.02/3609.01	c #Conflicts:     327000 | #Constraints:      96390
3600.02/3609.01	c #Conflicts:     328000 | #Constraints:      97390
3600.02/3609.01	c #Conflicts:     329000 | #Constraints:      98390
3600.02/3609.01	c #Conflicts:     330000 | #Constraints:      99390
3600.02/3609.01	c #Conflicts:     331000 | #Constraints:     100390
3600.02/3609.01	c #Conflicts:     332000 | #Constraints:     101390
3600.02/3609.01	c #Conflicts:     333000 | #Constraints:     102390
3600.02/3609.01	c INPROCESSING
3600.02/3609.01	c GARBAGE COLLECT
3600.02/3609.01	c #Conflicts:     334000 | #Constraints:      91998
3600.02/3609.01	c #Conflicts:     335000 | #Constraints:      92998
3600.02/3609.01	c #Conflicts:     336000 | #Constraints:      93998
3600.02/3609.01	c #Conflicts:     337000 | #Constraints:      94998
3600.02/3609.01	c #Conflicts:     338000 | #Constraints:      95998
3600.02/3609.01	c #Conflicts:     339000 | #Constraints:      96998
3600.02/3609.01	c #Conflicts:     340000 | #Constraints:      97998
3600.02/3609.01	c #Conflicts:     341000 | #Constraints:      98998
3600.02/3609.01	c #Conflicts:     342000 | #Constraints:      99998
3600.02/3609.01	c #Conflicts:     343000 | #Constraints:     100998
3600.02/3609.01	c #Conflicts:     344000 | #Constraints:     101998
3600.02/3609.01	c #Conflicts:     345000 | #Constraints:     102998
3600.02/3609.01	c INPROCESSING
3600.02/3609.01	c GARBAGE COLLECT
3600.02/3609.01	c #Conflicts:     346000 | #Constraints:      92389
3600.02/3609.01	c #Conflicts:     347000 | #Constraints:      93389
3600.02/3609.01	c #Conflicts:     348000 | #Constraints:      94389
3600.02/3609.01	c #Conflicts:     349000 | #Constraints:      95389
3600.02/3609.01	c #Conflicts:     350000 | #Constraints:      96389
3600.02/3609.01	c #Conflicts:     351000 | #Constraints:      97389
3600.02/3609.01	c #Conflicts:     352000 | #Constraints:      98389
3600.02/3609.01	c #Conflicts:     353000 | #Constraints:      99389
3600.02/3609.01	c #Conflicts:     354000 | #Constraints:     100389
3600.02/3609.01	c Program interrupted by user.
3600.02/3609.01	c cpu time 3594.48 s
3600.02/3609.01	c deterministic time 1285812530059 1.29e+12
3600.02/3609.01	c optimization time 93.748 s
3600.02/3609.01	c total solve time 3201.03 s
3600.02/3609.01	c core-guided solve time 3201.03 s
3600.02/3609.01	c propagation time 2405.52 s
3600.02/3609.01	c conflict analysis time 811.217 s
3600.02/3609.01	c propagations 468198769
3600.02/3609.01	c resolve steps 11581589
3600.02/3609.01	c decisions 4134922
3600.02/3609.01	c conflicts 354839
3600.02/3609.01	c restarts 842
3600.02/3609.01	c inprocessing phases 50
3600.02/3609.01	c input clauses 79710
3600.02/3609.01	c input cardinalities 7
3600.02/3609.01	c input general constraints 0
3600.02/3609.01	c input average constraint length 2.65
3600.02/3609.01	c input average constraint degree 1.03
3600.02/3609.01	c learned clauses 189283
3600.02/3609.01	c learned cardinalities 1329
3600.02/3609.01	c learned general constraints 164229
3600.02/3609.01	c learned average constraint length 4800.12
3600.02/3609.01	c learned average constraint degree 3254129.72
3600.02/3609.01	c watched constraints 158745
3600.02/3609.01	c counting constraints 5484
3600.02/3609.01	c gcd simplifications 3564
3600.02/3609.01	c detected cardinalities 1
3600.02/3609.01	c weakened non-implied lits 192875976
3600.02/3609.01	c weakened non-implying lits 44870
3600.02/3609.01	c original variables 21320
3600.02/3609.01	c clausal propagations 432815639
3600.02/3609.01	c cardinality propagations 1851362
3600.02/3609.01	c watched propagations 23674875
3600.02/3609.01	c counting propagations 8291840
3600.02/3609.01	c watch lookups 4543223403
3600.02/3609.01	c watch backjump lookups 2994902554
3600.02/3609.01	c watch checks 1149116732729
3600.02/3609.01	c propagation checks 123086503236
3600.02/3609.01	c constraint additions 5126164562
3600.02/3609.01	c trail pops 472669883
3600.02/3609.01	c formula constraints 79710
3600.02/3609.01	c learned constraints 354841
3600.02/3609.01	c bound constraints 7
3600.02/3609.01	c core-guided constraints 0
3600.02/3609.01	c encountered formula constraints 10676771
3600.02/3609.01	c encountered learned constraints 1259610
3600.02/3609.01	c encountered bound constraints 47
3600.02/3609.01	c encountered core-guided constraints 0
3600.02/3609.01	c LP total time 0 s
3600.02/3609.01	c LP solve time 0 s
3600.02/3609.01	c LP constraints added 0
3600.02/3609.01	c LP constraints removed 0
3600.02/3609.01	c LP pivots internal 0
3600.02/3609.01	c LP pivots root 0
3600.02/3609.01	c LP calls 0
3600.02/3609.01	c LP optimalities 0
3600.02/3609.01	c LP no pivot count 0
3600.02/3609.01	c LP infeasibilities 0
3600.02/3609.01	c LP valid Farkas constraints 0
3600.02/3609.01	c LP learned Farkas constraints 0
3600.02/3609.01	c LP basis resets 0
3600.02/3609.01	c LP cycling count 0
3600.02/3609.01	c LP singular count 0
3600.02/3609.01	c LP no primal count 0
3600.02/3609.01	c LP no farkas count 0
3600.02/3609.01	c LP other issue count 0
3600.02/3609.01	c LP Gomory cuts 0
3600.02/3609.01	c LP learned cuts 0
3600.02/3609.01	c LP deleted cuts 0
3600.02/3609.01	c LP encountered Gomory constraints 0
3600.02/3609.01	c LP encountered Farkas constraints 0
3600.02/3609.01	c LP encountered learned Farkas constraints 0
3600.02/3609.01	c CG auxiliary variables introduced 0
3600.02/3609.01	c CG solutions found 0
3600.02/3609.01	c CG cores constructed 6
3600.02/3609.01	c CG core cardinality constraints returned 0
3600.02/3609.01	c CG unit cores 0
3600.02/3609.01	c CG single cores 6
3600.02/3609.01	c CG blocks removed during cardinality reduction 0
3600.02/3609.01	c CG first core best 0
3600.02/3609.01	c CG decision core best 0
3600.02/3609.01	c CG core reduction tie 0
3600.02/3609.01	c CG core degree average 1.00
3600.02/3609.01	c CG core slack average 88.67
3600.02/3609.01	c CG exhausted 0
3600.02/3609.01	c CG exhaust time 0 s
3600.02/3609.01	c CG trimmed 0
3600.02/3609.01	c CG trim time 0.002247 s
3600.02/3609.01	c CG minimized 0
3600.02/3609.01	c CG minimize time 0 s
3600.02/3609.01	c CG am1 prop time 0.004727 s
3600.02/3609.01	c CG # am1s reformulated 0
3600.02/3609.01	c CG lower bound derived from am1s 0
3600.02/3609.01	c CG # clausal cores 6
3600.02/3609.01	c CG # cardinality cores 0
3600.02/3609.01	c CG # pb cores 0
3600.02/3609.01	c CG # pb reforms 0
3600.02/3609.01	c CG # cores discarded because of pb reform 0
3600.02/3609.01	d LOWERBOUND 6
3600.02/3609.01	d NCORES 6
3600.02/3609.01	d NPBCORES 0
3600.02/3609.01	d NPBREFORM 0
3600.02/3609.01	d NTRIMMED 0
3600.02/3609.01	d NEXHAUSTED 0
3600.02/3609.01	d NAM1S 0
3600.02/3609.01	d AM1LB 0
3600.02/3609.01	c [Papilo Statistics]
3600.02/3609.01	c prepro time 0.102727s
3600.02/3609.01	c # tsx applied 32
3600.02/3609.01	c # tsx conflicts 0
3600.02/3609.01	c # bound changes 5
3600.02/3609.01	c # side changes 20
3600.02/3609.01	c # coef changes 71
3600.02/3609.01	c # rounds 2
3600.02/3609.01	c # deted vars 15
3600.02/3609.01	c # deted constrs 36
3600.02/3609.01	c # consecutive rounds of only bound changes 0
3600.02/3609.02	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 (51136 MiB free)
  memory of node 1: 64465 MiB (56174 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100057 s]*
/proc/loadavg: 2.49 3.77 3.99 4/263 55092
/proc/meminfo: memFree=109850292/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=93680 memory=19436 CPUtime=0.08 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 3456 0 1 0 8 0 0 0 20 0 1 0 55416657 95928320 4859 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 23420 4859 2176 2842 0 5653 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93680 KiB
Current children cumulated memory: 19436 KiB

[startup+0.205321 s]*
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109758648/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=143400 memory=62588 CPUtime=0.19 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 10262 0 1 0 17 2 0 0 20 0 1 0 55416657 146841600 15647 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 35850 15647 2272 2842 0 17544 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 143400 KiB
Current children cumulated memory: 62588 KiB

[startup+0.305824 s]*
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109640744/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=140356 memory=64960 CPUtime=0.29 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 10875 0 1 0 27 2 0 0 20 0 1 0 55416657 143724544 16240 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 35089 16240 3744 2842 0 16783 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140356 KiB
Current children cumulated memory: 64960 KiB

[startup+0.700163 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109438384/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=331736 memory=253528 CPUtime=0.67 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 54614 0 1 0 58 9 0 0 20 0 1 0 55416657 339697664 63382 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 82934 63382 4096 2842 0 64628 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 331736 KiB
Current children cumulated memory: 253528 KiB

[startup+1.50017 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=109222964/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=340220 memory=262284 CPUtime=1.47 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 60255 0 1 0 137 10 0 0 20 0 1 0 55416657 348385280 65571 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 85055 65571 4128 2842 0 66749 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 340220 KiB
Current children cumulated memory: 262284 KiB

[startup+3.10568 s]
/proc/loadavg: 2.49 3.77 3.99 5/267 55096
/proc/meminfo: memFree=108150104/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=473896 memory=360880 CPUtime=3.07 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 83871 0 1 0 293 14 0 0 20 0 1 0 55416657 485269504 90220 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 118474 90220 4320 2842 0 100168 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 473896 KiB
Current children cumulated memory: 360880 KiB

[startup+6.30011 s]
/proc/loadavg: 2.61 3.77 3.99 5/267 55096
/proc/meminfo: memFree=107627104/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=663924 memory=550220 CPUtime=6.26 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 118087 0 1 0 606 20 0 0 20 0 1 0 55416657 679858176 137555 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 165981 137555 4320 2842 0 147675 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 663924 KiB
Current children cumulated memory: 550220 KiB

[startup+12.7001 s]
/proc/loadavg: 2.80 3.79 3.99 5/266 55096
/proc/meminfo: memFree=107275768/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=663924 memory=552524 CPUtime=12.64 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 118675 0 1 0 1244 20 0 0 20 0 1 0 55416657 679858176 138131 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 165981 138131 4320 2842 0 147675 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 663924 KiB
Current children cumulated memory: 552524 KiB

[startup+25.5001 s]
/proc/loadavg: 3.07 3.80 4.00 5/266 55096
/proc/meminfo: memFree=107208192/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=741032 memory=586680 CPUtime=25.4 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 126787 0 1 0 2518 22 0 0 20 0 1 0 55416657 758816768 146670 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 185258 146670 4320 2842 0 166952 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 741032 KiB
Current children cumulated memory: 586680 KiB

[startup+51.1052 s]
/proc/loadavg: 3.39 3.82 4.00 5/266 55097
/proc/meminfo: memFree=106392752/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=756964 memory=595512 CPUtime=50.93 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 128989 0 1 0 5071 22 0 0 20 0 1 0 55416657 775131136 148878 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 189241 148878 4320 2842 0 170935 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 756964 KiB
Current children cumulated memory: 595512 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 3.86 4.00 5/266 55098
/proc/meminfo: memFree=106364744/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=765056 memory=603960 CPUtime=101.99 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 131196 0 1 0 10176 23 0 0 20 0 1 0 55416657 783417344 150990 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 191264 150990 4320 2842 0 172958 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 765056 KiB
Current children cumulated memory: 603960 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 3.91 4.00 5/267 55101
/proc/meminfo: memFree=106319888/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=776020 memory=615096 CPUtime=161.82 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 133995 0 1 0 16159 23 0 0 20 0 1 0 55416657 794644480 153774 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 194005 153774 4320 2842 0 175699 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 776020 KiB
Current children cumulated memory: 615096 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.94 4.00 5/267 55103
/proc/meminfo: memFree=106273536/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=783020 memory=626104 CPUtime=221.68 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 135811 0 1 0 22144 24 0 0 20 0 1 0 55416657 801812480 156526 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 195755 156526 4320 2842 0 177449 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 783020 KiB
Current children cumulated memory: 626104 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.97 4.00 5/266 55105
/proc/meminfo: memFree=106219140/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=785624 memory=628152 CPUtime=281.51 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 136248 0 1 0 28127 24 0 0 20 0 1 0 55416657 804478976 157038 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 196406 157038 4320 2842 0 178100 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 785624 KiB
Current children cumulated memory: 628152 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.99 4.00 5/264 55107
/proc/meminfo: memFree=106145384/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=818116 memory=659984 CPUtime=341.36 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 140925 0 1 0 34089 47 0 0 20 0 1 0 55416657 837750784 164996 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 204529 164996 4512 2842 0 186223 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 818116 KiB
Current children cumulated memory: 659984 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.02 4.01 5/264 55109
/proc/meminfo: memFree=105965888/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=818116 memory=700048 CPUtime=401.22 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 140948 0 1 0 40058 64 0 0 20 0 1 0 55416657 837750784 175012 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 204529 175012 4512 2842 0 186223 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 818116 KiB
Current children cumulated memory: 700048 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.03 4.01 5/262 55111
/proc/meminfo: memFree=105906780/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=899504 memory=732592 CPUtime=461.07 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 141179 0 1 0 46027 80 0 0 20 0 1 0 55416657 921092096 183148 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 224876 183148 4512 2842 0 206570 0

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

Current children cumulated memory: 1031680 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/262 55229
/proc/meminfo: memFree=104577556/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1031680 CPUtime=2855.23 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143300 0 1 0 285076 447 0 0 20 0 1 0 55416657 1276608512 257920 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 257920 4512 2842 0 293366 0
Current children cumulated CPU time: 2855.23 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1031680 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.07 5/262 55231
/proc/meminfo: memFree=104588756/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1031680 CPUtime=2915.09 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143396 0 1 0 291052 457 0 0 20 0 1 0 55416657 1276608512 257920 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 257920 4512 2842 0 293366 0
Current children cumulated CPU time: 2915.09 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1031680 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/262 55233
/proc/meminfo: memFree=104583768/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1031680 CPUtime=2974.94 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143414 0 1 0 297022 472 0 0 20 0 1 0 55416657 1276608512 257920 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 257920 4512 2842 0 293366 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1031680 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/263 55242
/proc/meminfo: memFree=104559628/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1031680 CPUtime=3034.78 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143429 0 1 0 302997 481 0 0 20 0 1 0 55416657 1276608512 257920 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 257920 4512 2842 0 293366 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1031680 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/263 55244
/proc/meminfo: memFree=104559548/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1031680 CPUtime=3094.63 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143429 0 1 0 308974 489 0 0 20 0 1 0 55416657 1276608512 257920 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 257920 4512 2842 0 293366 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1031680 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.07 5/263 55246
/proc/meminfo: memFree=104543332/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1031680 CPUtime=3154.47 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143447 0 1 0 314953 494 0 0 20 0 1 0 55416657 1276608512 257920 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 257920 4512 2842 0 293366 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1031680 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/264 55249
/proc/meminfo: memFree=104485644/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1070592 CPUtime=3214.31 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143467 0 1 0 320929 502 0 0 20 0 1 0 55416657 1276608512 267648 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 267648 4512 2842 0 293366 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1070592 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.08 5/264 55251
/proc/meminfo: memFree=104483504/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1070592 CPUtime=3274.16 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143467 0 1 0 326909 507 0 0 20 0 1 0 55416657 1276608512 267648 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 267648 4512 2842 0 293366 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1070592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/264 55253
/proc/meminfo: memFree=104483712/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1070592 CPUtime=3334.01 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143467 0 1 0 332890 511 0 0 20 0 1 0 55416657 1276608512 267648 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 267648 4512 2842 0 293366 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1070592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/264 55255
/proc/meminfo: memFree=104459040/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1095168 CPUtime=3393.85 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143480 0 1 0 338865 520 0 0 20 0 1 0 55416657 1276608512 273792 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 273792 4512 2842 0 293366 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1095168 KiB

[startup+3462.3 s]
/proc/loadavg: 4.45 4.18 4.11 5/264 55257
/proc/meminfo: memFree=104459200/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1095168 CPUtime=3453.69 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143480 0 1 0 344839 530 0 0 20 0 1 0 55416657 1276608512 273792 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 273792 4512 2842 0 293366 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1095168 KiB

[startup+3522.3 s]
/proc/loadavg: 4.41 4.24 4.14 5/263 55259
/proc/meminfo: memFree=104459716/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1097216 CPUtime=3513.54 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143565 0 1 0 350813 541 0 0 20 0 1 0 55416657 1276608512 274304 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 274304 4512 2842 0 293366 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1097216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.49 4.29 4.16 5/263 55261
/proc/meminfo: memFree=104454772/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1097216 CPUtime=3573.39 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143641 0 1 0 356787 552 0 0 20 0 1 0 55416657 1276608512 274304 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 274304 4512 2842 0 293366 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1097216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.32 4.26 4.15 5/263 55269
/proc/meminfo: memFree=104454660/131249988 swapFree=33010416/33010684
[pid=55082] ppid=55074 vsize=1246688 memory=1097216 CPUtime=3600.02 cores=4,6
/proc/55082/stat : 55082 (mixed-bag) R 55074 55082 55025 0 -1 4194304 143654 0 1 0 359446 556 0 0 20 0 1 0 55416657 1276608512 274304 18446744073709551615 4235264 15874749 140735882316176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 40185856 140735882324380 140735882324457 140735882324457 140735882330059 0
/proc/55082/statm: 311672 274304 4512 2842 0 293366 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1246688 KiB
Current children cumulated memory: 1097216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.48 s, system=5.57335 s

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

Child status: 0

Real time (s): 3609.03
CPU time (s): 3600.05
CPU user time (s): 3594.48
CPU system time (s): 5.57335
CPU usage (%): 99.7513
Max. virtual memory (cumulated for all children) (KiB): 1246688
Max. memory (cumulated for all children) (KiB): 1097216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.48
system time used= 5.57335
maximum resident set size= 1097600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143687
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 179
involuntary context switches= 1333


# summary of solver processes directly reported to runsolver:
#   pid: 55082
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.48
#   total CPU system time (s): 5.57335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87229 second user time and 16.7222 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-01 21:16:21
IDJOB=4497597
IDBENCH=148189
IDSOLVER=3340
FILE ID=nodeC031/4497597-1751397381
RUNJOBID= nodeC031-1751397381-55036
SLURM_JOB_ID= 9598276
Free space on /tmp= 432912 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497597-1751397381/watcher-4497597-1751397381 -o /tmp/evaluation-result-4497597-1751397381/solver-4497597-1751397381 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55036 --watchdog 3760  mixed-bag HOME/instance-4497597-1751397381.opb

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

MD5SUM BENCH= 5bd9df7c04c5af36994bd737db01c977
RANDOM SEED=1530373866

nodeC031 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		: 3600.120
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.78
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.885
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.78
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		: 3608.076
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.78
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		: 3601.834
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.78
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.873
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.78
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		: 3600.783
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.78
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		: 3602.988
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.78
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		: 3599.886
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        109890444 kB
MemAvailable:   129628100 kB
Buffers:            2128 kB
Cached:         20424420 kB
SwapCached:           12 kB
Active:           495744 kB
Inactive:       20018284 kB
Active(anon):      95384 kB
Inactive(anon):    10472 kB
Active(file):     400360 kB
Inactive(file): 20007812 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59292 kB
Writeback:             0 kB
AnonPages:         90872 kB
Mapped:           103476 kB
Shmem:             18052 kB
KReclaimable:     337444 kB
Slab:             428332 kB
SReclaimable:     337444 kB
SUnreclaim:        90888 kB
KernelStack:        4040 kB
PageTables:         2408 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     357260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432836 MiB
End job on nodeC031 at 2025-07-01 22:16:30