Trace number 4497197

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 63f22adOPT cert.50769 635.166 643.177

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
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 benchmark50769
Best CPU time to get the best result obtained on this benchmark4.19641
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4497197-1751379050.opb'
0.00/0.01	c 	read 0.27MB  (4.51ms)
0.00/0.01	c	 [cnf: #variables 3945 #clauses 8605 #duplicates 0 #arr 23996]
0.00/0.01	c output proof to 'PROOFDIR/proof-4497197-1751379050'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 8] (6.31ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (0.88ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 26254 #edges 75400]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 4.00*10^0 #generators 2] (4.56ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	(0.00ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c add generic predicates (break_depth=20)
0.00/0.03	c 	added predicates for 2 generators (0.01ms)
0.00/0.03	c 
0.00/0.03	c generation finished
0.00/0.03	c 	[sbp: #constraints 20 #add_vars 6]
0.00/0.03	c 
0.00/0.03	c write result to 'HOME/instance-4497197-1751379050.opb.pre'
0.00/0.03	c 	wrote 0.28MB (0.78ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   6.31ms 34.89% approx_orbits
0.00/0.03	c                   4.56ms 25.20% detect_generic
0.00/0.03	c                   4.50ms 24.91% parse
0.00/0.03	c                   0.91ms  5.03% other
0.00/0.03	c                   0.88ms  4.84% detect_special
0.00/0.03	c                   0.78ms  4.31% output
0.00/0.03	c                   0.14ms  0.77% finalize_order
0.00/0.03	c                   0.01ms  0.03% break_generic
0.00/0.03	c                   0.00ms  0.02% optimize_gens
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  18.09ms   100% total
0.00/0.03	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.09	c #variables 3951 #constraints 8602
0.00/0.09	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.09	c bounds - >= 0 @ 0.042106
0.17/0.24	c bounds 55914 >= 0 @ 0.172767
1.75/1.88	c #Conflicts:       1000 | #Constraints:       9602
1.75/1.88	c #Conflicts:       2000 | #Constraints:      10602
1.75/1.88	c INPROCESSING
1.75/1.88	c GARBAGE COLLECT
1.75/1.88	c rational objective 49519.9
2.45/2.57	c bounds 55732 >= 0 @ 2.39066
2.84/2.95	c bounds 55445 >= 0 @ 2.75865
4.14/4.25	c #Conflicts:       3000 | #Constraints:       9551
4.14/4.25	c bounds 55257 >= 0 @ 4.01373
4.74/4.87	c #Conflicts:       4000 | #Constraints:      10562
4.74/4.87	c INPROCESSING
4.74/4.87	c GARBAGE COLLECT
4.74/4.87	c rational objective 49730.5
8.23/8.39	c #Conflicts:       5000 | #Constraints:       9960
8.23/8.39	c #Conflicts:       6000 | #Constraints:      10979
8.23/8.39	c bounds 55239 >= 0 @ 8.01056
8.33/8.40	c bounds 55175 >= 0 @ 8.02184
9.13/9.27	c INPROCESSING
9.13/9.27	c GARBAGE COLLECT
9.13/9.27	c rational objective 49797.6
12.72/12.84	c #Conflicts:       7000 | #Constraints:      10044
12.72/12.84	c #Conflicts:       8000 | #Constraints:      11082
12.72/12.84	c bounds 55137 >= 0 @ 12.3521
15.71/15.83	c #Conflicts:       9000 | #Constraints:      12179
15.71/15.83	c INPROCESSING
15.71/15.83	c GARBAGE COLLECT
15.71/15.83	c rational objective 49819.3
16.31/16.42	c bounds 55093 >= 0 @ 15.8397
16.31/16.43	c bounds 55075 >= 0 @ 15.8469
22.99/23.11	c #Conflicts:      10000 | #Constraints:      10833
22.99/23.11	c #Conflicts:      11000 | #Constraints:      12171
22.99/23.11	c #Conflicts:      12000 | #Constraints:      13586
22.99/23.11	c INPROCESSING
22.99/23.11	c GARBAGE COLLECT
22.99/23.11	c rational objective 50038.3
29.08/29.23	c #Conflicts:      13000 | #Constraints:      11671
29.08/29.23	c #Conflicts:      14000 | #Constraints:      12679
29.08/29.23	c #Conflicts:      15000 | #Constraints:      13682
29.08/29.23	c INPROCESSING
29.08/29.23	c GARBAGE COLLECT
29.08/29.23	c rational objective 49869.4
29.98/30.13	c bounds 54726 >= 0 @ 29.1763
35.16/35.36	c #Conflicts:      16000 | #Constraints:      11642
35.16/35.36	c #Conflicts:      17000 | #Constraints:      12646
35.16/35.36	c #Conflicts:      18000 | #Constraints:      13656
35.16/35.36	c INPROCESSING
35.16/35.36	c GARBAGE COLLECT
35.16/35.36	c rational objective 49870
35.86/36.05	c bounds 54502 >= 0 @ 34.9229
44.74/45.00	c #Conflicts:      19000 | #Constraints:      11558
44.74/45.00	c #Conflicts:      20000 | #Constraints:      12639
44.74/45.00	c #Conflicts:      21000 | #Constraints:      13919
44.74/45.00	c INPROCESSING
44.74/45.00	c GARBAGE COLLECT
44.74/45.00	c rational objective 49887.3
56.71/57.00	c #Conflicts:      22000 | #Constraints:      11577
56.71/57.00	c #Conflicts:      23000 | #Constraints:      12829
56.71/57.00	c #Conflicts:      24000 | #Constraints:      13901
56.71/57.00	c #Conflicts:      25000 | #Constraints:      14908
56.71/57.00	c INPROCESSING
56.71/57.00	c GARBAGE COLLECT
56.71/57.00	c rational objective 49892.9
57.61/57.87	c bounds 54458 >= 0 @ 56.1738
57.61/57.88	c bounds 54449 >= 0 @ 56.1842
57.71/57.93	c bounds 54440 >= 0 @ 56.236
65.28/65.53	c #Conflicts:      26000 | #Constraints:      12155
65.28/65.53	c #Conflicts:      27000 | #Constraints:      13200
65.28/65.53	c #Conflicts:      28000 | #Constraints:      14315
65.28/65.53	c #Conflicts:      29000 | #Constraints:      15439
65.28/65.53	c INPROCESSING
65.28/65.53	c GARBAGE COLLECT
65.28/65.53	c rational objective 49931.8
77.36/77.64	c #Conflicts:      30000 | #Constraints:      12651
77.36/77.64	c #Conflicts:      31000 | #Constraints:      13676
77.36/77.64	c #Conflicts:      32000 | #Constraints:      14726
77.36/77.64	c #Conflicts:      33000 | #Constraints:      15800
77.36/77.64	c INPROCESSING
77.36/77.64	c GARBAGE COLLECT
77.36/77.64	c rational objective 49932.3
91.83/92.14	c #Conflicts:      34000 | #Constraints:      12749
91.83/92.14	c #Conflicts:      35000 | #Constraints:      13991
91.83/92.14	c #Conflicts:      36000 | #Constraints:      15093
91.83/92.14	c #Conflicts:      37000 | #Constraints:      16100
91.83/92.14	c INPROCESSING
91.83/92.14	c GARBAGE COLLECT
91.83/92.14	c rational objective 49932.7
93.11/93.42	c bounds 54347 >= 0 @ 90.8733
101.90/102.20	c #Conflicts:      38000 | #Constraints:      12745
101.90/102.20	c #Conflicts:      39000 | #Constraints:      13745
101.90/102.20	c #Conflicts:      40000 | #Constraints:      14745
101.90/102.20	c #Conflicts:      41000 | #Constraints:      15747
101.90/102.20	c INPROCESSING
101.90/102.20	c GARBAGE COLLECT
101.90/102.20	c rational objective 49968.8
113.67/114.01	c #Conflicts:      42000 | #Constraints:      12386
113.67/114.01	c #Conflicts:      43000 | #Constraints:      13413
113.67/114.01	c #Conflicts:      44000 | #Constraints:      14424
113.67/114.01	c #Conflicts:      45000 | #Constraints:      15447
113.67/114.01	c #Conflicts:      46000 | #Constraints:      16449
113.67/114.01	c INPROCESSING
113.67/114.01	c GARBAGE COLLECT
113.67/114.01	c rational objective 49971.9
115.06/115.49	c bounds 54344 >= 0 @ 112.317
126.92/127.37	c #Conflicts:      47000 | #Constraints:      12916
126.92/127.37	c #Conflicts:      48000 | #Constraints:      13917
126.92/127.37	c #Conflicts:      49000 | #Constraints:      14918
126.92/127.37	c #Conflicts:      50000 | #Constraints:      15919
126.92/127.37	c #Conflicts:      51000 | #Constraints:      16920
126.92/127.37	c INPROCESSING
126.92/127.37	c GARBAGE COLLECT
126.92/127.37	c #Conflicts:      52000 | #Constraints:      13290
126.92/127.37	c #Conflicts:      53000 | #Constraints:      14293
126.92/127.37	c bounds 54320 >= 0 @ 123.77
130.91/131.30	c #Conflicts:      54000 | #Constraints:      15303
130.91/131.30	c #Conflicts:      55000 | #Constraints:      16305
130.91/131.30	c #Conflicts:      56000 | #Constraints:      17312
130.91/131.30	c INPROCESSING
130.91/131.30	c GARBAGE COLLECT
130.91/131.30	c rational objective 49896.6
136.20/136.61	c #Conflicts:      57000 | #Constraints:      13547
136.20/136.61	c #Conflicts:      58000 | #Constraints:      14591
136.20/136.61	c bounds 54233 >= 0 @ 132.753
136.20/136.66	c bounds 54066 >= 0 @ 132.797
136.20/136.67	c bounds 54058 >= 0 @ 132.803
142.78/143.27	c #Conflicts:      59000 | #Constraints:      15627
142.78/143.27	c #Conflicts:      60000 | #Constraints:      16698
142.78/143.27	c #Conflicts:      61000 | #Constraints:      17960
142.78/143.27	c INPROCESSING
142.78/143.27	c GARBAGE COLLECT
142.78/143.27	c rational objective 49906.7
143.88/144.32	c bounds 53962 >= 0 @ 140.262
143.88/144.34	c bounds 53944 >= 0 @ 140.286
156.03/156.57	c #Conflicts:      62000 | #Constraints:      13694
156.03/156.57	c #Conflicts:      63000 | #Constraints:      14807
156.03/156.57	c #Conflicts:      64000 | #Constraints:      16044
156.03/156.57	c #Conflicts:      65000 | #Constraints:      17053
156.03/156.57	c #Conflicts:      66000 | #Constraints:      18056
156.03/156.57	c INPROCESSING
156.03/156.57	c GARBAGE COLLECT
156.03/156.57	c rational objective 49958.7
172.69/173.22	c #Conflicts:      67000 | #Constraints:      13687
172.69/173.22	c #Conflicts:      68000 | #Constraints:      14957
172.69/173.22	c #Conflicts:      69000 | #Constraints:      15995
172.69/173.22	c #Conflicts:      70000 | #Constraints:      16997
172.69/173.22	c #Conflicts:      71000 | #Constraints:      17998
172.69/173.22	c #Conflicts:      72000 | #Constraints:      18998
172.69/173.22	c INPROCESSING
172.69/173.22	c GARBAGE COLLECT
172.69/173.22	c rational objective 49939
185.25/185.83	c #Conflicts:      73000 | #Constraints:      14190
185.25/185.83	c #Conflicts:      74000 | #Constraints:      15240
185.25/185.83	c #Conflicts:      75000 | #Constraints:      16265
185.25/185.83	c #Conflicts:      76000 | #Constraints:      17438
185.25/185.83	c #Conflicts:      77000 | #Constraints:      18492
185.25/185.83	c #Conflicts:      78000 | #Constraints:      19556
185.25/185.83	c INPROCESSING
185.25/185.83	c GARBAGE COLLECT
185.25/185.83	c rational objective 49939.1
195.52/196.16	c #Conflicts:      79000 | #Constraints:      14596
195.52/196.16	c #Conflicts:      80000 | #Constraints:      15614
195.52/196.16	c #Conflicts:      81000 | #Constraints:      16625
195.52/196.16	c #Conflicts:      82000 | #Constraints:      17633
195.52/196.16	c #Conflicts:      83000 | #Constraints:      18644
195.52/196.16	c #Conflicts:      84000 | #Constraints:      19651
195.52/196.16	c INPROCESSING
195.52/196.16	c GARBAGE COLLECT
195.52/196.16	c rational objective 49939.1
197.02/197.67	c bounds 53854 >= 0 @ 192.266
210.58/211.23	c #Conflicts:      85000 | #Constraints:      14633
210.58/211.23	c #Conflicts:      86000 | #Constraints:      15637
210.58/211.23	c #Conflicts:      87000 | #Constraints:      16750
210.58/211.23	c #Conflicts:      88000 | #Constraints:      17942
210.58/211.23	c #Conflicts:      89000 | #Constraints:      19033
210.58/211.23	c #Conflicts:      90000 | #Constraints:      20090
210.58/211.23	c INPROCESSING
210.58/211.23	c GARBAGE COLLECT
210.58/211.23	c rational objective 49939.1
228.83/229.55	c #Conflicts:      91000 | #Constraints:      15054
228.83/229.55	c #Conflicts:      92000 | #Constraints:      16442
228.83/229.55	c #Conflicts:      93000 | #Constraints:      17882
228.83/229.55	c #Conflicts:      94000 | #Constraints:      19140
228.83/229.55	c #Conflicts:      95000 | #Constraints:      20515
228.83/229.55	c #Conflicts:      96000 | #Constraints:      21814
228.83/229.55	c INPROCESSING
228.83/229.55	c GARBAGE COLLECT
228.83/229.55	c rational objective 49942
230.13/230.80	c bounds 53816 >= 0 @ 224.62
232.52/233.29	c #Conflicts:      97000 | #Constraints:      15458
232.52/233.29	c #Conflicts:      98000 | #Constraints:      16475
232.52/233.29	c bounds 53809 >= 0 @ 227.028
232.52/233.29	c bounds 53751 >= 0 @ 227.033
235.51/236.26	c #Conflicts:      99000 | #Constraints:      17497
235.51/236.26	c #Conflicts:     100000 | #Constraints:      18517
235.51/236.26	c bounds 53042 >= 0 @ 229.897
236.21/236.92	c #Conflicts:     101000 | #Constraints:      19537
236.21/236.92	c bounds 53022 >= 0 @ 230.545
238.50/239.21	c #Conflicts:     102000 | #Constraints:      20544
238.50/239.21	c bounds 52958 >= 0 @ 232.738
239.41/240.19	c #Conflicts:     103000 | #Constraints:      21562
239.41/240.19	c INPROCESSING
239.41/240.19	c GARBAGE COLLECT
239.41/240.19	c rational objective 49939.1
248.68/249.49	c #Conflicts:     104000 | #Constraints:      15467
248.68/249.49	c #Conflicts:     105000 | #Constraints:      16488
248.68/249.49	c #Conflicts:     106000 | #Constraints:      17489
248.68/249.49	c #Conflicts:     107000 | #Constraints:      18490
248.68/249.49	c #Conflicts:     108000 | #Constraints:      19497
248.68/249.49	c #Conflicts:     109000 | #Constraints:      20517
248.68/249.49	c #Conflicts:     110000 | #Constraints:      21530
248.68/249.49	c INPROCESSING
248.68/249.49	c GARBAGE COLLECT
248.68/249.49	c rational objective 49939.7
266.63/267.48	c #Conflicts:     111000 | #Constraints:      15871
266.63/267.48	c #Conflicts:     112000 | #Constraints:      16873
266.63/267.48	c #Conflicts:     113000 | #Constraints:      17876
266.63/267.48	c #Conflicts:     114000 | #Constraints:      18888
266.63/267.48	c #Conflicts:     115000 | #Constraints:      19890
266.63/267.48	c #Conflicts:     116000 | #Constraints:      20893
266.63/267.48	c #Conflicts:     117000 | #Constraints:      21919
266.63/267.48	c INPROCESSING
266.63/267.48	c GARBAGE COLLECT
266.63/267.48	c rational objective 49940.6
268.23/269.03	c bounds 52888 >= 0 @ 261.839
281.79/282.66	c #Conflicts:     118000 | #Constraints:      15773
281.79/282.66	c #Conflicts:     119000 | #Constraints:      16792
281.79/282.66	c #Conflicts:     120000 | #Constraints:      17796
281.79/282.66	c #Conflicts:     121000 | #Constraints:      18797
281.79/282.66	c #Conflicts:     122000 | #Constraints:      19854
281.79/282.66	c #Conflicts:     123000 | #Constraints:      20887
281.79/282.66	c #Conflicts:     124000 | #Constraints:      21899
281.79/282.66	c bounds 52790 >= 0 @ 275.023
281.79/282.68	c bounds 52788 >= 0 @ 275.045
281.79/282.69	c bounds 52750 >= 0 @ 275.057
281.89/282.71	c bounds 52732 >= 0 @ 275.069
282.38/283.24	c INPROCESSING
282.38/283.24	c GARBAGE COLLECT
282.38/283.24	c rational objective 49940.9
285.48/286.39	c #Conflicts:     125000 | #Constraints:      15645
285.48/286.39	c bounds 52730 >= 0 @ 278.651
285.48/286.39	c bounds 52721 >= 0 @ 278.655
285.57/286.40	c bounds 52703 >= 0 @ 278.665
292.76/293.69	c #Conflicts:     126000 | #Constraints:      16665
292.76/293.69	c #Conflicts:     127000 | #Constraints:      17685
292.76/293.69	c #Conflicts:     128000 | #Constraints:      18704
292.76/293.69	c #Conflicts:     129000 | #Constraints:      19712
292.76/293.69	c #Conflicts:     130000 | #Constraints:      20726
292.76/293.69	c #Conflicts:     131000 | #Constraints:      21737
292.76/293.69	c bounds 52639 >= 0 @ 285.711
293.95/294.87	c INPROCESSING
293.95/294.87	c GARBAGE COLLECT
293.95/294.87	c rational objective 49944.3
309.22/310.16	c #Conflicts:     132000 | #Constraints:      15355
309.22/310.16	c #Conflicts:     133000 | #Constraints:      16516
309.22/310.16	c #Conflicts:     134000 | #Constraints:      17519
309.22/310.16	c #Conflicts:     135000 | #Constraints:      18520
309.22/310.16	c #Conflicts:     136000 | #Constraints:      19580
309.22/310.16	c #Conflicts:     137000 | #Constraints:      20581
309.22/310.16	c #Conflicts:     138000 | #Constraints:      21582
309.22/310.16	c #Conflicts:     139000 | #Constraints:      22583
309.22/310.16	c INPROCESSING
309.22/310.16	c GARBAGE COLLECT
309.22/310.16	c rational objective 49944.3
310.71/311.60	c bounds 52503 >= 0 @ 303.225
322.18/323.12	c #Conflicts:     140000 | #Constraints:      15988
322.18/323.12	c #Conflicts:     141000 | #Constraints:      16996
322.18/323.12	c #Conflicts:     142000 | #Constraints:      18009
322.18/323.12	c #Conflicts:     143000 | #Constraints:      19016
322.18/323.12	c #Conflicts:     144000 | #Constraints:      20023
322.18/323.12	c #Conflicts:     145000 | #Constraints:      21028
322.18/323.12	c #Conflicts:     146000 | #Constraints:      22040
322.18/323.12	c bounds 52434 >= 0 @ 314.324
323.18/324.16	c #Conflicts:     147000 | #Constraints:      23052
323.18/324.16	c INPROCESSING
323.18/324.16	c GARBAGE COLLECT
323.18/324.16	c rational objective 49944.5
324.67/325.61	c bounds 52425 >= 0 @ 316.759
324.97/325.93	c bounds 52402 >= 0 @ 317.066
324.97/325.94	c bounds 52393 >= 0 @ 317.071
324.97/325.94	c bounds 52373 >= 0 @ 317.074
325.27/326.28	c bounds 52356 >= 0 @ 317.406
335.15/336.19	c #Conflicts:     148000 | #Constraints:      16328
335.15/336.19	c #Conflicts:     149000 | #Constraints:      17331
335.15/336.19	c #Conflicts:     150000 | #Constraints:      18336
335.15/336.19	c #Conflicts:     151000 | #Constraints:      19341
335.15/336.19	c #Conflicts:     152000 | #Constraints:      20348
335.15/336.19	c #Conflicts:     153000 | #Constraints:      21355
335.15/336.19	c bounds 52330 >= 0 @ 327.028
335.24/336.20	c bounds 52272 >= 0 @ 327.035
335.54/336.50	c bounds 52263 >= 0 @ 327.323
337.93/338.94	c #Conflicts:     154000 | #Constraints:      22369
337.93/338.94	c #Conflicts:     155000 | #Constraints:      23369
337.93/338.94	c INPROCESSING
337.93/338.94	c GARBAGE COLLECT
337.93/338.94	c rational objective 49945
350.50/351.54	c #Conflicts:     156000 | #Constraints:      16472
350.50/351.54	c #Conflicts:     157000 | #Constraints:      17478
350.50/351.54	c #Conflicts:     158000 | #Constraints:      18489
350.50/351.54	c #Conflicts:     159000 | #Constraints:      19498
350.50/351.54	c #Conflicts:     160000 | #Constraints:      20502
350.50/351.54	c #Conflicts:     161000 | #Constraints:      21502
350.50/351.54	c #Conflicts:     162000 | #Constraints:      22504
350.50/351.54	c #Conflicts:     163000 | #Constraints:      23507
350.50/351.54	c INPROCESSING
350.50/351.54	c GARBAGE COLLECT
350.50/351.54	c rational objective 49945
368.05/369.14	c #Conflicts:     164000 | #Constraints:      16467
368.05/369.14	c #Conflicts:     165000 | #Constraints:      17470
368.05/369.14	c #Conflicts:     166000 | #Constraints:      18480
368.05/369.14	c #Conflicts:     167000 | #Constraints:      19488
368.05/369.14	c #Conflicts:     168000 | #Constraints:      20493
368.05/369.14	c #Conflicts:     169000 | #Constraints:      21499
368.05/369.14	c #Conflicts:     170000 | #Constraints:      22504
368.05/369.14	c #Conflicts:     171000 | #Constraints:      23512
368.05/369.14	c INPROCESSING
368.05/369.14	c GARBAGE COLLECT
368.05/369.14	c rational objective 49945.7
386.70/387.88	c #Conflicts:     172000 | #Constraints:      16255
386.70/387.88	c #Conflicts:     173000 | #Constraints:      17258
386.70/387.88	c #Conflicts:     174000 | #Constraints:      18261
386.70/387.88	c #Conflicts:     175000 | #Constraints:      19266
386.70/387.88	c #Conflicts:     176000 | #Constraints:      20267
386.70/387.88	c #Conflicts:     177000 | #Constraints:      21270
386.70/387.88	c #Conflicts:     178000 | #Constraints:      22271
386.70/387.88	c #Conflicts:     179000 | #Constraints:      23271
386.70/387.88	c #Conflicts:     180000 | #Constraints:      24273
386.70/387.88	c INPROCESSING
386.70/387.88	c GARBAGE COLLECT
386.70/387.88	c rational objective 49946.9
411.12/412.32	c #Conflicts:     181000 | #Constraints:      16849
411.12/412.32	c #Conflicts:     182000 | #Constraints:      17849
411.12/412.32	c #Conflicts:     183000 | #Constraints:      18850
411.12/412.32	c #Conflicts:     184000 | #Constraints:      19863
411.12/412.32	c #Conflicts:     185000 | #Constraints:      20871
411.12/412.32	c #Conflicts:     186000 | #Constraints:      21871
411.12/412.32	c #Conflicts:     187000 | #Constraints:      22931
411.12/412.32	c #Conflicts:     188000 | #Constraints:      23933
411.12/412.32	c #Conflicts:     189000 | #Constraints:      24935
411.12/412.32	c INPROCESSING
411.12/412.32	c GARBAGE COLLECT
411.12/412.32	c rational objective 49946.5
414.31/415.57	c bounds 50769 >= 0 @ 404.394
430.47/431.78	c #Conflicts:     190000 | #Constraints:      17300
430.47/431.78	c #Conflicts:     191000 | #Constraints:      18317
430.47/431.78	c #Conflicts:     192000 | #Constraints:      19324
430.47/431.78	c #Conflicts:     193000 | #Constraints:      20331
430.47/431.78	c #Conflicts:     194000 | #Constraints:      21346
430.47/431.78	c #Conflicts:     195000 | #Constraints:      22355
430.47/431.78	c #Conflicts:     196000 | #Constraints:      23368
430.47/431.78	c #Conflicts:     197000 | #Constraints:      24379
430.47/431.78	c #Conflicts:     198000 | #Constraints:      25382
430.47/431.78	c INPROCESSING
430.47/431.78	c GARBAGE COLLECT
430.47/431.78	c rational objective 49946.5
450.21/451.51	c #Conflicts:     199000 | #Constraints:      17503
450.21/451.51	c #Conflicts:     200000 | #Constraints:      18505
450.21/451.51	c #Conflicts:     201000 | #Constraints:      19506
450.21/451.51	c #Conflicts:     202000 | #Constraints:      20509
450.21/451.51	c #Conflicts:     203000 | #Constraints:      21546
450.21/451.51	c #Conflicts:     204000 | #Constraints:      22559
450.21/451.51	c #Conflicts:     205000 | #Constraints:      23580
450.21/451.51	c #Conflicts:     206000 | #Constraints:      24586
450.21/451.51	c #Conflicts:     207000 | #Constraints:      25590
450.21/451.51	c INPROCESSING
450.21/451.51	c GARBAGE COLLECT
450.21/451.51	c rational objective 49946.7
470.15/471.57	c #Conflicts:     208000 | #Constraints:      17508
470.15/471.57	c #Conflicts:     209000 | #Constraints:      18515
470.15/471.57	c #Conflicts:     210000 | #Constraints:      19517
470.15/471.57	c #Conflicts:     211000 | #Constraints:      20517
470.15/471.57	c #Conflicts:     212000 | #Constraints:      21518
470.15/471.57	c #Conflicts:     213000 | #Constraints:      22520
470.15/471.57	c #Conflicts:     214000 | #Constraints:      23526
470.15/471.57	c #Conflicts:     215000 | #Constraints:      24533
470.15/471.57	c #Conflicts:     216000 | #Constraints:      25538
470.15/471.57	c INPROCESSING
470.15/471.57	c GARBAGE COLLECT
470.15/471.57	c rational objective 49978.2
486.31/487.76	c #Conflicts:     217000 | #Constraints:      17280
486.31/487.76	c #Conflicts:     218000 | #Constraints:      18323
486.31/487.76	c #Conflicts:     219000 | #Constraints:      19324
486.31/487.76	c #Conflicts:     220000 | #Constraints:      20325
486.31/487.76	c #Conflicts:     221000 | #Constraints:      21325
486.31/487.76	c #Conflicts:     222000 | #Constraints:      22330
486.31/487.76	c #Conflicts:     223000 | #Constraints:      23336
486.31/487.76	c #Conflicts:     224000 | #Constraints:      24349
486.31/487.76	c #Conflicts:     225000 | #Constraints:      25357
486.31/487.76	c #Conflicts:     226000 | #Constraints:      26370
486.31/487.76	c INPROCESSING
486.31/487.76	c GARBAGE COLLECT
486.31/487.76	c rational objective 49981.5
523.80/525.35	c #Conflicts:     227000 | #Constraints:      18071
523.80/525.35	c #Conflicts:     228000 | #Constraints:      19393
523.80/525.35	c #Conflicts:     229000 | #Constraints:      20474
523.80/525.35	c #Conflicts:     230000 | #Constraints:      21629
523.80/525.35	c #Conflicts:     231000 | #Constraints:      22703
523.80/525.35	c #Conflicts:     232000 | #Constraints:      23719
523.80/525.35	c #Conflicts:     233000 | #Constraints:      24720
523.80/525.35	c #Conflicts:     234000 | #Constraints:      25721
523.80/525.35	c #Conflicts:     235000 | #Constraints:      26722
523.80/525.35	c #Conflicts:     236000 | #Constraints:      27724
523.80/525.35	c INPROCESSING
523.80/525.35	c GARBAGE COLLECT
523.80/525.35	c rational objective 50432.1
547.03/548.62	c #Conflicts:     237000 | #Constraints:      18674
547.03/548.62	c #Conflicts:     238000 | #Constraints:      19678
547.03/548.62	c #Conflicts:     239000 | #Constraints:      20707
547.03/548.62	c #Conflicts:     240000 | #Constraints:      21708
547.03/548.62	c #Conflicts:     241000 | #Constraints:      22788
547.03/548.62	c #Conflicts:     242000 | #Constraints:      23837
547.03/548.62	c #Conflicts:     243000 | #Constraints:      24854
547.03/548.62	c #Conflicts:     244000 | #Constraints:      25874
547.03/548.62	c #Conflicts:     245000 | #Constraints:      26932
547.03/548.62	c #Conflicts:     246000 | #Constraints:      27970
547.03/548.62	c INPROCESSING
547.03/548.62	c GARBAGE COLLECT
547.03/548.62	c rational objective 50028.1
575.15/576.81	c #Conflicts:     247000 | #Constraints:      18780
575.15/576.81	c #Conflicts:     248000 | #Constraints:      19784
575.15/576.81	c #Conflicts:     249000 | #Constraints:      20891
575.15/576.81	c #Conflicts:     250000 | #Constraints:      22096
575.15/576.81	c #Conflicts:     251000 | #Constraints:      23113
575.15/576.81	c #Conflicts:     252000 | #Constraints:      24279
575.15/576.81	c #Conflicts:     253000 | #Constraints:      25284
575.15/576.81	c #Conflicts:     254000 | #Constraints:      26295
575.15/576.81	c #Conflicts:     255000 | #Constraints:      27295
575.15/576.81	c #Conflicts:     256000 | #Constraints:      28295
575.15/576.81	c INPROCESSING
575.15/576.81	c GARBAGE COLLECT
575.15/576.81	c rational objective 50063.4
603.37/605.14	c #Conflicts:     257000 | #Constraints:      18848
603.37/605.14	c #Conflicts:     258000 | #Constraints:      19848
603.37/605.14	c #Conflicts:     259000 | #Constraints:      20848
603.37/605.14	c #Conflicts:     260000 | #Constraints:      21864
603.37/605.14	c #Conflicts:     261000 | #Constraints:      22867
603.37/605.14	c #Conflicts:     262000 | #Constraints:      23872
603.37/605.14	c #Conflicts:     263000 | #Constraints:      24878
603.37/605.14	c #Conflicts:     264000 | #Constraints:      25922
603.37/605.14	c #Conflicts:     265000 | #Constraints:      26936
603.37/605.14	c #Conflicts:     266000 | #Constraints:      27936
603.37/605.14	c INPROCESSING
603.37/605.14	c GARBAGE COLLECT
603.37/605.14	c rational objective 50046.7
633.89/635.77	c #Conflicts:     267000 | #Constraints:      18464
633.89/635.77	c #Conflicts:     268000 | #Constraints:      19471
633.89/635.77	c #Conflicts:     269000 | #Constraints:      20492
633.89/635.77	c #Conflicts:     270000 | #Constraints:      21505
633.89/635.77	c #Conflicts:     271000 | #Constraints:      22513
633.89/635.77	c #Conflicts:     272000 | #Constraints:      23524
633.89/635.77	c #Conflicts:     273000 | #Constraints:      24538
633.89/635.77	c #Conflicts:     274000 | #Constraints:      25547
633.89/635.77	c #Conflicts:     275000 | #Constraints:      26557
633.89/635.77	c #Conflicts:     276000 | #Constraints:      27570
633.89/635.77	c bounds 50769 >= 50769 @ 619.874
633.89/635.77	c cpu time 619.874 s
633.89/635.77	c deterministic time 25130244453 2.51e+10
633.89/635.77	c optimization time 0.029026 s
633.89/635.77	c total solve time 619.803 s
633.89/635.77	c core-guided solve time 288.584 s
633.89/635.77	c propagation time 261.973 s
633.89/635.77	c conflict analysis time 276.025 s
633.89/635.77	c propagations 211917393
633.89/635.77	c resolve steps 4035213
633.89/635.77	c decisions 3971138
633.89/635.77	c conflicts 276278
633.89/635.77	c restarts 638
633.89/635.77	c inprocessing phases 43
633.89/635.77	c garbage collections 43 ,( 100.00 )
633.89/635.77	c input clauses 8602 ,( 99.43 )
633.89/635.77	c input cardinalities 0 ,( 0.00 )
633.89/635.77	c input general constraints 49 ,( 0.57 )
633.89/635.77	c input average constraint length 13.15
633.89/635.77	c input average constraint degree 16894.54
633.89/635.77	c learned clauses 147272 ,( 51.21 )
633.89/635.77	c learned cardinalities 299 ,( 0.10 )
633.89/635.77	c learned general constraints 140011 ,( 48.69 )
633.89/635.77	c learned average constraint length 624.65
633.89/635.77	c learned average constraint degree 19337574323.10
633.89/635.77	c watched  CF 32, 64, 128, Arb: 26115 , 0 , 0 , 0
633.89/635.77	c counting CF 32, 64, 128, Arb: 113946 , 0 , 0 , 0
633.89/635.77	c watched   constraints 26115 ,( 18.65 ) 
633.89/635.77	c counting  constraints 113945 ,( 81.35 ) 
633.89/635.77	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 94833279 , 784428 , 103752384 ,( 5550684 , 98201700 )
633.89/635.77	c gcd simplifications 20201
633.89/635.77	c detected cardinalities 87
633.89/635.77	c weakened non-implied lits 239491119
633.89/635.77	c weakened non-implying lits 225023
633.89/635.77	c original variables 3951
633.89/635.77	c clausal propagations 77238017
633.89/635.77	c cardinality propagations 30915
633.89/635.77	c watched propagations 62501
633.89/635.77	c counting propagations 125166950
633.89/635.77	c watch lookups 12087449617
633.89/635.77	c watch backjump lookups 0
633.89/635.77	c watch checks 1580262946
633.89/635.77	c propagation checks 10035649969
633.89/635.77	c constraint additions 994460790
633.89/635.77	c trail pops 216161298
633.89/635.77	c formula constraints 8602
633.89/635.77	c learned constraints 275347
633.89/635.77	c bound constraints 49
633.89/635.77	c core-guided constraints 0
633.89/635.77	c encountered formula constraints 3397077
633.89/635.77	c encountered learned constraints 580874
633.89/635.77	c encountered bound constraints 2156
633.89/635.77	c encountered core-guided constraints 0
633.89/635.77	c LP total time 143.455 s
633.89/635.77	c LP solve time 81.96 s
633.89/635.77	c LP constraints added 8664
633.89/635.77	c LP constraints removed 48
633.89/635.77	c LP pivots internal 276293
633.89/635.77	c LP pivots root 95008
633.89/635.77	c LP calls 11686
633.89/635.77	c LP optimalities 387
633.89/635.77	c LP no pivot count 290
633.89/635.77	c LP infeasibilities 11279
633.89/635.77	c LP valid Farkas constraints 11263
633.89/635.77	c LP learned Farkas constraints 930
633.89/635.77	c LP basis resets 33
633.89/635.77	c LP cycling count 3
633.89/635.77	c LP singular count 13
633.89/635.77	c LP no primal count 0
633.89/635.77	c LP no farkas count 16
633.89/635.77	c LP other issue count 1
633.89/635.77	c LP Gomory cuts 42
633.89/635.77	c LP learned cuts 20
633.89/635.77	c LP deleted cuts 48
633.89/635.77	c LP encountered Gomory constraints 0
633.89/635.77	c LP encountered Farkas constraints 324143
633.89/635.77	c LP encountered learned Farkas constraints 6311
633.89/635.77	c CG auxiliary variables introduced 0
633.89/635.77	c CG solutions found 49
633.89/635.77	c CG cores constructed 0
633.89/635.77	c CG core cardinality constraints returned 0
633.89/635.77	c CG unit cores 0
633.89/635.77	c CG single cores 0
633.89/635.77	c CG blocks removed during cardinality reduction 0
633.89/635.77	c CG first core best 0
633.89/635.77	c CG decision core best 0
633.89/635.77	c CG core reduction tie 0
633.89/635.77	c CG core degree average 0.00
633.89/635.77	c CG core slack average 0.00
633.89/635.77	c CG core upper bound improvements 0
633.89/635.77	c STR number of successful calls 0
633.89/635.77	c STR number of unsuccessful calls 0
633.89/635.77	c STR number of inconclusive calls 0
633.89/635.77	c STR number of successful attempts 0
633.89/635.77	c STR number of unsuccessful attempts 0
633.89/635.77	c STR number of inconclusive attempts 0
633.89/635.77	c STR average degree increase per successful call inf
633.89/635.77	c STR average degree increase per successful attempt inf
633.89/635.77	c STR total number of conflicts for successful attempts 0
633.89/635.77	c STR total number of conflicts for unsuccessful attempts 0
633.89/635.77	c STR total number of conflicts for inconclusive attempts 0
633.89/635.77	c STR average number of conflicts per successful attempt inf
633.89/635.77	c STR average number of conflicts per unsuccessful attempt inf
633.89/635.77	c STR average number of conflicts per inconclusive attempt inf
633.89/635.77	c AVG.sumWPerc 69.02 
633.89/635.77	c bigint constraints 0 
633.89/635.77	o 50769
633.89/635.77	s OPTIMUM FOUND
633.89/635.77	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 x3932 x3933 -x3934 -x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 -x3942 -x3943 -x3944 -x3945

Verifier Data 

OK	50769

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Tue Jul  1 21:31:17 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 50769 <= obj <= 50769
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 50769 <= obj <= 50769
--summary--
ALL OK

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: 63665 MiB (56105 MiB free)
  memory of node 1: 64507 MiB (34145 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 4.11 4.16 4.12 5/272 52816
/proc/meminfo: memFree=92403988/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=70168 memory=22088 CPUtime=0.05 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 4055 0 0 0 4 1 0 0 20 0 1 0 53583897 71852032 5522 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 17542 5522 2336 1147 0 4969 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 74360 KiB
Current children cumulated memory: 25032 KiB

[startup+0.205658 s]*
/proc/loadavg: 4.11 4.16 4.12 5/272 52816
/proc/meminfo: memFree=92395924/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=72584 memory=24776 CPUtime=0.16 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 4706 0 0 0 14 2 0 0 20 0 1 0 53583897 74326016 6194 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 18146 6194 2368 1147 0 5573 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 76776 KiB
Current children cumulated memory: 27720 KiB

[startup+0.305582 s]*
/proc/loadavg: 4.11 4.16 4.12 5/272 52816
/proc/meminfo: memFree=92387860/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=72744 memory=25288 CPUtime=0.25 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 4806 0 0 0 23 2 0 0 20 0 1 0 53583897 74489856 6322 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 18186 6322 2400 1147 0 5613 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 76936 KiB
Current children cumulated memory: 28232 KiB

[startup+0.70019 s]
/proc/loadavg: 4.11 4.16 4.12 5/272 52816
/proc/meminfo: memFree=92379392/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=72744 memory=25672 CPUtime=0.64 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 4903 0 0 0 60 4 0 0 20 0 1 0 53583897 74489856 6418 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 18186 6418 2400 1147 0 5613 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 76936 KiB
Current children cumulated memory: 28616 KiB

[startup+1.5002 s]
/proc/loadavg: 4.11 4.16 4.12 5/273 52818
/proc/meminfo: memFree=92343104/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=89864 memory=44048 CPUtime=1.44 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 8997 0 0 0 135 9 0 0 20 0 1 0 53583897 92020736 11012 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 22466 11012 2400 1147 0 9893 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 94056 KiB
Current children cumulated memory: 46992 KiB

[startup+3.10545 s]
/proc/loadavg: 4.11 4.16 4.12 5/273 52818
/proc/meminfo: memFree=92173172/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=97304 memory=51344 CPUtime=3.04 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 10834 0 0 0 290 14 0 0 20 0 1 0 53583897 99639296 12836 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 24326 12836 2400 1147 0 11753 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 101496 KiB
Current children cumulated memory: 54288 KiB

[startup+6.30019 s]
/proc/loadavg: 4.18 4.18 4.12 5/273 52818
/proc/meminfo: memFree=91952944/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=111252 memory=62864 CPUtime=6.23 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 13714 0 0 0 599 24 0 0 20 0 1 0 53583897 113922048 15716 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 27813 15716 2400 1147 0 15240 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 115444 KiB
Current children cumulated memory: 65808 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.12 4/267 52844
/proc/meminfo: memFree=91660320/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=139700 memory=89672 CPUtime=12.6 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 19398 0 0 0 1220 40 0 0 20 0 1 0 53583897 143052800 22418 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 34925 22418 2400 1147 0 22352 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 143892 KiB
Current children cumulated memory: 92616 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.15 4.12 5/273 53009
/proc/meminfo: memFree=95364536/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=176488 memory=123040 CPUtime=25.37 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 25704 0 0 0 2466 71 0 0 20 0 1 0 53583897 180723712 30760 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 44122 30760 2400 1147 0 31549 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 180680 KiB
Current children cumulated memory: 125984 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.15 4.12 5/273 53009
/proc/meminfo: memFree=93258952/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=206048 memory=156136 CPUtime=50.92 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 32881 0 0 0 4955 137 0 0 20 0 1 0 53583897 210993152 39034 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 51512 39034 2496 1147 0 38939 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 210240 KiB
Current children cumulated memory: 159080 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/274 53015
/proc/meminfo: memFree=89900924/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=256736 memory=194628 CPUtime=101.99 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 40504 0 0 0 9947 252 0 0 20 0 1 0 53583897 262897664 48657 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 64184 48657 2496 1147 0 51611 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 260928 KiB
Current children cumulated memory: 197572 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/269 53044
/proc/meminfo: memFree=115672356/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=266124 memory=204484 CPUtime=161.81 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 43020 0 0 0 15780 401 0 0 20 0 1 0 53583897 272510976 51121 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 66531 51121 2496 1147 0 53958 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 270316 KiB
Current children cumulated memory: 207428 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/271 53048
/proc/meminfo: memFree=110753280/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=337112 memory=258092 CPUtime=221.63 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 52595 0 0 0 21629 534 0 0 20 0 1 0 53583897 345202688 64523 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 84278 64523 2528 1147 0 71705 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 341304 KiB
Current children cumulated memory: 261036 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/266 53077
/proc/meminfo: memFree=113580736/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=447728 memory=347228 CPUtime=281.48 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 65953 0 0 0 27467 681 0 0 20 0 1 0 53583897 458473472 86807 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 111932 86807 2528 1147 0 99359 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 451920 KiB
Current children cumulated memory: 350172 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 53084
/proc/meminfo: memFree=109265156/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=462920 memory=369500 CPUtime=341.31 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 69054 0 0 0 33299 832 0 0 20 0 1 0 53583897 474030080 92375 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 115730 92375 2528 1147 0 103157 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 467112 KiB
Current children cumulated memory: 372444 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/270 53092
/proc/meminfo: memFree=105206576/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=470832 memory=377564 CPUtime=401.14 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 71070 0 0 0 39144 970 0 0 20 0 1 0 53583897 482131968 94391 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 117708 94391 2528 1147 0 105135 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 475024 KiB
Current children cumulated memory: 380508 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/270 53094
/proc/meminfo: memFree=101228232/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=520704 memory=415452 CPUtime=460.97 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 80597 0 0 0 44996 1101 0 0 20 0 1 0 53583897 533200896 103863 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 130176 103863 2528 1147 0 117603 0
Current children cumulated CPU time: 460.98 s
Current children cumulated vsize: 524896 KiB
Current children cumulated memory: 418396 KiB

[startup+522.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/270 53096
/proc/meminfo: memFree=97390472/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=542088 memory=440480 CPUtime=520.8 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 84280 0 0 0 50871 1209 0 0 20 0 1 0 53583897 555098112 110120 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 135522 110120 2528 1147 0 122949 0
Current children cumulated CPU time: 520.81 s
Current children cumulated vsize: 546280 KiB
Current children cumulated memory: 443424 KiB

[startup+582.3 s]
/proc/loadavg: 4.23 4.16 4.11 3/270 53098
/proc/meminfo: memFree=93460784/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=551884 memory=451012 CPUtime=580.62 cores=1,3
/proc/52816/stat : 52816 (roundingsat) R 52813 52813 50997 0 -1 4194304 86460 0 0 0 56752 1310 0 0 20 0 1 0 53583897 565129216 112753 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 137971 112753 2528 1147 0 125398 0
Current children cumulated CPU time: 580.63 s
Current children cumulated vsize: 556076 KiB
Current children cumulated memory: 453956 KiB

[startup+642.3 s]
/proc/loadavg: 4.30 4.18 4.11 5/275 53120
/proc/meminfo: memFree=96425996/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=559248 memory=456516 CPUtime=634.99 cores=1,3
/proc/52816/stat : 52816 (roundingsat) D 52813 52813 50997 0 -1 4194304 87812 0 0 0 61987 1512 0 0 20 0 1 0 53583897 572669952 114129 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 139812 114129 2528 1147 0 127239 0
Current children cumulated CPU time: 635 s
Current children cumulated vsize: 563440 KiB
Current children cumulated memory: 459460 KiB

[startup+643.177 s]
# the end of solver process 52813 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=619.89 s, system=15.276 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+642.4 s]
/proc/loadavg: 4.30 4.18 4.11 5/275 53120
/proc/meminfo: memFree=96425996/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=559248 memory=456516 CPUtime=634.99 cores=1,3
/proc/52816/stat : 52816 (roundingsat) D 52813 52813 50997 0 -1 4194304 87812 0 0 0 61987 1512 0 0 20 0 1 0 53583897 572669952 114129 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 139812 114129 2528 1147 0 127239 0
Current children cumulated CPU time: 635 s
Current children cumulated vsize: 563440 KiB
Current children cumulated memory: 459460 KiB

[startup+642.8 s]
/proc/loadavg: 4.30 4.18 4.11 5/275 53120
/proc/meminfo: memFree=96425996/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=559248 memory=456516 CPUtime=635.12 cores=1,3
/proc/52816/stat : 52816 (roundingsat) D 52813 52813 50997 0 -1 4194304 87812 0 0 0 61987 1525 0 0 20 0 1 0 53583897 572669952 114129 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 139812 114129 2528 1147 0 127239 0
Current children cumulated CPU time: 635.13 s
Current children cumulated vsize: 563440 KiB
Current children cumulated memory: 459460 KiB

[startup+643 s]*
/proc/loadavg: 4.30 4.18 4.11 5/275 53120
/proc/meminfo: memFree=96474640/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=559248 memory=456516 CPUtime=635.12 cores=1,3
/proc/52816/stat : 52816 (roundingsat) D 52813 52813 50997 0 -1 4194304 87812 0 0 0 61987 1525 0 0 20 0 1 0 53583897 572669952 114129 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 139812 114129 2528 1147 0 127239 0
Current children cumulated CPU time: 635.13 s
Current children cumulated vsize: 563440 KiB
Current children cumulated memory: 459460 KiB

[startup+643.106 s]
/proc/loadavg: 4.30 4.18 4.11 5/275 53120
/proc/meminfo: memFree=96474640/131249988 swapFree=33010160/33010684
[pid=52813] ppid=52810 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/52813/stat : 52813 (run-opt-break-l) S 52810 52813 50997 0 -1 4194304 239 3865 0 0 0 0 1 0 20 0 1 0 53583894 4292608 736 18446744073709551615 94140265500672 94140266395205 140723693820112 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94140266634256 94140266682000 94140297285632 140723693828373 140723693828574 140723693828574 140723693834176 0
/proc/52813/statm: 1048 736 672 219 0 110 0
[pid=52816] ppid=52813 vsize=559248 memory=456516 CPUtime=635.12 cores=1,3
/proc/52816/stat : 52816 (roundingsat) D 52813 52813 50997 0 -1 4194304 87812 0 0 0 61987 1525 0 0 20 0 1 0 53583897 572669952 114129 18446744073709551615 4227072 8923433 140736827898304 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 20553728 140736827902228 140736827902504 140736827902504 140736827908074 0
/proc/52816/statm: 139812 114129 2528 1147 0 127239 0
Current children cumulated CPU time: 635.13 s
Current children cumulated vsize: 563440 KiB
Current children cumulated memory: 459460 KiB

Child status: 0

Real time (s): 643.177
CPU time (s): 635.166
CPU user time (s): 619.89
CPU system time (s): 15.276
CPU usage (%): 98.7545
Max. virtual memory (cumulated for all children) (KiB): 563440
Max. memory (cumulated for all children) (KiB): 459460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 619.89
system time used= 15.276
maximum resident set size= 456516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28761096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195847
involuntary context switches= 865


# summary of solver processes directly reported to runsolver:
#   pid: 52813
#   total CPU time (s): 635.166
#   total CPU user time (s): 619.89
#   total CPU system time (s): 15.276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08846 second user time and 3.07585 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-01 16:10:50
IDJOB=4497197
IDBENCH=148155
IDSOLVER=3360
FILE ID=nodeC034/4497197-1751379050
RUNJOBID= nodeC034-1751371625-51009
SLURM_JOB_ID= 9598197
Free space on /tmp= 433028 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497197-1751379050/watcher-4497197-1751379050 -o /tmp/evaluation-result-4497197-1751379050/solver-4497197-1751379050 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751371625-51009 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4497197-1751379050.opb PROOFDIR/proof-4497197-1751379050

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1743184592

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        92417644 kB
MemAvailable:   128784564 kB
Buffers:            2128 kB
Cached:         37123628 kB
SwapCached:           36 kB
Active:          1288364 kB
Inactive:       36683772 kB
Active(anon):     860660 kB
Inactive(anon):     4208 kB
Active(file):     427704 kB
Inactive(file): 36679564 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           5159708 kB
Writeback:             0 kB
AnonPages:        841200 kB
Mapped:           118292 kB
Shmem:             18068 kB
KReclaimable:     197384 kB
Slab:             450612 kB
SReclaimable:     197384 kB
SUnreclaim:       253228 kB
KernelStack:        4400 kB
PageTables:         4884 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1199880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    466944 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC034 at 2025-07-01 16:21:34