Trace number 4532667

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 0f876b3? (TO) 3600.32 3609.23

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4532667-1752686656.opb'
0.00/0.04	c 	read 1.97MB  (22.61ms)
0.00/0.04	c	 [cnf: #variables 45696 #clauses 1557 #duplicates 0 #arr 182848]
0.00/0.04	c output proof to '/tmp/proof-4532667-1752686656'
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.10	c	 [group: #orbits ~= 752] (60.55ms)
0.00/0.10	c 
0.00/0.10	c detect special group actions
0.00/0.10	c 	probe for Johnson action (limit=64)
0.08/0.21	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.29/0.40	c 	probe for row symmetry (limit=64, splits=16.78M)
0.38/0.41	c 	recursing 3840 blocks of candidate 30x1428r
0.38/0.42	c 	recursing 18 blocks of candidate 3x128r
0.38/0.42	c 	recursing 630 blocks of candidate 5x1428r
0.38/0.42	c 	recursing 12 blocks of candidate 3x128r
0.38/0.42	c 	recursing 1240 blocks of candidate 10x1428r
0.38/0.43	c 	recursing 6 blocks of candidate 3x128r
0.38/0.43	c 	recursing 2318 blocks of candidate 19x1428r
0.38/0.45	c 	 found row 4x128, generating row predicate
0.38/0.47	c 	 found row 6x128, generating row predicate
0.38/0.50	c 	 found row 8x128, generating row predicate
0.48/0.51	c 	 found row 3x128, generating row predicate
0.48/0.53	c 	 found row 7x128, generating row predicate
0.48/0.56	c 	 found row 9x128, generating row predicate
0.48/0.60	c 	 found row 10x128, generating row predicate
0.57/0.64	c 	 found row 11x128, generating row predicate
0.57/0.68	c 	 found row 12x128, generating row predicate
0.67/0.73	c 	 found row 13x128, generating row predicate
0.67/0.78	c 	 found row 14x128, generating row predicate
0.77/0.83	c 	 found row 15x128, generating row predicate
0.77/0.89	c 	 found row 16x128, generating row predicate
0.87/0.96	c 	 found row 19x128, generating row predicate
0.97/1.03	c 	 found row 20x128, generating row predicate
1.07/1.12	c 	 found row 22x128, generating row predicate
1.17/1.23	c 	 found row 31x128, generating row predicate
1.27/1.36	c 	 found row 34x128, generating row predicate
1.47/1.53	c 	 found row 44x128, generating row predicate
1.77/1.89	c 	 found row 95x128, generating row predicate
1.87/1.94	c 	 found row 19x1428, generating row predicate
1.87/1.95	c 	 found row 3x128, generating row predicate
1.87/1.97	c 	recursing 62 blocks of candidate 31x128r
1.87/1.97	c 	recursing 2280 blocks of candidate 19x1428r
1.87/1.99	c 	 found row 4x128, generating row predicate
1.97/2.01	c 	 found row 6x128, generating row predicate
1.97/2.04	c 	 found row 8x128, generating row predicate
1.97/2.05	c 	 found row 3x128, generating row predicate
1.97/2.07	c 	 found row 7x128, generating row predicate
2.07/2.10	c 	 found row 9x128, generating row predicate
2.07/2.14	c 	 found row 10x128, generating row predicate
2.07/2.18	c 	 found row 11x128, generating row predicate
2.16/2.22	c 	 found row 12x128, generating row predicate
2.16/2.27	c 	 found row 13x128, generating row predicate
2.26/2.32	c 	 found row 14x128, generating row predicate
2.26/2.37	c 	 found row 15x128, generating row predicate
2.36/2.43	c 	 found row 16x128, generating row predicate
2.46/2.50	c 	 found row 19x128, generating row predicate
2.46/2.57	c 	 found row 20x128, generating row predicate
2.56/2.66	c 	 found row 22x128, generating row predicate
2.66/2.78	c 	 found row 34x128, generating row predicate
2.86/2.95	c 	 found row 44x128, generating row predicate
3.26/3.32	c 	 found row 95x128, generating row predicate
3.26/3.37	c 	 found row 19x1428, generating row predicate
3.36/3.48	c 	 found row 31x128, generating row predicate
3.46/3.52	c 	 found row 10x1428, generating row predicate
3.46/3.53	c 	 found row 3x128, generating row predicate
3.46/3.53	c 	recursing 28 blocks of candidate 14x128r
3.46/3.54	c 	recursing 2242 blocks of candidate 19x1428r
3.46/3.56	c 	 found row 4x128, generating row predicate
3.46/3.58	c 	 found row 6x128, generating row predicate
3.56/3.60	c 	 found row 8x128, generating row predicate
3.56/3.61	c 	 found row 3x128, generating row predicate
3.56/3.64	c 	 found row 7x128, generating row predicate
3.56/3.67	c 	 found row 9x128, generating row predicate
3.66/3.70	c 	 found row 10x128, generating row predicate
3.66/3.74	c 	 found row 11x128, generating row predicate
3.66/3.78	c 	 found row 12x128, generating row predicate
3.76/3.83	c 	 found row 13x128, generating row predicate
3.76/3.89	c 	 found row 15x128, generating row predicate
3.86/3.94	c 	 found row 16x128, generating row predicate
3.97/4.01	c 	 found row 19x128, generating row predicate
3.97/4.09	c 	 found row 20x128, generating row predicate
4.06/4.17	c 	 found row 22x128, generating row predicate
4.26/4.30	c 	 found row 34x128, generating row predicate
4.36/4.47	c 	 found row 44x128, generating row predicate
4.76/4.82	c 	 found row 95x128, generating row predicate
4.76/4.87	c 	 found row 19x1428, generating row predicate
4.86/4.92	c 	 found row 14x128, generating row predicate
4.86/4.95	c 	 found row 5x1428, generating row predicate
4.86/4.96	c 	 found row 3x128, generating row predicate
4.86/4.96	c 	recursing 16 blocks of candidate 8x128r
4.86/4.97	c 	recursing 2204 blocks of candidate 19x1428r
4.86/4.98	c 	 found row 4x128, generating row predicate
4.96/5.00	c 	 found row 6x128, generating row predicate
4.96/5.03	c 	 found row 8x128, generating row predicate
4.96/5.04	c 	 found row 3x128, generating row predicate
4.96/5.06	c 	 found row 7x128, generating row predicate
4.96/5.09	c 	 found row 9x128, generating row predicate
5.06/5.13	c 	 found row 10x128, generating row predicate
5.06/5.17	c 	 found row 11x128, generating row predicate
5.16/5.21	c 	 found row 12x128, generating row predicate
5.16/5.26	c 	 found row 13x128, generating row predicate
5.26/5.31	c 	 found row 15x128, generating row predicate
5.26/5.37	c 	 found row 16x128, generating row predicate
5.36/5.44	c 	 found row 19x128, generating row predicate
5.46/5.51	c 	 found row 20x128, generating row predicate
5.56/5.60	c 	 found row 22x128, generating row predicate
5.66/5.72	c 	 found row 34x128, generating row predicate
5.76/5.89	c 	 found row 44x128, generating row predicate
6.15/6.26	c 	 found row 95x128, generating row predicate
6.25/6.31	c 	 found row 19x1428, generating row predicate
6.25/6.33	c 	 found row 8x128, generating row predicate
6.25/6.35	c 	recursing 190 blocks of candidate 95x128r
6.25/6.36	c 	recursing 2166 blocks of candidate 19x1428r
6.25/6.38	c 	 found row 4x128, generating row predicate
6.35/6.40	c 	 found row 6x128, generating row predicate
6.35/6.43	c 	 found row 8x128, generating row predicate
6.35/6.44	c 	 found row 3x128, generating row predicate
6.35/6.46	c 	 found row 7x128, generating row predicate
6.35/6.49	c 	 found row 9x128, generating row predicate
6.45/6.53	c 	 found row 10x128, generating row predicate
6.45/6.57	c 	 found row 11x128, generating row predicate
6.55/6.61	c 	 found row 12x128, generating row predicate
6.55/6.66	c 	 found row 13x128, generating row predicate
6.65/6.71	c 	 found row 15x128, generating row predicate
6.65/6.77	c 	 found row 16x128, generating row predicate
6.75/6.84	c 	 found row 19x128, generating row predicate
6.85/6.92	c 	 found row 20x128, generating row predicate
6.85/7.00	c 	 found row 22x128, generating row predicate
7.06/7.13	c 	 found row 34x128, generating row predicate
7.15/7.29	c 	 found row 44x128, generating row predicate
7.25/7.34	c 	 found row 19x1428, generating row predicate
7.65/7.70	c 	 found row 95x128, generating row predicate
7.65/7.77	c 	 found row 30x1428, generating row predicate
7.65/7.77	c 	 (7672.83ms)
7.65/7.77	c 
7.65/7.77	c detect symmetries on remainder
7.65/7.77	c 	[graph: #vertices 275664 #edges 822518]
7.65/7.77	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
7.75/7.86	c 	 [group: #symmetries 9.91*10^113 #generators 174] (90.40ms)
7.75/7.86	c 
7.75/7.86	c optimize generators (opt_passes=64, conjugate_limit=256)
7.75/7.87	c 	ran it=0, +gens=3 
8.15/8.27	c 	con best_support=256, best_gens=174, +gens=209
8.15/8.27	c 	(407.81ms)
8.15/8.27	c 
8.15/8.27	c finalize break order and special generators
8.15/8.27	c 
8.15/8.27	c add generic predicates (break_depth=20)
8.15/8.27	c 	added predicates for 386 generators (1.66ms)
8.15/8.29	c 
8.15/8.29	c generation finished
8.15/8.29	c 	[sbp: #constraints 0 #add_vars 0]
8.15/8.29	c 
8.15/8.29	c write result to 'HOME/instance-4532667-1752686656.opb.pre'
8.15/8.29	c 	wrote 1.97MB (4.55ms)
8.15/8.29	c ------------------------------------------------------------------
8.15/8.29	c                7672.83ms 92.67% detect_special
8.15/8.29	c                 407.81ms  4.93% optimize_gens
8.15/8.29	c                  90.40ms  1.09% detect_generic
8.15/8.29	c                  60.55ms  0.73% approx_orbits
8.15/8.29	c                  22.61ms  0.27% parse
8.15/8.29	c                  16.34ms  0.20% other
8.15/8.29	c                   4.55ms  0.05% output
8.15/8.29	c                   2.65ms  0.03% finalize_order
8.15/8.29	c                   1.66ms  0.02% break_generic
8.15/8.29	c         ───────────────────────────────────────────────
8.15/8.29	c                8279.39ms   100% total
8.15/8.29	c ------------------------------------------------------------------
8.25/8.31	c RoundingSat 2
8.25/8.31	c branch pb25
8.25/8.31	c commit 0f876b3
8.26/8.42	c #variables 45696 #constraints 1555
8.26/8.42	c objective is ce32 
8.26/8.42	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
8.26/8.42	c initial counting CF 32, 64, 128, Arb: 129 , 0 , 0 , 0
8.26/8.42	c bounds - >= 0 @ 0.092973
20.71/20.88	c #Conflicts:       1000 | #Constraints:       2554
20.71/20.88	c #Conflicts:       2000 | #Constraints:       3554
20.71/20.88	c INPROCESSING
20.71/20.88	c GARBAGE COLLECT
20.71/20.88	c rational objective 64
26.80/26.98	c #Conflicts:       3000 | #Constraints:       3583
26.80/26.98	c #Conflicts:       4000 | #Constraints:       4583
26.80/26.98	c INPROCESSING
26.80/26.98	c GARBAGE COLLECT
26.80/26.98	c rational objective 64
90.25/90.50	c #Conflicts:       5000 | #Constraints:       3998
90.25/90.50	c #Conflicts:       6000 | #Constraints:       4998
90.25/90.50	c INPROCESSING
90.25/90.50	c GARBAGE COLLECT
90.25/90.50	c #Conflicts:       7000 | #Constraints:       3995
90.25/90.50	c #Conflicts:       8000 | #Constraints:       4996
90.25/90.50	c #Conflicts:       9000 | #Constraints:       5997
90.25/90.50	c INPROCESSING
90.25/90.50	c GARBAGE COLLECT
90.25/90.50	c #Conflicts:      10000 | #Constraints:       4691
90.25/90.50	c #Conflicts:      11000 | #Constraints:       5692
90.25/90.50	c #Conflicts:      12000 | #Constraints:       6692
90.25/90.50	c INPROCESSING
90.25/90.50	c GARBAGE COLLECT
90.25/90.50	c rational objective 64
151.61/152.09	c #Conflicts:      13000 | #Constraints:       5178
151.61/152.09	c #Conflicts:      14000 | #Constraints:       6188
151.61/152.09	c #Conflicts:      15000 | #Constraints:       7192
151.61/152.09	c INPROCESSING
151.61/152.09	c GARBAGE COLLECT
151.61/152.09	c #Conflicts:      16000 | #Constraints:       5393
151.61/152.09	c #Conflicts:      17000 | #Constraints:       6394
151.61/152.09	c #Conflicts:      18000 | #Constraints:       7396
151.61/152.09	c INPROCESSING
151.61/152.09	c GARBAGE COLLECT
151.61/152.09	c rational objective 64
211.06/211.69	c #Conflicts:      19000 | #Constraints:       5423
211.06/211.69	c #Conflicts:      20000 | #Constraints:       6424
211.06/211.69	c #Conflicts:      21000 | #Constraints:       7426
211.06/211.69	c INPROCESSING
211.06/211.69	c GARBAGE COLLECT
211.06/211.69	c rational objective 64
235.60/236.22	c #Conflicts:      22000 | #Constraints:       5228
235.60/236.22	c #Conflicts:      23000 | #Constraints:       6234
235.60/236.22	c #Conflicts:      24000 | #Constraints:       7234
235.60/236.22	c #Conflicts:      25000 | #Constraints:       8236
235.60/236.22	c INPROCESSING
235.60/236.22	c GARBAGE COLLECT
235.60/236.22	c rational objective 64
279.00/279.75	c #Conflicts:      26000 | #Constraints:       5826
279.00/279.75	c #Conflicts:      27000 | #Constraints:       6830
279.00/279.75	c #Conflicts:      28000 | #Constraints:       7835
279.00/279.75	c #Conflicts:      29000 | #Constraints:       8838
279.00/279.75	c INPROCESSING
279.00/279.75	c GARBAGE COLLECT
279.00/279.75	c rational objective 64
322.00/322.81	c #Conflicts:      30000 | #Constraints:       6223
322.00/322.81	c #Conflicts:      31000 | #Constraints:       7225
322.00/322.81	c #Conflicts:      32000 | #Constraints:       8225
322.00/322.81	c #Conflicts:      33000 | #Constraints:       9227
322.00/322.81	c INPROCESSING
322.00/322.81	c GARBAGE COLLECT
322.00/322.81	c rational objective 64
366.69/367.66	c #Conflicts:      34000 | #Constraints:       6427
366.69/367.66	c #Conflicts:      35000 | #Constraints:       7429
366.69/367.66	c #Conflicts:      36000 | #Constraints:       8430
366.69/367.66	c #Conflicts:      37000 | #Constraints:       9432
366.69/367.66	c INPROCESSING
366.69/367.66	c GARBAGE COLLECT
366.69/367.66	c rational objective 64
407.49/408.53	c #Conflicts:      38000 | #Constraints:       6431
407.49/408.53	c #Conflicts:      39000 | #Constraints:       7433
407.49/408.53	c #Conflicts:      40000 | #Constraints:       8439
407.49/408.53	c #Conflicts:      41000 | #Constraints:       9441
407.49/408.53	c INPROCESSING
407.49/408.53	c GARBAGE COLLECT
407.49/408.53	c rational objective 64
454.88/456.10	c #Conflicts:      42000 | #Constraints:       6246
454.88/456.10	c #Conflicts:      43000 | #Constraints:       7266
454.88/456.10	c #Conflicts:      44000 | #Constraints:       8272
454.88/456.10	c #Conflicts:      45000 | #Constraints:       9284
454.88/456.10	c #Conflicts:      46000 | #Constraints:      10296
454.88/456.10	c INPROCESSING
454.88/456.10	c GARBAGE COLLECT
454.88/456.10	c rational objective 64
489.40/490.61	c #Conflicts:      47000 | #Constraints:       6863
489.40/490.61	c #Conflicts:      48000 | #Constraints:       7885
489.40/490.61	c #Conflicts:      49000 | #Constraints:       8887
489.40/490.61	c #Conflicts:      50000 | #Constraints:       9894
489.40/490.61	c #Conflicts:      51000 | #Constraints:      10894
489.40/490.61	c INPROCESSING
489.40/490.61	c GARBAGE COLLECT
489.40/490.61	c rational objective 64
539.78/541.15	c #Conflicts:      52000 | #Constraints:       7268
539.78/541.15	c #Conflicts:      53000 | #Constraints:       8272
539.78/541.15	c #Conflicts:      54000 | #Constraints:       9279
539.78/541.15	c #Conflicts:      55000 | #Constraints:      10287
539.78/541.15	c #Conflicts:      56000 | #Constraints:      11287
539.78/541.15	c INPROCESSING
539.78/541.15	c GARBAGE COLLECT
539.78/541.15	c rational objective 64
563.01/564.46	c #Conflicts:      57000 | #Constraints:       7447
563.01/564.46	c #Conflicts:      58000 | #Constraints:       8447
563.01/564.46	c #Conflicts:      59000 | #Constraints:       9447
563.01/564.46	c #Conflicts:      60000 | #Constraints:      10447
563.01/564.46	c #Conflicts:      61000 | #Constraints:      11448
563.01/564.46	c INPROCESSING
563.01/564.46	c GARBAGE COLLECT
563.01/564.46	c rational objective 64
598.23/599.79	c #Conflicts:      62000 | #Constraints:       7459
598.23/599.79	c #Conflicts:      63000 | #Constraints:       8459
598.23/599.79	c #Conflicts:      64000 | #Constraints:       9459
598.23/599.79	c #Conflicts:      65000 | #Constraints:      10459
598.23/599.79	c #Conflicts:      66000 | #Constraints:      11462
598.23/599.79	c INPROCESSING
598.23/599.79	c GARBAGE COLLECT
598.23/599.79	c rational objective 64
635.94/637.58	c #Conflicts:      67000 | #Constraints:       7249
635.94/637.58	c #Conflicts:      68000 | #Constraints:       8271
635.94/637.58	c #Conflicts:      69000 | #Constraints:       9299
635.94/637.58	c #Conflicts:      70000 | #Constraints:      10305
635.94/637.58	c #Conflicts:      71000 | #Constraints:      11307
635.94/637.58	c #Conflicts:      72000 | #Constraints:      12311
635.94/637.58	c INPROCESSING
635.94/637.58	c GARBAGE COLLECT
635.94/637.58	c rational objective 64
668.96/670.67	c #Conflicts:      73000 | #Constraints:       7857
668.96/670.67	c #Conflicts:      74000 | #Constraints:       8857
668.96/670.67	c #Conflicts:      75000 | #Constraints:       9857
668.96/670.67	c #Conflicts:      76000 | #Constraints:      10857
668.96/670.67	c #Conflicts:      77000 | #Constraints:      11857
668.96/670.67	c #Conflicts:      78000 | #Constraints:      12858
668.96/670.67	c INPROCESSING
668.96/670.67	c GARBAGE COLLECT
668.96/670.67	c rational objective 64
717.54/719.34	c #Conflicts:      79000 | #Constraints:       8242
717.54/719.34	c #Conflicts:      80000 | #Constraints:       9246
717.54/719.34	c #Conflicts:      81000 | #Constraints:      10247
717.54/719.34	c #Conflicts:      82000 | #Constraints:      11248
717.54/719.34	c #Conflicts:      83000 | #Constraints:      12248
717.54/719.34	c #Conflicts:      84000 | #Constraints:      13248
717.54/719.34	c INPROCESSING
717.54/719.34	c GARBAGE COLLECT
717.54/719.34	c rational objective 64
762.63/764.54	c #Conflicts:      85000 | #Constraints:       8435
762.63/764.54	c #Conflicts:      86000 | #Constraints:       9435
762.63/764.54	c #Conflicts:      87000 | #Constraints:      10435
762.63/764.54	c #Conflicts:      88000 | #Constraints:      11435
762.63/764.54	c #Conflicts:      89000 | #Constraints:      12435
762.63/764.54	c #Conflicts:      90000 | #Constraints:      13435
762.63/764.54	c INPROCESSING
762.63/764.54	c GARBAGE COLLECT
762.63/764.54	c rational objective 64
794.66/796.66	c #Conflicts:      91000 | #Constraints:       8417
794.66/796.66	c #Conflicts:      92000 | #Constraints:       9417
794.66/796.66	c #Conflicts:      93000 | #Constraints:      10417
794.66/796.66	c #Conflicts:      94000 | #Constraints:      11417
794.66/796.66	c #Conflicts:      95000 | #Constraints:      12417
794.66/796.66	c #Conflicts:      96000 | #Constraints:      13417
794.66/796.66	c INPROCESSING
794.66/796.66	c GARBAGE COLLECT
794.66/796.66	c rational objective 64
835.06/837.16	c #Conflicts:      97000 | #Constraints:       8219
835.06/837.16	c #Conflicts:      98000 | #Constraints:       9219
835.06/837.16	c #Conflicts:      99000 | #Constraints:      10219
835.06/837.16	c #Conflicts:     100000 | #Constraints:      11219
835.06/837.16	c #Conflicts:     101000 | #Constraints:      12223
835.06/837.16	c #Conflicts:     102000 | #Constraints:      13251
835.06/837.16	c #Conflicts:     103000 | #Constraints:      14256
835.06/837.16	c INPROCESSING
835.06/837.16	c GARBAGE COLLECT
835.06/837.16	c rational objective 64
860.69/862.86	c #Conflicts:     104000 | #Constraints:       8828
860.69/862.86	c #Conflicts:     105000 | #Constraints:       9828
860.69/862.86	c #Conflicts:     106000 | #Constraints:      10828
860.69/862.86	c #Conflicts:     107000 | #Constraints:      11828
860.69/862.86	c #Conflicts:     108000 | #Constraints:      12828
860.69/862.86	c #Conflicts:     109000 | #Constraints:      13828
860.69/862.86	c #Conflicts:     110000 | #Constraints:      14828
860.69/862.86	c INPROCESSING
860.69/862.86	c GARBAGE COLLECT
860.69/862.86	c rational objective 64
893.91/896.18	c #Conflicts:     111000 | #Constraints:       9227
893.91/896.18	c #Conflicts:     112000 | #Constraints:      10227
893.91/896.18	c #Conflicts:     113000 | #Constraints:      11227
893.91/896.18	c #Conflicts:     114000 | #Constraints:      12229
893.91/896.18	c #Conflicts:     115000 | #Constraints:      13231
893.91/896.18	c #Conflicts:     116000 | #Constraints:      14235
893.91/896.18	c #Conflicts:     117000 | #Constraints:      15237
893.91/896.18	c INPROCESSING
893.91/896.18	c GARBAGE COLLECT
893.91/896.18	c rational objective 64
1034.97/1037.58	c #Conflicts:     118000 | #Constraints:       9440
1034.97/1037.58	c #Conflicts:     119000 | #Constraints:      10443
1034.97/1037.58	c #Conflicts:     120000 | #Constraints:      11448
1034.97/1037.58	c #Conflicts:     121000 | #Constraints:      12448
1034.97/1037.58	c #Conflicts:     122000 | #Constraints:      13465
1034.97/1037.58	c #Conflicts:     123000 | #Constraints:      14481
1034.97/1037.58	c #Conflicts:     124000 | #Constraints:      15488
1034.97/1037.58	c INPROCESSING
1034.97/1037.58	c GARBAGE COLLECT
1034.97/1037.58	c rational objective 64
1122.16/1124.97	c #Conflicts:     125000 | #Constraints:       9450
1122.16/1124.97	c #Conflicts:     126000 | #Constraints:      10454
1122.16/1124.97	c #Conflicts:     127000 | #Constraints:      11460
1122.16/1124.97	c #Conflicts:     128000 | #Constraints:      12463
1122.16/1124.97	c #Conflicts:     129000 | #Constraints:      13465
1122.16/1124.97	c #Conflicts:     130000 | #Constraints:      14472
1122.16/1124.97	c #Conflicts:     131000 | #Constraints:      15473
1122.16/1124.97	c INPROCESSING
1122.16/1124.97	c GARBAGE COLLECT
1122.16/1124.97	c rational objective 64
1186.01/1188.90	c #Conflicts:     132000 | #Constraints:       9253
1186.01/1188.90	c #Conflicts:     133000 | #Constraints:      10254
1186.01/1188.90	c #Conflicts:     134000 | #Constraints:      11255
1186.01/1188.90	c #Conflicts:     135000 | #Constraints:      12256
1186.01/1188.90	c #Conflicts:     136000 | #Constraints:      13256
1186.01/1188.90	c #Conflicts:     137000 | #Constraints:      14263
1186.01/1188.90	c #Conflicts:     138000 | #Constraints:      15280
1186.01/1188.90	c #Conflicts:     139000 | #Constraints:      16291
1186.01/1188.90	c INPROCESSING
1186.01/1188.90	c GARBAGE COLLECT
1186.01/1188.90	c rational objective 64
1239.77/1242.80	c #Conflicts:     140000 | #Constraints:       9859
1239.77/1242.80	c #Conflicts:     141000 | #Constraints:      10859
1239.77/1242.80	c #Conflicts:     142000 | #Constraints:      11859
1239.77/1242.80	c #Conflicts:     143000 | #Constraints:      12859
1239.77/1242.80	c #Conflicts:     144000 | #Constraints:      13859
1239.77/1242.80	c #Conflicts:     145000 | #Constraints:      14859
1239.77/1242.80	c #Conflicts:     146000 | #Constraints:      15859
1239.77/1242.80	c #Conflicts:     147000 | #Constraints:      16859
1239.77/1242.80	c INPROCESSING
1239.77/1242.80	c GARBAGE COLLECT
1239.77/1242.80	c rational objective 64
1281.88/1285.05	c #Conflicts:     148000 | #Constraints:      10252
1281.88/1285.05	c #Conflicts:     149000 | #Constraints:      11252
1281.88/1285.05	c #Conflicts:     150000 | #Constraints:      12252
1281.88/1285.05	c #Conflicts:     151000 | #Constraints:      13252
1281.88/1285.05	c #Conflicts:     152000 | #Constraints:      14252
1281.88/1285.05	c #Conflicts:     153000 | #Constraints:      15252
1281.88/1285.05	c #Conflicts:     154000 | #Constraints:      16252
1281.88/1285.05	c #Conflicts:     155000 | #Constraints:      17252
1281.88/1285.05	c INPROCESSING
1281.88/1285.05	c GARBAGE COLLECT
1281.88/1285.05	c rational objective 64
1357.98/1361.34	c #Conflicts:     156000 | #Constraints:      10435
1357.98/1361.34	c #Conflicts:     157000 | #Constraints:      11436
1357.98/1361.34	c #Conflicts:     158000 | #Constraints:      12436
1357.98/1361.34	c #Conflicts:     159000 | #Constraints:      13455
1357.98/1361.34	c #Conflicts:     160000 | #Constraints:      14463
1357.98/1361.34	c #Conflicts:     161000 | #Constraints:      15465
1357.98/1361.34	c #Conflicts:     162000 | #Constraints:      16474
1357.98/1361.34	c #Conflicts:     163000 | #Constraints:      17480
1357.98/1361.34	c INPROCESSING
1357.98/1361.34	c GARBAGE COLLECT
1357.98/1361.34	c rational objective 64
1397.69/1401.14	c #Conflicts:     164000 | #Constraints:      10448
1397.69/1401.14	c #Conflicts:     165000 | #Constraints:      11462
1397.69/1401.14	c #Conflicts:     166000 | #Constraints:      12462
1397.69/1401.14	c #Conflicts:     167000 | #Constraints:      13462
1397.69/1401.14	c #Conflicts:     168000 | #Constraints:      14462
1397.69/1401.14	c #Conflicts:     169000 | #Constraints:      15462
1397.69/1401.14	c #Conflicts:     170000 | #Constraints:      16462
1397.69/1401.14	c #Conflicts:     171000 | #Constraints:      17462
1397.69/1401.14	c INPROCESSING
1397.69/1401.14	c GARBAGE COLLECT
1397.69/1401.14	c rational objective 64
1433.89/1437.40	c #Conflicts:     172000 | #Constraints:      10249
1433.89/1437.40	c #Conflicts:     173000 | #Constraints:      11249
1433.89/1437.40	c #Conflicts:     174000 | #Constraints:      12249
1433.89/1437.40	c #Conflicts:     175000 | #Constraints:      13249
1433.89/1437.40	c #Conflicts:     176000 | #Constraints:      14249
1433.89/1437.40	c #Conflicts:     177000 | #Constraints:      15249
1433.89/1437.40	c #Conflicts:     178000 | #Constraints:      16249
1433.89/1437.40	c #Conflicts:     179000 | #Constraints:      17249
1433.89/1437.40	c #Conflicts:     180000 | #Constraints:      18250
1433.89/1437.40	c INPROCESSING
1433.89/1437.40	c GARBAGE COLLECT
1433.89/1437.40	c rational objective 64
1567.07/1570.92	c #Conflicts:     181000 | #Constraints:      10838
1567.07/1570.92	c #Conflicts:     182000 | #Constraints:      11839
1567.07/1570.92	c #Conflicts:     183000 | #Constraints:      12840
1567.07/1570.92	c #Conflicts:     184000 | #Constraints:      13842
1567.07/1570.92	c #Conflicts:     185000 | #Constraints:      14855
1567.07/1570.92	c #Conflicts:     186000 | #Constraints:      15859
1567.07/1570.92	c #Conflicts:     187000 | #Constraints:      16863
1567.07/1570.92	c #Conflicts:     188000 | #Constraints:      17871
1567.07/1570.92	c #Conflicts:     189000 | #Constraints:      18882
1567.07/1570.92	c INPROCESSING
1567.07/1570.92	c GARBAGE COLLECT
1567.07/1570.92	c rational objective 64
1695.36/1699.55	c #Conflicts:     190000 | #Constraints:      11264
1695.36/1699.55	c #Conflicts:     191000 | #Constraints:      12264
1695.36/1699.55	c #Conflicts:     192000 | #Constraints:      13264
1695.36/1699.55	c #Conflicts:     193000 | #Constraints:      14264
1695.36/1699.55	c #Conflicts:     194000 | #Constraints:      15264
1695.36/1699.55	c #Conflicts:     195000 | #Constraints:      16264
1695.36/1699.55	c #Conflicts:     196000 | #Constraints:      17264
1695.36/1699.55	c #Conflicts:     197000 | #Constraints:      18264
1695.36/1699.55	c #Conflicts:     198000 | #Constraints:      19264
1695.36/1699.55	c INPROCESSING
1695.36/1699.55	c GARBAGE COLLECT
1695.36/1699.55	c rational objective 64
1787.53/1791.90	c #Conflicts:     199000 | #Constraints:      11507
1787.53/1791.90	c #Conflicts:     200000 | #Constraints:      12508
1787.53/1791.90	c #Conflicts:     201000 | #Constraints:      13512
1787.53/1791.90	c #Conflicts:     202000 | #Constraints:      14519
1787.53/1791.90	c #Conflicts:     203000 | #Constraints:      15525
1787.53/1791.90	c #Conflicts:     204000 | #Constraints:      16530
1787.53/1791.90	c #Conflicts:     205000 | #Constraints:      17547
1787.53/1791.90	c #Conflicts:     206000 | #Constraints:      18559
1787.53/1791.90	c #Conflicts:     207000 | #Constraints:      19559
1787.53/1791.90	c INPROCESSING
1787.53/1791.90	c GARBAGE COLLECT
1787.53/1791.90	c rational objective 64
1838.40/1842.92	c #Conflicts:     208000 | #Constraints:      11494
1838.40/1842.92	c #Conflicts:     209000 | #Constraints:      12499
1838.40/1842.92	c #Conflicts:     210000 | #Constraints:      13524
1838.40/1842.92	c #Conflicts:     211000 | #Constraints:      14551
1838.40/1842.92	c #Conflicts:     212000 | #Constraints:      15559
1838.40/1842.92	c #Conflicts:     213000 | #Constraints:      16585
1838.40/1842.92	c #Conflicts:     214000 | #Constraints:      17591
1838.40/1842.92	c #Conflicts:     215000 | #Constraints:      18592
1838.40/1842.92	c #Conflicts:     216000 | #Constraints:      19592
1838.40/1842.92	c INPROCESSING
1838.40/1842.92	c GARBAGE COLLECT
1838.40/1842.92	c rational objective 64
1907.03/1911.79	c #Conflicts:     217000 | #Constraints:      11320
1907.03/1911.79	c #Conflicts:     218000 | #Constraints:      12320
1907.03/1911.79	c #Conflicts:     219000 | #Constraints:      13320
1907.03/1911.79	c #Conflicts:     220000 | #Constraints:      14320
1907.03/1911.79	c #Conflicts:     221000 | #Constraints:      15320
1907.03/1911.79	c #Conflicts:     222000 | #Constraints:      16320
1907.03/1911.79	c #Conflicts:     223000 | #Constraints:      17320
1907.03/1911.79	c #Conflicts:     224000 | #Constraints:      18320
1907.03/1911.79	c #Conflicts:     225000 | #Constraints:      19320
1907.03/1911.79	c #Conflicts:     226000 | #Constraints:      20320
1907.03/1911.79	c INPROCESSING
1907.03/1911.79	c GARBAGE COLLECT
1907.03/1911.79	c rational objective 64
1951.13/1956.00	c #Conflicts:     227000 | #Constraints:      11863
1951.13/1956.00	c #Conflicts:     228000 | #Constraints:      12863
1951.13/1956.00	c #Conflicts:     229000 | #Constraints:      13863
1951.13/1956.00	c #Conflicts:     230000 | #Constraints:      14863
1951.13/1956.00	c #Conflicts:     231000 | #Constraints:      15863
1951.13/1956.00	c #Conflicts:     232000 | #Constraints:      16863
1951.13/1956.00	c #Conflicts:     233000 | #Constraints:      17863
1951.13/1956.00	c #Conflicts:     234000 | #Constraints:      18863
1951.13/1956.00	c #Conflicts:     235000 | #Constraints:      19863
1951.13/1956.00	c #Conflicts:     236000 | #Constraints:      20863
1951.13/1956.00	c INPROCESSING
1951.13/1956.00	c GARBAGE COLLECT
1951.13/1956.00	c rational objective 64
1982.26/1987.14	c #Conflicts:     237000 | #Constraints:      12234
1982.26/1987.14	c #Conflicts:     238000 | #Constraints:      13234
1982.26/1987.14	c #Conflicts:     239000 | #Constraints:      14234
1982.26/1987.14	c #Conflicts:     240000 | #Constraints:      15234
1982.26/1987.14	c #Conflicts:     241000 | #Constraints:      16234
1982.26/1987.14	c #Conflicts:     242000 | #Constraints:      17234
1982.26/1987.14	c #Conflicts:     243000 | #Constraints:      18234
1982.26/1987.14	c #Conflicts:     244000 | #Constraints:      19234
1982.26/1987.14	c #Conflicts:     245000 | #Constraints:      20234
1982.26/1987.14	c #Conflicts:     246000 | #Constraints:      21234
1982.26/1987.14	c INPROCESSING
1982.26/1987.14	c GARBAGE COLLECT
1982.26/1987.14	c rational objective 64
2018.76/2023.78	c #Conflicts:     247000 | #Constraints:      12414
2018.76/2023.78	c #Conflicts:     248000 | #Constraints:      13414
2018.76/2023.78	c #Conflicts:     249000 | #Constraints:      14414
2018.76/2023.78	c #Conflicts:     250000 | #Constraints:      15414
2018.76/2023.78	c #Conflicts:     251000 | #Constraints:      16414
2018.76/2023.78	c #Conflicts:     252000 | #Constraints:      17414
2018.76/2023.78	c #Conflicts:     253000 | #Constraints:      18414
2018.76/2023.78	c #Conflicts:     254000 | #Constraints:      19414
2018.76/2023.78	c #Conflicts:     255000 | #Constraints:      20415
2018.76/2023.78	c #Conflicts:     256000 | #Constraints:      21417
2018.76/2023.78	c INPROCESSING
2018.76/2023.78	c GARBAGE COLLECT
2018.76/2023.78	c rational objective 64
2125.20/2130.46	c #Conflicts:     257000 | #Constraints:      12429
2125.20/2130.46	c #Conflicts:     258000 | #Constraints:      13433
2125.20/2130.46	c #Conflicts:     259000 | #Constraints:      14434
2125.20/2130.46	c #Conflicts:     260000 | #Constraints:      15436
2125.20/2130.46	c #Conflicts:     261000 | #Constraints:      16447
2125.20/2130.46	c #Conflicts:     262000 | #Constraints:      17456
2125.20/2130.46	c #Conflicts:     263000 | #Constraints:      18466
2125.20/2130.46	c #Conflicts:     264000 | #Constraints:      19476
2125.20/2130.46	c #Conflicts:     265000 | #Constraints:      20503
2125.20/2130.46	c #Conflicts:     266000 | #Constraints:      21506
2125.20/2130.46	c INPROCESSING
2125.20/2130.46	c GARBAGE COLLECT
2125.20/2130.46	c rational objective 64
2199.11/2204.52	c #Conflicts:     267000 | #Constraints:      12286
2199.11/2204.52	c #Conflicts:     268000 | #Constraints:      13295
2199.11/2204.52	c #Conflicts:     269000 | #Constraints:      14310
2199.11/2204.52	c #Conflicts:     270000 | #Constraints:      15329
2199.11/2204.52	c #Conflicts:     271000 | #Constraints:      16337
2199.11/2204.52	c #Conflicts:     272000 | #Constraints:      17348
2199.11/2204.52	c #Conflicts:     273000 | #Constraints:      18348
2199.11/2204.52	c #Conflicts:     274000 | #Constraints:      19348
2199.11/2204.52	c #Conflicts:     275000 | #Constraints:      20352
2199.11/2204.52	c #Conflicts:     276000 | #Constraints:      21366
2199.11/2204.52	c #Conflicts:     277000 | #Constraints:      22368
2199.11/2204.52	c INPROCESSING
2199.11/2204.52	c GARBAGE COLLECT
2199.11/2204.52	c rational objective 64
2289.50/2295.18	c #Conflicts:     278000 | #Constraints:      12896
2289.50/2295.18	c #Conflicts:     279000 | #Constraints:      13898
2289.50/2295.18	c #Conflicts:     280000 | #Constraints:      14899
2289.50/2295.18	c #Conflicts:     281000 | #Constraints:      15899
2289.50/2295.18	c #Conflicts:     282000 | #Constraints:      16899
2289.50/2295.18	c #Conflicts:     283000 | #Constraints:      17900
2289.50/2295.18	c #Conflicts:     284000 | #Constraints:      18900
2289.50/2295.18	c #Conflicts:     285000 | #Constraints:      19901
2289.50/2295.18	c #Conflicts:     286000 | #Constraints:      20902
2289.50/2295.18	c #Conflicts:     287000 | #Constraints:      21902
2289.50/2295.18	c #Conflicts:     288000 | #Constraints:      22902
2289.50/2295.18	c INPROCESSING
2289.50/2295.18	c GARBAGE COLLECT
2289.50/2295.18	c rational objective 64
2466.97/2473.04	c #Conflicts:     289000 | #Constraints:      13261
2466.97/2473.04	c #Conflicts:     290000 | #Constraints:      14263
2466.97/2473.04	c #Conflicts:     291000 | #Constraints:      15277
2466.97/2473.04	c #Conflicts:     292000 | #Constraints:      16283
2466.97/2473.04	c #Conflicts:     293000 | #Constraints:      17297
2466.97/2473.04	c #Conflicts:     294000 | #Constraints:      18299
2466.97/2473.04	c #Conflicts:     295000 | #Constraints:      19309
2466.97/2473.04	c #Conflicts:     296000 | #Constraints:      20319
2466.97/2473.04	c #Conflicts:     297000 | #Constraints:      21324
2466.97/2473.04	c #Conflicts:     298000 | #Constraints:      22335
2466.97/2473.04	c #Conflicts:     299000 | #Constraints:      23346
2466.97/2473.04	c INPROCESSING
2466.97/2473.04	c GARBAGE COLLECT
2466.97/2473.04	c rational objective 64
2624.38/2630.88	c #Conflicts:     300000 | #Constraints:      13485
2624.38/2630.88	c #Conflicts:     301000 | #Constraints:      14486
2624.38/2630.88	c #Conflicts:     302000 | #Constraints:      15487
2624.38/2630.88	c #Conflicts:     303000 | #Constraints:      16487
2624.38/2630.88	c #Conflicts:     304000 | #Constraints:      17487
2624.38/2630.88	c #Conflicts:     305000 | #Constraints:      18488
2624.38/2630.88	c #Conflicts:     306000 | #Constraints:      19490
2624.38/2630.88	c #Conflicts:     307000 | #Constraints:      20491
2624.38/2630.88	c #Conflicts:     308000 | #Constraints:      21492
2624.38/2630.88	c #Conflicts:     309000 | #Constraints:      22492
2624.38/2630.88	c #Conflicts:     310000 | #Constraints:      23492
2624.38/2630.88	c INPROCESSING
2624.38/2630.88	c GARBAGE COLLECT
2624.38/2630.88	c rational objective 64
2740.98/2747.73	c #Conflicts:     311000 | #Constraints:      13467
2740.98/2747.73	c #Conflicts:     312000 | #Constraints:      14468
2740.98/2747.73	c #Conflicts:     313000 | #Constraints:      15475
2740.98/2747.73	c #Conflicts:     314000 | #Constraints:      16489
2740.98/2747.73	c #Conflicts:     315000 | #Constraints:      17507
2740.98/2747.73	c #Conflicts:     316000 | #Constraints:      18527
2740.98/2747.73	c #Conflicts:     317000 | #Constraints:      19536
2740.98/2747.73	c #Conflicts:     318000 | #Constraints:      20542
2740.98/2747.73	c #Conflicts:     319000 | #Constraints:      21547
2740.98/2747.73	c #Conflicts:     320000 | #Constraints:      22561
2740.98/2747.73	c #Conflicts:     321000 | #Constraints:      23585
2740.98/2747.73	c INPROCESSING
2740.98/2747.73	c GARBAGE COLLECT
2740.98/2747.73	c rational objective 64
3028.27/3035.78	c #Conflicts:     322000 | #Constraints:      13317
3028.27/3035.78	c #Conflicts:     323000 | #Constraints:      14321
3028.27/3035.78	c #Conflicts:     324000 | #Constraints:      15322
3028.27/3035.78	c #Conflicts:     325000 | #Constraints:      16322
3028.27/3035.78	c #Conflicts:     326000 | #Constraints:      17323
3028.27/3035.78	c #Conflicts:     327000 | #Constraints:      18323
3028.27/3035.78	c #Conflicts:     328000 | #Constraints:      19324
3028.27/3035.78	c #Conflicts:     329000 | #Constraints:      20324
3028.27/3035.78	c #Conflicts:     330000 | #Constraints:      21324
3028.27/3035.78	c #Conflicts:     331000 | #Constraints:      22325
3028.27/3035.78	c #Conflicts:     332000 | #Constraints:      23326
3028.27/3035.78	c #Conflicts:     333000 | #Constraints:      24326
3028.27/3035.78	c INPROCESSING
3028.27/3035.78	c GARBAGE COLLECT
3028.27/3035.78	c rational objective 64
3100.68/3108.38	c #Conflicts:     334000 | #Constraints:      13867
3100.68/3108.38	c #Conflicts:     335000 | #Constraints:      14867
3100.68/3108.38	c #Conflicts:     336000 | #Constraints:      15867
3100.68/3108.38	c #Conflicts:     337000 | #Constraints:      16867
3100.68/3108.38	c #Conflicts:     338000 | #Constraints:      17871
3100.68/3108.38	c #Conflicts:     339000 | #Constraints:      18874
3100.68/3108.38	c #Conflicts:     340000 | #Constraints:      19876
3100.68/3108.38	c #Conflicts:     341000 | #Constraints:      20877
3100.68/3108.38	c #Conflicts:     342000 | #Constraints:      21879
3100.68/3108.38	c #Conflicts:     343000 | #Constraints:      22880
3100.68/3108.38	c #Conflicts:     344000 | #Constraints:      23880
3100.68/3108.38	c #Conflicts:     345000 | #Constraints:      24884
3100.68/3108.38	c INPROCESSING
3100.68/3108.38	c GARBAGE COLLECT
3100.68/3108.38	c rational objective 64
3282.82/3290.96	c #Conflicts:     346000 | #Constraints:      14253
3282.82/3290.96	c #Conflicts:     347000 | #Constraints:      15256
3282.82/3290.96	c #Conflicts:     348000 | #Constraints:      16260
3282.82/3290.96	c #Conflicts:     349000 | #Constraints:      17266
3282.82/3290.96	c #Conflicts:     350000 | #Constraints:      18277
3282.82/3290.96	c #Conflicts:     351000 | #Constraints:      19284
3282.82/3290.96	c #Conflicts:     352000 | #Constraints:      20284
3282.82/3290.96	c #Conflicts:     353000 | #Constraints:      21291
3282.82/3290.96	c #Conflicts:     354000 | #Constraints:      22298
3282.82/3290.96	c #Conflicts:     355000 | #Constraints:      23325
3282.82/3290.96	c #Conflicts:     356000 | #Constraints:      24338
3282.82/3290.96	c #Conflicts:     357000 | #Constraints:      25359
3282.82/3290.96	c INPROCESSING
3282.82/3290.96	c GARBAGE COLLECT
3282.82/3290.96	c rational objective 64
3392.34/3400.77	c #Conflicts:     358000 | #Constraints:      14486
3392.34/3400.77	c #Conflicts:     359000 | #Constraints:      15486
3392.34/3400.77	c #Conflicts:     360000 | #Constraints:      16488
3392.34/3400.77	c #Conflicts:     361000 | #Constraints:      17489
3392.34/3400.77	c #Conflicts:     362000 | #Constraints:      18498
3392.34/3400.77	c #Conflicts:     363000 | #Constraints:      19514
3392.34/3400.77	c #Conflicts:     364000 | #Constraints:      20533
3392.34/3400.77	c #Conflicts:     365000 | #Constraints:      21538
3392.34/3400.77	c #Conflicts:     366000 | #Constraints:      22548
3392.34/3400.77	c #Conflicts:     367000 | #Constraints:      23559
3392.34/3400.77	c #Conflicts:     368000 | #Constraints:      24568
3392.34/3400.77	c #Conflicts:     369000 | #Constraints:      25581
3392.34/3400.77	c INPROCESSING
3392.34/3400.77	c GARBAGE COLLECT
3392.34/3400.77	c rational objective 64
3579.66/3588.50	c #Conflicts:     370000 | #Constraints:      14503
3579.66/3588.50	c #Conflicts:     371000 | #Constraints:      15503
3579.66/3588.50	c #Conflicts:     372000 | #Constraints:      16503
3579.66/3588.50	c #Conflicts:     373000 | #Constraints:      17503
3579.66/3588.50	c #Conflicts:     374000 | #Constraints:      18505
3579.66/3588.50	c #Conflicts:     375000 | #Constraints:      19517
3579.66/3588.50	c #Conflicts:     376000 | #Constraints:      20527
3579.66/3588.50	c #Conflicts:     377000 | #Constraints:      21527
3579.66/3588.50	c #Conflicts:     378000 | #Constraints:      22527
3579.66/3588.50	c #Conflicts:     379000 | #Constraints:      23540
3579.66/3588.50	c #Conflicts:     380000 | #Constraints:      24543
3579.66/3588.50	c #Conflicts:     381000 | #Constraints:      25550
3579.66/3588.50	c INPROCESSING
3579.66/3588.50	c GARBAGE COLLECT
3579.66/3588.50	c rational objective 64
3600.02/3608.93	c #Conflicts:     382000 | #Constraints:      14300
3600.02/3608.93	c #Conflicts:     383000 | #Constraints:      15315
3600.02/3608.93	c cpu time 3547.75 s
3600.02/3608.93	c deterministic time 368297092374 3.68e+11
3600.02/3608.93	c optimization time 17.6532 s
3600.02/3608.93	c total solve time 3530.01 s
3600.02/3608.93	c core-guided solve time 1348.07 s
3600.02/3608.93	c propagation time 1937.35 s
3600.02/3608.93	c conflict analysis time 1102.43 s
3600.02/3608.93	c propagations 160555014
3600.02/3608.93	c resolve steps 1580217
3600.02/3608.93	c decisions 20895137
3600.02/3608.93	c conflicts 383562
3600.02/3608.93	c restarts 921
3600.02/3608.93	c inprocessing phases 53
3600.02/3608.93	c garbage collections 53 ,( 100.00 )
3600.02/3608.93	c input clauses 713 ,( 45.85 )
3600.02/3608.93	c input cardinalities 714 ,( 45.92 )
3600.02/3608.93	c input general constraints 128 ,( 8.23 )
3600.02/3608.93	c input average constraint length 117.42
3600.02/3608.93	c input average constraint degree 24560.17
3600.02/3608.93	c learned clauses 6205 ,( 1.61 )
3600.02/3608.93	c learned cardinalities 279 ,( 0.07 )
3600.02/3608.93	c learned general constraints 379462 ,( 98.32 )
3600.02/3608.93	c learned average constraint length 7450.46
3600.02/3608.93	c learned average constraint degree 30730241449.93
3600.02/3608.93	c watched  CF 32, 64, 128, Arb: 138866 , 0 , 0 , 0
3600.02/3608.93	c counting CF 32, 64, 128, Arb: 240725 , 0 , 0 , 0
3600.02/3608.93	c watched   constraints 138866 ,( 36.58 ) 
3600.02/3608.93	c counting  constraints 240724 ,( 63.42 ) 
3600.02/3608.93	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2727018 , 2103689 , 529489942 ,( 115730750 , 413759192 )
3600.02/3608.93	c gcd simplifications 2714
3600.02/3608.93	c detected cardinalities 2
3600.02/3608.93	c weakened non-implied lits 589183633
3600.02/3608.93	c weakened non-implying lits 1076480
3600.02/3608.93	c original variables 45696
3600.02/3608.93	c clausal propagations 775872
3600.02/3608.93	c cardinality propagations 31555370
3600.02/3608.93	c watched propagations 1423143
3600.02/3608.93	c counting propagations 113356327
3600.02/3608.93	c watch lookups 41509065376
3600.02/3608.93	c watch backjump lookups 0
3600.02/3608.93	c watch checks 145413288349
3600.02/3608.93	c propagation checks 174113316395
3600.02/3608.93	c constraint additions 6897600667
3600.02/3608.93	c trail pops 181804705
3600.02/3608.93	c formula constraints 1555
3600.02/3608.93	c learned constraints 382230
3600.02/3608.93	c bound constraints 0
3600.02/3608.93	c core-guided constraints 0
3600.02/3608.93	c encountered formula constraints 1126058
3600.02/3608.93	c encountered learned constraints 719936
3600.02/3608.93	c encountered bound constraints 0
3600.02/3608.93	c encountered core-guided constraints 0
3600.02/3608.93	c LP total time 558.137 s
3600.02/3608.93	c LP solve time 358.37 s
3600.02/3608.93	c LP constraints added 2469
3600.02/3608.93	c LP constraints removed 895
3600.02/3608.93	c LP pivots internal 384680
3600.02/3608.93	c LP pivots root 182050
3600.02/3608.93	c LP calls 15955
3600.02/3608.93	c LP optimalities 14458
3600.02/3608.93	c LP no pivot count 6648
3600.02/3608.93	c LP infeasibilities 1489
3600.02/3608.93	c LP valid Farkas constraints 1480
3600.02/3608.93	c LP learned Farkas constraints 1331
3600.02/3608.93	c LP basis resets 11
3600.02/3608.93	c LP cycling count 0
3600.02/3608.93	c LP singular count 2
3600.02/3608.93	c LP no primal count 0
3600.02/3608.93	c LP no farkas count 9
3600.02/3608.93	c LP other issue count 0
3600.02/3608.93	c LP Gomory cuts 905
3600.02/3608.93	c LP learned cuts 9
3600.02/3608.93	c LP deleted cuts 895
3600.02/3608.93	c LP encountered Gomory constraints 51
3600.02/3608.93	c LP encountered Farkas constraints 108638
3600.02/3608.93	c LP encountered learned Farkas constraints 7765
3600.02/3608.93	c CG auxiliary variables introduced 0
3600.02/3608.93	c CG solutions found 0
3600.02/3608.93	c CG cores constructed 0
3600.02/3608.93	c CG core cardinality constraints returned 0
3600.02/3608.93	c CG unit cores 0
3600.02/3608.93	c CG single cores 0
3600.02/3608.93	c CG blocks removed during cardinality reduction 0
3600.02/3608.93	c CG first core best 0
3600.02/3608.93	c CG decision core best 0
3600.02/3608.93	c CG core reduction tie 0
3600.02/3608.93	c CG core degree average 0.00
3600.02/3608.93	c CG core slack average 0.00
3600.02/3608.93	c CG core upper bound improvements 0
3600.02/3608.93	c STR number of successful calls 0
3600.02/3608.93	c STR number of unsuccessful calls 0
3600.02/3608.93	c STR number of inconclusive calls 0
3600.02/3608.93	c STR number of successful attempts 0
3600.02/3608.93	c STR number of unsuccessful attempts 0
3600.02/3608.93	c STR number of inconclusive attempts 0
3600.02/3608.93	c STR average degree increase per successful call inf
3600.02/3608.93	c STR average degree increase per successful attempt inf
3600.02/3608.93	c STR total number of conflicts for successful attempts 0
3600.02/3608.93	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3608.93	c STR total number of conflicts for inconclusive attempts 0
3600.02/3608.93	c STR average number of conflicts per successful attempt inf
3600.02/3608.93	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3608.93	c STR average number of conflicts per inconclusive attempt inf
3600.02/3608.93	c AVG.sumWPerc 51.22 
3600.02/3608.93	c bigint constraints 0 
3600.02/3608.93	s UNKNOWN
3600.02/3608.93	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62350 MiB free)
  memory of node 1: 64465 MiB (62683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532667-1752686656/watcher-4532667-1752686656 -o /tmp/evaluation-result-4532667-1752686656/solver-4532667-1752686656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752683038-143468 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532667-1752686656.opb /tmp/proof-4532667-1752686656 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100063 s]*
/proc/loadavg: 4.64 4.66 4.55 5/268 143970
/proc/meminfo: memFree=127974064/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143966] ppid=143964 vsize=79036 memory=51192 CPUtime=0.08 cores=1,3
/proc/143966/stat : 143966 (pbsuma) R 143964 143964 143451 0 -1 4194304 13142 0 0 0 6 2 0 0 20 0 1 0 184342172 80932864 12798 18446744073709551615 4210688 4653049 140721037044576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25178112 140721037048071 140721037048368 140721037048368 140721037053935 0
/proc/143966/statm: 19759 12798 992 108 0 17167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83228 KiB
Current children cumulated memory: 54136 KiB

[startup+0.205705 s]*
/proc/loadavg: 4.64 4.66 4.55 5/273 143980
/proc/meminfo: memFree=127968680/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143966] ppid=143964 vsize=81192 memory=56696 CPUtime=0.18 cores=1,3
/proc/143966/stat : 143966 (pbsuma) R 143964 143964 143451 0 -1 4194304 14518 0 0 0 16 2 0 0 20 0 1 0 184342172 83140608 14174 18446744073709551615 4210688 4653049 140721037044576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25178112 140721037048071 140721037048368 140721037048368 140721037053935 0
/proc/143966/statm: 20298 14174 992 108 0 17706 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 85384 KiB
Current children cumulated memory: 59640 KiB

[startup+0.3059 s]*
/proc/loadavg: 4.64 4.66 4.55 5/273 143980
/proc/meminfo: memFree=127912292/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143966] ppid=143964 vsize=88728 memory=66276 CPUtime=0.29 cores=1,3
/proc/143966/stat : 143966 (pbsuma) R 143964 143964 143451 0 -1 4194304 15383 0 0 0 26 3 0 0 20 0 1 0 184342172 90857472 16569 18446744073709551615 4210688 4653049 140721037044576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25178112 140721037048071 140721037048368 140721037048368 140721037053935 0
/proc/143966/statm: 22182 16569 992 108 0 19590 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92920 KiB
Current children cumulated memory: 69220 KiB

[startup+0.700154 s]
/proc/loadavg: 4.64 4.66 4.55 5/273 143980
/proc/meminfo: memFree=127888352/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143966] ppid=143964 vsize=98140 memory=74724 CPUtime=0.67 cores=1,3
/proc/143966/stat : 143966 (pbsuma) R 143964 143964 143451 0 -1 4194304 17814 0 0 0 64 3 0 0 20 0 1 0 184342172 100495360 18681 18446744073709551615 4210688 4653049 140721037044576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25178112 140721037048071 140721037048368 140721037048368 140721037053935 0
/proc/143966/statm: 24535 18681 992 108 0 21943 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 102332 KiB
Current children cumulated memory: 77668 KiB

