Trace number 4497196

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 63f22adOPT50769 461.703 463.036

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-4497196-1751377950.opb'
0.00/0.01	c 	read 0.27MB  (4.50ms)
0.00/0.01	c	 [cnf: #variables 3945 #clauses 8605 #duplicates 0 #arr 23996]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 8] (6.07ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (0.80ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 26254 #edges 75400]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 4.00*10^0 #generators 2] (4.45ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	(0.00ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c add generic predicates (break_depth=20)
0.00/0.03	c 	added predicates for 2 generators (0.01ms)
0.00/0.03	c 
0.00/0.03	c generation finished
0.00/0.03	c 	[sbp: #constraints 20 #add_vars 6]
0.00/0.03	c 
0.00/0.03	c write result to 'HOME/instance-4497196-1751377950.opb.pre'
0.00/0.03	c 	wrote 0.28MB (0.78ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   6.07ms 35.52% approx_orbits
0.00/0.03	c                   4.50ms 26.33% parse
0.00/0.03	c                   4.45ms 26.03% detect_generic
0.00/0.03	c                   0.80ms  4.67% detect_special
0.00/0.03	c                   0.78ms  4.56% output
0.00/0.03	c                   0.36ms  2.11% other
0.00/0.03	c                   0.12ms  0.71% finalize_order
0.00/0.03	c                   0.01ms  0.04% break_generic
0.00/0.03	c                   0.00ms  0.02% optimize_gens
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  17.09ms   100% total
0.00/0.03	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.08	c #variables 3951 #constraints 8602
0.00/0.08	c objective is ce32 
0.00/0.08	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.08	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.08	c bounds - >= 0 @ 0.027786
0.16/0.23	c bounds 55914 >= 0 @ 0.157921
1.15/1.25	c #Conflicts:       1000 | #Constraints:       9602
1.15/1.25	c #Conflicts:       2000 | #Constraints:      10602
1.15/1.25	c INPROCESSING
1.15/1.25	c GARBAGE COLLECT
1.15/1.25	c rational objective 49519.9
1.45/1.56	c bounds 55732 >= 0 @ 1.43292
1.65/1.79	c bounds 55445 >= 0 @ 1.65109
2.44/2.55	c #Conflicts:       3000 | #Constraints:       9551
2.44/2.55	c bounds 55257 >= 0 @ 2.39163
2.95/3.01	c #Conflicts:       4000 | #Constraints:      10562
2.95/3.01	c INPROCESSING
2.95/3.01	c GARBAGE COLLECT
2.95/3.01	c rational objective 49730.5
4.95/5.08	c #Conflicts:       5000 | #Constraints:       9960
4.95/5.08	c #Conflicts:       6000 | #Constraints:      10979
4.95/5.08	c bounds 55239 >= 0 @ 4.84921
4.95/5.09	c bounds 55175 >= 0 @ 4.85633
5.53/5.62	c INPROCESSING
5.53/5.62	c GARBAGE COLLECT
5.53/5.62	c rational objective 49797.6
7.63/7.76	c #Conflicts:       7000 | #Constraints:      10044
7.63/7.76	c #Conflicts:       8000 | #Constraints:      11082
7.63/7.76	c bounds 55137 >= 0 @ 7.4817
9.72/9.80	c #Conflicts:       9000 | #Constraints:      12179
9.72/9.80	c INPROCESSING
9.72/9.80	c GARBAGE COLLECT
9.72/9.80	c rational objective 49819.3
9.93/10.08	c bounds 55093 >= 0 @ 9.75538
9.93/10.08	c bounds 55075 >= 0 @ 9.75997
14.61/14.73	c #Conflicts:      10000 | #Constraints:      10833
14.61/14.73	c #Conflicts:      11000 | #Constraints:      12171
14.61/14.73	c #Conflicts:      12000 | #Constraints:      13586
14.61/14.73	c INPROCESSING
14.61/14.73	c GARBAGE COLLECT
14.61/14.73	c rational objective 50038.3
18.60/18.71	c #Conflicts:      13000 | #Constraints:      11671
18.60/18.71	c #Conflicts:      14000 | #Constraints:      12679
18.60/18.71	c #Conflicts:      15000 | #Constraints:      13682
18.60/18.71	c INPROCESSING
18.60/18.71	c GARBAGE COLLECT
18.60/18.71	c rational objective 49869.4
19.01/19.15	c bounds 54726 >= 0 @ 18.6558
22.39/22.57	c #Conflicts:      16000 | #Constraints:      11642
22.39/22.57	c #Conflicts:      17000 | #Constraints:      12646
22.39/22.57	c #Conflicts:      18000 | #Constraints:      13656
22.39/22.57	c INPROCESSING
22.39/22.57	c GARBAGE COLLECT
22.39/22.57	c rational objective 49870
22.69/22.88	c bounds 54502 >= 0 @ 22.3347
28.77/28.99	c #Conflicts:      19000 | #Constraints:      11558
28.77/28.99	c #Conflicts:      20000 | #Constraints:      12639
28.77/28.99	c #Conflicts:      21000 | #Constraints:      13919
28.77/28.99	c INPROCESSING
28.77/28.99	c GARBAGE COLLECT
28.77/28.99	c rational objective 49887.3
37.25/37.43	c #Conflicts:      22000 | #Constraints:      11577
37.25/37.43	c #Conflicts:      23000 | #Constraints:      12829
37.25/37.43	c #Conflicts:      24000 | #Constraints:      13901
37.25/37.43	c #Conflicts:      25000 | #Constraints:      14908
37.25/37.43	c INPROCESSING
37.25/37.43	c GARBAGE COLLECT
37.25/37.43	c rational objective 49892.9
37.65/37.81	c bounds 54458 >= 0 @ 37.0411
37.65/37.81	c bounds 54449 >= 0 @ 37.0475
37.65/37.84	c bounds 54440 >= 0 @ 37.0735
42.73/42.92	c #Conflicts:      26000 | #Constraints:      12155
42.73/42.92	c #Conflicts:      27000 | #Constraints:      13200
42.73/42.92	c #Conflicts:      28000 | #Constraints:      14315
42.73/42.92	c #Conflicts:      29000 | #Constraints:      15439
42.73/42.92	c INPROCESSING
42.73/42.92	c GARBAGE COLLECT
42.73/42.92	c rational objective 49931.8
50.81/51.06	c #Conflicts:      30000 | #Constraints:      12651
50.81/51.06	c #Conflicts:      31000 | #Constraints:      13676
50.81/51.06	c #Conflicts:      32000 | #Constraints:      14726
50.81/51.06	c #Conflicts:      33000 | #Constraints:      15800
50.81/51.06	c INPROCESSING
50.81/51.06	c GARBAGE COLLECT
50.81/51.06	c rational objective 49932.3
60.98/61.27	c #Conflicts:      34000 | #Constraints:      12749
60.98/61.27	c #Conflicts:      35000 | #Constraints:      13991
60.98/61.27	c #Conflicts:      36000 | #Constraints:      15093
60.98/61.27	c #Conflicts:      37000 | #Constraints:      16100
60.98/61.27	c INPROCESSING
60.98/61.27	c GARBAGE COLLECT
60.98/61.27	c rational objective 49932.7
61.58/61.84	c bounds 54347 >= 0 @ 60.7846
67.66/67.92	c #Conflicts:      38000 | #Constraints:      12745
67.66/67.92	c #Conflicts:      39000 | #Constraints:      13745
67.66/67.92	c #Conflicts:      40000 | #Constraints:      14745
67.66/67.92	c #Conflicts:      41000 | #Constraints:      15747
67.66/67.92	c INPROCESSING
67.66/67.92	c GARBAGE COLLECT
67.66/67.92	c rational objective 49968.8
75.44/75.77	c #Conflicts:      42000 | #Constraints:      12386
75.44/75.77	c #Conflicts:      43000 | #Constraints:      13413
75.44/75.77	c #Conflicts:      44000 | #Constraints:      14424
75.44/75.77	c #Conflicts:      45000 | #Constraints:      15447
75.44/75.77	c #Conflicts:      46000 | #Constraints:      16449
75.44/75.77	c INPROCESSING
75.44/75.77	c GARBAGE COLLECT
75.44/75.77	c rational objective 49971.9
76.14/76.42	c bounds 54344 >= 0 @ 75.1091
84.32/84.65	c #Conflicts:      47000 | #Constraints:      12916
84.32/84.65	c #Conflicts:      48000 | #Constraints:      13917
84.32/84.65	c #Conflicts:      49000 | #Constraints:      14918
84.32/84.65	c #Conflicts:      50000 | #Constraints:      15919
84.32/84.65	c #Conflicts:      51000 | #Constraints:      16920
84.32/84.65	c INPROCESSING
84.32/84.65	c GARBAGE COLLECT
84.32/84.65	c #Conflicts:      52000 | #Constraints:      13290
84.32/84.65	c #Conflicts:      53000 | #Constraints:      14293
84.32/84.65	c bounds 54320 >= 0 @ 83.1357
87.11/87.47	c #Conflicts:      54000 | #Constraints:      15303
87.11/87.47	c #Conflicts:      55000 | #Constraints:      16305
87.11/87.47	c #Conflicts:      56000 | #Constraints:      17312
87.11/87.47	c INPROCESSING
87.11/87.47	c GARBAGE COLLECT
87.11/87.47	c rational objective 49896.6
90.60/90.98	c #Conflicts:      57000 | #Constraints:      13547
90.60/90.98	c #Conflicts:      58000 | #Constraints:      14591
90.60/90.98	c bounds 54233 >= 0 @ 89.3442
90.71/91.01	c bounds 54066 >= 0 @ 89.3732
90.71/91.02	c bounds 54058 >= 0 @ 89.3796
95.48/95.86	c #Conflicts:      59000 | #Constraints:      15627
95.48/95.86	c #Conflicts:      60000 | #Constraints:      16698
95.48/95.86	c #Conflicts:      61000 | #Constraints:      17960
95.48/95.86	c INPROCESSING
95.48/95.86	c GARBAGE COLLECT
95.48/95.86	c rational objective 49906.7
95.98/96.34	c bounds 53962 >= 0 @ 94.6264
95.98/96.35	c bounds 53944 >= 0 @ 94.6416
105.85/106.27	c #Conflicts:      62000 | #Constraints:      13694
105.85/106.27	c #Conflicts:      63000 | #Constraints:      14807
105.85/106.27	c #Conflicts:      64000 | #Constraints:      16044
105.85/106.27	c #Conflicts:      65000 | #Constraints:      17053
105.85/106.27	c #Conflicts:      66000 | #Constraints:      18056
105.85/106.27	c INPROCESSING
105.85/106.27	c GARBAGE COLLECT
105.85/106.27	c rational objective 49958.7
118.82/119.22	c #Conflicts:      67000 | #Constraints:      13687
118.82/119.22	c #Conflicts:      68000 | #Constraints:      14957
118.82/119.22	c #Conflicts:      69000 | #Constraints:      15995
118.82/119.22	c #Conflicts:      70000 | #Constraints:      16997
118.82/119.22	c #Conflicts:      71000 | #Constraints:      17998
118.82/119.22	c #Conflicts:      72000 | #Constraints:      18998
118.82/119.22	c INPROCESSING
118.82/119.22	c GARBAGE COLLECT
118.82/119.22	c rational objective 49939
128.19/128.69	c #Conflicts:      73000 | #Constraints:      14190
128.19/128.69	c #Conflicts:      74000 | #Constraints:      15240
128.19/128.69	c #Conflicts:      75000 | #Constraints:      16265
128.19/128.69	c #Conflicts:      76000 | #Constraints:      17438
128.19/128.69	c #Conflicts:      77000 | #Constraints:      18492
128.19/128.69	c #Conflicts:      78000 | #Constraints:      19556
128.19/128.69	c INPROCESSING
128.19/128.69	c GARBAGE COLLECT
128.19/128.69	c rational objective 49939.1
135.37/135.88	c #Conflicts:      79000 | #Constraints:      14596
135.37/135.88	c #Conflicts:      80000 | #Constraints:      15614
135.37/135.88	c #Conflicts:      81000 | #Constraints:      16625
135.37/135.88	c #Conflicts:      82000 | #Constraints:      17633
135.37/135.88	c #Conflicts:      83000 | #Constraints:      18644
135.37/135.88	c #Conflicts:      84000 | #Constraints:      19651
135.37/135.88	c INPROCESSING
135.37/135.88	c GARBAGE COLLECT
135.37/135.88	c rational objective 49939.1
136.16/136.65	c bounds 53854 >= 0 @ 134.273
146.04/146.51	c #Conflicts:      85000 | #Constraints:      14633
146.04/146.51	c #Conflicts:      86000 | #Constraints:      15637
146.04/146.51	c #Conflicts:      87000 | #Constraints:      16750
146.04/146.51	c #Conflicts:      88000 | #Constraints:      17942
146.04/146.51	c #Conflicts:      89000 | #Constraints:      19033
146.04/146.51	c #Conflicts:      90000 | #Constraints:      20090
146.04/146.51	c INPROCESSING
146.04/146.51	c GARBAGE COLLECT
146.04/146.51	c rational objective 49939.1
159.99/160.57	c #Conflicts:      91000 | #Constraints:      15054
159.99/160.57	c #Conflicts:      92000 | #Constraints:      16442
159.99/160.57	c #Conflicts:      93000 | #Constraints:      17882
159.99/160.57	c #Conflicts:      94000 | #Constraints:      19140
159.99/160.57	c #Conflicts:      95000 | #Constraints:      20515
159.99/160.57	c #Conflicts:      96000 | #Constraints:      21814
159.99/160.57	c INPROCESSING
159.99/160.57	c GARBAGE COLLECT
159.99/160.57	c rational objective 49942
160.60/161.16	c bounds 53816 >= 0 @ 158.502
162.19/162.76	c #Conflicts:      97000 | #Constraints:      15458
162.19/162.76	c #Conflicts:      98000 | #Constraints:      16475
162.19/162.76	c bounds 53809 >= 0 @ 160.073
162.19/162.76	c bounds 53751 >= 0 @ 160.079
164.19/164.74	c #Conflicts:      99000 | #Constraints:      17497
164.19/164.74	c #Conflicts:     100000 | #Constraints:      18517
164.19/164.74	c bounds 53042 >= 0 @ 162.03
164.69/165.20	c #Conflicts:     101000 | #Constraints:      19537
164.69/165.20	c bounds 53022 >= 0 @ 162.478
166.48/167.08	c #Conflicts:     102000 | #Constraints:      20544
166.48/167.08	c bounds 52958 >= 0 @ 164.297
167.37/167.92	c #Conflicts:     103000 | #Constraints:      21562
167.37/167.92	c INPROCESSING
167.37/167.92	c GARBAGE COLLECT
167.37/167.92	c rational objective 49939.1
174.06/174.67	c #Conflicts:     104000 | #Constraints:      15467
174.06/174.67	c #Conflicts:     105000 | #Constraints:      16488
174.06/174.67	c #Conflicts:     106000 | #Constraints:      17489
174.06/174.67	c #Conflicts:     107000 | #Constraints:      18490
174.06/174.67	c #Conflicts:     108000 | #Constraints:      19497
174.06/174.67	c #Conflicts:     109000 | #Constraints:      20517
174.06/174.67	c #Conflicts:     110000 | #Constraints:      21530
174.06/174.67	c INPROCESSING
174.06/174.67	c GARBAGE COLLECT
174.06/174.67	c rational objective 49939.7
187.92/188.50	c #Conflicts:     111000 | #Constraints:      15871
187.92/188.50	c #Conflicts:     112000 | #Constraints:      16873
187.92/188.50	c #Conflicts:     113000 | #Constraints:      17876
187.92/188.50	c #Conflicts:     114000 | #Constraints:      18888
187.92/188.50	c #Conflicts:     115000 | #Constraints:      19890
187.92/188.50	c #Conflicts:     116000 | #Constraints:      20893
187.92/188.50	c #Conflicts:     117000 | #Constraints:      21919
187.92/188.50	c INPROCESSING
187.92/188.50	c GARBAGE COLLECT
187.92/188.50	c rational objective 49940.6
188.62/189.27	c bounds 52888 >= 0 @ 186.138
198.49/199.16	c #Conflicts:     118000 | #Constraints:      15773
198.49/199.16	c #Conflicts:     119000 | #Constraints:      16792
198.49/199.16	c #Conflicts:     120000 | #Constraints:      17796
198.49/199.16	c #Conflicts:     121000 | #Constraints:      18797
198.49/199.16	c #Conflicts:     122000 | #Constraints:      19854
198.49/199.16	c #Conflicts:     123000 | #Constraints:      20887
198.49/199.16	c #Conflicts:     124000 | #Constraints:      21899
198.49/199.16	c bounds 52790 >= 0 @ 195.828
198.49/199.18	c bounds 52788 >= 0 @ 195.849
198.49/199.19	c bounds 52750 >= 0 @ 195.863
198.58/199.21	c bounds 52732 >= 0 @ 195.877
199.08/199.71	c INPROCESSING
199.08/199.71	c GARBAGE COLLECT
199.08/199.71	c rational objective 49940.9
200.78/201.49	c #Conflicts:     125000 | #Constraints:      15645
200.78/201.49	c bounds 52730 >= 0 @ 198.14
200.88/201.50	c bounds 52721 >= 0 @ 198.145
200.88/201.51	c bounds 52703 >= 0 @ 198.151
205.96/206.63	c #Conflicts:     126000 | #Constraints:      16665
205.96/206.63	c #Conflicts:     127000 | #Constraints:      17685
205.96/206.63	c #Conflicts:     128000 | #Constraints:      18704
205.96/206.63	c #Conflicts:     129000 | #Constraints:      19712
205.96/206.63	c #Conflicts:     130000 | #Constraints:      20726
205.96/206.63	c #Conflicts:     131000 | #Constraints:      21737
205.96/206.63	c bounds 52639 >= 0 @ 203.148
206.96/207.60	c INPROCESSING
206.96/207.60	c GARBAGE COLLECT
206.96/207.60	c rational objective 49944.3
217.54/218.29	c #Conflicts:     132000 | #Constraints:      15355
217.54/218.29	c #Conflicts:     133000 | #Constraints:      16516
217.54/218.29	c #Conflicts:     134000 | #Constraints:      17519
217.54/218.29	c #Conflicts:     135000 | #Constraints:      18520
217.54/218.29	c #Conflicts:     136000 | #Constraints:      19580
217.54/218.29	c #Conflicts:     137000 | #Constraints:      20581
217.54/218.29	c #Conflicts:     138000 | #Constraints:      21582
217.54/218.29	c #Conflicts:     139000 | #Constraints:      22583
217.54/218.29	c INPROCESSING
217.54/218.29	c GARBAGE COLLECT
217.54/218.29	c rational objective 49944.3
218.23/218.96	c bounds 52503 >= 0 @ 215.289
226.21/226.91	c #Conflicts:     140000 | #Constraints:      15988
226.21/226.91	c #Conflicts:     141000 | #Constraints:      16996
226.21/226.91	c #Conflicts:     142000 | #Constraints:      18009
226.21/226.91	c #Conflicts:     143000 | #Constraints:      19016
226.21/226.91	c #Conflicts:     144000 | #Constraints:      20023
226.21/226.91	c #Conflicts:     145000 | #Constraints:      21028
226.21/226.91	c #Conflicts:     146000 | #Constraints:      22040
226.21/226.91	c bounds 52434 >= 0 @ 223.06
226.91/227.62	c #Conflicts:     147000 | #Constraints:      23052
226.91/227.62	c INPROCESSING
226.91/227.62	c GARBAGE COLLECT
226.91/227.62	c rational objective 49944.5
227.50/228.27	c bounds 52425 >= 0 @ 224.408
227.70/228.44	c bounds 52402 >= 0 @ 224.583
227.70/228.45	c bounds 52393 >= 0 @ 224.588
227.70/228.45	c bounds 52373 >= 0 @ 224.592
227.90/228.65	c bounds 52356 >= 0 @ 224.787
234.69/235.45	c #Conflicts:     148000 | #Constraints:      16328
234.69/235.45	c #Conflicts:     149000 | #Constraints:      17331
234.69/235.45	c #Conflicts:     150000 | #Constraints:      18336
234.69/235.45	c #Conflicts:     151000 | #Constraints:      19341
234.69/235.45	c #Conflicts:     152000 | #Constraints:      20348
234.69/235.45	c #Conflicts:     153000 | #Constraints:      21355
234.69/235.45	c bounds 52330 >= 0 @ 231.493
234.69/235.46	c bounds 52272 >= 0 @ 231.503
234.89/235.66	c bounds 52263 >= 0 @ 231.705
236.68/237.48	c #Conflicts:     154000 | #Constraints:      22369
236.68/237.48	c #Conflicts:     155000 | #Constraints:      23369
236.68/237.48	c INPROCESSING
236.68/237.48	c GARBAGE COLLECT
236.68/237.48	c rational objective 49945
245.56/246.39	c #Conflicts:     156000 | #Constraints:      16472
245.56/246.39	c #Conflicts:     157000 | #Constraints:      17478
245.56/246.39	c #Conflicts:     158000 | #Constraints:      18489
245.56/246.39	c #Conflicts:     159000 | #Constraints:      19498
245.56/246.39	c #Conflicts:     160000 | #Constraints:      20502
245.56/246.39	c #Conflicts:     161000 | #Constraints:      21502
245.56/246.39	c #Conflicts:     162000 | #Constraints:      22504
245.56/246.39	c #Conflicts:     163000 | #Constraints:      23507
245.56/246.39	c INPROCESSING
245.56/246.39	c GARBAGE COLLECT
245.56/246.39	c rational objective 49945
257.62/258.40	c #Conflicts:     164000 | #Constraints:      16467
257.62/258.40	c #Conflicts:     165000 | #Constraints:      17470
257.62/258.40	c #Conflicts:     166000 | #Constraints:      18480
257.62/258.40	c #Conflicts:     167000 | #Constraints:      19488
257.62/258.40	c #Conflicts:     168000 | #Constraints:      20493
257.62/258.40	c #Conflicts:     169000 | #Constraints:      21499
257.62/258.40	c #Conflicts:     170000 | #Constraints:      22504
257.62/258.40	c #Conflicts:     171000 | #Constraints:      23512
257.62/258.40	c INPROCESSING
257.62/258.40	c GARBAGE COLLECT
257.62/258.40	c rational objective 49945.7
270.78/271.62	c #Conflicts:     172000 | #Constraints:      16255
270.78/271.62	c #Conflicts:     173000 | #Constraints:      17258
270.78/271.62	c #Conflicts:     174000 | #Constraints:      18261
270.78/271.62	c #Conflicts:     175000 | #Constraints:      19266
270.78/271.62	c #Conflicts:     176000 | #Constraints:      20267
270.78/271.62	c #Conflicts:     177000 | #Constraints:      21270
270.78/271.62	c #Conflicts:     178000 | #Constraints:      22271
270.78/271.62	c #Conflicts:     179000 | #Constraints:      23271
270.78/271.62	c #Conflicts:     180000 | #Constraints:      24273
270.78/271.62	c INPROCESSING
270.78/271.62	c GARBAGE COLLECT
270.78/271.62	c rational objective 49946.9
288.44/289.35	c #Conflicts:     181000 | #Constraints:      16849
288.44/289.35	c #Conflicts:     182000 | #Constraints:      17849
288.44/289.35	c #Conflicts:     183000 | #Constraints:      18850
288.44/289.35	c #Conflicts:     184000 | #Constraints:      19863
288.44/289.35	c #Conflicts:     185000 | #Constraints:      20871
288.44/289.35	c #Conflicts:     186000 | #Constraints:      21871
288.44/289.35	c #Conflicts:     187000 | #Constraints:      22931
288.44/289.35	c #Conflicts:     188000 | #Constraints:      23933
288.44/289.35	c #Conflicts:     189000 | #Constraints:      24935
288.44/289.35	c INPROCESSING
288.44/289.35	c GARBAGE COLLECT
288.44/289.35	c rational objective 49946.5
290.24/291.12	c bounds 50769 >= 0 @ 286.484
302.10/303.07	c #Conflicts:     190000 | #Constraints:      17300
302.10/303.07	c #Conflicts:     191000 | #Constraints:      18317
302.10/303.07	c #Conflicts:     192000 | #Constraints:      19324
302.10/303.07	c #Conflicts:     193000 | #Constraints:      20331
302.10/303.07	c #Conflicts:     194000 | #Constraints:      21346
302.10/303.07	c #Conflicts:     195000 | #Constraints:      22355
302.10/303.07	c #Conflicts:     196000 | #Constraints:      23368
302.10/303.07	c #Conflicts:     197000 | #Constraints:      24379
302.10/303.07	c #Conflicts:     198000 | #Constraints:      25382
302.10/303.07	c INPROCESSING
302.10/303.07	c GARBAGE COLLECT
302.10/303.07	c rational objective 49946.5
316.45/317.46	c #Conflicts:     199000 | #Constraints:      17503
316.45/317.46	c #Conflicts:     200000 | #Constraints:      18505
316.45/317.46	c #Conflicts:     201000 | #Constraints:      19506
316.45/317.46	c #Conflicts:     202000 | #Constraints:      20509
316.45/317.46	c #Conflicts:     203000 | #Constraints:      21546
316.45/317.46	c #Conflicts:     204000 | #Constraints:      22559
316.45/317.46	c #Conflicts:     205000 | #Constraints:      23580
316.45/317.46	c #Conflicts:     206000 | #Constraints:      24586
316.45/317.46	c #Conflicts:     207000 | #Constraints:      25590
316.45/317.46	c INPROCESSING
316.45/317.46	c GARBAGE COLLECT
316.45/317.46	c rational objective 49946.7
331.41/332.49	c #Conflicts:     208000 | #Constraints:      17508
331.41/332.49	c #Conflicts:     209000 | #Constraints:      18515
331.41/332.49	c #Conflicts:     210000 | #Constraints:      19517
331.41/332.49	c #Conflicts:     211000 | #Constraints:      20517
331.41/332.49	c #Conflicts:     212000 | #Constraints:      21518
331.41/332.49	c #Conflicts:     213000 | #Constraints:      22520
331.41/332.49	c #Conflicts:     214000 | #Constraints:      23526
331.41/332.49	c #Conflicts:     215000 | #Constraints:      24533
331.41/332.49	c #Conflicts:     216000 | #Constraints:      25538
331.41/332.49	c INPROCESSING
331.41/332.49	c GARBAGE COLLECT
331.41/332.49	c rational objective 49978.2
343.38/344.42	c #Conflicts:     217000 | #Constraints:      17280
343.38/344.42	c #Conflicts:     218000 | #Constraints:      18323
343.38/344.42	c #Conflicts:     219000 | #Constraints:      19324
343.38/344.42	c #Conflicts:     220000 | #Constraints:      20325
343.38/344.42	c #Conflicts:     221000 | #Constraints:      21325
343.38/344.42	c #Conflicts:     222000 | #Constraints:      22330
343.38/344.42	c #Conflicts:     223000 | #Constraints:      23336
343.38/344.42	c #Conflicts:     224000 | #Constraints:      24349
343.38/344.42	c #Conflicts:     225000 | #Constraints:      25357
343.38/344.42	c #Conflicts:     226000 | #Constraints:      26370
343.38/344.42	c INPROCESSING
343.38/344.42	c GARBAGE COLLECT
343.38/344.42	c rational objective 49981.5
374.90/376.02	c #Conflicts:     227000 | #Constraints:      18071
374.90/376.02	c #Conflicts:     228000 | #Constraints:      19393
374.90/376.02	c #Conflicts:     229000 | #Constraints:      20474
374.90/376.02	c #Conflicts:     230000 | #Constraints:      21629
374.90/376.02	c #Conflicts:     231000 | #Constraints:      22703
374.90/376.02	c #Conflicts:     232000 | #Constraints:      23719
374.90/376.02	c #Conflicts:     233000 | #Constraints:      24720
374.90/376.02	c #Conflicts:     234000 | #Constraints:      25721
374.90/376.02	c #Conflicts:     235000 | #Constraints:      26722
374.90/376.02	c #Conflicts:     236000 | #Constraints:      27724
374.90/376.02	c INPROCESSING
374.90/376.02	c GARBAGE COLLECT
374.90/376.02	c rational objective 50432.1
393.54/394.76	c #Conflicts:     237000 | #Constraints:      18674
393.54/394.76	c #Conflicts:     238000 | #Constraints:      19678
393.54/394.76	c #Conflicts:     239000 | #Constraints:      20707
393.54/394.76	c #Conflicts:     240000 | #Constraints:      21708
393.54/394.76	c #Conflicts:     241000 | #Constraints:      22788
393.54/394.76	c #Conflicts:     242000 | #Constraints:      23837
393.54/394.76	c #Conflicts:     243000 | #Constraints:      24854
393.54/394.76	c #Conflicts:     244000 | #Constraints:      25874
393.54/394.76	c #Conflicts:     245000 | #Constraints:      26932
393.54/394.76	c #Conflicts:     246000 | #Constraints:      27970
393.54/394.76	c INPROCESSING
393.54/394.76	c GARBAGE COLLECT
393.54/394.76	c rational objective 50028.1
416.08/417.37	c #Conflicts:     247000 | #Constraints:      18780
416.08/417.37	c #Conflicts:     248000 | #Constraints:      19784
416.08/417.37	c #Conflicts:     249000 | #Constraints:      20891
416.08/417.37	c #Conflicts:     250000 | #Constraints:      22096
416.08/417.37	c #Conflicts:     251000 | #Constraints:      23113
416.08/417.37	c #Conflicts:     252000 | #Constraints:      24279
416.08/417.37	c #Conflicts:     253000 | #Constraints:      25284
416.08/417.37	c #Conflicts:     254000 | #Constraints:      26295
416.08/417.37	c #Conflicts:     255000 | #Constraints:      27295
416.08/417.37	c #Conflicts:     256000 | #Constraints:      28295
416.08/417.37	c INPROCESSING
416.08/417.37	c GARBAGE COLLECT
416.08/417.37	c rational objective 50063.4
438.41/439.79	c #Conflicts:     257000 | #Constraints:      18848
438.41/439.79	c #Conflicts:     258000 | #Constraints:      19848
438.41/439.79	c #Conflicts:     259000 | #Constraints:      20848
438.41/439.79	c #Conflicts:     260000 | #Constraints:      21864
438.41/439.79	c #Conflicts:     261000 | #Constraints:      22867
438.41/439.79	c #Conflicts:     262000 | #Constraints:      23872
438.41/439.79	c #Conflicts:     263000 | #Constraints:      24878
438.41/439.79	c #Conflicts:     264000 | #Constraints:      25922
438.41/439.79	c #Conflicts:     265000 | #Constraints:      26936
438.41/439.79	c #Conflicts:     266000 | #Constraints:      27936
438.41/439.79	c INPROCESSING
438.41/439.79	c GARBAGE COLLECT
438.41/439.79	c rational objective 50046.7
461.65/463.01	c #Conflicts:     267000 | #Constraints:      18464
461.65/463.01	c #Conflicts:     268000 | #Constraints:      19471
461.65/463.01	c #Conflicts:     269000 | #Constraints:      20492
461.65/463.01	c #Conflicts:     270000 | #Constraints:      21505
461.65/463.01	c #Conflicts:     271000 | #Constraints:      22513
461.65/463.01	c #Conflicts:     272000 | #Constraints:      23524
461.65/463.01	c #Conflicts:     273000 | #Constraints:      24538
461.65/463.01	c #Conflicts:     274000 | #Constraints:      25547
461.65/463.01	c #Conflicts:     275000 | #Constraints:      26557
461.65/463.01	c #Conflicts:     276000 | #Constraints:      27570
461.65/463.01	c bounds 50769 >= 50769 @ 456.69
461.65/463.01	c cpu time 456.69 s
461.65/463.01	c deterministic time 25130244453 2.51e+10
461.65/463.01	c optimization time 0.021116 s
461.65/463.01	c total solve time 456.641 s
461.65/463.01	c core-guided solve time 214.448 s
461.65/463.01	c propagation time 243.567 s
461.65/463.01	c conflict analysis time 161.722 s
461.65/463.01	c propagations 211917393
461.65/463.01	c resolve steps 4035213
461.65/463.01	c decisions 3971138
461.65/463.01	c conflicts 276278
461.65/463.01	c restarts 638
461.65/463.01	c inprocessing phases 43
461.65/463.01	c garbage collections 43 ,( 100.00 )
461.65/463.01	c input clauses 8602 ,( 99.43 )
461.65/463.01	c input cardinalities 0 ,( 0.00 )
461.65/463.01	c input general constraints 49 ,( 0.57 )
461.65/463.01	c input average constraint length 13.15
461.65/463.01	c input average constraint degree 16894.54
461.65/463.01	c learned clauses 147272 ,( 51.21 )
461.65/463.01	c learned cardinalities 299 ,( 0.10 )
461.65/463.01	c learned general constraints 140011 ,( 48.69 )
461.65/463.01	c learned average constraint length 624.65
461.65/463.01	c learned average constraint degree 19337574323.10
461.65/463.01	c watched  CF 32, 64, 128, Arb: 26115 , 0 , 0 , 0
461.65/463.01	c counting CF 32, 64, 128, Arb: 113946 , 0 , 0 , 0
461.65/463.01	c watched   constraints 26115 ,( 18.65 ) 
461.65/463.01	c counting  constraints 113945 ,( 81.35 ) 
461.65/463.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 94833279 , 784428 , 103752384 ,( 5550684 , 98201700 )
461.65/463.01	c gcd simplifications 20201
461.65/463.01	c detected cardinalities 87
461.65/463.01	c weakened non-implied lits 239491119
461.65/463.01	c weakened non-implying lits 225023
461.65/463.01	c original variables 3951
461.65/463.01	c clausal propagations 77238017
461.65/463.01	c cardinality propagations 30915
461.65/463.01	c watched propagations 62501
461.65/463.01	c counting propagations 125166950
461.65/463.01	c watch lookups 12087449617
461.65/463.01	c watch backjump lookups 0
461.65/463.01	c watch checks 1580262946
461.65/463.01	c propagation checks 10035649969
461.65/463.01	c constraint additions 994460790
461.65/463.01	c trail pops 216161298
461.65/463.01	c formula constraints 8602
461.65/463.01	c learned constraints 275347
461.65/463.01	c bound constraints 49
461.65/463.01	c core-guided constraints 0
461.65/463.01	c encountered formula constraints 3397077
461.65/463.01	c encountered learned constraints 580874
461.65/463.01	c encountered bound constraints 2156
461.65/463.01	c encountered core-guided constraints 0
461.65/463.01	c LP total time 115.54 s
461.65/463.01	c LP solve time 84.46 s
461.65/463.01	c LP constraints added 8664
461.65/463.01	c LP constraints removed 48
461.65/463.01	c LP pivots internal 276293
461.65/463.01	c LP pivots root 95008
461.65/463.01	c LP calls 11686
461.65/463.01	c LP optimalities 387
461.65/463.01	c LP no pivot count 290
461.65/463.01	c LP infeasibilities 11279
461.65/463.01	c LP valid Farkas constraints 11263
461.65/463.01	c LP learned Farkas constraints 930
461.65/463.01	c LP basis resets 33
461.65/463.01	c LP cycling count 3
461.65/463.01	c LP singular count 13
461.65/463.01	c LP no primal count 0
461.65/463.01	c LP no farkas count 16
461.65/463.01	c LP other issue count 1
461.65/463.01	c LP Gomory cuts 42
461.65/463.01	c LP learned cuts 20
461.65/463.01	c LP deleted cuts 48
461.65/463.01	c LP encountered Gomory constraints 0
461.65/463.01	c LP encountered Farkas constraints 324143
461.65/463.01	c LP encountered learned Farkas constraints 6311
461.65/463.01	c CG auxiliary variables introduced 0
461.65/463.01	c CG solutions found 49
461.65/463.01	c CG cores constructed 0
461.65/463.01	c CG core cardinality constraints returned 0
461.65/463.01	c CG unit cores 0
461.65/463.01	c CG single cores 0
461.65/463.01	c CG blocks removed during cardinality reduction 0
461.65/463.01	c CG first core best 0
461.65/463.01	c CG decision core best 0
461.65/463.01	c CG core reduction tie 0
461.65/463.01	c CG core degree average 0.00
461.65/463.01	c CG core slack average 0.00
461.65/463.01	c CG core upper bound improvements 0
461.65/463.01	c STR number of successful calls 0
461.65/463.01	c STR number of unsuccessful calls 0
461.65/463.01	c STR number of inconclusive calls 0
461.65/463.01	c STR number of successful attempts 0
461.65/463.01	c STR number of unsuccessful attempts 0
461.65/463.01	c STR number of inconclusive attempts 0
461.65/463.01	c STR average degree increase per successful call inf
461.65/463.01	c STR average degree increase per successful attempt inf
461.65/463.01	c STR total number of conflicts for successful attempts 0
461.65/463.01	c STR total number of conflicts for unsuccessful attempts 0
461.65/463.01	c STR total number of conflicts for inconclusive attempts 0
461.65/463.01	c STR average number of conflicts per successful attempt inf
461.65/463.01	c STR average number of conflicts per unsuccessful attempt inf
461.65/463.01	c STR average number of conflicts per inconclusive attempt inf
461.65/463.01	c AVG.sumWPerc 69.02 
461.65/463.01	c bigint constraints 0 
461.65/463.01	o 50769
461.65/463.01	s OPTIMUM FOUND
461.65/463.01	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

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497196-1751377950/watcher-4497196-1751377950 -o /tmp/evaluation-result-4497196-1751377950/solver-4497196-1751377950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60712 --watchdog 3760 run-opt-break.sh HOME/instance-4497196-1751377950.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100062 s]*
/proc/loadavg: 4.13 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125546056/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=71008 memory=22984 CPUtime=0.05 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 4293 0 0 0 4 1 0 0 20 0 1 0 53472573 72712192 5746 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 17752 5746 2336 1147 0 5179 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 75200 KiB
Current children cumulated memory: 25928 KiB

[startup+0.205757 s]*
/proc/loadavg: 4.13 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125546060/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=72480 memory=24520 CPUtime=0.15 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 4658 0 0 0 13 2 0 0 20 0 1 0 53472573 74219520 6130 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 18120 6130 2368 1147 0 5547 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 76672 KiB
Current children cumulated memory: 27464 KiB

[startup+0.305644 s]*
/proc/loadavg: 4.13 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125546060/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=72480 memory=24904 CPUtime=0.25 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 4743 0 0 0 23 2 0 0 20 0 1 0 53472573 74219520 6226 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 18120 6226 2400 1147 0 5547 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 76672 KiB
Current children cumulated memory: 27848 KiB

[startup+0.700203 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125546060/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=76184 memory=30152 CPUtime=0.65 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 6041 0 0 0 60 5 0 0 20 0 1 0 53472573 78012416 7538 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 19046 7538 2400 1147 0 6473 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 80376 KiB
Current children cumulated memory: 33096 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125530688/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=92484 memory=47352 CPUtime=1.44 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 9812 0 0 0 137 7 0 0 20 0 1 0 53472573 94703616 11838 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 23121 11838 2432 1147 0 10548 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 96676 KiB
Current children cumulated memory: 50296 KiB

[startup+3.10549 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125514836/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=108484 memory=60152 CPUtime=3.04 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 13014 0 0 0 292 12 0 0 20 0 1 0 53472573 111087616 15038 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 27121 15038 2432 1147 0 14548 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 112676 KiB
Current children cumulated memory: 63096 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125487196/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=134532 memory=84108 CPUtime=6.23 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 18002 0 0 0 604 19 0 0 20 0 1 0 53472573 137760768 21027 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 33633 21027 2432 1147 0 21060 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 138724 KiB
Current children cumulated memory: 87052 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125475076/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=144584 memory=98012 CPUtime=12.61 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 20966 0 0 0 1232 29 0 0 20 0 1 0 53472573 148054016 24503 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 36146 24503 2432 1147 0 23573 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 148776 KiB
Current children cumulated memory: 100956 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 63008
/proc/meminfo: memFree=125447040/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=177428 memory=124336 CPUtime=25.37 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 25973 0 0 0 2489 48 0 0 20 0 1 0 53472573 181686272 31084 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 44357 31084 2496 1147 0 31784 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 181620 KiB
Current children cumulated memory: 127280 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 63008
/proc/meminfo: memFree=125402756/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=232208 memory=169544 CPUtime=50.9 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 34740 0 0 0 5015 75 0 0 20 0 1 0 53472573 237780992 42386 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 58052 42386 2496 1147 0 45479 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 236400 KiB
Current children cumulated memory: 172488 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 63017
/proc/meminfo: memFree=125384584/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=255980 memory=193408 CPUtime=101.95 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 40247 0 0 0 10047 148 0 0 20 0 1 0 53472573 262123520 48352 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 63995 48352 2496 1147 0 51422 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 260172 KiB
Current children cumulated memory: 196352 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/270 63020
/proc/meminfo: memFree=125249188/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=425408 memory=314272 CPUtime=161.78 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 60744 0 0 0 15961 217 0 0 20 0 1 0 53472573 435617792 78568 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 106352 78568 2528 1147 0 93779 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 429600 KiB
Current children cumulated memory: 317216 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/270 63022
/proc/meminfo: memFree=125232932/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=445984 memory=334240 CPUtime=221.62 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 65740 0 0 0 21855 307 0 0 20 0 1 0 53472573 456687616 83560 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 111496 83560 2528 1147 0 98923 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 450176 KiB
Current children cumulated memory: 337184 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 63025
/proc/meminfo: memFree=125212836/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=462252 memory=350240 CPUtime=281.45 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 69762 0 0 0 27777 368 0 0 20 0 1 0 53472573 473346048 87560 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 115563 87560 2528 1147 0 102990 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 466444 KiB
Current children cumulated memory: 353184 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 63027
/proc/meminfo: memFree=125162564/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=511012 memory=392480 CPUtime=341.28 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 80345 0 0 0 33705 423 0 0 20 0 1 0 53472573 523276288 98120 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 127753 98120 2528 1147 0 115180 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 515204 KiB
Current children cumulated memory: 395424 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 63029
/proc/meminfo: memFree=125125988/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=543792 memory=432052 CPUtime=401.11 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 87167 0 0 0 39650 461 0 0 20 0 1 0 53472573 556843008 108013 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 135948 108013 2528 1147 0 123375 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 547984 KiB
Current children cumulated memory: 434996 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 4.14 4.10 5/269 63032
/proc/meminfo: memFree=125122068/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=549360 memory=436788 CPUtime=460.93 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 88373 0 0 0 45597 496 0 0 20 0 1 0 53472573 562544640 109197 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 137340 109197 2528 1147 0 124767 0
Current children cumulated CPU time: 460.94 s
Current children cumulated vsize: 553552 KiB
Current children cumulated memory: 439732 KiB

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

# cumulated CPU time of all completed processes:  user=456.708 s, system=4.9951 s

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

[startup+462.4 s]
/proc/loadavg: 4.29 4.14 4.10 5/269 63032
/proc/meminfo: memFree=125122068/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=549360 memory=436788 CPUtime=461.03 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 88384 0 0 0 45607 496 0 0 20 0 1 0 53472573 562544640 109197 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 137340 109197 2528 1147 0 124767 0
Current children cumulated CPU time: 461.04 s
Current children cumulated vsize: 553552 KiB
Current children cumulated memory: 439732 KiB

[startup+462.8 s]
/proc/loadavg: 4.29 4.14 4.10 5/269 63032
/proc/meminfo: memFree=125122068/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=549616 memory=437044 CPUtime=461.43 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 88424 0 0 0 45647 496 0 0 20 0 1 0 53472573 562806784 109261 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 137404 109261 2528 1147 0 124831 0
Current children cumulated CPU time: 461.44 s
Current children cumulated vsize: 553808 KiB
Current children cumulated memory: 439988 KiB

[startup+463 s]*
/proc/loadavg: 4.29 4.14 4.10 5/269 63032
/proc/meminfo: memFree=125114004/131250000 swapFree=33010684/33010684
[pid=63005] ppid=63002 vsize=4192 memory=2944 CPUtime=0.01 cores=1,3
/proc/63005/stat : 63005 (run-opt-break.s) S 63002 63005 60700 0 -1 4194304 236 3860 0 0 0 0 1 0 20 0 1 0 53472570 4292608 736 18446744073709551615 94799707926528 94799708821061 140725936448480 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94799709060112 94799709107856 94799711547392 140725936449889 140725936450018 140725936450018 140725936455620 0
/proc/63005/statm: 1048 736 672 219 0 110 0
[pid=63008] ppid=63005 vsize=550384 memory=437428 CPUtime=461.64 cores=1,3
/proc/63008/stat : 63008 (roundingsat) R 63005 63005 60700 0 -1 4194304 88530 0 0 0 45668 496 0 0 20 0 1 0 53472573 563593216 109357 18446744073709551615 4227072 8923433 140721298864064 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20856832 140721298872676 140721298872872 140721298872872 140721298878442 0
/proc/63008/statm: 137596 109357 2528 1147 0 125023 0
Current children cumulated CPU time: 461.65 s
Current children cumulated vsize: 554576 KiB
Current children cumulated memory: 440372 KiB

Child status: 0

Real time (s): 463.036
CPU time (s): 461.703
CPU user time (s): 456.708
CPU system time (s): 4.9951
CPU usage (%): 99.7121
Max. virtual memory (cumulated for all children) (KiB): 554576
Max. memory (cumulated for all children) (KiB): 440372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 456.708
system time used= 4.9951
maximum resident set size= 437428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 2906


# summary of solver processes directly reported to runsolver:
#   pid: 63005
#   total CPU time (s): 461.703
#   total CPU user time (s): 456.708
#   total CPU system time (s): 4.9951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.981381 second user time and 2.08034 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-01 15:52:30
IDJOB=4497196
IDBENCH=148155
IDSOLVER=3359
FILE ID=nodeC016/4497196-1751377950
RUNJOBID= nodeC016-1751368684-60712
SLURM_JOB_ID= 9598185
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497196-1751377950/watcher-4497196-1751377950 -o /tmp/evaluation-result-4497196-1751377950/solver-4497196-1751377950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751368684-60712 --watchdog 3760  run-opt-break.sh HOME/instance-4497196-1751377950.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1155667288

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125556980 kB
MemAvailable:   126560848 kB
Buffers:            3280 kB
Cached:          1806212 kB
SwapCached:            0 kB
Active:          3516484 kB
Inactive:        1536028 kB
Active(anon):    3261092 kB
Inactive(anon):        0 kB
Active(file):     255392 kB
Inactive(file):  1536028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7132 kB
Writeback:            56 kB
AnonPages:       3237260 kB
Mapped:           117760 kB
Shmem:             18072 kB
KReclaimable:     103372 kB
Slab:             191692 kB
SReclaimable:     103372 kB
SUnreclaim:        88320 kB
KernelStack:        4336 kB
PageTables:         9992 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4051368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1734656 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC016 at 2025-07-01 16:00:13