Trace number 4515351

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 NameAnswerCPU timeWall clock time
roundingsat+pbsuma-log 63f22ad? (TO) 3600.21 3612.29

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
MD5SUM3de1ff2182bb2a8df9b13aa693b03795
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7728.55
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables167056
Total number of constraints169577
Number of constraints which are clauses167055
Number of constraints which are cardinality constraints (but not clauses)1966
Number of constraints which are nor clauses,nor cardinality constraints556
Minimum length of a constraint2
Maximum length of a constraint556
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 202
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 758
Number of bits of the biggest sum of numbers10
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4515351-1751221972.opb'
0.09/0.15	c 	read 9.93MB  (143.12ms)
0.09/0.15	c	 [cnf: #variables 167056 #clauses 169577 #duplicates 0 #arr 834722]
0.09/0.15	c output proof to 'PROOFDIR/proof-4515351-1751221972'
0.09/0.15	c 
0.09/0.15	c make graph and approximate orbits
0.28/0.40	c	 [group: #orbits ~= 13320] (246.81ms)
0.28/0.40	c 
0.28/0.40	c detect special group actions
0.28/0.40	c 	probe for Johnson action (limit=64)
0.28/0.40	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.58/0.62	c 	probe for row symmetry (limit=64, splits=16.78M)
0.88/0.95	c 	 found row 42x1112, generating row predicate
0.88/0.95	c 	 (552.07ms)
0.88/0.95	c 
0.88/0.95	c detect symmetries on remainder
0.88/0.95	c 	[graph: #vertices 979328 #edges 2954834]
0.88/0.96	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.18/1.27	c 	 [group: #symmetries 3.04*10^262 #generators 247] (317.08ms)
1.18/1.27	c 
1.18/1.27	c optimize generators (opt_passes=64, conjugate_limit=256)
1.28/1.33	c 	ran it=0, +gens=25 
2.08/2.16	c 	con best_support=2216, best_gens=96, +gens=158
2.08/2.16	c 	(890.23ms)
2.08/2.16	c 
2.08/2.16	c finalize break order and special generators
2.08/2.17	c 
2.08/2.17	c add generic predicates (break_depth=10)
2.08/2.18	c 	added predicates for 430 generators (6.00ms)
6.66/6.73	c 
6.66/6.73	c generation finished
6.66/6.73	c 	[sbp: #constraints 2520 #add_vars 810]
6.66/6.73	c 
6.66/6.73	c write result to 'HOME/instance-4515351-1751221972.opb.pre'
6.66/6.76	c 	wrote 10.19MB (21.68ms)
6.66/6.76	c ------------------------------------------------------------------
6.66/6.76	c                4559.96ms 67.57% other
6.66/6.76	c                 890.23ms 13.19% optimize_gens
6.66/6.76	c                 552.07ms  8.18% detect_special
6.66/6.76	c                 317.08ms  4.70% detect_generic
6.66/6.76	c                 246.81ms  3.66% approx_orbits
6.66/6.76	c                 143.12ms  2.12% parse
6.66/6.76	c                  21.68ms  0.32% output
6.66/6.76	c                  11.98ms  0.18% finalize_order
6.66/6.76	c                   6.00ms  0.09% break_generic
6.66/6.76	c         ───────────────────────────────────────────────
6.66/6.76	c                6748.92ms   100% total
6.66/6.76	c ------------------------------------------------------------------
6.76/7.06	c RoundingSat 2
6.76/7.06	c branch pb25
6.76/7.06	c commit 63f22ad
8.11/8.42	c #variables 167866 #constraints 172397
1892.47/1898.63	c #Conflicts:       1000 | #Constraints:     173396
1892.47/1898.63	c #Conflicts:       2000 | #Constraints:     174396
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:       3000 | #Constraints:     174100
1892.47/1898.63	c #Conflicts:       4000 | #Constraints:     175100
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:       5000 | #Constraints:     174530
1892.47/1898.63	c #Conflicts:       6000 | #Constraints:     175530
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:       7000 | #Constraints:     174549
1892.47/1898.63	c #Conflicts:       8000 | #Constraints:     175549
1892.47/1898.63	c #Conflicts:       9000 | #Constraints:     176549
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      10000 | #Constraints:     175259
1892.47/1898.63	c #Conflicts:      11000 | #Constraints:     176259
1892.47/1898.63	c #Conflicts:      12000 | #Constraints:     177259
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      13000 | #Constraints:     175712
1892.47/1898.63	c #Conflicts:      14000 | #Constraints:     176712
1892.47/1898.63	c #Conflicts:      15000 | #Constraints:     177712
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      16000 | #Constraints:     175936
1892.47/1898.63	c #Conflicts:      17000 | #Constraints:     176936
1892.47/1898.63	c #Conflicts:      18000 | #Constraints:     177936
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      19000 | #Constraints:     175958
1892.47/1898.63	c #Conflicts:      20000 | #Constraints:     176958
1892.47/1898.63	c #Conflicts:      21000 | #Constraints:     177958
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      22000 | #Constraints:     175760
1892.47/1898.63	c #Conflicts:      23000 | #Constraints:     176760
1892.47/1898.63	c #Conflicts:      24000 | #Constraints:     177760
1892.47/1898.63	c #Conflicts:      25000 | #Constraints:     178760
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      26000 | #Constraints:     176375
1892.47/1898.63	c #Conflicts:      27000 | #Constraints:     177375
1892.47/1898.63	c #Conflicts:      28000 | #Constraints:     178375
1892.47/1898.63	c #Conflicts:      29000 | #Constraints:     179375
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      30000 | #Constraints:     176764
1892.47/1898.63	c #Conflicts:      31000 | #Constraints:     177764
1892.47/1898.63	c #Conflicts:      32000 | #Constraints:     178764
1892.47/1898.63	c #Conflicts:      33000 | #Constraints:     179764
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      34000 | #Constraints:     176977
1892.47/1898.63	c #Conflicts:      35000 | #Constraints:     177977
1892.47/1898.63	c #Conflicts:      36000 | #Constraints:     178977
1892.47/1898.63	c #Conflicts:      37000 | #Constraints:     179977
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      38000 | #Constraints:     176994
1892.47/1898.63	c #Conflicts:      39000 | #Constraints:     177994
1892.47/1898.63	c #Conflicts:      40000 | #Constraints:     178994
1892.47/1898.63	c #Conflicts:      41000 | #Constraints:     179994
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      42000 | #Constraints:     176823
1892.47/1898.63	c #Conflicts:      43000 | #Constraints:     177823
1892.47/1898.63	c #Conflicts:      44000 | #Constraints:     178823
1892.47/1898.63	c #Conflicts:      45000 | #Constraints:     179823
1892.47/1898.63	c #Conflicts:      46000 | #Constraints:     180823
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      47000 | #Constraints:     177411
1892.47/1898.63	c #Conflicts:      48000 | #Constraints:     178411
1892.47/1898.63	c #Conflicts:      49000 | #Constraints:     179411
1892.47/1898.63	c #Conflicts:      50000 | #Constraints:     180411
1892.47/1898.63	c #Conflicts:      51000 | #Constraints:     181411
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      52000 | #Constraints:     177797
1892.47/1898.63	c #Conflicts:      53000 | #Constraints:     178797
1892.47/1898.63	c #Conflicts:      54000 | #Constraints:     179797
1892.47/1898.63	c #Conflicts:      55000 | #Constraints:     180797
1892.47/1898.63	c #Conflicts:      56000 | #Constraints:     181797
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      57000 | #Constraints:     178001
1892.47/1898.63	c #Conflicts:      58000 | #Constraints:     179001
1892.47/1898.63	c #Conflicts:      59000 | #Constraints:     180001
1892.47/1898.63	c #Conflicts:      60000 | #Constraints:     181001
1892.47/1898.63	c #Conflicts:      61000 | #Constraints:     182001
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      62000 | #Constraints:     178002
1892.47/1898.63	c #Conflicts:      63000 | #Constraints:     179002
1892.47/1898.63	c #Conflicts:      64000 | #Constraints:     180002
1892.47/1898.63	c #Conflicts:      65000 | #Constraints:     181002
1892.47/1898.63	c #Conflicts:      66000 | #Constraints:     182002
1892.47/1898.63	c INPROCESSING
1892.47/1898.63	c GARBAGE COLLECT
1892.47/1898.63	c #Conflicts:      67000 | #Constraints:     177795
1892.47/1898.63	c #Conflicts:      68000 | #Constraints:     178795
3573.36/3585.32	c #Conflicts:      69000 | #Constraints:     179795
3573.36/3585.32	c #Conflicts:      70000 | #Constraints:     180795
3573.36/3585.32	c #Conflicts:      71000 | #Constraints:     181795
3573.36/3585.32	c #Conflicts:      72000 | #Constraints:     182795
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:      73000 | #Constraints:     178396
3573.36/3585.32	c #Conflicts:      74000 | #Constraints:     179396
3573.36/3585.32	c #Conflicts:      75000 | #Constraints:     180396
3573.36/3585.32	c #Conflicts:      76000 | #Constraints:     181396
3573.36/3585.32	c #Conflicts:      77000 | #Constraints:     182396
3573.36/3585.32	c #Conflicts:      78000 | #Constraints:     183396
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:      79000 | #Constraints:     178795
3573.36/3585.32	c #Conflicts:      80000 | #Constraints:     179795
3573.36/3585.32	c #Conflicts:      81000 | #Constraints:     180795
3573.36/3585.32	c #Conflicts:      82000 | #Constraints:     181795
3573.36/3585.32	c #Conflicts:      83000 | #Constraints:     182795
3573.36/3585.32	c #Conflicts:      84000 | #Constraints:     183795
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:      85000 | #Constraints:     179013
3573.36/3585.32	c #Conflicts:      86000 | #Constraints:     180013
3573.36/3585.32	c #Conflicts:      87000 | #Constraints:     181013
3573.36/3585.32	c #Conflicts:      88000 | #Constraints:     182013
3573.36/3585.32	c #Conflicts:      89000 | #Constraints:     183013
3573.36/3585.32	c #Conflicts:      90000 | #Constraints:     184013
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:      91000 | #Constraints:     179016
3573.36/3585.32	c #Conflicts:      92000 | #Constraints:     180016
3573.36/3585.32	c #Conflicts:      93000 | #Constraints:     181016
3573.36/3585.32	c #Conflicts:      94000 | #Constraints:     182016
3573.36/3585.32	c #Conflicts:      95000 | #Constraints:     183016
3573.36/3585.32	c #Conflicts:      96000 | #Constraints:     184016
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:      97000 | #Constraints:     178822
3573.36/3585.32	c #Conflicts:      98000 | #Constraints:     179822
3573.36/3585.32	c #Conflicts:      99000 | #Constraints:     180822
3573.36/3585.32	c #Conflicts:     100000 | #Constraints:     181822
3573.36/3585.32	c #Conflicts:     101000 | #Constraints:     182823
3573.36/3585.32	c #Conflicts:     102000 | #Constraints:     183823
3573.36/3585.32	c #Conflicts:     103000 | #Constraints:     184823
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:     104000 | #Constraints:     179412
3573.36/3585.32	c #Conflicts:     105000 | #Constraints:     180412
3573.36/3585.32	c #Conflicts:     106000 | #Constraints:     181412
3573.36/3585.32	c #Conflicts:     107000 | #Constraints:     182412
3573.36/3585.32	c #Conflicts:     108000 | #Constraints:     183412
3573.36/3585.32	c #Conflicts:     109000 | #Constraints:     184412
3573.36/3585.32	c #Conflicts:     110000 | #Constraints:     185412
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:     111000 | #Constraints:     179808
3573.36/3585.32	c #Conflicts:     112000 | #Constraints:     180808
3573.36/3585.32	c #Conflicts:     113000 | #Constraints:     181808
3573.36/3585.32	c #Conflicts:     114000 | #Constraints:     182808
3573.36/3585.32	c #Conflicts:     115000 | #Constraints:     183808
3573.36/3585.32	c #Conflicts:     116000 | #Constraints:     184808
3573.36/3585.32	c #Conflicts:     117000 | #Constraints:     185808
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:     118000 | #Constraints:     180006
3573.36/3585.32	c #Conflicts:     119000 | #Constraints:     181006
3573.36/3585.32	c #Conflicts:     120000 | #Constraints:     182006
3573.36/3585.32	c #Conflicts:     121000 | #Constraints:     183006
3573.36/3585.32	c #Conflicts:     122000 | #Constraints:     184006
3573.36/3585.32	c #Conflicts:     123000 | #Constraints:     185006
3573.36/3585.32	c #Conflicts:     124000 | #Constraints:     186007
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:     125000 | #Constraints:     180000
3573.36/3585.32	c #Conflicts:     126000 | #Constraints:     181000
3573.36/3585.32	c #Conflicts:     127000 | #Constraints:     182000
3573.36/3585.32	c #Conflicts:     128000 | #Constraints:     183000
3573.36/3585.32	c #Conflicts:     129000 | #Constraints:     184000
3573.36/3585.32	c #Conflicts:     130000 | #Constraints:     185001
3573.36/3585.32	c #Conflicts:     131000 | #Constraints:     186001
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:     132000 | #Constraints:     179788
3573.36/3585.32	c #Conflicts:     133000 | #Constraints:     180788
3573.36/3585.32	c #Conflicts:     134000 | #Constraints:     181788
3573.36/3585.32	c #Conflicts:     135000 | #Constraints:     182788
3573.36/3585.32	c #Conflicts:     136000 | #Constraints:     183788
3573.36/3585.32	c #Conflicts:     137000 | #Constraints:     184788
3573.36/3585.32	c #Conflicts:     138000 | #Constraints:     185788
3573.36/3585.32	c #Conflicts:     139000 | #Constraints:     186789
3573.36/3585.32	c INPROCESSING
3573.36/3585.32	c GARBAGE COLLECT
3573.36/3585.32	c #Conflicts:     140000 | #Constraints:     180412
3600.08/3612.11	c #Conflicts:     141000 | #Constraints:     181412
3600.08/3612.11	c #Conflicts:     142000 | #Constraints:     182412
3600.08/3612.11	c #Conflicts:     143000 | #Constraints:     183413
3600.08/3612.11	c cpu time 3579.52 s
3600.08/3612.11	c deterministic time 262419439769 2.62e+11
3600.08/3612.11	c optimization time 81.3462 s
3600.08/3612.11	c total solve time 3497.07 s
3600.08/3612.11	c core-guided solve time 0 s
3600.08/3612.11	c propagation time 1175.94 s
3600.08/3612.11	c conflict analysis time 517.849 s
3600.08/3612.11	c propagations 91084165
3600.08/3612.11	c resolve steps 583685
3600.08/3612.11	c decisions 10979108
3600.08/3612.11	c conflicts 143739
3600.08/3612.11	c restarts 381
3600.08/3612.11	c inprocessing phases 29
3600.08/3612.11	c garbage collections 29 ,( 100.00 )
3600.08/3612.11	c input clauses 169875 ,( 98.54 )
3600.08/3612.11	c input cardinalities 1966 ,( 1.14 )
3600.08/3612.11	c input general constraints 556 ,( 0.32 )
3600.08/3612.11	c input average constraint length 5.85
3600.08/3612.11	c input average constraint degree 5.33
3600.08/3612.11	c learned clauses 19156 ,( 13.33 )
3600.08/3612.11	c learned cardinalities 13433 ,( 9.35 )
3600.08/3612.11	c learned general constraints 111154 ,( 77.33 )
3600.08/3612.11	c learned average constraint length 18892.03
3600.08/3612.11	c learned average constraint degree 386197910.73
3600.08/3612.11	c watched  CF 32, 64, 128, Arb: 110494 , 0 , 0 , 0
3600.08/3612.11	c counting CF 32, 64, 128, Arb: 1216 , 0 , 0 , 0
3600.08/3612.11	c watched   constraints 110494 ,( 98.91 ) 
3600.08/3612.11	c counting  constraints 1216 ,( 1.09 ) 
3600.08/3612.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 46620685 , 13829006 , 102777414 ,( 101920054 , 857360 )
3600.08/3612.11	c gcd simplifications 1493
3600.08/3612.11	c detected cardinalities 18
3600.08/3612.11	c weakened non-implied lits 210500156
3600.08/3612.11	c weakened non-implying lits 13815
3600.08/3612.11	c original variables 167866
3600.08/3612.11	c clausal propagations 44317192
3600.08/3612.11	c cardinality propagations 19594373
3600.08/3612.11	c watched propagations 6903755
3600.08/3612.11	c counting propagations 17338958
3600.08/3612.11	c watch lookups 591600703
3600.08/3612.11	c watch backjump lookups 0
3600.08/3612.11	c watch checks 208390038487
3600.08/3612.11	c propagation checks 47414370834
3600.08/3612.11	c constraint additions 5819287843
3600.08/3612.11	c trail pops 102042633
3600.08/3612.11	c formula constraints 172397
3600.08/3612.11	c learned constraints 143733
3600.08/3612.11	c bound constraints 0
3600.08/3612.11	c core-guided constraints 0
3600.08/3612.11	c encountered formula constraints 340858
3600.08/3612.11	c encountered learned constraints 385990
3600.08/3612.11	c encountered bound constraints 0
3600.08/3612.11	c encountered core-guided constraints 0
3600.08/3612.11	c LP total time 75.576 s
3600.08/3612.11	c LP solve time 75.2 s
3600.08/3612.11	c LP constraints added 172397
3600.08/3612.11	c LP constraints removed 0
3600.08/3612.11	c LP pivots internal 14995
3600.08/3612.11	c LP pivots root 21000
3600.08/3612.11	c LP calls 10
3600.08/3612.11	c LP optimalities 0
3600.08/3612.11	c LP no pivot count 0
3600.08/3612.11	c LP infeasibilities 5
3600.08/3612.11	c LP valid Farkas constraints 5
3600.08/3612.11	c LP learned Farkas constraints 5
3600.08/3612.11	c LP basis resets 0
3600.08/3612.11	c LP cycling count 0
3600.08/3612.11	c LP singular count 0
3600.08/3612.11	c LP no primal count 0
3600.08/3612.11	c LP no farkas count 0
3600.08/3612.11	c LP other issue count 0
3600.08/3612.11	c LP Gomory cuts 0
3600.08/3612.11	c LP learned cuts 0
3600.08/3612.11	c LP deleted cuts 0
3600.08/3612.11	c LP encountered Gomory constraints 0
3600.08/3612.11	c LP encountered Farkas constraints 549
3600.08/3612.11	c LP encountered learned Farkas constraints 22
3600.08/3612.11	c CG auxiliary variables introduced 0
3600.08/3612.11	c CG solutions found 0
3600.08/3612.11	c CG cores constructed 0
3600.08/3612.11	c CG core cardinality constraints returned 0
3600.08/3612.11	c CG unit cores 0
3600.08/3612.11	c CG single cores 0
3600.08/3612.11	c CG blocks removed during cardinality reduction 0
3600.08/3612.11	c CG first core best 0
3600.08/3612.11	c CG decision core best 0
3600.08/3612.11	c CG core reduction tie 0
3600.08/3612.11	c CG core degree average 0.00
3600.08/3612.11	c CG core slack average 0.00
3600.08/3612.11	c CG core upper bound improvements 0
3600.08/3612.11	c STR number of successful calls 0
3600.08/3612.11	c STR number of unsuccessful calls 0
3600.08/3612.11	c STR number of inconclusive calls 0
3600.08/3612.11	c STR number of successful attempts 0
3600.08/3612.11	c STR number of unsuccessful attempts 0
3600.08/3612.11	c STR number of inconclusive attempts 0
3600.08/3612.11	c STR average degree increase per successful call inf
3600.08/3612.11	c STR average degree increase per successful attempt inf
3600.08/3612.11	c STR total number of conflicts for successful attempts 0
3600.08/3612.11	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3612.11	c STR total number of conflicts for inconclusive attempts 0
3600.08/3612.11	c STR average number of conflicts per successful attempt inf
3600.08/3612.11	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3612.11	c STR average number of conflicts per inconclusive attempt inf
3600.08/3612.11	c AVG.sumWPerc 13.84 
3600.08/3612.11	c bigint constraints 0 
3600.08/3612.11	s UNKNOWN
3600.08/3612.11	c Program interrupted by user.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515351-1751221972/watcher-4515351-1751221972 -o /tmp/evaluation-result-4515351-1751221972/solver-4515351-1751221972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751214528-35318 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515351-1751221972.opb PROOFDIR/proof-4515351-1751221972 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
solver pid=36944, runsolver pid=36941
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.11 4.15 4.11 5/271 36946
/proc/meminfo: memFree=125789404/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36946] ppid=36944 vsize=68496 memory=60176 CPUtime=0.09 cores=0,2
/proc/36946/stat : 36946 (pbsuma) R 36944 36944 35308 0 -1 4194304 6983 0 0 0 7 2 0 0 20 0 1 0 37874781 70139904 15044 18446744073709551615 4210688 4653049 140730192895200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 25100288 140730192898275 140730192898610 140730192898610 140730192904175 0
/proc/36946/statm: 17124 15044 960 108 0 14532 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72688 KiB
Current children cumulated memory: 63248 KiB

[startup+0.205663 s]*
/proc/loadavg: 4.11 4.15 4.11 5/271 36946
/proc/meminfo: memFree=125743408/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36946] ppid=36944 vsize=154828 memory=123992 CPUtime=0.19 cores=0,2
/proc/36946/stat : 36946 (pbsuma) R 36944 36944 35308 0 -1 4194304 16255 0 0 0 15 4 0 0 20 0 1 0 37874781 158543872 30998 18446744073709551615 4210688 4653049 140730192895200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 25100288 140730192898275 140730192898610 140730192898610 140730192904175 0
/proc/36946/statm: 38707 30998 992 108 0 36115 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 159020 KiB
Current children cumulated memory: 127064 KiB

[startup+0.305646 s]*
/proc/loadavg: 4.11 4.15 4.11 5/271 36946
/proc/meminfo: memFree=125661936/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36946] ppid=36944 vsize=250540 memory=190692 CPUtime=0.28 cores=0,2
/proc/36946/stat : 36946 (pbsuma) R 36944 36944 35308 0 -1 4194304 21172 0 0 0 23 5 0 0 20 0 1 0 37874781 256552960 47673 18446744073709551615 4210688 4653049 140730192895200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 25100288 140730192898275 140730192898610 140730192898610 140730192904175 0
/proc/36946/statm: 62635 47673 992 108 0 60043 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 254732 KiB
Current children cumulated memory: 193764 KiB

[startup+0.700226 s]
/proc/loadavg: 4.11 4.15 4.11 5/271 36946
/proc/meminfo: memFree=125629048/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36946] ppid=36944 vsize=297092 memory=193812 CPUtime=0.68 cores=0,2
/proc/36946/stat : 36946 (pbsuma) R 36944 36944 35308 0 -1 4194304 26463 0 0 0 60 8 0 0 20 0 1 0 37874781 304222208 48453 18446744073709551615 4210688 4653049 140730192895200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 25100288 140730192898275 140730192898610 140730192898610 140730192904175 0
/proc/36946/statm: 74273 48453 1024 108 0 71681 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 301284 KiB
Current children cumulated memory: 196884 KiB

[startup+1.50019 s]
/proc/loadavg: 4.11 4.15 4.11 5/271 36946
/proc/meminfo: memFree=125621236/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36946] ppid=36944 vsize=297104 memory=239124 CPUtime=1.48 cores=0,2
/proc/36946/stat : 36946 (pbsuma) R 36944 36944 35308 0 -1 4194304 44712 0 0 0 135 13 0 0 20 0 1 0 37874781 304234496 59781 18446744073709551615 4210688 4653049 140730192895200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 25100288 140730192898275 140730192898610 140730192898610 140730192904175 0
/proc/36946/statm: 74276 59781 1024 108 0 71684 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 301296 KiB
Current children cumulated memory: 242196 KiB

