Trace number 4509337

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 NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 63f22ad? (TO) 3600.88 3615.36

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
MD5SUM1d8b9a75b06fe10625c514168771d7f4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark9.60431
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45696
Total number of constraints1556
Number of constraints which are clauses713
Number of constraints which are cardinality constraints (but not clauses)713
Number of constraints which are nor clauses,nor cardinality constraints130
Minimum length of a constraint64
Maximum length of a constraint714
Number of terms in the objective function 64
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 64
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 264895
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 587012
Number of bits of the biggest sum of numbers20
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-4509337-1751520165.opb'
0.00/0.08	c 	read 1.97MB  (65.93ms)
0.00/0.08	c	 [cnf: #variables 45696 #clauses 1557 #duplicates 0 #arr 182848]
0.00/0.08	c output proof to 'PROOFDIR/proof-4509337-1751520165'
0.00/0.09	c 
0.00/0.09	c make graph and approximate orbits
0.18/0.26	c	 [group: #orbits ~= 752] (178.80ms)
0.18/0.26	c 
0.18/0.26	c detect special group actions
0.18/0.26	c 	probe for Johnson action (limit=64)
0.36/0.48	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.73/0.90	c 	probe for row symmetry (limit=64, splits=16.78M)
0.83/0.92	c 	recursing 3840 blocks of candidate 30x1428r
0.83/0.93	c 	recursing 18 blocks of candidate 3x128r
0.83/0.93	c 	recursing 630 blocks of candidate 5x1428r
0.83/0.94	c 	recursing 12 blocks of candidate 3x128r
0.83/0.94	c 	recursing 1240 blocks of candidate 10x1428r
0.83/0.95	c 	recursing 6 blocks of candidate 3x128r
0.83/0.96	c 	recursing 2318 blocks of candidate 19x1428r
0.83/1.00	c 	 found row 4x128, generating row predicate
0.95/1.03	c 	 found row 6x128, generating row predicate
0.95/1.09	c 	 found row 8x128, generating row predicate
0.95/1.10	c 	 found row 3x128, generating row predicate
1.05/1.15	c 	 found row 7x128, generating row predicate
1.14/1.21	c 	 found row 9x128, generating row predicate
1.14/1.27	c 	 found row 10x128, generating row predicate
1.24/1.35	c 	 found row 11x128, generating row predicate
1.33/1.41	c 	 found row 12x128, generating row predicate
1.33/1.48	c 	 found row 13x128, generating row predicate
1.43/1.55	c 	 found row 14x128, generating row predicate
1.53/1.63	c 	 found row 15x128, generating row predicate
1.63/1.72	c 	 found row 16x128, generating row predicate
1.73/1.82	c 	 found row 19x128, generating row predicate
1.83/1.91	c 	 found row 20x128, generating row predicate
1.83/2.01	c 	 found row 22x128, generating row predicate
2.04/2.14	c 	 found row 31x128, generating row predicate
2.13/2.29	c 	 found row 34x128, generating row predicate
2.33/2.47	c 	 found row 44x128, generating row predicate
2.73/2.83	c 	 found row 95x128, generating row predicate
2.73/2.88	c 	 found row 19x1428, generating row predicate
2.73/2.89	c 	 found row 3x128, generating row predicate
2.83/2.90	c 	recursing 62 blocks of candidate 31x128r
2.83/2.91	c 	recursing 2280 blocks of candidate 19x1428r
2.83/2.93	c 	 found row 4x128, generating row predicate
2.83/2.95	c 	 found row 6x128, generating row predicate
2.83/2.98	c 	 found row 8x128, generating row predicate
2.83/2.99	c 	 found row 3x128, generating row predicate
2.94/3.01	c 	 found row 7x128, generating row predicate
2.94/3.04	c 	 found row 9x128, generating row predicate
2.94/3.08	c 	 found row 10x128, generating row predicate
3.04/3.12	c 	 found row 11x128, generating row predicate
3.04/3.16	c 	 found row 12x128, generating row predicate
3.12/3.21	c 	 found row 13x128, generating row predicate
3.12/3.26	c 	 found row 14x128, generating row predicate
3.22/3.32	c 	 found row 15x128, generating row predicate
3.22/3.38	c 	 found row 16x128, generating row predicate
3.32/3.45	c 	 found row 19x128, generating row predicate
3.42/3.52	c 	 found row 20x128, generating row predicate
3.52/3.60	c 	 found row 22x128, generating row predicate
3.62/3.72	c 	 found row 34x128, generating row predicate
3.72/3.88	c 	 found row 44x128, generating row predicate
4.12/4.23	c 	 found row 95x128, generating row predicate
4.12/4.28	c 	 found row 19x1428, generating row predicate
4.22/4.39	c 	 found row 31x128, generating row predicate
4.32/4.42	c 	 found row 10x1428, generating row predicate
4.32/4.43	c 	 found row 3x128, generating row predicate
4.32/4.44	c 	recursing 28 blocks of candidate 14x128r
4.32/4.45	c 	recursing 2242 blocks of candidate 19x1428r
4.32/4.47	c 	 found row 4x128, generating row predicate
4.32/4.49	c 	 found row 6x128, generating row predicate
4.42/4.51	c 	 found row 8x128, generating row predicate
4.42/4.52	c 	 found row 3x128, generating row predicate
4.42/4.55	c 	 found row 7x128, generating row predicate
4.42/4.58	c 	 found row 9x128, generating row predicate
4.52/4.61	c 	 found row 10x128, generating row predicate
4.52/4.65	c 	 found row 11x128, generating row predicate
4.52/4.69	c 	 found row 12x128, generating row predicate
4.62/4.74	c 	 found row 13x128, generating row predicate
4.62/4.79	c 	 found row 15x128, generating row predicate
4.72/4.85	c 	 found row 16x128, generating row predicate
4.82/4.91	c 	 found row 19x128, generating row predicate
4.82/4.99	c 	 found row 20x128, generating row predicate
4.93/5.07	c 	 found row 22x128, generating row predicate
5.03/5.19	c 	 found row 34x128, generating row predicate
5.22/5.35	c 	 found row 44x128, generating row predicate
5.62/5.70	c 	 found row 95x128, generating row predicate
5.62/5.74	c 	 found row 19x1428, generating row predicate
5.62/5.79	c 	 found row 14x128, generating row predicate
5.72/5.82	c 	 found row 5x1428, generating row predicate
5.72/5.83	c 	 found row 3x128, generating row predicate
5.72/5.83	c 	recursing 16 blocks of candidate 8x128r
5.72/5.84	c 	recursing 2204 blocks of candidate 19x1428r
5.72/5.86	c 	 found row 4x128, generating row predicate
5.72/5.88	c 	 found row 6x128, generating row predicate
5.82/5.90	c 	 found row 8x128, generating row predicate
5.82/5.91	c 	 found row 3x128, generating row predicate
5.82/5.94	c 	 found row 7x128, generating row predicate
5.82/5.97	c 	 found row 9x128, generating row predicate
5.82/6.00	c 	 found row 10x128, generating row predicate
5.93/6.04	c 	 found row 11x128, generating row predicate
5.93/6.08	c 	 found row 12x128, generating row predicate
6.03/6.13	c 	 found row 13x128, generating row predicate
6.03/6.18	c 	 found row 15x128, generating row predicate
6.12/6.24	c 	 found row 16x128, generating row predicate
6.22/6.30	c 	 found row 19x128, generating row predicate
6.22/6.38	c 	 found row 20x128, generating row predicate
6.31/6.45	c 	 found row 22x128, generating row predicate
6.41/6.58	c 	 found row 34x128, generating row predicate
6.61/6.74	c 	 found row 44x128, generating row predicate
6.93/7.08	c 	 found row 95x128, generating row predicate
7.03/7.13	c 	 found row 19x1428, generating row predicate
7.03/7.16	c 	 found row 8x128, generating row predicate
7.03/7.18	c 	recursing 190 blocks of candidate 95x128r
7.03/7.19	c 	recursing 2166 blocks of candidate 19x1428r
7.11/7.21	c 	 found row 4x128, generating row predicate
7.11/7.23	c 	 found row 6x128, generating row predicate
7.11/7.26	c 	 found row 8x128, generating row predicate
7.11/7.27	c 	 found row 3x128, generating row predicate
7.11/7.29	c 	 found row 7x128, generating row predicate
7.21/7.32	c 	 found row 9x128, generating row predicate
7.21/7.36	c 	 found row 10x128, generating row predicate
7.31/7.40	c 	 found row 11x128, generating row predicate
7.31/7.44	c 	 found row 12x128, generating row predicate
7.31/7.48	c 	 found row 13x128, generating row predicate
7.41/7.54	c 	 found row 15x128, generating row predicate
7.41/7.59	c 	 found row 16x128, generating row predicate
7.51/7.66	c 	 found row 19x128, generating row predicate
7.61/7.73	c 	 found row 20x128, generating row predicate
7.71/7.81	c 	 found row 22x128, generating row predicate
7.81/7.94	c 	 found row 34x128, generating row predicate
7.92/8.10	c 	 found row 44x128, generating row predicate
8.02/8.14	c 	 found row 19x1428, generating row predicate
8.31/8.48	c 	 found row 95x128, generating row predicate
8.41/8.54	c 	 found row 30x1428, generating row predicate
8.41/8.55	c 	 (8281.70ms)
8.41/8.55	c 
8.41/8.55	c detect symmetries on remainder
8.41/8.55	c 	[graph: #vertices 275664 #edges 822518]
8.41/8.55	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
8.51/8.64	c 	 [group: #symmetries 9.91*10^113 #generators 174] (97.92ms)
8.51/8.64	c 
8.51/8.64	c optimize generators (opt_passes=64, conjugate_limit=256)
8.51/8.65	c 	ran it=0, +gens=3 
8.93/9.04	c 	con best_support=256, best_gens=174, +gens=209
8.93/9.04	c 	(399.57ms)
8.93/9.04	c 
8.93/9.04	c finalize break order and special generators
8.93/9.05	c 
8.93/9.05	c add generic predicates (break_depth=20)
8.93/9.05	c 	added predicates for 386 generators (1.82ms)
8.93/9.06	c 
8.93/9.06	c generation finished
8.93/9.06	c 	[sbp: #constraints 0 #add_vars 0]
8.93/9.06	c 
8.93/9.06	c write result to 'HOME/instance-4509337-1751520165.opb.pre'
8.93/9.07	c 	wrote 1.97MB (4.67ms)
8.93/9.07	c ------------------------------------------------------------------
8.93/9.07	c                8281.70ms 91.47% detect_special
8.93/9.07	c                 399.57ms  4.41% optimize_gens
8.93/9.07	c                 178.80ms  1.97% approx_orbits
8.93/9.07	c                  97.92ms  1.08% detect_generic
8.93/9.07	c                  65.92ms  0.73% parse
8.93/9.07	c                  21.01ms  0.23% other
8.93/9.07	c                   4.67ms  0.05% output
8.93/9.07	c                   2.95ms  0.03% finalize_order
8.93/9.07	c                   1.82ms  0.02% break_generic
8.93/9.07	c         ───────────────────────────────────────────────
8.93/9.07	c                9054.36ms   100% total
8.93/9.07	c ------------------------------------------------------------------
8.93/9.09	c RoundingSat 2
8.93/9.09	c branch pb25
8.93/9.09	c commit 63f22ad
8.99/9.21	c #variables 45696 #constraints 1555
8.99/9.21	c objective is ce32 
8.99/9.21	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
8.99/9.21	c initial counting CF 32, 64, 128, Arb: 129 , 0 , 0 , 0
8.99/9.21	c bounds - >= 0 @ 0.103292
21.87/22.08	c #Conflicts:       1000 | #Constraints:       2554
21.87/22.08	c #Conflicts:       2000 | #Constraints:       3554
21.87/22.08	c INPROCESSING
21.87/22.08	c GARBAGE COLLECT
21.87/22.08	c rational objective 64
28.04/28.21	c #Conflicts:       3000 | #Constraints:       3583
28.04/28.21	c #Conflicts:       4000 | #Constraints:       4583
28.04/28.21	c INPROCESSING
28.04/28.21	c GARBAGE COLLECT
28.04/28.21	c rational objective 64
93.64/94.10	c #Conflicts:       5000 | #Constraints:       3998
93.64/94.10	c #Conflicts:       6000 | #Constraints:       4998
93.64/94.10	c INPROCESSING
93.64/94.10	c GARBAGE COLLECT
93.64/94.10	c #Conflicts:       7000 | #Constraints:       3995
93.64/94.10	c #Conflicts:       8000 | #Constraints:       4996
93.64/94.10	c #Conflicts:       9000 | #Constraints:       5997
93.64/94.10	c INPROCESSING
93.64/94.10	c GARBAGE COLLECT
93.64/94.10	c #Conflicts:      10000 | #Constraints:       4691
93.64/94.10	c #Conflicts:      11000 | #Constraints:       5692
93.64/94.10	c #Conflicts:      12000 | #Constraints:       6692
93.64/94.10	c INPROCESSING
93.64/94.10	c GARBAGE COLLECT
93.64/94.10	c rational objective 64
157.74/158.38	c #Conflicts:      13000 | #Constraints:       5178
157.74/158.38	c #Conflicts:      14000 | #Constraints:       6188
157.74/158.38	c #Conflicts:      15000 | #Constraints:       7192
157.74/158.38	c INPROCESSING
157.74/158.38	c GARBAGE COLLECT
157.74/158.38	c #Conflicts:      16000 | #Constraints:       5393
157.74/158.38	c #Conflicts:      17000 | #Constraints:       6394
157.74/158.38	c #Conflicts:      18000 | #Constraints:       7396
157.74/158.38	c INPROCESSING
157.74/158.38	c GARBAGE COLLECT
157.74/158.38	c rational objective 64
219.47/220.22	c #Conflicts:      19000 | #Constraints:       5423
219.47/220.22	c #Conflicts:      20000 | #Constraints:       6424
219.47/220.22	c #Conflicts:      21000 | #Constraints:       7426
219.47/220.22	c INPROCESSING
219.47/220.22	c GARBAGE COLLECT
219.47/220.22	c rational objective 64
245.09/246.01	c #Conflicts:      22000 | #Constraints:       5228
245.09/246.01	c #Conflicts:      23000 | #Constraints:       6234
245.09/246.01	c #Conflicts:      24000 | #Constraints:       7234
245.09/246.01	c #Conflicts:      25000 | #Constraints:       8236
245.09/246.01	c INPROCESSING
245.09/246.01	c GARBAGE COLLECT
245.09/246.01	c rational objective 64
292.06/293.02	c #Conflicts:      26000 | #Constraints:       5826
292.06/293.02	c #Conflicts:      27000 | #Constraints:       6830
292.06/293.02	c #Conflicts:      28000 | #Constraints:       7835
292.06/293.02	c #Conflicts:      29000 | #Constraints:       8838
292.06/293.02	c INPROCESSING
292.06/293.02	c GARBAGE COLLECT
292.06/293.02	c rational objective 64
339.39/340.52	c #Conflicts:      30000 | #Constraints:       6223
339.39/340.52	c #Conflicts:      31000 | #Constraints:       7225
339.39/340.52	c #Conflicts:      32000 | #Constraints:       8225
339.39/340.52	c #Conflicts:      33000 | #Constraints:       9227
339.39/340.52	c INPROCESSING
339.39/340.52	c GARBAGE COLLECT
339.39/340.52	c rational objective 64
386.57/387.85	c #Conflicts:      34000 | #Constraints:       6427
386.57/387.85	c #Conflicts:      35000 | #Constraints:       7429
386.57/387.85	c #Conflicts:      36000 | #Constraints:       8430
386.57/387.85	c #Conflicts:      37000 | #Constraints:       9432
386.57/387.85	c INPROCESSING
386.57/387.85	c GARBAGE COLLECT
386.57/387.85	c rational objective 64
430.53/432.00	c #Conflicts:      38000 | #Constraints:       6431
430.53/432.00	c #Conflicts:      39000 | #Constraints:       7433
430.53/432.00	c #Conflicts:      40000 | #Constraints:       8439
430.53/432.00	c #Conflicts:      41000 | #Constraints:       9441
430.53/432.00	c INPROCESSING
430.53/432.00	c GARBAGE COLLECT
430.53/432.00	c rational objective 64
479.50/481.09	c #Conflicts:      42000 | #Constraints:       6246
479.50/481.09	c #Conflicts:      43000 | #Constraints:       7266
479.50/481.09	c #Conflicts:      44000 | #Constraints:       8272
479.50/481.09	c #Conflicts:      45000 | #Constraints:       9284
479.50/481.09	c #Conflicts:      46000 | #Constraints:      10296
479.50/481.09	c INPROCESSING
479.50/481.09	c GARBAGE COLLECT
479.50/481.09	c rational objective 64
517.08/518.77	c #Conflicts:      47000 | #Constraints:       6863
517.08/518.77	c #Conflicts:      48000 | #Constraints:       7885
517.08/518.77	c #Conflicts:      49000 | #Constraints:       8887
517.08/518.77	c #Conflicts:      50000 | #Constraints:       9894
517.08/518.77	c #Conflicts:      51000 | #Constraints:      10894
517.08/518.77	c INPROCESSING
517.08/518.77	c GARBAGE COLLECT
517.08/518.77	c rational objective 64
571.33/573.18	c #Conflicts:      52000 | #Constraints:       7268
571.33/573.18	c #Conflicts:      53000 | #Constraints:       8272
571.33/573.18	c #Conflicts:      54000 | #Constraints:       9279
571.33/573.18	c #Conflicts:      55000 | #Constraints:      10287
571.33/573.18	c #Conflicts:      56000 | #Constraints:      11287
571.33/573.18	c INPROCESSING
571.33/573.18	c GARBAGE COLLECT
571.33/573.18	c rational objective 64
595.64/597.57	c #Conflicts:      57000 | #Constraints:       7447
595.64/597.57	c #Conflicts:      58000 | #Constraints:       8447
595.64/597.57	c #Conflicts:      59000 | #Constraints:       9447
595.64/597.57	c #Conflicts:      60000 | #Constraints:      10447
595.64/597.57	c #Conflicts:      61000 | #Constraints:      11448
595.64/597.57	c INPROCESSING
595.64/597.57	c GARBAGE COLLECT
595.64/597.57	c rational objective 64
632.43/634.42	c #Conflicts:      62000 | #Constraints:       7459
632.43/634.42	c #Conflicts:      63000 | #Constraints:       8459
632.43/634.42	c #Conflicts:      64000 | #Constraints:       9459
632.43/634.42	c #Conflicts:      65000 | #Constraints:      10459
632.43/634.42	c #Conflicts:      66000 | #Constraints:      11462
632.43/634.42	c INPROCESSING
632.43/634.42	c GARBAGE COLLECT
632.43/634.42	c rational objective 64
670.63/672.70	c #Conflicts:      67000 | #Constraints:       7249
670.63/672.70	c #Conflicts:      68000 | #Constraints:       8271
670.63/672.70	c #Conflicts:      69000 | #Constraints:       9299
670.63/672.70	c #Conflicts:      70000 | #Constraints:      10305
670.63/672.70	c #Conflicts:      71000 | #Constraints:      11307
670.63/672.70	c #Conflicts:      72000 | #Constraints:      12311
670.63/672.70	c INPROCESSING
670.63/672.70	c GARBAGE COLLECT
670.63/672.70	c rational objective 64
706.72/708.92	c #Conflicts:      73000 | #Constraints:       7857
706.72/708.92	c #Conflicts:      74000 | #Constraints:       8857
706.72/708.92	c #Conflicts:      75000 | #Constraints:       9857
706.72/708.92	c #Conflicts:      76000 | #Constraints:      10857
706.72/708.92	c #Conflicts:      77000 | #Constraints:      11857
706.72/708.92	c #Conflicts:      78000 | #Constraints:      12858
706.72/708.92	c INPROCESSING
706.72/708.92	c GARBAGE COLLECT
706.72/708.92	c rational objective 64
758.26/760.65	c #Conflicts:      79000 | #Constraints:       8242
758.26/760.65	c #Conflicts:      80000 | #Constraints:       9246
758.26/760.65	c #Conflicts:      81000 | #Constraints:      10247
758.26/760.65	c #Conflicts:      82000 | #Constraints:      11248
758.26/760.65	c #Conflicts:      83000 | #Constraints:      12248
758.26/760.65	c #Conflicts:      84000 | #Constraints:      13248
758.26/760.65	c INPROCESSING
758.26/760.65	c GARBAGE COLLECT
758.26/760.65	c rational objective 64
805.12/807.60	c #Conflicts:      85000 | #Constraints:       8435
805.12/807.60	c #Conflicts:      86000 | #Constraints:       9435
805.12/807.60	c #Conflicts:      87000 | #Constraints:      10435
805.12/807.60	c #Conflicts:      88000 | #Constraints:      11435
805.12/807.60	c #Conflicts:      89000 | #Constraints:      12435
805.12/807.60	c #Conflicts:      90000 | #Constraints:      13435
805.12/807.60	c INPROCESSING
805.12/807.60	c GARBAGE COLLECT
805.12/807.60	c rational objective 64
838.23/840.87	c #Conflicts:      91000 | #Constraints:       8417
838.23/840.87	c #Conflicts:      92000 | #Constraints:       9417
838.23/840.87	c #Conflicts:      93000 | #Constraints:      10417
838.23/840.87	c #Conflicts:      94000 | #Constraints:      11417
838.23/840.87	c #Conflicts:      95000 | #Constraints:      12417
838.23/840.87	c #Conflicts:      96000 | #Constraints:      13417
838.23/840.87	c INPROCESSING
838.23/840.87	c GARBAGE COLLECT
838.23/840.87	c rational objective 64
878.12/880.83	c #Conflicts:      97000 | #Constraints:       8219
878.12/880.83	c #Conflicts:      98000 | #Constraints:       9219
878.12/880.83	c #Conflicts:      99000 | #Constraints:      10219
878.12/880.83	c #Conflicts:     100000 | #Constraints:      11219
878.12/880.83	c #Conflicts:     101000 | #Constraints:      12223
878.12/880.83	c #Conflicts:     102000 | #Constraints:      13251
878.12/880.83	c #Conflicts:     103000 | #Constraints:      14256
878.12/880.83	c INPROCESSING
878.12/880.83	c GARBAGE COLLECT
878.12/880.83	c rational objective 64
903.37/906.17	c #Conflicts:     104000 | #Constraints:       8828
903.37/906.17	c #Conflicts:     105000 | #Constraints:       9828
903.37/906.17	c #Conflicts:     106000 | #Constraints:      10828
903.37/906.17	c #Conflicts:     107000 | #Constraints:      11828
903.37/906.17	c #Conflicts:     108000 | #Constraints:      12828
903.37/906.17	c #Conflicts:     109000 | #Constraints:      13828
903.37/906.17	c #Conflicts:     110000 | #Constraints:      14828
903.37/906.17	c INPROCESSING
903.37/906.17	c GARBAGE COLLECT
903.37/906.17	c rational objective 64
937.45/940.39	c #Conflicts:     111000 | #Constraints:       9227
937.45/940.39	c #Conflicts:     112000 | #Constraints:      10227
937.45/940.39	c #Conflicts:     113000 | #Constraints:      11227
937.45/940.39	c #Conflicts:     114000 | #Constraints:      12229
937.45/940.39	c #Conflicts:     115000 | #Constraints:      13231
937.45/940.39	c #Conflicts:     116000 | #Constraints:      14235
937.45/940.39	c #Conflicts:     117000 | #Constraints:      15237
937.45/940.39	c INPROCESSING
937.45/940.39	c GARBAGE COLLECT
937.45/940.39	c rational objective 64
1078.43/1081.77	c #Conflicts:     118000 | #Constraints:       9440
1078.43/1081.77	c #Conflicts:     119000 | #Constraints:      10443
1078.43/1081.77	c #Conflicts:     120000 | #Constraints:      11448
1078.43/1081.77	c #Conflicts:     121000 | #Constraints:      12448
1078.43/1081.77	c #Conflicts:     122000 | #Constraints:      13465
1078.43/1081.77	c #Conflicts:     123000 | #Constraints:      14481
1078.43/1081.77	c #Conflicts:     124000 | #Constraints:      15488
1078.43/1081.77	c INPROCESSING
1078.43/1081.77	c GARBAGE COLLECT
1078.43/1081.77	c rational objective 64
1172.43/1176.10	c #Conflicts:     125000 | #Constraints:       9450
1172.43/1176.10	c #Conflicts:     126000 | #Constraints:      10454
1172.43/1176.10	c #Conflicts:     127000 | #Constraints:      11460
1172.43/1176.10	c #Conflicts:     128000 | #Constraints:      12463
1172.43/1176.10	c #Conflicts:     129000 | #Constraints:      13465
1172.43/1176.10	c #Conflicts:     130000 | #Constraints:      14472
1172.43/1176.10	c #Conflicts:     131000 | #Constraints:      15473
1172.43/1176.10	c INPROCESSING
1172.43/1176.10	c GARBAGE COLLECT
1172.43/1176.10	c rational objective 64
1239.00/1242.83	c #Conflicts:     132000 | #Constraints:       9253
1239.00/1242.83	c #Conflicts:     133000 | #Constraints:      10254
1239.00/1242.83	c #Conflicts:     134000 | #Constraints:      11255
1239.00/1242.83	c #Conflicts:     135000 | #Constraints:      12256
1239.00/1242.83	c #Conflicts:     136000 | #Constraints:      13256
1239.00/1242.83	c #Conflicts:     137000 | #Constraints:      14263
1239.00/1242.83	c #Conflicts:     138000 | #Constraints:      15280
1239.00/1242.83	c #Conflicts:     139000 | #Constraints:      16291
1239.00/1242.83	c INPROCESSING
1239.00/1242.83	c GARBAGE COLLECT
1239.00/1242.83	c rational objective 64
1294.14/1298.17	c #Conflicts:     140000 | #Constraints:       9859
1294.14/1298.17	c #Conflicts:     141000 | #Constraints:      10859
1294.14/1298.17	c #Conflicts:     142000 | #Constraints:      11859
1294.14/1298.17	c #Conflicts:     143000 | #Constraints:      12859
1294.14/1298.17	c #Conflicts:     144000 | #Constraints:      13859
1294.14/1298.17	c #Conflicts:     145000 | #Constraints:      14859
1294.14/1298.17	c #Conflicts:     146000 | #Constraints:      15859
1294.14/1298.17	c #Conflicts:     147000 | #Constraints:      16859
1294.14/1298.17	c INPROCESSING
1294.14/1298.17	c GARBAGE COLLECT
1294.14/1298.17	c rational objective 64
1336.79/1340.94	c #Conflicts:     148000 | #Constraints:      10252
1336.79/1340.94	c #Conflicts:     149000 | #Constraints:      11252
1336.79/1340.94	c #Conflicts:     150000 | #Constraints:      12252
1336.79/1340.94	c #Conflicts:     151000 | #Constraints:      13252
1336.79/1340.94	c #Conflicts:     152000 | #Constraints:      14252
1336.79/1340.94	c #Conflicts:     153000 | #Constraints:      15252
1336.79/1340.94	c #Conflicts:     154000 | #Constraints:      16252
1336.79/1340.94	c #Conflicts:     155000 | #Constraints:      17252
1336.79/1340.94	c INPROCESSING
1336.79/1340.94	c GARBAGE COLLECT
1336.79/1340.94	c rational objective 64
1417.32/1421.74	c #Conflicts:     156000 | #Constraints:      10435
1417.32/1421.74	c #Conflicts:     157000 | #Constraints:      11436
1417.32/1421.74	c #Conflicts:     158000 | #Constraints:      12436
1417.32/1421.74	c #Conflicts:     159000 | #Constraints:      13455
1417.32/1421.74	c #Conflicts:     160000 | #Constraints:      14463
1417.32/1421.74	c #Conflicts:     161000 | #Constraints:      15465
1417.32/1421.74	c #Conflicts:     162000 | #Constraints:      16474
1417.32/1421.74	c #Conflicts:     163000 | #Constraints:      17480
1417.32/1421.74	c INPROCESSING
1417.32/1421.74	c GARBAGE COLLECT
1417.32/1421.74	c rational objective 64
1459.19/1463.72	c #Conflicts:     164000 | #Constraints:      10448
1459.19/1463.72	c #Conflicts:     165000 | #Constraints:      11462
1459.19/1463.72	c #Conflicts:     166000 | #Constraints:      12462
1459.19/1463.72	c #Conflicts:     167000 | #Constraints:      13462
1459.19/1463.72	c #Conflicts:     168000 | #Constraints:      14462
1459.19/1463.72	c #Conflicts:     169000 | #Constraints:      15462
1459.19/1463.72	c #Conflicts:     170000 | #Constraints:      16462
1459.19/1463.72	c #Conflicts:     171000 | #Constraints:      17462
1459.19/1463.72	c INPROCESSING
1459.19/1463.72	c GARBAGE COLLECT
1459.19/1463.72	c rational objective 64
1499.36/1504.10	c #Conflicts:     172000 | #Constraints:      10249
1499.36/1504.10	c #Conflicts:     173000 | #Constraints:      11249
1499.36/1504.10	c #Conflicts:     174000 | #Constraints:      12249
1499.36/1504.10	c #Conflicts:     175000 | #Constraints:      13249
1499.36/1504.10	c #Conflicts:     176000 | #Constraints:      14249
1499.36/1504.10	c #Conflicts:     177000 | #Constraints:      15249
1499.36/1504.10	c #Conflicts:     178000 | #Constraints:      16249
1499.36/1504.10	c #Conflicts:     179000 | #Constraints:      17249
1499.36/1504.10	c #Conflicts:     180000 | #Constraints:      18250
1499.36/1504.10	c INPROCESSING
1499.36/1504.10	c GARBAGE COLLECT
1499.36/1504.10	c rational objective 64
1638.40/1643.50	c #Conflicts:     181000 | #Constraints:      10838
1638.40/1643.50	c #Conflicts:     182000 | #Constraints:      11839
1638.40/1643.50	c #Conflicts:     183000 | #Constraints:      12840
1638.40/1643.50	c #Conflicts:     184000 | #Constraints:      13842
1638.40/1643.50	c #Conflicts:     185000 | #Constraints:      14855
1638.40/1643.50	c #Conflicts:     186000 | #Constraints:      15859
1638.40/1643.50	c #Conflicts:     187000 | #Constraints:      16863
1638.40/1643.50	c #Conflicts:     188000 | #Constraints:      17871
1638.40/1643.50	c #Conflicts:     189000 | #Constraints:      18882
1638.40/1643.50	c INPROCESSING
1638.40/1643.50	c GARBAGE COLLECT
1638.40/1643.50	c rational objective 64
1767.47/1773.01	c #Conflicts:     190000 | #Constraints:      11264
1767.47/1773.01	c #Conflicts:     191000 | #Constraints:      12264
1767.47/1773.01	c #Conflicts:     192000 | #Constraints:      13264
1767.47/1773.01	c #Conflicts:     193000 | #Constraints:      14264
1767.47/1773.01	c #Conflicts:     194000 | #Constraints:      15264
1767.47/1773.01	c #Conflicts:     195000 | #Constraints:      16264
1767.47/1773.01	c #Conflicts:     196000 | #Constraints:      17264
1767.47/1773.01	c #Conflicts:     197000 | #Constraints:      18264
1767.47/1773.01	c #Conflicts:     198000 | #Constraints:      19264
1767.47/1773.01	c INPROCESSING
1767.47/1773.01	c GARBAGE COLLECT
1767.47/1773.01	c rational objective 64
1864.83/1870.76	c #Conflicts:     199000 | #Constraints:      11507
1864.83/1870.76	c #Conflicts:     200000 | #Constraints:      12508
1864.83/1870.76	c #Conflicts:     201000 | #Constraints:      13512
1864.83/1870.76	c #Conflicts:     202000 | #Constraints:      14519
1864.83/1870.76	c #Conflicts:     203000 | #Constraints:      15525
1864.83/1870.76	c #Conflicts:     204000 | #Constraints:      16530
1864.83/1870.76	c #Conflicts:     205000 | #Constraints:      17547
1864.83/1870.76	c #Conflicts:     206000 | #Constraints:      18559
1864.83/1870.76	c #Conflicts:     207000 | #Constraints:      19559
1864.83/1870.76	c INPROCESSING
1864.83/1870.76	c GARBAGE COLLECT
1864.83/1870.76	c rational objective 64
1915.86/1922.01	c #Conflicts:     208000 | #Constraints:      11494
1915.86/1922.01	c #Conflicts:     209000 | #Constraints:      12499
1915.86/1922.01	c #Conflicts:     210000 | #Constraints:      13524
1915.86/1922.01	c #Conflicts:     211000 | #Constraints:      14551
1915.86/1922.01	c #Conflicts:     212000 | #Constraints:      15559
1915.86/1922.01	c #Conflicts:     213000 | #Constraints:      16585
1915.86/1922.01	c #Conflicts:     214000 | #Constraints:      17591
1915.86/1922.01	c #Conflicts:     215000 | #Constraints:      18592
1915.86/1922.01	c #Conflicts:     216000 | #Constraints:      19592
1915.86/1922.01	c INPROCESSING
1915.86/1922.01	c GARBAGE COLLECT
1915.86/1922.01	c rational objective 64
1985.63/1991.93	c #Conflicts:     217000 | #Constraints:      11320
1985.63/1991.93	c #Conflicts:     218000 | #Constraints:      12320
1985.63/1991.93	c #Conflicts:     219000 | #Constraints:      13320
1985.63/1991.93	c #Conflicts:     220000 | #Constraints:      14320
1985.63/1991.93	c #Conflicts:     221000 | #Constraints:      15320
1985.63/1991.93	c #Conflicts:     222000 | #Constraints:      16320
1985.63/1991.93	c #Conflicts:     223000 | #Constraints:      17320
1985.63/1991.93	c #Conflicts:     224000 | #Constraints:      18320
1985.63/1991.93	c #Conflicts:     225000 | #Constraints:      19320
1985.63/1991.93	c #Conflicts:     226000 | #Constraints:      20320
1985.63/1991.93	c INPROCESSING
1985.63/1991.93	c GARBAGE COLLECT
1985.63/1991.93	c rational objective 64
2030.59/2037.04	c #Conflicts:     227000 | #Constraints:      11863
2030.59/2037.04	c #Conflicts:     228000 | #Constraints:      12863
2030.59/2037.04	c #Conflicts:     229000 | #Constraints:      13863
2030.59/2037.04	c #Conflicts:     230000 | #Constraints:      14863
2030.59/2037.04	c #Conflicts:     231000 | #Constraints:      15863
2030.59/2037.04	c #Conflicts:     232000 | #Constraints:      16863
2030.59/2037.04	c #Conflicts:     233000 | #Constraints:      17863
2030.59/2037.04	c #Conflicts:     234000 | #Constraints:      18863
2030.59/2037.04	c #Conflicts:     235000 | #Constraints:      19863
2030.59/2037.04	c #Conflicts:     236000 | #Constraints:      20863
2030.59/2037.04	c INPROCESSING
2030.59/2037.04	c GARBAGE COLLECT
2030.59/2037.04	c rational objective 64
2062.68/2069.24	c #Conflicts:     237000 | #Constraints:      12234
2062.68/2069.24	c #Conflicts:     238000 | #Constraints:      13234
2062.68/2069.24	c #Conflicts:     239000 | #Constraints:      14234
2062.68/2069.24	c #Conflicts:     240000 | #Constraints:      15234
2062.68/2069.24	c #Conflicts:     241000 | #Constraints:      16234
2062.68/2069.24	c #Conflicts:     242000 | #Constraints:      17234
2062.68/2069.24	c #Conflicts:     243000 | #Constraints:      18234
2062.68/2069.24	c #Conflicts:     244000 | #Constraints:      19234
2062.68/2069.24	c #Conflicts:     245000 | #Constraints:      20234
2062.68/2069.24	c #Conflicts:     246000 | #Constraints:      21234
2062.68/2069.24	c INPROCESSING
2062.68/2069.24	c GARBAGE COLLECT
2062.68/2069.24	c rational objective 64
2100.25/2106.90	c #Conflicts:     247000 | #Constraints:      12414
2100.25/2106.90	c #Conflicts:     248000 | #Constraints:      13414
2100.25/2106.90	c #Conflicts:     249000 | #Constraints:      14414
2100.25/2106.90	c #Conflicts:     250000 | #Constraints:      15414
2100.25/2106.90	c #Conflicts:     251000 | #Constraints:      16414
2100.25/2106.90	c #Conflicts:     252000 | #Constraints:      17414
2100.25/2106.90	c #Conflicts:     253000 | #Constraints:      18414
2100.25/2106.90	c #Conflicts:     254000 | #Constraints:      19414
2100.25/2106.90	c #Conflicts:     255000 | #Constraints:      20415
2100.25/2106.90	c #Conflicts:     256000 | #Constraints:      21417
2100.25/2106.90	c INPROCESSING
2100.25/2106.90	c GARBAGE COLLECT
2100.25/2106.90	c rational objective 64
2216.71/2223.70	c #Conflicts:     257000 | #Constraints:      12429
2216.71/2223.70	c #Conflicts:     258000 | #Constraints:      13433
2216.71/2223.70	c #Conflicts:     259000 | #Constraints:      14434
2216.71/2223.70	c #Conflicts:     260000 | #Constraints:      15436
2216.71/2223.70	c #Conflicts:     261000 | #Constraints:      16447
2216.71/2223.70	c #Conflicts:     262000 | #Constraints:      17456
2216.71/2223.70	c #Conflicts:     263000 | #Constraints:      18466
2216.71/2223.70	c #Conflicts:     264000 | #Constraints:      19476
2216.71/2223.70	c #Conflicts:     265000 | #Constraints:      20503
2216.71/2223.70	c #Conflicts:     266000 | #Constraints:      21506
2216.71/2223.70	c INPROCESSING
2216.71/2223.70	c GARBAGE COLLECT
2216.71/2223.70	c rational objective 64
2294.24/2301.57	c #Conflicts:     267000 | #Constraints:      12286
2294.24/2301.57	c #Conflicts:     268000 | #Constraints:      13295
2294.24/2301.57	c #Conflicts:     269000 | #Constraints:      14310
2294.24/2301.57	c #Conflicts:     270000 | #Constraints:      15329
2294.24/2301.57	c #Conflicts:     271000 | #Constraints:      16337
2294.24/2301.57	c #Conflicts:     272000 | #Constraints:      17348
2294.24/2301.57	c #Conflicts:     273000 | #Constraints:      18348
2294.24/2301.57	c #Conflicts:     274000 | #Constraints:      19348
2294.24/2301.57	c #Conflicts:     275000 | #Constraints:      20352
2294.24/2301.57	c #Conflicts:     276000 | #Constraints:      21366
2294.24/2301.57	c #Conflicts:     277000 | #Constraints:      22368
2294.24/2301.57	c INPROCESSING
2294.24/2301.57	c GARBAGE COLLECT
2294.24/2301.57	c rational objective 64
2391.44/2399.03	c #Conflicts:     278000 | #Constraints:      12896
2391.44/2399.03	c #Conflicts:     279000 | #Constraints:      13898
2391.44/2399.03	c #Conflicts:     280000 | #Constraints:      14899
2391.44/2399.03	c #Conflicts:     281000 | #Constraints:      15899
2391.44/2399.03	c #Conflicts:     282000 | #Constraints:      16899
2391.44/2399.03	c #Conflicts:     283000 | #Constraints:      17900
2391.44/2399.03	c #Conflicts:     284000 | #Constraints:      18900
2391.44/2399.03	c #Conflicts:     285000 | #Constraints:      19901
2391.44/2399.03	c #Conflicts:     286000 | #Constraints:      20902
2391.44/2399.03	c #Conflicts:     287000 | #Constraints:      21902
2391.44/2399.03	c #Conflicts:     288000 | #Constraints:      22902
2391.44/2399.03	c INPROCESSING
2391.44/2399.03	c GARBAGE COLLECT
2391.44/2399.03	c rational objective 64
2575.52/2583.79	c #Conflicts:     289000 | #Constraints:      13261
2575.52/2583.79	c #Conflicts:     290000 | #Constraints:      14263
2575.52/2583.79	c #Conflicts:     291000 | #Constraints:      15277
2575.52/2583.79	c #Conflicts:     292000 | #Constraints:      16283
2575.52/2583.79	c #Conflicts:     293000 | #Constraints:      17297
2575.52/2583.79	c #Conflicts:     294000 | #Constraints:      18299
2575.52/2583.79	c #Conflicts:     295000 | #Constraints:      19309
2575.52/2583.79	c #Conflicts:     296000 | #Constraints:      20319
2575.52/2583.79	c #Conflicts:     297000 | #Constraints:      21324
2575.52/2583.79	c #Conflicts:     298000 | #Constraints:      22335
2575.52/2583.79	c #Conflicts:     299000 | #Constraints:      23346
2575.52/2583.79	c INPROCESSING
2575.52/2583.79	c GARBAGE COLLECT
2575.52/2583.79	c rational objective 64
2746.07/2754.81	c #Conflicts:     300000 | #Constraints:      13485
2746.07/2754.81	c #Conflicts:     301000 | #Constraints:      14486
2746.07/2754.81	c #Conflicts:     302000 | #Constraints:      15487
2746.07/2754.81	c #Conflicts:     303000 | #Constraints:      16487
2746.07/2754.81	c #Conflicts:     304000 | #Constraints:      17487
2746.07/2754.81	c #Conflicts:     305000 | #Constraints:      18488
2746.07/2754.81	c #Conflicts:     306000 | #Constraints:      19490
2746.07/2754.81	c #Conflicts:     307000 | #Constraints:      20491
2746.07/2754.81	c #Conflicts:     308000 | #Constraints:      21492
2746.07/2754.81	c #Conflicts:     309000 | #Constraints:      22492
2746.07/2754.81	c #Conflicts:     310000 | #Constraints:      23492
2746.07/2754.81	c INPROCESSING
2746.07/2754.81	c GARBAGE COLLECT
2746.07/2754.81	c rational objective 64
2870.45/2879.61	c #Conflicts:     311000 | #Constraints:      13467
2870.45/2879.61	c #Conflicts:     312000 | #Constraints:      14468
2870.45/2879.61	c #Conflicts:     313000 | #Constraints:      15475
2870.45/2879.61	c #Conflicts:     314000 | #Constraints:      16489
2870.45/2879.61	c #Conflicts:     315000 | #Constraints:      17507
2870.45/2879.61	c #Conflicts:     316000 | #Constraints:      18527
2870.45/2879.61	c #Conflicts:     317000 | #Constraints:      19536
2870.45/2879.61	c #Conflicts:     318000 | #Constraints:      20542
2870.45/2879.61	c #Conflicts:     319000 | #Constraints:      21547
2870.45/2879.61	c #Conflicts:     320000 | #Constraints:      22561
2870.45/2879.61	c #Conflicts:     321000 | #Constraints:      23585
2870.45/2879.61	c INPROCESSING
2870.45/2879.61	c GARBAGE COLLECT
2870.45/2879.61	c rational objective 64
3162.89/3173.06	c #Conflicts:     322000 | #Constraints:      13317
3162.89/3173.06	c #Conflicts:     323000 | #Constraints:      14321
3162.89/3173.06	c #Conflicts:     324000 | #Constraints:      15322
3162.89/3173.06	c #Conflicts:     325000 | #Constraints:      16322
3162.89/3173.06	c #Conflicts:     326000 | #Constraints:      17323
3162.89/3173.06	c #Conflicts:     327000 | #Constraints:      18323
3162.89/3173.06	c #Conflicts:     328000 | #Constraints:      19324
3162.89/3173.06	c #Conflicts:     329000 | #Constraints:      20324
3162.89/3173.06	c #Conflicts:     330000 | #Constraints:      21324
3162.89/3173.06	c #Conflicts:     331000 | #Constraints:      22325
3162.89/3173.06	c #Conflicts:     332000 | #Constraints:      23326
3162.89/3173.06	c #Conflicts:     333000 | #Constraints:      24326
3162.89/3173.06	c INPROCESSING
3162.89/3173.06	c GARBAGE COLLECT
3162.89/3173.06	c rational objective 64
3244.07/3255.06	c #Conflicts:     334000 | #Constraints:      13867
3244.07/3255.06	c #Conflicts:     335000 | #Constraints:      14867
3244.07/3255.06	c #Conflicts:     336000 | #Constraints:      15867
3244.07/3255.06	c #Conflicts:     337000 | #Constraints:      16867
3244.07/3255.06	c #Conflicts:     338000 | #Constraints:      17871
3244.07/3255.06	c #Conflicts:     339000 | #Constraints:      18874
3244.07/3255.06	c #Conflicts:     340000 | #Constraints:      19876
3244.07/3255.06	c #Conflicts:     341000 | #Constraints:      20877
3244.07/3255.06	c #Conflicts:     342000 | #Constraints:      21879
3244.07/3255.06	c #Conflicts:     343000 | #Constraints:      22880
3244.07/3255.06	c #Conflicts:     344000 | #Constraints:      23880
3244.07/3255.06	c #Conflicts:     345000 | #Constraints:      24884
3244.07/3255.06	c INPROCESSING
3244.07/3255.06	c GARBAGE COLLECT
3244.07/3255.06	c rational objective 64
3438.04/3450.74	c #Conflicts:     346000 | #Constraints:      14253
3438.04/3450.74	c #Conflicts:     347000 | #Constraints:      15256
3438.04/3450.74	c #Conflicts:     348000 | #Constraints:      16260
3438.04/3450.74	c #Conflicts:     349000 | #Constraints:      17266
3438.04/3450.74	c #Conflicts:     350000 | #Constraints:      18277
3438.04/3450.74	c #Conflicts:     351000 | #Constraints:      19284
3438.04/3450.74	c #Conflicts:     352000 | #Constraints:      20284
3438.04/3450.74	c #Conflicts:     353000 | #Constraints:      21291
3438.04/3450.74	c #Conflicts:     354000 | #Constraints:      22298
3438.04/3450.74	c #Conflicts:     355000 | #Constraints:      23325
3438.04/3450.74	c #Conflicts:     356000 | #Constraints:      24338
3438.04/3450.74	c #Conflicts:     357000 | #Constraints:      25359
3438.04/3450.74	c INPROCESSING
3438.04/3450.74	c GARBAGE COLLECT
3438.04/3450.74	c rational objective 64
3557.92/3571.79	c #Conflicts:     358000 | #Constraints:      14486
3557.92/3571.79	c #Conflicts:     359000 | #Constraints:      15486
3557.92/3571.79	c #Conflicts:     360000 | #Constraints:      16488
3557.92/3571.79	c #Conflicts:     361000 | #Constraints:      17489
3557.92/3571.79	c #Conflicts:     362000 | #Constraints:      18498
3557.92/3571.79	c #Conflicts:     363000 | #Constraints:      19514
3557.92/3571.79	c #Conflicts:     364000 | #Constraints:      20533
3557.92/3571.79	c #Conflicts:     365000 | #Constraints:      21538
3557.92/3571.79	c #Conflicts:     366000 | #Constraints:      22548
3557.92/3571.79	c #Conflicts:     367000 | #Constraints:      23559
3557.92/3571.79	c #Conflicts:     368000 | #Constraints:      24568
3557.92/3571.79	c #Conflicts:     369000 | #Constraints:      25581
3557.92/3571.79	c INPROCESSING
3557.92/3571.79	c GARBAGE COLLECT
3557.92/3571.79	c rational objective 64
3600.00/3614.25	c #Conflicts:     370000 | #Constraints:      14503
3600.00/3614.25	c #Conflicts:     371000 | #Constraints:      15503
3600.00/3614.25	c #Conflicts:     372000 | #Constraints:      16503
3600.00/3614.25	c cpu time 3543.53 s
3600.00/3614.25	c deterministic time 349375672324 3.49e+11
3600.00/3614.25	c optimization time 38.9902 s
3600.00/3614.25	c total solve time 3504.43 s
3600.00/3614.25	c core-guided solve time 1392.69 s
3600.00/3614.25	c propagation time 1912.99 s
3600.00/3614.25	c conflict analysis time 1136.06 s
3600.00/3614.25	c propagations 156006246
3600.00/3614.25	c resolve steps 1541897
3600.00/3614.25	c decisions 20088257
3600.00/3614.25	c conflicts 372374
3600.00/3614.25	c restarts 892
3600.00/3614.25	c inprocessing phases 52
3600.00/3614.25	c garbage collections 52 ,( 100.00 )
3600.00/3614.25	c input clauses 713 ,( 45.85 )
3600.00/3614.25	c input cardinalities 714 ,( 45.92 )
3600.00/3614.25	c input general constraints 128 ,( 8.23 )
3600.00/3614.25	c input average constraint length 117.42
3600.00/3614.25	c input average constraint degree 24560.17
3600.00/3614.25	c learned clauses 6181 ,( 1.65 )
3600.00/3614.25	c learned cardinalities 263 ,( 0.07 )
3600.00/3614.25	c learned general constraints 368203 ,( 98.28 )
3600.00/3614.25	c learned average constraint length 7320.52
3600.00/3614.25	c learned average constraint degree 29885610725.29
3600.00/3614.25	c watched  CF 32, 64, 128, Arb: 135603 , 0 , 0 , 0
3600.00/3614.25	c counting CF 32, 64, 128, Arb: 232729 , 0 , 0 , 0
3600.00/3614.25	c watched   constraints 135603 ,( 36.82 ) 
3600.00/3614.25	c counting  constraints 232728 ,( 63.18 ) 
3600.00/3614.25	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2670722 , 2041084 , 511216651 ,( 113441712 , 397774939 )
3600.00/3614.25	c gcd simplifications 2704
3600.00/3614.25	c detected cardinalities 2
3600.00/3614.25	c weakened non-implied lits 558851232
3600.00/3614.25	c weakened non-implying lits 1000843
3600.00/3614.25	c original variables 45696
3600.00/3614.25	c clausal propagations 761749
3600.00/3614.25	c cardinality propagations 30353135
3600.00/3614.25	c watched propagations 1394496
3600.00/3614.25	c counting propagations 110369867
3600.00/3614.25	c watch lookups 38396243618
3600.00/3614.25	c watch backjump lookups 0
3600.00/3614.25	c watch checks 142008120014
3600.00/3614.25	c propagation checks 162105300234
3600.00/3614.25	c constraint additions 6512930236
3600.00/3614.25	c trail pops 176428434
3600.00/3614.25	c formula constraints 1555
3600.00/3614.25	c learned constraints 371134
3600.00/3614.25	c bound constraints 0
3600.00/3614.25	c core-guided constraints 0
3600.00/3614.25	c encountered formula constraints 1104374
3600.00/3614.25	c encountered learned constraints 700552
3600.00/3614.25	c encountered bound constraints 0
3600.00/3614.25	c encountered core-guided constraints 0
3600.00/3614.25	c LP total time 538.51 s
3600.00/3614.25	c LP solve time 336.68 s
3600.00/3614.25	c LP constraints added 2450
3600.00/3614.25	c LP constraints removed 882
3600.00/3614.25	c LP pivots internal 373251
3600.00/3614.25	c LP pivots root 182033
3600.00/3614.25	c LP calls 15289
3600.00/3614.25	c LP optimalities 13884
3600.00/3614.25	c LP no pivot count 6415
3600.00/3614.25	c LP infeasibilities 1397
3600.00/3614.25	c LP valid Farkas constraints 1388
3600.00/3614.25	c LP learned Farkas constraints 1239
3600.00/3614.25	c LP basis resets 11
3600.00/3614.25	c LP cycling count 0
3600.00/3614.25	c LP singular count 2
3600.00/3614.25	c LP no primal count 0
3600.00/3614.25	c LP no farkas count 9
3600.00/3614.25	c LP other issue count 0
3600.00/3614.25	c LP Gomory cuts 886
3600.00/3614.25	c LP learned cuts 9
3600.00/3614.25	c LP deleted cuts 882
3600.00/3614.25	c LP encountered Gomory constraints 51
3600.00/3614.25	c LP encountered Farkas constraints 100617
3600.00/3614.25	c LP encountered learned Farkas constraints 7438
3600.00/3614.25	c CG auxiliary variables introduced 0
3600.00/3614.25	c CG solutions found 0
3600.00/3614.25	c CG cores constructed 0
3600.00/3614.25	c CG core cardinality constraints returned 0
3600.00/3614.25	c CG unit cores 0
3600.00/3614.25	c CG single cores 0
3600.00/3614.25	c CG blocks removed during cardinality reduction 0
3600.00/3614.25	c CG first core best 0
3600.00/3614.25	c CG decision core best 0
3600.00/3614.25	c CG core reduction tie 0
3600.00/3614.25	c CG core degree average 0.00
3600.00/3614.25	c CG core slack average 0.00
3600.00/3614.25	c CG core upper bound improvements 0
3600.00/3614.25	c STR number of successful calls 0
3600.00/3614.25	c STR number of unsuccessful calls 0
3600.00/3614.25	c STR number of inconclusive calls 0
3600.00/3614.25	c STR number of successful attempts 0
3600.00/3614.25	c STR number of unsuccessful attempts 0
3600.00/3614.25	c STR number of inconclusive attempts 0
3600.00/3614.25	c STR average degree increase per successful call inf
3600.00/3614.25	c STR average degree increase per successful attempt inf
3600.00/3614.25	c STR total number of conflicts for successful attempts 0
3600.00/3614.25	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3614.25	c STR total number of conflicts for inconclusive attempts 0
3600.00/3614.25	c STR average number of conflicts per successful attempt inf
3600.00/3614.25	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3614.25	c STR average number of conflicts per inconclusive attempt inf
3600.00/3614.25	c AVG.sumWPerc 51.03 
3600.00/3614.25	c bigint constraints 0 
3600.00/3614.25	s UNKNOWN
3600.00/3614.25	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: 63837 MiB (44940 MiB free)
  memory of node 1: 64465 MiB (27429 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509337-1751520165/watcher-4509337-1751520165 -o /tmp/evaluation-result-4509337-1751520165/solver-4509337-1751520165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751516521-73565 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4509337-1751520165.opb PROOFDIR/proof-4509337-1751520165 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73901, runsolver pid=73898
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.33 4.34 4.24 5/264 73903
/proc/meminfo: memFree=74103028/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73903] ppid=73901 vsize=29480 memory=19944 CPUtime=0.08 cores=0,2
/proc/73903/stat : 73903 (pbsuma) R 73901 73901 73555 0 -1 4194304 4251 0 0 0 7 1 0 0 20 0 1 0 67695697 30187520 4986 18446744073709551615 4210688 4653049 140721136172944 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 8650752 140721136175331 140721136175666 140721136175666 140721136181231 0
/proc/73903/statm: 7370 4986 992 108 0 4778 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33672 KiB
Current children cumulated memory: 23016 KiB

[startup+0.221606 s]*
/proc/loadavg: 4.33 4.34 4.24 5/264 73903
/proc/meminfo: memFree=74070896/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73903] ppid=73901 vsize=71576 memory=49812 CPUtime=0.18 cores=0,2
/proc/73903/stat : 73903 (pbsuma) R 73901 73901 73555 0 -1 4194304 10694 0 0 0 15 3 0 0 20 0 1 0 67695697 73293824 12453 18446744073709551615 4210688 4653049 140721136172944 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 8650752 140721136175331 140721136175666 140721136175666 140721136181231 0
/proc/73903/statm: 17894 12453 992 108 0 15302 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75768 KiB
Current children cumulated memory: 52884 KiB

[startup+0.318349 s]*
/proc/loadavg: 4.33 4.34 4.24 6/264 73903
/proc/meminfo: memFree=74065036/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73903] ppid=73901 vsize=79036 memory=51496 CPUtime=0.27 cores=0,2
/proc/73903/stat : 73903 (pbsuma) R 73901 73901 73555 0 -1 4194304 12711 0 0 0 23 4 0 0 20 0 1 0 67695697 80932864 12874 18446744073709551615 4210688 4653049 140721136172944 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8650752 140721136175331 140721136175666 140721136175666 140721136181231 0
/proc/73903/statm: 19759 12874 1024 108 0 17167 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 83228 KiB
Current children cumulated memory: 54568 KiB

[startup+0.700358 s]
/proc/loadavg: 4.33 4.34 4.24 5/264 73903
/proc/meminfo: memFree=74049160/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73903] ppid=73901 vsize=88728 memory=66304 CPUtime=0.64 cores=0,2
/proc/73903/stat : 73903 (pbsuma) R 73901 73901 73555 0 -1 4194304 15383 0 0 0 59 5 0 0 20 0 1 0 67695697 90857472 16576 18446744073709551615 4210688 4653049 140721136172944 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8650752 140721136175331 140721136175666 140721136175666 140721136181231 0
/proc/73903/statm: 22182 16576 1024 108 0 19590 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 92920 KiB
Current children cumulated memory: 69376 KiB

[startup+1.50043 s]
/proc/loadavg: 4.33 4.34 4.24 5/263 73909
/proc/meminfo: memFree=74032236/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73903] ppid=73901 vsize=98308 memory=74880 CPUtime=1.43 cores=0,2
/proc/73903/stat : 73903 (pbsuma) R 73901 73901 73555 0 -1 4194304 17832 0 0 0 137 6 0 0 20 0 1 0 67695697 100667392 18720 18446744073709551615 4210688 4653049 140721136172944 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8650752 140721136175331 140721136175666 140721136175666 140721136181231 0
/proc/73903/statm: 24577 18720 1024 108 0 21985 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 102500 KiB
Current children cumulated memory: 77952 KiB

[startup+3.11351 s]
/proc/loadavg: 4.33 4.34 4.24 4/259 73916
/proc/meminfo: memFree=74016984/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73903] ppid=73901 vsize=99344 memory=76800 CPUtime=3.04 cores=0,2
/proc/73903/stat : 73903 (pbsuma) R 73901 73901 73555 0 -1 4194304 18310 0 0 0 298 6 0 0 20 0 1 0 67695697 101728256 19200 18446744073709551615 4210688 4653049 140721136172944 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8650752 140721136175331 140721136175666 140721136175666 140721136181231 0
/proc/73903/statm: 24836 19200 1024 108 0 22244 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 103536 KiB
Current children cumulated memory: 79872 KiB

