Trace number 4454810

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-07-19? (TO) 3600.12 3610.41

DiagnosticValue
AM1LB0
LOWERBOUND6
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB23

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454810-1721472033/watcher-4454810-1721472033 -o /tmp/evaluation-result-4454810-1721472033/solver-4454810-1721472033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760 mixed-bag HOME/instance-4454810-1721472033.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1077750, runsolver pid=1077745
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.15 4.12 4.09 4/254 1077753
/proc/meminfo: memFree=127508176/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=93608 memory=21228 CPUtime=0.09 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 3840 0 0 0 9 0 0 0 20 0 1 0 199372975 95854592 5307 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 23402 5307 1688 3002 0 7690 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93608 KiB
Current children cumulated memory: 21228 KiB

[startup+0.20607 s]*
/proc/loadavg: 4.15 4.12 4.09 5/251 1077774
/proc/meminfo: memFree=127911772/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=136708 memory=61784 CPUtime=0.2 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 10498 0 0 0 18 2 0 0 20 0 1 0 199372975 139988992 15446 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 34177 15446 1811 3002 0 17926 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136708 KiB
Current children cumulated memory: 61784 KiB

[startup+0.305808 s]*
/proc/loadavg: 4.15 4.12 4.09 4/248 1077788
/proc/meminfo: memFree=127900256/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=147664 memory=79248 CPUtime=0.3 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 14778 0 0 0 27 3 0 0 20 0 1 0 199372975 151207936 19812 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 36916 19812 3391 3002 0 20665 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 147664 KiB
Current children cumulated memory: 79248 KiB

[startup+0.700231 s]
/proc/loadavg: 4.15 4.12 4.09 5/251 1077822
/proc/meminfo: memFree=127750220/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=323472 memory=251920 CPUtime=0.69 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 54947 0 0 0 60 9 0 0 20 0 1 0 199372975 331235328 62980 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 80868 62980 3825 3002 0 64617 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 323472 KiB
Current children cumulated memory: 251920 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=127572284/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=331636 memory=260284 CPUtime=1.49 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 60509 0 0 0 139 10 0 0 20 0 1 0 199372975 339595264 65071 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 82909 65071 3857 3002 0 66658 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 331636 KiB
Current children cumulated memory: 260284 KiB