[startup+3.1053 s]
/proc/loadavg: 4.11 4.15 4.11 5/271 36946
/proc/meminfo: memFree=125475184/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36946] ppid=36944 vsize=297104 memory=240916 CPUtime=3.08 cores=0,2
/proc/36946/stat : 36946 (pbsuma) R 36944 36944 35308 0 -1 4194304 45634 0 0 0 292 16 0 0 20 0 1 0 37874781 304234496 60229 18446744073709551615 4210688 4653049 140730192895200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 25100288 140730192898275 140730192898610 140730192898610 140730192904175 0
/proc/36946/statm: 74276 60229 1024 108 0 71684 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 301296 KiB
Current children cumulated memory: 243988 KiB

[startup+6.30013 s]
/proc/loadavg: 4.26 4.18 4.12 5/271 36946
/proc/meminfo: memFree=125265644/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36946] ppid=36944 vsize=309932 memory=253972 CPUtime=6.27 cores=0,2
/proc/36946/stat : 36946 (pbsuma) R 36944 36944 35308 0 -1 4194304 49013 0 0 0 601 26 0 0 20 0 1 0 37874781 317370368 63493 18446744073709551615 4210688 4653049 140730192895200 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 25100288 140730192898275 140730192898610 140730192898610 140730192904175 0
/proc/36946/statm: 77483 63493 1024 108 0 74891 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 314124 KiB
Current children cumulated memory: 257044 KiB