[startup+6.3004 s]
/proc/loadavg: 4.30 4.34 4.24 5/265 73936
/proc/meminfo: memFree=95282208/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73903] ppid=73901 vsize=100044 memory=78464 CPUtime=6.22 cores=0,2
/proc/73903/stat : 73903 (pbsuma) R 73901 73901 73555 0 -1 4194304 18747 0 0 0 616 6 0 0 20 0 1 0 67695697 102445056 19616 18446744073709551615 4210688 4653049 140721136172944 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 8650752 140721136175331 140721136175666 140721136175666 140721136181231 0
/proc/73903/statm: 25011 19616 1024 108 0 22419 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 104236 KiB
Current children cumulated memory: 81536 KiB

[startup+12.7004 s]
/proc/loadavg: 4.28 4.33 4.23 5/265 73938
/proc/meminfo: memFree=95251932/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=129584 memory=86196 CPUtime=3.59 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 15249 0 0 0 347 12 0 0 20 0 1 0 67696604 132694016 21549 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 32396 21549 2368 1147 0 19823 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 133776 KiB
Current children cumulated memory: 89268 KiB

[startup+25.5004 s]
/proc/loadavg: 4.28 4.33 4.24 5/257 73964
/proc/meminfo: memFree=103647912/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=366672 memory=293964 CPUtime=16.35 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 48320 0 0 0 1595 40 0 0 20 0 1 0 67696604 375472128 73491 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 91668 73491 2368 1147 0 79095 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 370864 KiB
Current children cumulated memory: 297036 KiB

