Trace number 4435678

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.47 3609.55

DiagnosticValue
AM1LB83039496
LOWERBOUND-55273470
NAM1S606
NCORES4
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
MD5SUMb6518815c856eaafc5c2f585e9c40549
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 benchmark-157192
Best CPU time to get the best result obtained on this benchmark68193.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 170372
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 139771126
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 139771126
Number of bits of the biggest sum of numbers28
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
2.09/2.12	c [STEP] preprocessing with Papilo
6.47/6.56	c [STEP] solving with SCIP
307.15/308.21	c [STEP] preprocessing done, loading into solver
307.74/308.80	c [STEP] solving
307.74/308.80	c #variables 227844 #constraints 229001
307.74/308.81	c SMALL=int, LARGE=long long
307.74/308.83	c bounds - >= -139771126 @ 306.488
307.74/308.83	c stratification level: 4181
2033.05/2038.47	c bounds - >= -56044200 @ 311.973
2033.05/2038.47	c bounds - >= -55367192 @ 312.009
2033.05/2038.47	c bounds - >= -55340366 @ 312.023
2033.05/2038.47	c bounds - >= -55273470 @ 312.035
2033.05/2038.47	c #Conflicts:       1000 | #Constraints:     230733
2033.05/2038.47	c #Conflicts:       2000 | #Constraints:     231733
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:       3000 | #Constraints:     228554
2033.05/2038.47	c #Conflicts:       4000 | #Constraints:     229554
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:       5000 | #Constraints:     228984
2033.05/2038.47	c #Conflicts:       6000 | #Constraints:     229984
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:       7000 | #Constraints:     229032
2033.05/2038.47	c #Conflicts:       8000 | #Constraints:     230032
2033.05/2038.47	c #Conflicts:       9000 | #Constraints:     231032
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      10000 | #Constraints:     229783
2033.05/2038.47	c #Conflicts:      11000 | #Constraints:     230783
2033.05/2038.47	c #Conflicts:      12000 | #Constraints:     231783
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      13000 | #Constraints:     230246
2033.05/2038.47	c #Conflicts:      14000 | #Constraints:     231246
2033.05/2038.47	c #Conflicts:      15000 | #Constraints:     232246
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      16000 | #Constraints:     230526
2033.05/2038.47	c #Conflicts:      17000 | #Constraints:     231526
2033.05/2038.47	c #Conflicts:      18000 | #Constraints:     232526
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      19000 | #Constraints:     230532
2033.05/2038.47	c #Conflicts:      20000 | #Constraints:     231532
2033.05/2038.47	c #Conflicts:      21000 | #Constraints:     232532
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      22000 | #Constraints:     230361
2033.05/2038.47	c #Conflicts:      23000 | #Constraints:     231361
2033.05/2038.47	c #Conflicts:      24000 | #Constraints:     232361
2033.05/2038.47	c #Conflicts:      25000 | #Constraints:     233361
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      26000 | #Constraints:     225182
2033.05/2038.47	c #Conflicts:      27000 | #Constraints:     226182
2033.05/2038.47	c #Conflicts:      28000 | #Constraints:     227182
2033.05/2038.47	c #Conflicts:      29000 | #Constraints:     228182
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      30000 | #Constraints:     226104
2033.05/2038.47	c #Conflicts:      31000 | #Constraints:     227104
2033.05/2038.47	c #Conflicts:      32000 | #Constraints:     228104
2033.05/2038.47	c #Conflicts:      33000 | #Constraints:     229104
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      34000 | #Constraints:     226608
2033.05/2038.47	c #Conflicts:      35000 | #Constraints:     227608
2033.05/2038.47	c #Conflicts:      36000 | #Constraints:     228608
2033.05/2038.47	c #Conflicts:      37000 | #Constraints:     229608
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      38000 | #Constraints:     226760
2033.05/2038.47	c #Conflicts:      39000 | #Constraints:     227760
2033.05/2038.47	c #Conflicts:      40000 | #Constraints:     228760
2033.05/2038.47	c #Conflicts:      41000 | #Constraints:     229760
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      42000 | #Constraints:     226647
2033.05/2038.47	c #Conflicts:      43000 | #Constraints:     227647
2033.05/2038.47	c #Conflicts:      44000 | #Constraints:     228647
2033.05/2038.47	c #Conflicts:      45000 | #Constraints:     229647
2033.05/2038.47	c #Conflicts:      46000 | #Constraints:     230647
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      47000 | #Constraints:     227304
2033.05/2038.47	c #Conflicts:      48000 | #Constraints:     228304
2033.05/2038.47	c #Conflicts:      49000 | #Constraints:     229304
2033.05/2038.47	c #Conflicts:      50000 | #Constraints:     230304
2033.05/2038.47	c #Conflicts:      51000 | #Constraints:     231304
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      52000 | #Constraints:     227742
2033.05/2038.47	c #Conflicts:      53000 | #Constraints:     228742
2033.05/2038.47	c #Conflicts:      54000 | #Constraints:     229742
2033.05/2038.47	c #Conflicts:      55000 | #Constraints:     230742
2033.05/2038.47	c #Conflicts:      56000 | #Constraints:     231742
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      57000 | #Constraints:     227982
2033.05/2038.47	c #Conflicts:      58000 | #Constraints:     228982
2033.05/2038.47	c #Conflicts:      59000 | #Constraints:     229982
2033.05/2038.47	c #Conflicts:      60000 | #Constraints:     230982
2033.05/2038.47	c #Conflicts:      61000 | #Constraints:     231982
2033.05/2038.47	c INPROCESSING
2033.05/2038.47	c GARBAGE COLLECT
2033.05/2038.47	c #Conflicts:      62000 | #Constraints:     228013
2033.05/2038.47	c #Conflicts:      63000 | #Constraints:     229013
2033.05/2038.47	c #Conflicts:      64000 | #Constraints:     230013
2033.05/2038.47	c #Conflicts:      65000 | #Constraints:     231013
2033.05/2038.47	c #Conflicts:      66000 | #Constraints:     232013
3600.32/3609.45	c INPROCESSING
3600.32/3609.45	c GARBAGE COLLECT
3600.32/3609.45	c #Conflicts:      67000 | #Constraints:     227886
3600.32/3609.45	c #Conflicts:      68000 | #Constraints:     228886
3600.32/3609.45	c #Conflicts:      69000 | #Constraints:     229886
3600.32/3609.45	c #Conflicts:      70000 | #Constraints:     230886
3600.32/3609.45	c #Conflicts:      71000 | #Constraints:     231886
3600.32/3609.45	c #Conflicts:      72000 | #Constraints:     232886
3600.32/3609.45	c INPROCESSING
3600.32/3609.45	c GARBAGE COLLECT
3600.32/3609.45	c #Conflicts:      73000 | #Constraints:     228531
3600.32/3609.45	c #Conflicts:      74000 | #Constraints:     229531
3600.32/3609.45	c #Conflicts:      75000 | #Constraints:     230531
3600.32/3609.45	c #Conflicts:      76000 | #Constraints:     231531
3600.32/3609.45	c #Conflicts:      77000 | #Constraints:     232531
3600.32/3609.45	c #Conflicts:      78000 | #Constraints:     233531
3600.32/3609.45	c INPROCESSING
3600.32/3609.45	c GARBAGE COLLECT
3600.32/3609.45	c #Conflicts:      79000 | #Constraints:     228966
3600.32/3609.45	c #Conflicts:      80000 | #Constraints:     229966
3600.32/3609.45	c #Conflicts:      81000 | #Constraints:     230966
3600.32/3609.45	c #Conflicts:      82000 | #Constraints:     231966
3600.32/3609.45	c #Conflicts:      83000 | #Constraints:     232966
3600.32/3609.45	c #Conflicts:      84000 | #Constraints:     233966
3600.32/3609.45	c INPROCESSING
3600.32/3609.45	c GARBAGE COLLECT
3600.32/3609.45	c #Conflicts:      85000 | #Constraints:     229192
3600.32/3609.45	c #Conflicts:      86000 | #Constraints:     230192
3600.32/3609.45	c #Conflicts:      87000 | #Constraints:     231192
3600.32/3609.45	c #Conflicts:      88000 | #Constraints:     232192
3600.32/3609.45	c #Conflicts:      89000 | #Constraints:     233192
3600.32/3609.45	c #Conflicts:      90000 | #Constraints:     234192
3600.32/3609.45	c INPROCESSING
3600.32/3609.45	c GARBAGE COLLECT
3600.32/3609.45	c #Conflicts:      91000 | #Constraints:     229101
3600.32/3609.45	c #Conflicts:      92000 | #Constraints:     230101
3600.32/3609.45	c #Conflicts:      93000 | #Constraints:     231101
3600.32/3609.45	c #Conflicts:      94000 | #Constraints:     232101
3600.32/3609.45	c #Conflicts:      95000 | #Constraints:     233101
3600.32/3609.45	c #Conflicts:      96000 | #Constraints:     234101
3600.32/3609.45	c INPROCESSING
3600.32/3609.45	c GARBAGE COLLECT
3600.32/3609.45	c #Conflicts:      97000 | #Constraints:     228941
3600.32/3609.45	c #Conflicts:      98000 | #Constraints:     229941
3600.32/3609.45	c #Conflicts:      99000 | #Constraints:     230941
3600.32/3609.45	c #Conflicts:     100000 | #Constraints:     231941
3600.32/3609.45	c #Conflicts:     101000 | #Constraints:     232941
3600.32/3609.45	c #Conflicts:     102000 | #Constraints:     233941
3600.32/3609.45	c #Conflicts:     103000 | #Constraints:     234941
3600.32/3609.45	c #Conflicts:     104000 | #Constraints:     235941
3600.32/3609.45	c #Conflicts:     105000 | #Constraints:     236941
3600.32/3609.45	c #Conflicts:     106000 | #Constraints:     237941
3600.32/3609.45	c #Conflicts:     107000 | #Constraints:     238941
3600.32/3609.45	c #Conflicts:     108000 | #Constraints:     239941
3600.32/3609.45	c #Conflicts:     109000 | #Constraints:     240941
3600.32/3609.45	c #Conflicts:     110000 | #Constraints:     241941
3600.32/3609.45	c #Conflicts:     111000 | #Constraints:     242941
3600.32/3609.45	c #Conflicts:     112000 | #Constraints:     243941
3600.32/3609.45	c #Conflicts:     113000 | #Constraints:     244941
3600.32/3609.45	c #Conflicts:     114000 | #Constraints:     245941
3600.32/3609.45	c #Conflicts:     115000 | #Constraints:     246941
3600.32/3609.45	c #Conflicts:     116000 | #Constraints:     247941
3600.32/3609.45	c #Conflicts:     117000 | #Constraints:     248941
3600.32/3609.45	c #Conflicts:     118000 | #Constraints:     249941
3600.32/3609.45	c #Conflicts:     119000 | #Constraints:     250941
3600.32/3609.45	c Program interrupted by user.
3600.32/3609.46	c cpu time 3555.1 s
3600.32/3609.46	c deterministic time 142399226051 1.42e+11
3600.32/3609.46	c optimization time 657.763 s
3600.32/3609.46	c total solve time 2590.87 s
3600.32/3609.46	c core-guided solve time 2590.87 s
3600.32/3609.46	c propagation time 1073.62 s
3600.32/3609.46	c conflict analysis time 1917.92 s
3600.32/3609.46	c propagations 3861039751
3600.32/3609.46	c resolve steps 2030798
3600.32/3609.46	c decisions 63361703
3600.32/3609.46	c conflicts 119090
3600.32/3609.46	c restarts 317
3600.32/3609.46	c inprocessing phases 23
3600.32/3609.46	c input clauses 228642
3600.32/3609.46	c input cardinalities 1086
3600.32/3609.46	c input general constraints 6
3600.32/3609.46	c input average constraint length 9.79
3600.32/3609.46	c input average constraint degree 1461.50
3600.32/3609.46	c learned clauses 35664
3600.32/3609.46	c learned cardinalities 14045
3600.32/3609.46	c learned general constraints 69380
3600.32/3609.46	c learned average constraint length 15206.01
3600.32/3609.46	c learned average constraint degree 461027.84
3600.32/3609.46	c watched constraints 28477
3600.32/3609.46	c counting constraints 40909
3600.32/3609.46	c gcd simplifications 14
3600.32/3609.46	c detected cardinalities 152
3600.32/3609.46	c weakened non-implied lits 5898386515
3600.32/3609.46	c weakened non-implying lits 2743
3600.32/3609.46	c original variables 399113
3600.32/3609.46	c clausal propagations 480287600
3600.32/3609.46	c cardinality propagations 43535755
3600.32/3609.46	c watched propagations 345839
3600.32/3609.46	c counting propagations 3294277464
3600.32/3609.46	c watch lookups 1042325416
3600.32/3609.46	c watch backjump lookups 539395588
3600.32/3609.46	c watch checks 2256522398
3600.32/3609.46	c propagation checks 108832761873
3600.32/3609.46	c constraint additions 21879456185
3600.32/3609.46	c trail pops 3924363136
3600.32/3609.46	c formula constraints 229001
3600.32/3609.46	c learned constraints 119089
3600.32/3609.46	c bound constraints 5
3600.32/3609.46	c core-guided constraints 728
3600.32/3609.46	c encountered formula constraints 1906296
3600.32/3609.46	c encountered learned constraints 155027
3600.32/3609.46	c encountered bound constraints 0
3600.32/3609.46	c encountered core-guided constraints 88687
3600.32/3609.46	c LP total time 0 s
3600.32/3609.46	c LP solve time 0 s
3600.32/3609.46	c LP constraints added 0
3600.32/3609.46	c LP constraints removed 0
3600.32/3609.46	c LP pivots internal 0
3600.32/3609.46	c LP pivots root 0
3600.32/3609.46	c LP calls 0
3600.32/3609.46	c LP optimalities 0
3600.32/3609.46	c LP no pivot count 0
3600.32/3609.46	c LP infeasibilities 0
3600.32/3609.46	c LP valid Farkas constraints 0
3600.32/3609.46	c LP learned Farkas constraints 0
3600.32/3609.46	c LP basis resets 0
3600.32/3609.46	c LP cycling count 0
3600.32/3609.46	c LP singular count 0
3600.32/3609.46	c LP no primal count 0
3600.32/3609.46	c LP no farkas count 0
3600.32/3609.46	c LP other issue count 0
3600.32/3609.46	c LP Gomory cuts 0
3600.32/3609.46	c LP learned cuts 0
3600.32/3609.46	c LP deleted cuts 0
3600.32/3609.46	c LP encountered Gomory constraints 0
3600.32/3609.46	c LP encountered Farkas constraints 0
3600.32/3609.46	c LP encountered learned Farkas constraints 0
3600.32/3609.46	c CG auxiliary variables introduced 606
3600.32/3609.46	c CG solutions found 0
3600.32/3609.46	c CG cores constructed 4
3600.32/3609.46	c CG core cardinality constraints returned 4
3600.32/3609.46	c CG unit cores 0
3600.32/3609.46	c CG single cores 4
3600.32/3609.46	c CG blocks removed during cardinality reduction 20
3600.32/3609.46	c CG first core best 0
3600.32/3609.46	c CG decision core best 0
3600.32/3609.46	c CG core reduction tie 0
3600.32/3609.46	c CG core degree average 40.75
3600.32/3609.46	c CG core slack average 1.00
3600.32/3609.46	c CG exhausted 0
3600.32/3609.46	c CG exhaust time 0 s
3600.32/3609.46	c CG trimmed 0
3600.32/3609.46	c CG trim time 0.002828 s
3600.32/3609.46	c CG minimized 0
3600.32/3609.46	c CG minimize time 0 s
3600.32/3609.46	c CG am1 prop time 1.14609 s
3600.32/3609.46	c CG # am1s reformulated 606
3600.32/3609.46	c CG lower bound derived from am1s 83039496
3600.32/3609.46	c CG # clausal cores 0
3600.32/3609.46	c CG # cardinality cores 4
3600.32/3609.46	c CG # pb cores 0
3600.32/3609.46	c CG # pb reforms 0
3600.32/3609.46	c CG # cores discarded because of pb reform 0
3600.32/3609.46	d LOWERBOUND -55273470
3600.32/3609.46	d NCORES 4
3600.32/3609.46	d NPBCORES 0
3600.32/3609.46	d NPBREFORM 0
3600.32/3609.46	d NTRIMMED 0
3600.32/3609.46	d NEXHAUSTED 0
3600.32/3609.46	d NAM1S 606
3600.32/3609.46	d AM1LB 83039496
3600.32/3609.46	c [Papilo Statistics]
3600.32/3609.46	c prepro time 4.43936s
3600.32/3609.46	c # tsx applied 1282
3600.32/3609.46	c # tsx conflicts 115
3600.32/3609.46	c # bound changes 171239
3600.32/3609.46	c # side changes 195
3600.32/3609.46	c # coef changes 241
3600.32/3609.46	c # rounds 4
3600.32/3609.46	c # deted vars 171270
3600.32/3609.46	c # deted constrs 172172
3600.32/3609.46	c # consecutive rounds of only bound changes 0
3600.42/3609.53	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61570 MiB free)
  memory of node 1: 64510 MiB (52965 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435678-1721148856/watcher-4435678-1721148856 -o /tmp/evaluation-result-4435678-1721148856/solver-4435678-1721148856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721141632-886875 --watchdog 3760 mixed-bag HOME/instance-4435678-1721148856.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.1001 s]*