[startup+1.50016 s]
/proc/loadavg: 4.64 4.66 4.55 5/273 143980
/proc/meminfo: memFree=127844188/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143966] ppid=143964 vsize=98560 memory=75108 CPUtime=1.47 cores=1,3
/proc/143966/stat : 143966 (pbsuma) R 143964 143964 143451 0 -1 4194304 17894 0 0 0 144 3 0 0 20 0 1 0 184342172 100925440 18777 18446744073709551615 4210688 4653049 140721037044576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25178112 140721037048071 140721037048368 140721037048368 140721037053935 0
/proc/143966/statm: 24640 18777 992 108 0 22048 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 102752 KiB
Current children cumulated memory: 78052 KiB

[startup+3.10534 s]
/proc/loadavg: 4.66 4.66 4.56 5/274 143981
/proc/meminfo: memFree=127816716/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143966] ppid=143964 vsize=100048 memory=77412 CPUtime=3.07 cores=1,3
/proc/143966/stat : 143966 (pbsuma) R 143964 143964 143451 0 -1 4194304 18488 0 0 0 304 3 0 0 20 0 1 0 184342172 102449152 19353 18446744073709551615 4210688 4653049 140721037044576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25178112 140721037048071 140721037048368 140721037048368 140721037053935 0
/proc/143966/statm: 25012 19353 992 108 0 22420 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 104240 KiB
Current children cumulated memory: 80356 KiB

