Trace number 4515243

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.06 3628.53

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab71-20-100.0.u.opb
MD5SUM5a0bcd4a9e5bc1c51804f47b1691eae0
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 benchmark39.0848
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6689
Total number of constraints6377
Number of constraints which are clauses6255
Number of constraints which are cardinality constraints (but not clauses)121
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint6255
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 1966006
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 501966013
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-4515243-1751221770.opb'
0.00/0.02	c 	read 0.49MB  (7.86ms)
0.00/0.02	c	 [cnf: #variables 6689 #clauses 6377 #duplicates 0 #arr 48215]
0.00/0.02	c output proof to 'PROOFDIR/proof-4515243-1751221770'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 1602] (9.01ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.03	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	recursing 20 blocks of candidate 5x12r
0.00/0.03	c 	 found row 5x12, generating row predicate
0.00/0.03	c 	 (3.77ms)
0.00/0.03	c 
0.00/0.03	c detect symmetries on remainder
0.00/0.03	c 	[graph: #vertices 33132 #edges 136562]
0.00/0.03	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04	c 	 [group: #symmetries 6.34*10^434 #generators 1146] (7.63ms)
0.00/0.04	c 
0.00/0.04	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.04	c 	ran it=0, +gens=1 
0.00/0.10	c 	con best_support=4, best_gens=920, +gens=68
0.00/0.10	c 	(57.97ms)
0.00/0.10	c 
0.00/0.10	c finalize break order and special generators
0.00/0.10	c 
0.00/0.10	c add generic predicates (break_depth=10)
0.00/0.10	c 	added predicates for 1215 generators (0.22ms)
0.09/0.11	c 
0.09/0.11	c generation finished
0.09/0.11	c 	[sbp: #constraints 5968 #add_vars 1583]
0.09/0.11	c 
0.09/0.11	c write result to 'HOME/instance-4515243-1751221770.opb.pre'
0.09/0.11	c 	wrote 0.69MB (1.70ms)
0.09/0.11	c ------------------------------------------------------------------
0.09/0.11	c                  57.97ms 58.74% optimize_gens
0.09/0.11	c                  10.18ms 10.32% other
0.09/0.11	c                   9.01ms  9.13% approx_orbits
0.09/0.11	c                   7.85ms  7.96% parse
0.09/0.11	c                   7.63ms  7.73% detect_generic
0.09/0.11	c                   3.77ms  3.82% detect_special
0.09/0.11	c                   1.70ms  1.72% output
0.09/0.11	c                   0.36ms  0.37% finalize_order
0.09/0.11	c                   0.22ms  0.22% break_generic
0.09/0.11	c         ───────────────────────────────────────────────
0.09/0.11	c                  98.70ms   100% total
0.09/0.11	c ------------------------------------------------------------------
0.09/0.12	c RoundingSat 2
0.09/0.12	c branch pb25
0.09/0.12	c commit 63f22ad
0.17/0.22	c #variables 8272 #constraints 12345
107.66/108.06	c #Conflicts:       1000 | #Constraints:      13344
107.66/108.06	c #Conflicts:       2000 | #Constraints:      14344
107.66/108.06	c INPROCESSING
107.66/108.06	c GARBAGE COLLECT
107.66/108.06	c #Conflicts:       3000 | #Constraints:      13858
107.66/108.06	c #Conflicts:       4000 | #Constraints:      14858
107.66/108.06	c INPROCESSING
107.66/108.06	c GARBAGE COLLECT
107.66/108.06	c #Conflicts:       5000 | #Constraints:      14124
107.66/108.06	c #Conflicts:       6000 | #Constraints:      15124
107.66/108.06	c INPROCESSING
107.66/108.06	c GARBAGE COLLECT
107.66/108.06	c #Conflicts:       7000 | #Constraints:      13921
107.66/108.06	c #Conflicts:       8000 | #Constraints:      14921
107.66/108.06	c #Conflicts:       9000 | #Constraints:      15921
107.66/108.06	c INPROCESSING
107.66/108.06	c GARBAGE COLLECT
107.66/108.06	c #Conflicts:      10000 | #Constraints:      14360
107.66/108.06	c #Conflicts:      11000 | #Constraints:      15360
107.66/108.06	c #Conflicts:      12000 | #Constraints:      16360
107.66/108.06	c INPROCESSING
107.66/108.06	c GARBAGE COLLECT
107.66/108.06	c rational objective 1250.03
726.34/730.64	c #Conflicts:      13000 | #Constraints:      14659
726.34/730.64	c #Conflicts:      14000 | #Constraints:      15659
726.34/730.64	c #Conflicts:      15000 | #Constraints:      16659
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      16000 | #Constraints:      14626
726.34/730.64	c #Conflicts:      17000 | #Constraints:      15626
726.34/730.64	c #Conflicts:      18000 | #Constraints:      16626
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      19000 | #Constraints:      14579
726.34/730.64	c #Conflicts:      20000 | #Constraints:      15579
726.34/730.64	c #Conflicts:      21000 | #Constraints:      16580
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      22000 | #Constraints:      13787
726.34/730.64	c #Conflicts:      23000 | #Constraints:      14787
726.34/730.64	c #Conflicts:      24000 | #Constraints:      15787
726.34/730.64	c #Conflicts:      25000 | #Constraints:      16787
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      26000 | #Constraints:      13973
726.34/730.64	c #Conflicts:      27000 | #Constraints:      14973
726.34/730.64	c #Conflicts:      28000 | #Constraints:      15973
726.34/730.64	c #Conflicts:      29000 | #Constraints:      16973
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      30000 | #Constraints:      14223
726.34/730.64	c #Conflicts:      31000 | #Constraints:      15223
726.34/730.64	c #Conflicts:      32000 | #Constraints:      16223
726.34/730.64	c #Conflicts:      33000 | #Constraints:      17223
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      34000 | #Constraints:      14396
726.34/730.64	c #Conflicts:      35000 | #Constraints:      15396
726.34/730.64	c #Conflicts:      36000 | #Constraints:      16397
726.34/730.64	c #Conflicts:      37000 | #Constraints:      17397
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      38000 | #Constraints:      14387
726.34/730.64	c #Conflicts:      39000 | #Constraints:      15389
726.34/730.64	c #Conflicts:      40000 | #Constraints:      16389
726.34/730.64	c #Conflicts:      41000 | #Constraints:      17390
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      42000 | #Constraints:      14114
726.34/730.64	c #Conflicts:      43000 | #Constraints:      15114
726.34/730.64	c #Conflicts:      44000 | #Constraints:      16115
726.34/730.64	c #Conflicts:      45000 | #Constraints:      17115
726.34/730.64	c #Conflicts:      46000 | #Constraints:      18115
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      47000 | #Constraints:      14698
726.34/730.64	c #Conflicts:      48000 | #Constraints:      15698
726.34/730.64	c #Conflicts:      49000 | #Constraints:      16698
726.34/730.64	c #Conflicts:      50000 | #Constraints:      17699
726.34/730.64	c #Conflicts:      51000 | #Constraints:      18699
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      52000 | #Constraints:      15045
726.34/730.64	c #Conflicts:      53000 | #Constraints:      16045
726.34/730.64	c #Conflicts:      54000 | #Constraints:      17045
726.34/730.64	c #Conflicts:      55000 | #Constraints:      18046
726.34/730.64	c #Conflicts:      56000 | #Constraints:      19046
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      57000 | #Constraints:      15082
726.34/730.64	c #Conflicts:      58000 | #Constraints:      16083
726.34/730.64	c #Conflicts:      59000 | #Constraints:      17084
726.34/730.64	c #Conflicts:      60000 | #Constraints:      18084
726.34/730.64	c #Conflicts:      61000 | #Constraints:      19084
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      62000 | #Constraints:      14991
726.34/730.64	c #Conflicts:      63000 | #Constraints:      15991
726.34/730.64	c #Conflicts:      64000 | #Constraints:      16991
726.34/730.64	c #Conflicts:      65000 | #Constraints:      17991
726.34/730.64	c #Conflicts:      66000 | #Constraints:      18992
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      67000 | #Constraints:      14696
726.34/730.64	c #Conflicts:      68000 | #Constraints:      15697
726.34/730.64	c #Conflicts:      69000 | #Constraints:      16697
726.34/730.64	c #Conflicts:      70000 | #Constraints:      17698
726.34/730.64	c #Conflicts:      71000 | #Constraints:      18698
726.34/730.64	c #Conflicts:      72000 | #Constraints:      19698
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      73000 | #Constraints:      15237
726.34/730.64	c #Conflicts:      74000 | #Constraints:      16237
726.34/730.64	c #Conflicts:      75000 | #Constraints:      17238
726.34/730.64	c #Conflicts:      76000 | #Constraints:      18238
726.34/730.64	c #Conflicts:      77000 | #Constraints:      19239
726.34/730.64	c #Conflicts:      78000 | #Constraints:      20239
726.34/730.64	c INPROCESSING
726.34/730.64	c GARBAGE COLLECT
726.34/730.64	c #Conflicts:      79000 | #Constraints:      15603
726.34/730.64	c #Conflicts:      80000 | #Constraints:      16604
726.34/730.64	c #Conflicts:      81000 | #Constraints:      17604
726.34/730.64	c #Conflicts:      82000 | #Constraints:      18605
1369.10/1379.46	c #Conflicts:      83000 | #Constraints:      19605
1369.10/1379.46	c #Conflicts:      84000 | #Constraints:      20606
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:      85000 | #Constraints:      15689
1369.10/1379.46	c #Conflicts:      86000 | #Constraints:      16690
1369.10/1379.46	c #Conflicts:      87000 | #Constraints:      17690
1369.10/1379.46	c #Conflicts:      88000 | #Constraints:      18690
1369.10/1379.46	c #Conflicts:      89000 | #Constraints:      19690
1369.10/1379.46	c #Conflicts:      90000 | #Constraints:      20690
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:      91000 | #Constraints:      15689
1369.10/1379.46	c #Conflicts:      92000 | #Constraints:      16689
1369.10/1379.46	c #Conflicts:      93000 | #Constraints:      17689
1369.10/1379.46	c #Conflicts:      94000 | #Constraints:      18690
1369.10/1379.46	c #Conflicts:      95000 | #Constraints:      19690
1369.10/1379.46	c #Conflicts:      96000 | #Constraints:      20690
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:      97000 | #Constraints:      15465
1369.10/1379.46	c #Conflicts:      98000 | #Constraints:      16466
1369.10/1379.46	c #Conflicts:      99000 | #Constraints:      17467
1369.10/1379.46	c #Conflicts:     100000 | #Constraints:      18467
1369.10/1379.46	c #Conflicts:     101000 | #Constraints:      19468
1369.10/1379.46	c #Conflicts:     102000 | #Constraints:      20468
1369.10/1379.46	c #Conflicts:     103000 | #Constraints:      21468
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:     104000 | #Constraints:      15945
1369.10/1379.46	c #Conflicts:     105000 | #Constraints:      16945
1369.10/1379.46	c #Conflicts:     106000 | #Constraints:      17945
1369.10/1379.46	c #Conflicts:     107000 | #Constraints:      18945
1369.10/1379.46	c #Conflicts:     108000 | #Constraints:      19946
1369.10/1379.46	c #Conflicts:     109000 | #Constraints:      20948
1369.10/1379.46	c #Conflicts:     110000 | #Constraints:      21949
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:     111000 | #Constraints:      16339
1369.10/1379.46	c #Conflicts:     112000 | #Constraints:      17339
1369.10/1379.46	c #Conflicts:     113000 | #Constraints:      18339
1369.10/1379.46	c #Conflicts:     114000 | #Constraints:      19340
1369.10/1379.46	c #Conflicts:     115000 | #Constraints:      20340
1369.10/1379.46	c #Conflicts:     116000 | #Constraints:      21340
1369.10/1379.46	c #Conflicts:     117000 | #Constraints:      22340
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:     118000 | #Constraints:      16546
1369.10/1379.46	c #Conflicts:     119000 | #Constraints:      17546
1369.10/1379.46	c #Conflicts:     120000 | #Constraints:      18547
1369.10/1379.46	c #Conflicts:     121000 | #Constraints:      19547
1369.10/1379.46	c #Conflicts:     122000 | #Constraints:      20548
1369.10/1379.46	c #Conflicts:     123000 | #Constraints:      21548
1369.10/1379.46	c #Conflicts:     124000 | #Constraints:      22548
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:     125000 | #Constraints:      16546
1369.10/1379.46	c #Conflicts:     126000 | #Constraints:      17546
1369.10/1379.46	c #Conflicts:     127000 | #Constraints:      18546
1369.10/1379.46	c #Conflicts:     128000 | #Constraints:      19546
1369.10/1379.46	c #Conflicts:     129000 | #Constraints:      20547
1369.10/1379.46	c #Conflicts:     130000 | #Constraints:      21547
1369.10/1379.46	c #Conflicts:     131000 | #Constraints:      22548
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:     132000 | #Constraints:      16334
1369.10/1379.46	c #Conflicts:     133000 | #Constraints:      17336
1369.10/1379.46	c #Conflicts:     134000 | #Constraints:      18337
1369.10/1379.46	c #Conflicts:     135000 | #Constraints:      19337
1369.10/1379.46	c #Conflicts:     136000 | #Constraints:      20337
1369.10/1379.46	c #Conflicts:     137000 | #Constraints:      21338
1369.10/1379.46	c #Conflicts:     138000 | #Constraints:      22338
1369.10/1379.46	c #Conflicts:     139000 | #Constraints:      23338
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:     140000 | #Constraints:      16941
1369.10/1379.46	c #Conflicts:     141000 | #Constraints:      17941
1369.10/1379.46	c #Conflicts:     142000 | #Constraints:      18941
1369.10/1379.46	c #Conflicts:     143000 | #Constraints:      19941
1369.10/1379.46	c #Conflicts:     144000 | #Constraints:      20942
1369.10/1379.46	c #Conflicts:     145000 | #Constraints:      21942
1369.10/1379.46	c #Conflicts:     146000 | #Constraints:      22942
1369.10/1379.46	c #Conflicts:     147000 | #Constraints:      23942
1369.10/1379.46	c INPROCESSING
1369.10/1379.46	c GARBAGE COLLECT
1369.10/1379.46	c #Conflicts:     148000 | #Constraints:      17314
1369.10/1379.46	c #Conflicts:     149000 | #Constraints:      18314
1369.10/1379.46	c #Conflicts:     150000 | #Constraints:      19314
1369.10/1379.46	c #Conflicts:     151000 | #Constraints:      20314
1369.10/1379.46	c #Conflicts:     152000 | #Constraints:      21315
1369.10/1379.46	c #Conflicts:     153000 | #Constraints:      22315
1369.10/1379.46	c #Conflicts:     154000 | #Constraints:      23315
1465.46/1476.64	c #Conflicts:     155000 | #Constraints:      24315
1465.46/1476.64	c INPROCESSING
1465.46/1476.64	c GARBAGE COLLECT
1465.46/1476.64	c #Conflicts:     156000 | #Constraints:      17521
1465.46/1476.64	c #Conflicts:     157000 | #Constraints:      18521
1465.46/1476.64	c #Conflicts:     158000 | #Constraints:      19521
1465.46/1476.64	c #Conflicts:     159000 | #Constraints:      20521
1465.46/1476.64	c #Conflicts:     160000 | #Constraints:      21521
1465.46/1476.64	c #Conflicts:     161000 | #Constraints:      22521
1465.46/1476.64	c #Conflicts:     162000 | #Constraints:      23521
1465.46/1476.64	c #Conflicts:     163000 | #Constraints:      24521
1465.46/1476.64	c INPROCESSING
1465.46/1476.64	c GARBAGE COLLECT
1465.46/1476.64	c rational objective 1310.62
2192.99/2208.79	c #Conflicts:     164000 | #Constraints:      17529
2192.99/2208.79	c #Conflicts:     165000 | #Constraints:      18530
2192.99/2208.79	c #Conflicts:     166000 | #Constraints:      19530
2192.99/2208.79	c #Conflicts:     167000 | #Constraints:      20530
2192.99/2208.79	c #Conflicts:     168000 | #Constraints:      21530
2192.99/2208.79	c #Conflicts:     169000 | #Constraints:      22530
2192.99/2208.79	c #Conflicts:     170000 | #Constraints:      23530
2192.99/2208.79	c #Conflicts:     171000 | #Constraints:      24530
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     172000 | #Constraints:      17329
2192.99/2208.79	c #Conflicts:     173000 | #Constraints:      18329
2192.99/2208.79	c #Conflicts:     174000 | #Constraints:      19329
2192.99/2208.79	c #Conflicts:     175000 | #Constraints:      20330
2192.99/2208.79	c #Conflicts:     176000 | #Constraints:      21330
2192.99/2208.79	c #Conflicts:     177000 | #Constraints:      22330
2192.99/2208.79	c #Conflicts:     178000 | #Constraints:      23330
2192.99/2208.79	c #Conflicts:     179000 | #Constraints:      24330
2192.99/2208.79	c #Conflicts:     180000 | #Constraints:      25331
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     181000 | #Constraints:      17931
2192.99/2208.79	c #Conflicts:     182000 | #Constraints:      18932
2192.99/2208.79	c #Conflicts:     183000 | #Constraints:      19932
2192.99/2208.79	c #Conflicts:     184000 | #Constraints:      20932
2192.99/2208.79	c #Conflicts:     185000 | #Constraints:      21932
2192.99/2208.79	c #Conflicts:     186000 | #Constraints:      22932
2192.99/2208.79	c #Conflicts:     187000 | #Constraints:      23932
2192.99/2208.79	c #Conflicts:     188000 | #Constraints:      24932
2192.99/2208.79	c #Conflicts:     189000 | #Constraints:      25932
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     190000 | #Constraints:      18321
2192.99/2208.79	c #Conflicts:     191000 | #Constraints:      19321
2192.99/2208.79	c #Conflicts:     192000 | #Constraints:      20321
2192.99/2208.79	c #Conflicts:     193000 | #Constraints:      21321
2192.99/2208.79	c #Conflicts:     194000 | #Constraints:      22321
2192.99/2208.79	c #Conflicts:     195000 | #Constraints:      23321
2192.99/2208.79	c #Conflicts:     196000 | #Constraints:      24321
2192.99/2208.79	c #Conflicts:     197000 | #Constraints:      25321
2192.99/2208.79	c #Conflicts:     198000 | #Constraints:      26321
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     199000 | #Constraints:      18532
2192.99/2208.79	c #Conflicts:     200000 | #Constraints:      19532
2192.99/2208.79	c #Conflicts:     201000 | #Constraints:      20532
2192.99/2208.79	c #Conflicts:     202000 | #Constraints:      21532
2192.99/2208.79	c #Conflicts:     203000 | #Constraints:      22532
2192.99/2208.79	c #Conflicts:     204000 | #Constraints:      23532
2192.99/2208.79	c #Conflicts:     205000 | #Constraints:      24532
2192.99/2208.79	c #Conflicts:     206000 | #Constraints:      25532
2192.99/2208.79	c #Conflicts:     207000 | #Constraints:      26532
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     208000 | #Constraints:      18533
2192.99/2208.79	c #Conflicts:     209000 | #Constraints:      19533
2192.99/2208.79	c #Conflicts:     210000 | #Constraints:      20533
2192.99/2208.79	c #Conflicts:     211000 | #Constraints:      21533
2192.99/2208.79	c #Conflicts:     212000 | #Constraints:      22533
2192.99/2208.79	c #Conflicts:     213000 | #Constraints:      23533
2192.99/2208.79	c #Conflicts:     214000 | #Constraints:      24533
2192.99/2208.79	c #Conflicts:     215000 | #Constraints:      25533
2192.99/2208.79	c #Conflicts:     216000 | #Constraints:      26533
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     217000 | #Constraints:      18336
2192.99/2208.79	c #Conflicts:     218000 | #Constraints:      19336
2192.99/2208.79	c #Conflicts:     219000 | #Constraints:      20336
2192.99/2208.79	c #Conflicts:     220000 | #Constraints:      21336
2192.99/2208.79	c #Conflicts:     221000 | #Constraints:      22336
2192.99/2208.79	c #Conflicts:     222000 | #Constraints:      23336
2192.99/2208.79	c #Conflicts:     223000 | #Constraints:      24337
2192.99/2208.79	c #Conflicts:     224000 | #Constraints:      25337
2192.99/2208.79	c #Conflicts:     225000 | #Constraints:      26337
2192.99/2208.79	c #Conflicts:     226000 | #Constraints:      27337
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     227000 | #Constraints:      18945
2192.99/2208.79	c #Conflicts:     228000 | #Constraints:      19945
2192.99/2208.79	c #Conflicts:     229000 | #Constraints:      20945
2192.99/2208.79	c #Conflicts:     230000 | #Constraints:      21945
2192.99/2208.79	c #Conflicts:     231000 | #Constraints:      22946
2192.99/2208.79	c #Conflicts:     232000 | #Constraints:      23946
2192.99/2208.79	c #Conflicts:     233000 | #Constraints:      24946
2192.99/2208.79	c #Conflicts:     234000 | #Constraints:      25946
2192.99/2208.79	c #Conflicts:     235000 | #Constraints:      26946
2192.99/2208.79	c #Conflicts:     236000 | #Constraints:      27947
2192.99/2208.79	c INPROCESSING
2192.99/2208.79	c GARBAGE COLLECT
2192.99/2208.79	c #Conflicts:     237000 | #Constraints:      19328
2605.08/2624.69	c #Conflicts:     238000 | #Constraints:      20329
2605.08/2624.69	c #Conflicts:     239000 | #Constraints:      21329
2605.08/2624.69	c #Conflicts:     240000 | #Constraints:      22329
2605.08/2624.69	c #Conflicts:     241000 | #Constraints:      23329
2605.08/2624.69	c #Conflicts:     242000 | #Constraints:      24329
2605.08/2624.69	c #Conflicts:     243000 | #Constraints:      25330
2605.08/2624.69	c #Conflicts:     244000 | #Constraints:      26330
2605.08/2624.69	c #Conflicts:     245000 | #Constraints:      27331
2605.08/2624.69	c #Conflicts:     246000 | #Constraints:      28331
2605.08/2624.69	c INPROCESSING
2605.08/2624.69	c GARBAGE COLLECT
2605.08/2624.69	c #Conflicts:     247000 | #Constraints:      19525
2605.08/2624.69	c #Conflicts:     248000 | #Constraints:      20525
2605.08/2624.69	c #Conflicts:     249000 | #Constraints:      21525
2605.08/2624.69	c #Conflicts:     250000 | #Constraints:      22525
2605.08/2624.69	c #Conflicts:     251000 | #Constraints:      23525
2605.08/2624.69	c #Conflicts:     252000 | #Constraints:      24526
2605.08/2624.69	c #Conflicts:     253000 | #Constraints:      25526
2605.08/2624.69	c #Conflicts:     254000 | #Constraints:      26526
2605.08/2624.69	c #Conflicts:     255000 | #Constraints:      27526
2605.08/2624.69	c #Conflicts:     256000 | #Constraints:      28526
2605.08/2624.69	c INPROCESSING
2605.08/2624.69	c GARBAGE COLLECT
2605.08/2624.69	c #Conflicts:     257000 | #Constraints:      19518
2605.08/2624.69	c #Conflicts:     258000 | #Constraints:      20518
2605.08/2624.69	c #Conflicts:     259000 | #Constraints:      21518
2605.08/2624.69	c #Conflicts:     260000 | #Constraints:      22518
2605.08/2624.69	c #Conflicts:     261000 | #Constraints:      23519
2605.08/2624.69	c #Conflicts:     262000 | #Constraints:      24519
2605.08/2624.69	c #Conflicts:     263000 | #Constraints:      25519
2605.08/2624.69	c #Conflicts:     264000 | #Constraints:      26520
2605.08/2624.69	c #Conflicts:     265000 | #Constraints:      27520
2605.08/2624.69	c #Conflicts:     266000 | #Constraints:      28520
2605.08/2624.69	c INPROCESSING
2605.08/2624.69	c GARBAGE COLLECT
2605.08/2624.69	c #Conflicts:     267000 | #Constraints:      19312
2605.08/2624.69	c #Conflicts:     268000 | #Constraints:      20312
2605.08/2624.69	c #Conflicts:     269000 | #Constraints:      21312
2605.08/2624.69	c #Conflicts:     270000 | #Constraints:      22312
2605.08/2624.69	c #Conflicts:     271000 | #Constraints:      23312
2605.08/2624.69	c #Conflicts:     272000 | #Constraints:      24312
2605.08/2624.69	c #Conflicts:     273000 | #Constraints:      25312
2605.08/2624.69	c #Conflicts:     274000 | #Constraints:      26312
2605.08/2624.69	c #Conflicts:     275000 | #Constraints:      27312
2605.08/2624.69	c #Conflicts:     276000 | #Constraints:      28312
2605.08/2624.69	c #Conflicts:     277000 | #Constraints:      29312
2605.08/2624.69	c INPROCESSING
2605.08/2624.69	c GARBAGE COLLECT
2605.08/2624.69	c rational objective 1320.2
3400.93/3427.89	c #Conflicts:     278000 | #Constraints:      19886
3400.93/3427.89	c #Conflicts:     279000 | #Constraints:      20886
3400.93/3427.89	c #Conflicts:     280000 | #Constraints:      21886
3400.93/3427.89	c #Conflicts:     281000 | #Constraints:      22886
3400.93/3427.89	c #Conflicts:     282000 | #Constraints:      23886
3400.93/3427.89	c #Conflicts:     283000 | #Constraints:      24887
3400.93/3427.89	c #Conflicts:     284000 | #Constraints:      25887
3400.93/3427.89	c #Conflicts:     285000 | #Constraints:      26887
3400.93/3427.89	c #Conflicts:     286000 | #Constraints:      27887
3400.93/3427.89	c #Conflicts:     287000 | #Constraints:      28887
3400.93/3427.89	c #Conflicts:     288000 | #Constraints:      29887
3400.93/3427.89	c INPROCESSING
3400.93/3427.89	c GARBAGE COLLECT
3400.93/3427.89	c #Conflicts:     289000 | #Constraints:      20294
3400.93/3427.89	c #Conflicts:     290000 | #Constraints:      21295
3400.93/3427.89	c #Conflicts:     291000 | #Constraints:      22295
3400.93/3427.89	c #Conflicts:     292000 | #Constraints:      23295
3400.93/3427.89	c #Conflicts:     293000 | #Constraints:      24295
3400.93/3427.89	c #Conflicts:     294000 | #Constraints:      25295
3400.93/3427.89	c #Conflicts:     295000 | #Constraints:      26295
3400.93/3427.89	c #Conflicts:     296000 | #Constraints:      27295
3400.93/3427.89	c #Conflicts:     297000 | #Constraints:      28296
3400.93/3427.89	c #Conflicts:     298000 | #Constraints:      29296
3400.93/3427.89	c #Conflicts:     299000 | #Constraints:      30296
3400.93/3427.89	c INPROCESSING
3400.93/3427.89	c GARBAGE COLLECT
3400.93/3427.89	c #Conflicts:     300000 | #Constraints:      20499
3400.93/3427.89	c #Conflicts:     301000 | #Constraints:      21499
3400.93/3427.89	c #Conflicts:     302000 | #Constraints:      22499
3400.93/3427.89	c #Conflicts:     303000 | #Constraints:      23499
3400.93/3427.89	c #Conflicts:     304000 | #Constraints:      24499
3400.93/3427.89	c #Conflicts:     305000 | #Constraints:      25500
3400.93/3427.89	c #Conflicts:     306000 | #Constraints:      26500
3400.93/3427.89	c #Conflicts:     307000 | #Constraints:      27500
3400.93/3427.89	c #Conflicts:     308000 | #Constraints:      28500
3400.93/3427.89	c #Conflicts:     309000 | #Constraints:      29500
3400.93/3427.89	c #Conflicts:     310000 | #Constraints:      30501
3400.93/3427.89	c INPROCESSING
3400.93/3427.89	c GARBAGE COLLECT
3400.93/3427.89	c #Conflicts:     311000 | #Constraints:      20514
3400.93/3427.89	c #Conflicts:     312000 | #Constraints:      21514
3400.93/3427.89	c #Conflicts:     313000 | #Constraints:      22514
3400.93/3427.89	c #Conflicts:     314000 | #Constraints:      23514
3400.93/3427.89	c #Conflicts:     315000 | #Constraints:      24514
3400.93/3427.89	c #Conflicts:     316000 | #Constraints:      25514
3400.93/3427.89	c #Conflicts:     317000 | #Constraints:      26514
3400.93/3427.89	c #Conflicts:     318000 | #Constraints:      27514
3400.93/3427.89	c #Conflicts:     319000 | #Constraints:      28514
3400.93/3427.89	c #Conflicts:     320000 | #Constraints:      29514
3400.93/3427.89	c #Conflicts:     321000 | #Constraints:      30514
3400.93/3427.89	c INPROCESSING
3400.93/3427.89	c GARBAGE COLLECT
3400.93/3427.89	c #Conflicts:     322000 | #Constraints:      20313
3400.93/3427.89	c #Conflicts:     323000 | #Constraints:      21313
3400.93/3427.89	c #Conflicts:     324000 | #Constraints:      22313
3400.93/3427.89	c #Conflicts:     325000 | #Constraints:      23313
3400.93/3427.89	c #Conflicts:     326000 | #Constraints:      24313
3400.93/3427.89	c #Conflicts:     327000 | #Constraints:      25313
3400.93/3427.89	c #Conflicts:     328000 | #Constraints:      26313
3400.93/3427.89	c #Conflicts:     329000 | #Constraints:      27313
3400.93/3427.89	c #Conflicts:     330000 | #Constraints:      28313
3400.93/3427.89	c #Conflicts:     331000 | #Constraints:      29313
3400.93/3427.89	c #Conflicts:     332000 | #Constraints:      30313
3400.93/3427.89	c #Conflicts:     333000 | #Constraints:      31313
3400.93/3427.89	c INPROCESSING
3400.93/3427.89	c GARBAGE COLLECT
3400.93/3427.89	c #Conflicts:     334000 | #Constraints:      20087
3400.93/3427.89	c #Conflicts:     335000 | #Constraints:      21087
3400.93/3427.89	c #Conflicts:     336000 | #Constraints:      22087
3400.93/3427.89	c #Conflicts:     337000 | #Constraints:      23087
3400.93/3427.89	c #Conflicts:     338000 | #Constraints:      24087
3400.93/3427.89	c #Conflicts:     339000 | #Constraints:      25088
3400.93/3427.89	c #Conflicts:     340000 | #Constraints:      26088
3400.93/3427.89	c #Conflicts:     341000 | #Constraints:      27088
3400.93/3427.89	c #Conflicts:     342000 | #Constraints:      28088
3400.93/3427.89	c #Conflicts:     343000 | #Constraints:      29088
3400.93/3427.89	c #Conflicts:     344000 | #Constraints:      30088
3400.93/3427.89	c #Conflicts:     345000 | #Constraints:      31089
3400.93/3427.89	c INPROCESSING
3400.93/3427.89	c GARBAGE COLLECT
3400.93/3427.89	c #Conflicts:     346000 | #Constraints:      20876
3400.93/3427.89	c #Conflicts:     347000 | #Constraints:      21876
3400.93/3427.89	c #Conflicts:     348000 | #Constraints:      22876
3400.93/3427.89	c #Conflicts:     349000 | #Constraints:      23876
3400.93/3427.89	c #Conflicts:     350000 | #Constraints:      24877
3400.93/3427.89	c #Conflicts:     351000 | #Constraints:      25877
3400.93/3427.89	c #Conflicts:     352000 | #Constraints:      26877
3600.01/3628.40	c #Conflicts:     353000 | #Constraints:      27877
3600.01/3628.40	c #Conflicts:     354000 | #Constraints:      28877
3600.01/3628.40	c #Conflicts:     355000 | #Constraints:      29877
3600.01/3628.40	c #Conflicts:     356000 | #Constraints:      30877
3600.01/3628.40	c #Conflicts:     357000 | #Constraints:      31877
3600.01/3628.40	c INPROCESSING
3600.01/3628.40	c GARBAGE COLLECT
3600.01/3628.40	c #Conflicts:     358000 | #Constraints:      21216
3600.01/3628.40	c #Conflicts:     359000 | #Constraints:      22216
3600.01/3628.40	c #Conflicts:     360000 | #Constraints:      23216
3600.01/3628.40	c #Conflicts:     361000 | #Constraints:      24216
3600.01/3628.40	c #Conflicts:     362000 | #Constraints:      25216
3600.01/3628.40	c #Conflicts:     363000 | #Constraints:      26216
3600.01/3628.40	c #Conflicts:     364000 | #Constraints:      27216
3600.01/3628.40	c #Conflicts:     365000 | #Constraints:      28216
3600.01/3628.40	c #Conflicts:     366000 | #Constraints:      29216
3600.01/3628.40	c #Conflicts:     367000 | #Constraints:      30216
3600.01/3628.40	c #Conflicts:     368000 | #Constraints:      31216
3600.01/3628.40	c cpu time 3575.73 s
3600.01/3628.40	c deterministic time 362638821776 3.63e+11
3600.01/3628.40	c optimization time 142.338 s
3600.01/3628.40	c total solve time 3433.31 s
3600.01/3628.40	c core-guided solve time 0 s
3600.01/3628.40	c propagation time 1848.02 s
3600.01/3628.40	c conflict analysis time 1155.7 s
3600.01/3628.40	c propagations 204477111
3600.01/3628.40	c resolve steps 7367750
3600.01/3628.40	c decisions 4812864
3600.01/3628.40	c conflicts 368956
3600.01/3628.40	c restarts 891
3600.01/3628.40	c inprocessing phases 51
3600.01/3628.40	c garbage collections 51 ,( 100.00 )
3600.01/3628.40	c input clauses 12223 ,( 99.01 )
3600.01/3628.40	c input cardinalities 121 ,( 0.98 )
3600.01/3628.40	c input general constraints 1 ,( 0.01 )
3600.01/3628.40	c input average constraint length 5.22
3600.01/3628.40	c input average constraint degree 162.62
3600.01/3628.40	c learned clauses 70850 ,( 19.20 )
3600.01/3628.40	c learned cardinalities 3999 ,( 1.08 )
3600.01/3628.40	c learned general constraints 294206 ,( 79.72 )
3600.01/3628.40	c learned average constraint length 2429.13
3600.01/3628.40	c learned average constraint degree 21503113597.22
3600.01/3628.40	c watched  CF 32, 64, 128, Arb: 125311 , 0 , 0 , 0
3600.01/3628.40	c counting CF 32, 64, 128, Arb: 168896 , 0 , 0 , 0
3600.01/3628.40	c watched   constraints 125311 ,( 42.59 ) 
3600.01/3628.40	c counting  constraints 168896 ,( 57.41 ) 
3600.01/3628.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 72830494 , 6103808 , 3528176763 ,( 652291617 , 2875885146 )
3600.01/3628.40	c gcd simplifications 28068
3600.01/3628.40	c detected cardinalities 2
3600.01/3628.40	c weakened non-implied lits 435029975
3600.01/3628.40	c weakened non-implying lits 2771164
3600.01/3628.40	c original variables 8272
3600.01/3628.40	c clausal propagations 55050566
3600.01/3628.40	c cardinality propagations 51811413
3600.01/3628.40	c watched propagations 4355046
3600.01/3628.40	c counting propagations 88982035
3600.01/3628.40	c watch lookups 159746387687
3600.01/3628.40	c watch backjump lookups 0
3600.01/3628.40	c watch checks 124993510493
3600.01/3628.40	c propagation checks 73367038255
3600.01/3628.40	c constraint additions 4112865342
3600.01/3628.40	c trail pops 209654732
3600.01/3628.40	c formula constraints 12345
3600.01/3628.40	c learned constraints 368883
3600.01/3628.40	c bound constraints 0
3600.01/3628.40	c core-guided constraints 0
3600.01/3628.40	c encountered formula constraints 6580009
3600.01/3628.40	c encountered learned constraints 990835
3600.01/3628.40	c encountered bound constraints 0
3600.01/3628.40	c encountered core-guided constraints 0
3600.01/3628.40	c LP total time 25.2338 s
3600.01/3628.40	c LP solve time 21.6 s
3600.01/3628.40	c LP constraints added 12378
3600.01/3628.40	c LP constraints removed 5
3600.01/3628.40	c LP pivots internal 37972
3600.01/3628.40	c LP pivots root 37319
3600.01/3628.40	c LP calls 80
3600.01/3628.40	c LP optimalities 3
3600.01/3628.40	c LP no pivot count 0
3600.01/3628.40	c LP infeasibilities 73
3600.01/3628.40	c LP valid Farkas constraints 73
3600.01/3628.40	c LP learned Farkas constraints 73
3600.01/3628.40	c LP basis resets 0
3600.01/3628.40	c LP cycling count 0
3600.01/3628.40	c LP singular count 0
3600.01/3628.40	c LP no primal count 0
3600.01/3628.40	c LP no farkas count 0
3600.01/3628.40	c LP other issue count 0
3600.01/3628.40	c LP Gomory cuts 26
3600.01/3628.40	c LP learned cuts 7
3600.01/3628.40	c LP deleted cuts 5
3600.01/3628.40	c LP encountered Gomory constraints 830
3600.01/3628.40	c LP encountered Farkas constraints 164896
3600.01/3628.40	c LP encountered learned Farkas constraints 63
3600.01/3628.40	c CG auxiliary variables introduced 0
3600.01/3628.40	c CG solutions found 0
3600.01/3628.40	c CG cores constructed 0
3600.01/3628.40	c CG core cardinality constraints returned 0
3600.01/3628.40	c CG unit cores 0
3600.01/3628.40	c CG single cores 0
3600.01/3628.40	c CG blocks removed during cardinality reduction 0
3600.01/3628.40	c CG first core best 0
3600.01/3628.40	c CG decision core best 0
3600.01/3628.40	c CG core reduction tie 0
3600.01/3628.40	c CG core degree average 0.00
3600.01/3628.40	c CG core slack average 0.00
3600.01/3628.40	c CG core upper bound improvements 0
3600.01/3628.40	c STR number of successful calls 0
3600.01/3628.40	c STR number of unsuccessful calls 0
3600.01/3628.40	c STR number of inconclusive calls 0
3600.01/3628.40	c STR number of successful attempts 0
3600.01/3628.40	c STR number of unsuccessful attempts 0
3600.01/3628.40	c STR number of inconclusive attempts 0
3600.01/3628.40	c STR average degree increase per successful call inf
3600.01/3628.40	c STR average degree increase per successful attempt inf
3600.01/3628.40	c STR total number of conflicts for successful attempts 0
3600.01/3628.40	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3628.40	c STR total number of conflicts for inconclusive attempts 0
3600.01/3628.40	c STR average number of conflicts per successful attempt inf
3600.01/3628.40	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3628.40	c STR average number of conflicts per inconclusive attempt inf
3600.01/3628.40	c AVG.sumWPerc 45.89 
3600.01/3628.40	c bigint constraints 0 
3600.01/3628.40	s UNKNOWN
3600.01/3628.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 (24135 MiB free)
  memory of node 1: 64465 MiB (61426 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=36797, runsolver pid=36794

[startup+0.100064 s]*
/proc/loadavg: 4.12 4.10 4.09 5/273 36799
/proc/meminfo: memFree=87605252/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36799] ppid=36797 vsize=23232 memory=14840 CPUtime=0.09 cores=1,3
/proc/36799/stat : 36799 (pbsuma) R 36797 36797 35308 0 -1 4194304 4757 0 0 0 8 1 0 0 20 0 1 0 37854566 23789568 3710 18446744073709551615 4210688 4653049 140733807115488 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 17133568 140733807118563 140733807118898 140733807118898 140733807124463 0
/proc/36799/statm: 5808 3710 1056 108 0 3216 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27424 KiB
Current children cumulated memory: 17912 KiB

[startup+0.205788 s]*
/proc/loadavg: 4.19 4.11 4.10 5/273 36800
/proc/meminfo: memFree=87605484/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=70784 memory=24960 CPUtime=0.08 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 4884 0 0 0 7 1 0 0 20 0 1 0 37854577 72482816 6240 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 17696 6240 2304 1147 0 5123 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 74976 KiB
Current children cumulated memory: 28032 KiB

[startup+0.305744 s]*
/proc/loadavg: 4.19 4.11 4.10 5/273 36800
/proc/meminfo: memFree=87592568/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=85296 memory=38904 CPUtime=0.18 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 7922 0 0 0 16 2 0 0 20 0 1 0 37854577 87343104 9726 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 21324 9726 2336 1147 0 8751 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 41976 KiB

[startup+0.700193 s]
/proc/loadavg: 4.19 4.11 4.10 5/273 36800
/proc/meminfo: memFree=87592568/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=85296 memory=39032 CPUtime=0.57 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 7931 0 0 0 55 2 0 0 20 0 1 0 37854577 87343104 9758 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 21324 9758 2336 1147 0 8751 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 42104 KiB

[startup+1.50019 s]
/proc/loadavg: 4.19 4.11 4.10 5/273 36800
/proc/meminfo: memFree=87588472/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=85296 memory=39032 CPUtime=1.37 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 7931 0 0 0 135 2 0 0 20 0 1 0 37854577 87343104 9758 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 21324 9758 2336 1147 0 8751 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 42104 KiB

[startup+3.10556 s]
/proc/loadavg: 4.19 4.11 4.10 5/273 36800
/proc/meminfo: memFree=87564376/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=85296 memory=39032 CPUtime=2.97 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 7931 0 0 0 295 2 0 0 20 0 1 0 37854577 87343104 9758 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 21324 9758 2336 1147 0 8751 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 42104 KiB

[startup+6.30019 s]
/proc/loadavg: 4.18 4.11 4.10 5/273 36800
/proc/meminfo: memFree=87540484/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=85296 memory=39032 CPUtime=6.15 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 7931 0 0 0 613 2 0 0 20 0 1 0 37854577 87343104 9758 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 21324 9758 2336 1147 0 8751 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 42104 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/273 36800
/proc/meminfo: memFree=87447676/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=140064 memory=92428 CPUtime=12.53 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 13577 0 0 0 1239 14 0 0 20 0 1 0 37854577 143425536 23107 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 35016 23107 2400 1147 0 22443 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 144256 KiB
Current children cumulated memory: 95500 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/273 36846
/proc/meminfo: memFree=89972488/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=181780 memory=132240 CPUtime=25.3 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 16877 0 0 0 2507 23 0 0 20 0 1 0 37854577 186142720 33060 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 45445 33060 2400 1147 0 32872 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 185972 KiB
Current children cumulated memory: 135312 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.11 4.09 5/273 36894
/proc/meminfo: memFree=89735304/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=254812 memory=196940 CPUtime=50.84 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 22853 0 0 0 5036 48 0 0 20 0 1 0 37854577 260927488 49235 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 63703 49235 2400 1147 0 51130 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 259004 KiB
Current children cumulated memory: 200012 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.17 4.11 5/273 36896
/proc/meminfo: memFree=89182304/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=385044 memory=282560 CPUtime=101.88 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 33568 0 0 0 10107 81 0 0 20 0 1 0 37854577 394285056 70640 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 96261 70640 2400 1147 0 83688 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 389236 KiB
Current children cumulated memory: 285632 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/270 36898
/proc/meminfo: memFree=88734244/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=411528 memory=328512 CPUtime=161.71 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 38946 0 0 0 16058 113 0 0 20 0 1 0 37854577 421404672 82128 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 102882 82128 2400 1147 0 90309 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 415720 KiB
Current children cumulated memory: 331584 KiB

[startup+222.3 s]
/proc/loadavg: 4.43 4.22 4.13 5/271 36947
/proc/meminfo: memFree=125067424/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=470128 memory=406780 CPUtime=221.53 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 51891 0 0 0 21998 155 0 0 20 0 1 0 37854577 481411072 101695 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 117532 101695 2400 1147 0 104959 0

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

[pid=36800] ppid=36797 vsize=1614544 memory=1498052 CPUtime=3078.59 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 257585 0 0 0 305809 2050 0 0 20 0 1 0 37854577 1653293056 374513 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 403636 374513 2400 1147 0 391063 0
Current children cumulated CPU time: 3078.68 s
Current children cumulated vsize: 1618736 KiB
Current children cumulated memory: 1501124 KiB

[startup+3162.3 s]
/proc/loadavg: 3.09 3.31 3.70 4/270 37206
/proc/meminfo: memFree=96877512/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1614544 memory=1498052 CPUtime=3138 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 257670 0 0 0 311723 2077 0 0 20 0 1 0 37854577 1653293056 374513 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 403636 374513 2400 1147 0 391063 0
Current children cumulated CPU time: 3138.09 s
Current children cumulated vsize: 1618736 KiB
Current children cumulated memory: 1501124 KiB

[startup+3222.3 s]
/proc/loadavg: 3.07 3.27 3.66 4/270 37209
/proc/meminfo: memFree=96382224/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1614544 memory=1498052 CPUtime=3197.46 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 257701 0 0 0 317627 2119 0 0 20 0 1 0 37854577 1653293056 374513 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 403636 374513 2400 1147 0 391063 0
Current children cumulated CPU time: 3197.55 s
Current children cumulated vsize: 1618736 KiB
Current children cumulated memory: 1501124 KiB

[startup+3282.3 s]
/proc/loadavg: 3.08 3.23 3.62 4/270 37211
/proc/meminfo: memFree=95618952/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1614804 memory=1498180 CPUtime=3256.87 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 257756 0 0 0 323523 2164 0 0 20 0 1 0 37854577 1653559296 374545 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 403701 374545 2400 1147 0 391128 0
Current children cumulated CPU time: 3256.96 s
Current children cumulated vsize: 1618996 KiB
Current children cumulated memory: 1501252 KiB

[startup+3342.3 s]
/proc/loadavg: 3.07 3.20 3.59 4/269 37216
/proc/meminfo: memFree=94866868/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1623776 memory=1503940 CPUtime=3316.15 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 259214 0 0 0 329395 2220 0 0 20 0 1 0 37854577 1662746624 375985 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 405944 375985 2400 1147 0 393371 0
Current children cumulated CPU time: 3316.24 s
Current children cumulated vsize: 1627968 KiB
Current children cumulated memory: 1507012 KiB

[startup+3402.3 s]
/proc/loadavg: 3.13 3.19 3.56 4/269 37220
/proc/meminfo: memFree=94112948/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1634772 memory=1517628 CPUtime=3375.67 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 261091 0 0 0 335302 2265 0 0 20 0 1 0 37854577 1674006528 379407 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 408693 379407 2400 1147 0 396120 0
Current children cumulated CPU time: 3375.76 s
Current children cumulated vsize: 1638964 KiB
Current children cumulated memory: 1520700 KiB

[startup+3462.3 s]
/proc/loadavg: 3.05 3.16 3.52 4/268 37222
/proc/meminfo: memFree=93368280/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1635564 memory=1518012 CPUtime=3435 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 261315 0 0 0 341186 2314 0 0 20 0 1 0 37854577 1674817536 379503 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 408891 379503 2400 1147 0 396318 0
Current children cumulated CPU time: 3435.09 s
Current children cumulated vsize: 1639756 KiB
Current children cumulated memory: 1521084 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.16 3.50 4/269 37225
/proc/meminfo: memFree=92758180/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1635800 memory=1518652 CPUtime=3494.38 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 261480 0 0 0 347086 2352 0 0 20 0 1 0 37854577 1675059200 379663 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 408950 379663 2400 1147 0 396377 0
Current children cumulated CPU time: 3494.47 s
Current children cumulated vsize: 1639992 KiB
Current children cumulated memory: 1521724 KiB

[startup+3582.3 s]
/proc/loadavg: 3.11 3.14 3.47 4/271 37232
/proc/meminfo: memFree=91964560/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1635800 memory=1518652 CPUtime=3554 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 261480 0 0 0 352996 2404 0 0 20 0 1 0 37854577 1675059200 379663 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 408950 379663 2400 1147 0 396377 0
Current children cumulated CPU time: 3554.09 s
Current children cumulated vsize: 1639992 KiB
Current children cumulated memory: 1521724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3628.4 s]
/proc/loadavg: 3.11 3.14 3.45 4/271 37234
/proc/meminfo: memFree=91731300/131250000 swapFree=33010684/33010684
[pid=36797] ppid=36794 vsize=4192 memory=3072 CPUtime=0.09 cores=1,3
/proc/36797/stat : 36797 (run-dec-break-l) S 36794 36797 35308 0 -1 4194304 239 4886 0 0 0 0 8 1 20 0 1 0 37854565 4292608 768 18446744073709551615 94463077847040 94463078741573 140728655579280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94463078980624 94463079028368 94463111704576 140728655587605 140728655587806 140728655587806 140728655593408 0
/proc/36797/statm: 1048 768 704 219 0 110 0
[pid=36800] ppid=36797 vsize=1636588 memory=1519420 CPUtime=3599.92 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36797 36797 35308 0 -1 4194304 261667 0 0 0 357573 2419 0 0 20 0 1 0 37854577 1675866112 379855 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 409147 379855 2400 1147 0 396574 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1640780 KiB
Current children cumulated memory: 1522492 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3575.83 s, system=24.2291 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+3628.5 s]*
/proc/loadavg: 3.11 3.14 3.45 5/270 37234
/proc/meminfo: memFree=91723244/131250000 swapFree=33010684/33010684
[pid=36800] ppid=36794 vsize=1636588 memory=1519804 CPUtime=3599.93 cores=1,3
/proc/36800/stat : 36800 (roundingsat) R 36794 36797 35308 0 -1 4194304 261672 0 0 0 357573 2420 0 0 20 0 1 0 37854577 1675866112 379951 18446744073709551615 4227072 8923433 140728948906336 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10432512 140728948910324 140728948910632 140728948910632 140728948916202 0
/proc/36800/statm: 409147 379951 2496 1147 0 396574 0
Current cumulated CPU time of completed processes: 0.103939 s
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 1636588 KiB
Current children cumulated memory: 1519804 KiB

Child status: 2

Real time (s): 3628.53
CPU time (s): 3600.06
CPU user time (s): 3575.83
CPU system time (s): 24.2291
CPU usage (%): 99.2154
Max. virtual memory (cumulated for all children) (KiB): 1640780
Max. memory (cumulated for all children) (KiB): 1522492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.83
system time used= 24.2291
maximum resident set size= 1519804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53066504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2195
involuntary context switches= 23471


# summary of solver processes directly reported to runsolver:
#   pid: 36797,36800
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3575.83
#   total CPU system time (s): 24.2291

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98287 second user time and 16.1269 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 20:29:30
IDJOB=4515243
IDBENCH=164254
IDSOLVER=3358
FILE ID=nodeC016/4515243-1751221770
RUNJOBID= nodeC016-1751214528-35320
SLURM_JOB_ID= 9587646
Free space on /tmp= 433036 MiB

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

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

MD5SUM BENCH= 5a0bcd4a9e5bc1c51804f47b1691eae0
RANDOM SEED=645744045

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        87615000 kB
MemAvailable:   127243428 kB
Buffers:            3280 kB
Cached:         40392340 kB
SwapCached:            0 kB
Active:          2810516 kB
Inactive:       40170524 kB
Active(anon):    2603544 kB
Inactive(anon):        0 kB
Active(file):     206972 kB
Inactive(file): 40170524 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            143164 kB
Writeback:            96 kB
AnonPages:       2585332 kB
Mapped:           117128 kB
Shmem:             18072 kB
KReclaimable:     180340 kB
Slab:             273516 kB
SReclaimable:     180340 kB
SUnreclaim:        93176 kB
KernelStack:        4432 kB
PageTables:         8564 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3244248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150712 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1445888 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC016 at 2025-06-29 21:29:59