[startup+12.7002 s]
/proc/loadavg: 4.32 4.19 4.12 5/271 36947
/proc/meminfo: memFree=125074404/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=546444 memory=423912 CPUtime=5.61 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 59879 0 0 0 532 29 0 0 20 0 1 0 37875486 559558656 105978 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 136611 105978 2336 1147 0 124038 0
Current children cumulated CPU time: 12.4 s
Current children cumulated vsize: 550636 KiB
Current children cumulated memory: 426984 KiB

[startup+25.5002 s]
/proc/loadavg: 4.47 4.23 4.14 5/271 36947
/proc/meminfo: memFree=125027296/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=546444 memory=423912 CPUtime=18.37 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 59889 0 0 0 1808 29 0 0 20 0 1 0 37875486 559558656 105978 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 136611 105978 2336 1147 0 124038 0
Current children cumulated CPU time: 25.16 s
Current children cumulated vsize: 550636 KiB
Current children cumulated memory: 426984 KiB

[startup+51.1056 s]
/proc/loadavg: 4.39 4.23 4.14 5/272 36949
/proc/meminfo: memFree=124818800/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=546444 memory=423912 CPUtime=43.91 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 59890 0 0 0 4362 29 0 0 20 0 1 0 37875486 559558656 105978 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 136611 105978 2336 1147 0 124038 0
Current children cumulated CPU time: 50.7 s
Current children cumulated vsize: 550636 KiB
Current children cumulated memory: 426984 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.21 4.13 5/273 36954
/proc/meminfo: memFree=124195948/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=968016 memory=743260 CPUtime=94.97 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 87412 0 0 0 9428 69 0 0 20 0 1 0 37875486 991248384 185815 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 242004 185815 2400 1147 0 229431 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 972208 KiB
Current children cumulated memory: 746332 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/274 36959
/proc/meminfo: memFree=123550360/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=1029752 memory=803584 CPUtime=154.81 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 102008 0 0 0 15381 100 0 0 20 0 1 0 37875486 1054466048 200896 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 257438 200896 2400 1147 0 244865 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 1033944 KiB
Current children cumulated memory: 806656 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/274 36961
/proc/meminfo: memFree=122909328/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=1040652 memory=815232 CPUtime=214.65 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 104928 0 0 0 21345 120 0 0 20 0 1 0 37875486 1065627648 203808 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0

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