/proc/loadavg: 4.10 4.13 4.15 5/257 890940
/proc/meminfo: memFree=117217736/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=165376 memory=76584 CPUtime=0.09 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 14974 0 0 0 7 2 0 0 20 0 1 0 167047507 169345024 19146 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 41344 19146 1609 3002 0 25634 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 165376 KiB
Current children cumulated memory: 76584 KiB

[startup+0.205853 s]*
/proc/loadavg: 4.10 4.13 4.15 5/257 890940
/proc/meminfo: memFree=117188664/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=189024 memory=102244 CPUtime=0.19 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 19348 0 0 0 16 3 0 0 20 0 1 0 167047507 193560576 25561 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 47256 25561 1625 3002 0 31546 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 189024 KiB
Current children cumulated memory: 102244 KiB

[startup+0.305712 s]*
/proc/loadavg: 4.10 4.13 4.15 5/257 890940
/proc/meminfo: memFree=117171472/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=205408 memory=119208 CPUtime=0.3 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 19974 0 0 0 26 4 0 0 20 0 1 0 167047507 210337792 29802 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 51352 29802 1625 3002 0 35642 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 205408 KiB
Current children cumulated memory: 119208 KiB

[startup+0.70025 s]
/proc/loadavg: 4.10 4.13 4.15 5/257 890940
/proc/meminfo: memFree=117171328/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=205452 memory=124784 CPUtime=0.69 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 20873 0 0 0 64 5 0 0 20 0 1 0 167047507 210382848 31196 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 51363 31196 1625 3002 0 35653 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 124784 KiB

