Trace number 4505621

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.3 3611.02

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
MD5SUM80f0935d0a86591f889a9638d17fdf07
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 benchmark-370567
Best CPU time to get the best result obtained on this benchmark7882.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 32076
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 94230312
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 94230312
Number of bits of the biggest sum of numbers27
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.16	c RoundingSat 2
0.00/0.16	c branch 
0.00/0.16	c commit 
0.00/0.16	c with Papilo
0.00/0.16	c with SCIP
0.00/0.16	c [STEP] parsing instance
0.53/0.73	c [STEP] preprocessing with Papilo
0.81/1.05	c [STEP] solving with SCIP
300.14/301.44	c [STEP] preprocessing done, loading into solver
300.25/301.53	c [STEP] solving
300.25/301.53	c #variables 36719 #constraints 37335
300.25/301.53	c SMALL=int, LARGE=long long
300.25/301.54	d SCIPUB -355440
300.25/301.54	c bounds - >= -86009006 @ 299.792
300.25/301.54	c stratification level: 6765
422.21/423.84	c bounds - >= -15172135 @ 300.562
422.21/423.84	c bounds - >= -14776320 @ 300.571
422.21/423.84	c bounds - >= -14475888 @ 300.573
422.21/423.84	c bounds - >= -14107960 @ 300.575
422.21/423.84	c bounds - >= -14066176 @ 300.577
422.21/423.84	c bounds - >= -14059411 @ 300.579
422.21/423.84	c bounds - >= -14052215 @ 300.638
422.21/423.84	c #Conflicts:       1000 | #Constraints:      39009
422.21/423.84	c #Conflicts:       2000 | #Constraints:      40009
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:       3000 | #Constraints:      38323
422.21/423.84	c #Conflicts:       4000 | #Constraints:      39323
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:       5000 | #Constraints:      38773
422.21/423.84	c #Conflicts:       6000 | #Constraints:      39773
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:       7000 | #Constraints:      38825
422.21/423.84	c #Conflicts:       8000 | #Constraints:      39825
422.21/423.84	c #Conflicts:       9000 | #Constraints:      40825
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      10000 | #Constraints:      39574
422.21/423.84	c #Conflicts:      11000 | #Constraints:      40574
422.21/423.84	c #Conflicts:      12000 | #Constraints:      41574
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      13000 | #Constraints:      40047
422.21/423.84	c #Conflicts:      14000 | #Constraints:      41047
422.21/423.84	c #Conflicts:      15000 | #Constraints:      42047
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      16000 | #Constraints:      40293
422.21/423.84	c #Conflicts:      17000 | #Constraints:      41293
422.21/423.84	c #Conflicts:      18000 | #Constraints:      42293
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      19000 | #Constraints:      40342
422.21/423.84	c #Conflicts:      20000 | #Constraints:      41342
422.21/423.84	c #Conflicts:      21000 | #Constraints:      42342
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      22000 | #Constraints:      40171
422.21/423.84	c #Conflicts:      23000 | #Constraints:      41171
422.21/423.84	c #Conflicts:      24000 | #Constraints:      42171
422.21/423.84	c #Conflicts:      25000 | #Constraints:      43171
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      26000 | #Constraints:      40780
422.21/423.84	c #Conflicts:      27000 | #Constraints:      41780
422.21/423.84	c #Conflicts:      28000 | #Constraints:      42780
422.21/423.84	c #Conflicts:      29000 | #Constraints:      43780
422.21/423.84	c #Conflicts:      30000 | #Constraints:      44780
422.21/423.84	c #Conflicts:      31000 | #Constraints:      45780
422.21/423.84	c #Conflicts:      32000 | #Constraints:      46780
422.21/423.84	c #Conflicts:      33000 | #Constraints:      47780
422.21/423.84	c #Conflicts:      34000 | #Constraints:      48780
422.21/423.84	c #Conflicts:      35000 | #Constraints:      49780
422.21/423.84	c #Conflicts:      36000 | #Constraints:      50780
422.21/423.84	c #Conflicts:      37000 | #Constraints:      51780
422.21/423.84	c #Conflicts:      38000 | #Constraints:      52780
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      39000 | #Constraints:      45720
422.21/423.84	c #Conflicts:      40000 | #Constraints:      46720
422.21/423.84	c #Conflicts:      41000 | #Constraints:      47720
422.21/423.84	c #Conflicts:      42000 | #Constraints:      48720
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      43000 | #Constraints:      43316
422.21/423.84	c #Conflicts:      44000 | #Constraints:      44316
422.21/423.84	c #Conflicts:      45000 | #Constraints:      45316
422.21/423.84	c #Conflicts:      46000 | #Constraints:      46316
422.21/423.84	c #Conflicts:      47000 | #Constraints:      47316
422.21/423.84	c #Conflicts:      48000 | #Constraints:      48316
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      49000 | #Constraints:      43552
422.21/423.84	c #Conflicts:      50000 | #Constraints:      44552
422.21/423.84	c #Conflicts:      51000 | #Constraints:      45552
422.21/423.84	c #Conflicts:      52000 | #Constraints:      46552
422.21/423.84	c #Conflicts:      53000 | #Constraints:      47552
422.21/423.84	c INPROCESSING
422.21/423.84	c GARBAGE COLLECT
422.21/423.84	c #Conflicts:      54000 | #Constraints:      43029
422.21/423.84	c #Conflicts:      55000 | #Constraints:      44029
422.21/423.84	c #Conflicts:      56000 | #Constraints:      45029
422.21/423.84	c #Conflicts:      57000 | #Constraints:      46029
422.21/423.84	c #Conflicts:      58000 | #Constraints:      47029
422.21/423.84	c #Conflicts:      59000 | #Constraints:      48029
422.21/423.84	c #Conflicts:      60000 | #Constraints:      49029
422.21/423.84	c #Conflicts:      61000 | #Constraints:      50029
422.21/423.84	c #Conflicts:      62000 | #Constraints:      51029
422.21/423.84	c #Conflicts:      63000 | #Constraints:      52029
422.21/423.84	c #Conflicts:      64000 | #Constraints:      53029
422.21/423.84	c #Conflicts:      65000 | #Constraints:      54029
422.21/423.84	c #Conflicts:      66000 | #Constraints:      55029
836.27/839.07	c #Conflicts:      67000 | #Constraints:      56029
836.27/839.07	c #Conflicts:      68000 | #Constraints:      57029
836.27/839.07	c #Conflicts:      69000 | #Constraints:      58029
836.27/839.07	c #Conflicts:      70000 | #Constraints:      59029
836.27/839.07	c #Conflicts:      71000 | #Constraints:      60029
836.27/839.07	c INPROCESSING
836.27/839.07	c GARBAGE COLLECT
836.27/839.07	c #Conflicts:      72000 | #Constraints:      49260
836.27/839.07	c #Conflicts:      73000 | #Constraints:      50260
836.27/839.07	c #Conflicts:      74000 | #Constraints:      51260
836.27/839.07	c #Conflicts:      75000 | #Constraints:      52260
836.27/839.07	c #Conflicts:      76000 | #Constraints:      53260
836.27/839.07	c #Conflicts:      77000 | #Constraints:      54260
836.27/839.07	c #Conflicts:      78000 | #Constraints:      55260
836.27/839.07	c INPROCESSING
836.27/839.07	c GARBAGE COLLECT
836.27/839.07	c #Conflicts:      79000 | #Constraints:      47071
836.27/839.07	c #Conflicts:      80000 | #Constraints:      48071
836.27/839.07	c #Conflicts:      81000 | #Constraints:      49071
836.27/839.07	c #Conflicts:      82000 | #Constraints:      50071
836.27/839.07	c #Conflicts:      83000 | #Constraints:      51071
836.27/839.07	c #Conflicts:      84000 | #Constraints:      52071
836.27/839.07	c INPROCESSING
836.27/839.07	c GARBAGE COLLECT
836.27/839.07	c #Conflicts:      85000 | #Constraints:      45074
836.27/839.07	c #Conflicts:      86000 | #Constraints:      46074
836.27/839.07	c #Conflicts:      87000 | #Constraints:      47074
836.27/839.07	c #Conflicts:      88000 | #Constraints:      48074
836.27/839.07	c #Conflicts:      89000 | #Constraints:      49074
836.27/839.07	c #Conflicts:      90000 | #Constraints:      50074
836.27/839.07	c #Conflicts:      91000 | #Constraints:      51074
836.27/839.07	c INPROCESSING
836.27/839.07	c GARBAGE COLLECT
836.27/839.07	c #Conflicts:      92000 | #Constraints:      44597
836.27/839.07	c #Conflicts:      93000 | #Constraints:      45597
836.27/839.07	c #Conflicts:      94000 | #Constraints:      46597
836.27/839.07	c #Conflicts:      95000 | #Constraints:      47597
836.27/839.07	c #Conflicts:      96000 | #Constraints:      48597
836.27/839.07	c #Conflicts:      97000 | #Constraints:      49597
836.27/839.07	c #Conflicts:      98000 | #Constraints:      50597
836.27/839.07	c #Conflicts:      99000 | #Constraints:      51597
836.27/839.07	c #Conflicts:     100000 | #Constraints:      52597
836.27/839.07	c #Conflicts:     101000 | #Constraints:      53597
836.27/839.07	c #Conflicts:     102000 | #Constraints:      54597
836.27/839.07	c #Conflicts:     103000 | #Constraints:      55597
836.27/839.07	c #Conflicts:     104000 | #Constraints:      56597
836.27/839.07	c #Conflicts:     105000 | #Constraints:      57597
836.27/839.07	c #Conflicts:     106000 | #Constraints:      58597
836.27/839.07	c #Conflicts:     107000 | #Constraints:      59597
836.27/839.07	c #Conflicts:     108000 | #Constraints:      60597
836.27/839.07	c #Conflicts:     109000 | #Constraints:      61597
836.27/839.07	c #Conflicts:     110000 | #Constraints:      62597
836.27/839.07	c #Conflicts:     111000 | #Constraints:      63597
836.27/839.07	c #Conflicts:     112000 | #Constraints:      64597
836.27/839.07	c #Conflicts:     113000 | #Constraints:      65597
836.27/839.07	c #Conflicts:     114000 | #Constraints:      66597
836.27/839.07	c #Conflicts:     115000 | #Constraints:      67597
836.27/839.07	c INPROCESSING
836.27/839.07	c GARBAGE COLLECT
836.27/839.07	c #Conflicts:     116000 | #Constraints:      53159
836.27/839.07	c #Conflicts:     117000 | #Constraints:      54159
836.27/839.07	c #Conflicts:     118000 | #Constraints:      55159
836.27/839.07	c #Conflicts:     119000 | #Constraints:      56159
836.27/839.07	c #Conflicts:     120000 | #Constraints:      57159
836.27/839.07	c #Conflicts:     121000 | #Constraints:      58159
836.27/839.07	c #Conflicts:     122000 | #Constraints:      59159
836.27/839.07	c #Conflicts:     123000 | #Constraints:      60159
836.27/839.07	c INPROCESSING
836.27/839.07	c GARBAGE COLLECT
836.27/839.07	c #Conflicts:     124000 | #Constraints:      49264
836.27/839.07	c #Conflicts:     125000 | #Constraints:      50264
836.27/839.07	c #Conflicts:     126000 | #Constraints:      51264
836.27/839.07	c #Conflicts:     127000 | #Constraints:      52264
836.27/839.07	c #Conflicts:     128000 | #Constraints:      53264
836.27/839.07	c #Conflicts:     129000 | #Constraints:      54264
836.27/839.07	c #Conflicts:     130000 | #Constraints:      55264
836.27/839.07	c #Conflicts:     131000 | #Constraints:      56264
836.27/839.07	c #Conflicts:     132000 | #Constraints:      57264
836.27/839.07	c INPROCESSING
836.27/839.07	c GARBAGE COLLECT
836.27/839.07	c #Conflicts:     133000 | #Constraints:      48055
836.27/839.07	c #Conflicts:     134000 | #Constraints:      49055
836.27/839.07	c #Conflicts:     135000 | #Constraints:      50055
836.27/839.07	c #Conflicts:     136000 | #Constraints:      51055
836.27/839.07	c #Conflicts:     137000 | #Constraints:      52055
836.27/839.07	c #Conflicts:     138000 | #Constraints:      53055
836.27/839.07	c #Conflicts:     139000 | #Constraints:      54055
836.27/839.07	c #Conflicts:     140000 | #Constraints:      55055
836.27/839.07	c INPROCESSING
1401.46/1405.80	c GARBAGE COLLECT
1401.46/1405.80	c #Conflicts:     141000 | #Constraints:      46660
1401.46/1405.80	c #Conflicts:     142000 | #Constraints:      47660
1401.46/1405.80	c #Conflicts:     143000 | #Constraints:      48660
1401.46/1405.80	c #Conflicts:     144000 | #Constraints:      49660
1401.46/1405.80	c #Conflicts:     145000 | #Constraints:      50660
1401.46/1405.80	c #Conflicts:     146000 | #Constraints:      51660
1401.46/1405.80	c #Conflicts:     147000 | #Constraints:      52660
1401.46/1405.80	c #Conflicts:     148000 | #Constraints:      53660
1401.46/1405.80	c #Conflicts:     149000 | #Constraints:      54660
1401.46/1405.80	c #Conflicts:     150000 | #Constraints:      55660
1401.46/1405.80	c #Conflicts:     151000 | #Constraints:      56660
1401.46/1405.80	c #Conflicts:     152000 | #Constraints:      57660
1401.46/1405.80	c #Conflicts:     153000 | #Constraints:      58660
1401.46/1405.80	c #Conflicts:     154000 | #Constraints:      59660
1401.46/1405.80	c #Conflicts:     155000 | #Constraints:      60660
1401.46/1405.80	c #Conflicts:     156000 | #Constraints:      61660
1401.46/1405.80	c #Conflicts:     157000 | #Constraints:      62660
1401.46/1405.80	c #Conflicts:     158000 | #Constraints:      63660
1401.46/1405.80	c #Conflicts:     159000 | #Constraints:      64660
1401.46/1405.80	c #Conflicts:     160000 | #Constraints:      65660
1401.46/1405.80	c #Conflicts:     161000 | #Constraints:      66660
1401.46/1405.80	c #Conflicts:     162000 | #Constraints:      67660
1401.46/1405.80	c #Conflicts:     163000 | #Constraints:      68660
1401.46/1405.80	c #Conflicts:     164000 | #Constraints:      69660
1401.46/1405.80	c #Conflicts:     165000 | #Constraints:      70660
1401.46/1405.80	c #Conflicts:     166000 | #Constraints:      71660
1401.46/1405.80	c #Conflicts:     167000 | #Constraints:      72660
1401.46/1405.80	c #Conflicts:     168000 | #Constraints:      73660
1401.46/1405.80	c #Conflicts:     169000 | #Constraints:      74660
1401.46/1405.80	c INPROCESSING
1401.46/1405.80	c GARBAGE COLLECT
1401.46/1405.80	c #Conflicts:     170000 | #Constraints:      56566
1401.46/1405.80	c #Conflicts:     171000 | #Constraints:      57566
1401.46/1405.80	c #Conflicts:     172000 | #Constraints:      58566
1401.46/1405.80	c #Conflicts:     173000 | #Constraints:      59566
1401.46/1405.80	c #Conflicts:     174000 | #Constraints:      60566
1401.46/1405.80	c #Conflicts:     175000 | #Constraints:      61566
1401.46/1405.80	c #Conflicts:     176000 | #Constraints:      62566
1401.46/1405.80	c #Conflicts:     177000 | #Constraints:      63566
1401.46/1405.80	c #Conflicts:     178000 | #Constraints:      64566
1401.46/1405.80	c #Conflicts:     179000 | #Constraints:      65566
1401.46/1405.80	c INPROCESSING
1401.46/1405.80	c GARBAGE COLLECT
1401.46/1405.80	c #Conflicts:     180000 | #Constraints:      51956
1401.46/1405.80	c #Conflicts:     181000 | #Constraints:      52956
1401.46/1405.80	c #Conflicts:     182000 | #Constraints:      53956
1401.46/1405.80	c #Conflicts:     183000 | #Constraints:      54956
1401.46/1405.80	c #Conflicts:     184000 | #Constraints:      55956
1401.46/1405.80	c #Conflicts:     185000 | #Constraints:      56956
1401.46/1405.80	c #Conflicts:     186000 | #Constraints:      57956
1401.46/1405.80	c #Conflicts:     187000 | #Constraints:      58956
1401.46/1405.80	c #Conflicts:     188000 | #Constraints:      59956
1401.46/1405.80	c #Conflicts:     189000 | #Constraints:      60956
1401.46/1405.80	c INPROCESSING
1401.46/1405.80	c GARBAGE COLLECT
1401.46/1405.80	c #Conflicts:     190000 | #Constraints:      49689
1401.46/1405.80	c #Conflicts:     191000 | #Constraints:      50689
1401.46/1405.80	c #Conflicts:     192000 | #Constraints:      51689
1401.46/1405.80	c #Conflicts:     193000 | #Constraints:      52689
1401.46/1405.80	c #Conflicts:     194000 | #Constraints:      53689
1401.46/1405.80	c #Conflicts:     195000 | #Constraints:      54689
1401.46/1405.80	c #Conflicts:     196000 | #Constraints:      55689
1401.46/1405.80	c #Conflicts:     197000 | #Constraints:      56689
1401.46/1405.80	c #Conflicts:     198000 | #Constraints:      57689
1401.46/1405.80	c #Conflicts:     199000 | #Constraints:      58689
1401.46/1405.80	c #Conflicts:     200000 | #Constraints:      59689
1401.46/1405.80	c INPROCESSING
1401.46/1405.80	c GARBAGE COLLECT
1401.46/1405.80	c #Conflicts:     201000 | #Constraints:      49391
1401.46/1405.80	c #Conflicts:     202000 | #Constraints:      50391
1401.46/1405.80	c #Conflicts:     203000 | #Constraints:      51391
1401.46/1405.80	c #Conflicts:     204000 | #Constraints:      52391
1401.46/1405.80	c #Conflicts:     205000 | #Constraints:      53391
1401.46/1405.80	c #Conflicts:     206000 | #Constraints:      54391
1401.46/1405.80	c #Conflicts:     207000 | #Constraints:      55391
1401.46/1405.80	c #Conflicts:     208000 | #Constraints:      56391
1401.46/1405.80	c #Conflicts:     209000 | #Constraints:      57391
1401.46/1405.80	c #Conflicts:     210000 | #Constraints:      58391
1401.46/1405.80	c INPROCESSING
1401.46/1405.80	c GARBAGE COLLECT
1401.46/1405.80	c #Conflicts:     211000 | #Constraints:      48453
1401.46/1405.80	c #Conflicts:     212000 | #Constraints:      49453
1401.46/1405.80	c #Conflicts:     213000 | #Constraints:      50453
1401.46/1405.80	c #Conflicts:     214000 | #Constraints:      51453
1401.46/1405.80	c #Conflicts:     215000 | #Constraints:      52453
1401.46/1405.80	c #Conflicts:     216000 | #Constraints:      53453
2252.27/2259.07	c #Conflicts:     217000 | #Constraints:      54453
2252.27/2259.07	c #Conflicts:     218000 | #Constraints:      55453
2252.27/2259.07	c #Conflicts:     219000 | #Constraints:      56453
2252.27/2259.07	c #Conflicts:     220000 | #Constraints:      57453
2252.27/2259.07	c #Conflicts:     221000 | #Constraints:      58453
2252.27/2259.07	c #Conflicts:     222000 | #Constraints:      59453
2252.27/2259.07	c #Conflicts:     223000 | #Constraints:      60453
2252.27/2259.07	c #Conflicts:     224000 | #Constraints:      61453
2252.27/2259.07	c #Conflicts:     225000 | #Constraints:      62453
2252.27/2259.07	c #Conflicts:     226000 | #Constraints:      63453
2252.27/2259.07	c #Conflicts:     227000 | #Constraints:      64453
2252.27/2259.07	c #Conflicts:     228000 | #Constraints:      65453
2252.27/2259.07	c #Conflicts:     229000 | #Constraints:      66453
2252.27/2259.07	c #Conflicts:     230000 | #Constraints:      67453
2252.27/2259.07	c #Conflicts:     231000 | #Constraints:      68453
2252.27/2259.07	c #Conflicts:     232000 | #Constraints:      69453
2252.27/2259.07	c #Conflicts:     233000 | #Constraints:      70453
2252.27/2259.07	c #Conflicts:     234000 | #Constraints:      71453
2252.27/2259.07	c #Conflicts:     235000 | #Constraints:      72453
2252.27/2259.07	c #Conflicts:     236000 | #Constraints:      73453
2252.27/2259.07	c #Conflicts:     237000 | #Constraints:      74453
2252.27/2259.07	c #Conflicts:     238000 | #Constraints:      75453
2252.27/2259.07	c #Conflicts:     239000 | #Constraints:      76453
2252.27/2259.07	c #Conflicts:     240000 | #Constraints:      77453
2252.27/2259.07	c #Conflicts:     241000 | #Constraints:      78453
2252.27/2259.07	c #Conflicts:     242000 | #Constraints:      79453
2252.27/2259.07	c #Conflicts:     243000 | #Constraints:      80453
2252.27/2259.07	c #Conflicts:     244000 | #Constraints:      81453
2252.27/2259.07	c #Conflicts:     245000 | #Constraints:      82453
2252.27/2259.07	c INPROCESSING
2252.27/2259.07	c GARBAGE COLLECT
2252.27/2259.07	c #Conflicts:     246000 | #Constraints:      60363
2252.27/2259.07	c #Conflicts:     247000 | #Constraints:      61363
2252.27/2259.07	c #Conflicts:     248000 | #Constraints:      62363
2252.27/2259.07	c #Conflicts:     249000 | #Constraints:      63363
2252.27/2259.07	c #Conflicts:     250000 | #Constraints:      64363
2252.27/2259.07	c #Conflicts:     251000 | #Constraints:      65363
2252.27/2259.07	c #Conflicts:     252000 | #Constraints:      66363
2252.27/2259.07	c #Conflicts:     253000 | #Constraints:      67363
2252.27/2259.07	c #Conflicts:     254000 | #Constraints:      68363
2252.27/2259.07	c #Conflicts:     255000 | #Constraints:      69363
2252.27/2259.07	c #Conflicts:     256000 | #Constraints:      70363
2252.27/2259.07	c #Conflicts:     257000 | #Constraints:      71363
2252.27/2259.07	c INPROCESSING
2252.27/2259.07	c GARBAGE COLLECT
2252.27/2259.07	c #Conflicts:     258000 | #Constraints:      54961
2252.27/2259.07	c #Conflicts:     259000 | #Constraints:      55961
2252.27/2259.07	c #Conflicts:     260000 | #Constraints:      56961
2252.27/2259.07	c #Conflicts:     261000 | #Constraints:      57961
2252.27/2259.07	c #Conflicts:     262000 | #Constraints:      58961
2252.27/2259.07	c #Conflicts:     263000 | #Constraints:      59961
2252.27/2259.07	c #Conflicts:     264000 | #Constraints:      60961
2252.27/2259.07	c #Conflicts:     265000 | #Constraints:      61961
2252.27/2259.07	c #Conflicts:     266000 | #Constraints:      62961
2252.27/2259.07	c #Conflicts:     267000 | #Constraints:      63961
2252.27/2259.07	c #Conflicts:     268000 | #Constraints:      64961
2252.27/2259.07	c #Conflicts:     269000 | #Constraints:      65961
2252.27/2259.07	c INPROCESSING
2252.27/2259.07	c GARBAGE COLLECT
2252.27/2259.07	c #Conflicts:     270000 | #Constraints:      52254
2252.27/2259.07	c #Conflicts:     271000 | #Constraints:      53254
2252.27/2259.07	c #Conflicts:     272000 | #Constraints:      54254
2252.27/2259.07	c #Conflicts:     273000 | #Constraints:      55254
2252.27/2259.07	c #Conflicts:     274000 | #Constraints:      56254
2252.27/2259.07	c #Conflicts:     275000 | #Constraints:      57254
2252.27/2259.07	c #Conflicts:     276000 | #Constraints:      58254
2252.27/2259.07	c #Conflicts:     277000 | #Constraints:      59254
2252.27/2259.07	c #Conflicts:     278000 | #Constraints:      60254
2252.27/2259.07	c #Conflicts:     279000 | #Constraints:      61254
2252.27/2259.07	c #Conflicts:     280000 | #Constraints:      62254
2252.27/2259.07	c #Conflicts:     281000 | #Constraints:      63254
2252.27/2259.07	c #Conflicts:     282000 | #Constraints:      64254
2252.27/2259.07	c INPROCESSING
2252.27/2259.07	c GARBAGE COLLECT
2252.27/2259.07	c #Conflicts:     283000 | #Constraints:      51719
2252.27/2259.07	c #Conflicts:     284000 | #Constraints:      52719
2252.27/2259.07	c #Conflicts:     285000 | #Constraints:      53719
2252.27/2259.07	c #Conflicts:     286000 | #Constraints:      54719
2252.27/2259.07	c #Conflicts:     287000 | #Constraints:      55719
2252.27/2259.07	c #Conflicts:     288000 | #Constraints:      56719
2252.27/2259.07	c #Conflicts:     289000 | #Constraints:      57719
2252.27/2259.07	c #Conflicts:     290000 | #Constraints:      58719
2252.27/2259.07	c #Conflicts:     291000 | #Constraints:      59719
2252.27/2259.07	c #Conflicts:     292000 | #Constraints:      60719
3320.89/3330.87	c #Conflicts:     293000 | #Constraints:      61719
3320.89/3330.87	c #Conflicts:     294000 | #Constraints:      62719
3320.89/3330.87	c INPROCESSING
3320.89/3330.87	c GARBAGE COLLECT
3320.89/3330.87	c #Conflicts:     295000 | #Constraints:      50663
3320.89/3330.87	c #Conflicts:     296000 | #Constraints:      51663
3320.89/3330.87	c #Conflicts:     297000 | #Constraints:      52663
3320.89/3330.87	c #Conflicts:     298000 | #Constraints:      53663
3320.89/3330.87	c #Conflicts:     299000 | #Constraints:      54663
3320.89/3330.87	c #Conflicts:     300000 | #Constraints:      55663
3320.89/3330.87	c #Conflicts:     301000 | #Constraints:      56663
3320.89/3330.87	c #Conflicts:     302000 | #Constraints:      57663
3320.89/3330.87	c #Conflicts:     303000 | #Constraints:      58663
3320.89/3330.87	c #Conflicts:     304000 | #Constraints:      59663
3320.89/3330.87	c #Conflicts:     305000 | #Constraints:      60663
3320.89/3330.87	c #Conflicts:     306000 | #Constraints:      61663
3320.89/3330.87	c #Conflicts:     307000 | #Constraints:      62663
3320.89/3330.87	c INPROCESSING
3320.89/3330.87	c GARBAGE COLLECT
3320.89/3330.87	c #Conflicts:     308000 | #Constraints:      50762
3320.89/3330.87	c #Conflicts:     309000 | #Constraints:      51762
3320.89/3330.87	c #Conflicts:     310000 | #Constraints:      52762
3320.89/3330.87	c #Conflicts:     311000 | #Constraints:      53762
3320.89/3330.87	c #Conflicts:     312000 | #Constraints:      54762
3320.89/3330.87	c #Conflicts:     313000 | #Constraints:      55762
3320.89/3330.87	c #Conflicts:     314000 | #Constraints:      56762
3320.89/3330.87	c #Conflicts:     315000 | #Constraints:      57762
3320.89/3330.87	c #Conflicts:     316000 | #Constraints:      58762
3320.89/3330.87	c #Conflicts:     317000 | #Constraints:      59762
3320.89/3330.87	c #Conflicts:     318000 | #Constraints:      60762
3320.89/3330.87	c #Conflicts:     319000 | #Constraints:      61762
3320.89/3330.87	c #Conflicts:     320000 | #Constraints:      62762
3320.89/3330.87	c #Conflicts:     321000 | #Constraints:      63762
3320.89/3330.87	c #Conflicts:     322000 | #Constraints:      64762
3320.89/3330.87	c #Conflicts:     323000 | #Constraints:      65762
3320.89/3330.87	c #Conflicts:     324000 | #Constraints:      66762
3320.89/3330.87	c #Conflicts:     325000 | #Constraints:      67762
3320.89/3330.87	c #Conflicts:     326000 | #Constraints:      68762
3320.89/3330.87	c #Conflicts:     327000 | #Constraints:      69762
3320.89/3330.87	c #Conflicts:     328000 | #Constraints:      70762
3320.89/3330.87	c #Conflicts:     329000 | #Constraints:      71762
3320.89/3330.87	c #Conflicts:     330000 | #Constraints:      72762
3320.89/3330.87	c #Conflicts:     331000 | #Constraints:      73762
3320.89/3330.87	c #Conflicts:     332000 | #Constraints:      74762
3320.89/3330.87	c #Conflicts:     333000 | #Constraints:      75762
3320.89/3330.87	c #Conflicts:     334000 | #Constraints:      76762
3320.89/3330.87	c #Conflicts:     335000 | #Constraints:      77762
3320.89/3330.87	c #Conflicts:     336000 | #Constraints:      78762
3320.89/3330.87	c #Conflicts:     337000 | #Constraints:      79762
3320.89/3330.87	c #Conflicts:     338000 | #Constraints:      80762
3320.89/3330.87	c #Conflicts:     339000 | #Constraints:      81762
3320.89/3330.87	c #Conflicts:     340000 | #Constraints:      82762
3320.89/3330.87	c #Conflicts:     341000 | #Constraints:      83762
3320.89/3330.87	c #Conflicts:     342000 | #Constraints:      84762
3320.89/3330.87	c #Conflicts:     343000 | #Constraints:      85762
3320.89/3330.87	c #Conflicts:     344000 | #Constraints:      86762
3320.89/3330.87	c #Conflicts:     345000 | #Constraints:      87762
3320.89/3330.87	c #Conflicts:     346000 | #Constraints:      88762
3320.89/3330.87	c #Conflicts:     347000 | #Constraints:      89762
3320.89/3330.87	c #Conflicts:     348000 | #Constraints:      90762
3320.89/3330.87	c #Conflicts:     349000 | #Constraints:      91762
3320.89/3330.87	c INPROCESSING
3320.89/3330.87	c GARBAGE COLLECT
3320.89/3330.87	c #Conflicts:     350000 | #Constraints:      65077
3320.89/3330.87	c #Conflicts:     351000 | #Constraints:      66077
3320.89/3330.87	c #Conflicts:     352000 | #Constraints:      67077
3320.89/3330.87	c #Conflicts:     353000 | #Constraints:      68077
3320.89/3330.87	c #Conflicts:     354000 | #Constraints:      69077
3320.89/3330.87	c #Conflicts:     355000 | #Constraints:      70077
3320.89/3330.87	c #Conflicts:     356000 | #Constraints:      71077
3320.89/3330.87	c #Conflicts:     357000 | #Constraints:      72077
3320.89/3330.87	c #Conflicts:     358000 | #Constraints:      73077
3320.89/3330.87	c #Conflicts:     359000 | #Constraints:      74077
3320.89/3330.87	c #Conflicts:     360000 | #Constraints:      75077
3320.89/3330.87	c #Conflicts:     361000 | #Constraints:      76077
3320.89/3330.87	c #Conflicts:     362000 | #Constraints:      77077
3320.89/3330.87	c #Conflicts:     363000 | #Constraints:      78077
3320.89/3330.87	c INPROCESSING
3320.89/3330.87	c GARBAGE COLLECT
3320.89/3330.87	c #Conflicts:     364000 | #Constraints:      58158
3320.89/3330.87	c #Conflicts:     365000 | #Constraints:      59158
3320.89/3330.87	c #Conflicts:     366000 | #Constraints:      60158
3320.89/3330.87	c #Conflicts:     367000 | #Constraints:      61158
3320.89/3330.87	c #Conflicts:     368000 | #Constraints:      62158
3600.17/3610.96	c #Conflicts:     369000 | #Constraints:      63158
3600.17/3610.96	c #Conflicts:     370000 | #Constraints:      64158
3600.17/3610.96	c #Conflicts:     371000 | #Constraints:      65158
3600.17/3610.96	c #Conflicts:     372000 | #Constraints:      66158
3600.17/3610.96	c #Conflicts:     373000 | #Constraints:      67158
3600.17/3610.96	c #Conflicts:     374000 | #Constraints:      68158
3600.17/3610.96	c #Conflicts:     375000 | #Constraints:      69158
3600.17/3610.96	c #Conflicts:     376000 | #Constraints:      70158
3600.17/3610.96	c #Conflicts:     377000 | #Constraints:      71158
3600.17/3610.96	c #Conflicts:     378000 | #Constraints:      72158
3600.17/3610.96	c INPROCESSING
3600.17/3610.96	c GARBAGE COLLECT
3600.17/3610.96	c #Conflicts:     379000 | #Constraints:      55706
3600.17/3610.96	c #Conflicts:     380000 | #Constraints:      56706
3600.17/3610.96	c #Conflicts:     381000 | #Constraints:      57706
3600.17/3610.96	c #Conflicts:     382000 | #Constraints:      58706
3600.17/3610.96	c #Conflicts:     383000 | #Constraints:      59706
3600.17/3610.96	c #Conflicts:     384000 | #Constraints:      60706
3600.17/3610.96	c #Conflicts:     385000 | #Constraints:      61706
3600.17/3610.96	c #Conflicts:     386000 | #Constraints:      62706
3600.17/3610.96	c Program interrupted by user.
3600.17/3610.96	c cpu time 3592.93 s
3600.17/3610.96	c deterministic time 166967874546 1.67e+11
3600.17/3610.96	c optimization time 99.7521 s
3600.17/3610.96	c total solve time 3193.39 s
3600.17/3610.96	c core-guided solve time 3193.39 s
3600.17/3610.96	c propagation time 1076.68 s
3600.17/3610.96	c conflict analysis time 2113.66 s
3600.17/3610.96	c propagations 1097839987
3600.17/3610.96	c resolve steps 21568625
3600.17/3610.96	c decisions 5871716
3600.17/3610.96	c conflicts 386132
3600.17/3610.96	c restarts 923
3600.17/3610.96	c inprocessing phases 35
3600.17/3610.96	c input clauses 37450
3600.17/3610.96	c input cardinalities 551
3600.17/3610.96	c input general constraints 9
3600.17/3610.96	c input average constraint length 11.89
3600.17/3610.96	c input average constraint degree 13128.47
3600.17/3610.96	c learned clauses 211526
3600.17/3610.96	c learned cardinalities 14254
3600.17/3610.96	c learned general constraints 160351
3600.17/3610.96	c learned average constraint length 3248.24
3600.17/3610.96	c learned average constraint degree 31337195.54
3600.17/3610.96	c watched constraints 103197
3600.17/3610.96	c counting constraints 57163
3600.17/3610.96	c gcd simplifications 1611
3600.17/3610.96	c detected cardinalities 430
3600.17/3610.96	c weakened non-implied lits 1058759281
3600.17/3610.96	c weakened non-implying lits 257273
3600.17/3610.96	c original variables 40451
3600.17/3610.96	c clausal propagations 727634926
3600.17/3610.96	c cardinality propagations 63782611
3600.17/3610.96	c watched propagations 16361150
3600.17/3610.96	c counting propagations 284550769
3600.17/3610.96	c watch lookups 17260248685
3600.17/3610.96	c watch backjump lookups 15589244623
3600.17/3610.96	c watch checks 88745300306
3600.17/3610.96	c propagation checks 36929456465
3600.17/3610.96	c constraint additions 6235841329
3600.17/3610.96	c trail pops 1104071434
3600.17/3610.96	c formula constraints 37335
3600.17/3610.96	c learned constraints 386131
3600.17/3610.96	c bound constraints 8
3600.17/3610.96	c core-guided constraints 667
3600.17/3610.96	c encountered formula constraints 16829138
3600.17/3610.96	c encountered learned constraints 5023097
3600.17/3610.96	c encountered bound constraints 0
3600.17/3610.96	c encountered core-guided constraints 102569
3600.17/3610.96	c LP total time 0 s
3600.17/3610.96	c LP solve time 0 s
3600.17/3610.96	c LP constraints added 0
3600.17/3610.96	c LP constraints removed 0
3600.17/3610.96	c LP pivots internal 0
3600.17/3610.96	c LP pivots root 0
3600.17/3610.96	c LP calls 0
3600.17/3610.96	c LP optimalities 0
3600.17/3610.96	c LP no pivot count 0
3600.17/3610.96	c LP infeasibilities 0
3600.17/3610.96	c LP valid Farkas constraints 0
3600.17/3610.96	c LP learned Farkas constraints 0
3600.17/3610.96	c LP basis resets 0
3600.17/3610.96	c LP cycling count 0
3600.17/3610.96	c LP singular count 0
3600.17/3610.96	c LP no primal count 0
3600.17/3610.96	c LP no farkas count 0
3600.17/3610.96	c LP other issue count 0
3600.17/3610.96	c LP Gomory cuts 0
3600.17/3610.96	c LP learned cuts 0
3600.17/3610.96	c LP deleted cuts 0
3600.17/3610.96	c LP encountered Gomory constraints 0
3600.17/3610.96	c LP encountered Farkas constraints 0
3600.17/3610.96	c LP encountered learned Farkas constraints 0
3600.17/3610.96	c CG auxiliary variables introduced 620
3600.17/3610.96	c CG solutions found 0
3600.17/3610.96	c CG cores constructed 7
3600.17/3610.96	c CG core cardinality constraints returned 5
3600.17/3610.96	c CG unit cores 0
3600.17/3610.96	c CG single cores 7
3600.17/3610.96	c CG blocks removed during cardinality reduction 17
3600.17/3610.96	c CG first core best 0
3600.17/3610.96	c CG decision core best 0
3600.17/3610.96	c CG core reduction tie 0
3600.17/3610.96	c CG core degree average 25.71
3600.17/3610.96	c CG core slack average 8.14
3600.17/3610.96	c CG exhausted 0
3600.17/3610.96	c CG exhaust time 0 s
3600.17/3610.96	c CG trimmed 0
3600.17/3610.96	c CG trim time 0.000955 s
3600.17/3610.96	c CG minimized 0
3600.17/3610.96	c CG minimize time 0 s
3600.17/3610.96	c CG am1 prop time 0.173461 s
3600.17/3610.96	c CG # am1s reformulated 620
3600.17/3610.96	c CG lower bound derived from am1s 70149569
3600.17/3610.96	c CG # clausal cores 2
3600.17/3610.96	c CG # cardinality cores 5
3600.17/3610.96	c CG # pb cores 0
3600.17/3610.96	c CG # pb reforms 0
3600.17/3610.96	c CG # cores discarded because of pb reform 0
3600.17/3610.96	d LOWERBOUND -14052215
3600.17/3610.96	d NCORES 7
3600.17/3610.96	d NPBCORES 0
3600.17/3610.96	d NPBREFORM 0
3600.17/3610.96	d NTRIMMED 0
3600.17/3610.96	d NEXHAUSTED 0
3600.17/3610.96	d NAM1S 620
3600.17/3610.96	d AM1LB 70149569
3600.17/3610.96	c [Papilo Statistics]
3600.17/3610.96	c prepro time 0.28151s
3600.17/3610.96	c # tsx applied 639
3600.17/3610.96	c # tsx conflicts 0
3600.17/3610.96	c # bound changes 3731
3600.17/3610.96	c # side changes 68
3600.17/3610.96	c # coef changes 9
3600.17/3610.96	c # rounds 6
3600.17/3610.96	c # deted vars 3733
3600.17/3610.96	c # deted constrs 3680
3600.17/3610.96	c # consecutive rounds of only bound changes 0
3600.17/3611.00	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: 63837 MiB (62489 MiB free)
  memory of node 1: 64465 MiB (63458 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100098 s]*
