Trace number 4515315

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.11 3610.16

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
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 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
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-4515315-1751221797.opb'
0.00/0.02	c 	read 0.94MB  (12.35ms)
0.00/0.02	c	 [cnf: #variables 31248 #clauses 354 #duplicates 0 #arr 90384]
0.00/0.02	c output proof to 'PROOFDIR/proof-4515315-1751221797'
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.06	c	 [group: #orbits ~= 12142] (37.49ms)
0.00/0.06	c 
0.00/0.06	c detect special group actions
0.00/0.06	c 	probe for Johnson action (limit=64)
0.00/0.06	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 	 found row 10x2, generating row predicate
0.00/0.08	c 	recursing 696 blocks of candidate 4x700r
0.00/0.09	c 	recursing 510 blocks of candidate 3x702r
0.00/0.09	c 	recursing 498 blocks of candidate 3x702r
0.00/0.09	c 	recursing 486 blocks of candidate 3x702r
0.00/0.10	c 	recursing 474 blocks of candidate 3x702r
0.08/0.10	c 	recursing 462 blocks of candidate 3x702r
0.08/0.11	c 	recursing 450 blocks of candidate 3x702r
0.08/0.11	c 	recursing 438 blocks of candidate 3x702r
0.08/0.11	c 	recursing 426 blocks of candidate 3x702r
0.08/0.11	c 	recursing 414 blocks of candidate 3x702r
0.08/0.12	c 	recursing 402 blocks of candidate 3x702r
0.08/0.12	c 	recursing 390 blocks of candidate 3x702r
0.08/0.12	c 	recursing 378 blocks of candidate 3x702r
0.08/0.13	c 	recursing 366 blocks of candidate 3x702r
0.08/0.13	c 	recursing 354 blocks of candidate 3x702r
0.08/0.13	c 	recursing 342 blocks of candidate 3x702r
0.08/0.13	c 	recursing 330 blocks of candidate 3x702r
0.08/0.14	c 	recursing 424 blocks of candidate 4x700r
0.08/0.14	c 	recursing 408 blocks of candidate 4x700r
0.08/0.15	c 	recursing 392 blocks of candidate 4x700r
0.08/0.15	c 	recursing 376 blocks of candidate 4x700r
0.08/0.15	c 	recursing 450 blocks of candidate 5x698r
0.08/0.16	c 	recursing 430 blocks of candidate 5x698r
0.08/0.16	c 	recursing 410 blocks of candidate 5x698r
0.08/0.17	c 	recursing 342 blocks of candidate 9x336r
0.08/0.18	c 	 found row 9x336, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	recursing 342 blocks of candidate 9x330r
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	recursing 342 blocks of candidate 9x328r
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.19	c 	 found row 10x2, generating row predicate
0.08/0.20	c 	recursing 360 blocks of candidate 9x336r
0.08/0.20	c 	recursing 400 blocks of candidate 5x698r
0.08/0.20	c 	 found row 10x2, generating row predicate
0.18/0.22	c 	 found row 9x336, generating row predicate
0.18/0.22	c 	 found row 10x2, generating row predicate
0.18/0.22	c 	 found row 10x2, generating row predicate
0.18/0.22	c 	recursing 360 blocks of candidate 9x336r
0.18/0.23	c 	recursing 400 blocks of candidate 5x698r
0.18/0.23	c 	 found row 10x2, generating row predicate
0.18/0.25	c 	 found row 9x336, generating row predicate
0.18/0.25	c 	 found row 10x2, generating row predicate
0.18/0.25	c 	recursing 400 blocks of candidate 5x692r
0.18/0.25	c 	 found row 10x2, generating row predicate
0.18/0.25	c 	 found row 10x2, generating row predicate
0.18/0.25	c 	 found row 10x2, generating row predicate
0.18/0.25	c 	recursing 360 blocks of candidate 9x330r
0.18/0.26	c 	recursing 400 blocks of candidate 5x686r
0.18/0.26	c 	 found row 10x2, generating row predicate
0.18/0.26	c 	 found row 10x2, generating row predicate
0.18/0.26	c 	recursing 400 blocks of candidate 5x680r
0.18/0.26	c 	 found row 10x2, generating row predicate
0.18/0.27	c 	 found row 10x2, generating row predicate
0.18/0.27	c 	recursing 400 blocks of candidate 5x676r
0.18/0.27	c 	 found row 10x2, generating row predicate
0.18/0.27	c 	 found row 10x2, generating row predicate
0.18/0.27	c 	 found row 10x2, generating row predicate
0.18/0.27	c 	recursing 378 blocks of candidate 9x330r
0.18/0.27	c 	recursing 420 blocks of candidate 5x686r
0.18/0.28	c 	recursing 400 blocks of candidate 5x686r
0.18/0.28	c 	 found row 10x2, generating row predicate
0.18/0.28	c 	 found row 10x2, generating row predicate
0.18/0.28	c 	 found row 10x2, generating row predicate
0.18/0.28	c 	recursing 420 blocks of candidate 5x686r
0.18/0.29	c 	recursing 400 blocks of candidate 5x686r
0.18/0.29	c 	 found row 10x2, generating row predicate
0.18/0.29	c 	 found row 10x2, generating row predicate
0.18/0.29	c 	 found row 10x2, generating row predicate
0.18/0.29	c 	recursing 420 blocks of candidate 5x686r
0.18/0.30	c 	recursing 400 blocks of candidate 5x686r
0.18/0.30	c 	 found row 10x2, generating row predicate
0.18/0.30	c 	 found row 10x2, generating row predicate
0.18/0.30	c 	 found row 10x2, generating row predicate
0.18/0.30	c 	recursing 420 blocks of candidate 5x686r
0.28/0.31	c 	recursing 400 blocks of candidate 5x686r
0.28/0.31	c 	 found row 10x2, generating row predicate
0.28/0.31	c 	 found row 10x2, generating row predicate
0.28/0.31	c 	 found row 10x2, generating row predicate
0.28/0.31	c 	 found row 10x2, generating row predicate
0.28/0.31	c 	recursing 420 blocks of candidate 5x674r
0.28/0.32	c 	recursing 400 blocks of candidate 5x674r
0.28/0.32	c 	 found row 10x2, generating row predicate
0.28/0.32	c 	 found row 10x2, generating row predicate
0.28/0.32	c 	 found row 10x2, generating row predicate
0.28/0.32	c 	recursing 420 blocks of candidate 5x674r
0.28/0.33	c 	recursing 400 blocks of candidate 5x674r
0.28/0.33	c 	 found row 10x2, generating row predicate
0.28/0.33	c 	 found row 10x2, generating row predicate
0.28/0.33	c 	 found row 10x2, generating row predicate
0.28/0.33	c 	recursing 420 blocks of candidate 5x674r
0.28/0.34	c 	recursing 400 blocks of candidate 5x674r
0.28/0.34	c 	 found row 10x2, generating row predicate
0.28/0.34	c 	 found row 10x2, generating row predicate
0.28/0.34	c 	 found row 10x2, generating row predicate
0.28/0.37	c 	 (309.46ms)
0.28/0.37	c 
0.28/0.37	c detect symmetries on remainder
0.28/0.37	c 	[graph: #vertices 153234 #edges 424032]
0.28/0.37	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.49/0.52	c 	 [group: #symmetries 4.11*10^956 #generators 1330] (150.24ms)
0.49/0.52	c 
0.49/0.52	c optimize generators (opt_passes=64, conjugate_limit=256)
0.49/0.54	c 	ran it=0, +gens=14 
0.78/0.85	c 	con best_support=4, best_gens=1287, +gens=139
0.78/0.85	c 	(335.86ms)
0.78/0.85	c 
0.78/0.85	c finalize break order and special generators
0.78/0.86	c 
0.78/0.86	c add generic predicates (break_depth=10)
0.78/0.86	c 	added predicates for 1483 generators (3.87ms)
0.78/0.87	c 
0.78/0.87	c generation finished
0.78/0.87	c 	[sbp: #constraints 856 #add_vars 2]
0.78/0.88	c 
0.78/0.88	c write result to 'HOME/instance-4515315-1751221797.opb.pre'
0.78/0.88	c 	wrote 0.96MB (2.37ms)
0.78/0.88	c ------------------------------------------------------------------
0.78/0.88	c                 335.86ms 38.58% optimize_gens
0.78/0.88	c                 309.46ms 35.55% detect_special
0.78/0.88	c                 150.24ms 17.26% detect_generic
0.78/0.88	c                  37.49ms  4.31% approx_orbits
0.78/0.88	c                  13.31ms  1.53% other
0.78/0.88	c                  12.35ms  1.42% parse
0.78/0.88	c                   5.63ms  0.65% finalize_order
0.78/0.88	c                   3.87ms  0.44% break_generic
0.78/0.88	c                   2.37ms  0.27% output
0.78/0.88	c         ───────────────────────────────────────────────
0.78/0.88	c                 870.58ms   100% total
0.78/0.88	c ------------------------------------------------------------------
0.78/0.89	c RoundingSat 2
0.78/0.89	c branch pb25
0.78/0.89	c commit 63f22ad
0.86/0.98	c #variables 31250 #constraints 1378
640.38/642.29	c #Conflicts:       1000 | #Constraints:       2377
640.38/642.29	c #Conflicts:       2000 | #Constraints:       3377
640.38/642.29	c INPROCESSING
640.38/642.29	c GARBAGE COLLECT
640.38/642.29	c #Conflicts:       3000 | #Constraints:       3394
640.38/642.29	c #Conflicts:       4000 | #Constraints:       4394
640.38/642.29	c INPROCESSING
640.38/642.29	c GARBAGE COLLECT
640.38/642.29	c #Conflicts:       5000 | #Constraints:       3814
640.38/642.29	c #Conflicts:       6000 | #Constraints:       4814
640.38/642.29	c INPROCESSING
640.38/642.29	c GARBAGE COLLECT
640.38/642.29	c #Conflicts:       7000 | #Constraints:       3813
640.38/642.29	c #Conflicts:       8000 | #Constraints:       4813
640.38/642.29	c #Conflicts:       9000 | #Constraints:       5813
640.38/642.29	c INPROCESSING
640.38/642.29	c GARBAGE COLLECT
640.38/642.29	c #Conflicts:      10000 | #Constraints:       4508
640.38/642.29	c #Conflicts:      11000 | #Constraints:       5508
640.38/642.29	c #Conflicts:      12000 | #Constraints:       6508
640.38/642.29	c INPROCESSING
640.38/642.29	c GARBAGE COLLECT
640.38/642.29	c rational objective 178.25
2427.38/2434.14	c #Conflicts:      13000 | #Constraints:       4982
2427.38/2434.14	c #Conflicts:      14000 | #Constraints:       5982
2427.38/2434.14	c #Conflicts:      15000 | #Constraints:       6982
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      16000 | #Constraints:       5236
2427.38/2434.14	c #Conflicts:      17000 | #Constraints:       6236
2427.38/2434.14	c #Conflicts:      18000 | #Constraints:       7236
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      19000 | #Constraints:       5258
2427.38/2434.14	c #Conflicts:      20000 | #Constraints:       6258
2427.38/2434.14	c #Conflicts:      21000 | #Constraints:       7258
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      22000 | #Constraints:       5022
2427.38/2434.14	c #Conflicts:      23000 | #Constraints:       6022
2427.38/2434.14	c #Conflicts:      24000 | #Constraints:       7022
2427.38/2434.14	c #Conflicts:      25000 | #Constraints:       8022
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      26000 | #Constraints:       5632
2427.38/2434.14	c #Conflicts:      27000 | #Constraints:       6632
2427.38/2434.14	c #Conflicts:      28000 | #Constraints:       7632
2427.38/2434.14	c #Conflicts:      29000 | #Constraints:       8632
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      30000 | #Constraints:       6009
2427.38/2434.14	c #Conflicts:      31000 | #Constraints:       7009
2427.38/2434.14	c #Conflicts:      32000 | #Constraints:       8009
2427.38/2434.14	c #Conflicts:      33000 | #Constraints:       9009
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      34000 | #Constraints:       6204
2427.38/2434.14	c #Conflicts:      35000 | #Constraints:       7204
2427.38/2434.14	c #Conflicts:      36000 | #Constraints:       8204
2427.38/2434.14	c #Conflicts:      37000 | #Constraints:       9204
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      38000 | #Constraints:       6241
2427.38/2434.14	c #Conflicts:      39000 | #Constraints:       7241
2427.38/2434.14	c #Conflicts:      40000 | #Constraints:       8241
2427.38/2434.14	c #Conflicts:      41000 | #Constraints:       9241
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      42000 | #Constraints:       6093
2427.38/2434.14	c #Conflicts:      43000 | #Constraints:       7093
2427.38/2434.14	c #Conflicts:      44000 | #Constraints:       8093
2427.38/2434.14	c #Conflicts:      45000 | #Constraints:       9093
2427.38/2434.14	c #Conflicts:      46000 | #Constraints:      10093
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      47000 | #Constraints:       6644
2427.38/2434.14	c #Conflicts:      48000 | #Constraints:       7644
2427.38/2434.14	c #Conflicts:      49000 | #Constraints:       8644
2427.38/2434.14	c #Conflicts:      50000 | #Constraints:       9644
2427.38/2434.14	c #Conflicts:      51000 | #Constraints:      10644
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      52000 | #Constraints:       7060
2427.38/2434.14	c #Conflicts:      53000 | #Constraints:       8060
2427.38/2434.14	c #Conflicts:      54000 | #Constraints:       9060
2427.38/2434.14	c #Conflicts:      55000 | #Constraints:      10060
2427.38/2434.14	c #Conflicts:      56000 | #Constraints:      11060
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      57000 | #Constraints:       7257
2427.38/2434.14	c #Conflicts:      58000 | #Constraints:       8257
2427.38/2434.14	c #Conflicts:      59000 | #Constraints:       9257
2427.38/2434.14	c #Conflicts:      60000 | #Constraints:      10257
2427.38/2434.14	c #Conflicts:      61000 | #Constraints:      11257
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      62000 | #Constraints:       7233
2427.38/2434.14	c #Conflicts:      63000 | #Constraints:       8233
2427.38/2434.14	c #Conflicts:      64000 | #Constraints:       9233
2427.38/2434.14	c #Conflicts:      65000 | #Constraints:      10233
2427.38/2434.14	c #Conflicts:      66000 | #Constraints:      11233
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c #Conflicts:      67000 | #Constraints:       7029
2427.38/2434.14	c #Conflicts:      68000 | #Constraints:       8029
2427.38/2434.14	c #Conflicts:      69000 | #Constraints:       9029
2427.38/2434.14	c #Conflicts:      70000 | #Constraints:      10029
2427.38/2434.14	c #Conflicts:      71000 | #Constraints:      11029
2427.38/2434.14	c #Conflicts:      72000 | #Constraints:      12029
2427.38/2434.14	c INPROCESSING
2427.38/2434.14	c GARBAGE COLLECT
2427.38/2434.14	c rational objective 178.5
2818.66/2826.55	c #Conflicts:      73000 | #Constraints:       7629
2818.66/2826.55	c #Conflicts:      74000 | #Constraints:       8629
2818.66/2826.55	c #Conflicts:      75000 | #Constraints:       9629
2818.66/2826.55	c #Conflicts:      76000 | #Constraints:      10629
2818.66/2826.55	c #Conflicts:      77000 | #Constraints:      11629
2818.66/2826.55	c #Conflicts:      78000 | #Constraints:      12629
2818.66/2826.55	c INPROCESSING
2818.66/2826.55	c GARBAGE COLLECT
2818.66/2826.55	c #Conflicts:      79000 | #Constraints:       8026
2818.66/2826.55	c #Conflicts:      80000 | #Constraints:       9026
2818.66/2826.55	c #Conflicts:      81000 | #Constraints:      10026
2818.66/2826.55	c #Conflicts:      82000 | #Constraints:      11026
2818.66/2826.55	c #Conflicts:      83000 | #Constraints:      12026
2818.66/2826.55	c #Conflicts:      84000 | #Constraints:      13026
2818.66/2826.55	c INPROCESSING
2818.66/2826.55	c GARBAGE COLLECT
2818.66/2826.55	c #Conflicts:      85000 | #Constraints:       8264
2818.66/2826.55	c #Conflicts:      86000 | #Constraints:       9264
2818.66/2826.55	c #Conflicts:      87000 | #Constraints:      10265
2818.66/2826.55	c #Conflicts:      88000 | #Constraints:      11268
2818.66/2826.55	c #Conflicts:      89000 | #Constraints:      12272
2818.66/2826.55	c #Conflicts:      90000 | #Constraints:      13272
2818.66/2826.55	c INPROCESSING
2818.66/2826.55	c GARBAGE COLLECT
2818.66/2826.55	c rational objective 179
3600.06/3610.10	c #Conflicts:      91000 | #Constraints:       8308
3600.06/3610.10	c #Conflicts:      92000 | #Constraints:       9308
3600.06/3610.10	c #Conflicts:      93000 | #Constraints:      10308
3600.06/3610.10	c #Conflicts:      94000 | #Constraints:      11308
3600.06/3610.10	c #Conflicts:      95000 | #Constraints:      12308
3600.06/3610.10	c #Conflicts:      96000 | #Constraints:      13308
3600.06/3610.10	c INPROCESSING
3600.06/3610.10	c GARBAGE COLLECT
3600.06/3610.10	c #Conflicts:      97000 | #Constraints:       8088
3600.06/3610.10	c #Conflicts:      98000 | #Constraints:       9088
3600.06/3610.10	c #Conflicts:      99000 | #Constraints:      10088
3600.06/3610.10	c #Conflicts:     100000 | #Constraints:      11088
3600.06/3610.10	c #Conflicts:     101000 | #Constraints:      12088
3600.06/3610.10	c #Conflicts:     102000 | #Constraints:      13088
3600.06/3610.10	c #Conflicts:     103000 | #Constraints:      14088
3600.06/3610.10	c INPROCESSING
3600.06/3610.10	c GARBAGE COLLECT
3600.06/3610.10	c #Conflicts:     104000 | #Constraints:       8647
3600.06/3610.10	c #Conflicts:     105000 | #Constraints:       9647
3600.06/3610.10	c #Conflicts:     106000 | #Constraints:      10647
3600.06/3610.10	c #Conflicts:     107000 | #Constraints:      11647
3600.06/3610.10	c #Conflicts:     108000 | #Constraints:      12647
3600.06/3610.10	c #Conflicts:     109000 | #Constraints:      13647
3600.06/3610.10	c #Conflicts:     110000 | #Constraints:      14647
3600.06/3610.10	c INPROCESSING
3600.06/3610.10	c GARBAGE COLLECT
3600.06/3610.10	c #Conflicts:     111000 | #Constraints:       9076
3600.06/3610.10	c #Conflicts:     112000 | #Constraints:      10076
3600.06/3610.10	c #Conflicts:     113000 | #Constraints:      11076
3600.06/3610.10	c #Conflicts:     114000 | #Constraints:      12076
3600.06/3610.10	c #Conflicts:     115000 | #Constraints:      13076
3600.06/3610.10	c #Conflicts:     116000 | #Constraints:      14076
3600.06/3610.10	c #Conflicts:     117000 | #Constraints:      15076
3600.06/3610.10	c INPROCESSING
3600.06/3610.10	c GARBAGE COLLECT
3600.06/3610.10	c #Conflicts:     118000 | #Constraints:       9235
3600.06/3610.10	c #Conflicts:     119000 | #Constraints:      10235
3600.06/3610.10	c #Conflicts:     120000 | #Constraints:      11235
3600.06/3610.10	c #Conflicts:     121000 | #Constraints:      12235
3600.06/3610.10	c #Conflicts:     122000 | #Constraints:      13235
3600.06/3610.10	c #Conflicts:     123000 | #Constraints:      14235
3600.06/3610.10	c #Conflicts:     124000 | #Constraints:      15235
3600.06/3610.10	c INPROCESSING
3600.06/3610.10	c GARBAGE COLLECT
3600.06/3610.10	c #Conflicts:     125000 | #Constraints:       9214
3600.06/3610.10	c #Conflicts:     126000 | #Constraints:      10214
3600.06/3610.10	c #Conflicts:     127000 | #Constraints:      11214
3600.06/3610.10	c #Conflicts:     128000 | #Constraints:      12214
3600.06/3610.10	c #Conflicts:     129000 | #Constraints:      13214
3600.06/3610.10	c #Conflicts:     130000 | #Constraints:      14214
3600.06/3610.10	c #Conflicts:     131000 | #Constraints:      15214
3600.06/3610.10	c INPROCESSING
3600.06/3610.10	c GARBAGE COLLECT
3600.06/3610.10	c cpu time 3592.37 s
3600.06/3610.10	c deterministic time 1736069034 1.74e+09
3600.06/3610.10	c optimization time 15.8738 s
3600.06/3610.10	c total solve time 3576.43 s
3600.06/3610.10	c core-guided solve time 0 s
3600.06/3610.10	c propagation time 24.0867 s
3600.06/3610.10	c conflict analysis time 24.5364 s
3600.06/3610.10	c propagations 2584889
3600.06/3610.10	c resolve steps 360839
3600.06/3610.10	c decisions 8559260
3600.06/3610.10	c conflicts 131601
3600.06/3610.10	c restarts 361
3600.06/3610.10	c inprocessing phases 28
3600.06/3610.10	c garbage collections 28 ,( 100.00 )
3600.06/3610.10	c input clauses 1033 ,( 74.96 )
3600.06/3610.10	c input cardinalities 0 ,( 0.00 )
3600.06/3610.10	c input general constraints 345 ,( 25.04 )
3600.06/3610.10	c input average constraint length 108.65
3600.06/3610.10	c input average constraint degree 3387.20
3600.06/3610.10	c learned clauses 56539 ,( 42.93 )
3600.06/3610.10	c learned cardinalities 41 ,( 0.03 )
3600.06/3610.10	c learned general constraints 75108 ,( 57.03 )
3600.06/3610.10	c learned average constraint length 427.30
3600.06/3610.10	c learned average constraint degree 381089243.87
3600.06/3610.10	c watched  CF 32, 64, 128, Arb: 38683 , 0 , 0 , 0
3600.06/3610.10	c counting CF 32, 64, 128, Arb: 36770 , 0 , 0 , 0
3600.06/3610.10	c watched   constraints 38683 ,( 51.27 ) 
3600.06/3610.10	c counting  constraints 36770 ,( 48.73 ) 
3600.06/3610.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 984980 , 2026 , 28671158 ,( 11845974 , 16825184 )
3600.06/3610.10	c gcd simplifications 27941
3600.06/3610.10	c detected cardinalities 3
3600.06/3610.10	c weakened non-implied lits 9488811
3600.06/3610.10	c weakened non-implying lits 367400
3600.06/3610.10	c original variables 31250
3600.06/3610.10	c clausal propagations 27780
3600.06/3610.10	c cardinality propagations 674
3600.06/3610.10	c watched propagations 36681
3600.06/3610.10	c counting propagations 2339078
3600.06/3610.10	c watch lookups 364850090
3600.06/3610.10	c watch backjump lookups 0
3600.06/3610.10	c watch checks 703039426
3600.06/3610.10	c propagation checks 445799854
3600.06/3610.10	c constraint additions 199930495
3600.06/3610.10	c trail pops 11275742
3600.06/3610.10	c formula constraints 1378
3600.06/3610.10	c learned constraints 131593
3600.06/3610.10	c bound constraints 0
3600.06/3610.10	c core-guided constraints 0
3600.06/3610.10	c encountered formula constraints 347142
3600.06/3610.10	c encountered learned constraints 143730
3600.06/3610.10	c encountered bound constraints 0
3600.06/3610.10	c encountered core-guided constraints 0
3600.06/3610.10	c LP total time 11.1807 s
3600.06/3610.10	c LP solve time 5.53 s
3600.06/3610.10	c LP constraints added 1427
3600.06/3610.10	c LP constraints removed 31
3600.06/3610.10	c LP pivots internal 13379
3600.06/3610.10	c LP pivots root 15898
3600.06/3610.10	c LP calls 21
3600.06/3610.10	c LP optimalities 10
3600.06/3610.10	c LP no pivot count 1
3600.06/3610.10	c LP infeasibilities 8
3600.06/3610.10	c LP valid Farkas constraints 8
3600.06/3610.10	c LP learned Farkas constraints 8
3600.06/3610.10	c LP basis resets 0
3600.06/3610.10	c LP cycling count 0
3600.06/3610.10	c LP singular count 0
3600.06/3610.10	c LP no primal count 0
3600.06/3610.10	c LP no farkas count 0
3600.06/3610.10	c LP other issue count 0
3600.06/3610.10	c LP Gomory cuts 79
3600.06/3610.10	c LP learned cuts 7
3600.06/3610.10	c LP deleted cuts 46
3600.06/3610.10	c LP encountered Gomory constraints 0
3600.06/3610.10	c LP encountered Farkas constraints 1524
3600.06/3610.10	c LP encountered learned Farkas constraints 36
3600.06/3610.10	c CG auxiliary variables introduced 0
3600.06/3610.10	c CG solutions found 0
3600.06/3610.10	c CG cores constructed 0
3600.06/3610.10	c CG core cardinality constraints returned 0
3600.06/3610.10	c CG unit cores 0
3600.06/3610.10	c CG single cores 0
3600.06/3610.10	c CG blocks removed during cardinality reduction 0
3600.06/3610.10	c CG first core best 0
3600.06/3610.10	c CG decision core best 0
3600.06/3610.10	c CG core reduction tie 0
3600.06/3610.10	c CG core degree average 0.00
3600.06/3610.10	c CG core slack average 0.00
3600.06/3610.10	c CG core upper bound improvements 0
3600.06/3610.10	c STR number of successful calls 0
3600.06/3610.10	c STR number of unsuccessful calls 0
3600.06/3610.10	c STR number of inconclusive calls 0
3600.06/3610.10	c STR number of successful attempts 0
3600.06/3610.10	c STR number of unsuccessful attempts 0
3600.06/3610.10	c STR number of inconclusive attempts 0
3600.06/3610.10	c STR average degree increase per successful call inf
3600.06/3610.10	c STR average degree increase per successful attempt inf
3600.06/3610.10	c STR total number of conflicts for successful attempts 0
3600.06/3610.10	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10	c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10	c STR average number of conflicts per successful attempt inf
3600.06/3610.10	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10	c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10	c AVG.sumWPerc 39.38 
3600.06/3610.10	c bigint constraints 0 
3600.06/3610.10	s UNKNOWN
3600.06/3610.10	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 (24013 MiB free)
  memory of node 1: 64465 MiB (63839 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=36891, runsolver pid=36888
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 36893
/proc/meminfo: memFree=89938880/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36893] ppid=36891 vsize=56836 memory=41024 CPUtime=0.08 cores=5,7
/proc/36893/stat : 36893 (pbsuma) R 36891 36891 35308 0 -1 4194304 11707 0 0 0 7 1 0 0 20 0 1 0 37857212 58200064 10256 18446744073709551615 4210688 4653049 140721057014016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24903680 140721057016035 140721057016370 140721057016370 140721057021935 0
/proc/36893/statm: 14209 10256 1024 108 0 11617 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61028 KiB
Current children cumulated memory: 43968 KiB

[startup+0.205749 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 36893
/proc/meminfo: memFree=89922752/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36893] ppid=36891 vsize=81988 memory=64448 CPUtime=0.18 cores=5,7
/proc/36893/stat : 36893 (pbsuma) R 36891 36891 35308 0 -1 4194304 18398 0 0 0 16 2 0 0 20 0 1 0 37857212 83955712 16112 18446744073709551615 4210688 4653049 140721057014016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24903680 140721057016035 140721057016370 140721057016370 140721057021935 0
/proc/36893/statm: 20497 16112 1024 108 0 17905 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 86180 KiB
Current children cumulated memory: 67392 KiB

[startup+0.305714 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 36893
/proc/meminfo: memFree=89922248/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36893] ppid=36891 vsize=81988 memory=65088 CPUtime=0.28 cores=5,7
/proc/36893/stat : 36893 (pbsuma) R 36891 36891 35308 0 -1 4194304 18596 0 0 0 26 2 0 0 20 0 1 0 37857212 83955712 16272 18446744073709551615 4210688 4653049 140721057014016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24903680 140721057016035 140721057016370 140721057016370 140721057021935 0
/proc/36893/statm: 20497 16272 1024 108 0 17905 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86180 KiB
Current children cumulated memory: 68032 KiB

[startup+0.700176 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 36893
/proc/meminfo: memFree=89914184/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36893] ppid=36891 vsize=84404 memory=69952 CPUtime=0.68 cores=5,7
/proc/36893/stat : 36893 (pbsuma) R 36891 36891 35308 0 -1 4194304 19827 0 0 0 65 3 0 0 20 0 1 0 37857212 86429696 17488 18446744073709551615 4210688 4653049 140721057014016 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 24903680 140721057016035 140721057016370 140721057016370 140721057021935 0
/proc/36893/statm: 21101 17488 1024 108 0 18509 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88596 KiB
Current children cumulated memory: 72896 KiB

[startup+1.50019 s]
/proc/loadavg: 4.13 4.10 4.09 6/273 36894
/proc/meminfo: memFree=89922100/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=91012 memory=46568 CPUtime=0.6 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 9659 0 0 0 58 2 0 0 20 0 1 0 37857300 93196288 11642 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 22753 11642 2272 1147 0 10180 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 95204 KiB
Current children cumulated memory: 49512 KiB

[startup+3.10556 s]
/proc/loadavg: 4.13 4.10 4.09 6/273 36894
/proc/meminfo: memFree=89894036/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=91256 memory=47336 CPUtime=2.2 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 9834 0 0 0 218 2 0 0 20 0 1 0 37857300 93446144 11834 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 22814 11834 2304 1147 0 10241 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 95448 KiB
Current children cumulated memory: 50280 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.10 4.09 6/273 36894
/proc/meminfo: memFree=89851052/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=91256 memory=47336 CPUtime=5.39 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 9835 0 0 0 537 2 0 0 20 0 1 0 37857300 93446144 11834 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 22814 11834 2304 1147 0 10241 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 95448 KiB
Current children cumulated memory: 50280 KiB

[startup+12.7001 s]
/proc/loadavg: 4.19 4.12 4.10 6/273 36894
/proc/meminfo: memFree=89813788/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=91256 memory=47336 CPUtime=11.77 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 9836 0 0 0 1175 2 0 0 20 0 1 0 37857300 93446144 11834 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 22814 11834 2304 1147 0 10241 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 95448 KiB
Current children cumulated memory: 50280 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 6/273 36894
/proc/meminfo: memFree=89727256/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=91256 memory=47336 CPUtime=24.54 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 9836 0 0 0 2452 2 0 0 20 0 1 0 37857300 93446144 11834 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 22814 11834 2304 1147 0 10241 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 95448 KiB
Current children cumulated memory: 50280 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.09 6/273 36895
/proc/meminfo: memFree=89475324/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=91256 memory=47336 CPUtime=50.07 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 9836 0 0 0 5005 2 0 0 20 0 1 0 37857300 93446144 11834 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 22814 11834 2304 1147 0 10241 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 95448 KiB
Current children cumulated memory: 50280 KiB

[startup+102.3 s]
/proc/loadavg: 4.40 4.19 4.12 6/273 36897
/proc/meminfo: memFree=89033428/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=91256 memory=47336 CPUtime=101.13 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 9837 0 0 0 10111 2 0 0 20 0 1 0 37857300 93446144 11834 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 22814 11834 2304 1147 0 10241 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 95448 KiB
Current children cumulated memory: 50280 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.11 6/271 36900
/proc/meminfo: memFree=88506048/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=102852 memory=59392 CPUtime=160.95 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 12276 0 0 0 16063 32 0 0 20 0 1 0 37857300 105320448 14848 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 25713 14848 2368 1147 0 13140 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 107044 KiB
Current children cumulated memory: 62336 KiB

[startup+222.3 s]
/proc/loadavg: 4.34 4.22 4.13 7/272 36949
/proc/meminfo: memFree=124851236/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=102852 memory=59392 CPUtime=220.79 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 12277 0 0 0 22047 32 0 0 20 0 1 0 37857300 105320448 14848 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 25713 14848 2368 1147 0 13140 0

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

/proc/36894/statm: 171819 147952 2368 1147 0 159246 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594752 KiB

[startup+3162.3 s]
/proc/loadavg: 3.13 3.30 3.69 4/270 37207
/proc/meminfo: memFree=96731436/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591808 CPUtime=3152.66 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117166 0 0 0 314735 531 0 0 20 0 1 0 37857300 703770624 147952 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147952 2368 1147 0 159246 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594752 KiB

[startup+3222.3 s]
/proc/loadavg: 3.05 3.24 3.64 4/270 37210
/proc/meminfo: memFree=96150804/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591808 CPUtime=3212.49 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117166 0 0 0 320682 567 0 0 20 0 1 0 37857300 703770624 147952 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147952 2368 1147 0 159246 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594752 KiB

[startup+3282.3 s]
/proc/loadavg: 3.13 3.23 3.61 4/268 37211
/proc/meminfo: memFree=95316580/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591808 CPUtime=3272.32 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117166 0 0 0 326665 567 0 0 20 0 1 0 37857300 703770624 147952 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147952 2368 1147 0 159246 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594752 KiB

[startup+3342.3 s]
/proc/loadavg: 3.11 3.20 3.57 4/269 37216
/proc/meminfo: memFree=94509004/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591808 CPUtime=3332.15 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117166 0 0 0 332600 615 0 0 20 0 1 0 37857300 703770624 147952 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147952 2368 1147 0 159246 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594752 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.18 3.54 4/269 37220
/proc/meminfo: memFree=93699632/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591808 CPUtime=3391.99 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117166 0 0 0 338584 615 0 0 20 0 1 0 37857300 703770624 147952 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147952 2368 1147 0 159246 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594752 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.16 3.51 4/268 37222
/proc/meminfo: memFree=93183752/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591808 CPUtime=3451.82 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117166 0 0 0 344567 615 0 0 20 0 1 0 37857300 703770624 147952 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147952 2368 1147 0 159246 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594752 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.14 3.48 4/269 37226
/proc/meminfo: memFree=92325072/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591936 CPUtime=3511.65 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117210 0 0 0 350527 638 0 0 20 0 1 0 37857300 703770624 147984 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147984 2368 1147 0 159246 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594880 KiB

[startup+3582.3 s]
/proc/loadavg: 3.07 3.13 3.45 4/271 37232
/proc/meminfo: memFree=91860448/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=687276 memory=591936 CPUtime=3571.47 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117211 0 0 0 356509 638 0 0 20 0 1 0 37857300 703770624 147984 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 171819 147984 2368 1147 0 159246 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 691468 KiB
Current children cumulated memory: 594880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.1 s]
/proc/loadavg: 3.02 3.12 3.44 3/263 37265
/proc/meminfo: memFree=119833012/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=689724 memory=594496 CPUtime=3599.2 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117847 0 0 0 359237 683 0 0 20 0 1 0 37857300 706277376 148624 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 172431 148624 2368 1147 0 159858 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 693916 KiB
Current children cumulated memory: 597440 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.833937 s, system=0.038277 s

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

# cumulated CPU time of all completed processes:  user=3593.22 s, system=6.89469 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+3610.1 s]
/proc/loadavg: 3.02 3.12 3.44 3/263 37265
/proc/meminfo: memFree=119833012/131250000 swapFree=33010684/33010684
[pid=36891] ppid=36888 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/36891/stat : 36891 (run-dec-break-l) S 36888 36891 35308 0 -1 4194304 240 20066 0 0 0 0 83 3 20 0 1 0 37857211 4292608 736 18446744073709551615 94830702276608 94830703171141 140720876323008 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94830703410192 94830703457936 94830736814080 140720876329237 140720876329438 140720876329438 140720876335040 0
/proc/36891/statm: 1048 736 672 219 0 110 0
[pid=36894] ppid=36891 vsize=689724 memory=594496 CPUtime=3599.2 cores=5,7
/proc/36894/stat : 36894 (roundingsat) R 36891 36891 35308 0 -1 4194304 117847 0 0 0 359237 683 0 0 20 0 1 0 37857300 706277376 148624 18446744073709551615 4227072 8923433 140729569034064 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35962880 140729569036532 140729569036840 140729569036840 140729569042410 0
/proc/36894/statm: 172431 148624 2368 1147 0 159858 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 693916 KiB
Current children cumulated memory: 597440 KiB

Child status: 2

Real time (s): 3610.16
CPU time (s): 3600.11
CPU user time (s): 3593.22
CPU system time (s): 6.89469
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 693916
Max. memory (cumulated for all children) (KiB): 597440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.22
system time used= 6.89469
maximum resident set size= 594752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1575824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 605
involuntary context switches= 1203


# summary of solver processes directly reported to runsolver:
#   pid: 36891,36894
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3593.22
#   total CPU system time (s): 6.89469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0154 second user time and 16.1287 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-29 20:29:57
IDJOB=4515315
IDBENCH=164400
IDSOLVER=3358
FILE ID=nodeC016/4515315-1751221797
RUNJOBID= nodeC016-1751214528-35321
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/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515315-1751221797/watcher-4515315-1751221797 -o /tmp/evaluation-result-4515315-1751221797/solver-4515315-1751221797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751214528-35321 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4515315-1751221797.opb PROOFDIR/proof-4515315-1751221797

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=195622398

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.737
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.741
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		: 3694.791
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		: 3600.368
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.711
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.737
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		: 3505.130
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		: 3824.733
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:        89970316 kB
MemAvailable:   127293972 kB
Buffers:            3280 kB
Cached:         38089736 kB
SwapCached:            0 kB
Active:          2750960 kB
Inactive:       37867932 kB
Active(anon):    2543988 kB
Inactive(anon):        0 kB
Active(file):     206972 kB
Inactive(file): 37867932 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             60612 kB
Writeback:             0 kB
AnonPages:       2526860 kB
Mapped:           116668 kB
Shmem:             18072 kB
KReclaimable:     175984 kB
Slab:             266564 kB
SReclaimable:     175984 kB
SUnreclaim:        90580 kB
KernelStack:        4396 kB
PageTables:         8544 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3119680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1294336 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= 433028 MiB
End job on nodeC016 at 2025-06-29 21:30:07