Trace number 4518268

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
pb-oll-rs-2024 2025-05-06SAT (TO)-15403 3600.09 3611.77

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.opb
MD5SUM320619d7d3e3251d2b23c67a6b07bae2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-17178
Best CPU time to get the best result obtained on this benchmark0.082437
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3000
Maximum length of a constraint3000
Number of terms in the objective function 3000
Biggest coefficient in the objective function 1270
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 1334827
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 13907
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1334827
Number of bits of the biggest sum of numbers21
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 [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 3000 #constraints 1
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -1334827 @ 0.003241
0.00/0.01	c stratification level: 1143
0.00/0.01	c bounds - >= -1236529 @ 0.004561
0.00/0.01	c finalizing WCE round: reformulating cores
0.00/0.02	c bounds -15240 >= -1236529 @ 0.006872
0.00/0.02	c bounds -15334 >= -1236529 @ 0.007778
0.00/0.02	c stratification level: 1016
0.00/0.02	c bounds -15334 >= -1208970 @ 0.008848
0.00/0.02	c finalizing WCE round: reformulating cores
3.77/3.85	c bounds -15350 >= -1208970 @ 0.977213
3.77/3.85	c #Conflicts:       1000 | #Constraints:       1019
3.77/3.85	c #Conflicts:       2000 | #Constraints:       2019
3.77/3.85	c INPROCESSING
3.77/3.85	c GARBAGE COLLECT
3.77/3.85	c bounds -15350 >= -1206938 @ 3.32714
3.77/3.85	c finalizing WCE round: reformulating cores
830.21/832.77	c bounds -15403 >= -1206938 @ 3.62924
830.21/832.77	c #Conflicts:       3000 | #Constraints:       2087
830.21/832.77	c #Conflicts:       4000 | #Constraints:       3087
830.21/832.77	c INPROCESSING
830.21/832.77	c GARBAGE COLLECT
830.21/832.77	c #Conflicts:       5000 | #Constraints:       2454
830.21/832.77	c #Conflicts:       6000 | #Constraints:       3454
830.21/832.77	c INPROCESSING
830.21/832.77	c #Conflicts:       7000 | #Constraints:       3043
830.21/832.77	c #Conflicts:       8000 | #Constraints:       4043
830.21/832.77	c #Conflicts:       9000 | #Constraints:       5043
830.21/832.77	c #Conflicts:      10000 | #Constraints:       6043
830.21/832.77	c #Conflicts:      11000 | #Constraints:       7043
830.21/832.77	c #Conflicts:      12000 | #Constraints:       8043
830.21/832.77	c INPROCESSING
830.21/832.77	c GARBAGE COLLECT
830.21/832.77	c #Conflicts:      13000 | #Constraints:       5491
830.21/832.77	c #Conflicts:      14000 | #Constraints:       6491
830.21/832.77	c #Conflicts:      15000 | #Constraints:       7491
830.21/832.77	c #Conflicts:      16000 | #Constraints:       8491
830.21/832.77	c #Conflicts:      17000 | #Constraints:       9491
830.21/832.77	c #Conflicts:      18000 | #Constraints:      10491
830.21/832.77	c #Conflicts:      19000 | #Constraints:      11491
830.21/832.77	c #Conflicts:      20000 | #Constraints:      12491
830.21/832.77	c #Conflicts:      21000 | #Constraints:      13491
830.21/832.77	c INPROCESSING
830.21/832.77	c #Conflicts:      22000 | #Constraints:       9341
830.21/832.77	c #Conflicts:      23000 | #Constraints:      10341
830.21/832.77	c #Conflicts:      24000 | #Constraints:      11341
830.21/832.77	c #Conflicts:      25000 | #Constraints:      12341
830.21/832.77	c #Conflicts:      26000 | #Constraints:      13341
830.21/832.77	c #Conflicts:      27000 | #Constraints:      14341
830.21/832.77	c #Conflicts:      28000 | #Constraints:      15341
830.21/832.77	c #Conflicts:      29000 | #Constraints:      16341
830.21/832.77	c #Conflicts:      30000 | #Constraints:      17341
830.21/832.77	c #Conflicts:      31000 | #Constraints:      18341
830.21/832.77	c INPROCESSING
830.21/832.77	c GARBAGE COLLECT
830.21/832.77	c #Conflicts:      32000 | #Constraints:      12802
830.21/832.77	c #Conflicts:      33000 | #Constraints:      13802
830.21/832.77	c #Conflicts:      34000 | #Constraints:      14802
830.21/832.77	c #Conflicts:      35000 | #Constraints:      15802
830.21/832.77	c #Conflicts:      36000 | #Constraints:      16802
830.21/832.77	c #Conflicts:      37000 | #Constraints:      17802
830.21/832.77	c #Conflicts:      38000 | #Constraints:      18802
830.21/832.77	c #Conflicts:      39000 | #Constraints:      19802
830.21/832.77	c #Conflicts:      40000 | #Constraints:      20802
830.21/832.77	c #Conflicts:      41000 | #Constraints:      21802
830.21/832.77	c #Conflicts:      42000 | #Constraints:      22802
830.21/832.77	c #Conflicts:      43000 | #Constraints:      23802
830.21/832.77	c INPROCESSING
830.21/832.77	c #Conflicts:      44000 | #Constraints:      17647
830.21/832.77	c #Conflicts:      45000 | #Constraints:      18647
830.21/832.77	c #Conflicts:      46000 | #Constraints:      19647
830.21/832.77	c #Conflicts:      47000 | #Constraints:      20647
830.21/832.77	c #Conflicts:      48000 | #Constraints:      21647
830.21/832.77	c #Conflicts:      49000 | #Constraints:      22647
830.21/832.77	c #Conflicts:      50000 | #Constraints:      23647
830.21/832.77	c #Conflicts:      51000 | #Constraints:      24647
830.21/832.77	c #Conflicts:      52000 | #Constraints:      25647
830.21/832.77	c #Conflicts:      53000 | #Constraints:      26647
830.21/832.77	c #Conflicts:      54000 | #Constraints:      27647
830.21/832.77	c #Conflicts:      55000 | #Constraints:      28647
830.21/832.77	c #Conflicts:      56000 | #Constraints:      29647
830.21/832.77	c #Conflicts:      57000 | #Constraints:      30647
830.21/832.77	c INPROCESSING
830.21/832.77	c #Conflicts:      58000 | #Constraints:      22751
830.21/832.77	c #Conflicts:      59000 | #Constraints:      23751
830.21/832.77	c #Conflicts:      60000 | #Constraints:      24751
830.21/832.77	c #Conflicts:      61000 | #Constraints:      25751
830.21/832.77	c #Conflicts:      62000 | #Constraints:      26751
830.21/832.77	c #Conflicts:      63000 | #Constraints:      27751
830.21/832.77	c #Conflicts:      64000 | #Constraints:      28751
830.21/832.77	c #Conflicts:      65000 | #Constraints:      29751
830.21/832.77	c #Conflicts:      66000 | #Constraints:      30751
830.21/832.77	c #Conflicts:      67000 | #Constraints:      31751
830.21/832.77	c #Conflicts:      68000 | #Constraints:      32751
830.21/832.77	c #Conflicts:      69000 | #Constraints:      33751
830.21/832.77	c #Conflicts:      70000 | #Constraints:      34751
830.21/832.77	c #Conflicts:      71000 | #Constraints:      35751
830.21/832.77	c #Conflicts:      72000 | #Constraints:      36751
830.21/832.77	c #Conflicts:      73000 | #Constraints:      37751
830.21/832.77	c INPROCESSING
830.21/832.77	c GARBAGE COLLECT
830.21/832.77	c #Conflicts:      74000 | #Constraints:      28282
830.21/832.77	c #Conflicts:      75000 | #Constraints:      29282
830.21/832.77	c #Conflicts:      76000 | #Constraints:      30282
830.21/832.77	c #Conflicts:      77000 | #Constraints:      31282
3416.14/3427.32	c #Conflicts:      78000 | #Constraints:      32282
3416.14/3427.32	c #Conflicts:      79000 | #Constraints:      33282
3416.14/3427.32	c #Conflicts:      80000 | #Constraints:      34282
3416.14/3427.32	c #Conflicts:      81000 | #Constraints:      35282
3416.14/3427.32	c #Conflicts:      82000 | #Constraints:      36282
3416.14/3427.32	c #Conflicts:      83000 | #Constraints:      37282
3416.14/3427.32	c #Conflicts:      84000 | #Constraints:      38282
3416.14/3427.32	c #Conflicts:      85000 | #Constraints:      39282
3416.14/3427.32	c #Conflicts:      86000 | #Constraints:      40282
3416.14/3427.32	c #Conflicts:      87000 | #Constraints:      41282
3416.14/3427.32	c #Conflicts:      88000 | #Constraints:      42282
3416.14/3427.32	c #Conflicts:      89000 | #Constraints:      43282
3416.14/3427.32	c #Conflicts:      90000 | #Constraints:      44282
3416.14/3427.32	c #Conflicts:      91000 | #Constraints:      45282
3416.14/3427.32	c #Conflicts:      92000 | #Constraints:      46282
3416.14/3427.32	c INPROCESSING
3416.14/3427.32	c #Conflicts:      93000 | #Constraints:      37219
3416.14/3427.32	c #Conflicts:      94000 | #Constraints:      38219
3416.14/3427.32	c #Conflicts:      95000 | #Constraints:      39219
3416.14/3427.32	c #Conflicts:      96000 | #Constraints:      40219
3416.14/3427.32	c #Conflicts:      97000 | #Constraints:      41219
3416.14/3427.32	c #Conflicts:      98000 | #Constraints:      42219
3416.14/3427.32	c #Conflicts:      99000 | #Constraints:      43219
3416.14/3427.32	c #Conflicts:     100000 | #Constraints:      44219
3416.14/3427.32	c #Conflicts:     101000 | #Constraints:      45219
3416.14/3427.32	c #Conflicts:     102000 | #Constraints:      46219
3416.14/3427.32	c #Conflicts:     103000 | #Constraints:      47219
3416.14/3427.32	c #Conflicts:     104000 | #Constraints:      48219
3416.14/3427.32	c #Conflicts:     105000 | #Constraints:      49219
3416.14/3427.32	c #Conflicts:     106000 | #Constraints:      50219
3416.14/3427.32	c #Conflicts:     107000 | #Constraints:      51219
3416.14/3427.32	c #Conflicts:     108000 | #Constraints:      52219
3416.14/3427.32	c #Conflicts:     109000 | #Constraints:      53219
3416.14/3427.32	c #Conflicts:     110000 | #Constraints:      54219
3416.14/3427.32	c #Conflicts:     111000 | #Constraints:      55219
3416.14/3427.32	c #Conflicts:     112000 | #Constraints:      56219
3416.14/3427.32	c INPROCESSING
3416.14/3427.32	c #Conflicts:     113000 | #Constraints:      46275
3416.14/3427.32	c #Conflicts:     114000 | #Constraints:      47275
3416.14/3427.32	c #Conflicts:     115000 | #Constraints:      48275
3416.14/3427.32	c #Conflicts:     116000 | #Constraints:      49275
3416.14/3427.32	c #Conflicts:     117000 | #Constraints:      50275
3416.14/3427.32	c #Conflicts:     118000 | #Constraints:      51275
3416.14/3427.32	c #Conflicts:     119000 | #Constraints:      52275
3416.14/3427.32	c #Conflicts:     120000 | #Constraints:      53275
3416.14/3427.32	c #Conflicts:     121000 | #Constraints:      54275
3416.14/3427.32	c #Conflicts:     122000 | #Constraints:      55275
3416.14/3427.32	c #Conflicts:     123000 | #Constraints:      56275
3416.14/3427.32	c #Conflicts:     124000 | #Constraints:      57275
3416.14/3427.32	c #Conflicts:     125000 | #Constraints:      58275
3416.14/3427.32	c #Conflicts:     126000 | #Constraints:      59275
3416.14/3427.32	c #Conflicts:     127000 | #Constraints:      60275
3416.14/3427.32	c #Conflicts:     128000 | #Constraints:      61275
3416.14/3427.32	c #Conflicts:     129000 | #Constraints:      62275
3416.14/3427.32	c #Conflicts:     130000 | #Constraints:      63275
3416.14/3427.32	c #Conflicts:     131000 | #Constraints:      64275
3416.14/3427.32	c #Conflicts:     132000 | #Constraints:      65275
3416.14/3427.32	c #Conflicts:     133000 | #Constraints:      66275
3416.14/3427.32	c #Conflicts:     134000 | #Constraints:      67275
3416.14/3427.32	c INPROCESSING
3416.14/3427.32	c #Conflicts:     135000 | #Constraints:      55202
3416.14/3427.32	c #Conflicts:     136000 | #Constraints:      56202
3416.14/3427.32	c #Conflicts:     137000 | #Constraints:      57202
3416.14/3427.32	c #Conflicts:     138000 | #Constraints:      58202
3416.14/3427.32	c #Conflicts:     139000 | #Constraints:      59202
3416.14/3427.32	c #Conflicts:     140000 | #Constraints:      60202
3416.14/3427.32	c #Conflicts:     141000 | #Constraints:      61202
3416.14/3427.32	c #Conflicts:     142000 | #Constraints:      62202
3416.14/3427.32	c #Conflicts:     143000 | #Constraints:      63202
3416.14/3427.32	c #Conflicts:     144000 | #Constraints:      64202
3416.14/3427.32	c #Conflicts:     145000 | #Constraints:      65202
3416.14/3427.32	c #Conflicts:     146000 | #Constraints:      66202
3416.14/3427.32	c #Conflicts:     147000 | #Constraints:      67202
3416.14/3427.32	c #Conflicts:     148000 | #Constraints:      68202
3416.14/3427.32	c #Conflicts:     149000 | #Constraints:      69202
3416.14/3427.32	c #Conflicts:     150000 | #Constraints:      70202
3416.14/3427.32	c #Conflicts:     151000 | #Constraints:      71202
3416.14/3427.32	c #Conflicts:     152000 | #Constraints:      72202
3416.14/3427.32	c #Conflicts:     153000 | #Constraints:      73202
3416.14/3427.32	c #Conflicts:     154000 | #Constraints:      74202
3416.14/3427.32	c #Conflicts:     155000 | #Constraints:      75202
3600.01/3611.70	c #Conflicts:     156000 | #Constraints:      76202
3600.01/3611.70	c #Conflicts:     157000 | #Constraints:      77202
3600.01/3611.70	c #Conflicts:     158000 | #Constraints:      78202
3600.01/3611.70	c INPROCESSING
3600.01/3611.70	c #Conflicts:     159000 | #Constraints:      65072
3600.01/3611.70	c #Conflicts:     160000 | #Constraints:      66072
3600.01/3611.70	c Program interrupted by user.
3600.01/3611.70	c cpu time 3577.24 s
3600.01/3611.70	c deterministic time 281645877030 2.82e+11
3600.01/3611.70	c optimization time 65.5613 s
3600.01/3611.70	c total solve time 3511.68 s
3600.01/3611.70	c core-guided solve time 3511.68 s
3600.01/3611.70	c propagation time 3318.26 s
3600.01/3611.70	c conflict analysis time 213.775 s
3600.01/3611.70	c propagations 61489828
3600.01/3611.70	c resolve steps 586550
3600.01/3611.70	c decisions 25661900
3600.01/3611.70	c conflicts 160667
3600.01/3611.70	c restarts 441
3600.01/3611.70	c inprocessing phases 13
3600.01/3611.70	c input clauses 6
3600.01/3611.70	c input cardinalities 6
3600.01/3611.70	c input general constraints 16
3600.01/3611.70	c input average constraint length 1095.82
3600.01/3611.70	c input average constraint degree 61476.54
3600.01/3611.70	c learned clauses 11
3600.01/3611.70	c learned cardinalities 1
3600.01/3611.70	c learned general constraints 160655
3600.01/3611.70	c learned average constraint length 1708.68
3600.01/3611.70	c learned average constraint degree 3449604.12
3600.01/3611.70	c watched constraints 15310
3600.01/3611.70	c counting constraints 145361
3600.01/3611.70	c gcd simplifications 35
3600.01/3611.70	c detected cardinalities 1
3600.01/3611.70	c weakened non-implied lits 177599070
3600.01/3611.70	c weakened non-implying lits 28191
3600.01/3611.70	c original variables 3000
3600.01/3611.70	c clausal propagations 167419
3600.01/3611.70	c cardinality propagations 9787
3600.01/3611.70	c watched propagations 103638
3600.01/3611.70	c counting propagations 61085122
3600.01/3611.70	c watch lookups 53627804017
3600.01/3611.70	c watch backjump lookups 53532538184
3600.01/3611.70	c watch checks 47167826966
3600.01/3611.70	c propagation checks 125585468961
3600.01/3611.70	c constraint additions 1557777521
3600.01/3611.70	c trail pops 87309652
3600.01/3611.70	c formula constraints 1
3600.01/3611.70	c learned constraints 160667
3600.01/3611.70	c bound constraints 9
3600.01/3611.70	c core-guided constraints 18
3600.01/3611.70	c encountered formula constraints 281485
3600.01/3611.70	c encountered learned constraints 171229
3600.01/3611.70	c encountered bound constraints 136736
3600.01/3611.70	c encountered core-guided constraints 157767
3600.01/3611.70	c LP total time 0 s
3600.01/3611.70	c LP solve time 0 s
3600.01/3611.70	c LP constraints added 0
3600.01/3611.70	c LP constraints removed 0
3600.01/3611.70	c LP pivots internal 0
3600.01/3611.70	c LP pivots root 0
3600.01/3611.70	c LP calls 0
3600.01/3611.70	c LP optimalities 0
3600.01/3611.70	c LP no pivot count 0
3600.01/3611.70	c LP infeasibilities 0
3600.01/3611.70	c LP valid Farkas constraints 0
3600.01/3611.70	c LP learned Farkas constraints 0
3600.01/3611.70	c LP basis resets 0
3600.01/3611.70	c LP cycling count 0
3600.01/3611.70	c LP singular count 0
3600.01/3611.70	c LP no primal count 0
3600.01/3611.70	c LP no farkas count 0
3600.01/3611.70	c LP other issue count 0
3600.01/3611.70	c LP Gomory cuts 0
3600.01/3611.70	c LP learned cuts 0
3600.01/3611.70	c LP deleted cuts 0
3600.01/3611.70	c LP encountered Gomory constraints 0
3600.01/3611.70	c LP encountered Farkas constraints 0
3600.01/3611.70	c LP encountered learned Farkas constraints 0
3600.01/3611.70	c CG auxiliary variables introduced 9
3600.01/3611.70	c CG solutions found 4
3600.01/3611.70	c CG cores constructed 3
3600.01/3611.70	c CG core cardinality constraints returned 2
3600.01/3611.70	c CG unit cores 0
3600.01/3611.70	c CG single cores 3
3600.01/3611.70	c CG blocks removed during cardinality reduction 1
3600.01/3611.70	c CG first core best 0
3600.01/3611.70	c CG decision core best 0
3600.01/3611.70	c CG core reduction tie 0
3600.01/3611.70	c CG core degree average 37.67
3600.01/3611.70	c CG core slack average 10.00
3600.01/3611.70	c CG exhausted 0
3600.01/3611.70	c CG exhaust time 0.971131 s
3600.01/3611.70	c CG trimmed 0
3600.01/3611.70	c CG trim time 0.001137 s
3600.01/3611.70	c CG minimized 0
3600.01/3611.70	c CG minimize time 0 s
3600.01/3611.70	c CG am1 prop time 0.001136 s
3600.01/3611.70	c CG # am1s reformulated 3
3600.01/3611.70	c CG lower bound derived from am1s 2159
3600.01/3611.70	c CG # clausal cores 1
3600.01/3611.70	c CG # cardinality cores 1
3600.01/3611.70	c CG # pb cores 1
3600.01/3611.70	c CG # pb reforms 0
3600.01/3611.70	c CG # cores discarded because of pb reform 0
3600.01/3611.70	d LOWERBOUND -1206938
3600.01/3611.70	d NCORES 3
3600.01/3611.70	d NPBCORES 1
3600.01/3611.70	d NPBREFORM 0
3600.01/3611.70	d NTRIMMED 0
3600.01/3611.70	d NEXHAUSTED 0
3600.01/3611.70	d NAM1S 3
3600.01/3611.70	d AM1LB 2159
3600.01/3611.70	o -15403
3600.01/3611.70	s SATISFIABLE
3600.01/3611.70	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000

Verifier Data 

OK	-15403

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61357 MiB free)
  memory of node 1: 64465 MiB (63271 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518268-1751539018/watcher-4518268-1751539018 -o /tmp/evaluation-result-4518268-1751539018/solver-4518268-1751539018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76849 --watchdog 3760 pb-oll-rs HOME/instance-4518268-1751539018.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=78415, runsolver pid=78412

[startup+0.100064 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127618904/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=24468 memory=12416 CPUtime=0.09 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 1530 0 0 0 7 2 0 0 20 0 1 0 69579252 25055232 3104 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 6117 3104 1376 243 0 2366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24468 KiB
Current children cumulated memory: 12416 KiB

[startup+0.205654 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127618904/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=26976 memory=16940 CPUtime=0.19 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 2164 0 0 0 17 2 0 0 20 0 1 0 69579252 27623424 4235 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 6744 4235 1376 243 0 2993 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26976 KiB
Current children cumulated memory: 16940 KiB

[startup+0.305682 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127619512/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=29696 memory=16940 CPUtime=0.29 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 2168 0 0 0 27 2 0 0 20 0 1 0 69579252 30408704 4235 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 7424 4235 1376 243 0 3673 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29696 KiB
Current children cumulated memory: 16940 KiB

[startup+0.700181 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127611448/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=39168 memory=28436 CPUtime=0.68 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 4503 0 0 0 63 5 0 0 20 0 1 0 69579252 40108032 7109 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 9792 7109 1376 243 0 6041 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39168 KiB
Current children cumulated memory: 28436 KiB

[startup+1.50017 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127595572/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=83888 memory=59932 CPUtime=1.48 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 11378 0 0 0 137 11 0 0 20 0 1 0 69579252 85901312 14983 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 20972 14983 1376 243 0 17221 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83888 KiB
Current children cumulated memory: 59932 KiB

[startup+3.1055 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127555288/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=106552 memory=82168 CPUtime=3.08 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 13851 0 0 0 290 18 0 0 20 0 1 0 69579252 109109248 20542 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 26638 20542 1376 243 0 22887 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106552 KiB
Current children cumulated memory: 82168 KiB

[startup+6.30013 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127539112/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=117208 memory=94456 CPUtime=6.26 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 15930 0 0 0 596 30 0 0 20 0 1 0 69579252 120020992 23614 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 29302 23614 1376 243 0 25551 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117208 KiB
Current children cumulated memory: 94456 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 78416
/proc/meminfo: memFree=127490908/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=184384 memory=143060 CPUtime=12.65 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 23498 0 0 0 1203 62 0 0 20 0 1 0 69579252 188809216 35765 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 46096 35765 1376 243 0 42345 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 184384 KiB
Current children cumulated memory: 143060 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 78417
/proc/meminfo: memFree=127409620/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=255440 memory=217104 CPUtime=25.41 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 30766 0 0 0 2424 117 0 0 20 0 1 0 69579252 261570560 54276 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 63860 54276 1376 243 0 60109 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 255440 KiB
Current children cumulated memory: 217104 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 78417
/proc/meminfo: memFree=127243488/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=434900 memory=361648 CPUtime=50.95 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 51563 0 0 0 4905 190 0 0 20 0 1 0 69579252 445337600 90412 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 108725 90412 1376 243 0 104974 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 434900 KiB
Current children cumulated memory: 361648 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 78419
/proc/meminfo: memFree=126987248/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=755344 memory=590344 CPUtime=102.01 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 86289 0 0 0 9896 305 0 0 20 0 1 0 69579252 773472256 147586 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 188836 147586 1376 243 0 185085 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 755344 KiB
Current children cumulated memory: 590344 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 78422
/proc/meminfo: memFree=126834032/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=1005468 memory=739932 CPUtime=161.84 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 101192 0 0 0 15760 424 0 0 20 0 1 0 69579252 1029599232 184983 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 251367 184983 1376 243 0 247616 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1005468 KiB
Current children cumulated memory: 739932 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78424
/proc/meminfo: memFree=126782540/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=1005468 memory=788576 CPUtime=221.67 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 109289 0 0 0 21668 499 0 0 20 0 1 0 69579252 1029599232 197144 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 251367 197144 1376 243 0 247616 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1005468 KiB
Current children cumulated memory: 788576 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 78430
/proc/meminfo: memFree=126501544/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=1358000 memory=1071268 CPUtime=281.5 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 161054 0 0 0 27579 571 0 0 20 0 1 0 69579252 1390592000 267817 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 339500 267817 1376 243 0 335749 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1358000 KiB
Current children cumulated memory: 1071268 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 78436
/proc/meminfo: memFree=126398608/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=1358000 memory=1160796 CPUtime=341.33 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 166083 0 0 0 33489 644 0 0 20 0 1 0 69579252 1390592000 290199 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 339500 290199 1376 243 0 335749 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1358000 KiB
Current children cumulated memory: 1160796 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/265 78438
/proc/meminfo: memFree=126267832/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=1713908 memory=1246940 CPUtime=401.15 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 174333 0 0 0 39410 705 0 0 20 0 1 0 69579252 1755041792 311735 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 428477 311735 1376 243 0 424726 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1713908 KiB
Current children cumulated memory: 1246940 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 78440
/proc/meminfo: memFree=126176520/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=1713908 memory=1303224 CPUtime=460.97 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 179194 0 0 0 45341 756 0 0 20 0 1 0 69579252 1755041792 325806 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 428477 325806 1376 243 0 424726 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 2991216 KiB

[startup+2922.3 s]
/proc/loadavg: 3.20 3.73 3.98 4/258 78647
/proc/meminfo: memFree=123140080/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4069400 memory=3032856 CPUtime=2912.82 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 400499 0 0 0 289319 1963 0 0 20 0 1 0 69579252 4167065600 758214 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1017350 758214 1376 243 0 1013599 0
Current children cumulated CPU time: 2912.82 s
Current children cumulated vsize: 4069400 KiB
Current children cumulated memory: 3032856 KiB

[startup+2982.3 s]
/proc/loadavg: 2.95 3.58 3.91 3/253 78682
/proc/meminfo: memFree=123877836/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4069400 memory=3072272 CPUtime=2972.63 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 403228 0 0 0 295271 1992 0 0 20 0 1 0 69579252 4167065600 768068 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1017350 768068 1376 243 0 1013599 0
Current children cumulated CPU time: 2972.63 s
Current children cumulated vsize: 4069400 KiB
Current children cumulated memory: 3072272 KiB

[startup+3042.3 s]
/proc/loadavg: 2.45 3.32 3.80 3/253 78684
/proc/meminfo: memFree=123834148/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4069400 memory=3112672 CPUtime=3032.42 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 407310 0 0 0 301226 2016 0 0 20 0 1 0 69579252 4167065600 778168 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1017350 778168 1376 243 0 1013599 0
Current children cumulated CPU time: 3032.42 s
Current children cumulated vsize: 4069400 KiB
Current children cumulated memory: 3112672 KiB

[startup+3102.3 s]
/proc/loadavg: 2.22 3.09 3.69 3/254 78687
/proc/meminfo: memFree=123809812/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4069400 memory=3150568 CPUtime=3092.23 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 410147 0 0 0 307177 2046 0 0 20 0 1 0 69579252 4167065600 787642 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1017350 787642 1376 243 0 1013599 0
Current children cumulated CPU time: 3092.23 s
Current children cumulated vsize: 4069400 KiB
Current children cumulated memory: 3150568 KiB

[startup+3162.3 s]
/proc/loadavg: 2.12 2.90 3.58 3/254 78689
/proc/meminfo: memFree=123727080/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4130952 memory=3197148 CPUtime=3152.03 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 424399 0 0 0 313128 2075 0 0 20 0 1 0 69579252 4230094848 799287 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1032738 799287 1376 243 0 1028987 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 4130952 KiB
Current children cumulated memory: 3197148 KiB

[startup+3222.3 s]
/proc/loadavg: 2.10 2.75 3.49 3/254 78691
/proc/meminfo: memFree=123630444/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4130952 memory=3230360 CPUtime=3211.83 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 427590 0 0 0 319082 2101 0 0 20 0 1 0 69579252 4230094848 807590 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1032738 807590 1376 243 0 1028987 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 4130952 KiB
Current children cumulated memory: 3230360 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.63 3.40 3/254 78695
/proc/meminfo: memFree=123589368/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4130952 memory=3267960 CPUtime=3271.63 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 432050 0 0 0 325040 2123 0 0 20 0 1 0 69579252 4230094848 816990 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1032738 816990 1376 243 0 1028987 0
Current children cumulated CPU time: 3271.63 s
Current children cumulated vsize: 4130952 KiB
Current children cumulated memory: 3267960 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.54 3.32 3/253 78700
/proc/meminfo: memFree=123556840/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4130952 memory=3303436 CPUtime=3331.43 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 434779 0 0 0 330994 2149 0 0 20 0 1 0 69579252 4230094848 825859 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1032738 825859 1376 243 0 1028987 0
Current children cumulated CPU time: 3331.43 s
Current children cumulated vsize: 4130952 KiB
Current children cumulated memory: 3303436 KiB

[startup+3402.3 s]
/proc/loadavg: 2.05 2.44 3.23 3/253 78706
/proc/meminfo: memFree=123396480/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4385888 memory=3397284 CPUtime=3391.23 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 486816 0 0 0 336947 2176 0 0 20 0 1 0 69579252 4491149312 849321 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1096472 849321 1376 243 0 1092721 0
Current children cumulated CPU time: 3391.23 s
Current children cumulated vsize: 4385888 KiB
Current children cumulated memory: 3397284 KiB

[startup+3462.3 s]
/proc/loadavg: 2.13 2.39 3.16 3/254 78710
/proc/meminfo: memFree=123365192/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=4385888 memory=3423896 CPUtime=3451.02 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 489370 0 0 0 342904 2198 0 0 20 0 1 0 69579252 4491149312 855974 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1096472 855974 1376 243 0 1092721 0
Current children cumulated CPU time: 3451.02 s
Current children cumulated vsize: 4385888 KiB
Current children cumulated memory: 3423896 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.33 3.09 3/254 78711
/proc/meminfo: memFree=123066796/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=5171216 memory=3681204 CPUtime=3510.86 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 644044 0 0 0 348845 2241 0 0 20 0 1 0 69579252 5295325184 920301 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1292804 920301 1376 243 0 1289053 0
Current children cumulated CPU time: 3510.86 s
Current children cumulated vsize: 5171216 KiB
Current children cumulated memory: 3681204 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.28 3.03 3/254 78713
/proc/meminfo: memFree=122808392/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=5384604 memory=3777644 CPUtime=3570.69 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 685770 0 0 0 354805 2264 0 0 20 0 1 0 69579252 5513834496 944411 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1346151 944411 1376 243 0 1342400 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 5384604 KiB
Current children cumulated memory: 3777644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 2.05 2.26 2.99 3/254 78714
/proc/meminfo: memFree=122690756/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=5384604 memory=3808364 CPUtime=3600.01 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 685777 0 0 0 357724 2277 0 0 20 0 1 0 69579252 5513834496 952091 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1346151 952091 1376 243 0 1342400 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5384604 KiB
Current children cumulated memory: 3808364 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.25 s, system=22.8474 s

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

[startup+3611.7 s]
/proc/loadavg: 2.05 2.26 2.99 3/254 78714
/proc/meminfo: memFree=122690756/131249996 swapFree=33006296/33010684
[pid=78415] ppid=78412 vsize=5384604 memory=3808364 CPUtime=3600.01 cores=5,7
/proc/78415/stat : 78415 (pb-oll-rs) R 78412 78415 76836 0 -1 4194304 685777 0 0 0 357724 2277 0 0 20 0 1 0 69579252 5513834496 952091 18446744073709551615 4218880 5211445 140720944964624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10104832 140720944966044 140720944966121 140720944966121 140720944971723 0
/proc/78415/statm: 1346151 952091 1376 243 0 1342400 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5384604 KiB
Current children cumulated memory: 3808364 KiB

Child status: 0

Real time (s): 3611.77
CPU time (s): 3600.09
CPU user time (s): 3577.25
CPU system time (s): 22.8474
CPU usage (%): 99.6766
Max. virtual memory (cumulated for all children) (KiB): 5384604
Max. memory (cumulated for all children) (KiB): 3808364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.25
system time used= 22.8474
maximum resident set size= 3808620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685792
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= 259
involuntary context switches= 4269


# summary of solver processes directly reported to runsolver:
#   pid: 78415
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3577.25
#   total CPU system time (s): 22.8474

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15862 second user time and 15.9449 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-03 12:36:58
IDJOB=4518268
IDBENCH=176856
IDSOLVER=3345
FILE ID=nodeC015/4518268-1751539018
RUNJOBID= nodeC015-1751530924-76849
SLURM_JOB_ID= 9598673
Free space on /tmp= 432368 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/normalized-knapPI_12_1000_1000_3_-17136.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518268-1751539018/watcher-4518268-1751539018 -o /tmp/evaluation-result-4518268-1751539018/solver-4518268-1751539018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76849 --watchdog 3760  pb-oll-rs HOME/instance-4518268-1751539018.opb

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

MD5SUM BENCH= 320619d7d3e3251d2b23c67a6b07bae2
RANDOM SEED=626531382

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127619612 kB
MemAvailable:   128234116 kB
Buffers:            1508 kB
Cached:          1398048 kB
SwapCached:         3880 kB
Active:          1831388 kB
Inactive:        1160196 kB
Active(anon):    1557372 kB
Inactive(anon):    48808 kB
Active(file):     274016 kB
Inactive(file):  1111388 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1612 kB
Writeback:            20 kB
AnonPages:       1588352 kB
Mapped:           104040 kB
Shmem:             14152 kB
KReclaimable:     136676 kB
Slab:             227148 kB
SReclaimable:     136676 kB
SUnreclaim:        90472 kB
KernelStack:        4252 kB
PageTables:         6868 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2251956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432368 MiB
End job on nodeC015 at 2025-07-03 13:37:10