Trace number 4542467

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 63f22ad? (TO) 3600.33 3609.68

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
MD5SUM67ed6d0a845cd2604ef9c9dd089eeee0
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 benchmark908.84
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1871280
Total number of constraints93919
Number of constraints which are clauses47477
Number of constraints which are cardinality constraints (but not clauses)42437
Number of constraints which are nor clauses,nor cardinality constraints4005
Minimum length of a constraint42
Maximum length of a constraint47
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 50
Number of bits of the biggest sum of numbers6
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-4542467-1753215329.opb'
0.39/0.49	c 	read 46.61MB  (484.00ms)
0.39/0.49	c	 [cnf: #variables 1871280 #clauses 93919 #duplicates 0 #arr 4022904]
0.39/0.50	c 
0.39/0.50	c make graph and approximate orbits
1.58/1.67	c	 [group: #orbits ~= 5244] (1165.68ms)
1.58/1.67	c 
1.58/1.67	c detect special group actions
1.58/1.67	c 	 exceeded limit
1.58/1.67	c 	 (0.00ms)
1.58/1.67	c 
1.58/1.67	c detect symmetries on remainder
1.58/1.67	c 	 [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
1.58/1.67	c 
1.58/1.67	c finalize break order and special generators
1.67/1.77	c 
1.67/1.77	c generation finished
1.67/1.77	c 	[sbp: #constraints 0 #add_vars 0]
1.67/1.78	c 
1.67/1.78	c write result to 'HOME/instance-4542467-1753215329.opb.pre'
1.78/1.88	c 	wrote 46.66MB (102.72ms)
1.78/1.88	c ------------------------------------------------------------------
1.78/1.88	c                1165.68ms 62.08% approx_orbits
1.78/1.88	c                 484.00ms 25.78% parse
1.78/1.88	c                 103.40ms  5.51% finalize_order
1.78/1.88	c                 102.72ms  5.47% output
1.78/1.88	c                  21.79ms  1.16% other
1.78/1.88	c                   0.01ms  0.00% detect_generic
1.78/1.88	c                   0.00ms  0.00% detect_special
1.78/1.88	c         ───────────────────────────────────────────────
1.78/1.88	c                1877.60ms   100% total
1.78/1.88	c ------------------------------------------------------------------
1.87/1.96	c RoundingSat 2
1.87/1.96	c branch pb25
1.87/1.96	c commit 63f22ad
3.95/4.04	c #variables 1871280 #constraints 93919
2011.01/2015.91	c #Conflicts:       1000 | #Constraints:      94918
2011.01/2015.91	c #Conflicts:       2000 | #Constraints:      95918
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c #Conflicts:       3000 | #Constraints:      95932
2011.01/2015.91	c #Conflicts:       4000 | #Constraints:      96932
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:       5000 | #Constraints:      96347
2011.01/2015.91	c #Conflicts:       6000 | #Constraints:      97347
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:       7000 | #Constraints:      96342
2011.01/2015.91	c #Conflicts:       8000 | #Constraints:      97342
2011.01/2015.91	c #Conflicts:       9000 | #Constraints:      98342
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      10000 | #Constraints:      97032
2011.01/2015.91	c #Conflicts:      11000 | #Constraints:      98032
2011.01/2015.91	c #Conflicts:      12000 | #Constraints:      99032
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      13000 | #Constraints:      97499
2011.01/2015.91	c #Conflicts:      14000 | #Constraints:      98499
2011.01/2015.91	c #Conflicts:      15000 | #Constraints:      99499
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      16000 | #Constraints:      97714
2011.01/2015.91	c #Conflicts:      17000 | #Constraints:      98714
2011.01/2015.91	c #Conflicts:      18000 | #Constraints:      99714
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      19000 | #Constraints:      97734
2011.01/2015.91	c #Conflicts:      20000 | #Constraints:      98734
2011.01/2015.91	c #Conflicts:      21000 | #Constraints:      99734
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      22000 | #Constraints:      97534
2011.01/2015.91	c #Conflicts:      23000 | #Constraints:      98534
2011.01/2015.91	c #Conflicts:      24000 | #Constraints:      99534
2011.01/2015.91	c #Conflicts:      25000 | #Constraints:     100534
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      26000 | #Constraints:      98150
2011.01/2015.91	c #Conflicts:      27000 | #Constraints:      99150
2011.01/2015.91	c #Conflicts:      28000 | #Constraints:     100150
2011.01/2015.91	c #Conflicts:      29000 | #Constraints:     101150
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      30000 | #Constraints:      98561
2011.01/2015.91	c #Conflicts:      31000 | #Constraints:      99561
2011.01/2015.91	c #Conflicts:      32000 | #Constraints:     100561
2011.01/2015.91	c #Conflicts:      33000 | #Constraints:     101561
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      34000 | #Constraints:      98755
2011.01/2015.91	c #Conflicts:      35000 | #Constraints:      99755
2011.01/2015.91	c #Conflicts:      36000 | #Constraints:     100755
2011.01/2015.91	c #Conflicts:      37000 | #Constraints:     101755
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      38000 | #Constraints:      98763
2011.01/2015.91	c #Conflicts:      39000 | #Constraints:      99763
2011.01/2015.91	c #Conflicts:      40000 | #Constraints:     100763
2011.01/2015.91	c #Conflicts:      41000 | #Constraints:     101763
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      42000 | #Constraints:      98556
2011.01/2015.91	c #Conflicts:      43000 | #Constraints:      99556
2011.01/2015.91	c #Conflicts:      44000 | #Constraints:     100556
2011.01/2015.91	c #Conflicts:      45000 | #Constraints:     101556
2011.01/2015.91	c #Conflicts:      46000 | #Constraints:     102556
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      47000 | #Constraints:      99176
2011.01/2015.91	c #Conflicts:      48000 | #Constraints:     100176
2011.01/2015.91	c #Conflicts:      49000 | #Constraints:     101176
2011.01/2015.91	c #Conflicts:      50000 | #Constraints:     102176
2011.01/2015.91	c #Conflicts:      51000 | #Constraints:     103176
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      52000 | #Constraints:      99573
2011.01/2015.91	c #Conflicts:      53000 | #Constraints:     100573
2011.01/2015.91	c #Conflicts:      54000 | #Constraints:     101573
2011.01/2015.91	c #Conflicts:      55000 | #Constraints:     102573
2011.01/2015.91	c #Conflicts:      56000 | #Constraints:     103573
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      57000 | #Constraints:      99776
2011.01/2015.91	c #Conflicts:      58000 | #Constraints:     100776
2011.01/2015.91	c #Conflicts:      59000 | #Constraints:     101776
2011.01/2015.91	c #Conflicts:      60000 | #Constraints:     102776
2011.01/2015.91	c #Conflicts:      61000 | #Constraints:     103776
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      62000 | #Constraints:      99789
2011.01/2015.91	c #Conflicts:      63000 | #Constraints:     100789
2011.01/2015.91	c #Conflicts:      64000 | #Constraints:     101789
2011.01/2015.91	c #Conflicts:      65000 | #Constraints:     102789
2011.01/2015.91	c #Conflicts:      66000 | #Constraints:     103789
2011.01/2015.91	c INPROCESSING
2011.01/2015.91	c GARBAGE COLLECT
2011.01/2015.91	c #Conflicts:      67000 | #Constraints:      99594
2011.01/2015.91	c #Conflicts:      68000 | #Constraints:     100594
3581.18/3590.51	c #Conflicts:      69000 | #Constraints:     101594
3581.18/3590.51	c #Conflicts:      70000 | #Constraints:     102594
3581.18/3590.51	c #Conflicts:      71000 | #Constraints:     103594
3581.18/3590.51	c #Conflicts:      72000 | #Constraints:     104594
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:      73000 | #Constraints:     100196
3581.18/3590.51	c #Conflicts:      74000 | #Constraints:     101196
3581.18/3590.51	c #Conflicts:      75000 | #Constraints:     102196
3581.18/3590.51	c #Conflicts:      76000 | #Constraints:     103196
3581.18/3590.51	c #Conflicts:      77000 | #Constraints:     104196
3581.18/3590.51	c #Conflicts:      78000 | #Constraints:     105196
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:      79000 | #Constraints:     100611
3581.18/3590.51	c #Conflicts:      80000 | #Constraints:     101611
3581.18/3590.51	c #Conflicts:      81000 | #Constraints:     102611
3581.18/3590.51	c #Conflicts:      82000 | #Constraints:     103611
3581.18/3590.51	c #Conflicts:      83000 | #Constraints:     104611
3581.18/3590.51	c #Conflicts:      84000 | #Constraints:     105611
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:      85000 | #Constraints:     100829
3581.18/3590.51	c #Conflicts:      86000 | #Constraints:     101829
3581.18/3590.51	c #Conflicts:      87000 | #Constraints:     102829
3581.18/3590.51	c #Conflicts:      88000 | #Constraints:     103829
3581.18/3590.51	c #Conflicts:      89000 | #Constraints:     104829
3581.18/3590.51	c #Conflicts:      90000 | #Constraints:     105829
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:      91000 | #Constraints:     100832
3581.18/3590.51	c #Conflicts:      92000 | #Constraints:     101832
3581.18/3590.51	c #Conflicts:      93000 | #Constraints:     102832
3581.18/3590.51	c #Conflicts:      94000 | #Constraints:     103832
3581.18/3590.51	c #Conflicts:      95000 | #Constraints:     104832
3581.18/3590.51	c #Conflicts:      96000 | #Constraints:     105832
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:      97000 | #Constraints:     100648
3581.18/3590.51	c #Conflicts:      98000 | #Constraints:     101648
3581.18/3590.51	c #Conflicts:      99000 | #Constraints:     102648
3581.18/3590.51	c #Conflicts:     100000 | #Constraints:     103648
3581.18/3590.51	c #Conflicts:     101000 | #Constraints:     104648
3581.18/3590.51	c #Conflicts:     102000 | #Constraints:     105648
3581.18/3590.51	c #Conflicts:     103000 | #Constraints:     106648
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:     104000 | #Constraints:     101299
3581.18/3590.51	c #Conflicts:     105000 | #Constraints:     102299
3581.18/3590.51	c #Conflicts:     106000 | #Constraints:     103299
3581.18/3590.51	c #Conflicts:     107000 | #Constraints:     104299
3581.18/3590.51	c #Conflicts:     108000 | #Constraints:     105299
3581.18/3590.51	c #Conflicts:     109000 | #Constraints:     106299
3581.18/3590.51	c #Conflicts:     110000 | #Constraints:     107299
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:     111000 | #Constraints:     101737
3581.18/3590.51	c #Conflicts:     112000 | #Constraints:     102737
3581.18/3590.51	c #Conflicts:     113000 | #Constraints:     103737
3581.18/3590.51	c #Conflicts:     114000 | #Constraints:     104737
3581.18/3590.51	c #Conflicts:     115000 | #Constraints:     105737
3581.18/3590.51	c #Conflicts:     116000 | #Constraints:     106737
3581.18/3590.51	c #Conflicts:     117000 | #Constraints:     107737
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:     118000 | #Constraints:     101955
3581.18/3590.51	c #Conflicts:     119000 | #Constraints:     102955
3581.18/3590.51	c #Conflicts:     120000 | #Constraints:     103955
3581.18/3590.51	c #Conflicts:     121000 | #Constraints:     104955
3581.18/3590.51	c #Conflicts:     122000 | #Constraints:     105955
3581.18/3590.51	c #Conflicts:     123000 | #Constraints:     106955
3581.18/3590.51	c #Conflicts:     124000 | #Constraints:     107955
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:     125000 | #Constraints:     101981
3581.18/3590.51	c #Conflicts:     126000 | #Constraints:     102981
3581.18/3590.51	c #Conflicts:     127000 | #Constraints:     103981
3581.18/3590.51	c #Conflicts:     128000 | #Constraints:     104981
3581.18/3590.51	c #Conflicts:     129000 | #Constraints:     105981
3581.18/3590.51	c #Conflicts:     130000 | #Constraints:     106981
3581.18/3590.51	c #Conflicts:     131000 | #Constraints:     107981
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:     132000 | #Constraints:     101818
3581.18/3590.51	c #Conflicts:     133000 | #Constraints:     102818
3581.18/3590.51	c #Conflicts:     134000 | #Constraints:     103818
3581.18/3590.51	c #Conflicts:     135000 | #Constraints:     104818
3581.18/3590.51	c #Conflicts:     136000 | #Constraints:     105818
3581.18/3590.51	c #Conflicts:     137000 | #Constraints:     106818
3581.18/3590.51	c #Conflicts:     138000 | #Constraints:     107818
3581.18/3590.51	c #Conflicts:     139000 | #Constraints:     108818
3581.18/3590.51	c INPROCESSING
3581.18/3590.51	c GARBAGE COLLECT
3581.18/3590.51	c #Conflicts:     140000 | #Constraints:     102446
3600.02/3609.40	c #Conflicts:     141000 | #Constraints:     103446
3600.02/3609.40	c #Conflicts:     142000 | #Constraints:     104446
3600.02/3609.40	c #Conflicts:     143000 | #Constraints:     105446
3600.02/3609.40	c #Conflicts:     144000 | #Constraints:     106446
3600.02/3609.40	c #Conflicts:     145000 | #Constraints:     107446
3600.02/3609.40	c cpu time 3032.44 s
3600.02/3609.40	c deterministic time 3865852256 3.87e+09
3600.02/3609.40	c optimization time 104.256 s
3600.02/3609.40	c total solve time 2926.55 s
3600.02/3609.40	c core-guided solve time 0 s
3600.02/3609.40	c propagation time 227.99 s
3600.02/3609.40	c conflict analysis time 4.33784 s
3600.02/3609.40	c propagations 42250181
3600.02/3609.40	c resolve steps 307628
3600.02/3609.40	c decisions 889660682
3600.02/3609.40	c conflicts 145802
3600.02/3609.40	c restarts 380
3600.02/3609.40	c inprocessing phases 29
3600.02/3609.40	c garbage collections 28 ,( 96.55 )
3600.02/3609.40	c input clauses 47477 ,( 50.55 )
3600.02/3609.40	c input cardinalities 46442 ,( 49.45 )
3600.02/3609.40	c input general constraints 0 ,( 0.00 )
3600.02/3609.40	c input average constraint length 42.83
3600.02/3609.40	c input average constraint degree 21.27
3600.02/3609.40	c learned clauses 7446 ,( 5.11 )
3600.02/3609.40	c learned cardinalities 138356 ,( 94.89 )
3600.02/3609.40	c learned general constraints 0 ,( 0.00 )
3600.02/3609.40	c learned average constraint length 593.94
3600.02/3609.40	c learned average constraint degree 305.39
3600.02/3609.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.40	c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3609.40	c watched   constraints 0 ,( -nan ) 
3600.02/3609.40	c counting  constraints 0 ,( -nan ) 
3600.02/3609.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 22647357 , 21869262 , 0 ,( 0 , 0 )
3600.02/3609.40	c gcd simplifications 0
3600.02/3609.40	c detected cardinalities 0
3600.02/3609.40	c weakened non-implied lits 0
3600.02/3609.40	c weakened non-implying lits 0
3600.02/3609.40	c original variables 1871280
3600.02/3609.40	c clausal propagations 21467109
3600.02/3609.40	c cardinality propagations 19558427
3600.02/3609.40	c watched propagations 0
3600.02/3609.40	c counting propagations 0
3600.02/3609.40	c watch lookups 44516619
3600.02/3609.40	c watch backjump lookups 0
3600.02/3609.40	c watch checks 910490049
3600.02/3609.40	c propagation checks 948980105
3600.02/3609.40	c constraint additions 99004960
3600.02/3609.40	c trail pops 930886659
3600.02/3609.40	c formula constraints 93919
3600.02/3609.40	c learned constraints 145802
3600.02/3609.40	c bound constraints 0
3600.02/3609.40	c core-guided constraints 0
3600.02/3609.40	c encountered formula constraints 289351
3600.02/3609.40	c encountered learned constraints 164079
3600.02/3609.40	c encountered bound constraints 0
3600.02/3609.40	c encountered core-guided constraints 0
3600.02/3609.40	c LP total time 11.874 s
3600.02/3609.40	c LP solve time 10.83 s
3600.02/3609.40	c LP constraints added 93919
3600.02/3609.40	c LP constraints removed 0
3600.02/3609.40	c LP pivots internal 42000
3600.02/3609.40	c LP pivots root 21000
3600.02/3609.40	c LP calls 6
3600.02/3609.40	c LP optimalities 0
3600.02/3609.40	c LP no pivot count 0
3600.02/3609.40	c LP infeasibilities 0
3600.02/3609.40	c LP valid Farkas constraints 0
3600.02/3609.40	c LP learned Farkas constraints 0
3600.02/3609.40	c LP basis resets 0
3600.02/3609.40	c LP cycling count 0
3600.02/3609.40	c LP singular count 0
3600.02/3609.40	c LP no primal count 0
3600.02/3609.40	c LP no farkas count 0
3600.02/3609.40	c LP other issue count 0
3600.02/3609.40	c LP Gomory cuts 0
3600.02/3609.40	c LP learned cuts 0
3600.02/3609.40	c LP deleted cuts 0
3600.02/3609.40	c LP encountered Gomory constraints 0
3600.02/3609.40	c LP encountered Farkas constraints 0
3600.02/3609.40	c LP encountered learned Farkas constraints 0
3600.02/3609.40	c CG auxiliary variables introduced 0
3600.02/3609.40	c CG solutions found 0
3600.02/3609.40	c CG cores constructed 0
3600.02/3609.40	c CG core cardinality constraints returned 0
3600.02/3609.40	c CG unit cores 0
3600.02/3609.40	c CG single cores 0
3600.02/3609.40	c CG blocks removed during cardinality reduction 0
3600.02/3609.40	c CG first core best 0
3600.02/3609.40	c CG decision core best 0
3600.02/3609.40	c CG core reduction tie 0
3600.02/3609.40	c CG core degree average 0.00
3600.02/3609.40	c CG core slack average 0.00
3600.02/3609.40	c CG core upper bound improvements 0
3600.02/3609.40	c STR number of successful calls 0
3600.02/3609.40	c STR number of unsuccessful calls 0
3600.02/3609.40	c STR number of inconclusive calls 0
3600.02/3609.40	c STR number of successful attempts 0
3600.02/3609.40	c STR number of unsuccessful attempts 0
3600.02/3609.40	c STR number of inconclusive attempts 0
3600.02/3609.40	c STR average degree increase per successful call inf
3600.02/3609.40	c STR average degree increase per successful attempt inf
3600.02/3609.40	c STR total number of conflicts for successful attempts 0
3600.02/3609.40	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.40	c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.40	c STR average number of conflicts per successful attempt inf
3600.02/3609.40	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.40	c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.40	c AVG.sumWPerc -nan 
3600.02/3609.40	c bigint constraints 0 
3600.02/3609.40	s UNKNOWN
3600.02/3609.40	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 (57660 MiB free)
  memory of node 1: 64465 MiB (62674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542467-1753215329/watcher-4542467-1753215329 -o /tmp/evaluation-result-4542467-1753215329/solver-4542467-1753215329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760 run-dec-break.sh HOME/instance-4542467-1753215329.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=176162, runsolver pid=176159
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.07 4.08 4.05 5/270 176164
/proc/meminfo: memFree=123144520/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176164] ppid=176162 vsize=108324 memory=99680 CPUtime=0.08 cores=1,3
/proc/176164/stat : 176164 (pbsuma) R 176162 176162 175467 0 -1 4194304 8138 0 0 0 6 2 0 0 20 0 1 0 237212375 110923776 24888 18446744073709551615 4210688 4653049 140723231248736 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9285632 140723231250785 140723231250992 140723231250992 140723231256559 0
/proc/176164/statm: 27081 24888 960 108 0 24489 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 112516 KiB
Current children cumulated memory: 102624 KiB

[startup+0.205621 s]*
/proc/loadavg: 4.07 4.08 4.05 5/270 176164
/proc/meminfo: memFree=123115600/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176164] ppid=176162 vsize=142212 memory=129164 CPUtime=0.19 cores=1,3
/proc/176164/stat : 176164 (pbsuma) R 176162 176162 175467 0 -1 4194304 14534 0 0 0 15 4 0 0 20 0 1 0 237212375 145625088 32291 18446744073709551615 4210688 4653049 140723231248736 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9285632 140723231250785 140723231250992 140723231250992 140723231256559 0
/proc/176164/statm: 35553 32291 960 108 0 32961 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 146404 KiB
Current children cumulated memory: 132108 KiB

[startup+0.305568 s]*
/proc/loadavg: 4.07 4.08 4.05 5/270 176164
/proc/meminfo: memFree=123084224/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176164] ppid=176162 vsize=171212 memory=155788 CPUtime=0.29 cores=1,3
/proc/176164/stat : 176164 (pbsuma) R 176162 176162 175467 0 -1 4194304 20307 0 0 0 24 5 0 0 20 0 1 0 237212375 175321088 38947 18446744073709551615 4210688 4653049 140723231248736 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9285632 140723231250785 140723231250992 140723231250992 140723231256559 0
/proc/176164/statm: 42803 38947 960 108 0 40211 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 158732 KiB

[startup+0.700221 s]
/proc/loadavg: 4.07 4.08 4.05 5/270 176164
/proc/meminfo: memFree=122991288/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176164] ppid=176162 vsize=628152 memory=500036 CPUtime=0.68 cores=1,3
/proc/176164/stat : 176164 (pbsuma) R 176162 176162 175467 0 -1 4194304 36953 0 0 0 54 14 0 0 20 0 1 0 237212375 643227648 125009 18446744073709551615 4210688 4653049 140723231248736 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9285632 140723231250785 140723231250992 140723231250992 140723231256559 0
/proc/176164/statm: 157038 125009 992 108 0 154446 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 632344 KiB
Current children cumulated memory: 502980 KiB

[startup+1.50021 s]
/proc/loadavg: 4.14 4.10 4.05 5/270 176164
/proc/meminfo: memFree=122508912/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176164] ppid=176162 vsize=1733716 memory=1263100 CPUtime=1.47 cores=1,3
/proc/176164/stat : 176164 (pbsuma) R 176162 176162 175467 0 -1 4194304 47882 0 0 0 117 30 0 0 20 0 1 0 237212375 1775325184 315775 18446744073709551615 4210688 4653049 140723231248736 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 9285632 140723231250785 140723231250992 140723231250992 140723231256559 0
/proc/176164/statm: 433429 315775 992 108 0 430837 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1737908 KiB
Current children cumulated memory: 1266044 KiB

