Trace number 4515099

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.14 3619.19

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.s.opb
MD5SUMfadbb7049cb6f956a624efb3819309ab
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark27.5709
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11891
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint11734
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 1285215
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501285382
Number of bits of the biggest sum of numbers29
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-4515099-1751220496.opb'
0.00/0.04	c 	read 0.87MB  (27.46ms)
0.00/0.04	c	 [cnf: #variables 12675 #clauses 11891 #duplicates 0 #arr 84479]
0.00/0.04	c output proof to 'PROOFDIR/proof-4515099-1751220496'
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.07	c	 [group: #orbits ~= 3536] (29.73ms)
0.00/0.07	c 
0.00/0.07	c detect special group actions
0.00/0.07	c 	probe for Johnson action (limit=64)
0.00/0.08	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08	c 	recursing 18 blocks of candidate 3x154r
0.00/0.09	c 	 found row 3x154, generating row predicate
0.00/0.09	c 	 (16.90ms)
0.00/0.09	c 
0.00/0.09	c detect symmetries on remainder
0.00/0.09	c 	[graph: #vertices 62559 #edges 244944]
0.00/0.09	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.11	c 	 [group: #symmetries 1.42*10^1017 #generators 2572] (26.21ms)
0.08/0.11	c 
0.08/0.11	c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.12	c 	ran it=0, +gens=6 
0.31/0.34	c 	con best_support=4, best_gens=2042, +gens=56
0.31/0.34	c 	(225.17ms)
0.31/0.34	c 
0.31/0.34	c finalize break order and special generators
0.31/0.34	c 
0.31/0.34	c add generic predicates (break_depth=10)
0.31/0.34	c 	added predicates for 2634 generators (0.86ms)
0.31/0.38	c 
0.31/0.38	c generation finished
0.31/0.38	c 	[sbp: #constraints 14711 #add_vars 4025]
0.31/0.39	c 
0.31/0.39	c write result to 'HOME/instance-4515099-1751220496.opb.pre'
0.31/0.39	c 	wrote 1.41MB (6.13ms)
0.31/0.39	c ------------------------------------------------------------------
0.31/0.39	c                 225.17ms 59.16% optimize_gens
0.31/0.39	c                  46.83ms 12.30% other
0.31/0.39	c                  29.73ms  7.81% approx_orbits
0.31/0.39	c                  27.45ms  7.21% parse
0.31/0.39	c                  26.21ms  6.89% detect_generic
0.31/0.39	c                  16.90ms  4.44% detect_special
0.31/0.39	c                   6.13ms  1.61% output
0.31/0.39	c                   1.32ms  0.35% finalize_order
0.31/0.39	c                   0.86ms  0.23% break_generic
0.31/0.39	c         ───────────────────────────────────────────────
0.31/0.39	c                 380.61ms   100% total
0.31/0.39	c ------------------------------------------------------------------
0.31/0.42	c RoundingSat 2
0.31/0.42	c branch pb25
0.31/0.42	c commit 63f22ad
0.56/0.68	c #variables 16700 #constraints 26602
1303.81/1308.93	c #Conflicts:       1000 | #Constraints:      27601
1303.81/1308.93	c #Conflicts:       2000 | #Constraints:      28601
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:       3000 | #Constraints:      25866
1303.81/1308.93	c #Conflicts:       4000 | #Constraints:      26866
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:       5000 | #Constraints:      25256
1303.81/1308.93	c #Conflicts:       6000 | #Constraints:      26256
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:       7000 | #Constraints:      23911
1303.81/1308.93	c #Conflicts:       8000 | #Constraints:      24911
1303.81/1308.93	c #Conflicts:       9000 | #Constraints:      25911
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      10000 | #Constraints:      24176
1303.81/1308.93	c #Conflicts:      11000 | #Constraints:      25176
1303.81/1308.93	c #Conflicts:      12000 | #Constraints:      26176
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      13000 | #Constraints:      24457
1303.81/1308.93	c #Conflicts:      14000 | #Constraints:      25457
1303.81/1308.93	c #Conflicts:      15000 | #Constraints:      26457
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      16000 | #Constraints:      24181
1303.81/1308.93	c #Conflicts:      17000 | #Constraints:      25181
1303.81/1308.93	c #Conflicts:      18000 | #Constraints:      26181
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      19000 | #Constraints:      24147
1303.81/1308.93	c #Conflicts:      20000 | #Constraints:      25147
1303.81/1308.93	c #Conflicts:      21000 | #Constraints:      26148
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      22000 | #Constraints:      23672
1303.81/1308.93	c #Conflicts:      23000 | #Constraints:      24672
1303.81/1308.93	c #Conflicts:      24000 | #Constraints:      25672
1303.81/1308.93	c #Conflicts:      25000 | #Constraints:      26672
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      26000 | #Constraints:      24041
1303.81/1308.93	c #Conflicts:      27000 | #Constraints:      25041
1303.81/1308.93	c #Conflicts:      28000 | #Constraints:      26041
1303.81/1308.93	c #Conflicts:      29000 | #Constraints:      27041
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      30000 | #Constraints:      24239
1303.81/1308.93	c #Conflicts:      31000 | #Constraints:      25239
1303.81/1308.93	c #Conflicts:      32000 | #Constraints:      26240
1303.81/1308.93	c #Conflicts:      33000 | #Constraints:      27240
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      34000 | #Constraints:      24082
1303.81/1308.93	c #Conflicts:      35000 | #Constraints:      25082
1303.81/1308.93	c #Conflicts:      36000 | #Constraints:      26082
1303.81/1308.93	c #Conflicts:      37000 | #Constraints:      27082
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      38000 | #Constraints:      23997
1303.81/1308.93	c #Conflicts:      39000 | #Constraints:      24997
1303.81/1308.93	c #Conflicts:      40000 | #Constraints:      25997
1303.81/1308.93	c #Conflicts:      41000 | #Constraints:      26997
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      42000 | #Constraints:      23561
1303.81/1308.93	c #Conflicts:      43000 | #Constraints:      24561
1303.81/1308.93	c #Conflicts:      44000 | #Constraints:      25561
1303.81/1308.93	c #Conflicts:      45000 | #Constraints:      26562
1303.81/1308.93	c #Conflicts:      46000 | #Constraints:      27562
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      47000 | #Constraints:      24131
1303.81/1308.93	c #Conflicts:      48000 | #Constraints:      25131
1303.81/1308.93	c #Conflicts:      49000 | #Constraints:      26131
1303.81/1308.93	c #Conflicts:      50000 | #Constraints:      27131
1303.81/1308.93	c #Conflicts:      51000 | #Constraints:      28131
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      52000 | #Constraints:      23585
1303.81/1308.93	c #Conflicts:      53000 | #Constraints:      24585
1303.81/1308.93	c #Conflicts:      54000 | #Constraints:      25585
1303.81/1308.93	c #Conflicts:      55000 | #Constraints:      26585
1303.81/1308.93	c #Conflicts:      56000 | #Constraints:      27585
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      57000 | #Constraints:      23600
1303.81/1308.93	c #Conflicts:      58000 | #Constraints:      24600
1303.81/1308.93	c #Conflicts:      59000 | #Constraints:      25600
1303.81/1308.93	c #Conflicts:      60000 | #Constraints:      26600
1303.81/1308.93	c #Conflicts:      61000 | #Constraints:      27600
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      62000 | #Constraints:      23274
1303.81/1308.93	c #Conflicts:      63000 | #Constraints:      24274
1303.81/1308.93	c #Conflicts:      64000 | #Constraints:      25274
1303.81/1308.93	c #Conflicts:      65000 | #Constraints:      26274
1303.81/1308.93	c #Conflicts:      66000 | #Constraints:      27274
1303.81/1308.93	c INPROCESSING
1303.81/1308.93	c GARBAGE COLLECT
1303.81/1308.93	c #Conflicts:      67000 | #Constraints:      22967
1303.81/1308.93	c #Conflicts:      68000 | #Constraints:      23967
2478.07/2490.26	c #Conflicts:      69000 | #Constraints:      24967
2478.07/2490.26	c #Conflicts:      70000 | #Constraints:      25967
2478.07/2490.26	c #Conflicts:      71000 | #Constraints:      26967
2478.07/2490.26	c #Conflicts:      72000 | #Constraints:      27967
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:      73000 | #Constraints:      23531
2478.07/2490.26	c #Conflicts:      74000 | #Constraints:      24531
2478.07/2490.26	c #Conflicts:      75000 | #Constraints:      25532
2478.07/2490.26	c #Conflicts:      76000 | #Constraints:      26532
2478.07/2490.26	c #Conflicts:      77000 | #Constraints:      27532
2478.07/2490.26	c #Conflicts:      78000 | #Constraints:      28532
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:      79000 | #Constraints:      23859
2478.07/2490.26	c #Conflicts:      80000 | #Constraints:      24859
2478.07/2490.26	c #Conflicts:      81000 | #Constraints:      25859
2478.07/2490.26	c #Conflicts:      82000 | #Constraints:      26859
2478.07/2490.26	c #Conflicts:      83000 | #Constraints:      27859
2478.07/2490.26	c #Conflicts:      84000 | #Constraints:      28859
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:      85000 | #Constraints:      24009
2478.07/2490.26	c #Conflicts:      86000 | #Constraints:      25009
2478.07/2490.26	c #Conflicts:      87000 | #Constraints:      26009
2478.07/2490.26	c #Conflicts:      88000 | #Constraints:      27009
2478.07/2490.26	c #Conflicts:      89000 | #Constraints:      28009
2478.07/2490.26	c #Conflicts:      90000 | #Constraints:      29009
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:      91000 | #Constraints:      23993
2478.07/2490.26	c #Conflicts:      92000 | #Constraints:      24993
2478.07/2490.26	c #Conflicts:      93000 | #Constraints:      25993
2478.07/2490.26	c #Conflicts:      94000 | #Constraints:      26993
2478.07/2490.26	c #Conflicts:      95000 | #Constraints:      27993
2478.07/2490.26	c #Conflicts:      96000 | #Constraints:      28994
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:      97000 | #Constraints:      23164
2478.07/2490.26	c #Conflicts:      98000 | #Constraints:      24165
2478.07/2490.26	c #Conflicts:      99000 | #Constraints:      25166
2478.07/2490.26	c #Conflicts:     100000 | #Constraints:      26166
2478.07/2490.26	c #Conflicts:     101000 | #Constraints:      27166
2478.07/2490.26	c #Conflicts:     102000 | #Constraints:      28166
2478.07/2490.26	c #Conflicts:     103000 | #Constraints:      29166
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:     104000 | #Constraints:      23726
2478.07/2490.26	c #Conflicts:     105000 | #Constraints:      24727
2478.07/2490.26	c #Conflicts:     106000 | #Constraints:      25727
2478.07/2490.26	c #Conflicts:     107000 | #Constraints:      26727
2478.07/2490.26	c #Conflicts:     108000 | #Constraints:      27728
2478.07/2490.26	c #Conflicts:     109000 | #Constraints:      28729
2478.07/2490.26	c #Conflicts:     110000 | #Constraints:      29729
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:     111000 | #Constraints:      24101
2478.07/2490.26	c #Conflicts:     112000 | #Constraints:      25102
2478.07/2490.26	c #Conflicts:     113000 | #Constraints:      26102
2478.07/2490.26	c #Conflicts:     114000 | #Constraints:      27102
2478.07/2490.26	c #Conflicts:     115000 | #Constraints:      28102
2478.07/2490.26	c #Conflicts:     116000 | #Constraints:      29102
2478.07/2490.26	c #Conflicts:     117000 | #Constraints:      30102
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:     118000 | #Constraints:      23919
2478.07/2490.26	c #Conflicts:     119000 | #Constraints:      24919
2478.07/2490.26	c #Conflicts:     120000 | #Constraints:      25920
2478.07/2490.26	c #Conflicts:     121000 | #Constraints:      26920
2478.07/2490.26	c #Conflicts:     122000 | #Constraints:      27922
2478.07/2490.26	c #Conflicts:     123000 | #Constraints:      28922
2478.07/2490.26	c #Conflicts:     124000 | #Constraints:      29923
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c #Conflicts:     125000 | #Constraints:      23882
2478.07/2490.26	c #Conflicts:     126000 | #Constraints:      24882
2478.07/2490.26	c #Conflicts:     127000 | #Constraints:      25883
2478.07/2490.26	c #Conflicts:     128000 | #Constraints:      26883
2478.07/2490.26	c #Conflicts:     129000 | #Constraints:      27883
2478.07/2490.26	c #Conflicts:     130000 | #Constraints:      28883
2478.07/2490.26	c #Conflicts:     131000 | #Constraints:      29883
2478.07/2490.26	c INPROCESSING
2478.07/2490.26	c GARBAGE COLLECT
2478.07/2490.26	c rational objective 3204.8
3600.03/3619.01	c #Conflicts:     132000 | #Constraints:      23687
3600.03/3619.01	c #Conflicts:     133000 | #Constraints:      24687
3600.03/3619.01	c #Conflicts:     134000 | #Constraints:      25688
3600.03/3619.01	c #Conflicts:     135000 | #Constraints:      26688
3600.03/3619.01	c #Conflicts:     136000 | #Constraints:      27688
3600.03/3619.01	c #Conflicts:     137000 | #Constraints:      28688
3600.03/3619.01	c #Conflicts:     138000 | #Constraints:      29688
3600.03/3619.01	c #Conflicts:     139000 | #Constraints:      30688
3600.03/3619.01	c INPROCESSING
3600.03/3619.01	c GARBAGE COLLECT
3600.03/3619.01	c #Conflicts:     140000 | #Constraints:      24019
3600.03/3619.01	c #Conflicts:     141000 | #Constraints:      25019
3600.03/3619.01	c #Conflicts:     142000 | #Constraints:      26020
3600.03/3619.01	c #Conflicts:     143000 | #Constraints:      27020
3600.03/3619.01	c #Conflicts:     144000 | #Constraints:      28020
3600.03/3619.01	c #Conflicts:     145000 | #Constraints:      29020
3600.03/3619.01	c #Conflicts:     146000 | #Constraints:      30020
3600.03/3619.01	c #Conflicts:     147000 | #Constraints:      31020
3600.03/3619.01	c INPROCESSING
3600.03/3619.01	c GARBAGE COLLECT
3600.03/3619.01	c #Conflicts:     148000 | #Constraints:      24397
3600.03/3619.01	c #Conflicts:     149000 | #Constraints:      25398
3600.03/3619.01	c #Conflicts:     150000 | #Constraints:      26398
3600.03/3619.01	c #Conflicts:     151000 | #Constraints:      27398
3600.03/3619.01	c #Conflicts:     152000 | #Constraints:      28398
3600.03/3619.01	c #Conflicts:     153000 | #Constraints:      29398
3600.03/3619.01	c #Conflicts:     154000 | #Constraints:      30398
3600.03/3619.01	c #Conflicts:     155000 | #Constraints:      31399
3600.03/3619.01	c INPROCESSING
3600.03/3619.01	c GARBAGE COLLECT
3600.03/3619.01	c #Conflicts:     156000 | #Constraints:      24133
3600.03/3619.01	c #Conflicts:     157000 | #Constraints:      25133
3600.03/3619.01	c #Conflicts:     158000 | #Constraints:      26133
3600.03/3619.01	c #Conflicts:     159000 | #Constraints:      27133
3600.03/3619.01	c #Conflicts:     160000 | #Constraints:      28133
3600.03/3619.01	c #Conflicts:     161000 | #Constraints:      29133
3600.03/3619.01	c #Conflicts:     162000 | #Constraints:      30133
3600.03/3619.01	c #Conflicts:     163000 | #Constraints:      31133
3600.03/3619.01	c INPROCESSING
3600.03/3619.01	c GARBAGE COLLECT
3600.03/3619.01	c #Conflicts:     164000 | #Constraints:      23568
3600.03/3619.01	c #Conflicts:     165000 | #Constraints:      24568
3600.03/3619.01	c #Conflicts:     166000 | #Constraints:      25568
3600.03/3619.01	c #Conflicts:     167000 | #Constraints:      26568
3600.03/3619.01	c #Conflicts:     168000 | #Constraints:      27568
3600.03/3619.01	c #Conflicts:     169000 | #Constraints:      28568
3600.03/3619.01	c #Conflicts:     170000 | #Constraints:      29568
3600.03/3619.01	c #Conflicts:     171000 | #Constraints:      30568
3600.03/3619.01	c INPROCESSING
3600.03/3619.01	c GARBAGE COLLECT
3600.03/3619.01	c #Conflicts:     172000 | #Constraints:      23370
3600.03/3619.01	c #Conflicts:     173000 | #Constraints:      24370
3600.03/3619.01	c #Conflicts:     174000 | #Constraints:      25370
3600.03/3619.01	c #Conflicts:     175000 | #Constraints:      26370
3600.03/3619.01	c #Conflicts:     176000 | #Constraints:      27370
3600.03/3619.01	c #Conflicts:     177000 | #Constraints:      28370
3600.03/3619.01	c #Conflicts:     178000 | #Constraints:      29370
3600.03/3619.01	c #Conflicts:     179000 | #Constraints:      30370
3600.03/3619.01	c #Conflicts:     180000 | #Constraints:      31370
3600.03/3619.01	c INPROCESSING
3600.03/3619.01	c GARBAGE COLLECT
3600.03/3619.01	c #Conflicts:     181000 | #Constraints:      23961
3600.03/3619.01	c #Conflicts:     182000 | #Constraints:      24961
3600.03/3619.01	c #Conflicts:     183000 | #Constraints:      25961
3600.03/3619.01	c #Conflicts:     184000 | #Constraints:      26961
3600.03/3619.01	c #Conflicts:     185000 | #Constraints:      27961
3600.03/3619.01	c #Conflicts:     186000 | #Constraints:      28961
3600.03/3619.01	c #Conflicts:     187000 | #Constraints:      29961
3600.03/3619.01	c #Conflicts:     188000 | #Constraints:      30961
3600.03/3619.01	c #Conflicts:     189000 | #Constraints:      31961
3600.03/3619.01	c INPROCESSING
3600.03/3619.01	c GARBAGE COLLECT
3600.03/3619.01	c #Conflicts:     190000 | #Constraints:      24346
3600.03/3619.01	c #Conflicts:     191000 | #Constraints:      25346
3600.03/3619.01	c #Conflicts:     192000 | #Constraints:      26346
3600.03/3619.01	c #Conflicts:     193000 | #Constraints:      27346
3600.03/3619.01	c cpu time 3580.64 s
3600.03/3619.01	c deterministic time 523776686990 5.24e+11
3600.03/3619.01	c optimization time 88.276 s
3600.03/3619.01	c total solve time 3492.16 s
3600.03/3619.01	c core-guided solve time 0 s
3600.03/3619.01	c propagation time 1858.88 s
3600.03/3619.01	c conflict analysis time 685.572 s
3600.03/3619.01	c propagations 84114073
3600.03/3619.01	c resolve steps 3256970
3600.03/3619.01	c decisions 8302926
3600.03/3619.01	c conflicts 193351
3600.03/3619.01	c restarts 509
3600.03/3619.01	c inprocessing phases 35
3600.03/3619.01	c garbage collections 35 ,( 100.00 )
3600.03/3619.01	c input clauses 26477 ,( 99.53 )
3600.03/3619.01	c input cardinalities 124 ,( 0.47 )
3600.03/3619.01	c input general constraints 1 ,( 0.00 )
3600.03/3619.01	c input average constraint length 4.70
3600.03/3619.01	c input average constraint degree 51.15
3600.03/3619.01	c learned clauses 11672 ,( 6.04 )
3600.03/3619.01	c learned cardinalities 691 ,( 0.36 )
3600.03/3619.01	c learned general constraints 181025 ,( 93.61 )
3600.03/3619.01	c learned average constraint length 6428.45
3600.03/3619.01	c learned average constraint degree 46545903324.42
3600.03/3619.01	c watched  CF 32, 64, 128, Arb: 94396 , 0 , 0 , 0
3600.03/3619.01	c counting CF 32, 64, 128, Arb: 86630 , 0 , 0 , 0
3600.03/3619.01	c watched   constraints 94396 ,( 52.14 ) 
3600.03/3619.01	c counting  constraints 86630 ,( 47.86 ) 
3600.03/3619.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 37629356 , 1416703 , 3391135794 ,( 1292703421 , 2098432373 )
3600.03/3619.01	c gcd simplifications 3680
3600.03/3619.01	c detected cardinalities 5
3600.03/3619.01	c weakened non-implied lits 243398116
3600.03/3619.01	c weakened non-implying lits 1110083
3600.03/3619.01	c original variables 16700
3600.03/3619.01	c clausal propagations 36483024
3600.03/3619.01	c cardinality propagations 14653795
3600.03/3619.01	c watched propagations 5953857
3600.03/3619.01	c counting propagations 24307911
3600.03/3619.01	c watch lookups 65549522303
3600.03/3619.01	c watch backjump lookups 0
3600.03/3619.01	c watch checks 286781951010
3600.03/3619.01	c propagation checks 168053593993
3600.03/3619.01	c constraint additions 3206554808
3600.03/3619.01	c trail pops 92596116
3600.03/3619.01	c formula constraints 26602
3600.03/3619.01	c learned constraints 193327
3600.03/3619.01	c bound constraints 0
3600.03/3619.01	c core-guided constraints 0
3600.03/3619.01	c encountered formula constraints 3023432
3600.03/3619.01	c encountered learned constraints 387652
3600.03/3619.01	c encountered bound constraints 0
3600.03/3619.01	c encountered core-guided constraints 0
3600.03/3619.01	c LP total time 27.8303 s
3600.03/3619.01	c LP solve time 25.36 s
3600.03/3619.01	c LP constraints added 26619
3600.03/3619.01	c LP constraints removed 0
3600.03/3619.01	c LP pivots internal 26931
3600.03/3619.01	c LP pivots root 24829
3600.03/3619.01	c LP calls 29
3600.03/3619.01	c LP optimalities 2
3600.03/3619.01	c LP no pivot count 0
3600.03/3619.01	c LP infeasibilities 23
3600.03/3619.01	c LP valid Farkas constraints 23
3600.03/3619.01	c LP learned Farkas constraints 23
3600.03/3619.01	c LP basis resets 0
3600.03/3619.01	c LP cycling count 0
3600.03/3619.01	c LP singular count 0
3600.03/3619.01	c LP no primal count 0
3600.03/3619.01	c LP no farkas count 0
3600.03/3619.01	c LP other issue count 0
3600.03/3619.01	c LP Gomory cuts 15
3600.03/3619.01	c LP learned cuts 2
3600.03/3619.01	c LP deleted cuts 0
3600.03/3619.01	c LP encountered Gomory constraints 0
3600.03/3619.01	c LP encountered Farkas constraints 39206
3600.03/3619.01	c LP encountered learned Farkas constraints 8
3600.03/3619.01	c CG auxiliary variables introduced 0
3600.03/3619.01	c CG solutions found 0
3600.03/3619.01	c CG cores constructed 0
3600.03/3619.01	c CG core cardinality constraints returned 0
3600.03/3619.01	c CG unit cores 0
3600.03/3619.01	c CG single cores 0
3600.03/3619.01	c CG blocks removed during cardinality reduction 0
3600.03/3619.01	c CG first core best 0
3600.03/3619.01	c CG decision core best 0
3600.03/3619.01	c CG core reduction tie 0
3600.03/3619.01	c CG core degree average 0.00
3600.03/3619.01	c CG core slack average 0.00
3600.03/3619.01	c CG core upper bound improvements 0
3600.03/3619.01	c STR number of successful calls 0
3600.03/3619.01	c STR number of unsuccessful calls 0
3600.03/3619.01	c STR number of inconclusive calls 0
3600.03/3619.01	c STR number of successful attempts 0
3600.03/3619.01	c STR number of unsuccessful attempts 0
3600.03/3619.01	c STR number of inconclusive attempts 0
3600.03/3619.01	c STR average degree increase per successful call inf
3600.03/3619.01	c STR average degree increase per successful attempt inf
3600.03/3619.01	c STR total number of conflicts for successful attempts 0
3600.03/3619.01	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3619.01	c STR total number of conflicts for inconclusive attempts 0
3600.03/3619.01	c STR average number of conflicts per successful attempt inf
3600.03/3619.01	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3619.01	c STR average number of conflicts per inconclusive attempt inf
3600.03/3619.01	c AVG.sumWPerc 43.77 
3600.03/3619.01	c bigint constraints 0 
3600.03/3619.01	s UNKNOWN
3600.03/3619.01	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: 63794 MiB (52154 MiB free)
  memory of node 1: 64507 MiB (61814 MiB free)
  node distances:
     10  21
     21  10

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

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 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
Current StackSize limit: 8192 KiB

solver pid=29025, runsolver pid=29022

[startup+0.100102 s]*
/proc/loadavg: 4.19 4.14 4.18 5/259 29027
/proc/meminfo: memFree=116681560/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29027] ppid=29025 vsize=46052 memory=30988 CPUtime=0.08 cores=1,3
/proc/29027/stat : 29027 (pbsuma) R 29025 29025 27461 0 -1 4194304 8474 0 0 0 7 1 0 0 20 0 1 0 37728975 47157248 7747 18446744073709551615 4210688 4653049 140729804046320 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 32489472 140729804048611 140729804048946 140729804048946 140729804054511 0
/proc/29027/statm: 11513 7747 1024 108 0 8921 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 50244 KiB
Current children cumulated memory: 34060 KiB

[startup+0.213779 s]*
/proc/loadavg: 4.19 4.14 4.18 5/259 29027
/proc/meminfo: memFree=116672740/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29027] ppid=29025 vsize=43116 memory=28352 CPUtime=0.21 cores=1,3
/proc/29027/stat : 29027 (pbsuma) R 29025 29025 27461 0 -1 4194304 8548 0 0 0 19 2 0 0 20 0 1 0 37728975 44150784 7088 18446744073709551615 4210688 4653049 140729804046320 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 32489472 140729804048611 140729804048946 140729804048946 140729804054511 0
/proc/29027/statm: 10779 7088 1024 108 0 8187 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47308 KiB
Current children cumulated memory: 31424 KiB

[startup+0.313757 s]*
/proc/loadavg: 4.19 4.14 4.18 5/259 29027
/proc/meminfo: memFree=116672740/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29027] ppid=29025 vsize=43116 memory=28352 CPUtime=0.31 cores=1,3
/proc/29027/stat : 29027 (pbsuma) R 29025 29025 27461 0 -1 4194304 8548 0 0 0 29 2 0 0 20 0 1 0 37728975 44150784 7088 18446744073709551615 4210688 4653049 140729804046320 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 32489472 140729804048611 140729804048946 140729804048946 140729804054511 0
/proc/29027/statm: 10779 7088 1024 108 0 8187 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47308 KiB
Current children cumulated memory: 31424 KiB

[startup+0.700409 s]
/proc/loadavg: 4.19 4.14 4.18 5/259 29028
/proc/meminfo: memFree=116672668/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=108844 memory=62716 CPUtime=0.28 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 11240 0 0 0 23 5 0 0 20 0 1 0 37729015 111456256 15679 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 27211 15679 2240 1147 0 14638 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 113036 KiB
Current children cumulated memory: 65788 KiB

[startup+1.50034 s]
/proc/loadavg: 4.18 4.13 4.18 5/259 29028
/proc/meminfo: memFree=116638644/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=114488 memory=67068 CPUtime=1.07 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 12368 0 0 0 102 5 0 0 20 0 1 0 37729015 117235712 16767 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 28622 16767 2272 1147 0 16049 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70140 KiB

[startup+3.11329 s]
/proc/loadavg: 4.18 4.13 4.18 5/259 29028
/proc/meminfo: memFree=116638676/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=114488 memory=67068 CPUtime=2.68 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 12369 0 0 0 263 5 0 0 20 0 1 0 37729015 117235712 16767 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 28622 16767 2272 1147 0 16049 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70140 KiB

[startup+6.30034 s]
/proc/loadavg: 4.16 4.13 4.18 5/259 29028
/proc/meminfo: memFree=116633424/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=114488 memory=67068 CPUtime=5.86 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 12370 0 0 0 581 5 0 0 20 0 1 0 37729015 117235712 16767 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 28622 16767 2272 1147 0 16049 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70140 KiB

[startup+12.7004 s]
/proc/loadavg: 4.15 4.13 4.18 5/259 29028
/proc/meminfo: memFree=116629452/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=114488 memory=67068 CPUtime=12.24 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 12372 0 0 0 1219 5 0 0 20 0 1 0 37729015 117235712 16767 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 28622 16767 2272 1147 0 16049 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70140 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.12 4.18 5/259 29028
/proc/meminfo: memFree=116605168/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=114488 memory=67068 CPUtime=25.01 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 12372 0 0 0 2496 5 0 0 20 0 1 0 37729015 117235712 16767 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 28622 16767 2272 1147 0 16049 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 118680 KiB
Current children cumulated memory: 70140 KiB

[startup+51.1132 s]
/proc/loadavg: 4.19 4.14 4.18 5/258 29076
/proc/meminfo: memFree=118618984/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=360996 memory=238652 CPUtime=50.56 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 26080 0 0 0 4982 74 0 0 20 0 1 0 37729015 369659904 59663 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 90249 59663 2336 1147 0 77676 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 365188 KiB
Current children cumulated memory: 241724 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.17 5/258 29077
/proc/meminfo: memFree=118330968/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=377308 memory=328172 CPUtime=101.62 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 30108 0 0 0 10059 103 0 0 20 0 1 0 37729015 386363392 82043 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 94327 82043 2336 1147 0 81754 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 381500 KiB
Current children cumulated memory: 331244 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.18 5/259 29081
/proc/meminfo: memFree=118002272/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=528384 memory=403476 CPUtime=161.45 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 35130 0 0 0 15988 157 0 0 20 0 1 0 37729015 541065216 100869 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 132096 100869 2336 1147 0 119523 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 532576 KiB
Current children cumulated memory: 406548 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.14 4.18 5/261 29088
/proc/meminfo: memFree=117749920/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=553260 memory=449412 CPUtime=221.29 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 41041 0 0 0 21927 202 0 0 20 0 1 0 37729015 566538240 112353 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0

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

[pid=29028] ppid=29025 vsize=3142240 memory=2827364 CPUtime=3086.4 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 456986 0 0 0 307044 1596 0 0 20 0 1 0 37729015 3217653760 706841 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 785560 706841 2368 1147 0 772987 0
Current children cumulated CPU time: 3086.77 s
Current children cumulated vsize: 3146432 KiB
Current children cumulated memory: 2830436 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.15 4.17 5/264 30447
/proc/meminfo: memFree=96927636/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3142240 memory=2827364 CPUtime=3146.15 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 458003 0 0 0 312986 1629 0 0 20 0 1 0 37729015 3217653760 706841 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 785560 706841 2368 1147 0 772987 0
Current children cumulated CPU time: 3146.52 s
Current children cumulated vsize: 3146432 KiB
Current children cumulated memory: 2830436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/264 30460
/proc/meminfo: memFree=95483248/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3142240 memory=2827492 CPUtime=3205.54 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 458134 0 0 0 318880 1674 0 0 20 0 1 0 37729015 3217653760 706873 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 785560 706873 2368 1147 0 772987 0
Current children cumulated CPU time: 3205.91 s
Current children cumulated vsize: 3146432 KiB
Current children cumulated memory: 2830564 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.18 5/264 30465
/proc/meminfo: memFree=94883868/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3143776 memory=2828516 CPUtime=3265.24 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 458412 0 0 0 324826 1698 0 0 20 0 1 0 37729015 3219226624 707129 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 785944 707129 2368 1147 0 773371 0
Current children cumulated CPU time: 3265.61 s
Current children cumulated vsize: 3147968 KiB
Current children cumulated memory: 2831588 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/263 30472
/proc/meminfo: memFree=94137732/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3146008 memory=2829796 CPUtime=3324.82 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 459808 0 0 0 330744 1738 0 0 20 0 1 0 37729015 3221512192 707449 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 786502 707449 2368 1147 0 773929 0
Current children cumulated CPU time: 3325.19 s
Current children cumulated vsize: 3150200 KiB
Current children cumulated memory: 2832868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.16 6/262 30475
/proc/meminfo: memFree=93301048/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3231336 memory=2884452 CPUtime=3384.28 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 473548 0 0 0 336647 1781 0 0 20 0 1 0 37729015 3308888064 721113 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 807834 721113 2368 1147 0 795261 0
Current children cumulated CPU time: 3384.65 s
Current children cumulated vsize: 3235528 KiB
Current children cumulated memory: 2887524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/262 30477
/proc/meminfo: memFree=92724816/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3231336 memory=2884452 CPUtime=3443.97 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 473548 0 0 0 342581 1816 0 0 20 0 1 0 37729015 3308888064 721113 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 807834 721113 2368 1147 0 795261 0
Current children cumulated CPU time: 3444.34 s
Current children cumulated vsize: 3235528 KiB
Current children cumulated memory: 2887524 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/264 30481
/proc/meminfo: memFree=92033360/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3241248 memory=2890084 CPUtime=3503.45 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 475588 0 0 0 348493 1852 0 0 20 0 1 0 37729015 3319037952 722521 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 810312 722521 2368 1147 0 797739 0
Current children cumulated CPU time: 3503.82 s
Current children cumulated vsize: 3245440 KiB
Current children cumulated memory: 2893156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.10 4.15 5/263 30483
/proc/meminfo: memFree=91382136/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3253608 memory=2897636 CPUtime=3563.19 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 477891 0 0 0 354435 1884 0 0 20 0 1 0 37729015 3331694592 724409 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 813402 724409 2368 1147 0 800829 0
Current children cumulated CPU time: 3563.56 s
Current children cumulated vsize: 3257800 KiB
Current children cumulated memory: 2900708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3619 s]*
/proc/loadavg: 4.08 4.11 4.15 5/263 30485
/proc/meminfo: memFree=91026552/131382120 swapFree=33010416/33010684
[pid=29025] ppid=29022 vsize=4192 memory=3072 CPUtime=0.37 cores=1,3
/proc/29025/stat : 29025 (run-dec-break-l) S 29022 29025 27461 0 -1 4194304 243 8750 0 0 0 0 35 2 20 0 1 0 37728974 4292608 768 18446744073709551615 94396632276992 94396633171525 140724108707152 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94396633410576 94396633458320 94396653318144 140724108716309 140724108716510 140724108716510 140724108722112 0
/proc/29025/statm: 1048 768 704 219 0 110 0
[pid=29028] ppid=29025 vsize=3253608 memory=2897636 CPUtime=3599.66 cores=1,3
/proc/29028/stat : 29028 (roundingsat) R 29025 29025 27461 0 -1 4194304 477947 0 0 0 358064 1902 0 0 20 0 1 0 37729015 3331694592 724409 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 813402 724409 2368 1147 0 800829 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3257800 KiB
Current children cumulated memory: 2900708 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3581.03 s, system=19.1181 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+3619.12 s]*
/proc/loadavg: 4.08 4.11 4.15 5/262 30485
/proc/meminfo: memFree=91036664/131382120 swapFree=33010416/33010684
[pid=29028] ppid=29022 vsize=3253608 memory=2898020 CPUtime=3599.69 cores=1,3
/proc/29028/stat : 29028 (roundingsat) D 29022 29025 27461 0 -1 4194304 477954 0 0 0 358065 1904 0 0 20 0 1 0 37729015 3331694592 724505 18446744073709551615 4227072 8923433 140735125023136 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 17973248 140735125027060 140735125027368 140735125027368 140735125032938 0
/proc/29028/statm: 813402 724505 2464 1147 0 800829 0
Current cumulated CPU time of completed processes: 0.392869 s
Current children cumulated CPU time: 3599.69 s
Current children cumulated vsize: 3253608 KiB
Current children cumulated memory: 2898020 KiB