/proc/loadavg: 0.70 1.10 1.92 3/244 68243
/proc/meminfo: memFree=128950072/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=40272 memory=1024 CPUtime=0 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) D 68235 68238 68194 0 -1 4194304 122 0 3 0 0 0 0 0 20 0 1 0 64613157 41238528 256 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 10068 256 256 2842 0 1377 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 1024 KiB

[startup+0.213902 s]*
/proc/loadavg: 0.70 1.10 1.92 5/244 68243
/proc/meminfo: memFree=128920868/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=92224 memory=18080 CPUtime=0.07 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 3857 0 8 0 5 2 0 0 20 0 1 0 64613157 94437376 4520 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 23056 4520 2112 2842 0 5289 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 92224 KiB
Current children cumulated memory: 18080 KiB

[startup+0.315209 s]*
/proc/loadavg: 0.70 1.10 1.92 6/244 68243
/proc/meminfo: memFree=128900708/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=95808 memory=21920 CPUtime=0.16 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 4823 0 8 0 14 2 0 0 20 0 1 0 64613157 98107392 5480 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 23952 5480 2112 2842 0 6185 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 95808 KiB
Current children cumulated memory: 21920 KiB

[startup+0.700361 s]
/proc/loadavg: 0.70 1.10 1.92 5/244 68243
/proc/meminfo: memFree=128856164/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=115832 memory=40936 CPUtime=0.53 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 8446 0 8 0 49 4 0 0 20 0 1 0 64613157 118611968 10202 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 28958 10202 2144 2842 0 11191 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 115832 KiB
Current children cumulated memory: 40936 KiB

