Trace number 4435551

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-02? (TO) 3600.12 3610.02

DiagnosticValue
AM1LB0
LOWERBOUND6
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUMf414edaa70e04e6c4234549a55f077d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
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 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
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.78/0.87	c [STEP] preprocessing with Papilo
1.18/1.24	c [STEP] solving with SCIP
301.12/301.97	c [STEP] preprocessing done, loading into solver
301.42/302.24	c [STEP] solving
301.42/302.24	c #variables 40337 #constraints 154248
301.42/302.24	c SMALL=int, LARGE=long long
301.42/302.24	c bounds - >= 0 @ 300.928
301.42/302.24	c stratification level: 0
1465.33/1469.20	c bounds - >= 1 @ 301.048
1465.33/1469.20	c bounds - >= 2 @ 301.053
1465.33/1469.20	c bounds - >= 3 @ 301.163
1465.33/1469.20	c bounds - >= 4 @ 301.168
1465.33/1469.20	c bounds - >= 5 @ 301.172
1465.33/1469.20	c bounds - >= 6 @ 301.181
1465.33/1469.20	c #Conflicts:       1000 | #Constraints:     155258
1465.33/1469.20	c #Conflicts:       2000 | #Constraints:     156258
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:       3000 | #Constraints:     156275
1465.33/1469.20	c #Conflicts:       4000 | #Constraints:     157275
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:       5000 | #Constraints:     156698
1465.33/1469.20	c #Conflicts:       6000 | #Constraints:     157698
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:       7000 | #Constraints:     156737
1465.33/1469.20	c #Conflicts:       8000 | #Constraints:     157737
1465.33/1469.20	c #Conflicts:       9000 | #Constraints:     158737
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      10000 | #Constraints:     157430
1465.33/1469.20	c #Conflicts:      11000 | #Constraints:     158430
1465.33/1469.20	c #Conflicts:      12000 | #Constraints:     159430
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      13000 | #Constraints:     157849
1465.33/1469.20	c #Conflicts:      14000 | #Constraints:     158849
1465.33/1469.20	c #Conflicts:      15000 | #Constraints:     159849
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      16000 | #Constraints:     158083
1465.33/1469.20	c #Conflicts:      17000 | #Constraints:     159083
1465.33/1469.20	c #Conflicts:      18000 | #Constraints:     160083
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      19000 | #Constraints:     158086
1465.33/1469.20	c #Conflicts:      20000 | #Constraints:     159086
1465.33/1469.20	c #Conflicts:      21000 | #Constraints:     160086
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      22000 | #Constraints:     157927
1465.33/1469.20	c #Conflicts:      23000 | #Constraints:     158927
1465.33/1469.20	c #Conflicts:      24000 | #Constraints:     159927
1465.33/1469.20	c #Conflicts:      25000 | #Constraints:     160927
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      26000 | #Constraints:     158522
1465.33/1469.20	c #Conflicts:      27000 | #Constraints:     159522
1465.33/1469.20	c #Conflicts:      28000 | #Constraints:     160522
1465.33/1469.20	c #Conflicts:      29000 | #Constraints:     161522
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      30000 | #Constraints:     158915
1465.33/1469.20	c #Conflicts:      31000 | #Constraints:     159915
1465.33/1469.20	c #Conflicts:      32000 | #Constraints:     160915
1465.33/1469.20	c #Conflicts:      33000 | #Constraints:     161915
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      34000 | #Constraints:     159146
1465.33/1469.20	c #Conflicts:      35000 | #Constraints:     160146
1465.33/1469.20	c #Conflicts:      36000 | #Constraints:     161146
1465.33/1469.20	c #Conflicts:      37000 | #Constraints:     162146
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      38000 | #Constraints:     159139
1465.33/1469.20	c #Conflicts:      39000 | #Constraints:     160139
1465.33/1469.20	c #Conflicts:      40000 | #Constraints:     161139
1465.33/1469.20	c #Conflicts:      41000 | #Constraints:     162139
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      42000 | #Constraints:     158965
1465.33/1469.20	c #Conflicts:      43000 | #Constraints:     159965
1465.33/1469.20	c #Conflicts:      44000 | #Constraints:     160965
1465.33/1469.20	c #Conflicts:      45000 | #Constraints:     161965
1465.33/1469.20	c #Conflicts:      46000 | #Constraints:     162965
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      47000 | #Constraints:     159579
1465.33/1469.20	c #Conflicts:      48000 | #Constraints:     160579
1465.33/1469.20	c #Conflicts:      49000 | #Constraints:     161579
1465.33/1469.20	c #Conflicts:      50000 | #Constraints:     162579
1465.33/1469.20	c #Conflicts:      51000 | #Constraints:     163579
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      52000 | #Constraints:     159978
1465.33/1469.20	c #Conflicts:      53000 | #Constraints:     160978
1465.33/1469.20	c #Conflicts:      54000 | #Constraints:     161978
1465.33/1469.20	c #Conflicts:      55000 | #Constraints:     162978
1465.33/1469.20	c #Conflicts:      56000 | #Constraints:     163978
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      57000 | #Constraints:     160206
1465.33/1469.20	c #Conflicts:      58000 | #Constraints:     161206
1465.33/1469.20	c #Conflicts:      59000 | #Constraints:     162206
1465.33/1469.20	c #Conflicts:      60000 | #Constraints:     163206
1465.33/1469.20	c #Conflicts:      61000 | #Constraints:     164206
1465.33/1469.20	c INPROCESSING
1465.33/1469.20	c GARBAGE COLLECT
1465.33/1469.20	c #Conflicts:      62000 | #Constraints:     160204
1465.33/1469.20	c #Conflicts:      63000 | #Constraints:     161204
1465.33/1469.20	c #Conflicts:      64000 | #Constraints:     162204
1465.33/1469.20	c #Conflicts:      65000 | #Constraints:     163204
3600.10/3610.01	c #Conflicts:      66000 | #Constraints:     164204
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:      67000 | #Constraints:     159995
3600.10/3610.01	c #Conflicts:      68000 | #Constraints:     160995
3600.10/3610.01	c #Conflicts:      69000 | #Constraints:     161995
3600.10/3610.01	c #Conflicts:      70000 | #Constraints:     162995
3600.10/3610.01	c #Conflicts:      71000 | #Constraints:     163995
3600.10/3610.01	c #Conflicts:      72000 | #Constraints:     164995
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:      73000 | #Constraints:     160705
3600.10/3610.01	c #Conflicts:      74000 | #Constraints:     161705
3600.10/3610.01	c #Conflicts:      75000 | #Constraints:     162705
3600.10/3610.01	c #Conflicts:      76000 | #Constraints:     163705
3600.10/3610.01	c #Conflicts:      77000 | #Constraints:     164705
3600.10/3610.01	c #Conflicts:      78000 | #Constraints:     165705
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:      79000 | #Constraints:     161073
3600.10/3610.01	c #Conflicts:      80000 | #Constraints:     162073
3600.10/3610.01	c #Conflicts:      81000 | #Constraints:     163073
3600.10/3610.01	c #Conflicts:      82000 | #Constraints:     164073
3600.10/3610.01	c #Conflicts:      83000 | #Constraints:     165073
3600.10/3610.01	c #Conflicts:      84000 | #Constraints:     166073
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:      85000 | #Constraints:     161414
3600.10/3610.01	c #Conflicts:      86000 | #Constraints:     162414
3600.10/3610.01	c #Conflicts:      87000 | #Constraints:     163414
3600.10/3610.01	c #Conflicts:      88000 | #Constraints:     164414
3600.10/3610.01	c #Conflicts:      89000 | #Constraints:     165414
3600.10/3610.01	c #Conflicts:      90000 | #Constraints:     166414
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:      91000 | #Constraints:     161457
3600.10/3610.01	c #Conflicts:      92000 | #Constraints:     162457
3600.10/3610.01	c #Conflicts:      93000 | #Constraints:     163457
3600.10/3610.01	c #Conflicts:      94000 | #Constraints:     164457
3600.10/3610.01	c #Conflicts:      95000 | #Constraints:     165457
3600.10/3610.01	c #Conflicts:      96000 | #Constraints:     166457
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:      97000 | #Constraints:     161351
3600.10/3610.01	c #Conflicts:      98000 | #Constraints:     162351
3600.10/3610.01	c #Conflicts:      99000 | #Constraints:     163351
3600.10/3610.01	c #Conflicts:     100000 | #Constraints:     164351
3600.10/3610.01	c #Conflicts:     101000 | #Constraints:     165351
3600.10/3610.01	c #Conflicts:     102000 | #Constraints:     166351
3600.10/3610.01	c #Conflicts:     103000 | #Constraints:     167351
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:     104000 | #Constraints:     161927
3600.10/3610.01	c #Conflicts:     105000 | #Constraints:     162927
3600.10/3610.01	c #Conflicts:     106000 | #Constraints:     163927
3600.10/3610.01	c #Conflicts:     107000 | #Constraints:     164927
3600.10/3610.01	c #Conflicts:     108000 | #Constraints:     165927
3600.10/3610.01	c #Conflicts:     109000 | #Constraints:     166927
3600.10/3610.01	c #Conflicts:     110000 | #Constraints:     167927
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:     111000 | #Constraints:     162282
3600.10/3610.01	c #Conflicts:     112000 | #Constraints:     163282
3600.10/3610.01	c #Conflicts:     113000 | #Constraints:     164282
3600.10/3610.01	c #Conflicts:     114000 | #Constraints:     165282
3600.10/3610.01	c #Conflicts:     115000 | #Constraints:     166282
3600.10/3610.01	c #Conflicts:     116000 | #Constraints:     167282
3600.10/3610.01	c #Conflicts:     117000 | #Constraints:     168282
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:     118000 | #Constraints:     162397
3600.10/3610.01	c #Conflicts:     119000 | #Constraints:     163397
3600.10/3610.01	c #Conflicts:     120000 | #Constraints:     164397
3600.10/3610.01	c #Conflicts:     121000 | #Constraints:     165397
3600.10/3610.01	c #Conflicts:     122000 | #Constraints:     166397
3600.10/3610.01	c #Conflicts:     123000 | #Constraints:     167397
3600.10/3610.01	c #Conflicts:     124000 | #Constraints:     168397
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:     125000 | #Constraints:     162459
3600.10/3610.01	c #Conflicts:     126000 | #Constraints:     163459
3600.10/3610.01	c #Conflicts:     127000 | #Constraints:     164459
3600.10/3610.01	c #Conflicts:     128000 | #Constraints:     165459
3600.10/3610.01	c #Conflicts:     129000 | #Constraints:     166459
3600.10/3610.01	c #Conflicts:     130000 | #Constraints:     167459
3600.10/3610.01	c #Conflicts:     131000 | #Constraints:     168459
3600.10/3610.01	c INPROCESSING
3600.10/3610.01	c GARBAGE COLLECT
3600.10/3610.01	c #Conflicts:     132000 | #Constraints:     162335
3600.10/3610.01	c Program interrupted by user.
3600.10/3610.01	c cpu time 3595.01 s
3600.10/3610.01	c deterministic time 1428995149518 1.43e+12
3600.10/3610.01	c optimization time 31.2518 s
3600.10/3610.01	c total solve time 3262.84 s
3600.10/3610.01	c core-guided solve time 3262.84 s
3600.10/3610.01	c propagation time 2516.74 s
3600.10/3610.01	c conflict analysis time 732.735 s
3600.10/3610.01	c propagations 477645680
3600.10/3610.01	c resolve steps 5066862
3600.10/3610.01	c decisions 4141810
3600.10/3610.01	c conflicts 132674
3600.10/3610.01	c restarts 363
3600.10/3610.01	c inprocessing phases 28
3600.10/3610.01	c input clauses 154248
3600.10/3610.01	c input cardinalities 7
3600.10/3610.01	c input general constraints 0
3600.10/3610.01	c input average constraint length 2.61
3600.10/3610.01	c input average constraint degree 1.02
3600.10/3610.01	c learned clauses 55905
3600.10/3610.01	c learned cardinalities 246
3600.10/3610.01	c learned general constraints 76526
3600.10/3610.01	c learned average constraint length 7628.90
3600.10/3610.01	c learned average constraint degree 12132085.82
3600.10/3610.01	c watched constraints 76215
3600.10/3610.01	c counting constraints 311
3600.10/3610.01	c gcd simplifications 668
3600.10/3610.01	c detected cardinalities 0
3600.10/3610.01	c weakened non-implied lits 81444682
3600.10/3610.01	c weakened non-implying lits 7753
3600.10/3610.01	c original variables 40363
3600.10/3610.01	c clausal propagations 440502830
3600.10/3610.01	c cardinality propagations 244707
3600.10/3610.01	c watched propagations 35871856
3600.10/3610.01	c counting propagations 403034
3600.10/3610.01	c watch lookups 1928440180
3600.10/3610.01	c watch backjump lookups 1090373420
3600.10/3610.01	c watch checks 906592378695
3600.10/3610.01	c propagation checks 511819784867
3600.10/3610.01	c constraint additions 6600502083
3600.10/3610.01	c trail pops 481882782
3600.10/3610.01	c formula constraints 154248
3600.10/3610.01	c learned constraints 132677
3600.10/3610.01	c bound constraints 7
3600.10/3610.01	c core-guided constraints 0
3600.10/3610.01	c encountered formula constraints 4111450
3600.10/3610.01	c encountered learned constraints 1088055
3600.10/3610.01	c encountered bound constraints 31
3600.10/3610.01	c encountered core-guided constraints 0
3600.10/3610.01	c LP total time 0 s
3600.10/3610.01	c LP solve time 0 s
3600.10/3610.01	c LP constraints added 0
3600.10/3610.01	c LP constraints removed 0
3600.10/3610.01	c LP pivots internal 0
3600.10/3610.01	c LP pivots root 0
3600.10/3610.01	c LP calls 0
3600.10/3610.01	c LP optimalities 0
3600.10/3610.01	c LP no pivot count 0
3600.10/3610.01	c LP infeasibilities 0
3600.10/3610.01	c LP valid Farkas constraints 0
3600.10/3610.01	c LP learned Farkas constraints 0
3600.10/3610.01	c LP basis resets 0
3600.10/3610.01	c LP cycling count 0
3600.10/3610.01	c LP singular count 0
3600.10/3610.01	c LP no primal count 0
3600.10/3610.01	c LP no farkas count 0
3600.10/3610.01	c LP other issue count 0
3600.10/3610.01	c LP Gomory cuts 0
3600.10/3610.01	c LP learned cuts 0
3600.10/3610.01	c LP deleted cuts 0
3600.10/3610.01	c LP encountered Gomory constraints 0
3600.10/3610.01	c LP encountered Farkas constraints 0
3600.10/3610.01	c LP encountered learned Farkas constraints 0
3600.10/3610.01	c CG auxiliary variables introduced 0
3600.10/3610.01	c CG solutions found 0
3600.10/3610.01	c CG cores constructed 6
3600.10/3610.01	c CG core cardinality constraints returned 0
3600.10/3610.01	c CG unit cores 0
3600.10/3610.01	c CG single cores 6
3600.10/3610.01	c CG blocks removed during cardinality reduction 0
3600.10/3610.01	c CG first core best 0
3600.10/3610.01	c CG decision core best 0
3600.10/3610.01	c CG core reduction tie 0
3600.10/3610.01	c CG core degree average 1.00
3600.10/3610.01	c CG core slack average 105.33
3600.10/3610.01	c CG exhausted 0
3600.10/3610.01	c CG exhaust time 0 s
3600.10/3610.01	c CG trimmed 0
3600.10/3610.01	c CG trim time 0.006756 s
3600.10/3610.01	c CG minimized 0
3600.10/3610.01	c CG minimize time 0 s
3600.10/3610.01	c CG am1 prop time 0.010544 s
3600.10/3610.01	c CG # am1s reformulated 0
3600.10/3610.01	c CG lower bound derived from am1s 0
3600.10/3610.01	c CG # clausal cores 6
3600.10/3610.01	c CG # cardinality cores 0
3600.10/3610.01	c CG # pb cores 0
3600.10/3610.01	c CG # pb reforms 0
3600.10/3610.01	c CG # cores discarded because of pb reform 0
3600.10/3610.01	d LOWERBOUND 6
3600.10/3610.01	d NCORES 6
3600.10/3610.01	d NPBCORES 0
3600.10/3610.01	d NPBREFORM 0
3600.10/3610.01	d NTRIMMED 0
3600.10/3610.01	d NEXHAUSTED 0
3600.10/3610.01	d NAM1S 0
3600.10/3610.01	d AM1LB 0
3600.10/3610.01	c [Papilo Statistics]
3600.10/3610.01	c prepro time 0.373668s
3600.10/3610.01	c # tsx applied 66
3600.10/3610.01	c # tsx conflicts 0
3600.10/3610.01	c # bound changes 5
3600.10/3610.01	c # side changes 44
3600.10/3610.01	c # coef changes 154
3600.10/3610.01	c # rounds 2
3600.10/3610.01	c # deted vars 27
3600.10/3610.01	c # deted constrs 71
3600.10/3610.01	c # consecutive rounds of only bound changes 0
3600.10/3610.01	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62957 MiB free)
  memory of node 1: 64510 MiB (63156 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435551-1721105437/watcher-4435551-1721105437 -o /tmp/evaluation-result-4435551-1721105437/solver-4435551-1721105437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830110 --watchdog 3760 mixed-bag HOME/instance-4435551-1721105437.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=834161, runsolver pid=834158
Current StackSize limit: 8192 KiB


[startup+0.100818 s]*
/proc/loadavg: 4.58 4.21 4.13 5/243 834162
/proc/meminfo: memFree=129128520/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=90672 memory=19444 CPUtime=0.1 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 3424 0 0 0 9 1 0 0 20 0 1 0 162703019 92848128 4861 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 22668 4861 1625 3002 0 6958 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 90672 KiB
Current children cumulated memory: 19444 KiB

[startup+0.212975 s]*
/proc/loadavg: 4.62 4.23 4.14 5/243 834162
/proc/meminfo: memFree=129121504/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=92720 memory=21984 CPUtime=0.2 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 4093 0 0 0 19 1 0 0 20 0 1 0 162703019 94945280 5496 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 23180 5496 1625 3002 0 7470 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92720 KiB
Current children cumulated memory: 21984 KiB

[startup+0.312904 s]*
/proc/loadavg: 4.62 4.23 4.14 5/243 834162
/proc/meminfo: memFree=129119024/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=96816 memory=24468 CPUtime=0.31 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 4686 0 0 0 29 2 0 0 20 0 1 0 162703019 99139584 6117 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 24204 6117 1625 3002 0 8494 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96816 KiB
Current children cumulated memory: 24468 KiB

[startup+0.700305 s]
/proc/loadavg: 4.62 4.23 4.14 5/243 834162
/proc/meminfo: memFree=129114132/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=105008 memory=33792 CPUtime=0.69 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 5534 0 0 0 66 3 0 0 20 0 1 0 162703019 107528192 8448 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 26252 8448 1625 3002 0 10542 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105008 KiB
Current children cumulated memory: 33792 KiB

[startup+1.5003 s]
/proc/loadavg: 4.62 4.23 4.14 5/243 834162
/proc/meminfo: memFree=129031792/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=355824 memory=286780 CPUtime=1.48 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 58132 0 0 0 134 14 0 0 20 0 1 0 162703019 364363776 71695 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 88956 71695 3634 3002 0 72707 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355824 KiB
Current children cumulated memory: 286780 KiB

[startup+3.11271 s]
/proc/loadavg: 4.62 4.23 4.14 5/243 834163
/proc/meminfo: memFree=128641660/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=557848 memory=480956 CPUtime=3.08 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 102613 0 0 0 286 22 0 0 20 0 1 0 162703019 571236352 120239 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 139462 120239 3778 3002 0 123213 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 557848 KiB
Current children cumulated memory: 480956 KiB

[startup+6.30029 s]
/proc/loadavg: 4.65 4.24 4.14 6/243 834209
/proc/meminfo: memFree=128387940/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=768676 memory=638476 CPUtime=6.26 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 137464 0 0 0 599 27 0 0 20 0 1 0 162703019 787124224 159619 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 192169 159619 3872 3002 0 175920 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 768676 KiB
Current children cumulated memory: 638476 KiB

[startup+12.7003 s]
/proc/loadavg: 4.68 4.25 4.15 5/243 834211
/proc/meminfo: memFree=127897372/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1078112 memory=935828 CPUtime=12.64 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 208859 0 0 0 1228 36 0 0 20 0 1 0 162703019 1103986688 233957 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 269528 233957 4000 3002 0 253279 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1078112 KiB
Current children cumulated memory: 935828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.81 4.29 4.16 5/243 834212
/proc/meminfo: memFree=127862796/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1078112 memory=938580 CPUtime=25.41 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 210203 0 0 0 2504 37 0 0 20 0 1 0 162703019 1103986688 234645 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 269528 234645 4000 3002 0 253279 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1078112 KiB
Current children cumulated memory: 938580 KiB

[startup+51.1127 s]
/proc/loadavg: 4.66 4.31 4.17 5/243 834261
/proc/meminfo: memFree=127552760/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1111860 memory=949380 CPUtime=50.95 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 213043 0 0 0 5057 38 0 0 20 0 1 0 162703019 1138544640 237345 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 277965 237345 4000 3002 0 261716 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1111860 KiB
Current children cumulated memory: 949380 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.26 4.16 5/243 834272
/proc/meminfo: memFree=127432352/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1165744 memory=975448 CPUtime=102.01 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 219093 0 0 0 10161 40 0 0 20 0 1 0 162703019 1193721856 243862 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 291436 243862 4000 3002 0 275187 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1165744 KiB
Current children cumulated memory: 975448 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.24 4.16 6/243 834282
/proc/meminfo: memFree=127424108/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1167972 memory=977060 CPUtime=161.87 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 219851 0 0 0 16147 40 0 0 20 0 1 0 162703019 1196003328 244265 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 291993 244265 4016 3002 0 275744 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1167972 KiB
Current children cumulated memory: 977060 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.23 4.16 5/243 834293
/proc/meminfo: memFree=127392804/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1175800 memory=986060 CPUtime=221.71 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 221647 0 0 0 22131 40 0 0 20 0 1 0 162703019 1204019200 246515 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 293950 246515 4016 3002 0 277701 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1175800 KiB
Current children cumulated memory: 986060 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.22 4.16 5/243 834685
/proc/meminfo: memFree=127375372/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1192304 memory=1001960 CPUtime=281.56 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 224166 0 0 0 28115 41 0 0 20 0 1 0 162703019 1220919296 250490 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 298076 250490 4016 3002 0 281827 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 1192304 KiB
Current children cumulated memory: 1001960 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/243 834697
/proc/meminfo: memFree=127229584/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1233932 memory=1106232 CPUtime=341.42 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 229219 0 0 0 34074 68 0 0 20 0 1 0 162703019 1263546368 276558 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 308483 276558 4166 3002 0 292234 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 1233932 KiB
Current children cumulated memory: 1106232 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/243 834707
/proc/meminfo: memFree=127084612/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1315320 memory=1157788 CPUtime=401.27 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 229806 0 0 0 40046 81 0 0 20 0 1 0 162703019 1346887680 289447 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 328830 289447 4166 3002 0 312581 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 1315320 KiB
Current children cumulated memory: 1157788 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/245 834888
/proc/meminfo: memFree=127029896/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=1315320 memory=1182404 CPUtime=461.12 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 229941 0 0 0 46017 95 0 0 20 0 1 0 162703019 1346887680 295601 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 328830 295601 4166 3002 0 312581 0

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

Current children cumulated memory: 1599024 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/241 835943
/proc/meminfo: memFree=126235788/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=2854.41 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 240468 0 0 0 285032 409 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 2854.41 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.14 4.17 5/241 835954
/proc/meminfo: memFree=126233428/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=2914.23 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 240685 0 0 0 291003 420 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/244 835969
/proc/meminfo: memFree=126233000/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=2974.05 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 240889 0 0 0 296975 430 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 835979
/proc/meminfo: memFree=126218636/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3033.87 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 241070 0 0 0 302949 438 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 835990
/proc/meminfo: memFree=126181512/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3093.69 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 241285 0 0 0 308925 444 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.14 5/244 836000
/proc/meminfo: memFree=126162600/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3153.53 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 241656 0 0 0 314902 451 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/244 836011
/proc/meminfo: memFree=126162296/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3213.37 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 243230 0 0 0 320878 459 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.15 6/242 836022
/proc/meminfo: memFree=126139204/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3273.21 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 243466 0 0 0 326853 468 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/242 836033
/proc/meminfo: memFree=126138816/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3333.04 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 243768 0 0 0 332828 476 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/243 836043
/proc/meminfo: memFree=126138516/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3392.9 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 244038 0 0 0 338805 485 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/242 836052
/proc/meminfo: memFree=126102336/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3452.75 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 244353 0 0 0 344782 493 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/242 836063
/proc/meminfo: memFree=126095948/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3512.61 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 244679 0 0 0 350763 498 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.13 5/243 836077
/proc/meminfo: memFree=126095632/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3572.45 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 245082 0 0 0 356739 506 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.23 4.14 4.14 4/236 836112
/proc/meminfo: memFree=126553524/131655788 swapFree=131071996/131071996
[pid=834161] ppid=834158 vsize=2011752 memory=1599024 CPUtime=3600.1 cores=1,3
/proc/834161/stat : 834161 (mixed-bag) R 834158 834161 830098 0 -1 4194304 245231 0 0 0 359501 509 0 0 20 0 1 0 162703019 2060034048 399756 134679101440 4194304 16487941 140725130109888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 52338688 140725130114071 140725130114148 140725130114148 140725130121163 0
/proc/834161/statm: 502938 399756 4166 3002 0 486689 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2011752 KiB
Current children cumulated memory: 1599024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.02 s, system=5.09599 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.12
CPU user time (s): 3595.02
CPU system time (s): 5.09599
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 2011752
Max. memory (cumulated for all children) (KiB): 1599024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.02
system time used= 5.09599
maximum resident set size= 1599024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245270
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= 140
involuntary context switches= 1412


# summary of solver processes directly reported to runsolver:
#   pid: 834161
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3595.02
#   total CPU system time (s): 5.09599

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6048 second user time and 36.1303 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-16 06:50:49
IDJOB=4435551
IDBENCH=148186
IDSOLVER=3066
FILE ID=nodeC010/4435551-1721105437
RUNJOBID= nodeC010-1721098226-830110
SLURM_JOB_ID= 7505613
Free space on /tmp= 723728 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435551-1721105437/watcher-4435551-1721105437 -o /tmp/evaluation-result-4435551-1721105437/solver-4435551-1721105437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830110 --watchdog 3760  mixed-bag HOME/instance-4435551-1721105437.opb

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

MD5SUM BENCH= f414edaa70e04e6c4234549a55f077d1
RANDOM SEED=1251765061

nodeC010.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	: 0xb00001f
cpu MHz		: 3663.474
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 invpcid_single pti 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	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1928.934
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 invpcid_single pti 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	: 6983.31
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		: 1197.359
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 invpcid_single pti 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	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.175
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 invpcid_single pti 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	: 6983.31
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		: 3639.024
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 invpcid_single pti 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	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3411.604
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 invpcid_single pti 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	: 6983.31
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.364
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 invpcid_single pti 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	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.364
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 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129140716 kB
MemAvailable:   129539560 kB
Buffers:          397304 kB
Cached:           844864 kB
SwapCached:            0 kB
Active:           733820 kB
Inactive:        1259776 kB
Active(anon):       1432 kB
Inactive(anon):   787692 kB
Active(file):     732388 kB
Inactive(file):   472084 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             37872 kB
Writeback:             0 kB
AnonPages:        749948 kB
Mapped:           138100 kB
Shmem:             37704 kB
KReclaimable:      68808 kB
Slab:             161724 kB
SReclaimable:      68808 kB
SUnreclaim:        92916 kB
KernelStack:        3904 kB
PageTables:        11080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1223196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    460800 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:      187208 kB
DirectMap2M:    18591744 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC010 at 2024-07-16 07:50:59