Trace number 4532474

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 0f876b3OPT cert.50769 647.65 658.195

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-4532474-1752588299.opb'
0.00/0.03	c 	read 0.27MB  (11.89ms)
0.00/0.03	c	 [cnf: #variables 3945 #clauses 8605 #duplicates 0 #arr 23996]
0.01/0.35	c output proof to 'PROOFDIR/proof-4532474-1752588299'
0.01/0.35	c 
0.01/0.35	c make graph and approximate orbits
0.01/0.37	c	 [group: #orbits ~= 8] (15.87ms)
0.01/0.37	c 
0.01/0.37	c detect special group actions
0.01/0.37	c 	probe for Johnson action (limit=64)
0.01/0.37	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.01/0.37	c 	probe for row symmetry (limit=64, splits=16.78M)
0.01/0.37	c 	 (2.25ms)
0.01/0.37	c 
0.01/0.37	c detect symmetries on remainder
0.01/0.37	c 	[graph: #vertices 26254 #edges 75400]
0.01/0.37	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.01/0.38	c 	 [group: #symmetries 4.00*10^0 #generators 2] (11.68ms)
0.01/0.38	c 
0.01/0.38	c optimize generators (opt_passes=64, conjugate_limit=256)
0.01/0.38	c 	(0.01ms)
0.01/0.38	c 
0.01/0.38	c finalize break order and special generators
0.01/0.38	c 
0.01/0.38	c add generic predicates (break_depth=20)
0.01/0.38	c 	added predicates for 2 generators (0.01ms)
0.01/0.38	c 
0.01/0.38	c generation finished
0.01/0.38	c 	[sbp: #constraints 20 #add_vars 6]
0.01/0.38	c 
0.01/0.38	c write result to 'HOME/instance-4532474-1752588299.opb.pre'
0.01/0.38	c 	wrote 0.28MB (2.09ms)
0.01/0.38	c ------------------------------------------------------------------
0.01/0.38	c                 326.38ms 88.09% other
0.01/0.38	c                  15.87ms  4.28% approx_orbits
0.01/0.38	c                  11.88ms  3.21% parse
0.01/0.38	c                  11.68ms  3.15% detect_generic
0.01/0.38	c                   2.25ms  0.61% detect_special
0.01/0.38	c                   2.09ms  0.56% output
0.01/0.38	c                   0.34ms  0.09% finalize_order
0.01/0.38	c                   0.01ms  0.00% break_generic
0.01/0.38	c                   0.01ms  0.00% optimize_gens
0.01/0.38	c         ───────────────────────────────────────────────
0.01/0.38	c                 370.50ms   100% total
0.01/0.38	c ------------------------------------------------------------------
0.04/0.52	c RoundingSat 2
0.04/0.52	c branch pb25
0.04/0.52	c commit 0f876b3
0.15/0.94	c #variables 3951 #constraints 8602
0.15/0.94	c objective is ce32 
0.15/0.94	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.15/0.94	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.15/0.94	c bounds - >= 0 @ 0.120955
0.52/1.34	c bounds 55914 >= 0 @ 0.484105
2.60/3.45	c #Conflicts:       1000 | #Constraints:       9602
2.60/3.45	c #Conflicts:       2000 | #Constraints:      10602
2.60/3.45	c INPROCESSING
2.60/3.45	c GARBAGE COLLECT
2.60/3.45	c rational objective 49519.9
3.29/4.15	c bounds 55732 >= 0 @ 3.12936
3.69/4.52	c bounds 55445 >= 0 @ 3.48275
4.88/5.78	c #Conflicts:       3000 | #Constraints:       9551
4.88/5.78	c bounds 55257 >= 0 @ 4.67691
5.47/6.39	c #Conflicts:       4000 | #Constraints:      10562
5.47/6.39	c INPROCESSING
5.47/6.39	c GARBAGE COLLECT
5.47/6.39	c rational objective 49730.5
10.05/10.92	c #Conflicts:       5000 | #Constraints:       9960
10.05/10.92	c #Conflicts:       6000 | #Constraints:      10979
10.05/10.92	c bounds 55239 >= 0 @ 9.62247
10.05/10.93	c bounds 55175 >= 0 @ 9.63363
10.94/11.80	c INPROCESSING
10.94/11.80	c GARBAGE COLLECT
10.94/11.80	c rational objective 49797.6
14.44/15.34	c #Conflicts:       7000 | #Constraints:      10044
14.44/15.34	c #Conflicts:       8000 | #Constraints:      11082
14.44/15.34	c bounds 55137 >= 0 @ 13.9187
17.43/18.36	c #Conflicts:       9000 | #Constraints:      12179
17.43/18.36	c INPROCESSING
17.43/18.36	c GARBAGE COLLECT
17.43/18.36	c rational objective 49819.3
18.02/18.95	c bounds 55093 >= 0 @ 17.4275
18.02/18.95	c bounds 55075 >= 0 @ 17.4338
24.99/26.00	c #Conflicts:      10000 | #Constraints:      10833
24.99/26.00	c #Conflicts:      11000 | #Constraints:      12171
24.99/26.00	c #Conflicts:      12000 | #Constraints:      13586
24.99/26.00	c INPROCESSING
24.99/26.00	c GARBAGE COLLECT
24.99/26.00	c rational objective 50038.3
31.18/32.16	c #Conflicts:      13000 | #Constraints:      11671
31.18/32.16	c #Conflicts:      14000 | #Constraints:      12679
31.18/32.16	c #Conflicts:      15000 | #Constraints:      13682
31.18/32.16	c INPROCESSING
31.18/32.16	c GARBAGE COLLECT
31.18/32.16	c rational objective 49869.4
32.08/33.05	c bounds 54726 >= 0 @ 31.0378
37.25/38.27	c #Conflicts:      16000 | #Constraints:      11642
37.25/38.27	c #Conflicts:      17000 | #Constraints:      12646
37.25/38.27	c #Conflicts:      18000 | #Constraints:      13656
37.25/38.27	c INPROCESSING
37.25/38.27	c GARBAGE COLLECT
37.25/38.27	c rational objective 49870
37.94/38.95	c bounds 54502 >= 0 @ 36.7833
46.91/47.90	c #Conflicts:      19000 | #Constraints:      11558
46.91/47.90	c #Conflicts:      20000 | #Constraints:      12639
46.91/47.90	c #Conflicts:      21000 | #Constraints:      13919
46.91/47.90	c INPROCESSING
46.91/47.90	c GARBAGE COLLECT
46.91/47.90	c rational objective 49887.3
58.77/59.84	c #Conflicts:      22000 | #Constraints:      11577
58.77/59.84	c #Conflicts:      23000 | #Constraints:      12829
58.77/59.84	c #Conflicts:      24000 | #Constraints:      13901
58.77/59.84	c #Conflicts:      25000 | #Constraints:      14908
58.77/59.84	c INPROCESSING
58.77/59.84	c GARBAGE COLLECT
58.77/59.84	c rational objective 49892.9
59.67/60.70	c bounds 54458 >= 0 @ 57.9284
59.67/60.71	c bounds 54449 >= 0 @ 57.9394
59.67/60.77	c bounds 54440 >= 0 @ 57.9921
67.64/68.76	c #Conflicts:      26000 | #Constraints:      12155
67.64/68.76	c #Conflicts:      27000 | #Constraints:      13200
67.64/68.76	c #Conflicts:      28000 | #Constraints:      14315
67.64/68.76	c #Conflicts:      29000 | #Constraints:      15439
67.64/68.76	c INPROCESSING
67.64/68.76	c GARBAGE COLLECT
67.64/68.76	c rational objective 49931.8
79.79/80.96	c #Conflicts:      30000 | #Constraints:      12651
79.79/80.96	c #Conflicts:      31000 | #Constraints:      13676
79.79/80.96	c #Conflicts:      32000 | #Constraints:      14726
79.79/80.96	c #Conflicts:      33000 | #Constraints:      15800
79.79/80.96	c INPROCESSING
79.79/80.96	c GARBAGE COLLECT
79.79/80.96	c rational objective 49932.3
94.95/96.13	c #Conflicts:      34000 | #Constraints:      12749
94.95/96.13	c #Conflicts:      35000 | #Constraints:      13991
94.95/96.13	c #Conflicts:      36000 | #Constraints:      15093
94.95/96.13	c #Conflicts:      37000 | #Constraints:      16100
94.95/96.13	c INPROCESSING
94.95/96.13	c GARBAGE COLLECT
94.95/96.13	c rational objective 49932.7
96.24/97.46	c bounds 54347 >= 0 @ 93.7021
105.31/106.51	c #Conflicts:      38000 | #Constraints:      12745
105.31/106.51	c #Conflicts:      39000 | #Constraints:      13745
105.31/106.51	c #Conflicts:      40000 | #Constraints:      14745
105.31/106.51	c #Conflicts:      41000 | #Constraints:      15747
105.31/106.51	c INPROCESSING
105.31/106.51	c GARBAGE COLLECT
105.31/106.51	c rational objective 49968.8
117.55/118.89	c #Conflicts:      42000 | #Constraints:      12386
117.55/118.89	c #Conflicts:      43000 | #Constraints:      13413
117.55/118.89	c #Conflicts:      44000 | #Constraints:      14424
117.55/118.89	c #Conflicts:      45000 | #Constraints:      15447
117.55/118.89	c #Conflicts:      46000 | #Constraints:      16449
117.55/118.89	c INPROCESSING
117.55/118.89	c GARBAGE COLLECT
117.55/118.89	c rational objective 49971.9
119.16/120.43	c bounds 54344 >= 0 @ 115.994
131.72/133.04	c #Conflicts:      47000 | #Constraints:      12916
131.72/133.04	c #Conflicts:      48000 | #Constraints:      13917
131.72/133.04	c #Conflicts:      49000 | #Constraints:      14918
131.72/133.04	c #Conflicts:      50000 | #Constraints:      15919
131.72/133.04	c #Conflicts:      51000 | #Constraints:      16920
131.72/133.04	c INPROCESSING
131.72/133.04	c GARBAGE COLLECT
131.72/133.04	c #Conflicts:      52000 | #Constraints:      13290
131.72/133.04	c #Conflicts:      53000 | #Constraints:      14293
131.72/133.04	c bounds 54320 >= 0 @ 128.163
135.89/137.22	c #Conflicts:      54000 | #Constraints:      15303
135.89/137.22	c #Conflicts:      55000 | #Constraints:      16305
135.89/137.22	c #Conflicts:      56000 | #Constraints:      17312
135.89/137.22	c INPROCESSING
135.89/137.22	c GARBAGE COLLECT
135.89/137.22	c rational objective 49896.6
142.20/143.73	c #Conflicts:      57000 | #Constraints:      13547
142.20/143.73	c #Conflicts:      58000 | #Constraints:      14591
142.20/143.73	c bounds 54233 >= 0 @ 138.353
142.20/143.78	c bounds 54066 >= 0 @ 138.401
142.20/143.79	c bounds 54058 >= 0 @ 138.408
149.27/150.81	c #Conflicts:      59000 | #Constraints:      15627
149.27/150.81	c #Conflicts:      60000 | #Constraints:      16698
149.27/150.81	c #Conflicts:      61000 | #Constraints:      17960
149.27/150.81	c INPROCESSING
149.27/150.81	c GARBAGE COLLECT
149.27/150.81	c rational objective 49906.7
150.27/151.86	c bounds 53962 >= 0 @ 146.276
150.27/151.89	c bounds 53944 >= 0 @ 146.303
163.52/165.18	c #Conflicts:      62000 | #Constraints:      13694
163.52/165.18	c #Conflicts:      63000 | #Constraints:      14807
163.52/165.18	c #Conflicts:      64000 | #Constraints:      16044
163.52/165.18	c #Conflicts:      65000 | #Constraints:      17053
163.52/165.18	c #Conflicts:      66000 | #Constraints:      18056
163.52/165.18	c INPROCESSING
163.52/165.18	c GARBAGE COLLECT
163.52/165.18	c rational objective 49958.7
180.95/182.62	c #Conflicts:      67000 | #Constraints:      13687
180.95/182.62	c #Conflicts:      68000 | #Constraints:      14957
180.95/182.62	c #Conflicts:      69000 | #Constraints:      15995
180.95/182.62	c #Conflicts:      70000 | #Constraints:      16997
180.95/182.62	c #Conflicts:      71000 | #Constraints:      17998
180.95/182.62	c #Conflicts:      72000 | #Constraints:      18998
180.95/182.62	c INPROCESSING
180.95/182.62	c GARBAGE COLLECT
180.95/182.62	c rational objective 49939
193.77/195.59	c #Conflicts:      73000 | #Constraints:      14190
193.77/195.59	c #Conflicts:      74000 | #Constraints:      15240
193.77/195.59	c #Conflicts:      75000 | #Constraints:      16265
193.77/195.59	c #Conflicts:      76000 | #Constraints:      17438
193.77/195.59	c #Conflicts:      77000 | #Constraints:      18492
193.77/195.59	c #Conflicts:      78000 | #Constraints:      19556
193.77/195.59	c INPROCESSING
193.77/195.59	c GARBAGE COLLECT
193.77/195.59	c rational objective 49939.1
204.02/205.80	c #Conflicts:      79000 | #Constraints:      14596
204.02/205.80	c #Conflicts:      80000 | #Constraints:      15614
204.02/205.80	c #Conflicts:      81000 | #Constraints:      16625
204.02/205.80	c #Conflicts:      82000 | #Constraints:      17633
204.02/205.80	c #Conflicts:      83000 | #Constraints:      18644
204.02/205.80	c #Conflicts:      84000 | #Constraints:      19651
204.02/205.80	c INPROCESSING
204.02/205.80	c GARBAGE COLLECT
204.02/205.80	c rational objective 49939.1
205.42/207.28	c bounds 53854 >= 0 @ 199.961
218.97/220.84	c #Conflicts:      85000 | #Constraints:      14633
218.97/220.84	c #Conflicts:      86000 | #Constraints:      15637
218.97/220.84	c #Conflicts:      87000 | #Constraints:      16750
218.97/220.84	c #Conflicts:      88000 | #Constraints:      17942
218.97/220.84	c #Conflicts:      89000 | #Constraints:      19033
218.97/220.84	c #Conflicts:      90000 | #Constraints:      20090
218.97/220.84	c INPROCESSING
218.97/220.84	c GARBAGE COLLECT
218.97/220.84	c rational objective 49939.1
237.52/239.43	c #Conflicts:      91000 | #Constraints:      15054
237.52/239.43	c #Conflicts:      92000 | #Constraints:      16442
237.52/239.43	c #Conflicts:      93000 | #Constraints:      17882
237.52/239.43	c #Conflicts:      94000 | #Constraints:      19140
237.52/239.43	c #Conflicts:      95000 | #Constraints:      20515
237.52/239.43	c #Conflicts:      96000 | #Constraints:      21814
237.52/239.43	c INPROCESSING
237.52/239.43	c GARBAGE COLLECT
237.52/239.43	c rational objective 49942
238.71/240.67	c bounds 53816 >= 0 @ 232.517
241.21/243.17	c #Conflicts:      97000 | #Constraints:      15458
241.21/243.17	c #Conflicts:      98000 | #Constraints:      16475
241.21/243.17	c bounds 53809 >= 0 @ 234.95
241.21/243.17	c bounds 53751 >= 0 @ 234.953
244.20/246.18	c #Conflicts:      99000 | #Constraints:      17497
244.20/246.18	c #Conflicts:     100000 | #Constraints:      18517
244.20/246.18	c bounds 53042 >= 0 @ 237.858
244.88/246.85	c #Conflicts:     101000 | #Constraints:      19537
244.88/246.85	c bounds 53022 >= 0 @ 238.502
247.19/249.19	c #Conflicts:     102000 | #Constraints:      20544
247.19/249.19	c bounds 52958 >= 0 @ 240.741
248.19/250.18	c #Conflicts:     103000 | #Constraints:      21562
248.19/250.18	c INPROCESSING
248.19/250.18	c GARBAGE COLLECT
248.19/250.18	c rational objective 49939.1
257.54/259.57	c #Conflicts:     104000 | #Constraints:      15467
257.54/259.57	c #Conflicts:     105000 | #Constraints:      16488
257.54/259.57	c #Conflicts:     106000 | #Constraints:      17489
257.54/259.57	c #Conflicts:     107000 | #Constraints:      18490
257.54/259.57	c #Conflicts:     108000 | #Constraints:      19497
257.54/259.57	c #Conflicts:     109000 | #Constraints:      20517
257.54/259.57	c #Conflicts:     110000 | #Constraints:      21530
257.54/259.57	c INPROCESSING
257.54/259.57	c GARBAGE COLLECT
257.54/259.57	c rational objective 49939.7
275.48/277.58	c #Conflicts:     111000 | #Constraints:      15871
275.48/277.58	c #Conflicts:     112000 | #Constraints:      16873
275.48/277.58	c #Conflicts:     113000 | #Constraints:      17876
275.48/277.58	c #Conflicts:     114000 | #Constraints:      18888
275.48/277.58	c #Conflicts:     115000 | #Constraints:      19890
275.48/277.58	c #Conflicts:     116000 | #Constraints:      20893
275.48/277.58	c #Conflicts:     117000 | #Constraints:      21919
275.48/277.58	c INPROCESSING
275.48/277.58	c GARBAGE COLLECT
275.48/277.58	c rational objective 49940.6
276.99/279.11	c bounds 52888 >= 0 @ 269.836
290.53/292.66	c #Conflicts:     118000 | #Constraints:      15773
290.53/292.66	c #Conflicts:     119000 | #Constraints:      16792
290.53/292.66	c #Conflicts:     120000 | #Constraints:      17796
290.53/292.66	c #Conflicts:     121000 | #Constraints:      18797
290.53/292.66	c #Conflicts:     122000 | #Constraints:      19854
290.53/292.66	c #Conflicts:     123000 | #Constraints:      20887
290.53/292.66	c #Conflicts:     124000 | #Constraints:      21899
290.53/292.66	c bounds 52790 >= 0 @ 282.936
290.53/292.69	c bounds 52788 >= 0 @ 282.961
290.64/292.70	c bounds 52750 >= 0 @ 282.974
290.64/292.72	c bounds 52732 >= 0 @ 282.988
291.14/293.26	c INPROCESSING
291.14/293.26	c GARBAGE COLLECT
291.14/293.26	c rational objective 49940.9
294.22/296.33	c #Conflicts:     125000 | #Constraints:      15645
294.22/296.33	c bounds 52730 >= 0 @ 286.513
294.22/296.33	c bounds 52721 >= 0 @ 286.518
294.22/296.35	c bounds 52703 >= 0 @ 286.53
301.40/303.58	c #Conflicts:     126000 | #Constraints:      16665
301.40/303.58	c #Conflicts:     127000 | #Constraints:      17685
301.40/303.58	c #Conflicts:     128000 | #Constraints:      18704
301.40/303.58	c #Conflicts:     129000 | #Constraints:      19712
301.40/303.58	c #Conflicts:     130000 | #Constraints:      20726
301.40/303.58	c #Conflicts:     131000 | #Constraints:      21737
301.40/303.58	c bounds 52639 >= 0 @ 293.486
302.59/304.76	c INPROCESSING
302.59/304.76	c GARBAGE COLLECT
302.59/304.76	c rational objective 49944.3
317.75/319.95	c #Conflicts:     132000 | #Constraints:      15355
317.75/319.95	c #Conflicts:     133000 | #Constraints:      16516
317.75/319.95	c #Conflicts:     134000 | #Constraints:      17519
317.75/319.95	c #Conflicts:     135000 | #Constraints:      18520
317.75/319.95	c #Conflicts:     136000 | #Constraints:      19580
317.75/319.95	c #Conflicts:     137000 | #Constraints:      20581
317.75/319.95	c #Conflicts:     138000 | #Constraints:      21582
317.75/319.95	c #Conflicts:     139000 | #Constraints:      22583
317.75/319.95	c INPROCESSING
317.75/319.95	c GARBAGE COLLECT
317.75/319.95	c rational objective 49944.3
319.15/321.36	c bounds 52503 >= 0 @ 310.848
330.62/332.83	c #Conflicts:     140000 | #Constraints:      15988
330.62/332.83	c #Conflicts:     141000 | #Constraints:      16996
330.62/332.83	c #Conflicts:     142000 | #Constraints:      18009
330.62/332.83	c #Conflicts:     143000 | #Constraints:      19016
330.62/332.83	c #Conflicts:     144000 | #Constraints:      20023
330.62/332.83	c #Conflicts:     145000 | #Constraints:      21028
330.62/332.83	c #Conflicts:     146000 | #Constraints:      22040
330.62/332.83	c bounds 52434 >= 0 @ 321.933
331.62/333.86	c #Conflicts:     147000 | #Constraints:      23052
331.62/333.86	c INPROCESSING
331.62/333.86	c GARBAGE COLLECT
331.62/333.86	c rational objective 49944.5
333.02/335.27	c bounds 52425 >= 0 @ 324.332
333.32/335.58	c bounds 52402 >= 0 @ 324.635
333.32/335.59	c bounds 52393 >= 0 @ 324.64
333.32/335.59	c bounds 52373 >= 0 @ 324.643
333.71/335.93	c bounds 52356 >= 0 @ 324.965
343.69/345.91	c #Conflicts:     148000 | #Constraints:      16328
343.69/345.91	c #Conflicts:     149000 | #Constraints:      17331
343.69/345.91	c #Conflicts:     150000 | #Constraints:      18336
343.69/345.91	c #Conflicts:     151000 | #Constraints:      19341
343.69/345.91	c #Conflicts:     152000 | #Constraints:      20348
343.69/345.91	c #Conflicts:     153000 | #Constraints:      21355
343.69/345.91	c bounds 52330 >= 0 @ 334.634
343.69/345.92	c bounds 52272 >= 0 @ 334.643
343.98/346.21	c bounds 52263 >= 0 @ 334.928
346.38/348.65	c #Conflicts:     154000 | #Constraints:      22369
346.38/348.65	c #Conflicts:     155000 | #Constraints:      23369
346.38/348.65	c INPROCESSING
346.38/348.65	c GARBAGE COLLECT
346.38/348.65	c rational objective 49945
358.86/361.18	c #Conflicts:     156000 | #Constraints:      16472
358.86/361.18	c #Conflicts:     157000 | #Constraints:      17478
358.86/361.18	c #Conflicts:     158000 | #Constraints:      18489
358.86/361.18	c #Conflicts:     159000 | #Constraints:      19498
358.86/361.18	c #Conflicts:     160000 | #Constraints:      20502
358.86/361.18	c #Conflicts:     161000 | #Constraints:      21502
358.86/361.18	c #Conflicts:     162000 | #Constraints:      22504
358.86/361.18	c #Conflicts:     163000 | #Constraints:      23507
358.86/361.18	c INPROCESSING
358.86/361.18	c GARBAGE COLLECT
358.86/361.18	c rational objective 49945
376.40/378.72	c #Conflicts:     164000 | #Constraints:      16467
376.40/378.72	c #Conflicts:     165000 | #Constraints:      17470
376.40/378.72	c #Conflicts:     166000 | #Constraints:      18480
376.40/378.72	c #Conflicts:     167000 | #Constraints:      19488
376.40/378.72	c #Conflicts:     168000 | #Constraints:      20493
376.40/378.72	c #Conflicts:     169000 | #Constraints:      21499
376.40/378.72	c #Conflicts:     170000 | #Constraints:      22504
376.40/378.72	c #Conflicts:     171000 | #Constraints:      23512
376.40/378.72	c INPROCESSING
376.40/378.72	c GARBAGE COLLECT
376.40/378.72	c rational objective 49945.7
395.14/397.54	c #Conflicts:     172000 | #Constraints:      16255
395.14/397.54	c #Conflicts:     173000 | #Constraints:      17258
395.14/397.54	c #Conflicts:     174000 | #Constraints:      18261
395.14/397.54	c #Conflicts:     175000 | #Constraints:      19266
395.14/397.54	c #Conflicts:     176000 | #Constraints:      20267
395.14/397.54	c #Conflicts:     177000 | #Constraints:      21270
395.14/397.54	c #Conflicts:     178000 | #Constraints:      22271
395.14/397.54	c #Conflicts:     179000 | #Constraints:      23271
395.14/397.54	c #Conflicts:     180000 | #Constraints:      24273
395.14/397.54	c INPROCESSING
395.14/397.54	c GARBAGE COLLECT
395.14/397.54	c rational objective 49946.9
419.69/422.16	c #Conflicts:     181000 | #Constraints:      16849
419.69/422.16	c #Conflicts:     182000 | #Constraints:      17849
419.69/422.16	c #Conflicts:     183000 | #Constraints:      18850
419.69/422.16	c #Conflicts:     184000 | #Constraints:      19863
419.69/422.16	c #Conflicts:     185000 | #Constraints:      20871
419.69/422.16	c #Conflicts:     186000 | #Constraints:      21871
419.69/422.16	c #Conflicts:     187000 | #Constraints:      22931
419.69/422.16	c #Conflicts:     188000 | #Constraints:      23933
419.69/422.16	c #Conflicts:     189000 | #Constraints:      24935
419.69/422.16	c INPROCESSING
419.69/422.16	c GARBAGE COLLECT
419.69/422.16	c rational objective 49946.5
422.96/425.43	c bounds 50769 >= 0 @ 412.113
439.21/441.70	c #Conflicts:     190000 | #Constraints:      17300
439.21/441.70	c #Conflicts:     191000 | #Constraints:      18317
439.21/441.70	c #Conflicts:     192000 | #Constraints:      19324
439.21/441.70	c #Conflicts:     193000 | #Constraints:      20331
439.21/441.70	c #Conflicts:     194000 | #Constraints:      21346
439.21/441.70	c #Conflicts:     195000 | #Constraints:      22355
439.21/441.70	c #Conflicts:     196000 | #Constraints:      23368
439.21/441.70	c #Conflicts:     197000 | #Constraints:      24379
439.21/441.70	c #Conflicts:     198000 | #Constraints:      25382
439.21/441.70	c INPROCESSING
439.21/441.70	c GARBAGE COLLECT
439.21/441.70	c rational objective 49946.5
459.07/461.64	c #Conflicts:     199000 | #Constraints:      17503
459.07/461.64	c #Conflicts:     200000 | #Constraints:      18505
459.07/461.64	c #Conflicts:     201000 | #Constraints:      19506
459.07/461.64	c #Conflicts:     202000 | #Constraints:      20509
459.07/461.64	c #Conflicts:     203000 | #Constraints:      21546
459.07/461.64	c #Conflicts:     204000 | #Constraints:      22559
459.07/461.64	c #Conflicts:     205000 | #Constraints:      23580
459.07/461.64	c #Conflicts:     206000 | #Constraints:      24586
459.07/461.64	c #Conflicts:     207000 | #Constraints:      25590
459.07/461.64	c INPROCESSING
459.07/461.64	c GARBAGE COLLECT
459.07/461.64	c rational objective 49946.7
479.21/481.84	c #Conflicts:     208000 | #Constraints:      17508
479.21/481.84	c #Conflicts:     209000 | #Constraints:      18515
479.21/481.84	c #Conflicts:     210000 | #Constraints:      19517
479.21/481.84	c #Conflicts:     211000 | #Constraints:      20517
479.21/481.84	c #Conflicts:     212000 | #Constraints:      21518
479.21/481.84	c #Conflicts:     213000 | #Constraints:      22520
479.21/481.84	c #Conflicts:     214000 | #Constraints:      23526
479.21/481.84	c #Conflicts:     215000 | #Constraints:      24533
479.21/481.84	c #Conflicts:     216000 | #Constraints:      25538
479.21/481.84	c INPROCESSING
479.21/481.84	c GARBAGE COLLECT
479.21/481.84	c rational objective 49978.2
495.38/498.02	c #Conflicts:     217000 | #Constraints:      17280
495.38/498.02	c #Conflicts:     218000 | #Constraints:      18323
495.38/498.02	c #Conflicts:     219000 | #Constraints:      19324
495.38/498.02	c #Conflicts:     220000 | #Constraints:      20325
495.38/498.02	c #Conflicts:     221000 | #Constraints:      21325
495.38/498.02	c #Conflicts:     222000 | #Constraints:      22330
495.38/498.02	c #Conflicts:     223000 | #Constraints:      23336
495.38/498.02	c #Conflicts:     224000 | #Constraints:      24349
495.38/498.02	c #Conflicts:     225000 | #Constraints:      25357
495.38/498.02	c #Conflicts:     226000 | #Constraints:      26370
495.38/498.02	c INPROCESSING
495.38/498.02	c GARBAGE COLLECT
495.38/498.02	c rational objective 49981.5
533.46/536.28	c #Conflicts:     227000 | #Constraints:      18071
533.46/536.28	c #Conflicts:     228000 | #Constraints:      19393
533.46/536.28	c #Conflicts:     229000 | #Constraints:      20474
533.46/536.28	c #Conflicts:     230000 | #Constraints:      21629
533.46/536.28	c #Conflicts:     231000 | #Constraints:      22703
533.46/536.28	c #Conflicts:     232000 | #Constraints:      23719
533.46/536.28	c #Conflicts:     233000 | #Constraints:      24720
533.46/536.28	c #Conflicts:     234000 | #Constraints:      25721
533.46/536.28	c #Conflicts:     235000 | #Constraints:      26722
533.46/536.28	c #Conflicts:     236000 | #Constraints:      27724
533.46/536.28	c INPROCESSING
533.46/536.28	c GARBAGE COLLECT
533.46/536.28	c rational objective 50432.1
557.00/559.88	c #Conflicts:     237000 | #Constraints:      18674
557.00/559.88	c #Conflicts:     238000 | #Constraints:      19678
557.00/559.88	c #Conflicts:     239000 | #Constraints:      20707
557.00/559.88	c #Conflicts:     240000 | #Constraints:      21708
557.00/559.88	c #Conflicts:     241000 | #Constraints:      22788
557.00/559.88	c #Conflicts:     242000 | #Constraints:      23837
557.00/559.88	c #Conflicts:     243000 | #Constraints:      24854
557.00/559.88	c #Conflicts:     244000 | #Constraints:      25874
557.00/559.88	c #Conflicts:     245000 | #Constraints:      26932
557.00/559.88	c #Conflicts:     246000 | #Constraints:      27970
557.00/559.88	c INPROCESSING
557.00/559.88	c GARBAGE COLLECT
557.00/559.88	c rational objective 50028.1
585.62/588.53	c #Conflicts:     247000 | #Constraints:      18780
585.62/588.53	c #Conflicts:     248000 | #Constraints:      19784
585.62/588.53	c #Conflicts:     249000 | #Constraints:      20891
585.62/588.53	c #Conflicts:     250000 | #Constraints:      22096
585.62/588.53	c #Conflicts:     251000 | #Constraints:      23113
585.62/588.53	c #Conflicts:     252000 | #Constraints:      24279
585.62/588.53	c #Conflicts:     253000 | #Constraints:      25284
585.62/588.53	c #Conflicts:     254000 | #Constraints:      26295
585.62/588.53	c #Conflicts:     255000 | #Constraints:      27295
585.62/588.53	c #Conflicts:     256000 | #Constraints:      28295
585.62/588.53	c INPROCESSING
585.62/588.53	c GARBAGE COLLECT
585.62/588.53	c rational objective 50063.4
614.72/617.74	c #Conflicts:     257000 | #Constraints:      18848
614.72/617.74	c #Conflicts:     258000 | #Constraints:      19848
614.72/617.74	c #Conflicts:     259000 | #Constraints:      20848
614.72/617.74	c #Conflicts:     260000 | #Constraints:      21864
614.72/617.74	c #Conflicts:     261000 | #Constraints:      22867
614.72/617.74	c #Conflicts:     262000 | #Constraints:      23872
614.72/617.74	c #Conflicts:     263000 | #Constraints:      24878
614.72/617.74	c #Conflicts:     264000 | #Constraints:      25922
614.72/617.74	c #Conflicts:     265000 | #Constraints:      26936
614.72/617.74	c #Conflicts:     266000 | #Constraints:      27936
614.72/617.74	c INPROCESSING
614.72/617.74	c GARBAGE COLLECT
614.72/617.74	c rational objective 50046.7
647.11/650.30	c #Conflicts:     267000 | #Constraints:      18464
647.11/650.30	c #Conflicts:     268000 | #Constraints:      19471
647.11/650.30	c #Conflicts:     269000 | #Constraints:      20492
647.11/650.30	c #Conflicts:     270000 | #Constraints:      21505
647.11/650.30	c #Conflicts:     271000 | #Constraints:      22513
647.11/650.30	c #Conflicts:     272000 | #Constraints:      23524
647.11/650.30	c #Conflicts:     273000 | #Constraints:      24538
647.11/650.30	c #Conflicts:     274000 | #Constraints:      25547
647.11/650.30	c #Conflicts:     275000 | #Constraints:      26557
647.11/650.30	c #Conflicts:     276000 | #Constraints:      27570
647.11/650.30	c bounds 50769 >= 50769 @ 632.024
647.11/650.30	c cpu time 632.024 s
647.11/650.30	c deterministic time 25130244453 2.51e+10
647.11/650.30	c optimization time 0.030935 s
647.11/650.30	c total solve time 631.872 s
647.11/650.30	c core-guided solve time 294.639 s
647.11/650.30	c propagation time 274.95 s
647.11/650.30	c conflict analysis time 273.816 s
647.11/650.30	c propagations 211917393
647.11/650.30	c resolve steps 4035213
647.11/650.30	c decisions 3971138
647.11/650.30	c conflicts 276278
647.11/650.30	c restarts 638
647.11/650.30	c inprocessing phases 43
647.11/650.30	c garbage collections 43 ,( 100.00 )
647.11/650.30	c input clauses 8602 ,( 99.43 )
647.11/650.30	c input cardinalities 0 ,( 0.00 )
647.11/650.30	c input general constraints 49 ,( 0.57 )
647.11/650.30	c input average constraint length 13.15
647.11/650.30	c input average constraint degree 16894.54
647.11/650.30	c learned clauses 147272 ,( 51.21 )
647.11/650.30	c learned cardinalities 299 ,( 0.10 )
647.11/650.30	c learned general constraints 140011 ,( 48.69 )
647.11/650.30	c learned average constraint length 624.65
647.11/650.30	c learned average constraint degree 19337574323.10
647.11/650.30	c watched  CF 32, 64, 128, Arb: 26115 , 0 , 0 , 0
647.11/650.30	c counting CF 32, 64, 128, Arb: 113946 , 0 , 0 , 0
647.11/650.30	c watched   constraints 26115 ,( 18.65 ) 
647.11/650.30	c counting  constraints 113945 ,( 81.35 ) 
647.11/650.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 94833279 , 784428 , 103752384 ,( 5550684 , 98201700 )
647.11/650.30	c gcd simplifications 20201
647.11/650.30	c detected cardinalities 87
647.11/650.30	c weakened non-implied lits 239491119
647.11/650.30	c weakened non-implying lits 225023
647.11/650.30	c original variables 3951
647.11/650.30	c clausal propagations 77238017
647.11/650.30	c cardinality propagations 30915
647.11/650.30	c watched propagations 62501
647.11/650.30	c counting propagations 125166950
647.11/650.30	c watch lookups 12087449617
647.11/650.30	c watch backjump lookups 0
647.11/650.30	c watch checks 1580262946
647.11/650.30	c propagation checks 10035649969
647.11/650.30	c constraint additions 994460790
647.11/650.30	c trail pops 216161298
647.11/650.30	c formula constraints 8602
647.11/650.30	c learned constraints 275347
647.11/650.30	c bound constraints 49
647.11/650.30	c core-guided constraints 0
647.11/650.30	c encountered formula constraints 3397077
647.11/650.30	c encountered learned constraints 580874
647.11/650.30	c encountered bound constraints 2156
647.11/650.30	c encountered core-guided constraints 0
647.11/650.30	c LP total time 146.772 s
647.11/650.30	c LP solve time 84.74 s
647.11/650.30	c LP constraints added 8664
647.11/650.30	c LP constraints removed 48
647.11/650.30	c LP pivots internal 276293
647.11/650.30	c LP pivots root 95008
647.11/650.30	c LP calls 11686
647.11/650.30	c LP optimalities 387
647.11/650.30	c LP no pivot count 290
647.11/650.30	c LP infeasibilities 11279
647.11/650.30	c LP valid Farkas constraints 11263
647.11/650.30	c LP learned Farkas constraints 930
647.11/650.30	c LP basis resets 33
647.11/650.30	c LP cycling count 3
647.11/650.30	c LP singular count 13
647.11/650.30	c LP no primal count 0
647.11/650.30	c LP no farkas count 16
647.11/650.30	c LP other issue count 1
647.11/650.30	c LP Gomory cuts 42
647.11/650.30	c LP learned cuts 20
647.11/650.30	c LP deleted cuts 48
647.11/650.30	c LP encountered Gomory constraints 0
647.11/650.30	c LP encountered Farkas constraints 324143
647.11/650.30	c LP encountered learned Farkas constraints 6311
647.11/650.30	c CG auxiliary variables introduced 0
647.11/650.30	c CG solutions found 49
647.11/650.30	c CG cores constructed 0
647.11/650.30	c CG core cardinality constraints returned 0
647.11/650.30	c CG unit cores 0
647.11/650.30	c CG single cores 0
647.11/650.30	c CG blocks removed during cardinality reduction 0
647.11/650.30	c CG first core best 0
647.11/650.30	c CG decision core best 0
647.11/650.30	c CG core reduction tie 0
647.11/650.30	c CG core degree average 0.00
647.11/650.30	c CG core slack average 0.00
647.11/650.30	c CG core upper bound improvements 0
647.11/650.30	c STR number of successful calls 0
647.11/650.30	c STR number of unsuccessful calls 0
647.11/650.30	c STR number of inconclusive calls 0
647.11/650.30	c STR number of successful attempts 0
647.11/650.30	c STR number of unsuccessful attempts 0
647.11/650.30	c STR number of inconclusive attempts 0
647.11/650.30	c STR average degree increase per successful call inf
647.11/650.30	c STR average degree increase per successful attempt inf
647.11/650.30	c STR total number of conflicts for successful attempts 0
647.11/650.30	c STR total number of conflicts for unsuccessful attempts 0
647.11/650.30	c STR total number of conflicts for inconclusive attempts 0
647.11/650.30	c STR average number of conflicts per successful attempt inf
647.11/650.30	c STR average number of conflicts per unsuccessful attempt inf
647.11/650.30	c STR average number of conflicts per inconclusive attempt inf
647.11/650.30	c AVG.sumWPerc 69.02 
647.11/650.30	c bigint constraints 0 
647.11/650.30	o 50769
647.11/650.30	s OPTIMUM FOUND
647.11/650.30	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 15 17:04:52 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: 63837 MiB (9288 MiB free)
  memory of node 1: 64465 MiB (55014 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532474-1752588299/watcher-4532474-1752588299 -o /tmp/evaluation-result-4532474-1752588299/solver-4532474-1752588299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752584603-127847 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532474-1752588299.opb PROOFDIR/proof-4532474-1752588299 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=128301, runsolver pid=128298

[startup+0.100098 s]*
/proc/loadavg: 4.28 4.22 4.17 3/261 128303
/proc/meminfo: memFree=65841056/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128303] ppid=128301 vsize=14236 memory=7424 CPUtime=0.01 cores=1,3
/proc/128303/stat : 128303 (pbsuma) D 128301 128301 127835 0 -1 4456448 988 0 0 0 1 0 0 0 20 0 1 0 174508703 14577664 1856 18446744073709551615 4210688 4653049 140734246476144 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 34390016 140734246484193 140734246484528 140734246484528 140734246490095 0
/proc/128303/statm: 3559 1856 992 108 0 967 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18428 KiB
Current children cumulated memory: 10368 KiB

[startup+0.21444 s]*
/proc/loadavg: 4.28 4.22 4.17 3/261 128303
/proc/meminfo: memFree=65832980/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128303] ppid=128301 vsize=14236 memory=7424 CPUtime=0.01 cores=1,3
/proc/128303/stat : 128303 (pbsuma) D 128301 128301 127835 0 -1 4456448 988 0 0 0 1 0 0 0 20 0 1 0 174508703 14577664 1856 18446744073709551615 4210688 4653049 140734246476144 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 34390016 140734246484193 140734246484528 140734246484528 140734246490095 0
/proc/128303/statm: 3559 1856 992 108 0 967 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18428 KiB
Current children cumulated memory: 10368 KiB

[startup+0.314211 s]*
/proc/loadavg: 4.28 4.22 4.17 3/261 128303
/proc/meminfo: memFree=65825176/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128303] ppid=128301 vsize=14236 memory=7424 CPUtime=0.01 cores=1,3
/proc/128303/stat : 128303 (pbsuma) D 128301 128301 127835 0 -1 4456448 988 0 0 0 1 0 0 0 20 0 1 0 174508703 14577664 1856 18446744073709551615 4210688 4653049 140734246476144 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 34390016 140734246484193 140734246484528 140734246484528 140734246490095 0
/proc/128303/statm: 3559 1856 992 108 0 967 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18428 KiB
Current children cumulated memory: 10368 KiB

[startup+0.700347 s]
/proc/loadavg: 4.28 4.22 4.17 3/261 128304
/proc/meminfo: memFree=65808620/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=50800 memory=7168 CPUtime=0 cores=1,3
/proc/128304/stat : 128304 (roundingsat) D 128301 128301 127835 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 174508752 52019200 1792 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 12700 1792 1696 1147 0 126 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 54992 KiB
Current children cumulated memory: 10112 KiB

[startup+1.5003 s]
/proc/loadavg: 4.28 4.22 4.17 4/261 128304
/proc/meminfo: memFree=65798332/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=72748 memory=25068 CPUtime=0.69 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 4845 0 0 0 64 5 0 0 20 0 1 0 174508752 74493952 6267 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 18187 6267 2336 1147 0 5613 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 76940 KiB
Current children cumulated memory: 28012 KiB

[startup+3.10564 s]
/proc/loadavg: 4.34 4.23 4.17 4/261 128304
/proc/meminfo: memFree=65663532/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=90000 memory=44256 CPUtime=2.27 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 9141 0 0 0 213 14 0 0 20 0 1 0 174508752 92160000 11064 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 22500 11064 2336 1147 0 9926 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 94192 KiB
Current children cumulated memory: 47200 KiB
heavy processes:

[startup+6.3002 s]
/proc/loadavg: 4.34 4.23 4.17 3/256 128331
/proc/meminfo: memFree=65682468/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=111088 memory=63172 CPUtime=5.43 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 13342 0 0 0 516 27 0 0 20 0 1 0 174508752 113754112 15793 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 27772 15793 2368 1147 0 15198 0
Current children cumulated CPU time: 5.47 s
Current children cumulated vsize: 115280 KiB
Current children cumulated memory: 66116 KiB

[startup+12.7004 s]
/proc/loadavg: 4.39 4.24 4.18 3/257 128340
/proc/meminfo: memFree=65251528/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=139704 memory=89820 CPUtime=11.81 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 18450 0 0 0 1135 46 0 0 20 0 1 0 174508752 143056896 22455 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 34926 22455 2368 1147 0 22352 0
Current children cumulated CPU time: 11.85 s
Current children cumulated vsize: 143896 KiB
Current children cumulated memory: 92764 KiB

[startup+25.5004 s]
/proc/loadavg: 4.61 4.30 4.20 4/256 128379
/proc/meminfo: memFree=59530456/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=173464 memory=117948 CPUtime=24.54 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 23929 0 0 0 2372 82 0 0 20 0 1 0 174508752 177627136 29487 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 43366 29487 2368 1147 0 30792 0
Current children cumulated CPU time: 24.58 s
Current children cumulated vsize: 177656 KiB
Current children cumulated memory: 120892 KiB

[startup+51.1135 s]
/proc/loadavg: 4.89 4.39 4.23 3/255 128380
/proc/meminfo: memFree=59392396/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=202832 memory=153120 CPUtime=50.07 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 31125 0 0 0 4857 150 0 0 20 0 1 0 174508752 207699968 38280 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 50708 38280 2464 1147 0 38134 0
Current children cumulated CPU time: 50.11 s
Current children cumulated vsize: 207024 KiB
Current children cumulated memory: 156064 KiB

[startup+102.3 s]
/proc/loadavg: 4.95 4.47 4.27 4/257 128436
/proc/meminfo: memFree=50865576/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=254488 memory=192472 CPUtime=101.08 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 38933 0 0 0 9837 271 0 0 20 0 1 0 174508752 260595712 48118 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 63622 48118 2464 1147 0 51048 0
Current children cumulated CPU time: 101.12 s
Current children cumulated vsize: 258680 KiB
Current children cumulated memory: 195416 KiB

[startup+162.3 s]
/proc/loadavg: 4.76 4.52 4.30 4/276 128522
/proc/meminfo: memFree=111623612/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=264648 memory=203352 CPUtime=160.69 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 41710 0 0 0 15638 431 0 0 20 0 1 0 174508752 270999552 50838 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 66162 50838 2464 1147 0 53588 0
Current children cumulated CPU time: 160.73 s
Current children cumulated vsize: 268840 KiB
Current children cumulated memory: 206296 KiB

[startup+222.3 s]
/proc/loadavg: 4.39 4.45 4.29 5/277 128722
/proc/meminfo: memFree=106997000/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=331476 memory=248920 CPUtime=220.42 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 50295 0 0 0 21458 584 0 0 20 0 1 0 174508752 339431424 62230 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 82869 62230 2496 1147 0 70295 0

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

/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 69889 0 0 0 38955 1034 0 0 20 0 1 0 174508752 482136064 94432 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 117709 94432 2496 1147 0 105135 0
Current children cumulated CPU time: 399.93 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 380672 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.29 4.26 5/262 128779
/proc/meminfo: memFree=83792372/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=516548 memory=411520 CPUtime=459.73 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 78377 0 0 0 44811 1162 0 0 20 0 1 0 174508752 528945152 102880 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 129137 102880 2496 1147 0 116563 0
Current children cumulated CPU time: 459.77 s
Current children cumulated vsize: 520740 KiB
Current children cumulated memory: 414464 KiB

[startup+522.3 s]
/proc/loadavg: 4.24 4.29 4.26 5/260 128782
/proc/meminfo: memFree=79082464/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=525692 memory=419456 CPUtime=519.56 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 80390 0 0 0 50670 1286 0 0 20 0 1 0 174508752 538308608 104864 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 131423 104864 2496 1147 0 118849 0
Current children cumulated CPU time: 519.6 s
Current children cumulated vsize: 529884 KiB
Current children cumulated memory: 422400 KiB

[startup+582.3 s]
/proc/loadavg: 4.15 4.25 4.25 5/260 128784
/proc/meminfo: memFree=73479864/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=551888 memory=449264 CPUtime=579.39 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 85321 0 0 0 56549 1390 0 0 20 0 1 0 174508752 565133312 112316 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 137972 112316 2496 1147 0 125398 0
Current children cumulated CPU time: 579.43 s
Current children cumulated vsize: 556080 KiB
Current children cumulated memory: 452208 KiB

[startup+642.3 s]
/proc/loadavg: 4.09 4.22 4.24 5/260 128833
/proc/meminfo: memFree=69412036/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=552708 memory=450160 CPUtime=639.2 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 85554 0 0 0 62418 1502 0 0 20 0 1 0 174508752 565972992 112540 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 138177 112540 2496 1147 0 125603 0
Current children cumulated CPU time: 639.24 s
Current children cumulated vsize: 556900 KiB
Current children cumulated memory: 453104 KiB

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

# cumulated CPU time of all completed processes:  user=632.108 s, system=15.5417 s

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

[startup+646.4 s]
/proc/loadavg: 4.17 4.23 4.24 5/260 128833
/proc/meminfo: memFree=69061568/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=552708 memory=450672 CPUtime=643.28 cores=1,3
/proc/128304/stat : 128304 (roundingsat) R 128301 128301 127835 0 -1 4194304 85669 0 0 0 62820 1508 0 0 20 0 1 0 174508752 565972992 112668 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 138177 112668 2496 1147 0 125603 0
Current children cumulated CPU time: 643.32 s
Current children cumulated vsize: 556900 KiB
Current children cumulated memory: 453616 KiB

[startup+652.8 s]
/proc/loadavg: 4.15 4.23 4.24 4/260 128833
/proc/meminfo: memFree=68723176/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=559252 memory=454640 CPUtime=647.42 cores=1,3
/proc/128304/stat : 128304 (roundingsat) D 128301 128301 127835 0 -1 4194304 86677 0 0 0 63204 1538 0 0 20 0 1 0 174508752 572674048 113660 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 139813 113660 2496 1147 0 127239 0
Current children cumulated CPU time: 647.46 s
Current children cumulated vsize: 563444 KiB
Current children cumulated memory: 457584 KiB

[startup+656 s]*
/proc/loadavg: 4.14 4.23 4.24 4/260 128833
/proc/meminfo: memFree=68655108/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=559252 memory=454640 CPUtime=647.45 cores=1,3
/proc/128304/stat : 128304 (roundingsat) D 128301 128301 127835 0 -1 4194304 86677 0 0 0 63205 1540 0 0 20 0 1 0 174508752 572674048 113660 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 139813 113660 2496 1147 0 127239 0
Current children cumulated CPU time: 647.49 s
Current children cumulated vsize: 563444 KiB
Current children cumulated memory: 457584 KiB

[startup+656.8 s]
/proc/loadavg: 4.14 4.23 4.24 4/260 128833
/proc/meminfo: memFree=68655108/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=559252 memory=454640 CPUtime=647.46 cores=1,3
/proc/128304/stat : 128304 (roundingsat) D 128301 128301 127835 0 -1 4194304 86677 0 0 0 63205 1541 0 0 20 0 1 0 174508752 572674048 113660 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 139813 113660 2496 1147 0 127239 0
Current children cumulated CPU time: 647.5 s
Current children cumulated vsize: 563444 KiB
Current children cumulated memory: 457584 KiB

[startup+657.6 s]
/proc/loadavg: 4.14 4.23 4.24 4/260 128833
/proc/meminfo: memFree=68519844/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=559252 memory=454640 CPUtime=647.5 cores=1,3
/proc/128304/stat : 128304 (roundingsat) D 128301 128301 127835 0 -1 4194304 86677 0 0 0 63206 1544 0 0 20 0 1 0 174508752 572674048 113660 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 139813 113660 2496 1147 0 127239 0
Current children cumulated CPU time: 647.54 s
Current children cumulated vsize: 563444 KiB
Current children cumulated memory: 457584 KiB

[startup+658 s]*
/proc/loadavg: 4.13 4.22 4.24 5/260 128833
/proc/meminfo: memFree=68471680/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=559252 memory=454640 CPUtime=647.56 cores=1,3
/proc/128304/stat : 128304 (roundingsat) D 128301 128301 127835 0 -1 4194304 86677 0 0 0 63206 1550 0 0 20 0 1 0 174508752 572674048 113660 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 139813 113660 2496 1147 0 127239 0
Current children cumulated CPU time: 647.6 s
Current children cumulated vsize: 563444 KiB
Current children cumulated memory: 457584 KiB

[startup+658.113 s]
/proc/loadavg: 4.13 4.22 4.24 5/260 128833
/proc/meminfo: memFree=68471680/131382120 swapFree=33010416/33010684
[pid=128301] ppid=128298 vsize=4192 memory=2944 CPUtime=0.04 cores=1,3
/proc/128301/stat : 128301 (run-opt-break-l) S 128298 128301 127835 0 -1 4194304 240 3863 0 0 0 0 3 1 20 0 1 0 174508702 4292608 736 18446744073709551615 94026523049984 94026523944517 140722025129680 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94026524183568 94026524231312 94026548314112 140722025138451 140722025138652 140722025138652 140722025144256 0
/proc/128301/statm: 1048 736 672 219 0 110 0
[pid=128304] ppid=128301 vsize=559252 memory=454640 CPUtime=647.56 cores=1,3
/proc/128304/stat : 128304 (roundingsat) D 128301 128301 127835 0 -1 4194304 86677 0 0 0 63206 1550 0 0 20 0 1 0 174508752 572674048 113660 18446744073709551615 4227072 8923577 140721704141312 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9827200 9836688 12992512 140721704147218 140721704147494 140721704147494 140721704153066 0
/proc/128304/statm: 139813 113660 2496 1147 0 127239 0
Current children cumulated CPU time: 647.6 s
Current children cumulated vsize: 563444 KiB
Current children cumulated memory: 457584 KiB

Child status: 0

Real time (s): 658.195
CPU time (s): 647.65
CPU user time (s): 632.108
CPU system time (s): 15.5417
CPU usage (%): 98.3979
Max. virtual memory (cumulated for all children) (KiB): 563444
Max. memory (cumulated for all children) (KiB): 457584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 632.108
system time used= 15.5417
maximum resident set size= 454640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90805
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= 74056
involuntary context switches= 1373


# summary of solver processes directly reported to runsolver:
#   pid: 128301
#   total CPU time (s): 647.65
#   total CPU user time (s): 632.108
#   total CPU system time (s): 15.5417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99812 second user time and 6.7538 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-15 16:04:59
IDJOB=4532474
IDBENCH=148155
IDSOLVER=3393
FILE ID=nodeC002/4532474-1752588299
RUNJOBID= nodeC002-1752584603-127847
SLURM_JOB_ID= 9684332
Free space on /tmp= 431588 MiB

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

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1427959576

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        65844968 kB
MemAvailable:   121710480 kB
Buffers:            2128 kB
Cached:         56608568 kB
SwapCached:           28 kB
Active:          8281216 kB
Inactive:       56076100 kB
Active(anon):    7768576 kB
Inactive(anon):     4248 kB
Active(file):     512640 kB
Inactive(file): 56071852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            118212 kB
Writeback:      11784852 kB
AnonPages:       7749784 kB
Mapped:           120728 kB
Shmem:             26124 kB
KReclaimable:     241296 kB
Slab:             775560 kB
SReclaimable:     241296 kB
SUnreclaim:       534264 kB
KernelStack:        4192 kB
PageTables:        19616 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    9574808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5402624 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430492 MiB
End job on nodeC002 at 2025-07-15 16:15:57