[startup+1.50035 s]
/proc/loadavg: 0.70 1.10 1.92 5/240 68243
/proc/meminfo: memFree=128739448/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=283536 memory=204992 CPUtime=1.29 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 47343 0 10 0 113 16 0 0 20 0 1 0 64613157 290340864 51248 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 70884 51248 4032 2842 0 52578 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 283536 KiB
Current children cumulated memory: 204992 KiB

[startup+3.11293 s]
/proc/loadavg: 0.97 1.15 1.93 5/250 68263
/proc/meminfo: memFree=127754236/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=377376 memory=295808 CPUtime=2.89 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 73298 0 10 0 268 21 0 0 20 0 1 0 64613157 386433024 73952 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 94344 73952 4064 2842 0 76038 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 377376 KiB
Current children cumulated memory: 295808 KiB

[startup+6.30031 s]
/proc/loadavg: 0.97 1.15 1.93 5/250 68263
/proc/meminfo: memFree=127283168/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=384800 memory=303104 CPUtime=6.08 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 75131 0 10 0 586 22 0 0 20 0 1 0 64613157 394035200 75776 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 96200 75776 4064 2842 0 77894 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 384800 KiB
Current children cumulated memory: 303104 KiB

[startup+12.7003 s]
/proc/loadavg: 1.29 1.21 1.95 5/250 68263
/proc/meminfo: memFree=124321476/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=808364 memory=653956 CPUtime=12.46 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 158516 0 10 0 1208 38 0 0 20 0 1 0 64613157 827764736 163489 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 202091 163489 4256 2842 0 183785 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 808364 KiB
Current children cumulated memory: 653956 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.35 1.98 5/250 68263
/proc/meminfo: memFree=115989376/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=808364 memory=659076 CPUtime=25.21 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 159801 0 10 0 2483 38 0 0 20 0 1 0 64613157 827764736 164769 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 202091 164769 4256 2842 0 183785 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 808364 KiB
Current children cumulated memory: 659076 KiB

