Trace number 4497746

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-ls+pbsuma 63f22adOPT20 258.476 259.103

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
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 benchmark20
Best CPU time to get the best result obtained on this benchmark5.76415
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
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-4497746-1751397546.opb'
0.00/0.02	c 	read 0.56MB  (8.69ms)
0.00/0.02	c	 [cnf: #variables 5499 #clauses 19314 #duplicates 6 #arr 49712]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.03	c	 [group: #orbits ~= 2] (9.60ms)
0.00/0.03	c 
0.00/0.03	c detect special group actions
0.00/0.03	c 	probe for Johnson action (limit=64)
0.00/0.03	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03	c 	 found row 5x2, generating row predicate
0.00/0.03	c 	 (1.68ms)
0.00/0.03	c 
0.00/0.03	c detect symmetries on remainder
0.00/0.03	c 	[graph: #vertices 41316 #edges 132430]
0.00/0.03	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 1.00*10^0 #generators 0] (3.26ms)
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 generation finished
0.00/0.03	c 	[sbp: #constraints 4 #add_vars 0]
0.00/0.03	c 
0.00/0.03	c write result to 'HOME/instance-4497746-1751397546.opb.pre'
0.00/0.04	c 	wrote 0.58MB (1.42ms)
0.00/0.04	c ------------------------------------------------------------------
0.00/0.04	c                   9.60ms 38.00% approx_orbits
0.00/0.04	c                   8.69ms 34.40% parse
0.00/0.04	c                   3.26ms 12.92% detect_generic
0.00/0.04	c                   1.68ms  6.65% detect_special
0.00/0.04	c                   1.42ms  5.61% output
0.00/0.04	c                   0.43ms  1.72% other
0.00/0.04	c                   0.18ms  0.71% finalize_order
0.00/0.04	c         ───────────────────────────────────────────────
0.00/0.04	c                  25.26ms   100% total
0.00/0.04	c ------------------------------------------------------------------
0.00/0.05	c RoundingSat 2
0.00/0.05	c branch pb25
0.00/0.05	c commit 63f22ad
0.05/0.13	c #variables 5499 #constraints 19313
0.05/0.13	c objective is ce32 
0.05/0.15	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.05/0.15	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.05/0.15	c bounds 29 >= 0 @ 0.086741
0.35/0.41	c bounds 28 >= 0 @ 0.335695
0.35/0.42	c bounds 28 >= 6 @ 0.339959
0.35/0.42	c bounds 28 >= 7 @ 0.340283
0.35/0.42	c bounds 28 >= 8 @ 0.340994
0.35/0.42	c bounds 28 >= 9 @ 0.342602
0.35/0.42	c bounds 28 >= 10 @ 0.34304
0.35/0.42	c bounds 28 >= 11 @ 0.343107
0.35/0.43	c bounds 28 >= 12 @ 0.350798
0.35/0.45	c bounds 28 >= 13 @ 0.364613
0.46/0.57	c bounds 28 >= 14 @ 0.486609
1.64/1.70	c #Conflicts:       1000 | #Constraints:      20360
1.64/1.70	c #Conflicts:       2000 | #Constraints:      21360
1.64/1.70	c INPROCESSING
1.64/1.70	c GARBAGE COLLECT
1.64/1.70	c bounds 28 >= 15 @ 1.56917
3.94/4.02	c #Conflicts:       3000 | #Constraints:      21358
3.94/4.02	c #Conflicts:       4000 | #Constraints:      22358
3.94/4.02	c INPROCESSING
3.94/4.02	c GARBAGE COLLECT
3.94/4.02	c #Conflicts:       5000 | #Constraints:      21767
3.94/4.02	c #Conflicts:       6000 | #Constraints:      22767
3.94/4.02	c bounds 27 >= 15 @ 3.84211
5.43/5.59	c INPROCESSING
5.43/5.59	c GARBAGE COLLECT
5.43/5.59	c bounds 27 >= 16 @ 5.37702
9.32/9.43	c #Conflicts:       7000 | #Constraints:      21780
9.32/9.43	c #Conflicts:       8000 | #Constraints:      22780
9.32/9.43	c #Conflicts:       9000 | #Constraints:      23780
9.32/9.43	c INPROCESSING
9.32/9.43	c GARBAGE COLLECT
9.32/9.43	c #Conflicts:      10000 | #Constraints:      22509
9.32/9.43	c #Conflicts:      11000 | #Constraints:      23510
9.32/9.43	c #Conflicts:      12000 | #Constraints:      24514
9.32/9.43	c INPROCESSING
9.32/9.43	c GARBAGE COLLECT
9.32/9.43	c bounds 27 >= 17 @ 9.15298
13.02/13.14	c #Conflicts:      13000 | #Constraints:      22979
13.02/13.14	c #Conflicts:      14000 | #Constraints:      23979
13.02/13.14	c #Conflicts:      15000 | #Constraints:      24979
13.02/13.14	c INPROCESSING
13.02/13.14	c GARBAGE COLLECT
13.02/13.14	c rational objective 17
13.11/13.27	c bounds 26 >= 17 @ 12.937
13.21/13.32	c bounds 25 >= 17 @ 12.9864
15.81/15.90	c #Conflicts:      16000 | #Constraints:      23273
15.81/15.90	c #Conflicts:      17000 | #Constraints:      24273
15.81/15.90	c #Conflicts:      18000 | #Constraints:      25273
15.81/15.90	c INPROCESSING
15.81/15.90	c GARBAGE COLLECT
15.81/15.90	c rational objective 17
18.41/18.52	c #Conflicts:      19000 | #Constraints:      23252
18.41/18.52	c #Conflicts:      20000 | #Constraints:      24252
18.41/18.52	c #Conflicts:      21000 | #Constraints:      25252
18.41/18.52	c INPROCESSING
18.41/18.52	c GARBAGE COLLECT
18.41/18.52	c rational objective 17
18.70/18.88	c bounds 24 >= 17 @ 18.4606
18.70/18.88	c bounds 23 >= 17 @ 18.4614
21.20/21.37	c #Conflicts:      22000 | #Constraints:      23101
21.20/21.37	c #Conflicts:      23000 | #Constraints:      24101
21.20/21.37	c #Conflicts:      24000 | #Constraints:      25101
21.20/21.37	c #Conflicts:      25000 | #Constraints:      26101
21.20/21.37	c INPROCESSING
21.20/21.37	c GARBAGE COLLECT
21.20/21.37	c rational objective 17
22.40/22.58	c #Conflicts:      26000 | #Constraints:      23677
22.40/22.58	c bounds 23 >= 18 @ 22.0845
24.79/24.92	c #Conflicts:      27000 | #Constraints:      24713
24.79/24.92	c #Conflicts:      28000 | #Constraints:      25713
24.79/24.92	c #Conflicts:      29000 | #Constraints:      26713
24.79/24.92	c INPROCESSING
24.79/24.92	c GARBAGE COLLECT
24.79/24.92	c rational objective 18
28.28/28.46	c #Conflicts:      30000 | #Constraints:      24161
28.28/28.46	c #Conflicts:      31000 | #Constraints:      25161
28.28/28.46	c #Conflicts:      32000 | #Constraints:      26161
28.28/28.46	c #Conflicts:      33000 | #Constraints:      27161
28.28/28.46	c INPROCESSING
28.28/28.46	c GARBAGE COLLECT
28.28/28.46	c rational objective 18
32.98/33.16	c #Conflicts:      34000 | #Constraints:      24331
32.98/33.16	c #Conflicts:      35000 | #Constraints:      25331
32.98/33.16	c #Conflicts:      36000 | #Constraints:      26331
32.98/33.16	c #Conflicts:      37000 | #Constraints:      27331
32.98/33.16	c INPROCESSING
32.98/33.16	c GARBAGE COLLECT
32.98/33.16	c rational objective 18
33.27/33.40	c bounds 22 >= 18 @ 32.7862
39.35/39.52	c #Conflicts:      38000 | #Constraints:      24384
39.35/39.52	c #Conflicts:      39000 | #Constraints:      25384
39.35/39.52	c #Conflicts:      40000 | #Constraints:      26384
39.35/39.52	c #Conflicts:      41000 | #Constraints:      27384
39.35/39.52	c INPROCESSING
39.35/39.52	c GARBAGE COLLECT
39.35/39.52	c rational objective 18
41.85/42.07	c #Conflicts:      42000 | #Constraints:      24209
41.85/42.07	c #Conflicts:      43000 | #Constraints:      25209
41.85/42.07	c #Conflicts:      44000 | #Constraints:      26209
41.85/42.07	c bounds 22 >= 19 @ 41.3766
43.35/43.55	c #Conflicts:      45000 | #Constraints:      27248
43.35/43.55	c #Conflicts:      46000 | #Constraints:      28248
43.35/43.55	c INPROCESSING
43.35/43.55	c GARBAGE COLLECT
43.35/43.55	c rational objective 19
48.44/48.68	c #Conflicts:      47000 | #Constraints:      24845
48.44/48.68	c #Conflicts:      48000 | #Constraints:      25845
48.44/48.68	c #Conflicts:      49000 | #Constraints:      26845
48.44/48.68	c #Conflicts:      50000 | #Constraints:      27845
48.44/48.68	c #Conflicts:      51000 | #Constraints:      28845
48.44/48.68	c INPROCESSING
48.44/48.68	c GARBAGE COLLECT
48.44/48.68	c rational objective 19
48.94/49.13	c bounds 21 >= 19 @ 48.3544
51.72/51.96	c #Conflicts:      52000 | #Constraints:      25209
51.72/51.96	c #Conflicts:      53000 | #Constraints:      26209
51.72/51.96	c #Conflicts:      54000 | #Constraints:      27209
51.72/51.96	c #Conflicts:      55000 | #Constraints:      28209
51.72/51.96	c #Conflicts:      56000 | #Constraints:      29209
51.72/51.96	c INPROCESSING
51.72/51.96	c GARBAGE COLLECT
51.72/51.96	c rational objective 19
57.02/57.22	c #Conflicts:      57000 | #Constraints:      25388
57.02/57.22	c #Conflicts:      58000 | #Constraints:      26388
57.02/57.22	c #Conflicts:      59000 | #Constraints:      27388
57.02/57.22	c #Conflicts:      60000 | #Constraints:      28388
57.02/57.22	c #Conflicts:      61000 | #Constraints:      29388
57.02/57.22	c INPROCESSING
57.02/57.22	c GARBAGE COLLECT
57.02/57.22	c rational objective 19
63.31/63.53	c #Conflicts:      62000 | #Constraints:      25371
63.31/63.53	c #Conflicts:      63000 | #Constraints:      26371
63.31/63.53	c #Conflicts:      64000 | #Constraints:      27371
63.31/63.53	c #Conflicts:      65000 | #Constraints:      28371
63.31/63.53	c #Conflicts:      66000 | #Constraints:      29371
63.31/63.53	c INPROCESSING
63.31/63.53	c GARBAGE COLLECT
63.31/63.53	c rational objective 19
69.18/69.45	c #Conflicts:      67000 | #Constraints:      25227
69.18/69.45	c #Conflicts:      68000 | #Constraints:      26227
69.18/69.45	c #Conflicts:      69000 | #Constraints:      27227
69.18/69.45	c #Conflicts:      70000 | #Constraints:      28227
69.18/69.45	c #Conflicts:      71000 | #Constraints:      29227
69.18/69.45	c #Conflicts:      72000 | #Constraints:      30227
69.18/69.45	c INPROCESSING
69.18/69.45	c GARBAGE COLLECT
69.18/69.45	c rational objective 19
76.17/76.41	c #Conflicts:      73000 | #Constraints:      25879
76.17/76.41	c #Conflicts:      74000 | #Constraints:      26879
76.17/76.41	c #Conflicts:      75000 | #Constraints:      27879
76.17/76.41	c #Conflicts:      76000 | #Constraints:      28879
76.17/76.41	c #Conflicts:      77000 | #Constraints:      29879
76.17/76.41	c #Conflicts:      78000 | #Constraints:      30879
76.17/76.41	c INPROCESSING
76.17/76.41	c GARBAGE COLLECT
76.17/76.41	c rational objective 19
83.55/83.83	c #Conflicts:      79000 | #Constraints:      26264
83.55/83.83	c #Conflicts:      80000 | #Constraints:      27264
83.55/83.83	c #Conflicts:      81000 | #Constraints:      28264
83.55/83.83	c #Conflicts:      82000 | #Constraints:      29264
83.55/83.83	c #Conflicts:      83000 | #Constraints:      30264
83.55/83.83	c #Conflicts:      84000 | #Constraints:      31264
83.55/83.83	c INPROCESSING
83.55/83.83	c GARBAGE COLLECT
83.55/83.83	c rational objective 19
89.54/89.80	c #Conflicts:      85000 | #Constraints:      26469
89.54/89.80	c #Conflicts:      86000 | #Constraints:      27469
89.54/89.80	c #Conflicts:      87000 | #Constraints:      28469
89.54/89.80	c #Conflicts:      88000 | #Constraints:      29469
89.54/89.80	c #Conflicts:      89000 | #Constraints:      30469
89.54/89.80	c #Conflicts:      90000 | #Constraints:      31469
89.54/89.80	c INPROCESSING
89.54/89.80	c GARBAGE COLLECT
89.54/89.80	c rational objective 19
97.92/98.20	c #Conflicts:      91000 | #Constraints:      26484
97.92/98.20	c #Conflicts:      92000 | #Constraints:      27484
97.92/98.20	c #Conflicts:      93000 | #Constraints:      28484
97.92/98.20	c #Conflicts:      94000 | #Constraints:      29484
97.92/98.20	c #Conflicts:      95000 | #Constraints:      30484
97.92/98.20	c #Conflicts:      96000 | #Constraints:      31484
97.92/98.20	c INPROCESSING
97.92/98.20	c GARBAGE COLLECT
97.92/98.20	c rational objective 19
108.69/109.09	c #Conflicts:      97000 | #Constraints:      26319
108.69/109.09	c #Conflicts:      98000 | #Constraints:      27319
108.69/109.09	c #Conflicts:      99000 | #Constraints:      28319
108.69/109.09	c #Conflicts:     100000 | #Constraints:      29319
108.69/109.09	c #Conflicts:     101000 | #Constraints:      30319
108.69/109.09	c #Conflicts:     102000 | #Constraints:      31319
108.69/109.09	c #Conflicts:     103000 | #Constraints:      32319
108.69/109.09	c INPROCESSING
108.69/109.09	c GARBAGE COLLECT
108.69/109.09	c rational objective 19
116.97/117.34	c #Conflicts:     104000 | #Constraints:      26945
116.97/117.34	c #Conflicts:     105000 | #Constraints:      27945
116.97/117.34	c #Conflicts:     106000 | #Constraints:      28945
116.97/117.34	c #Conflicts:     107000 | #Constraints:      29945
116.97/117.34	c #Conflicts:     108000 | #Constraints:      30945
116.97/117.34	c #Conflicts:     109000 | #Constraints:      31945
116.97/117.34	c #Conflicts:     110000 | #Constraints:      32945
116.97/117.34	c INPROCESSING
116.97/117.34	c GARBAGE COLLECT
116.97/117.34	c rational objective 19
126.05/126.43	c #Conflicts:     111000 | #Constraints:      27353
126.05/126.43	c #Conflicts:     112000 | #Constraints:      28353
126.05/126.43	c #Conflicts:     113000 | #Constraints:      29353
126.05/126.43	c #Conflicts:     114000 | #Constraints:      30353
126.05/126.43	c #Conflicts:     115000 | #Constraints:      31353
126.05/126.43	c #Conflicts:     116000 | #Constraints:      32353
126.05/126.43	c #Conflicts:     117000 | #Constraints:      33353
126.05/126.43	c INPROCESSING
126.05/126.43	c GARBAGE COLLECT
126.05/126.43	c rational objective 19
135.83/136.22	c #Conflicts:     118000 | #Constraints:      27527
135.83/136.22	c #Conflicts:     119000 | #Constraints:      28527
135.83/136.22	c #Conflicts:     120000 | #Constraints:      29527
135.83/136.22	c #Conflicts:     121000 | #Constraints:      30527
135.83/136.22	c #Conflicts:     122000 | #Constraints:      31527
135.83/136.22	c #Conflicts:     123000 | #Constraints:      32527
135.83/136.22	c #Conflicts:     124000 | #Constraints:      33527
135.83/136.22	c INPROCESSING
135.83/136.22	c GARBAGE COLLECT
135.83/136.22	c rational objective 19
144.62/145.06	c #Conflicts:     125000 | #Constraints:      27510
144.62/145.06	c #Conflicts:     126000 | #Constraints:      28510
144.62/145.06	c #Conflicts:     127000 | #Constraints:      29510
144.62/145.06	c #Conflicts:     128000 | #Constraints:      30510
144.62/145.06	c #Conflicts:     129000 | #Constraints:      31510
144.62/145.06	c #Conflicts:     130000 | #Constraints:      32510
144.62/145.06	c #Conflicts:     131000 | #Constraints:      33510
144.62/145.06	c INPROCESSING
144.62/145.06	c GARBAGE COLLECT
144.62/145.06	c rational objective 19
153.99/154.46	c #Conflicts:     132000 | #Constraints:      27338
153.99/154.46	c #Conflicts:     133000 | #Constraints:      28338
153.99/154.46	c #Conflicts:     134000 | #Constraints:      29338
153.99/154.46	c #Conflicts:     135000 | #Constraints:      30338
153.99/154.46	c #Conflicts:     136000 | #Constraints:      31338
153.99/154.46	c #Conflicts:     137000 | #Constraints:      32338
153.99/154.46	c #Conflicts:     138000 | #Constraints:      33338
153.99/154.46	c #Conflicts:     139000 | #Constraints:      34338
153.99/154.46	c INPROCESSING
153.99/154.46	c GARBAGE COLLECT
153.99/154.46	c rational objective 19
165.76/166.24	c #Conflicts:     140000 | #Constraints:      27934
165.76/166.24	c #Conflicts:     141000 | #Constraints:      28934
165.76/166.24	c #Conflicts:     142000 | #Constraints:      29934
165.76/166.24	c #Conflicts:     143000 | #Constraints:      30934
165.76/166.24	c #Conflicts:     144000 | #Constraints:      31934
165.76/166.24	c #Conflicts:     145000 | #Constraints:      32934
165.76/166.24	c #Conflicts:     146000 | #Constraints:      33934
165.76/166.24	c #Conflicts:     147000 | #Constraints:      34934
165.76/166.24	c INPROCESSING
165.76/166.24	c GARBAGE COLLECT
165.76/166.24	c rational objective 19
175.93/176.41	c #Conflicts:     148000 | #Constraints:      28399
175.93/176.41	c #Conflicts:     149000 | #Constraints:      29399
175.93/176.41	c #Conflicts:     150000 | #Constraints:      30399
175.93/176.41	c #Conflicts:     151000 | #Constraints:      31399
175.93/176.41	c #Conflicts:     152000 | #Constraints:      32399
175.93/176.41	c #Conflicts:     153000 | #Constraints:      33399
175.93/176.41	c #Conflicts:     154000 | #Constraints:      34399
175.93/176.41	c #Conflicts:     155000 | #Constraints:      35399
175.93/176.41	c INPROCESSING
175.93/176.41	c GARBAGE COLLECT
175.93/176.41	c rational objective 19
187.90/188.48	c #Conflicts:     156000 | #Constraints:      28596
187.90/188.48	c #Conflicts:     157000 | #Constraints:      29596
187.90/188.48	c #Conflicts:     158000 | #Constraints:      30596
187.90/188.48	c #Conflicts:     159000 | #Constraints:      31596
187.90/188.48	c #Conflicts:     160000 | #Constraints:      32596
187.90/188.48	c #Conflicts:     161000 | #Constraints:      33596
187.90/188.48	c #Conflicts:     162000 | #Constraints:      34596
187.90/188.48	c #Conflicts:     163000 | #Constraints:      35596
187.90/188.48	c INPROCESSING
187.90/188.48	c GARBAGE COLLECT
187.90/188.48	c rational objective 19
198.79/199.36	c #Conflicts:     164000 | #Constraints:      28595
198.79/199.36	c #Conflicts:     165000 | #Constraints:      29595
198.79/199.36	c #Conflicts:     166000 | #Constraints:      30595
198.79/199.36	c #Conflicts:     167000 | #Constraints:      31595
198.79/199.36	c #Conflicts:     168000 | #Constraints:      32595
198.79/199.36	c #Conflicts:     169000 | #Constraints:      33595
198.79/199.36	c #Conflicts:     170000 | #Constraints:      34595
198.79/199.36	c #Conflicts:     171000 | #Constraints:      35595
198.79/199.36	c INPROCESSING
198.79/199.36	c GARBAGE COLLECT
198.79/199.36	c rational objective 19
211.05/211.64	c #Conflicts:     172000 | #Constraints:      28401
211.05/211.64	c #Conflicts:     173000 | #Constraints:      29401
211.05/211.64	c #Conflicts:     174000 | #Constraints:      30401
211.05/211.64	c #Conflicts:     175000 | #Constraints:      31401
211.05/211.64	c #Conflicts:     176000 | #Constraints:      32401
211.05/211.64	c #Conflicts:     177000 | #Constraints:      33401
211.05/211.64	c #Conflicts:     178000 | #Constraints:      34401
211.05/211.64	c #Conflicts:     179000 | #Constraints:      35401
211.05/211.64	c #Conflicts:     180000 | #Constraints:      36401
211.05/211.64	c INPROCESSING
211.05/211.64	c GARBAGE COLLECT
211.05/211.64	c rational objective 19
221.93/222.52	c #Conflicts:     181000 | #Constraints:      28970
221.93/222.52	c #Conflicts:     182000 | #Constraints:      29970
221.93/222.52	c #Conflicts:     183000 | #Constraints:      30970
221.93/222.52	c #Conflicts:     184000 | #Constraints:      31970
221.93/222.52	c #Conflicts:     185000 | #Constraints:      32970
221.93/222.52	c #Conflicts:     186000 | #Constraints:      33970
221.93/222.52	c #Conflicts:     187000 | #Constraints:      34970
221.93/222.52	c #Conflicts:     188000 | #Constraints:      35970
221.93/222.52	c #Conflicts:     189000 | #Constraints:      36970
221.93/222.52	c INPROCESSING
221.93/222.52	c GARBAGE COLLECT
221.93/222.52	c rational objective 19
235.70/236.39	c #Conflicts:     190000 | #Constraints:      29378
235.70/236.39	c #Conflicts:     191000 | #Constraints:      30378
235.70/236.39	c #Conflicts:     192000 | #Constraints:      31378
235.70/236.39	c #Conflicts:     193000 | #Constraints:      32378
235.70/236.39	c #Conflicts:     194000 | #Constraints:      33378
235.70/236.39	c #Conflicts:     195000 | #Constraints:      34378
235.70/236.39	c #Conflicts:     196000 | #Constraints:      35378
235.70/236.39	c #Conflicts:     197000 | #Constraints:      36378
235.70/236.39	c #Conflicts:     198000 | #Constraints:      37378
235.70/236.39	c INPROCESSING
235.70/236.39	c GARBAGE COLLECT
235.70/236.39	c rational objective 19
249.87/250.54	c #Conflicts:     199000 | #Constraints:      29617
249.87/250.54	c #Conflicts:     200000 | #Constraints:      30617
249.87/250.54	c #Conflicts:     201000 | #Constraints:      31617
249.87/250.54	c #Conflicts:     202000 | #Constraints:      32617
249.87/250.54	c #Conflicts:     203000 | #Constraints:      33617
249.87/250.54	c #Conflicts:     204000 | #Constraints:      34617
249.87/250.54	c #Conflicts:     205000 | #Constraints:      35617
249.87/250.54	c #Conflicts:     206000 | #Constraints:      36617
249.87/250.54	c #Conflicts:     207000 | #Constraints:      37617
249.87/250.54	c INPROCESSING
249.87/250.54	c GARBAGE COLLECT
249.87/250.54	c rational objective 19
255.85/256.50	c #Conflicts:     208000 | #Constraints:      29581
255.85/256.50	c #Conflicts:     209000 | #Constraints:      30581
255.85/256.50	c #Conflicts:     210000 | #Constraints:      31581
255.85/256.50	c #Conflicts:     211000 | #Constraints:      32581
255.85/256.50	c bounds 21 >= 20 @ 253.996
258.35/259.09	c #Conflicts:     212000 | #Constraints:      33620
258.35/259.09	c #Conflicts:     213000 | #Constraints:      34620
258.35/259.09	c bounds 20 >= 20 @ 256.571
258.35/259.09	c cpu time 256.571 s
258.35/259.09	c deterministic time 12127776029 1.21e+10
258.35/259.09	c optimization time 0.02254 s
258.35/259.09	c total solve time 256.481 s
258.35/259.09	c core-guided solve time 143.519 s
258.35/259.09	c propagation time 118.38 s
258.35/259.09	c conflict analysis time 119.697 s
258.35/259.09	c propagations 112066121
258.35/259.09	c resolve steps 17032335
258.35/259.09	c decisions 925755
258.35/259.09	c conflicts 213021
258.35/259.09	c restarts 510
258.35/259.09	c inprocessing phases 37
258.35/259.09	c garbage collections 37 ,( 100.00 )
258.35/259.09	c input clauses 19381 ,( 99.16 )
258.35/259.09	c input cardinalities 102 ,( 0.52 )
258.35/259.09	c input general constraints 63 ,( 0.32 )
258.35/259.09	c input average constraint length 3.68
258.35/259.09	c input average constraint degree 1.52
258.35/259.09	c learned clauses 183393 ,( 86.08 )
258.35/259.09	c learned cardinalities 1816 ,( 0.85 )
258.35/259.09	c learned general constraints 27845 ,( 13.07 )
258.35/259.09	c learned average constraint length 724.21
258.35/259.09	c learned average constraint degree 4587917.11
258.35/259.09	c watched  CF 32, 64, 128, Arb: 16561 , 0 , 0 , 0
258.35/259.09	c counting CF 32, 64, 128, Arb: 11348 , 0 , 0 , 0
258.35/259.09	c watched   constraints 16561 ,( 59.34 ) 
258.35/259.09	c counting  constraints 11347 ,( 40.66 ) 
258.35/259.09	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 154885149 , 5798640 , 383232188 ,( 146297205 , 236934983 )
258.35/259.09	c gcd simplifications 313
258.35/259.09	c detected cardinalities 7
258.35/259.09	c weakened non-implied lits 19107262
258.35/259.09	c weakened non-implying lits 19962
258.35/259.09	c original variables 5499
258.35/259.09	c clausal propagations 95380148
258.35/259.09	c cardinality propagations 1604984
258.35/259.09	c watched propagations 2150547
258.35/259.09	c counting propagations 11491205
258.35/259.09	c watch lookups 2237371603
258.35/259.09	c watch backjump lookups 0
258.35/259.09	c watch checks 8196747539
258.35/259.09	c propagation checks 1085302506
258.35/259.09	c constraint additions 381923487
258.35/259.09	c trail pops 113204872
258.35/259.09	c formula constraints 19313
258.35/259.09	c learned constraints 213019
258.35/259.09	c bound constraints 38
258.35/259.09	c core-guided constraints 195
258.35/259.09	c encountered formula constraints 15014311
258.35/259.09	c encountered learned constraints 2040910
258.35/259.09	c encountered bound constraints 425
258.35/259.09	c encountered core-guided constraints 189560
258.35/259.09	c LP total time 54.6759 s
258.35/259.09	c LP solve time 44.83 s
258.35/259.09	c LP constraints added 19458
258.35/259.09	c LP constraints removed 141
258.35/259.09	c LP pivots internal 213445
258.35/259.09	c LP pivots root 20700
258.35/259.09	c LP calls 160
258.35/259.09	c LP optimalities 150
258.35/259.09	c LP no pivot count 25
258.35/259.09	c LP infeasibilities 6
258.35/259.09	c LP valid Farkas constraints 6
258.35/259.09	c LP learned Farkas constraints 6
258.35/259.09	c LP basis resets 0
258.35/259.09	c LP cycling count 0
258.35/259.09	c LP singular count 0
258.35/259.09	c LP no primal count 0
258.35/259.09	c LP no farkas count 0
258.35/259.09	c LP other issue count 0
258.35/259.09	c LP Gomory cuts 23
258.35/259.09	c LP learned cuts 122
258.35/259.09	c LP deleted cuts 141
258.35/259.09	c LP encountered Gomory constraints 25
258.35/259.09	c LP encountered Farkas constraints 117
258.35/259.09	c LP encountered learned Farkas constraints 2
258.35/259.09	c CG auxiliary variables introduced 70
258.35/259.09	c CG solutions found 9
258.35/259.09	c CG cores constructed 15
258.35/259.09	c CG core cardinality constraints returned 0
258.35/259.09	c CG unit cores 0
258.35/259.09	c CG single cores 15
258.35/259.09	c CG blocks removed during cardinality reduction 0
258.35/259.09	c CG first core best 0
258.35/259.09	c CG decision core best 0
258.35/259.09	c CG core reduction tie 0
258.35/259.09	c CG core degree average 1.00
258.35/259.09	c CG core slack average 43.27
258.35/259.09	c CG core upper bound improvements 43
258.35/259.09	c STR number of successful calls 0
258.35/259.09	c STR number of unsuccessful calls 0
258.35/259.09	c STR number of inconclusive calls 0
258.35/259.09	c STR number of successful attempts 0
258.35/259.09	c STR number of unsuccessful attempts 0
258.35/259.09	c STR number of inconclusive attempts 0
258.35/259.09	c STR average degree increase per successful call inf
258.35/259.09	c STR average degree increase per successful attempt inf
258.35/259.09	c STR total number of conflicts for successful attempts 0
258.35/259.09	c STR total number of conflicts for unsuccessful attempts 0
258.35/259.09	c STR total number of conflicts for inconclusive attempts 0
258.35/259.09	c STR average number of conflicts per successful attempt inf
258.35/259.09	c STR average number of conflicts per unsuccessful attempt inf
258.35/259.09	c STR average number of conflicts per inconclusive attempt inf
258.35/259.09	c AVG.sumWPerc 37.66 
258.35/259.09	c bigint constraints 0 
258.35/259.09	o 20
258.35/259.09	s OPTIMUM FOUND
258.35/259.09	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 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 x4034 x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 -x5094 x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 x5104 -x5105 x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 x5148 x5149 -x5150 -x5151 -x5152 x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 x5230 -x5231 x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 -x5289 x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 x5422 x5423 -x5424 -x5425 -x5426 x5427 x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 -x5463 x5464 -x5465 -x5466 x5467 -x5468 x5469 -x5470 x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 x5483 -x5484 x5485 -x5486 x5487 -x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 -x5498 x5499

Verifier Data 

OK	20

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 (61962 MiB free)
  memory of node 1: 64465 MiB (63529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497746-1751397546/watcher-4497746-1751397546 -o /tmp/evaluation-result-4497746-1751397546/solver-4497746-1751397546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55313 --watchdog 3760 run-opt-ls.sh HOME/instance-4497746-1751397546.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=55423, runsolver pid=55420

[startup+0.100061 s]*
/proc/loadavg: 3.75 3.70 3.92 5/269 55426
/proc/meminfo: memFree=128492584/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=61936 memory=15516 CPUtime=0.04 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 2218 0 0 0 4 0 0 0 20 0 1 0 55433010 63422464 3879 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 15484 3879 2016 1147 0 2911 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 66128 KiB
Current children cumulated memory: 18460 KiB

[startup+0.205568 s]*
/proc/loadavg: 3.75 3.70 3.92 5/269 55426
/proc/meminfo: memFree=128478912/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=91800 memory=41112 CPUtime=0.15 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 7811 0 0 0 13 2 0 0 20 0 1 0 55433010 94003200 10278 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 22950 10278 2368 1147 0 10377 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 95992 KiB
Current children cumulated memory: 44056 KiB

[startup+0.30553 s]*
/proc/loadavg: 3.75 3.70 3.92 5/269 55426
/proc/meminfo: memFree=128478912/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=92540 memory=41752 CPUtime=0.25 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 7978 0 0 0 23 2 0 0 20 0 1 0 55433010 94760960 10438 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 23135 10438 2368 1147 0 10562 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 96732 KiB
Current children cumulated memory: 44696 KiB

[startup+0.700176 s]
/proc/loadavg: 3.75 3.70 3.92 5/269 55426
/proc/meminfo: memFree=128470848/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=94060 memory=46564 CPUtime=0.64 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 8728 0 0 0 61 3 0 0 20 0 1 0 55433010 96317440 11641 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 23515 11641 2400 1147 0 10942 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 98252 KiB
Current children cumulated memory: 49508 KiB

[startup+1.50019 s]
/proc/loadavg: 3.77 3.70 3.92 5/269 55426
/proc/meminfo: memFree=128470848/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=100388 memory=52708 CPUtime=1.44 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 10217 0 0 0 137 7 0 0 20 0 1 0 55433010 102797312 13177 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 25097 13177 2432 1147 0 12524 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 104580 KiB
Current children cumulated memory: 55652 KiB

[startup+3.10526 s]
/proc/loadavg: 3.77 3.70 3.92 5/269 55426
/proc/meminfo: memFree=128468580/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=103940 memory=54244 CPUtime=3.03 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 10607 0 0 0 293 10 0 0 20 0 1 0 55433010 106434560 13561 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 25985 13561 2432 1147 0 13412 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 108132 KiB
Current children cumulated memory: 57188 KiB

[startup+6.30016 s]
/proc/loadavg: 3.79 3.71 3.92 5/269 55427
/proc/meminfo: memFree=128459124/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=114092 memory=65196 CPUtime=6.23 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 12841 0 0 0 607 16 0 0 20 0 1 0 55433010 116830208 16299 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 28523 16299 2432 1147 0 15950 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 118284 KiB
Current children cumulated memory: 68140 KiB

[startup+12.7002 s]
/proc/loadavg: 3.80 3.71 3.92 5/268 55427
/proc/meminfo: memFree=128447720/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=124132 memory=69164 CPUtime=12.61 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 13845 0 0 0 1237 24 0 0 20 0 1 0 55433010 127111168 17291 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 31033 17291 2432 1147 0 18460 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 128324 KiB
Current children cumulated memory: 72108 KiB

[startup+25.5002 s]
/proc/loadavg: 3.83 3.72 3.92 5/268 55427
/proc/meminfo: memFree=128435004/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=147364 memory=89068 CPUtime=25.38 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 17301 0 0 0 2496 42 0 0 20 0 1 0 55433010 150900736 22267 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 36841 22267 2432 1147 0 24268 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 151556 KiB
Current children cumulated memory: 92012 KiB

[startup+51.1051 s]
/proc/loadavg: 3.90 3.75 3.92 5/268 55427
/proc/meminfo: memFree=128387748/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=150324 memory=98032 CPUtime=50.92 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 18005 0 0 0 5027 65 0 0 20 0 1 0 55433010 153931776 24508 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 37581 24508 2432 1147 0 25008 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 154516 KiB
Current children cumulated memory: 100976 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 3.82 3.94 5/268 55429
/proc/meminfo: memFree=128309172/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=157852 memory=107688 CPUtime=102 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 19908 0 0 0 10099 101 0 0 20 0 1 0 55433010 161640448 26922 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 39463 26922 2432 1147 0 26890 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 162044 KiB
Current children cumulated memory: 110632 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.89 3.96 5/268 55433
/proc/meminfo: memFree=128118756/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180148 memory=115272 CPUtime=161.86 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21352 0 0 0 16053 133 0 0 20 0 1 0 55433010 184471552 28818 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45037 28818 2432 1147 0 32464 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 184340 KiB
Current children cumulated memory: 118216 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.92 3.97 5/268 55436
/proc/meminfo: memFree=128005000/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=221.72 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 22005 167 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

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

# cumulated CPU time of all completed processes:  user=256.595 s, system=1.88114 s

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

[startup+230.4 s]
/proc/loadavg: 4.08 3.92 3.97 5/268 55436
/proc/meminfo: memFree=127994028/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=229.8 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 22808 172 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 229.81 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

[startup+243.2 s]
/proc/loadavg: 4.07 3.93 3.97 5/268 55441
/proc/meminfo: memFree=128002336/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=242.57 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 24079 178 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 242.58 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

[startup+249.6 s]
/proc/loadavg: 4.06 3.93 3.97 5/268 55442
/proc/meminfo: memFree=127961752/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=248.95 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 24714 181 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 248.96 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

[startup+256 s]*
/proc/loadavg: 4.05 3.93 3.97 5/268 55442
/proc/meminfo: memFree=127908900/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=255.35 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 25350 185 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 255.36 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

[startup+257.6 s]
/proc/loadavg: 4.05 3.93 3.97 5/268 55442
/proc/meminfo: memFree=127905056/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=256.94 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 25508 186 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 256.95 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

[startup+258.4 s]
/proc/loadavg: 4.05 3.93 3.97 5/268 55442
/proc/meminfo: memFree=127905056/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=257.73 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 25587 186 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 257.74 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

[startup+258.8 s]
/proc/loadavg: 4.05 3.93 3.97 5/268 55442
/proc/meminfo: memFree=127905056/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=258.13 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 25627 186 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 258.14 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

[startup+259 s]*
/proc/loadavg: 4.05 3.93 3.97 5/268 55442
/proc/meminfo: memFree=127900960/131249996 swapFree=33010160/33010684
[pid=55423] ppid=55420 vsize=4192 memory=2944 CPUtime=0.01 cores=5,7
/proc/55423/stat : 55423 (run-opt-ls.sh) S 55420 55423 55300 0 -1 4194304 237 4528 0 0 0 0 1 0 20 0 1 0 55433006 4292608 736 18446744073709551615 94138840936448 94138841830981 140736263506592 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94138842070032 94138842117776 94138859249664 140736263510375 140736263510501 140736263510501 140736263516103 0
/proc/55423/statm: 1048 736 672 219 0 110 0
[pid=55426] ppid=55423 vsize=180388 memory=123672 CPUtime=258.34 cores=5,7
/proc/55426/stat : 55426 (roundingsat) R 55423 55423 55300 0 -1 4194304 21413 0 0 0 25648 186 0 0 20 0 1 0 55433010 184717312 30918 18446744073709551615 4227072 8923433 140734569516832 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35643392 140734569523526 140734569523752 140734569523752 140734569529322 0
/proc/55426/statm: 45097 30918 2432 1147 0 32524 0
Current children cumulated CPU time: 258.35 s
Current children cumulated vsize: 184580 KiB
Current children cumulated memory: 126616 KiB

Child status: 0

Real time (s): 259.103
CPU time (s): 258.476
CPU user time (s): 256.595
CPU system time (s): 1.88114
CPU usage (%): 99.7582
Max. virtual memory (cumulated for all children) (KiB): 184580
Max. memory (cumulated for all children) (KiB): 126616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.595
system time used= 1.88114
maximum resident set size= 123672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 231


# summary of solver processes directly reported to runsolver:
#   pid: 55423
#   total CPU time (s): 258.476
#   total CPU user time (s): 256.595
#   total CPU system time (s): 1.88114

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.510287 second user time and 1.10142 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 21:19:06
IDJOB=4497746
IDBENCH=148192
IDSOLVER=3355
FILE ID=nodeC029/4497746-1751397546
RUNJOBID= nodeC029-1751397441-55313
SLURM_JOB_ID= 9598277
Free space on /tmp= 433008 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497746-1751397546/watcher-4497746-1751397546 -o /tmp/evaluation-result-4497746-1751397546/solver-4497746-1751397546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751397441-55313 --watchdog 3760  run-opt-ls.sh HOME/instance-4497746-1751397546.opb

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=1847180055

nodeC029 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.723
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.46
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.739
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.46
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		: 3528.450
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.46
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		: 3603.607
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.46
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.725
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.049
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.46
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		: 3599.567
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.46
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		: 3599.708
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128504080 kB
MemAvailable:   128515992 kB
Buffers:            2128 kB
Cached:           818516 kB
SwapCached:           40 kB
Active:          1667256 kB
Inactive:         448884 kB
Active(anon):    1308748 kB
Inactive(anon):     4768 kB
Active(file):     358508 kB
Inactive(file):   444116 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7696 kB
Writeback:             0 kB
AnonPages:       1298664 kB
Mapped:           117092 kB
Shmem:             18020 kB
KReclaimable:      97052 kB
Slab:             184240 kB
SReclaimable:      97052 kB
SUnreclaim:        87188 kB
KernelStack:        4352 kB
PageTables:         5856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1809868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    518144 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC029 at 2025-07-01 21:23:25