[pid=36947] ppid=36944 vsize=4623632 memory=4049196 CPUtime=3085.05 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 466749 0 0 0 307319 1186 0 0 20 0 1 0 37875486 4734599168 1012299 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1155908 1012299 2400 1147 0 1143335 0
Current children cumulated CPU time: 3091.84 s
Current children cumulated vsize: 4627824 KiB
Current children cumulated memory: 4052268 KiB

[startup+3162.3 s]
/proc/loadavg: 3.12 3.20 3.58 4/269 37216
/proc/meminfo: memFree=94606072/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4623632 memory=4049708 CPUtime=3144.89 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 467673 0 0 0 313296 1193 0 0 20 0 1 0 37875486 4734599168 1012427 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1155908 1012427 2400 1147 0 1143335 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 4627824 KiB
Current children cumulated memory: 4052780 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.18 3.54 4/269 37220
/proc/meminfo: memFree=93748500/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4652396 memory=4072432 CPUtime=3204.66 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 470535 0 0 0 319233 1233 0 0 20 0 1 0 37875486 4764053504 1018108 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1163099 1018108 2400 1147 0 1150526 0
Current children cumulated CPU time: 3211.45 s
Current children cumulated vsize: 4656588 KiB
Current children cumulated memory: 4075504 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.16 3.51 4/268 37222
/proc/meminfo: memFree=93191816/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4652396 memory=4072432 CPUtime=3264.51 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 471341 0 0 0 325214 1237 0 0 20 0 1 0 37875486 4764053504 1018108 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1163099 1018108 2400 1147 0 1150526 0
Current children cumulated CPU time: 3271.3 s
Current children cumulated vsize: 4656588 KiB
Current children cumulated memory: 4075504 KiB