[startup+51.1136 s]
/proc/loadavg: 4.19 4.30 4.23 5/263 74032
/proc/meminfo: memFree=122032332/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=603388 memory=534932 CPUtime=41.89 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 104897 0 0 0 4098 91 0 0 20 0 1 0 67696604 617869312 133733 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 150847 133733 2368 1147 0 138274 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 607580 KiB
Current children cumulated memory: 538004 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.28 4.22 5/260 74034
/proc/meminfo: memFree=116888964/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=1743488 memory=1530240 CPUtime=92.92 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 318048 0 0 0 9069 223 0 0 20 0 1 0 67696604 1785331712 382560 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 435872 382560 2368 1147 0 423299 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1747680 KiB
Current children cumulated memory: 1533312 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.28 4.22 5/260 74041
/proc/meminfo: memFree=112272200/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=2351744 memory=2022184 CPUtime=152.75 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 415774 0 0 0 14971 304 0 0 20 0 1 0 67696604 2408185856 505546 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 587936 505546 2368 1147 0 575363 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2355936 KiB
Current children cumulated memory: 2025256 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.22 4.21 5/260 74043
/proc/meminfo: memFree=107865472/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=2737500 memory=2517956 CPUtime=212.58 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 512054 0 0 0 20869 389 0 0 20 0 1 0 67696604 2803200000 629489 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0

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