[startup+6.30013 s]
/proc/loadavg: 4.66 4.66 4.56 5/274 143982
/proc/meminfo: memFree=127788980/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143966] ppid=143964 vsize=100048 memory=78436 CPUtime=6.25 cores=1,3
/proc/143966/stat : 143966 (pbsuma) R 143964 143964 143451 0 -1 4194304 18752 0 0 0 622 3 0 0 20 0 1 0 184342172 102449152 19609 18446744073709551615 4210688 4653049 140721037044576 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 25178112 140721037048071 140721037048368 140721037048368 140721037053935 0
/proc/143966/statm: 25012 19609 992 108 0 22420 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 104240 KiB
Current children cumulated memory: 81380 KiB

[startup+12.7002 s]
/proc/loadavg: 4.64 4.66 4.55 5/274 143983
/proc/meminfo: memFree=127528488/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=149736 memory=101744 CPUtime=4.36 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 16552 0 0 0 423 13 0 0 20 0 1 0 184343002 153329664 25436 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 37434 25436 2400 1147 0 24860 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 153928 KiB
Current children cumulated memory: 104688 KiB

[startup+25.5002 s]
/proc/loadavg: 4.54 4.64 4.55 5/274 143983
/proc/meminfo: memFree=126780612/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=433760 memory=355808 CPUtime=17.14 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 64278 0 0 0 1673 41 0 0 20 0 1 0 184343002 444170240 88952 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 108440 88952 2400 1147 0 95866 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 437952 KiB
Current children cumulated memory: 358752 KiB