[startup+1.50022 s]
/proc/loadavg: 4.10 4.13 4.15 6/256 890954
/proc/meminfo: memFree=124642812/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=316396 memory=238796 CPUtime=1.48 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 26853 0 0 0 139 9 0 0 20 0 1 0 167047507 323989504 59699 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 79099 59699 1625 3002 0 63389 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 316396 KiB
Current children cumulated memory: 238796 KiB

[startup+3.10489 s]
/proc/loadavg: 4.10 4.13 4.15 6/255 890954
/proc/meminfo: memFree=124276260/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=644280 memory=510776 CPUtime=3.09 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 43528 0 0 0 287 22 0 0 20 0 1 0 167047507 659742720 127694 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 161070 127694 1828 3002 0 144821 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 644280 KiB
Current children cumulated memory: 510776 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.13 4.15 6/255 890955
/proc/meminfo: memFree=124269948/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=652544 memory=515396 CPUtime=6.27 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 44733 0 0 0 605 22 0 0 20 0 1 0 167047507 668205056 128849 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 163136 128849 1828 3002 0 146887 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 652544 KiB
Current children cumulated memory: 515396 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.15 5/260 891020
/proc/meminfo: memFree=122840260/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=1713912 memory=1576064 CPUtime=12.66 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 320313 0 0 0 1200 66 0 0 20 0 1 0 167047507 1755045888 394016 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 428478 394016 3777 3002 0 412229 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1713912 KiB
Current children cumulated memory: 1576064 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.15 5/260 891023
/proc/meminfo: memFree=121999044/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=1969880 memory=1826788 CPUtime=25.43 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 358728 0 0 0 2469 74 0 0 20 0 1 0 167047507 2017157120 456697 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 492470 456697 3809 3002 0 476221 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1969880 KiB
Current children cumulated memory: 1826788 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.12 4.15 5/260 891409
/proc/meminfo: memFree=118233912/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=1976024 memory=1834208 CPUtime=50.96 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 360802 0 0 0 5021 75 0 0 20 0 1 0 167047507 2023448576 458552 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 494006 458552 3809 3002 0 477757 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1976024 KiB
Current children cumulated memory: 1834208 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/258 891418
/proc/meminfo: memFree=116621736/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=2918912 memory=2691412 CPUtime=102 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 527364 0 0 0 10094 106 0 0 20 0 1 0 167047507 2988965888 672853 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 729728 672853 4016 3002 0 713479 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2918912 KiB
Current children cumulated memory: 2691412 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/258 891428
/proc/meminfo: memFree=116539212/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=3006868 memory=2759388 CPUtime=161.83 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 529577 0 0 0 16075 108 0 0 20 0 1 0 167047507 3079032832 689847 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 751717 689847 4032 3002 0 735468 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 3006868 KiB
Current children cumulated memory: 2759388 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/258 891484
/proc/meminfo: memFree=111538120/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=3006868 memory=2759868 CPUtime=221.65 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 529859 0 0 0 22055 110 0 0 20 0 1 0 167047507 3079032832 689967 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 751717 689967 4032 3002 0 735468 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 3006868 KiB
Current children cumulated memory: 2759868 KiB