/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2151179 0 0 0 316063 4219 0 0 20 0 1 0 67696604 9651937280 2009562 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2356430 2009562 2496 1147 0 2343857 0
Current children cumulated CPU time: 3211.81 s
Current children cumulated vsize: 9429912 KiB
Current children cumulated memory: 8041320 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.23 5/270 74248
/proc/meminfo: memFree=1686516/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=9418940 memory=8029668 CPUtime=3262.29 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2164187 0 0 0 321919 4310 0 0 20 0 1 0 67696604 9644994560 2007417 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2354735 2007417 2496 1147 0 2342162 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 9423132 KiB
Current children cumulated memory: 8032740 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.26 4.24 5/270 74250
/proc/meminfo: memFree=1524708/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=9418940 memory=8031460 CPUtime=3321.71 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2173164 0 0 0 327793 4378 0 0 20 0 1 0 67696604 9644994560 2007865 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2354735 2007865 2496 1147 0 2342162 0
Current children cumulated CPU time: 3330.7 s
Current children cumulated vsize: 9423132 KiB
Current children cumulated memory: 8034532 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.24 4.23 5/267 74254
/proc/meminfo: memFree=1627792/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=9428156 memory=8048740 CPUtime=3381.13 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2184627 0 0 0 333664 4449 0 0 20 0 1 0 67696604 9654431744 2012185 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2357039 2012185 2496 1147 0 2344466 0
Current children cumulated CPU time: 3390.12 s
Current children cumulated vsize: 9432348 KiB
Current children cumulated memory: 8051812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.22 4.23 5/268 74257
/proc/meminfo: memFree=1576144/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=10008512 memory=8507364 CPUtime=3440.62 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2326585 0 0 0 339511 4551 0 0 20 0 1 0 67696604 10248716288 2126841 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2502128 2126841 2496 1147 0 2489555 0
Current children cumulated CPU time: 3449.61 s
Current children cumulated vsize: 10012704 KiB
Current children cumulated memory: 8510436 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.22 5/268 74259
/proc/meminfo: memFree=1699136/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=10008512 memory=8507492 CPUtime=3500 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2330152 0 0 0 345357 4643 0 0 20 0 1 0 67696604 10248716288 2126873 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2502128 2126873 2496 1147 0 2489555 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 10012704 KiB
Current children cumulated memory: 8510564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.30 4.25 4.23 5/268 74263
/proc/meminfo: memFree=1565520/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=10009644 memory=8510692 CPUtime=3559.5 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2334367 0 0 0 351233 4717 0 0 20 0 1 0 67696604 10249875456 2127673 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2502411 2127673 2496 1147 0 2489838 0
Current children cumulated CPU time: 3568.49 s
Current children cumulated vsize: 10013836 KiB
Current children cumulated memory: 8513764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.2 s]
/proc/loadavg: 4.24 4.24 4.23 5/267 74263
/proc/meminfo: memFree=1525500/131382116 swapFree=33009904/33010684
[pid=73901] ppid=73898 vsize=4192 memory=3072 CPUtime=8.99 cores=0,2
/proc/73901/stat : 73901 (run-opt-break-l) S 73898 73901 73555 0 -1 4194304 242 25216 0 0 0 0 891 8 20 0 1 0 67695696 4292608 768 18446744073709551615 94369572605952 94369573500485 140720536278336 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94369573739536 94369573787280 94369593876480 140720536283413 140720536283614 140720536283614 140720536289216 0
/proc/73901/statm: 1048 768 704 219 0 110 0
[pid=73937] ppid=73901 vsize=10009644 memory=8510820 CPUtime=3591.01 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73901 73901 73555 0 -1 4194304 2335938 0 0 0 354352 4749 0 0 20 0 1 0 67696604 10249875456 2127705 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2502411 2127705 2496 1147 0 2489838 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 10013836 KiB
Current children cumulated memory: 8513892 KiB

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

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