[startup+51.1056 s]
/proc/loadavg: 4.42 4.60 4.54 5/275 143990
/proc/meminfo: memFree=125322408/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=604464 memory=541532 CPUtime=42.68 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 104695 0 0 0 4184 84 0 0 20 0 1 0 184343002 618971136 135383 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 151116 135383 2400 1147 0 138542 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 608656 KiB
Current children cumulated memory: 544476 KiB

[startup+102.3 s]
/proc/loadavg: 4.34 4.55 4.52 5/275 143991
/proc/meminfo: memFree=121264764/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=1743804 memory=1526420 CPUtime=93.76 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 317794 0 0 0 9168 208 0 0 20 0 1 0 184343002 1785655296 381605 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 435951 381605 2400 1147 0 423377 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1747996 KiB
Current children cumulated memory: 1529364 KiB

[startup+162.3 s]
/proc/loadavg: 4.36 4.52 4.52 5/274 143993
/proc/meminfo: memFree=117394984/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=2355968 memory=2023764 CPUtime=153.61 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 416902 0 0 0 15082 279 0 0 20 0 1 0 184343002 2412511232 505941 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 588992 505941 2400 1147 0 576418 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2360160 KiB
Current children cumulated memory: 2026708 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 4.54 4.53 5/272 143995
/proc/meminfo: memFree=113861508/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=2774968 memory=2545996 CPUtime=213.47 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 520416 0 0 0 20974 373 0 0 20 0 1 0 184343002 2841567232 636499 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 693742 636499 2400 1147 0 681168 0
Current children cumulated CPU time: 221.73 s

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

