Trace number 4515314

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat+pbsuma 63f22ad? (TO) 3600.08 3610.03

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-4515314-1751223196.opb'
0.00/0.02	c 	read 0.94MB  (12.22ms)
0.00/0.02	c	 [cnf: #variables 31248 #clauses 354 #duplicates 0 #arr 90384]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.06	c	 [group: #orbits ~= 12142] (36.45ms)
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.08	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.09	c 	recursing 474 blocks of candidate 3x702r
0.07/0.10	c 	recursing 462 blocks of candidate 3x702r
0.07/0.10	c 	recursing 450 blocks of candidate 3x702r
0.07/0.11	c 	recursing 438 blocks of candidate 3x702r
0.07/0.11	c 	recursing 426 blocks of candidate 3x702r
0.07/0.11	c 	recursing 414 blocks of candidate 3x702r
0.07/0.12	c 	recursing 402 blocks of candidate 3x702r
0.07/0.12	c 	recursing 390 blocks of candidate 3x702r
0.07/0.12	c 	recursing 378 blocks of candidate 3x702r
0.07/0.12	c 	recursing 366 blocks of candidate 3x702r
0.07/0.13	c 	recursing 354 blocks of candidate 3x702r
0.07/0.13	c 	recursing 342 blocks of candidate 3x702r
0.07/0.13	c 	recursing 330 blocks of candidate 3x702r
0.07/0.14	c 	recursing 424 blocks of candidate 4x700r
0.07/0.14	c 	recursing 408 blocks of candidate 4x700r
0.07/0.14	c 	recursing 392 blocks of candidate 4x700r
0.07/0.15	c 	recursing 376 blocks of candidate 4x700r
0.07/0.15	c 	recursing 450 blocks of candidate 5x698r
0.07/0.16	c 	recursing 430 blocks of candidate 5x698r
0.07/0.16	c 	recursing 410 blocks of candidate 5x698r
0.07/0.16	c 	recursing 342 blocks of candidate 9x336r
0.07/0.18	c 	 found row 9x336, generating row predicate
0.07/0.18	c 	 found row 10x2, generating row predicate
0.07/0.18	c 	 found row 10x2, generating row predicate
0.07/0.18	c 	 found row 10x2, generating row predicate
0.07/0.19	c 	recursing 342 blocks of candidate 9x330r
0.07/0.19	c 	 found row 10x2, generating row predicate
0.07/0.19	c 	 found row 10x2, generating row predicate
0.07/0.19	c 	recursing 342 blocks of candidate 9x328r
0.07/0.19	c 	 found row 10x2, generating row predicate
0.07/0.19	c 	 found row 10x2, generating row predicate
0.07/0.19	c 	recursing 360 blocks of candidate 9x336r
0.07/0.20	c 	recursing 400 blocks of candidate 5x698r
0.07/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.23	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.26	c 	 found row 10x2, generating row predicate
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 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.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 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.28	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.29	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.33	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.36	c 	 (307.43ms)
0.28/0.36	c 
0.28/0.36	c detect symmetries on remainder
0.28/0.36	c 	[graph: #vertices 153234 #edges 424032]
0.28/0.37	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.48/0.51	c 	 [group: #symmetries 4.11*10^956 #generators 1330] (151.07ms)
0.48/0.51	c 
0.48/0.51	c optimize generators (opt_passes=64, conjugate_limit=256)
0.48/0.53	c 	ran it=0, +gens=14 
0.76/0.85	c 	con best_support=4, best_gens=1287, +gens=139
0.76/0.85	c 	(333.67ms)
0.76/0.85	c 
0.76/0.85	c finalize break order and special generators
0.76/0.85	c 
0.76/0.85	c add generic predicates (break_depth=10)
0.76/0.87	c 	added predicates for 1483 generators (18.80ms)
0.76/0.87	c 
0.76/0.87	c generation finished
0.76/0.87	c 	[sbp: #constraints 27469 #add_vars 8519]
0.76/0.87	c 
0.76/0.87	c write result to 'HOME/instance-4515314-1751223196.opb.pre'
0.76/0.88	c 	wrote 2.01MB (4.55ms)
0.76/0.88	c ------------------------------------------------------------------
0.76/0.88	c                 333.67ms 38.29% optimize_gens
0.76/0.88	c                 307.43ms 35.28% detect_special
0.76/0.88	c                 151.07ms 17.34% detect_generic
0.76/0.88	c                  36.45ms  4.18% approx_orbits
0.76/0.88	c                  18.80ms  2.16% break_generic
0.76/0.88	c                  12.22ms  1.40% parse
0.76/0.88	c                   5.23ms  0.60% finalize_order
0.76/0.88	c                   4.55ms  0.52% output
0.76/0.88	c                   2.03ms  0.23% other
0.76/0.88	c         ───────────────────────\xe2\x94\x80───────────────────────
0.76/0.88	c                 871.44ms   100% total
0.76/0.88	c ------------------------------------------------------------------
0.76/0.89	c RoundingSat 2
0.76/0.89	c branch pb25
0.76/0.89	c commit 63f22ad
0.96/1.07	c #variables 39767 #constraints 27991
1611.00/1615.77	c #Conflicts:       1000 | #Constraints:      28990
1611.00/1615.77	c #Conflicts:       2000 | #Constraints:      29990
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:       3000 | #Constraints:      30000
1611.00/1615.77	c #Conflicts:       4000 | #Constraints:      31000
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:       5000 | #Constraints:      30420
1611.00/1615.77	c #Conflicts:       6000 | #Constraints:      31420
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:       7000 | #Constraints:      30442
1611.00/1615.77	c #Conflicts:       8000 | #Constraints:      31442
1611.00/1615.77	c #Conflicts:       9000 | #Constraints:      32442
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      10000 | #Constraints:      31126
1611.00/1615.77	c #Conflicts:      11000 | #Constraints:      32126
1611.00/1615.77	c #Conflicts:      12000 | #Constraints:      33126
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      13000 | #Constraints:      31564
1611.00/1615.77	c #Conflicts:      14000 | #Constraints:      32564
1611.00/1615.77	c #Conflicts:      15000 | #Constraints:      33564
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      16000 | #Constraints:      31807
1611.00/1615.77	c #Conflicts:      17000 | #Constraints:      32807
1611.00/1615.77	c #Conflicts:      18000 | #Constraints:      33807
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      19000 | #Constraints:      31868
1611.00/1615.77	c #Conflicts:      20000 | #Constraints:      32868
1611.00/1615.77	c #Conflicts:      21000 | #Constraints:      33869
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      22000 | #Constraints:      31638
1611.00/1615.77	c #Conflicts:      23000 | #Constraints:      32638
1611.00/1615.77	c #Conflicts:      24000 | #Constraints:      33638
1611.00/1615.77	c #Conflicts:      25000 | #Constraints:      34639
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      26000 | #Constraints:      32252
1611.00/1615.77	c #Conflicts:      27000 | #Constraints:      33252
1611.00/1615.77	c #Conflicts:      28000 | #Constraints:      34252
1611.00/1615.77	c #Conflicts:      29000 | #Constraints:      35252
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      30000 | #Constraints:      32628
1611.00/1615.77	c #Conflicts:      31000 | #Constraints:      33628
1611.00/1615.77	c #Conflicts:      32000 | #Constraints:      34628
1611.00/1615.77	c #Conflicts:      33000 | #Constraints:      35628
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      34000 | #Constraints:      32825
1611.00/1615.77	c #Conflicts:      35000 | #Constraints:      33825
1611.00/1615.77	c #Conflicts:      36000 | #Constraints:      34825
1611.00/1615.77	c #Conflicts:      37000 | #Constraints:      35825
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      38000 | #Constraints:      32862
1611.00/1615.77	c #Conflicts:      39000 | #Constraints:      33862
1611.00/1615.77	c #Conflicts:      40000 | #Constraints:      34862
1611.00/1615.77	c #Conflicts:      41000 | #Constraints:      35862
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      42000 | #Constraints:      32693
1611.00/1615.77	c #Conflicts:      43000 | #Constraints:      33693
1611.00/1615.77	c #Conflicts:      44000 | #Constraints:      34693
1611.00/1615.77	c #Conflicts:      45000 | #Constraints:      35693
1611.00/1615.77	c #Conflicts:      46000 | #Constraints:      36693
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      47000 | #Constraints:      33247
1611.00/1615.77	c #Conflicts:      48000 | #Constraints:      34247
1611.00/1615.77	c #Conflicts:      49000 | #Constraints:      35247
1611.00/1615.77	c #Conflicts:      50000 | #Constraints:      36247
1611.00/1615.77	c #Conflicts:      51000 | #Constraints:      37247
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      52000 | #Constraints:      33661
1611.00/1615.77	c #Conflicts:      53000 | #Constraints:      34661
1611.00/1615.77	c #Conflicts:      54000 | #Constraints:      35661
1611.00/1615.77	c #Conflicts:      55000 | #Constraints:      36661
1611.00/1615.77	c #Conflicts:      56000 | #Constraints:      37661
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      57000 | #Constraints:      33857
1611.00/1615.77	c #Conflicts:      58000 | #Constraints:      34857
1611.00/1615.77	c #Conflicts:      59000 | #Constraints:      35857
1611.00/1615.77	c #Conflicts:      60000 | #Constraints:      36857
1611.00/1615.77	c #Conflicts:      61000 | #Constraints:      37857
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      62000 | #Constraints:      33859
1611.00/1615.77	c #Conflicts:      63000 | #Constraints:      34859
1611.00/1615.77	c #Conflicts:      64000 | #Constraints:      35859
1611.00/1615.77	c #Conflicts:      65000 | #Constraints:      36859
1611.00/1615.77	c #Conflicts:      66000 | #Constraints:      37859
1611.00/1615.77	c INPROCESSING
1611.00/1615.77	c GARBAGE COLLECT
1611.00/1615.77	c #Conflicts:      67000 | #Constraints:      33646
1611.00/1615.77	c #Conflicts:      68000 | #Constraints:      34646
2530.67/2537.83	c #Conflicts:      69000 | #Constraints:      35646
2530.67/2537.83	c #Conflicts:      70000 | #Constraints:      36646
2530.67/2537.83	c #Conflicts:      71000 | #Constraints:      37646
2530.67/2537.83	c #Conflicts:      72000 | #Constraints:      38646
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:      73000 | #Constraints:      34229
2530.67/2537.83	c #Conflicts:      74000 | #Constraints:      35229
2530.67/2537.83	c #Conflicts:      75000 | #Constraints:      36229
2530.67/2537.83	c #Conflicts:      76000 | #Constraints:      37229
2530.67/2537.83	c #Conflicts:      77000 | #Constraints:      38229
2530.67/2537.83	c #Conflicts:      78000 | #Constraints:      39229
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:      79000 | #Constraints:      34643
2530.67/2537.83	c #Conflicts:      80000 | #Constraints:      35643
2530.67/2537.83	c #Conflicts:      81000 | #Constraints:      36643
2530.67/2537.83	c #Conflicts:      82000 | #Constraints:      37643
2530.67/2537.83	c #Conflicts:      83000 | #Constraints:      38643
2530.67/2537.83	c #Conflicts:      84000 | #Constraints:      39643
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:      85000 | #Constraints:      34855
2530.67/2537.83	c #Conflicts:      86000 | #Constraints:      35855
2530.67/2537.83	c #Conflicts:      87000 | #Constraints:      36855
2530.67/2537.83	c #Conflicts:      88000 | #Constraints:      37855
2530.67/2537.83	c #Conflicts:      89000 | #Constraints:      38855
2530.67/2537.83	c #Conflicts:      90000 | #Constraints:      39855
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:      91000 | #Constraints:      34858
2530.67/2537.83	c #Conflicts:      92000 | #Constraints:      35858
2530.67/2537.83	c #Conflicts:      93000 | #Constraints:      36858
2530.67/2537.83	c #Conflicts:      94000 | #Constraints:      37858
2530.67/2537.83	c #Conflicts:      95000 | #Constraints:      38858
2530.67/2537.83	c #Conflicts:      96000 | #Constraints:      39858
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:      97000 | #Constraints:      34664
2530.67/2537.83	c #Conflicts:      98000 | #Constraints:      35664
2530.67/2537.83	c #Conflicts:      99000 | #Constraints:      36664
2530.67/2537.83	c #Conflicts:     100000 | #Constraints:      37664
2530.67/2537.83	c #Conflicts:     101000 | #Constraints:      38664
2530.67/2537.83	c #Conflicts:     102000 | #Constraints:      39664
2530.67/2537.83	c #Conflicts:     103000 | #Constraints:      40664
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:     104000 | #Constraints:      35238
2530.67/2537.83	c #Conflicts:     105000 | #Constraints:      36238
2530.67/2537.83	c #Conflicts:     106000 | #Constraints:      37238
2530.67/2537.83	c #Conflicts:     107000 | #Constraints:      38238
2530.67/2537.83	c #Conflicts:     108000 | #Constraints:      39238
2530.67/2537.83	c #Conflicts:     109000 | #Constraints:      40238
2530.67/2537.83	c #Conflicts:     110000 | #Constraints:      41238
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:     111000 | #Constraints:      35686
2530.67/2537.83	c #Conflicts:     112000 | #Constraints:      36686
2530.67/2537.83	c #Conflicts:     113000 | #Constraints:      37686
2530.67/2537.83	c #Conflicts:     114000 | #Constraints:      38686
2530.67/2537.83	c #Conflicts:     115000 | #Constraints:      39686
2530.67/2537.83	c #Conflicts:     116000 | #Constraints:      40686
2530.67/2537.83	c #Conflicts:     117000 | #Constraints:      41686
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:     118000 | #Constraints:      35856
2530.67/2537.83	c #Conflicts:     119000 | #Constraints:      36856
2530.67/2537.83	c #Conflicts:     120000 | #Constraints:      37856
2530.67/2537.83	c #Conflicts:     121000 | #Constraints:      38856
2530.67/2537.83	c #Conflicts:     122000 | #Constraints:      39856
2530.67/2537.83	c #Conflicts:     123000 | #Constraints:      40856
2530.67/2537.83	c #Conflicts:     124000 | #Constraints:      41856
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:     125000 | #Constraints:      35834
2530.67/2537.83	c #Conflicts:     126000 | #Constraints:      36834
2530.67/2537.83	c #Conflicts:     127000 | #Constraints:      37834
2530.67/2537.83	c #Conflicts:     128000 | #Constraints:      38834
2530.67/2537.83	c #Conflicts:     129000 | #Constraints:      39834
2530.67/2537.83	c #Conflicts:     130000 | #Constraints:      40834
2530.67/2537.83	c #Conflicts:     131000 | #Constraints:      41834
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:     132000 | #Constraints:      35624
2530.67/2537.83	c #Conflicts:     133000 | #Constraints:      36624
2530.67/2537.83	c #Conflicts:     134000 | #Constraints:      37624
2530.67/2537.83	c #Conflicts:     135000 | #Constraints:      38624
2530.67/2537.83	c #Conflicts:     136000 | #Constraints:      39624
2530.67/2537.83	c #Conflicts:     137000 | #Constraints:      40624
2530.67/2537.83	c #Conflicts:     138000 | #Constraints:      41624
2530.67/2537.83	c #Conflicts:     139000 | #Constraints:      42624
2530.67/2537.83	c INPROCESSING
2530.67/2537.83	c GARBAGE COLLECT
2530.67/2537.83	c #Conflicts:     140000 | #Constraints:      36275
3207.46/3216.45	c #Conflicts:     141000 | #Constraints:      37275
3207.46/3216.45	c #Conflicts:     142000 | #Constraints:      38275
3207.46/3216.45	c #Conflicts:     143000 | #Constraints:      39275
3207.46/3216.45	c #Conflicts:     144000 | #Constraints:      40275
3207.46/3216.45	c #Conflicts:     145000 | #Constraints:      41275
3207.46/3216.45	c #Conflicts:     146000 | #Constraints:      42275
3207.46/3216.45	c #Conflicts:     147000 | #Constraints:      43275
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     148000 | #Constraints:      36732
3207.46/3216.45	c #Conflicts:     149000 | #Constraints:      37732
3207.46/3216.45	c #Conflicts:     150000 | #Constraints:      38732
3207.46/3216.45	c #Conflicts:     151000 | #Constraints:      39732
3207.46/3216.45	c #Conflicts:     152000 | #Constraints:      40732
3207.46/3216.45	c #Conflicts:     153000 | #Constraints:      41732
3207.46/3216.45	c #Conflicts:     154000 | #Constraints:      42732
3207.46/3216.45	c #Conflicts:     155000 | #Constraints:      43732
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     156000 | #Constraints:      36938
3207.46/3216.45	c #Conflicts:     157000 | #Constraints:      37938
3207.46/3216.45	c #Conflicts:     158000 | #Constraints:      38938
3207.46/3216.45	c #Conflicts:     159000 | #Constraints:      39938
3207.46/3216.45	c #Conflicts:     160000 | #Constraints:      40938
3207.46/3216.45	c #Conflicts:     161000 | #Constraints:      41938
3207.46/3216.45	c #Conflicts:     162000 | #Constraints:      42938
3207.46/3216.45	c #Conflicts:     163000 | #Constraints:      43938
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     164000 | #Constraints:      36936
3207.46/3216.45	c #Conflicts:     165000 | #Constraints:      37936
3207.46/3216.45	c #Conflicts:     166000 | #Constraints:      38936
3207.46/3216.45	c #Conflicts:     167000 | #Constraints:      39936
3207.46/3216.45	c #Conflicts:     168000 | #Constraints:      40936
3207.46/3216.45	c #Conflicts:     169000 | #Constraints:      41936
3207.46/3216.45	c #Conflicts:     170000 | #Constraints:      42936
3207.46/3216.45	c #Conflicts:     171000 | #Constraints:      43936
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     172000 | #Constraints:      36674
3207.46/3216.45	c #Conflicts:     173000 | #Constraints:      37674
3207.46/3216.45	c #Conflicts:     174000 | #Constraints:      38674
3207.46/3216.45	c #Conflicts:     175000 | #Constraints:      39674
3207.46/3216.45	c #Conflicts:     176000 | #Constraints:      40674
3207.46/3216.45	c #Conflicts:     177000 | #Constraints:      41674
3207.46/3216.45	c #Conflicts:     178000 | #Constraints:      42674
3207.46/3216.45	c #Conflicts:     179000 | #Constraints:      43674
3207.46/3216.45	c #Conflicts:     180000 | #Constraints:      44674
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     181000 | #Constraints:      37258
3207.46/3216.45	c #Conflicts:     182000 | #Constraints:      38258
3207.46/3216.45	c #Conflicts:     183000 | #Constraints:      39258
3207.46/3216.45	c #Conflicts:     184000 | #Constraints:      40258
3207.46/3216.45	c #Conflicts:     185000 | #Constraints:      41258
3207.46/3216.45	c #Conflicts:     186000 | #Constraints:      42258
3207.46/3216.45	c #Conflicts:     187000 | #Constraints:      43258
3207.46/3216.45	c #Conflicts:     188000 | #Constraints:      44258
3207.46/3216.45	c #Conflicts:     189000 | #Constraints:      45258
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     190000 | #Constraints:      37717
3207.46/3216.45	c #Conflicts:     191000 | #Constraints:      38717
3207.46/3216.45	c #Conflicts:     192000 | #Constraints:      39717
3207.46/3216.45	c #Conflicts:     193000 | #Constraints:      40717
3207.46/3216.45	c #Conflicts:     194000 | #Constraints:      41717
3207.46/3216.45	c #Conflicts:     195000 | #Constraints:      42717
3207.46/3216.45	c #Conflicts:     196000 | #Constraints:      43717
3207.46/3216.45	c #Conflicts:     197000 | #Constraints:      44717
3207.46/3216.45	c #Conflicts:     198000 | #Constraints:      45717
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     199000 | #Constraints:      37958
3207.46/3216.45	c #Conflicts:     200000 | #Constraints:      38958
3207.46/3216.45	c #Conflicts:     201000 | #Constraints:      39958
3207.46/3216.45	c #Conflicts:     202000 | #Constraints:      40958
3207.46/3216.45	c #Conflicts:     203000 | #Constraints:      41958
3207.46/3216.45	c #Conflicts:     204000 | #Constraints:      42958
3207.46/3216.45	c #Conflicts:     205000 | #Constraints:      43958
3207.46/3216.45	c #Conflicts:     206000 | #Constraints:      44958
3207.46/3216.45	c #Conflicts:     207000 | #Constraints:      45958
3207.46/3216.45	c INPROCESSING
3207.46/3216.45	c GARBAGE COLLECT
3207.46/3216.45	c #Conflicts:     208000 | #Constraints:      37968
3207.46/3216.45	c #Conflicts:     209000 | #Constraints:      38968
3207.46/3216.45	c #Conflicts:     210000 | #Constraints:      39968
3207.46/3216.45	c #Conflicts:     211000 | #Constraints:      40968
3207.46/3216.45	c #Conflicts:     212000 | #Constraints:      41968
3207.46/3216.45	c #Conflicts:     213000 | #Constraints:      42968
3218.04/3227.03	c #Conflicts:     214000 | #Constraints:      43968
3218.04/3227.03	c #Conflicts:     215000 | #Constraints:      44968
3218.04/3227.03	c #Conflicts:     216000 | #Constraints:      45968
3218.04/3227.03	c INPROCESSING
3218.04/3227.03	c GARBAGE COLLECT
3218.04/3227.03	c rational objective 469.434
3600.03/3610.00	c #Conflicts:     217000 | #Constraints:      37792
3600.03/3610.00	c #Conflicts:     218000 | #Constraints:      38792
3600.03/3610.00	c #Conflicts:     219000 | #Constraints:      39792
3600.03/3610.00	c #Conflicts:     220000 | #Constraints:      40792
3600.03/3610.00	c #Conflicts:     221000 | #Constraints:      41792
3600.03/3610.00	c #Conflicts:     222000 | #Constraints:      42792
3600.03/3610.00	c #Conflicts:     223000 | #Constraints:      43792
3600.03/3610.00	c #Conflicts:     224000 | #Constraints:      44792
3600.03/3610.00	c #Conflicts:     225000 | #Constraints:      45792
3600.03/3610.00	c #Conflicts:     226000 | #Constraints:      46792
3600.03/3610.00	c INPROCESSING
3600.03/3610.00	c GARBAGE COLLECT
3600.03/3610.00	c #Conflicts:     227000 | #Constraints:      38434
3600.03/3610.00	c #Conflicts:     228000 | #Constraints:      39434
3600.03/3610.00	c #Conflicts:     229000 | #Constraints:      40434
3600.03/3610.00	c #Conflicts:     230000 | #Constraints:      41434
3600.03/3610.00	c #Conflicts:     231000 | #Constraints:      42434
3600.03/3610.00	c #Conflicts:     232000 | #Constraints:      43434
3600.03/3610.00	c #Conflicts:     233000 | #Constraints:      44434
3600.03/3610.00	c #Conflicts:     234000 | #Constraints:      45434
3600.03/3610.00	c #Conflicts:     235000 | #Constraints:      46434
3600.03/3610.00	c #Conflicts:     236000 | #Constraints:      47434
3600.03/3610.00	c INPROCESSING
3600.03/3610.00	c GARBAGE COLLECT
3600.03/3610.00	c #Conflicts:     237000 | #Constraints:      38722
3600.03/3610.00	c #Conflicts:     238000 | #Constraints:      39722
3600.03/3610.00	c #Conflicts:     239000 | #Constraints:      40722
3600.03/3610.00	c #Conflicts:     240000 | #Constraints:      41722
3600.03/3610.00	c #Conflicts:     241000 | #Constraints:      42722
3600.03/3610.00	c #Conflicts:     242000 | #Constraints:      43722
3600.03/3610.00	c #Conflicts:     243000 | #Constraints:      44722
3600.03/3610.00	c #Conflicts:     244000 | #Constraints:      45722
3600.03/3610.00	c #Conflicts:     245000 | #Constraints:      46722
3600.03/3610.00	c #Conflicts:     246000 | #Constraints:      47722
3600.03/3610.00	c INPROCESSING
3600.03/3610.00	c GARBAGE COLLECT
3600.03/3610.00	c #Conflicts:     247000 | #Constraints:      38908
3600.03/3610.00	c #Conflicts:     248000 | #Constraints:      39908
3600.03/3610.00	c #Conflicts:     249000 | #Constraints:      40908
3600.03/3610.00	c #Conflicts:     250000 | #Constraints:      41908
3600.03/3610.00	c #Conflicts:     251000 | #Constraints:      42908
3600.03/3610.00	c #Conflicts:     252000 | #Constraints:      43908
3600.03/3610.00	c #Conflicts:     253000 | #Constraints:      44908
3600.03/3610.00	c #Conflicts:     254000 | #Constraints:      45908
3600.03/3610.00	c #Conflicts:     255000 | #Constraints:      46908
3600.03/3610.00	c #Conflicts:     256000 | #Constraints:      47908
3600.03/3610.00	c INPROCESSING
3600.03/3610.00	c GARBAGE COLLECT
3600.03/3610.00	c cpu time 3587 s
3600.03/3610.00	c deterministic time 16006231492 1.60e+10
3600.03/3610.00	c optimization time 19.2298 s
3600.03/3610.00	c total solve time 3567.64 s
3600.03/3610.00	c core-guided solve time 0 s
3600.03/3610.00	c propagation time 141.259 s
3600.03/3610.00	c conflict analysis time 75.327 s
3600.03/3610.00	c propagations 28380723
3600.03/3610.00	c resolve steps 861252
3600.03/3610.00	c decisions 15282821
3600.03/3610.00	c conflicts 256201
3600.03/3610.00	c restarts 603
3600.03/3610.00	c inprocessing phases 42
3600.03/3610.00	c garbage collections 42 ,( 100.00 )
3600.03/3610.00	c input clauses 27646 ,( 98.77 )
3600.03/3610.00	c input cardinalities 0 ,( 0.00 )
3600.03/3610.00	c input general constraints 345 ,( 1.23 )
3600.03/3610.00	c input average constraint length 8.16
3600.03/3610.00	c input average constraint degree 167.70
3600.03/3610.00	c learned clauses 68049 ,( 26.56 )
3600.03/3610.00	c learned cardinalities 71 ,( 0.03 )
3600.03/3610.00	c learned general constraints 188090 ,( 73.41 )
3600.03/3610.00	c learned average constraint length 1018.55
3600.03/3610.00	c learned average constraint degree 1265815168.88
3600.03/3610.00	c watched  CF 32, 64, 128, Arb: 60006 , 0 , 0 , 0
3600.03/3610.00	c counting CF 32, 64, 128, Arb: 128429 , 0 , 0 , 0
3600.03/3610.00	c watched   constraints 60006 ,( 31.84 ) 
3600.03/3610.00	c counting  constraints 128429 ,( 68.16 ) 
3600.03/3610.00	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 13975013 , 8154 , 308457310 ,( 30673945 , 277783365 )
3600.03/3610.00	c gcd simplifications 32551
3600.03/3610.00	c detected cardinalities 0
3600.03/3610.00	c weakened non-implied lits 54376143
3600.03/3610.00	c weakened non-implying lits 627361
3600.03/3610.00	c original variables 39767
3600.03/3610.00	c clausal propagations 12801243
3600.03/3610.00	c cardinality propagations 1330
3600.03/3610.00	c watched propagations 46570
3600.03/3610.00	c counting propagations 14609159
3600.03/3610.00	c watch lookups 2089291714
3600.03/3610.00	c watch backjump lookups 0
3600.03/3610.00	c watch checks 5811772322
3600.03/3610.00	c propagation checks 7239533643
3600.03/3610.00	c constraint additions 777988457
3600.03/3610.00	c trail pops 43919743
3600.03/3610.00	c formula constraints 27991
3600.03/3610.00	c learned constraints 256199
3600.03/3610.00	c bound constraints 0
3600.03/3610.00	c core-guided constraints 0
3600.03/3610.00	c encountered formula constraints 710470
3600.03/3610.00	c encountered learned constraints 401968
3600.03/3610.00	c encountered bound constraints 0
3600.03/3610.00	c encountered core-guided constraints 0
3600.03/3610.00	c LP total time 54.7928 s
3600.03/3610.00	c LP solve time 52.07 s
3600.03/3610.00	c LP constraints added 27991
3600.03/3610.00	c LP constraints removed 0
3600.03/3610.00	c LP pivots internal 28649
3600.03/3610.00	c LP pivots root 33419
3600.03/3610.00	c LP calls 9
3600.03/3610.00	c LP optimalities 2
3600.03/3610.00	c LP no pivot count 0
3600.03/3610.00	c LP infeasibilities 2
3600.03/3610.00	c LP valid Farkas constraints 2
3600.03/3610.00	c LP learned Farkas constraints 2
3600.03/3610.00	c LP basis resets 0
3600.03/3610.00	c LP cycling count 0
3600.03/3610.00	c LP singular count 0
3600.03/3610.00	c LP no primal count 0
3600.03/3610.00	c LP no farkas count 0
3600.03/3610.00	c LP other issue count 0
3600.03/3610.00	c LP Gomory cuts 7
3600.03/3610.00	c LP learned cuts 0
3600.03/3610.00	c LP deleted cuts 0
3600.03/3610.00	c LP encountered Gomory constraints 0
3600.03/3610.00	c LP encountered Farkas constraints 5013
3600.03/3610.00	c LP encountered learned Farkas constraints 0
3600.03/3610.00	c CG auxiliary variables introduced 0
3600.03/3610.00	c CG solutions found 0
3600.03/3610.00	c CG cores constructed 0
3600.03/3610.00	c CG core cardinality constraints returned 0
3600.03/3610.00	c CG unit cores 0
3600.03/3610.00	c CG single cores 0
3600.03/3610.00	c CG blocks removed during cardinality reduction 0
3600.03/3610.00	c CG first core best 0
3600.03/3610.00	c CG decision core best 0
3600.03/3610.00	c CG core reduction tie 0
3600.03/3610.00	c CG core degree average 0.00
3600.03/3610.00	c CG core slack average 0.00
3600.03/3610.00	c CG core upper bound improvements 0
3600.03/3610.00	c STR number of successful calls 0
3600.03/3610.00	c STR number of unsuccessful calls 0
3600.03/3610.00	c STR number of inconclusive calls 0
3600.03/3610.00	c STR number of successful attempts 0
3600.03/3610.00	c STR number of unsuccessful attempts 0
3600.03/3610.00	c STR number of inconclusive attempts 0
3600.03/3610.00	c STR average degree increase per successful call inf
3600.03/3610.00	c STR average degree increase per successful attempt inf
3600.03/3610.00	c STR total number of conflicts for successful attempts 0
3600.03/3610.00	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.00	c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.00	c STR average number of conflicts per successful attempt inf
3600.03/3610.00	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.00	c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.00	c AVG.sumWPerc 54.75 
3600.03/3610.00	c bigint constraints 0 
3600.03/3610.00	s UNKNOWN
3600.03/3610.00	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 (55403 MiB free)
  memory of node 1: 64465 MiB (62995 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515314-1751223196/watcher-4515314-1751223196 -o /tmp/evaluation-result-4515314-1751223196/solver-4515314-1751223196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28909 --watchdog 3760 run-dec-break.sh HOME/instance-4515314-1751223196.opb 

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 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=30419, runsolver pid=30416
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.11 4.10 4.09 5/269 30421
/proc/meminfo: memFree=121212116/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30421] ppid=30419 vsize=56828 memory=41268 CPUtime=0.07 cores=5,7
/proc/30421/stat : 30421 (pbsuma) R 30419 30419 28896 0 -1 4194304 11818 0 0 0 6 1 0 0 20 0 1 0 37998188 58191872 10317 18446744073709551615 4210688 4653049 140727934516736 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 5230592 140727934519651 140727934519858 140727934519858 140727934525423 0
/proc/30421/statm: 14207 10317 1024 108 0 11615 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61020 KiB
Current children cumulated memory: 44212 KiB

[startup+0.205676 s]*
/proc/loadavg: 4.11 4.10 4.09 5/269 30421
/proc/meminfo: memFree=121183892/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30421] ppid=30419 vsize=82228 memory=64436 CPUtime=0.18 cores=5,7
/proc/30421/stat : 30421 (pbsuma) R 30419 30419 28896 0 -1 4194304 18414 0 0 0 15 3 0 0 20 0 1 0 37998188 84201472 16109 18446744073709551615 4210688 4653049 140727934516736 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 5230592 140727934519651 140727934519858 140727934519858 140727934525423 0
/proc/30421/statm: 20557 16109 1024 108 0 17965 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 86420 KiB
Current children cumulated memory: 67380 KiB

[startup+0.305596 s]*
/proc/loadavg: 4.11 4.10 4.09 5/269 30421
/proc/meminfo: memFree=121183892/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30421] ppid=30419 vsize=82228 memory=64564 CPUtime=0.28 cores=5,7
/proc/30421/stat : 30421 (pbsuma) R 30419 30419 28896 0 -1 4194304 18489 0 0 0 25 3 0 0 20 0 1 0 37998188 84201472 16141 18446744073709551615 4210688 4653049 140727934516736 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5230592 140727934519651 140727934519858 140727934519858 140727934525423 0
/proc/30421/statm: 20557 16141 1024 108 0 17965 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86420 KiB
Current children cumulated memory: 67508 KiB

[startup+0.700201 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 30421
/proc/meminfo: memFree=121176080/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30421] ppid=30419 vsize=86176 memory=71604 CPUtime=0.67 cores=5,7
/proc/30421/stat : 30421 (pbsuma) R 30419 30419 28896 0 -1 4194304 20277 0 0 0 64 3 0 0 20 0 1 0 37998188 88244224 17901 18446744073709551615 4210688 4653049 140727934516736 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 5230592 140727934519651 140727934519858 140727934519858 140727934525423 0
/proc/30421/statm: 21544 17901 1024 108 0 18952 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 90368 KiB
Current children cumulated memory: 74548 KiB

[startup+1.50019 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 30422
/proc/meminfo: memFree=121216648/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=136280 memory=89268 CPUtime=0.59 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 15880 0 0 0 53 6 0 0 20 0 1 0 37998276 139550720 22317 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 34070 22317 2272 1147 0 21497 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 92212 KiB

[startup+3.1054 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 30422
/proc/meminfo: memFree=121162944/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=136280 memory=89268 CPUtime=2.19 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 15882 0 0 0 213 6 0 0 20 0 1 0 37998276 139550720 22317 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 34070 22317 2272 1147 0 21497 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 92212 KiB

[startup+6.30019 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 30422
/proc/meminfo: memFree=121135508/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=136280 memory=89268 CPUtime=5.38 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 15884 0 0 0 532 6 0 0 20 0 1 0 37998276 139550720 22317 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 34070 22317 2272 1147 0 21497 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 92212 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 30422
/proc/meminfo: memFree=121074648/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=136280 memory=89268 CPUtime=11.76 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 15886 0 0 0 1170 6 0 0 20 0 1 0 37998276 139550720 22317 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 34070 22317 2272 1147 0 21497 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 92212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/268 30422
/proc/meminfo: memFree=121058180/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=136280 memory=89268 CPUtime=24.53 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 15886 0 0 0 2447 6 0 0 20 0 1 0 37998276 139550720 22317 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 34070 22317 2272 1147 0 21497 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 92212 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 30470
/proc/meminfo: memFree=121191956/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=136280 memory=89268 CPUtime=50.07 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 15886 0 0 0 5001 6 0 0 20 0 1 0 37998276 139550720 22317 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 34070 22317 2272 1147 0 21497 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 140472 KiB
Current children cumulated memory: 92212 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 30473
/proc/meminfo: memFree=120988572/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=157584 memory=112956 CPUtime=101.12 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 21219 0 0 0 10079 33 0 0 20 0 1 0 37998276 161366016 28239 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 39396 28239 2336 1147 0 26823 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 115900 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 30522
/proc/meminfo: memFree=128270764/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=182108 memory=134660 CPUtime=160.94 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 26135 0 0 0 16044 50 0 0 20 0 1 0 37998276 186478592 33665 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 45527 33665 2336 1147 0 32954 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 186300 KiB
Current children cumulated memory: 137604 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/269 30575
/proc/meminfo: memFree=128146276/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=182108 memory=134660 CPUtime=220.75 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 26135 0 0 0 22025 50 0 0 20 0 1 0 37998276 186478592 33665 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 45527 33665 2336 1147 0 32954 0
Current children cumulated CPU time: 221.61 s

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

/proc/30422/statm: 498008 436743 2368 1147 0 485435 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 1996224 KiB
Current children cumulated memory: 1749916 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 31753
/proc/meminfo: memFree=119954412/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=1992032 memory=1768860 CPUtime=3092.81 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 360851 0 0 0 308257 1024 0 0 20 0 1 0 37998276 2039840768 442215 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 498008 442215 2368 1147 0 485435 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 1996224 KiB
Current children cumulated memory: 1771804 KiB

[startup+3162.3 s]
/proc/loadavg: 4.44 4.18 4.12 5/268 31758
/proc/meminfo: memFree=119523012/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2047236 memory=1839516 CPUtime=3152.64 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 372957 0 0 0 314229 1035 0 0 20 0 1 0 37998276 2096369664 459879 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 511809 459879 2368 1147 0 499236 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 2051428 KiB
Current children cumulated memory: 1842460 KiB

[startup+3222.3 s]
/proc/loadavg: 4.61 4.25 4.15 5/268 31765
/proc/meminfo: memFree=119177112/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2119712 memory=1920284 CPUtime=3212.48 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 388836 0 0 0 320200 1048 0 0 20 0 1 0 37998276 2170585088 480071 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 529928 480071 2368 1147 0 517355 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 2123904 KiB
Current children cumulated memory: 1923228 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.22 4.14 5/268 31767
/proc/meminfo: memFree=118282072/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2183024 memory=1990684 CPUtime=3272.32 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 405054 0 0 0 326182 1050 0 0 20 0 1 0 37998276 2235416576 497671 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 545756 497671 2368 1147 0 533183 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 2187216 KiB
Current children cumulated memory: 1993628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/268 31769
/proc/meminfo: memFree=118105144/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2283488 memory=2083868 CPUtime=3332.17 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 424983 0 0 0 332155 1062 0 0 20 0 1 0 37998276 2338291712 520967 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 570872 520967 2368 1147 0 558299 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 2287680 KiB
Current children cumulated memory: 2086812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/268 31771
/proc/meminfo: memFree=118091712/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2283488 memory=2100636 CPUtime=3392.01 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 424983 0 0 0 338139 1062 0 0 20 0 1 0 37998276 2338291712 525159 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 570872 525159 2368 1147 0 558299 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 2287680 KiB
Current children cumulated memory: 2103580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/267 31773
/proc/meminfo: memFree=118043384/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2338692 memory=2149020 CPUtime=3451.85 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 436214 0 0 0 344071 1114 0 0 20 0 1 0 37998276 2394820608 537255 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 584673 537255 2368 1147 0 572100 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 2342884 KiB
Current children cumulated memory: 2151964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/266 31775
/proc/meminfo: memFree=117979100/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2338692 memory=2160796 CPUtime=3511.7 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 436644 0 0 0 350001 1169 0 0 20 0 1 0 37998276 2394820608 540199 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 584673 540199 2368 1147 0 572100 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 2342884 KiB
Current children cumulated memory: 2163740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/266 31777
/proc/meminfo: memFree=117860232/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2338692 memory=2182556 CPUtime=3571.55 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 436644 0 0 0 355986 1169 0 0 20 0 1 0 37998276 2394820608 545639 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 584673 545639 2368 1147 0 572100 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 2342884 KiB
Current children cumulated memory: 2185500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.06 4.13 4.11 4/259 31809
/proc/meminfo: memFree=119523796/131249988 swapFree=33010684/33010684
[pid=30419] ppid=30416 vsize=4192 memory=2944 CPUtime=0.86 cores=5,7
/proc/30419/stat : 30419 (run-dec-break.s) S 30416 30419 28896 0 -1 4194304 236 20432 0 0 0 0 82 4 20 0 1 0 37998187 4292608 736 18446744073709551615 94726445793280 94726446687813 140728402251840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94726446926864 94726446974608 94726456250368 140728402258273 140728402258402 140728402258402 140728402264004 0
/proc/30419/statm: 1048 736 672 219 0 110 0
[pid=30422] ppid=30419 vsize=2338692 memory=2186908 CPUtime=3599.17 cores=5,7
/proc/30422/stat : 30422 (roundingsat) R 30419 30419 28896 0 -1 4194304 436647 0 0 0 358699 1218 0 0 20 0 1 0 37998276 2394820608 546727 18446744073709551615 4227072 8923433 140735559544288 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43364352 140735559551300 140735559551528 140735559551528 140735559557098 0
/proc/30422/statm: 584673 546727 2368 1147 0 572100 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2342884 KiB
Current children cumulated memory: 2189852 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3587.83 s, system=12.2442 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

Child status: 2

Real time (s): 3610.03
CPU time (s): 3600.08
CPU user time (s): 3587.83
CPU system time (s): 12.2442
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 2342884
Max. memory (cumulated for all children) (KiB): 2189852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.83
system time used= 12.2442
maximum resident set size= 2187292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228
involuntary context switches= 20195


# summary of solver processes directly reported to runsolver:
#   pid: 30419,30422
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3587.83
#   total CPU system time (s): 12.2442

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.72806 second user time and 15.4125 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-29 20:53:16
IDJOB=4515314
IDBENCH=164400
IDSOLVER=3357
FILE ID=nodeC031/4515314-1751223196
RUNJOBID= nodeC031-1751215967-28909
SLURM_JOB_ID= 9587654
Free space on /tmp= 432168 MiB

SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515314-1751223196/watcher-4515314-1751223196 -o /tmp/evaluation-result-4515314-1751223196/solver-4515314-1751223196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28909 --watchdog 3760  run-dec-break.sh HOME/instance-4515314-1751223196.opb

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=216345320

nodeC031 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.907
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.78
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.895
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.039
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.78
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		: 3574.416
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.78
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.867
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.78
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		: 3597.767
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.78
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		: 3601.327
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.78
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.919
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        121240768 kB
MemAvailable:   121953108 kB
Buffers:            3280 kB
Cached:          1521100 kB
SwapCached:            0 kB
Active:          8069796 kB
Inactive:        1301032 kB
Active(anon):    7864512 kB
Inactive(anon):        0 kB
Active(file):     205284 kB
Inactive(file):  1301032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10716 kB
Writeback:             0 kB
AnonPages:       7849344 kB
Mapped:           116208 kB
Shmem:             18064 kB
KReclaimable:      90524 kB
Slab:             177148 kB
SReclaimable:      90524 kB
SUnreclaim:        86624 kB
KernelStack:        4336 kB
PageTables:        18892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    8489060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6930432 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC031 at 2025-06-29 21:53:27