[startup+282.3 s]
/proc/loadavg: 4.48 4.21 4.17 5/260 891664
/proc/meminfo: memFree=111506924/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=3006868 memory=2761072 CPUtime=281.36 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 530385 0 0 0 28025 111 0 0 20 0 1 0 167047507 3079032832 690268 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 751717 690268 4032 3002 0 735468 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 3006868 KiB
Current children cumulated memory: 2761072 KiB

[startup+342.3 s]
/proc/loadavg: 4.43 4.24 4.18 5/256 891674
/proc/meminfo: memFree=112255064/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=2720964 memory=2624892 CPUtime=341.14 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 536033 0 0 0 33923 191 0 0 20 0 1 0 167047507 2786267136 656223 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 680241 656223 4191 3002 0 663992 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 2720964 KiB
Current children cumulated memory: 2624892 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.21 4.17 5/257 891699
/proc/meminfo: memFree=100671924/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=3149536 memory=3045252 CPUtime=401.01 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 539757 0 0 0 39814 287 0 0 20 0 1 0 167047507 3225124864 761313 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 787384 761313 4191 3002 0 771135 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 3149536 KiB
Current children cumulated memory: 3045252 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.20 4.17 5/257 891709
/proc/meminfo: memFree=90421088/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=3498784 memory=3267820 CPUtime=460.88 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 541547 0 0 0 45695 393 0 0 20 0 1 0 167047507 3582754816 816955 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 874696 816955 4206 3002 0 858447 0

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