[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=9416964 memory=8026616 CPUtime=3086.44 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1842877 0 0 0 304836 3808 0 0 20 0 1 0 184343002 9642971136 2006654 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2354241 2006654 2528 1147 0 2341667 0
Current children cumulated CPU time: 3094.7 s
Current children cumulated vsize: 9421156 KiB
Current children cumulated memory: 8029560 KiB

[startup+3162.3 s]
/proc/loadavg: 4.31 4.27 4.30 5/270 144167
/proc/meminfo: memFree=8376284/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=9424432 memory=8030096 CPUtime=3146.29 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1852342 0 0 0 310740 3889 0 0 20 0 1 0 184343002 9650618368 2007524 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2356108 2007524 2528 1147 0 2343534 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 9428624 KiB
Current children cumulated memory: 8033040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.28 4.30 5/270 144169
/proc/meminfo: memFree=6456992/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=9424432 memory=8038544 CPUtime=3206.14 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1854788 0 0 0 316675 3939 0 0 20 0 1 0 184343002 9650618368 2009636 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2356108 2009636 2528 1147 0 2343534 0
Current children cumulated CPU time: 3214.4 s
Current children cumulated vsize: 9428624 KiB
Current children cumulated memory: 8041488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.30 4.31 5/272 144174
/proc/meminfo: memFree=3588528/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=9961352 memory=8446096 CPUtime=3265.98 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1957190 0 0 0 322574 4024 0 0 20 0 1 0 184343002 10200424448 2111524 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2490338 2111524 2528 1147 0 2477764 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 9965544 KiB
Current children cumulated memory: 8449040 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.31 4.31 5/272 144177
/proc/meminfo: memFree=1271824/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=10010624 memory=8506256 CPUtime=3325.82 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1972872 0 0 0 328467 4115 0 0 20 0 1 0 184343002 10250878976 2126564 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2502656 2126564 2528 1147 0 2490082 0
Current children cumulated CPU time: 3334.08 s
Current children cumulated vsize: 10014816 KiB
Current children cumulated memory: 8509200 KiB

[startup+3402.3 s]
/proc/loadavg: 4.41 4.34 4.32 5/272 144179
/proc/meminfo: memFree=1111688/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=10010624 memory=8506640 CPUtime=3385.67 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1973064 0 0 0 334377 4190 0 0 20 0 1 0 184343002 10250878976 2126660 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2502656 2126660 2528 1147 0 2490082 0
Current children cumulated CPU time: 3393.93 s
Current children cumulated vsize: 10014816 KiB
Current children cumulated memory: 8509584 KiB

[startup+3462.3 s]
/proc/loadavg: 3.85 4.20 4.27 4/266 144213
/proc/meminfo: memFree=12663264/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=10013176 memory=8512528 CPUtime=3445.52 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1975160 0 0 0 340309 4243 0 0 20 0 1 0 184343002 10253492224 2128132 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2503294 2128132 2528 1147 0 2490720 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 10017368 KiB
Current children cumulated memory: 8515472 KiB

[startup+3522.3 s]
/proc/loadavg: 3.54 4.05 4.22 4/266 144215
/proc/meminfo: memFree=10623476/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=10013176 memory=8513424 CPUtime=3505.37 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1976064 0 0 0 346244 4293 0 0 20 0 1 0 184343002 10253492224 2128356 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2503294 2128356 2528 1147 0 2490720 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 10017368 KiB
Current children cumulated memory: 8516368 KiB

[startup+3582.3 s]
/proc/loadavg: 3.48 3.95 4.17 4/264 144217
/proc/meminfo: memFree=9197860/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=10088096 memory=8567824 CPUtime=3565.22 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1990560 0 0 0 352164 4358 0 0 20 0 1 0 184343002 10330210304 2141956 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2522024 2141956 2528 1147 0 2509450 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 10092288 KiB
Current children cumulated memory: 8570768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 3.36 3.87 4.14 4/265 144221
/proc/meminfo: memFree=8603804/131250000 swapFree=33008356/33010684
[pid=143964] ppid=143960 vsize=4192 memory=2944 CPUtime=8.26 cores=1,3
/proc/143964/stat : 143964 (run-opt-break-l) S 143960 143964 143451 0 -1 4194304 239 25731 0 0 0 0 821 5 20 0 1 0 184342171 4292608 736 18446744073709551615 94132683649024 94132684543557 140723663733344 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94132684782608 94132684830352 94132710199296 140723663739193 140723663739356 140723663739356 140723663744960 0
/proc/143964/statm: 1048 736 672 219 0 110 0
[pid=143983] ppid=143964 vsize=10090632 memory=8587968 CPUtime=3591.76 cores=1,3
/proc/143983/stat : 143983 (roundingsat) R 143964 143964 143451 0 -1 4194304 1992071 0 0 0 354775 4401 0 0 20 0 1 0 184343002 10332807168 2146992 18446744073709551615 4227072 8923577 140725517333296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 34123776 140725517334840 140725517335078 140725517335078 140725517340650 0
/proc/143983/statm: 2522658 2146992 2528 1147 0 2510084 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 10094824 KiB
Current children cumulated memory: 8590912 KiB

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

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

# cumulated CPU time of all completed processes:  user=8.21652 s, system=0.051378 s

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

# cumulated CPU time of all completed processes:  user=3555.99 s, system=44.3318 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+3609.21 s]
/proc/loadavg: 3.36 3.87 4.14 4/264 144221
/proc/meminfo: memFree=14144968/131250000 swapFree=33008356/33010684
Current cumulated CPU time of completed processes: 8.2679 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): 3609.23
CPU time (s): 3600.32
CPU user time (s): 3555.99
CPU system time (s): 44.3318
CPU usage (%): 99.7533
Max. virtual memory (cumulated for all children) (KiB): 10094824
Max. memory (cumulated for all children) (KiB): 8590912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.99
system time used= 44.3318
maximum resident set size= 8588096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2018063
page faults= 2
swaps= 0
block input operations= 3784
block output operations= 78010568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 330
involuntary context switches= 8152