[startup+3.1054 s]
/proc/loadavg: 4.14 4.10 4.05 5/270 176165
/proc/meminfo: memFree=122664256/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=645272 memory=569184 CPUtime=1.13 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 43131 0 0 0 92 21 0 0 20 0 1 0 237212571 660758528 142296 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 161318 142296 1984 1147 0 148745 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 649464 KiB
Current children cumulated memory: 572128 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.10 4.05 5/270 176165
/proc/meminfo: memFree=121472412/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=1878728 memory=1712044 CPUtime=4.31 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 120412 0 0 0 362 69 0 0 20 0 1 0 237212571 1923817472 428011 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 469682 428011 2272 1147 0 457109 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1882920 KiB
Current children cumulated memory: 1714988 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.05 5/270 176165
/proc/meminfo: memFree=121533592/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=1878728 memory=1712044 CPUtime=10.69 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 120546 0 0 0 1000 69 0 0 20 0 1 0 237212571 1923817472 428011 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 469682 428011 2272 1147 0 457109 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1882920 KiB
Current children cumulated memory: 1714988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.05 5/270 176165
/proc/meminfo: memFree=121612404/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=1878728 memory=1712044 CPUtime=23.46 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 120562 0 0 0 2277 69 0 0 20 0 1 0 237212571 1923817472 428011 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 469682 428011 2272 1147 0 457109 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1882920 KiB
Current children cumulated memory: 1714988 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.10 4.06 5/270 176166
/proc/meminfo: memFree=121589796/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=1878728 memory=1712044 CPUtime=49.01 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 120637 0 0 0 4831 70 0 0 20 0 1 0 237212571 1923817472 428011 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 469682 428011 2272 1147 0 457109 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1882920 KiB
Current children cumulated memory: 1714988 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/270 176175
/proc/meminfo: memFree=121541288/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=1915276 memory=1755788 CPUtime=100.08 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 122621 0 0 0 9900 108 0 0 20 0 1 0 237212571 1961242624 438947 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 478819 438947 2368 1147 0 466246 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1919468 KiB
Current children cumulated memory: 1758732 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/270 176177
/proc/meminfo: memFree=121440808/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=1915276 memory=1755788 CPUtime=159.94 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 122694 0 0 0 15885 109 0 0 20 0 1 0 237212571 1961242624 438947 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 478819 438947 2368 1147 0 466246 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1919468 KiB
Current children cumulated memory: 1758732 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.06 5/270 176179
/proc/meminfo: memFree=121353284/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=1915276 memory=1768884 CPUtime=219.8 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 123582 0 0 0 21784 196 0 0 20 0 1 0 237212571 1961242624 442221 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 478819 442221 2368 1147 0 466246 0

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