Current children cumulated memory: 3625692 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/257 892845
/proc/meminfo: memFree=104119192/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4066312 memory=3625692 CPUtime=3034.59 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 590181 0 0 0 299828 3631 0 0 20 0 1 0 167047507 4163903488 906423 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1016578 906423 4206 3002 0 1000329 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 4066312 KiB
Current children cumulated memory: 3625692 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/255 892855
/proc/meminfo: memFree=103404720/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4066312 memory=3625692 CPUtime=3094.46 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 591418 0 0 0 305741 3705 0 0 20 0 1 0 167047507 4163903488 906423 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1016578 906423 4206 3002 0 1000329 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 4066312 KiB
Current children cumulated memory: 3625692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 892865
/proc/meminfo: memFree=103113880/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4066312 memory=3625692 CPUtime=3154.31 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 592872 0 0 0 311634 3797 0 0 20 0 1 0 167047507 4163903488 906423 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1016578 906423 4206 3002 0 1000329 0
Current children cumulated CPU time: 3154.31 s
Current children cumulated vsize: 4066312 KiB
Current children cumulated memory: 3625692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/254 892876
/proc/meminfo: memFree=102695772/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4066312 memory=3625692 CPUtime=3214.16 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 594253 0 0 0 317519 3897 0 0 20 0 1 0 167047507 4163903488 906423 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1016578 906423 4206 3002 0 1000329 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 4066312 KiB
Current children cumulated memory: 3625692 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/254 892886
/proc/meminfo: memFree=102182852/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4066312 memory=3625692 CPUtime=3274.01 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 595698 0 0 0 323470 3931 0 0 20 0 1 0 167047507 4163903488 906423 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1016578 906423 4206 3002 0 1000329 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 4066312 KiB
Current children cumulated memory: 3625692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/254 892896
/proc/meminfo: memFree=101705588/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4066312 memory=3625692 CPUtime=3333.87 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 597151 0 0 0 329403 3984 0 0 20 0 1 0 167047507 4163903488 906423 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1016578 906423 4206 3002 0 1000329 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 4066312 KiB
Current children cumulated memory: 3625692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.12 5/256 892911
/proc/meminfo: memFree=100951612/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4636628 memory=4009216 CPUtime=3393.72 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 679981 0 0 0 335297 4075 0 0 20 0 1 0 167047507 4747907072 1002304 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1159157 1002304 4206 3002 0 1142908 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 4636628 KiB
Current children cumulated memory: 4009216 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/256 892921
/proc/meminfo: memFree=100382432/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=4699600 memory=4218460 CPUtime=3453.58 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 701707 0 0 0 341225 4133 0 0 20 0 1 0 167047507 4812390400 1054615 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1174900 1054615 4206 3002 0 1158651 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 4699600 KiB
Current children cumulated memory: 4218460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/257 892932
/proc/meminfo: memFree=98804712/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=5621836 memory=4455648 CPUtime=3513.43 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 713583 0 0 0 347049 4294 0 0 20 0 1 0 167047507 5756760064 1113912 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1405459 1113912 4206 3002 0 1389210 0
Current children cumulated CPU time: 3513.43 s
Current children cumulated vsize: 5621836 KiB
Current children cumulated memory: 4455648 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/257 892944
/proc/meminfo: memFree=97922856/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=5904456 memory=4886016 CPUtime=3573.29 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 774527 0 0 0 352902 4427 0 0 20 0 1 0 167047507 6046162944 1221504 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1476114 1221504 4206 3002 0 1459865 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 5904456 KiB
Current children cumulated memory: 4886016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.40 4.19 4.13 5/257 892950
/proc/meminfo: memFree=97582448/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=5923916 memory=5068832 CPUtime=3600.02 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 787644 0 0 0 355474 4528 0 0 20 0 1 0 167047507 6066089984 1267208 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1480979 1267208 4206 3002 0 1464730 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5923916 KiB
Current children cumulated memory: 5068832 KiB

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

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