# summary of solver processes directly reported to runsolver:
#   pid: 143964,143983
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3555.99
#   total CPU system time (s): 44.3318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1389 second user time and 16.2313 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-16 19:24:16
IDJOB=4532667
IDBENCH=158611
IDSOLVER=3393
FILE ID=nodeC014/4532667-1752686656
RUNJOBID= nodeC014-1752683038-143468
SLURM_JOB_ID= 9686909
Free space on /tmp= 431772 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532667-1752686656/watcher-4532667-1752686656 -o /tmp/evaluation-result-4532667-1752686656/solver-4532667-1752686656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752683038-143468 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532667-1752686656.opb /tmp/proof-4532667-1752686656

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

MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=581247084

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128033476 kB
MemAvailable:   129258532 kB
Buffers:             696 kB
Cached:          1970684 kB
SwapCached:         1624 kB
Active:          1241592 kB
Inactive:        1161088 kB
Active(anon):     429868 kB
Inactive(anon):    25772 kB
Active(file):     811724 kB
Inactive(file):  1135316 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            118360 kB
Writeback:             0 kB
AnonPages:        432544 kB
Mapped:           113992 kB
Shmem:             24600 kB
KReclaimable:     234508 kB
Slab:             331040 kB
SReclaimable:     234508 kB
SUnreclaim:        96532 kB
KernelStack:        4304 kB
PageTables:         3880 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     861652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 332328 MiB
End job on nodeC014 at 2025-07-16 20:24:25