[startup+3342.3 s]
/proc/loadavg: 3.09 3.14 3.48 4/268 37225
/proc/meminfo: memFree=92373204/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4652396 memory=4075376 CPUtime=3324.28 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 472163 0 0 0 331156 1272 0 0 20 0 1 0 37875486 4764053504 1018844 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1163099 1018844 2400 1147 0 1150526 0
Current children cumulated CPU time: 3331.07 s
Current children cumulated vsize: 4656588 KiB
Current children cumulated memory: 4078448 KiB

[startup+3402.3 s]
/proc/loadavg: 3.08 3.13 3.45 4/271 37232
/proc/meminfo: memFree=91876336/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4678236 memory=4103560 CPUtime=3384.06 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 476240 0 0 0 337101 1305 0 0 20 0 1 0 37875486 4790513664 1025890 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1169559 1025890 2400 1147 0 1156986 0
Current children cumulated CPU time: 3390.85 s
Current children cumulated vsize: 4682428 KiB
Current children cumulated memory: 4106632 KiB

[startup+3462.3 s]
/proc/loadavg: 2.33 2.94 3.37 2/256 37296
/proc/meminfo: memFree=121163796/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4687024 memory=4112520 CPUtime=3443.92 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 478995 0 0 0 343062 1330 0 0 20 0 1 0 37875486 4799512576 1028130 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1171756 1028130 2400 1147 0 1159183 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 4691216 KiB
Current children cumulated memory: 4115592 KiB