# cumulated CPU time of all completed processes:  user=8.91381 s, system=0.091452 s

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

# cumulated CPU time of all completed processes:  user=3552.48 s, system=48.4033 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+3614.41 s]
/proc/loadavg: 4.22 4.23 4.23 8/266 74263
/proc/meminfo: memFree=1521948/131382116 swapFree=33009904/33010684
[pid=73937] ppid=73898 vsize=10009644 memory=8511076 CPUtime=3591.08 cores=0,2
/proc/73937/stat : 73937 (roundingsat) D 73898 73901 73555 0 -1 4194304 2335941 0 2 0 354353 4755 0 0 20 0 1 0 67696604 10249875456 2127769 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2502411 2127769 2560 1147 0 2489838 0
Current cumulated CPU time of completed processes: 9.00527 s
Current children cumulated CPU time: 3591.08 s
Current children cumulated vsize: 10009644 KiB
Current children cumulated memory: 8511076 KiB

[startup+3614.8 s]
/proc/loadavg: 4.22 4.23 4.23 8/266 74263
/proc/meminfo: memFree=1521948/131382116 swapFree=33009904/33010684
[pid=73937] ppid=73898 vsize=8544000 memory=6409060 CPUtime=3591.32 cores=0,2
/proc/73937/stat : 73937 (roundingsat) R 73898 73901 73555 0 -1 4194304 2335964 0 2 0 354356 4776 0 0 20 0 1 0 67696604 8749056000 1602265 18446744073709551615 4227072 8923433 140723857610416 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 24485888 140723857615124 140723857615400 140723857615400 140723857620970 0
/proc/73937/statm: 2136000 1602265 2560 1147 0 2123427 0
Current cumulated CPU time of completed processes: 9.00527 s
Current children cumulated CPU time: 3591.32 s
Current children cumulated vsize: 8544000 KiB
Current children cumulated memory: 6409060 KiB