# cumulated CPU time of all completed processes:  user=3555.15 s, system=45.3243 s

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

[startup+3609.2 s]
/proc/loadavg: 4.40 4.19 4.13 5/257 892950
/proc/meminfo: memFree=97582448/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=5923916 memory=5068832 CPUtime=3600.12 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 787669 0 0 0 355484 4528 0 0 20 0 1 0 167047507 6066089984 1267208 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1480979 1267208 4206 3002 0 1464730 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 5923916 KiB
Current children cumulated memory: 5068832 KiB

[startup+3609.4 s]
/proc/loadavg: 4.40 4.19 4.13 5/257 892950
/proc/meminfo: memFree=97582448/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=5923916 memory=5069264 CPUtime=3600.32 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 787741 0 0 0 355504 4528 0 0 20 0 1 0 167047507 6066089984 1267316 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1480979 1267316 4302 3002 0 1464730 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 5923916 KiB
Current children cumulated memory: 5069264 KiB

[startup+3609.5 s]
/proc/loadavg: 4.40 4.19 4.13 5/257 892950
/proc/meminfo: memFree=97582448/131524600 swapFree=131071996/131071996
[pid=890939] ppid=890936 vsize=5922880 memory=5068232 CPUtime=3600.42 cores=5,7
/proc/890939/stat : 890939 (mixed-bag) R 890936 890939 886862 0 -1 4194304 787836 0 0 0 355514 4528 0 0 20 0 1 0 167047507 6065029120 1267058 134679101440 4194304 16487941 140729964332672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56983552 140729964336151 140729964336228 140729964336228 140729964343243 0
/proc/890939/statm: 1480720 1267058 4302 3002 0 1464471 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 5922880 KiB
Current children cumulated memory: 5068232 KiB