Child status: 2

Real time (s): 3619.19
CPU time (s): 3600.14
CPU user time (s): 3581.03
CPU system time (s): 19.1181
CPU usage (%): 99.4737
Max. virtual memory (cumulated for all children) (KiB): 3257800
Max. memory (cumulated for all children) (KiB): 2900708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.03
system time used= 19.1181
maximum resident set size= 2898020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27694128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5843
involuntary context switches= 4784


# summary of solver processes directly reported to runsolver:
#   pid: 29025,29028
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3581.03
#   total CPU system time (s): 19.1181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3805 second user time and 37.0077 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 20:08:16
IDJOB=4515099
IDBENCH=164141
IDSOLVER=3358
FILE ID=nodeC006/4515099-1751220496
RUNJOBID= nodeC006-1751216867-27473
SLURM_JOB_ID= 9587659
Free space on /tmp= 432160 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.s.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515099-1751220496/watcher-4515099-1751220496 -o /tmp/evaluation-result-4515099-1751220496/solver-4515099-1751220496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751216867-27473 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515099-1751220496.opb PROOFDIR/proof-4515099-1751220496

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

MD5SUM BENCH= fadbb7049cb6f956a624efb3819309ab
RANDOM SEED=386783773

nodeC006 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	: 0xb00001f
cpu MHz		: 3691.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1795.909
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.497
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.142
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3491.669
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3663.275
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.531
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        116703988 kB
MemAvailable:   122718380 kB
Buffers:            2128 kB
Cached:          6817128 kB
SwapCached:           12 kB
Active:          7562348 kB
Inactive:        6546428 kB
Active(anon):    7294788 kB
Inactive(anon):    12740 kB
Active(file):     267560 kB
Inactive(file):  6533688 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             44244 kB
Writeback:             0 kB
AnonPages:       7291728 kB
Mapped:           116484 kB
Shmem:             17948 kB
KReclaimable:     105156 kB
Slab:             188288 kB
SReclaimable:     105156 kB
SUnreclaim:        83132 kB
KernelStack:        4224 kB
PageTables:        17548 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7790584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6873088 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC006 at 2025-06-29 21:08:35