[startup+3615.2 s]
/proc/loadavg: 4.22 4.23 4.23 6/266 74263
/proc/meminfo: memFree=6779332/131382116 swapFree=33009904/33010684
Current cumulated CPU time of completed processes: 9.00527 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3615.3 s]
/proc/loadavg: 4.22 4.23 4.23 6/266 74263
/proc/meminfo: memFree=6779332/131382116 swapFree=33009904/33010684
Current cumulated CPU time of completed processes: 9.00527 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3615.36
CPU time (s): 3600.88
CPU user time (s): 3552.48
CPU system time (s): 48.4033
CPU usage (%): 99.5997
Max. virtual memory (cumulated for all children) (KiB): 10013836
Max. memory (cumulated for all children) (KiB): 8513892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.48
system time used= 48.4033
maximum resident set size= 8511076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2361439
page faults= 2
swaps= 0
block input operations= 3784
block output operations= 74363048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10745
involuntary context switches= 8865


# summary of solver processes directly reported to runsolver:
#   pid: 73901,73937
#   total CPU time (s): 3600.88
#   total CPU user time (s): 3552.48
#   total CPU system time (s): 48.4033

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7129 second user time and 40.6301 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-03 07:22:45
IDJOB=4509337
IDBENCH=158611
IDSOLVER=3360
FILE ID=nodeC004/4509337-1751520165
RUNJOBID= nodeC004-1751516521-73565
SLURM_JOB_ID= 9598629
Free space on /tmp= 431664 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509337-1751520165/watcher-4509337-1751520165 -o /tmp/evaluation-result-4509337-1751520165/solver-4509337-1751520165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751516521-73565 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4509337-1751520165.opb PROOFDIR/proof-4509337-1751520165

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

MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=909599951

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        74107208 kB
MemAvailable:   128470212 kB
Buffers:            2128 kB
Cached:         55096688 kB
SwapCached:           40 kB
Active:          1803080 kB
Inactive:       54787932 kB
Active(anon):    1499264 kB
Inactive(anon):    10924 kB
Active(file):     303816 kB
Inactive(file): 54777008 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46460 kB
Writeback:             0 kB
AnonPages:       1491472 kB
Mapped:           113720 kB
Shmem:             17932 kB
KReclaimable:     243612 kB
Slab:             331200 kB
SReclaimable:     243612 kB
SUnreclaim:        87588 kB
KernelStack:        4240 kB
PageTables:         6260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2026100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149624 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1163264 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431684 MiB
End job on nodeC004 at 2025-07-03 08:23:01