[startup+51.113 s]
/proc/loadavg: 2.61 1.56 2.04 5/250 68263
/proc/meminfo: memFree=111691180/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=808364 memory=659972 CPUtime=50.74 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 160051 0 10 0 5036 38 0 0 20 0 1 0 64613157 827764736 164993 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 202091 164993 4256 2842 0 183785 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 808364 KiB
Current children cumulated memory: 659972 KiB

[startup+102.3 s]
/proc/loadavg: 3.52 1.97 2.15 5/250 68265
/proc/meminfo: memFree=109762796/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=826236 memory=673252 CPUtime=101.74 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 163401 0 10 0 10135 39 0 0 20 0 1 0 64613157 846065664 168313 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 206559 168313 4256 2842 0 188253 0
Current children cumulated CPU time: 101.74 s
Current children cumulated vsize: 826236 KiB
Current children cumulated memory: 673252 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.36 2.28 5/249 68269
/proc/meminfo: memFree=107512440/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=852196 memory=695616 CPUtime=161.53 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 168243 0 10 0 16112 41 0 0 20 0 1 0 64613157 872648704 173904 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 213049 173904 4256 2842 0 194743 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 852196 KiB
Current children cumulated memory: 695616 KiB

[startup+222.3 s]
/proc/loadavg: 3.96 2.66 2.39 5/249 68271
/proc/meminfo: memFree=107484888/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=956652 memory=800448 CPUtime=221.31 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 194459 0 10 0 22086 45 0 0 20 0 1 0 64613157 979611648 200112 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 239163 200112 4256 2842 0 220857 0
Current children cumulated CPU time: 221.31 s
Current children cumulated vsize: 956652 KiB
Current children cumulated memory: 800448 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.94 2.50 5/249 68273
/proc/meminfo: memFree=107413540/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=956652 memory=801984 CPUtime=281.11 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 194970 0 10 0 28064 47 0 0 20 0 1 0 64613157 979611648 200496 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 239163 200496 4256 2842 0 220857 0
Current children cumulated CPU time: 281.11 s
Current children cumulated vsize: 956652 KiB
Current children cumulated memory: 801984 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.15 2.60 5/249 68275
/proc/meminfo: memFree=112381712/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=955380 memory=842184 CPUtime=340.93 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 198217 0 10 0 34004 89 0 0 20 0 1 0 64613157 978309120 210546 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 238845 210546 4416 2842 0 220539 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 955380 KiB
Current children cumulated memory: 842184 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.32 2.70 5/250 68282
/proc/meminfo: memFree=112190356/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=1005468 memory=884236 CPUtime=400.77 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 198997 0 10 0 39965 112 0 0 20 0 1 0 64613157 1029599232 221059 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 251367 221059 4416 2842 0 233061 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 1005468 KiB
Current children cumulated memory: 884236 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.46 2.79 5/250 68284
/proc/meminfo: memFree=111917908/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=1086856 memory=927916 CPUtime=460.61 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 199189 0 10 0 45936 125 0 0 20 0 1 0 64613157 1112940544 231979 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 271714 231979 4416 2842 0 253408 0
Current children cumulated CPU time: 460.61 s

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