[pid=176165] ppid=176162 vsize=2531956 memory=2375648 CPUtime=3092.4 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 257114 0 0 0 266271 42969 0 0 20 0 1 0 237212571 2592722944 593912 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 632989 593912 2368 1147 0 620416 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 2536148 KiB
Current children cumulated memory: 2378592 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/269 176435
/proc/meminfo: memFree=116611296/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2539516 memory=2383712 CPUtime=3152.24 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 259220 0 0 0 269335 45889 0 0 20 0 1 0 237212571 2600464384 595928 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 634879 595928 2368 1147 0 622306 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 2543708 KiB
Current children cumulated memory: 2386656 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 176437
/proc/meminfo: memFree=116497148/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2563280 memory=2409040 CPUtime=3212.06 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 265123 0 0 0 274385 46821 0 0 20 0 1 0 237212571 2624798720 602260 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 640820 602260 2368 1147 0 628247 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 2567472 KiB
Current children cumulated memory: 2411984 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 176439
/proc/meminfo: memFree=116465972/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2563280 memory=2409040 CPUtime=3271.9 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 265265 0 0 0 279375 47815 0 0 20 0 1 0 237212571 2624798720 602260 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 640820 602260 2368 1147 0 628247 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 2567472 KiB
Current children cumulated memory: 2411984 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 176442
/proc/meminfo: memFree=116377148/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2582092 memory=2428240 CPUtime=3331.74 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 270087 0 0 0 281982 51192 0 0 20 0 1 0 237212571 2644062208 607060 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 645523 607060 2368 1147 0 632950 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 2586284 KiB
Current children cumulated memory: 2431184 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 176444
/proc/meminfo: memFree=116361492/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2589020 memory=2434768 CPUtime=3391.57 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 271789 0 0 0 286861 52296 0 0 20 0 1 0 237212571 2651156480 608692 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 647255 608692 2368 1147 0 634682 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 2593212 KiB
Current children cumulated memory: 2437712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 176447
/proc/meminfo: memFree=116255920/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2594976 memory=2441168 CPUtime=3451.41 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 273525 0 0 0 291994 53147 0 0 20 0 1 0 237212571 2657255424 610292 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 648744 610292 2368 1147 0 636171 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 2599168 KiB
Current children cumulated memory: 2444112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 176449
/proc/meminfo: memFree=116228756/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2614488 memory=2460240 CPUtime=3511.23 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 278314 0 0 0 296977 54146 0 0 20 0 1 0 237212571 2677235712 615060 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 653622 615060 2368 1147 0 641049 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 2618680 KiB
Current children cumulated memory: 2463184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 176451
/proc/meminfo: memFree=116208560/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2614488 memory=2460240 CPUtime=3571.06 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 278395 0 0 0 302061 55045 0 0 20 0 1 0 237212571 2677235712 615060 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 653622 615060 2368 1147 0 641049 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 2618680 KiB
Current children cumulated memory: 2463184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.04 4.07 4.08 5/269 176499
/proc/meminfo: memFree=119482460/131250000 swapFree=33009904/33010684
[pid=176162] ppid=176159 vsize=4192 memory=2944 CPUtime=1.93 cores=1,3
/proc/176162/stat : 176162 (run-dec-break.s) S 176159 176162 175467 0 -1 4194304 234 56092 0 0 0 0 152 41 20 0 1 0 237212375 4292608 736 18446744073709551615 94047631269888 94047632164421 140731389894864 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94047632403472 94047632451216 94047654846464 140731389897055 140731389897184 140731389897184 140731389902788 0
/proc/176162/statm: 1048 736 672 219 0 110 0
[pid=176165] ppid=176162 vsize=2633724 memory=2479824 CPUtime=3598.09 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176162 176162 175467 0 -1 4194304 283399 0 0 0 303244 56565 0 0 20 0 1 0 237212571 2696933376 619956 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 658431 619956 2368 1147 0 645858 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2637916 KiB
Current children cumulated memory: 2482768 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3034.2 s, system=566.129 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+3609.61 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 176499
/proc/meminfo: memFree=120114364/131250000 swapFree=33009904/33010684
[pid=176165] ppid=176159 vsize=1950968 memory=1838948 CPUtime=3598.3 cores=1,3
/proc/176165/stat : 176165 (roundingsat) R 176159 176162 175467 0 -1 4194304 283437 0 0 0 303264 56566 0 0 20 0 1 0 237212571 1997791232 459737 18446744073709551615 4227072 8923433 140729052365712 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11513856 140729052371266 140729052371494 140729052371494 140729052377066 0
/proc/176165/statm: 487742 459737 2432 1147 0 475169 0
Current cumulated CPU time of completed processes: 1.94693 s
Current children cumulated CPU time: 3598.3 s
Current children cumulated vsize: 1950968 KiB
Current children cumulated memory: 1838948 KiB