[startup+3522.3 s]
/proc/loadavg: 1.53 2.60 3.22 2/256 37299
/proc/meminfo: memFree=121004716/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4721776 memory=4139400 CPUtime=3503.72 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 483326 0 0 0 349010 1362 0 0 20 0 1 0 37875486 4835098624 1034850 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1180444 1034850 2400 1147 0 1167871 0
Current children cumulated CPU time: 3510.51 s
Current children cumulated vsize: 4725968 KiB
Current children cumulated memory: 4142472 KiB

[startup+3582.3 s]
/proc/loadavg: 1.31 2.34 3.09 2/256 37301
/proc/meminfo: memFree=120988384/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4721776 memory=4145916 CPUtime=3563.58 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 484943 0 0 0 354993 1365 0 0 20 0 1 0 37875486 4835098624 1036479 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1180444 1036479 2400 1147 0 1167871 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 4725968 KiB
Current children cumulated memory: 4148988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 1.19 2.21 3.03 2/255 37302
/proc/meminfo: memFree=120880324/131250000 swapFree=33010684/33010684
[pid=36944] ppid=36941 vsize=4192 memory=3072 CPUtime=6.79 cores=0,2
/proc/36944/stat : 36944 (run-dec-break-l) S 36941 36944 35308 0 -1 4194304 239 50338 0 0 0 0 648 31 20 0 1 0 37874780 4292608 768 18446744073709551615 94508034445312 94508035339845 140737072627664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94508035578896 94508035626640 94508059373568 140737072634133 140737072634334 140737072634334 140737072639936 0
/proc/36944/statm: 1048 768 704 219 0 110 0
[pid=36947] ppid=36944 vsize=4737032 memory=4148280 CPUtime=3593.29 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36944 36944 35308 0 -1 4194304 485120 0 0 0 357951 1378 0 0 20 0 1 0 37875486 4850720768 1037070 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1184258 1037070 2400 1147 0 1171685 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4741224 KiB
Current children cumulated memory: 4151352 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3612.11 s]
# the end of solver process 36944 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=6.4844 s, system=0.315329 s
Sleeping 2 seconds