/proc/68238/statm: 741963 580519 4416 2842 0 723657 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 2967852 KiB
Current children cumulated memory: 2322076 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/250 68419
/proc/meminfo: memFree=103762208/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3056068 memory=2382364 CPUtime=2913.62 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 339510 0 10 0 290730 632 0 0 20 0 1 0 64613157 3129413632 595591 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 764017 595591 4416 2842 0 745711 0
Current children cumulated CPU time: 2913.62 s
Current children cumulated vsize: 3056068 KiB
Current children cumulated memory: 2382364 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/250 68421
/proc/meminfo: memFree=103304112/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3065448 memory=2448596 CPUtime=2973.43 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 342788 0 10 0 296703 640 0 0 20 0 1 0 64613157 3139018752 612149 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 766362 612149 4416 2842 0 748056 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 3065448 KiB
Current children cumulated memory: 2448596 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/250 68423
/proc/meminfo: memFree=102703580/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3085388 memory=2659996 CPUtime=3033.24 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 353207 0 10 0 302668 656 0 0 20 0 1 0 64613157 3159437312 664999 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 771347 664999 4416 2842 0 753041 0
Current children cumulated CPU time: 3033.24 s
Current children cumulated vsize: 3085388 KiB
Current children cumulated memory: 2659996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/249 68425
/proc/meminfo: memFree=102248904/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3093.07 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355045 0 10 0 308640 667 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.71 4.27 4.11 5/250 68430
/proc/meminfo: memFree=101670724/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3152.89 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355045 0 10 0 314615 674 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3222.3 s]
/proc/loadavg: 4.38 4.27 4.12 5/250 68432
/proc/meminfo: memFree=101182744/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3212.71 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355045 0 10 0 320592 679 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3282.3 s]
/proc/loadavg: 4.83 4.40 4.17 5/250 68434
/proc/meminfo: memFree=100844028/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3272.53 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355045 0 10 0 326564 689 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.39 4.18 5/250 68436
/proc/meminfo: memFree=100570776/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3332.35 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355045 0 10 0 332533 702 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.33 4.18 5/250 68442
/proc/meminfo: memFree=100514064/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3392.18 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355427 0 10 0 338510 708 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.28 4.17 5/249 68444
/proc/meminfo: memFree=100513552/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3452.01 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355428 0 10 0 344488 713 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.24 4.16 5/249 68446
/proc/meminfo: memFree=100512968/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3511.83 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355428 0 10 0 350463 720 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.21 4.16 5/249 68448
/proc/meminfo: memFree=100514184/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3571.66 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355428 0 10 0 356436 730 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.10 4.20 4.16 5/249 68449
/proc/meminfo: memFree=100514164/131382120 swapFree=33010160/33010684
[pid=68238] ppid=68235 vsize=3090084 memory=2685732 CPUtime=3600.07 cores=1,3
/proc/68238/stat : 68238 (mixed-bag) R 68235 68238 68194 0 -1 4194304 355428 0 10 0 359276 731 0 0 20 0 1 0 64613157 3164246016 671433 18446744073709551615 4235264 15874749 140728169019248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 41213952 140728169023900 140728169023977 140728169023977 140728169029579 0
/proc/68238/statm: 772521 671433 4416 2842 0 754215 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3090084 KiB
Current children cumulated memory: 2685732 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.94 s, system=7.35759 s

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