[startup+3.10575 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=126622388/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=465628 memory=359180 CPUtime=3.09 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 83180 0 0 0 295 14 0 0 20 0 1 0 199372975 476803072 89795 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 116407 89795 4065 3002 0 100156 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 465628 KiB
Current children cumulated memory: 359180 KiB

[startup+6.30021 s]
/proc/loadavg: 4.22 4.13 4.10 5/257 1077879
/proc/meminfo: memFree=126414396/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=655648 memory=549612 CPUtime=6.27 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 118145 0 0 0 608 19 0 0 20 0 1 0 199372975 671383552 137403 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 163912 137403 4065 3002 0 147661 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 655648 KiB
Current children cumulated memory: 549612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 1077882
/proc/meminfo: memFree=125987248/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=655648 memory=550768 CPUtime=12.66 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 118461 0 0 0 1246 20 0 0 20 0 1 0 199372975 671383552 137692 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 163912 137692 4065 3002 0 147661 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 655648 KiB
Current children cumulated memory: 550768 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1077883
/proc/meminfo: memFree=125920496/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=735540 memory=589880 CPUtime=25.41 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 127323 0 0 0 2520 21 0 0 20 0 1 0 199372975 753192960 147470 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 183885 147470 4065 3002 0 167634 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 735540 KiB
Current children cumulated memory: 589880 KiB

[startup+51.1056 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 1077888
/proc/meminfo: memFree=125180524/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=748888 memory=598188 CPUtime=50.94 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 128980 0 0 0 5072 22 0 0 20 0 1 0 199372975 766861312 149547 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 187222 149547 4065 3002 0 170971 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 748888 KiB
Current children cumulated memory: 598188 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1077897
/proc/meminfo: memFree=125161724/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=758060 memory=609676 CPUtime=102.01 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 131926 0 0 0 10178 23 0 0 20 0 1 0 199372975 776253440 152419 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 189515 152419 4081 3002 0 173264 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 758060 KiB
Current children cumulated memory: 609676 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 1077907
/proc/meminfo: memFree=125107148/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=767336 memory=621768 CPUtime=161.86 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 134036 0 0 0 16163 23 0 0 20 0 1 0 199372975 785752064 155442 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 191834 155442 4081 3002 0 175583 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 767336 KiB
Current children cumulated memory: 621768 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1077918
/proc/meminfo: memFree=125043024/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=777340 memory=633384 CPUtime=221.72 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 136407 0 0 0 22148 24 0 0 20 0 1 0 199372975 795996160 158346 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 194335 158346 4081 3002 0 178084 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 777340 KiB
Current children cumulated memory: 633384 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1077928
/proc/meminfo: memFree=124973828/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=781292 memory=637680 CPUtime=281.57 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 137579 0 0 0 28133 24 0 0 20 0 1 0 199372975 800043008 159420 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 195323 159420 4081 3002 0 179072 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 781292 KiB
Current children cumulated memory: 637680 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/255 1077938
/proc/meminfo: memFree=124863740/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=803116 memory=683144 CPUtime=341.42 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 144060 0 0 0 34089 53 0 0 20 0 1 0 199372975 822390784 170786 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 200779 170786 4215 3002 0 184528 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 803116 KiB
Current children cumulated memory: 683144 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/255 1077948
/proc/meminfo: memFree=124697604/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=803116 memory=731048 CPUtime=401.28 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 144171 0 0 0 40056 72 0 0 20 0 1 0 199372975 822390784 182762 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 200779 182762 4215 3002 0 184528 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 803116 KiB
Current children cumulated memory: 731048 KiB

[startup+462.3 s]
/proc/loadavg: 4.54 4.23 4.13 5/255 1077960
/proc/meminfo: memFree=124655660/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=884504 memory=741816 CPUtime=461.14 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 144483 0 0 0 46025 89 0 0 20 0 1 0 199372975 905732096 185454 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 221126 185454 4215 3002 0 204875 0

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

Current children cumulated memory: 1034376 KiB

[startup+2862.3 s]
/proc/loadavg: 4.31 4.20 4.12 5/257 1079345
/proc/meminfo: memFree=123417048/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1034376 CPUtime=2854.19 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 150801 0 0 0 284897 522 0 0 20 0 1 0 199372975 1261248512 258594 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 258594 4215 3002 0 291671 0
Current children cumulated CPU time: 2854.19 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1034376 KiB

[startup+2922.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/258 1079524
/proc/meminfo: memFree=123416624/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1034376 CPUtime=2914.01 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 150946 0 0 0 290870 531 0 0 20 0 1 0 199372975 1261248512 258594 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 258594 4215 3002 0 291671 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1034376 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/258 1079534
/proc/meminfo: memFree=123410328/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1034376 CPUtime=2973.84 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 151055 0 0 0 296837 547 0 0 20 0 1 0 199372975 1261248512 258594 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 258594 4215 3002 0 291671 0
Current children cumulated CPU time: 2973.84 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1034376 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/258 1079603
/proc/meminfo: memFree=123397368/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1034376 CPUtime=3033.66 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 151216 0 0 0 302807 559 0 0 20 0 1 0 199372975 1261248512 258594 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 258594 4215 3002 0 291671 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1034376 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 1079614
/proc/meminfo: memFree=123397120/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1034376 CPUtime=3093.49 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 151312 0 0 0 308782 567 0 0 20 0 1 0 199372975 1261248512 258594 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 258594 4215 3002 0 291671 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1034376 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 1079624
/proc/meminfo: memFree=123386360/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1036424 CPUtime=3153.31 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 151829 0 0 0 314760 571 0 0 20 0 1 0 199372975 1261248512 259106 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 259106 4215 3002 0 291671 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1036424 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 1079636
/proc/meminfo: memFree=123342888/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1073288 CPUtime=3213.13 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 152127 0 0 0 320734 579 0 0 20 0 1 0 199372975 1261248512 268322 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 268322 4215 3002 0 291671 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1073288 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 1079646
/proc/meminfo: memFree=123342328/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1073288 CPUtime=3272.96 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 152267 0 0 0 326713 583 0 0 20 0 1 0 199372975 1261248512 268322 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 268322 4215 3002 0 291671 0
Current children cumulated CPU time: 3272.96 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1073288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.24 4.14 5/255 1079656
/proc/meminfo: memFree=123321484/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1073288 CPUtime=3332.79 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 152495 0 0 0 332691 588 0 0 20 0 1 0 199372975 1261248512 268322 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 268322 4215 3002 0 291671 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1073288 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.23 4.14 5/255 1079666
/proc/meminfo: memFree=123265612/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1099912 CPUtime=3392.61 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 152687 0 0 0 338663 598 0 0 20 0 1 0 199372975 1261248512 274978 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 274978 4215 3002 0 291671 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1099912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.20 4.13 5/255 1079678
/proc/meminfo: memFree=123265212/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1099912 CPUtime=3452.44 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 152840 0 0 0 344636 608 0 0 20 0 1 0 199372975 1261248512 274978 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 274978 4215 3002 0 291671 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1099912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/254 1079688
/proc/meminfo: memFree=123264796/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1099912 CPUtime=3512.25 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 153071 0 0 0 350605 620 0 0 20 0 1 0 199372975 1261248512 274978 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 274978 4215 3002 0 291671 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1099912 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/254 1079698
/proc/meminfo: memFree=123260208/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1099912 CPUtime=3572.08 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 153262 0 0 0 356577 631 0 0 20 0 1 0 199372975 1261248512 274978 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 274978 4215 3002 0 291671 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1099912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.19 4.19 4.13 5/250 1079715
/proc/meminfo: memFree=126839336/131524600 swapFree=131071996/131071996
[pid=1077750] ppid=1077745 vsize=1231688 memory=1099912 CPUtime=3600.09 cores=4,6
/proc/1077750/stat : 1077750 (mixed-bag) R 1077745 1077750 1075779 0 -1 4194304 153408 0 0 0 359371 638 0 0 20 0 1 0 199372975 1261248512 274978 134679101440 4194304 16488053 140724861459232 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 38522880 140724861461525 140724861461602 140724861461602 140724861468619 0
/proc/1077750/statm: 307922 274978 4215 3002 0 291671 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1231688 KiB
Current children cumulated memory: 1099912 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.72 s, system=6.39795 s

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

Child status: 0

Real time (s): 3610.41
CPU time (s): 3600.12
CPU user time (s): 3593.72
CPU system time (s): 6.39795
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 1231688
Max. memory (cumulated for all children) (KiB): 1099912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.72
system time used= 6.39795
maximum resident set size= 1099912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153435
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= 54
involuntary context switches= 1327


# summary of solver processes directly reported to runsolver:
#   pid: 1077750
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3593.72
#   total CPU system time (s): 6.39795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31598 second user time and 16.619 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-20 12:40:45
IDJOB=4454810
IDBENCH=148189
IDSOLVER=3083
FILE ID=nodeC033/4454810-1721472033
RUNJOBID= nodeC033-1721468435-1075790
SLURM_JOB_ID= 7545724
Free space on /tmp= 890032 MiB

SOLVER NAME= mixed-bag 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454810-1721472033/watcher-4454810-1721472033 -o /tmp/evaluation-result-4454810-1721472033/solver-4454810-1721472033 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760  mixed-bag HOME/instance-4454810-1721472033.opb

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

MD5SUM BENCH= 5bd9df7c04c5af36994bd737db01c977
RANDOM SEED=1357964930

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127520328 kB
MemAvailable:   128762184 kB
Buffers:          611768 kB
Cached:          1466000 kB
SwapCached:            0 kB
Active:          1129692 kB
Inactive:        2240288 kB
Active(anon):       1572 kB
Inactive(anon):  1336220 kB
Active(file):    1128120 kB
Inactive(file):   904068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18732 kB
Writeback:             4 kB
AnonPages:       1287548 kB
Mapped:           131828 kB
Shmem:             45908 kB
KReclaimable:      98632 kB
Slab:             212468 kB
SReclaimable:      98632 kB
SUnreclaim:       113836 kB
KernelStack:        4124 kB
PageTables:        12360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1678596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1239040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-20 13:40:55