Child status: 0

Real time (s): 3609.55
CPU time (s): 3600.47
CPU user time (s): 3555.15
CPU system time (s): 45.3243
CPU usage (%): 99.7486
Max. virtual memory (cumulated for all children) (KiB): 5923916
Max. memory (cumulated for all children) (KiB): 5069264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.15
system time used= 45.3243
maximum resident set size= 5069264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 787850
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= 32
involuntary context switches= 1882


# summary of solver processes directly reported to runsolver:
#   pid: 890939
#   total CPU time (s): 3600.47
#   total CPU user time (s): 3555.15
#   total CPU system time (s): 45.3243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85315 second user time and 16.0404 second system time

The end

Launcher Data 

Begin job on nodeC017 at 2024-07-16 18:54:29
IDJOB=4435678
IDBENCH=157239
IDSOLVER=3066
FILE ID=nodeC017/4435678-1721148856
RUNJOBID= nodeC017-1721141632-886875
SLURM_JOB_ID= 7505725
Free space on /tmp= 889672 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435678-1721148856/watcher-4435678-1721148856 -o /tmp/evaluation-result-4435678-1721148856/solver-4435678-1721148856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721141632-886875 --watchdog 3760  mixed-bag HOME/instance-4435678-1721148856.opb

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

MD5SUM BENCH= b6518815c856eaafc5c2f585e9c40549
RANDOM SEED=1528429596

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117285608 kB
MemAvailable:   121951088 kB
Buffers:          425676 kB
Cached:          5029324 kB
SwapCached:            0 kB
Active:          1312256 kB
Inactive:       12213404 kB
Active(anon):       1544 kB
Inactive(anon):  8107156 kB
Active(file):    1310712 kB
Inactive(file):  4106248 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             83156 kB
Writeback:             0 kB
AnonPages:       8071000 kB
Mapped:           126344 kB
Shmem:             37720 kB
KReclaimable:     176336 kB
Slab:             291520 kB
SReclaimable:     176336 kB
SUnreclaim:       115184 kB
KernelStack:        4096 kB
PageTables:        25332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8636140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62208 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2035712 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:      215764 kB
DirectMap2M:    24723456 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 889904 MiB
End job on nodeC017 at 2024-07-16 19:54:39