Trace number 4498656

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-06? (TO) 3602.14 3611.86

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
MD5SUM9256d31b4c6d03db7020a90138972b09
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 benchmark95378
Best CPU time to get the best result obtained on this benchmark0.296995
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables24498
Total number of constraints2000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1502
Number of constraints which are nor clauses,nor cardinality constraints498
Minimum length of a constraint16
Maximum length of a constraint337
Number of terms in the objective function 24000
Biggest coefficient in the objective function 114804
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 820965984
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 114804
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 820965984
Number of bits of the biggest sum of numbers30
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.03	c RoundingSat 2
0.00/0.03	c branch 
0.00/0.03	c commit 
0.00/0.03	c [STEP] parsing instance
0.00/0.08	c [STEP] solving
0.00/0.08	c #variables 24498 #constraints 2500
0.00/0.08	c SMALL=int, LARGE=long long
0.00/0.08	c bounds - >= 0 @ 0.038672
0.00/0.08	c stratification level: 108435
0.17/0.22	c bounds 3089120 >= 0 @ 0.104451
0.17/0.22	c stratification level: 106240
725.13/727.29	c #Conflicts:       1000 | #Constraints:       3500
725.13/727.29	c #Conflicts:       2000 | #Constraints:       4500
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:       3000 | #Constraints:       4513
725.13/727.29	c #Conflicts:       4000 | #Constraints:       5513
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:       5000 | #Constraints:       4929
725.13/727.29	c #Conflicts:       6000 | #Constraints:       5929
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:       7000 | #Constraints:       4942
725.13/727.29	c #Conflicts:       8000 | #Constraints:       5942
725.13/727.29	c #Conflicts:       9000 | #Constraints:       6942
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      10000 | #Constraints:       5646
725.13/727.29	c #Conflicts:      11000 | #Constraints:       6646
725.13/727.29	c #Conflicts:      12000 | #Constraints:       7646
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      13000 | #Constraints:       6099
725.13/727.29	c #Conflicts:      14000 | #Constraints:       7099
725.13/727.29	c #Conflicts:      15000 | #Constraints:       8099
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      16000 | #Constraints:       6332
725.13/727.29	c #Conflicts:      17000 | #Constraints:       7332
725.13/727.29	c #Conflicts:      18000 | #Constraints:       8332
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      19000 | #Constraints:       6369
725.13/727.29	c #Conflicts:      20000 | #Constraints:       7369
725.13/727.29	c #Conflicts:      21000 | #Constraints:       8369
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      22000 | #Constraints:       6166
725.13/727.29	c #Conflicts:      23000 | #Constraints:       7166
725.13/727.29	c #Conflicts:      24000 | #Constraints:       8166
725.13/727.29	c #Conflicts:      25000 | #Constraints:       9166
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      26000 | #Constraints:       6758
725.13/727.29	c #Conflicts:      27000 | #Constraints:       7758
725.13/727.29	c #Conflicts:      28000 | #Constraints:       8758
725.13/727.29	c #Conflicts:      29000 | #Constraints:       9758
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      30000 | #Constraints:       7158
725.13/727.29	c #Conflicts:      31000 | #Constraints:       8158
725.13/727.29	c #Conflicts:      32000 | #Constraints:       9158
725.13/727.29	c #Conflicts:      33000 | #Constraints:      10158
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      34000 | #Constraints:       7362
725.13/727.29	c #Conflicts:      35000 | #Constraints:       8362
725.13/727.29	c #Conflicts:      36000 | #Constraints:       9362
725.13/727.29	c #Conflicts:      37000 | #Constraints:      10362
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      38000 | #Constraints:       7367
725.13/727.29	c #Conflicts:      39000 | #Constraints:       8367
725.13/727.29	c #Conflicts:      40000 | #Constraints:       9367
725.13/727.29	c #Conflicts:      41000 | #Constraints:      10367
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      42000 | #Constraints:       7173
725.13/727.29	c #Conflicts:      43000 | #Constraints:       8173
725.13/727.29	c #Conflicts:      44000 | #Constraints:       9173
725.13/727.29	c #Conflicts:      45000 | #Constraints:      10173
725.13/727.29	c #Conflicts:      46000 | #Constraints:      11173
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      47000 | #Constraints:       7776
725.13/727.29	c #Conflicts:      48000 | #Constraints:       8776
725.13/727.29	c #Conflicts:      49000 | #Constraints:       9776
725.13/727.29	c #Conflicts:      50000 | #Constraints:      10776
725.13/727.29	c #Conflicts:      51000 | #Constraints:      11776
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      52000 | #Constraints:       8171
725.13/727.29	c #Conflicts:      53000 | #Constraints:       9171
725.13/727.29	c #Conflicts:      54000 | #Constraints:      10171
725.13/727.29	c #Conflicts:      55000 | #Constraints:      11171
725.13/727.29	c #Conflicts:      56000 | #Constraints:      12171
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      57000 | #Constraints:       8370
725.13/727.29	c #Conflicts:      58000 | #Constraints:       9370
725.13/727.29	c #Conflicts:      59000 | #Constraints:      10370
725.13/727.29	c #Conflicts:      60000 | #Constraints:      11370
725.13/727.29	c #Conflicts:      61000 | #Constraints:      12370
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      62000 | #Constraints:       8384
725.13/727.29	c #Conflicts:      63000 | #Constraints:       9384
725.13/727.29	c #Conflicts:      64000 | #Constraints:      10384
725.13/727.29	c #Conflicts:      65000 | #Constraints:      11384
725.13/727.29	c #Conflicts:      66000 | #Constraints:      12384
725.13/727.29	c INPROCESSING
725.13/727.29	c GARBAGE COLLECT
725.13/727.29	c #Conflicts:      67000 | #Constraints:       8180
725.13/727.29	c #Conflicts:      68000 | #Constraints:       9180
1578.82/1583.24	c #Conflicts:      69000 | #Constraints:      10180
1578.82/1583.24	c #Conflicts:      70000 | #Constraints:      11180
1578.82/1583.24	c #Conflicts:      71000 | #Constraints:      12180
1578.82/1583.24	c #Conflicts:      72000 | #Constraints:      13180
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:      73000 | #Constraints:       8780
1578.82/1583.24	c #Conflicts:      74000 | #Constraints:       9780
1578.82/1583.24	c #Conflicts:      75000 | #Constraints:      10780
1578.82/1583.24	c #Conflicts:      76000 | #Constraints:      11780
1578.82/1583.24	c #Conflicts:      77000 | #Constraints:      12780
1578.82/1583.24	c #Conflicts:      78000 | #Constraints:      13780
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:      79000 | #Constraints:       9174
1578.82/1583.24	c #Conflicts:      80000 | #Constraints:      10174
1578.82/1583.24	c #Conflicts:      81000 | #Constraints:      11174
1578.82/1583.24	c #Conflicts:      82000 | #Constraints:      12174
1578.82/1583.24	c #Conflicts:      83000 | #Constraints:      13174
1578.82/1583.24	c #Conflicts:      84000 | #Constraints:      14174
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:      85000 | #Constraints:       9378
1578.82/1583.24	c #Conflicts:      86000 | #Constraints:      10378
1578.82/1583.24	c #Conflicts:      87000 | #Constraints:      11378
1578.82/1583.24	c #Conflicts:      88000 | #Constraints:      12378
1578.82/1583.24	c #Conflicts:      89000 | #Constraints:      13378
1578.82/1583.24	c #Conflicts:      90000 | #Constraints:      14378
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:      91000 | #Constraints:       9387
1578.82/1583.24	c #Conflicts:      92000 | #Constraints:      10387
1578.82/1583.24	c #Conflicts:      93000 | #Constraints:      11387
1578.82/1583.24	c #Conflicts:      94000 | #Constraints:      12387
1578.82/1583.24	c #Conflicts:      95000 | #Constraints:      13387
1578.82/1583.24	c #Conflicts:      96000 | #Constraints:      14387
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:      97000 | #Constraints:       9188
1578.82/1583.24	c #Conflicts:      98000 | #Constraints:      10188
1578.82/1583.24	c #Conflicts:      99000 | #Constraints:      11188
1578.82/1583.24	c #Conflicts:     100000 | #Constraints:      12188
1578.82/1583.24	c #Conflicts:     101000 | #Constraints:      13188
1578.82/1583.24	c #Conflicts:     102000 | #Constraints:      14188
1578.82/1583.24	c #Conflicts:     103000 | #Constraints:      15188
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:     104000 | #Constraints:       9784
1578.82/1583.24	c #Conflicts:     105000 | #Constraints:      10784
1578.82/1583.24	c #Conflicts:     106000 | #Constraints:      11784
1578.82/1583.24	c #Conflicts:     107000 | #Constraints:      12784
1578.82/1583.24	c #Conflicts:     108000 | #Constraints:      13784
1578.82/1583.24	c #Conflicts:     109000 | #Constraints:      14784
1578.82/1583.24	c #Conflicts:     110000 | #Constraints:      15784
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:     111000 | #Constraints:      10177
1578.82/1583.24	c #Conflicts:     112000 | #Constraints:      11177
1578.82/1583.24	c #Conflicts:     113000 | #Constraints:      12177
1578.82/1583.24	c #Conflicts:     114000 | #Constraints:      13177
1578.82/1583.24	c #Conflicts:     115000 | #Constraints:      14177
1578.82/1583.24	c #Conflicts:     116000 | #Constraints:      15177
1578.82/1583.24	c #Conflicts:     117000 | #Constraints:      16177
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:     118000 | #Constraints:      10389
1578.82/1583.24	c #Conflicts:     119000 | #Constraints:      11389
1578.82/1583.24	c #Conflicts:     120000 | #Constraints:      12389
1578.82/1583.24	c #Conflicts:     121000 | #Constraints:      13389
1578.82/1583.24	c #Conflicts:     122000 | #Constraints:      14389
1578.82/1583.24	c #Conflicts:     123000 | #Constraints:      15389
1578.82/1583.24	c #Conflicts:     124000 | #Constraints:      16389
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:     125000 | #Constraints:      10394
1578.82/1583.24	c #Conflicts:     126000 | #Constraints:      11394
1578.82/1583.24	c #Conflicts:     127000 | #Constraints:      12394
1578.82/1583.24	c #Conflicts:     128000 | #Constraints:      13394
1578.82/1583.24	c #Conflicts:     129000 | #Constraints:      14394
1578.82/1583.24	c #Conflicts:     130000 | #Constraints:      15394
1578.82/1583.24	c #Conflicts:     131000 | #Constraints:      16394
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:     132000 | #Constraints:      10187
1578.82/1583.24	c #Conflicts:     133000 | #Constraints:      11187
1578.82/1583.24	c #Conflicts:     134000 | #Constraints:      12187
1578.82/1583.24	c #Conflicts:     135000 | #Constraints:      13187
1578.82/1583.24	c #Conflicts:     136000 | #Constraints:      14187
1578.82/1583.24	c #Conflicts:     137000 | #Constraints:      15187
1578.82/1583.24	c #Conflicts:     138000 | #Constraints:      16187
1578.82/1583.24	c #Conflicts:     139000 | #Constraints:      17187
1578.82/1583.24	c INPROCESSING
1578.82/1583.24	c GARBAGE COLLECT
1578.82/1583.24	c #Conflicts:     140000 | #Constraints:      10788
2599.49/2606.68	c #Conflicts:     141000 | #Constraints:      11788
2599.49/2606.68	c #Conflicts:     142000 | #Constraints:      12788
2599.49/2606.68	c #Conflicts:     143000 | #Constraints:      13788
2599.49/2606.68	c #Conflicts:     144000 | #Constraints:      14788
2599.49/2606.68	c #Conflicts:     145000 | #Constraints:      15788
2599.49/2606.68	c #Conflicts:     146000 | #Constraints:      16788
2599.49/2606.68	c #Conflicts:     147000 | #Constraints:      17788
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     148000 | #Constraints:      11194
2599.49/2606.68	c #Conflicts:     149000 | #Constraints:      12194
2599.49/2606.68	c #Conflicts:     150000 | #Constraints:      13194
2599.49/2606.68	c #Conflicts:     151000 | #Constraints:      14194
2599.49/2606.68	c #Conflicts:     152000 | #Constraints:      15194
2599.49/2606.68	c #Conflicts:     153000 | #Constraints:      16194
2599.49/2606.68	c #Conflicts:     154000 | #Constraints:      17194
2599.49/2606.68	c #Conflicts:     155000 | #Constraints:      18194
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     156000 | #Constraints:      11395
2599.49/2606.68	c #Conflicts:     157000 | #Constraints:      12395
2599.49/2606.68	c #Conflicts:     158000 | #Constraints:      13395
2599.49/2606.68	c #Conflicts:     159000 | #Constraints:      14395
2599.49/2606.68	c #Conflicts:     160000 | #Constraints:      15395
2599.49/2606.68	c #Conflicts:     161000 | #Constraints:      16395
2599.49/2606.68	c #Conflicts:     162000 | #Constraints:      17395
2599.49/2606.68	c #Conflicts:     163000 | #Constraints:      18395
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     164000 | #Constraints:      11401
2599.49/2606.68	c #Conflicts:     165000 | #Constraints:      12401
2599.49/2606.68	c #Conflicts:     166000 | #Constraints:      13401
2599.49/2606.68	c #Conflicts:     167000 | #Constraints:      14401
2599.49/2606.68	c #Conflicts:     168000 | #Constraints:      15401
2599.49/2606.68	c #Conflicts:     169000 | #Constraints:      16401
2599.49/2606.68	c #Conflicts:     170000 | #Constraints:      17401
2599.49/2606.68	c #Conflicts:     171000 | #Constraints:      18401
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     172000 | #Constraints:      11200
2599.49/2606.68	c #Conflicts:     173000 | #Constraints:      12200
2599.49/2606.68	c #Conflicts:     174000 | #Constraints:      13200
2599.49/2606.68	c #Conflicts:     175000 | #Constraints:      14200
2599.49/2606.68	c #Conflicts:     176000 | #Constraints:      15200
2599.49/2606.68	c #Conflicts:     177000 | #Constraints:      16200
2599.49/2606.68	c #Conflicts:     178000 | #Constraints:      17200
2599.49/2606.68	c #Conflicts:     179000 | #Constraints:      18200
2599.49/2606.68	c #Conflicts:     180000 | #Constraints:      19200
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     181000 | #Constraints:      11795
2599.49/2606.68	c #Conflicts:     182000 | #Constraints:      12795
2599.49/2606.68	c #Conflicts:     183000 | #Constraints:      13795
2599.49/2606.68	c #Conflicts:     184000 | #Constraints:      14795
2599.49/2606.68	c #Conflicts:     185000 | #Constraints:      15795
2599.49/2606.68	c #Conflicts:     186000 | #Constraints:      16795
2599.49/2606.68	c #Conflicts:     187000 | #Constraints:      17795
2599.49/2606.68	c #Conflicts:     188000 | #Constraints:      18795
2599.49/2606.68	c #Conflicts:     189000 | #Constraints:      19795
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     190000 | #Constraints:      12205
2599.49/2606.68	c #Conflicts:     191000 | #Constraints:      13205
2599.49/2606.68	c #Conflicts:     192000 | #Constraints:      14205
2599.49/2606.68	c #Conflicts:     193000 | #Constraints:      15205
2599.49/2606.68	c #Conflicts:     194000 | #Constraints:      16205
2599.49/2606.68	c #Conflicts:     195000 | #Constraints:      17205
2599.49/2606.68	c #Conflicts:     196000 | #Constraints:      18205
2599.49/2606.68	c #Conflicts:     197000 | #Constraints:      19205
2599.49/2606.68	c #Conflicts:     198000 | #Constraints:      20205
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     199000 | #Constraints:      12413
2599.49/2606.68	c #Conflicts:     200000 | #Constraints:      13413
2599.49/2606.68	c #Conflicts:     201000 | #Constraints:      14413
2599.49/2606.68	c #Conflicts:     202000 | #Constraints:      15413
2599.49/2606.68	c #Conflicts:     203000 | #Constraints:      16413
2599.49/2606.68	c #Conflicts:     204000 | #Constraints:      17413
2599.49/2606.68	c #Conflicts:     205000 | #Constraints:      18413
2599.49/2606.68	c #Conflicts:     206000 | #Constraints:      19413
2599.49/2606.68	c #Conflicts:     207000 | #Constraints:      20413
2599.49/2606.68	c INPROCESSING
2599.49/2606.68	c GARBAGE COLLECT
2599.49/2606.68	c #Conflicts:     208000 | #Constraints:      12429
2599.49/2606.68	c #Conflicts:     209000 | #Constraints:      13429
2599.49/2606.68	c #Conflicts:     210000 | #Constraints:      14429
2599.49/2606.68	c #Conflicts:     211000 | #Constraints:      15429
2599.49/2606.68	c #Conflicts:     212000 | #Constraints:      16429
2599.49/2606.68	c #Conflicts:     213000 | #Constraints:      17429
3599.88/3609.65	c #Conflicts:     214000 | #Constraints:      18429
3599.88/3609.65	c #Conflicts:     215000 | #Constraints:      19429
3599.88/3609.65	c #Conflicts:     216000 | #Constraints:      20429
3599.88/3609.65	c INPROCESSING
3599.88/3609.65	c GARBAGE COLLECT
3599.88/3609.65	c #Conflicts:     217000 | #Constraints:      12225
3599.88/3609.65	c #Conflicts:     218000 | #Constraints:      13225
3599.88/3609.65	c #Conflicts:     219000 | #Constraints:      14225
3599.88/3609.65	c #Conflicts:     220000 | #Constraints:      15225
3599.88/3609.65	c #Conflicts:     221000 | #Constraints:      16225
3599.88/3609.65	c #Conflicts:     222000 | #Constraints:      17225
3599.88/3609.65	c #Conflicts:     223000 | #Constraints:      18225
3599.88/3609.65	c #Conflicts:     224000 | #Constraints:      19225
3599.88/3609.65	c #Conflicts:     225000 | #Constraints:      20225
3599.88/3609.65	c #Conflicts:     226000 | #Constraints:      21225
3599.88/3609.65	c INPROCESSING
3599.88/3609.65	c GARBAGE COLLECT
3599.88/3609.65	c #Conflicts:     227000 | #Constraints:      12811
3599.88/3609.65	c #Conflicts:     228000 | #Constraints:      13811
3599.88/3609.65	c #Conflicts:     229000 | #Constraints:      14811
3599.88/3609.65	c #Conflicts:     230000 | #Constraints:      15811
3599.88/3609.65	c #Conflicts:     231000 | #Constraints:      16811
3599.88/3609.65	c #Conflicts:     232000 | #Constraints:      17811
3599.88/3609.65	c #Conflicts:     233000 | #Constraints:      18811
3599.88/3609.65	c #Conflicts:     234000 | #Constraints:      19811
3599.88/3609.65	c #Conflicts:     235000 | #Constraints:      20811
3599.88/3609.65	c #Conflicts:     236000 | #Constraints:      21811
3599.88/3609.65	c INPROCESSING
3599.88/3609.65	c GARBAGE COLLECT
3599.88/3609.65	c #Conflicts:     237000 | #Constraints:      13209
3599.88/3609.65	c #Conflicts:     238000 | #Constraints:      14209
3599.88/3609.65	c #Conflicts:     239000 | #Constraints:      15209
3599.88/3609.65	c #Conflicts:     240000 | #Constraints:      16209
3599.88/3609.65	c #Conflicts:     241000 | #Constraints:      17209
3599.88/3609.65	c #Conflicts:     242000 | #Constraints:      18209
3599.88/3609.65	c #Conflicts:     243000 | #Constraints:      19209
3599.88/3609.65	c #Conflicts:     244000 | #Constraints:      20209
3599.88/3609.65	c #Conflicts:     245000 | #Constraints:      21209
3599.88/3609.65	c #Conflicts:     246000 | #Constraints:      22209
3599.88/3609.65	c INPROCESSING
3599.88/3609.65	c GARBAGE COLLECT
3599.88/3609.65	c #Conflicts:     247000 | #Constraints:      13420
3599.88/3609.65	c #Conflicts:     248000 | #Constraints:      14420
3599.88/3609.65	c #Conflicts:     249000 | #Constraints:      15420
3599.88/3609.65	c #Conflicts:     250000 | #Constraints:      16420
3599.88/3609.65	c #Conflicts:     251000 | #Constraints:      17420
3599.88/3609.65	c #Conflicts:     252000 | #Constraints:      18420
3599.88/3609.65	c #Conflicts:     253000 | #Constraints:      19420
3599.88/3609.65	c #Conflicts:     254000 | #Constraints:      20420
3599.88/3609.65	c #Conflicts:     255000 | #Constraints:      21420
3599.88/3609.65	c #Conflicts:     256000 | #Constraints:      22420
3599.88/3609.65	c INPROCESSING
3599.88/3609.65	c GARBAGE COLLECT
3599.88/3609.65	c #Conflicts:     257000 | #Constraints:      13424
3599.88/3609.65	c #Conflicts:     258000 | #Constraints:      14424
3599.88/3609.65	c #Conflicts:     259000 | #Constraints:      15424
3599.88/3609.65	c #Conflicts:     260000 | #Constraints:      16424
3599.88/3609.65	c #Conflicts:     261000 | #Constraints:      17424
3599.88/3609.65	c #Conflicts:     262000 | #Constraints:      18424
3599.88/3609.65	c #Conflicts:     263000 | #Constraints:      19424
3599.88/3609.65	c #Conflicts:     264000 | #Constraints:      20424
3599.88/3609.65	c #Conflicts:     265000 | #Constraints:      21424
3599.88/3609.65	c #Conflicts:     266000 | #Constraints:      22424
3599.88/3609.65	c INPROCESSING
3599.88/3609.65	c GARBAGE COLLECT
3599.88/3609.65	c #Conflicts:     267000 | #Constraints:      13217
3599.88/3609.65	c #Conflicts:     268000 | #Constraints:      14217
3599.88/3609.65	c #Conflicts:     269000 | #Constraints:      15217
3599.88/3609.65	c #Conflicts:     270000 | #Constraints:      16217
3599.88/3609.65	c #Conflicts:     271000 | #Constraints:      17217
3599.88/3609.65	c #Conflicts:     272000 | #Constraints:      18217
3599.88/3609.65	c #Conflicts:     273000 | #Constraints:      19217
3599.88/3609.65	c #Conflicts:     274000 | #Constraints:      20217
3599.88/3609.65	c #Conflicts:     275000 | #Constraints:      21217
3599.88/3609.65	c #Conflicts:     276000 | #Constraints:      22217
3599.88/3609.65	c #Conflicts:     277000 | #Constraints:      23217
3599.88/3609.65	c INPROCESSING
3599.88/3609.65	c GARBAGE COLLECT
3599.88/3609.65	c #Conflicts:     278000 | #Constraints:      13814
3599.88/3609.65	c #Conflicts:     279000 | #Constraints:      14814
3599.88/3609.65	c #Conflicts:     280000 | #Constraints:      15814
3599.88/3609.65	c #Conflicts:     281000 | #Constraints:      16814
3599.88/3609.65	c #Conflicts:     282000 | #Constraints:      17814
3599.88/3609.65	c #Conflicts:     283000 | #Constraints:      18814
3599.88/3609.65	c #Conflicts:     284000 | #Constraints:      19814
3599.88/3609.65	c #Conflicts:     285000 | #Constraints:      20814
3599.88/3609.65	c #Conflicts:     286000 | #Constraints:      21814
3599.88/3609.65	c #Conflicts:     287000 | #Constraints:      22814
3599.88/3609.65	c #Confl

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: 63708 MiB (62939 MiB free)
  memory of node 1: 64465 MiB (64017 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=58262, runsolver pid=58254

[startup+0.100061 s]*
/proc/loadavg: 2.34 3.65 3.94 3/262 58272
/proc/meminfo: memFree=129987124/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=29276 memory=15916 CPUtime=0.06 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 3861 0 1 0 4 2 0 0 20 0 1 0 56406111 29978624 3979 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 7319 3979 1344 243 0 3568 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 29276 KiB
Current children cumulated memory: 15916 KiB

[startup+0.205733 s]*
/proc/loadavg: 2.34 3.65 3.94 5/265 58285
/proc/meminfo: memFree=129851348/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=29408 memory=16300 CPUtime=0.17 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 3976 0 1 0 9 8 0 0 20 0 1 0 56406111 30113792 4075 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 7352 4075 1344 243 0 3601 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 29408 KiB
Current children cumulated memory: 16300 KiB

[startup+0.305707 s]*
/proc/loadavg: 2.34 3.65 3.94 4/262 58285
/proc/meminfo: memFree=129722604/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=32500 memory=21548 CPUtime=0.26 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 4770 0 1 0 17 9 0 0 20 0 1 0 56406111 33280000 5387 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 8125 5387 1344 243 0 4374 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 32500 KiB
Current children cumulated memory: 21548 KiB

[startup+0.700168 s]
/proc/loadavg: 2.34 3.65 3.94 4/262 58285
/proc/meminfo: memFree=129706728/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=46828 memory=36244 CPUtime=0.66 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 7923 0 1 0 54 12 0 0 20 0 1 0 56406111 47951872 9061 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 11707 9061 1344 243 0 7956 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 36244 KiB

[startup+1.50016 s]
/proc/loadavg: 2.34 3.65 3.94 4/262 58285
/proc/meminfo: memFree=129661872/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=94304 memory=79384 CPUtime=1.45 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 16170 0 1 0 124 21 0 0 20 0 1 0 56406111 96567296 19846 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 23576 19846 1344 243 0 19825 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 94304 KiB
Current children cumulated memory: 79384 KiB

[startup+3.10568 s]
/proc/loadavg: 2.48 3.65 3.94 5/266 58322
/proc/meminfo: memFree=129367492/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=186276 memory=150348 CPUtime=3.05 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 27786 0 1 0 264 41 0 0 20 0 1 0 56406111 190746624 37587 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 46569 37587 1344 243 0 42818 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 186276 KiB
Current children cumulated memory: 150348 KiB

[startup+6.30016 s]
/proc/loadavg: 2.48 3.65 3.94 5/266 58322
/proc/meminfo: memFree=129084608/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=313136 memory=273576 CPUtime=6.23 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 47857 0 1 0 574 49 0 0 20 0 1 0 56406111 320651264 68394 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 78284 68394 1344 243 0 74533 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 313136 KiB
Current children cumulated memory: 273576 KiB

[startup+12.7002 s]
/proc/loadavg: 2.71 3.67 3.94 5/266 58322
/proc/meminfo: memFree=128400924/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=545392 memory=518768 CPUtime=12.62 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 83654 0 1 0 1174 88 0 0 20 0 1 0 56406111 558481408 129692 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 136348 129692 1344 243 0 132597 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 545392 KiB
Current children cumulated memory: 518768 KiB

[startup+25.5002 s]
/proc/loadavg: 2.98 3.69 3.95 5/266 58323
/proc/meminfo: memFree=126918268/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=870232 memory=753032 CPUtime=25.38 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 119750 0 1 0 2423 115 0 0 20 0 1 0 56406111 891117568 188258 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 217558 188258 1344 243 0 213807 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 870232 KiB
Current children cumulated memory: 753032 KiB

[startup+51.1056 s]
/proc/loadavg: 3.33 3.72 3.95 5/266 58323
/proc/meminfo: memFree=124736212/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=1228132 memory=1091744 CPUtime=50.9 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 163536 0 1 0 4831 259 0 0 20 0 1 0 56406111 1257607168 272936 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 307033 272936 1344 243 0 303282 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1228132 KiB
Current children cumulated memory: 1091744 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 3.78 3.96 5/266 58325
/proc/meminfo: memFree=120440500/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=1916672 memory=1474900 CPUtime=101.94 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 225257 0 1 0 9802 392 0 0 20 0 1 0 56406111 1962672128 368725 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 479168 368725 1344 243 0 475417 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1916672 KiB
Current children cumulated memory: 1474900 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 3.86 3.98 5/266 58330
/proc/meminfo: memFree=118153912/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=2088324 memory=1663740 CPUtime=161.78 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 259179 0 1 0 15738 440 0 0 20 0 1 0 56406111 2138443776 415935 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 522081 415935 1344 243 0 518330 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2088324 KiB
Current children cumulated memory: 1663740 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.90 3.99 5/266 58332
/proc/meminfo: memFree=114627148/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=2230540 memory=1940756 CPUtime=221.62 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 293240 0 1 0 21616 546 0 0 20 0 1 0 56406111 2284072960 485189 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 557635 485189 1344 243 0 553884 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2230540 KiB
Current children cumulated memory: 1940756 KiB

[startup+282.3 s]
/proc/loadavg: 4.37 4.02 4.03 5/264 58334
/proc/meminfo: memFree=112534696/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=2263188 memory=2107464 CPUtime=281.45 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 310569 0 1 0 27452 693 0 0 20 0 1 0 56406111 2317504512 526866 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 565797 526866 1344 243 0 562046 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2263188 KiB
Current children cumulated memory: 2107464 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.03 4.03 5/264 58336
/proc/meminfo: memFree=110940772/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=2263852 memory=2126152 CPUtime=341.29 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 315239 0 1 0 33331 798 0 0 20 0 1 0 56406111 2318184448 531538 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 565963 531538 1344 243 0 562212 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 2263852 KiB
Current children cumulated memory: 2126152 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.04 4.03 5/264 58338
/proc/meminfo: memFree=106949788/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=2843092 memory=2231120 CPUtime=401.12 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 326677 0 1 0 39283 829 0 0 20 0 1 0 56406111 2911326208 557780 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 710773 557780 1344 243 0 707022 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 2843092 KiB
Current children cumulated memory: 2231120 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.06 4.03 5/262 58344
/proc/meminfo: memFree=104791904/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=2858692 memory=2393456 CPUtime=460.96 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 340211 0 1 0 45224 872 0 0 20 0 1 0 56406111 2927300608 598364 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 714673 598364 1344 243 0 710922 0

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

[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 58618
/proc/meminfo: memFree=99511612/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=5547648 memory=5160964 CPUtime=3034.05 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 656843 0 1 0 299251 4154 0 0 20 0 1 0 56406111 5680791552 1290241 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1386912 1290241 1344 243 0 1383161 0
Current children cumulated CPU time: 3034.05 s
Current children cumulated vsize: 5547648 KiB
Current children cumulated memory: 5160964 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 58621
/proc/meminfo: memFree=99275048/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=5549324 memory=5163908 CPUtime=3093.9 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 657999 0 1 0 305166 4224 0 0 20 0 1 0 56406111 5682507776 1290977 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1387331 1290977 1344 243 0 1383580 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 5549324 KiB
Current children cumulated memory: 5163908 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 58626
/proc/meminfo: memFree=99078460/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=5549696 memory=5163908 CPUtime=3153.75 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 658438 0 1 0 311058 4317 0 0 20 0 1 0 56406111 5682888704 1290977 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1387424 1290977 1344 243 0 1383673 0
Current children cumulated CPU time: 3153.75 s
Current children cumulated vsize: 5549696 KiB
Current children cumulated memory: 5163908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 58629
/proc/meminfo: memFree=98784040/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=5690508 memory=5240708 CPUtime=3213.59 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 678004 0 1 0 316985 4374 0 0 20 0 1 0 56406111 5827080192 1310177 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1422627 1310177 1344 243 0 1418876 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 5690508 KiB
Current children cumulated memory: 5240708 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/266 58631
/proc/meminfo: memFree=98271280/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=5690508 memory=5240708 CPUtime=3273.44 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 678345 0 1 0 322852 4492 0 0 20 0 1 0 56406111 5827080192 1310177 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1422627 1310177 1344 243 0 1418876 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 5690508 KiB
Current children cumulated memory: 5240708 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 58632
/proc/meminfo: memFree=97707008/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6250924 memory=5546628 CPUtime=3333.29 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 755733 0 1 0 328788 4541 0 0 20 0 1 0 56406111 6400946176 1386657 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1562731 1386657 1344 243 0 1558980 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 6250924 KiB
Current children cumulated memory: 5546628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 58634
/proc/meminfo: memFree=97452028/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6250924 memory=5546628 CPUtime=3393.13 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 756151 0 1 0 334734 4579 0 0 20 0 1 0 56406111 6400946176 1386657 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1562731 1386657 1344 243 0 1558980 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 6250924 KiB
Current children cumulated memory: 5546628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 58640
/proc/meminfo: memFree=97054112/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6250924 memory=5546628 CPUtime=3452.97 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 756392 0 1 0 340701 4596 0 0 20 0 1 0 56406111 6400946176 1386657 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1562731 1386657 1344 243 0 1558980 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 6250924 KiB
Current children cumulated memory: 5546628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 58642
/proc/meminfo: memFree=96453528/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6494396 memory=5812688 CPUtime=3512.81 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 791531 0 1 0 346615 4666 0 0 20 0 1 0 56406111 6650261504 1453172 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1623599 1453172 1344 243 0 1619848 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 6494396 KiB
Current children cumulated memory: 5812688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 58660
/proc/meminfo: memFree=96144248/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6494396 memory=5812688 CPUtime=3572.65 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 792423 0 1 0 352508 4757 0 0 20 0 1 0 56406111 6650261504 1453172 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1623599 1453172 1344 243 0 1619848 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 6494396 KiB
Current children cumulated memory: 5812688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 58662
/proc/meminfo: memFree=96044476/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6494396 memory=5813200 CPUtime=3600.08 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 793587 0 1 0 355197 4811 0 0 20 0 1 0 56406111 6650261504 1453300 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1623599 1453300 1344 243 0 1619848 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6494396 KiB
Current children cumulated memory: 5813200 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3611.86 s]
# the end of solver process 58262 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3553.97 s, system=48.1755 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 58671
/proc/meminfo: memFree=104065128/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6494396 memory=5813200 CPUtime=3601.47 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 793587 0 1 0 355336 4811 0 0 20 0 1 0 56406111 6650261504 1453300 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1623599 1453300 1344 243 0 1619848 0
Current children cumulated CPU time: 3601.47 s
Current children cumulated vsize: 6494396 KiB
Current children cumulated memory: 5813200 KiB

[startup+3611.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 58671
/proc/meminfo: memFree=104065128/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6494396 memory=5813200 CPUtime=3601.87 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 793587 0 1 0 355376 4811 0 0 20 0 1 0 56406111 6650261504 1453300 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1623599 1453300 1344 243 0 1619848 0
Current children cumulated CPU time: 3601.87 s
Current children cumulated vsize: 6494396 KiB
Current children cumulated memory: 5813200 KiB

[startup+3611.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/260 58671
/proc/meminfo: memFree=104065128/131249996 swapFree=33006296/33010684
[pid=58262] ppid=58254 vsize=6494396 memory=5813200 CPUtime=3602.07 cores=1,3
/proc/58262/stat : 58262 (pb-oll-rs) R 58254 58262 58208 0 -1 4194304 793587 0 1 0 355396 4811 0 0 20 0 1 0 56406111 6650261504 1453300 18446744073709551615 4218880 5211445 140737435190576 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 37339136 140737435199900 140737435199977 140737435199977 140737435205579 0
/proc/58262/statm: 1623599 1453300 1344 243 0 1619848 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 6494396 KiB
Current children cumulated memory: 5813200 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.86
CPU time (s): 3602.14
CPU user time (s): 3553.97
CPU system time (s): 48.1755
CPU usage (%): 99.7309
Max. virtual memory (cumulated for all children) (KiB): 6494396
Max. memory (cumulated for all children) (KiB): 5813200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.97
system time used= 48.1755
maximum resident set size= 5813200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793587
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 347
involuntary context switches= 5674


# summary of solver processes directly reported to runsolver:
#   pid: 58262
#   total CPU time (s): 3602.14
#   total CPU user time (s): 3553.97
#   total CPU system time (s): 48.1755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05691 second user time and 16.2303 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-02 00:01:26
IDJOB=4498656
IDBENCH=148724
IDSOLVER=3345
FILE ID=nodeC015/4498656-1751407286
RUNJOBID= nodeC015-1751407286-58220
SLURM_JOB_ID= 9598303
Free space on /tmp= 433016 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__16.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498656-1751407286/watcher-4498656-1751407286 -o /tmp/evaluation-result-4498656-1751407286/solver-4498656-1751407286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751407286-58220 --watchdog 3760  pb-oll-rs HOME/instance-4498656-1751407286.opb

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

MD5SUM BENCH= 9256d31b4c6d03db7020a90138972b09
RANDOM SEED=1003940145

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.082
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		: 3600.208
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		: 3600.823
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.066
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.073
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		: 3629.144
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		: 3604.016
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:        130016012 kB
MemAvailable:   129736960 kB
Buffers:            1508 kB
Cached:           506256 kB
SwapCached:         3880 kB
Active:           325836 kB
Inactive:         269792 kB
Active(anon):      53192 kB
Inactive(anon):    48880 kB
Active(file):     272644 kB
Inactive(file):   220912 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             24752 kB
Writeback:             0 kB
AnonPages:         87112 kB
Mapped:            99528 kB
Shmem:             14152 kB
KReclaimable:     133264 kB
Slab:             222156 kB
SReclaimable:     133264 kB
SUnreclaim:        88892 kB
KernelStack:        4128 kB
PageTables:         2968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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= 432728 MiB
End job on nodeC015 at 2025-07-02 01:01:38