[startup+3612.29 s]
# the end of solver process 36947 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3586.07 s, system=14.1415 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3612.2 s]*
/proc/loadavg: 1.19 2.21 3.03 2/254 37302
/proc/meminfo: memFree=120880748/131250000 swapFree=33010684/33010684
[pid=36947] ppid=36941 vsize=4720468 memory=4135140 CPUtime=3593.33 cores=0,2
/proc/36947/stat : 36947 (roundingsat) R 36941 36944 35308 0 -1 4194304 485126 0 0 0 357954 1379 0 0 20 0 1 0 37875486 4833759232 1033785 18446744073709551615 4227072 8923433 140724179704768 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36052992 140724179712244 140724179712552 140724179712552 140724179718122 0
/proc/36947/statm: 1180117 1033785 2496 1147 0 1167544 0
Current cumulated CPU time of completed processes: 6.79973 s
Current children cumulated CPU time: 3593.33 s
Current children cumulated vsize: 4720468 KiB
Current children cumulated memory: 4135140 KiB

Child status: 2

Real time (s): 3612.29
CPU time (s): 3600.21
CPU user time (s): 3586.07
CPU system time (s): 14.1415
CPU usage (%): 99.6658
Max. virtual memory (cumulated for all children) (KiB): 4741224
Max. memory (cumulated for all children) (KiB): 4151352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.07
system time used= 14.1415
maximum resident set size= 4148664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 535725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8236840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6201
involuntary context switches= 8555