[startup+3611 s]*
/proc/loadavg: 4.10 4.20 4.16 4/249 68449
/proc/meminfo: memFree=101087320/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3611.02
CPU time (s): 3600.3
CPU user time (s): 3592.94
CPU system time (s): 7.35759
CPU usage (%): 99.7031
Max. virtual memory (cumulated for all children) (KiB): 3090084
Max. memory (cumulated for all children) (KiB): 2686244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.94
system time used= 7.35759
maximum resident set size= 2686244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355458
page faults= 11
swaps= 0
block input operations= 1384
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 2840


# summary of solver processes directly reported to runsolver:
#   pid: 68238
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3592.94
#   total CPU system time (s): 7.35759

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9199 second user time and 34.2402 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-02 22:49:00
IDJOB=4505621
IDBENCH=155767
IDSOLVER=3340
FILE ID=nodeC008/4505621-1751489340
RUNJOBID= nodeC008-1751489340-68206
SLURM_JOB_ID= 9598550
Free space on /tmp= 432816 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505621-1751489340/watcher-4505621-1751489340 -o /tmp/evaluation-result-4505621-1751489340/solver-4505621-1751489340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751489340-68206 --watchdog 3760  mixed-bag HOME/instance-4505621-1751489340.opb

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

MD5SUM BENCH= 80f0935d0a86591f889a9638d17fdf07
RANDOM SEED=967712545

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128995744 kB
MemAvailable:   129864508 kB
Buffers:            2144 kB
Cached:          1665236 kB
SwapCached:           16 kB
Active:           319568 kB
Inactive:        1434836 kB
Active(anon):      68508 kB
Inactive(anon):    36592 kB
Active(file):     251060 kB
Inactive(file):  1398244 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             78820 kB
Writeback:             0 kB
AnonPages:         90232 kB
Mapped:           103524 kB
Shmem:             17920 kB
KReclaimable:     118176 kB
Slab:             202016 kB
SReclaimable:     118176 kB
SUnreclaim:        83840 kB
KernelStack:        3872 kB
PageTables:         2900 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     347504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432564 MiB
End job on nodeC008 at 2025-07-02 23:49:12