Child status: 2

Real time (s): 3609.68
CPU time (s): 3600.33
CPU user time (s): 3034.2
CPU system time (s): 566.129
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 2637916
Max. memory (cumulated for all children) (KiB): 2482768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3034.2
system time used= 566.129
maximum resident set size= 2480080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 339834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 91128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 2782


# summary of solver processes directly reported to runsolver:
#   pid: 176162,176165
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3034.2
#   total CPU system time (s): 566.129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98598 second user time and 17.3009 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-22 22:15:30
IDJOB=4542467
IDBENCH=163928
IDSOLVER=3357
FILE ID=nodeC033/4542467-1753215329
RUNJOBID= nodeC033-1753211687-175479
SLURM_JOB_ID= 9687798
Free space on /tmp= 432300 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542467-1753215329/watcher-4542467-1753215329 -o /tmp/evaluation-result-4542467-1753215329/solver-4542467-1753215329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753211687-175479 --watchdog 3760  run-dec-break.sh HOME/instance-4542467-1753215329.opb

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

MD5SUM BENCH= 67ed6d0a845cd2604ef9c9dd089eeee0
RANDOM SEED=825751798

nodeC033 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.072
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.13
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.064
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.13
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.393
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.13
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		: 3584.418
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.13
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.273
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.13
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.008
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.13
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		: 3535.732
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.13
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		: 3615.215
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.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123224420 kB
MemAvailable:   124968020 kB
Buffers:            2128 kB
Cached:          2466840 kB
SwapCached:           64 kB
Active:          5743152 kB
Inactive:        1239708 kB
Active(anon):    4534836 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file):  1234424 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            201392 kB
Writeback:             0 kB
AnonPages:       4512864 kB
Mapped:           121548 kB
Shmem:             26228 kB
KReclaimable:     280200 kB
Slab:             377444 kB
SReclaimable:     280200 kB
SUnreclaim:        97244 kB
KernelStack:        4384 kB
PageTables:        12260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5110524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3352576 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432240 MiB
End job on nodeC033 at 2025-07-22 23:15:39