# summary of solver processes directly reported to runsolver:
#   pid: 36944,36947
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3586.07
#   total CPU system time (s): 14.1415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3884 second user time and 16.3731 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 20:32:52
IDJOB=4515351
IDBENCH=164408
IDSOLVER=3358
FILE ID=nodeC016/4515351-1751221972
RUNJOBID= nodeC016-1751214528-35318
SLURM_JOB_ID= 9587646
Free space on /tmp= 433028 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-631710.0.u.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515351-1751221972/watcher-4515351-1751221972 -o /tmp/evaluation-result-4515351-1751221972/solver-4515351-1751221972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751214528-35318 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515351-1751221972.opb PROOFDIR/proof-4515351-1751221972

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

MD5SUM BENCH= 3de1ff2182bb2a8df9b13aa693b03795
RANDOM SEED=503300331

nodeC016 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		: 3589.551
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	: 6999.48
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		: 3599.729
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	: 6999.48
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		: 3599.741
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	: 6999.48
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		: 3599.225
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	: 6999.48
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		: 3599.751
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	: 6999.48
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		: 3599.724
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	: 6999.48
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		: 3558.117
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	: 6999.48
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		: 3599.720
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	: 6999.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125822932 kB
MemAvailable:   127991552 kB
Buffers:            3280 kB
Cached:          2972624 kB
SwapCached:            0 kB
Active:          2087656 kB
Inactive:        2750860 kB
Active(anon):    1880684 kB
Inactive(anon):        0 kB
Active(file):     206972 kB
Inactive(file):  2750860 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31532 kB
Writeback:             0 kB
AnonPages:       1864672 kB
Mapped:           116232 kB
Shmem:             18072 kB
KReclaimable:     100056 kB
Slab:             187820 kB
SReclaimable:     100056 kB
SUnreclaim:        87764 kB
KernelStack:        4352 kB
PageTables:         7164 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2403684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC016 at 2025-06-29 21:33:05