Trace number 4440633

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
Exact_veripb2_no_SoPlex 2024-07-05SAT (TO)1173847040 3082.57 3700.24

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM8990d9f8b403d84c2b7408cf78742133
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 benchmark1126169600
Best CPU time to get the best result obtained on this benchmark2936.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.10/1.19	o 2147482624
9.36/10.44	o 2147480576
9.36/10.44	o 2147479552
9.36/10.45	o 2147471360
9.36/10.45	o 2147454976
9.36/10.46	o 2147422208
9.36/10.46	o 2147418112
9.36/10.47	o 2147287040
9.36/10.47	o 2147221504
9.36/10.48	o 2146172928
9.36/10.48	o 2145648640
9.36/10.49	o 2143551488
9.36/10.49	o 2135162880
9.36/10.49	o 2130968576
9.46/10.53	o 1594097664
9.46/10.56	o 1325891584
9.46/10.57	o 1325890560
9.46/10.59	o 1325889536
9.56/10.60	o 1325881344
9.56/10.61	o 1325864960
9.56/10.62	o 1325860864
9.56/10.63	o 1325729792
9.56/10.65	o 1325664256
9.56/10.65	o 1325402112
9.56/10.67	o 1325400064
9.76/10.88	o 1308687360
9.86/10.93	o 1308654592
9.86/10.94	o 1308638208
9.86/10.95	o 1308630016
9.86/10.96	o 1308625920
9.86/10.97	o 1308624896
9.86/10.98	o 1308622848
9.97/11.02	o 1307574272
9.97/11.05	o 1307541504
9.97/11.06	o 1307540480
9.97/11.09	o 1307016192
10.07/11.10	o 1306754048
10.07/11.11	o 1306622976
10.07/11.12	o 1306557440
10.07/11.14	o 1306541056
10.07/11.15	o 1306532864
10.07/11.16	o 1306528768
10.07/11.17	o 1306527744
10.07/11.18	o 1306396672
10.07/11.19	o 1306393600
10.17/11.23	o 1304296448
10.20/14.58	o 1303772160
10.21/14.64	o 1295383552
10.21/14.65	o 1295318016
10.21/14.66	o 1295285248
10.21/14.68	o 1295268864
10.21/14.69	o 1295260672
10.31/14.70	o 1295256576
10.31/14.71	o 1295254528
10.31/14.72	o 1295253504
10.31/14.73	o 1295089664
10.31/14.74	o 1295088640
10.41/14.80	o 1295023104
10.41/14.81	o 1295006720
10.41/14.82	o 1294998528
10.41/14.83	o 1294994432
10.41/14.84	o 1294992384
10.41/14.85	o 1294991360
10.41/14.86	o 1294925824
10.41/14.87	o 1294924800
10.51/14.92	o 1294908416
10.51/14.93	o 1294900224
10.51/14.94	o 1294896128
10.51/14.95	o 1294894080
10.51/14.96	o 1294893056
10.51/14.98	o 1294368768
10.51/14.99	o 1294106624
10.51/15.00	o 1293975552
10.61/15.01	o 1293942784
10.61/15.02	o 1291845632
10.61/15.03	o 1290665984
10.61/15.04	o 1290664960
10.71/15.17	o 1290140672
10.71/15.18	o 1289878528
10.71/15.19	o 1289812992
10.81/15.21	o 1289780224
10.81/15.22	o 1289763840
10.81/15.23	o 1289755648
10.81/15.24	o 1289751552
10.81/15.25	o 1289749504
10.81/15.26	o 1289748480
10.81/15.27	o 1288698880
11.01/15.45	o 1288666112
11.01/15.46	o 1288649728
11.01/15.47	o 1288641536
11.01/15.48	o 1288637440
11.11/15.50	o 1288635392
11.11/15.51	o 1288634368
11.11/15.52	o 1288535040
11.21/15.65	o 1288526848
11.21/15.66	o 1288522752
11.21/15.67	o 1288520704
11.21/15.69	o 1288519680
11.31/15.70	o 1288454144
11.31/15.72	o 1288437760
11.31/15.77	o 1288241152
11.31/15.78	o 1288207360
11.40/15.82	o 1288199168
11.40/15.84	o 1288195072
11.40/15.85	o 1288193024
11.40/15.86	o 1288192000
11.40/15.88	o 1288175616
11.50/15.91	o 1288043520
11.50/15.98	o 1288042496
11.50/15.99	o 1288026112
11.62/16.01	o 1287960576
11.62/16.02	o 1287952384
11.62/16.03	o 1287919616
11.62/16.05	o 1287915520
11.62/16.06	o 1287913472
11.62/16.07	o 1287880704
11.62/16.09	o 1287879680
12.72/17.14	o 1287863296
12.72/17.16	o 1287797760
12.72/17.18	o 1287789568
12.81/17.20	o 1287785472
12.81/17.21	o 1287783424
12.81/17.23	o 1287652352
12.81/17.25	o 1287651328
12.91/17.32	o 1286733824
12.91/17.34	o 1286732800
15.20/19.68	o 1286667264
15.30/19.70	o 1286650880
15.30/19.72	o 1286642688
15.30/19.74	o 1286638592
15.30/19.76	o 1286636544
15.30/19.78	o 1286635520
15.30/19.79	o 1286602752
15.40/19.81	o 1285554176
15.40/19.83	o 1285095424
15.40/19.85	o 1285094400
15.60/20.08	o 1285078016
15.70/20.10	o 1285069824
15.70/20.12	o 1285065728
15.70/20.14	o 1285063680
15.70/20.16	o 1285062656
15.70/20.18	o 1285029888
15.80/20.20	o 1284767744
15.80/20.22	o 1284636672
15.80/20.24	o 1284602880
16.71/21.15	o 1284586496
16.71/21.17	o 1284578304
16.71/21.19	o 1284574208
16.80/21.21	o 1284572160
16.80/21.23	o 1284571136
16.80/21.25	o 1284505600
16.80/21.28	o 1283457024
16.90/21.38	o 1282932736
22.08/26.51	o 1282800640
22.08/26.57	o 1282767872
22.18/26.60	o 1282751488
22.18/26.63	o 1282743296
22.18/26.66	o 1282739200
22.18/26.69	o 1282737152
22.28/26.72	o 1282736128
22.28/26.75	o 1282670592
22.38/26.84	o 1282636800
23.28/27.75	o 1282628608
23.28/27.78	o 1282624512
23.37/27.81	o 1282622464
23.37/27.84	o 1282621440
23.37/27.87	o 1282490368
23.47/27.91	o 1282473984
23.47/27.94	o 1282472960
23.58/28.01	o 1282464768
23.58/28.04	o 1282460672
23.58/28.07	o 1282458624
23.68/28.11	o 1282457600
23.68/28.14	o 1282424832
23.68/28.17	o 1282408448
23.77/28.21	o 1282310144
23.77/28.24	o 1282309120
24.77/29.24	o 1282305024
24.77/29.28	o 1282302976
24.87/29.31	o 1282301952
24.87/29.35	o 1282285568
24.87/29.38	o 1282277376
24.97/29.41	o 1282146304
24.97/29.45	o 1282145280
28.76/33.24	o 1282014208
47.24/101.19	o 1282012160
47.33/101.24	o 1282011136
47.43/101.30	o 1281994752
47.43/101.36	o 1281986560
47.53/101.41	o 1281982464
47.63/101.53	o 1281949696
47.63/101.59	o 1281884160
47.73/101.65	o 1281359872
47.83/101.71	o 1277165568
47.83/101.76	o 1275133952
47.94/101.82	o 1275101184
47.94/101.88	o 1275100160
48.04/102.00	o 1275098112
48.14/102.06	o 1275097088
48.24/102.11	o 1275080704
48.24/102.17	o 1275072512
48.34/102.22	o 1275068416
48.44/102.33	o 1274544128
48.54/102.43	o 1274444800
52.13/106.03	o 1274428416
52.13/106.10	o 1274420224
52.23/106.17	o 1274416128
52.32/106.23	o 1274414080
52.42/106.30	o 1274413056
52.42/106.36	o 1274281984
52.52/106.43	o 1274280960
52.62/106.56	o 1274248192
52.72/106.63	o 1274231808
52.72/106.69	o 1274223616
52.82/106.76	o 1274219520
52.92/106.82	o 1274217472
52.92/106.89	o 1274216448
53.02/106.95	o 1274118144
53.13/107.02	o 1274117120
53.23/107.10	o 1274100736
53.23/107.17	o 1274092544
53.32/107.23	o 1274088448
53.42/107.30	o 1274086400
53.42/107.36	o 1274085376
53.52/107.43	o 1274019840
53.52/107.49	o 1273953280
54.41/108.32	o 1273920512
54.41/108.39	o 1273904128
54.51/108.46	o 1273895936
54.61/108.52	o 1273891840
54.61/108.59	o 1273889792
54.71/108.65	o 1273888768
54.81/108.72	o 1273626624
54.81/108.79	o 1273625600
55.32/109.27	o 1273592832
55.42/109.34	o 1273576448
55.52/109.40	o 1273568256
55.52/109.47	o 1273564160
55.62/109.53	o 1273562112
55.72/109.60	o 1273561088
55.72/109.67	o 1273495552
55.82/109.73	o 1273135104
55.92/109.80	o 1273134080
59.80/113.77	o 1273003008
59.91/113.84	o 1272986624
60.01/113.90	o 1272978432
60.01/113.96	o 1272974336
60.12/114.03	o 1272972288
60.12/114.09	o 1272971264
60.21/114.16	o 1270874112
60.70/114.67	o 1269825536
60.80/114.74	o 1269694464
60.90/114.81	o 1269693440
61.30/115.26	o 1269627904
61.40/115.33	o 1269595136
61.50/115.40	o 1269578752
61.50/115.47	o 1269570560
61.60/115.54	o 1269566464
61.70/115.61	o 1269564416
61.70/115.67	o 1269563392
61.80/115.74	o 1269530624
61.90/115.81	o 1269529600
62.20/116.11	o 1269521408
62.20/116.18	o 1269517312
62.30/116.25	o 1269515264
62.40/116.32	o 1269514240
62.40/116.39	o 1269383168
62.50/116.48	o 1269366784
62.69/116.64	o 1269365760
63.39/117.34	o 1269332992
63.49/117.41	o 1269330944
63.49/117.48	o 1269329920
63.59/117.55	o 1269313536
63.69/117.63	o 1269305344
63.89/117.80	o 1269301248
75.16/129.15	o 1269202944
75.26/129.21	o 1269201920
75.36/129.36	o 1269070848
75.45/129.49	o 1269066752
75.55/129.55	o 1269064704
75.65/129.61	o 1269063680
75.65/129.66	o 1269047296
75.76/129.72	o 1269039104
75.86/129.84	o 1269038080
77.29/135.86	o 1269029888
77.39/135.92	o 1269025792
77.39/135.98	o 1269023744
77.50/136.03	o 1269022720
77.50/136.09	o 1268891648
77.60/136.15	o 1268874240
78.29/136.84	o 1268870144
78.38/136.91	o 1268868096
78.38/136.97	o 1268867072
78.49/137.03	o 1268850688
78.49/137.10	o 1268785152
78.59/137.16	o 1268776960
78.68/137.23	o 1268711424
78.68/137.29	o 1268710400
80.78/139.35	o 1268694016
80.88/139.42	o 1268689920
80.88/139.48	o 1268687872
80.98/139.55	o 1268686848
81.08/139.62	o 1268678656
81.08/139.68	o 1268645888
81.18/139.75	o 1268546560
81.58/140.19	o 1268530176
81.68/140.26	o 1268521984
81.78/140.33	o 1268517888
81.88/140.40	o 1268515840
81.88/140.47	o 1268514816
81.98/140.54	o 1268382720
82.18/140.75	o 1268317184
82.28/140.82	o 1268284416
82.28/140.89	o 1268276224
82.38/140.96	o 1268272128
82.49/141.03	o 1268270080
82.49/141.10	o 1268269056
82.59/141.17	o 1268252672
82.68/141.24	o 1268219904
82.78/141.31	o 1268218880
86.87/145.47	o 1268214784
86.97/145.54	o 1268212736
87.07/145.62	o 1268211712
87.17/145.71	o 1268080640
87.17/145.79	o 1268064256
87.27/145.86	o 1268056064
87.87/146.47	o 1268055040
88.86/147.48	o 1268050944
88.96/147.56	o 1268048896
193.80/284.12	o 1268047872
193.80/284.18	o 1268031488
193.89/284.23	o 1268023296
193.89/284.28	o 1267892224
193.99/284.34	o 1267891200
194.19/284.50	o 1267874816
194.19/284.56	o 1267870720
194.29/284.62	o 1267868672
194.29/284.67	o 1267867648
194.39/284.72	o 1267859456
194.39/284.77	o 1267728384
194.49/284.82	o 1266679808
194.49/284.88	o 1265762304
194.59/284.93	o 1265761280
213.33/398.91	o 1265757184
213.33/399.00	o 1265755136
213.44/399.08	o 1265754112
213.54/399.17	o 1265737728
213.63/399.25	o 1265672192
213.73/399.33	o 1265639424
213.83/399.42	o 1265631232
213.93/399.55	o 1263534080
214.04/399.64	o 1263467520
214.14/399.75	o 1263451136
214.24/399.84	o 1263449088
214.34/399.92	o 1263448064
214.34/400.00	o 1263415296
214.44/400.08	o 1263407104
214.54/400.16	o 1263403008
214.84/400.43	o 1263304704
214.94/400.51	o 1263303680
215.14/400.71	o 1263287296
215.14/400.79	o 1263279104
215.24/400.87	o 1263277056
215.34/400.95	o 1263276032
215.44/401.03	o 1263271936
215.54/401.11	o 1263009792
215.63/401.24	o 1262485504
216.03/401.60	o 1261174784
216.03/401.68	o 1261173760
216.23/401.88	o 1260649472
216.33/401.96	o 1260583936
216.44/402.04	o 1260551168
216.54/402.12	o 1260534784
216.63/402.20	o 1260526592
216.63/402.28	o 1260524544
216.73/402.36	o 1260523520
216.84/402.44	o 1260392448
216.93/402.52	o 1260388352
217.03/402.61	o 1260191744
217.03/402.69	o 1260190720
217.23/402.87	o 1260157952
217.33/402.95	o 1260141568
217.43/403.03	o 1260133376
217.53/403.11	o 1260131328
217.53/403.19	o 1260130304
217.63/403.27	o 1260064768
217.73/403.35	o 1260032000
217.83/403.43	o 1260026880
220.61/406.29	o 1260022784
220.71/406.38	o 1260020736
220.81/406.47	o 1260019712
220.91/406.55	o 1260003328
221.01/406.64	o 1259995136
221.11/406.72	o 1259864064
222.01/407.69	o 1259863040
223.77/412.22	o 1259846656
223.87/412.31	o 1259838464
223.97/412.40	o 1259805696
223.97/412.49	o 1259674624
224.07/412.58	o 1259609088
224.17/412.67	o 1259346944
224.27/412.76	o 1259342848
224.37/412.85	o 1259340800
224.47/412.94	o 1259339776
225.47/413.90	o 1258749952
225.47/413.99	o 1258716160
229.06/417.55	o 1258715136
229.16/417.64	o 1258698752
229.26/417.74	o 1258694656
229.36/417.84	o 1258686464
229.46/417.94	o 1258684416
229.57/418.04	o 1258553344
229.67/418.14	o 1258552320
493.12/777.35	o 1258519552
493.22/777.43	o 1258503168
493.32/777.51	o 1258494976
493.32/777.59	o 1258490880
493.42/777.67	o 1258488832
493.52/777.75	o 1258487808
493.62/777.83	o 1258389504
493.72/777.91	o 1258388480
703.47/1043.97	o 1258372096
703.47/1043.97	o 1258363904
703.47/1043.98	o 1258359808
703.47/1043.98	o 1258357760
703.47/1043.99	o 1258356736
703.47/1043.99	o 1258291200
703.47/1043.99	o 1256194048
703.57/1044.01	o 1255669760
703.57/1044.02	o 1255439360
982.36/1353.79	o 1255437312
982.36/1353.79	o 1255436288
982.36/1353.79	o 1255419904
982.36/1353.79	o 1255411712
982.46/1353.80	o 1255407616
982.46/1353.80	o 1247019008
982.46/1353.80	o 1245970432
985.95/1357.36	o 1212416000
985.95/1357.37	o 1212153856
985.95/1357.39	o 1210384384
986.05/1357.40	o 1210383360
1208.80/1620.76	o 1210366976
1208.80/1620.76	o 1210358784
1208.80/1620.76	o 1210354688
1208.80/1620.76	o 1210352640
1208.80/1620.76	o 1210351616
1208.80/1620.76	o 1210089472
1208.80/1620.76	o 1210056704
1208.80/1620.77	o 1210055680
1310.47/1751.14	o 1210022912
1336.84/1780.41	o 1210021888
1336.84/1780.41	o 1210005504
1336.84/1780.41	o 1209997312
1336.84/1780.41	o 1209993216
1336.84/1780.41	o 1209991168
1336.84/1780.41	o 1209860096
1336.84/1780.42	o 1209794560
1336.84/1780.44	o 1209270272
1336.84/1780.44	o 1209008128
1336.84/1780.44	o 1207959552
1340.82/1784.45	o 1200619520
1340.82/1784.47	o 1199734784
1340.82/1784.49	o 1199733760
1341.12/1784.78	o 1199717376
1341.22/1784.80	o 1199709184
1341.22/1784.81	o 1199705088
1341.22/1784.82	o 1199703040
1341.22/1784.83	o 1199702016
1341.22/1784.85	o 1199570944
1341.32/1784.91	o 1199569920
1341.43/1785.08	o 1199561728
1341.43/1785.09	o 1199557632
1341.53/1785.11	o 1199555584
1341.53/1785.12	o 1199554560
1341.53/1785.13	o 1199423488
1341.53/1785.14	o 1199406080
1619.31/2113.57	o 1199405056
1619.31/2113.57	o 1199339520
1619.31/2113.57	o 1199323136
1619.31/2113.57	o 1199314944
1619.31/2113.58	o 1199310848
1619.31/2113.58	o 1199308800
1619.40/2113.63	o 1199243264
1619.40/2113.65	o 1199112192
1619.40/2113.65	o 1199078400
1853.19/2372.88	o 1199077376
1853.19/2372.89	o 1199073280
1853.19/2372.89	o 1199056896
1853.19/2372.89	o 1199048704
1853.19/2372.89	o 1199046656
1853.19/2372.89	o 1196949504
1853.29/2372.90	o 1194852352
1853.29/2372.90	o 1194818560
1853.40/2373.06	o 1194687488
1853.40/2373.06	o 1194621952
1853.40/2373.06	o 1194613760
1853.40/2373.06	o 1194609664
1853.40/2373.06	o 1194607616
1853.40/2373.06	o 1194606592
1853.40/2373.07	o 1194590208
1853.40/2373.07	o 1194328064
1853.40/2373.07	o 1194196992
1853.40/2373.07	o 1194163200
2148.97/2690.09	o 1194161152
2148.97/2690.09	o 1194160128
2148.97/2690.09	o 1194151936
2148.97/2690.09	o 1194147840
2148.97/2690.09	o 1194082304
2148.97/2690.09	o 1193820160
2148.97/2690.10	o 1193295872
2148.97/2690.10	o 1193279488
2148.97/2690.10	o 1191182336
2149.07/2690.16	o 1184890880
2149.07/2690.18	o 1183841280
2149.16/2690.28	o 1183710208
2149.16/2690.28	o 1183644672
2149.16/2690.28	o 1183611904
2149.16/2690.28	o 1183595520
2149.16/2690.29	o 1183587328
2149.16/2690.29	o 1183583232
2149.16/2690.29	o 1183581184
2149.16/2690.29	o 1183580160
2149.26/2690.30	o 1183318016
2149.26/2690.31	o 1183186944
2149.26/2690.32	o 1183185920
2149.36/2690.42	o 1183120384
2149.36/2690.42	o 1183087616
2149.36/2690.43	o 1183071232
2149.36/2690.43	o 1183063040
2149.36/2690.43	o 1183058944
2149.36/2690.43	o 1183056896
2149.36/2690.43	o 1183055872
2149.36/2690.44	o 1183023104
2149.36/2690.44	o 1183022080
2414.31/2977.58	o 1182891008
2414.31/2977.58	o 1182825472
2414.31/2977.58	o 1182817280
2414.31/2977.58	o 1182813184
2414.31/2977.59	o 1182811136
2414.31/2977.59	o 1182810112
2414.31/2977.59	o 1182793728
2414.71/2977.95	o 1181745152
2414.71/2977.96	o 1181483008
2414.71/2977.96	o 1181417472
2414.71/2977.96	o 1181384704
2414.71/2977.97	o 1181383680
2414.82/2978.01	o 1180859392
2414.82/2978.02	o 1180728320
2415.20/2978.42	o 1180720128
2415.20/2978.42	o 1180716032
2415.20/2978.42	o 1180713984
2415.20/2978.43	o 1180712960
2415.20/2978.43	o 1180696576
2415.20/2978.48	o 1180565504
2415.20/2978.48	o 1180564480
2421.39/2984.62	o 1180548096
2421.39/2984.64	o 1180539904
2421.39/2984.66	o 1180535808
2421.39/2984.68	o 1180533760
2421.49/2984.70	o 1180532736
2421.49/2984.72	o 1180467200
2421.49/2984.75	o 1180434432
2421.49/2984.78	o 1180400640
2476.91/3048.05	o 1180384256
2477.01/3048.14	o 1180376064
2477.10/3048.23	o 1180371968
2477.20/3048.32	o 1180369920
2477.30/3048.41	o 1180368896
2477.40/3048.50	o 1180237824
2477.40/3048.59	o 1180236800
2526.62/3101.35	o 1180220416
2526.72/3101.48	o 1180212224
2526.92/3101.61	o 1180208128
2527.02/3101.73	o 1180206080
2527.12/3101.86	o 1180205056
2527.22/3101.98	o 1180172288
2527.43/3102.11	o 1180072960
2573.42/3152.56	o 1180064768
2696.23/3298.60	o 1180060672
2696.23/3298.60	o 1180058624
2696.23/3298.60	o 1180057600
2696.23/3298.60	o 1180041216
2696.23/3298.60	o 1179910144
2696.23/3298.61	o 1179909120
2696.52/3298.94	o 1179843584
2696.52/3298.95	o 1179810816
2696.52/3298.95	o 1179794432
2696.52/3298.95	o 1179786240
2696.52/3298.95	o 1179782144
2696.52/3298.96	o 1179780096
2696.52/3298.96	o 1179779072
2696.52/3298.96	o 1179648000
2696.52/3298.97	o 1178763264
2696.52/3298.97	o 1178762240
2696.52/3298.99	o 1178745856
2696.52/3299.00	o 1178737664
2696.62/3299.00	o 1178733568
2696.62/3299.00	o 1178731520
2696.62/3299.01	o 1178730496
2696.62/3299.01	o 1178599424
2698.42/3300.85	o 1177780224
2698.42/3300.86	o 1177779200
2698.42/3300.87	o 1177771008
2698.42/3300.88	o 1177766912
2698.42/3300.89	o 1177764864
2698.52/3300.90	o 1177763840
2698.52/3300.90	o 1177632768
2698.52/3300.91	o 1177615360
2698.62/3301.01	o 1177611264
2698.62/3301.02	o 1177609216
2698.62/3301.03	o 1177608192
2698.62/3301.04	o 1177575424
2698.62/3301.05	o 1177559040
2698.62/3301.06	o 1176632320
2698.62/3301.07	o 1176599552
2698.62/3301.08	o 1176583168
2698.62/3301.09	o 1176579072
2698.62/3301.10	o 1176577024
2698.72/3301.11	o 1176576000
2698.72/3301.11	o 1176510464
2698.72/3301.12	o 1176502272
2698.82/3301.21	o 1176305664
2698.82/3301.22	o 1176304640
2719.06/3321.52	o 1176296448
2719.06/3321.57	o 1176292352
2719.16/3321.62	o 1176290304
2719.16/3321.67	o 1176289280
2719.26/3321.72	o 1176256512
2719.26/3321.77	o 1176240128
2719.36/3321.81	o 1176141824
2719.36/3321.86	o 1176140800
2723.63/3326.76	o 1176009728
2723.73/3326.81	o 1175993344
2723.73/3326.87	o 1175985152
2723.83/3326.92	o 1175981056
2723.83/3326.97	o 1175979008
2723.93/3327.03	o 1175977984
2723.93/3327.08	o 1175650304
2724.03/3327.14	o 1175649280
2727.69/3330.82	o 1175616512
2727.69/3330.87	o 1175600128
2727.79/3330.93	o 1175591936
2727.79/3330.98	o 1175587840
2727.90/3331.04	o 1175585792
2727.90/3331.09	o 1175584768
2728.00/3331.14	o 1175486464
2728.09/3331.20	o 1175485440
2732.28/3335.42	o 1175481344
2732.28/3335.48	o 1175479296
2732.38/3335.54	o 1175478272
2732.48/3335.60	o 1175461888
2732.48/3335.66	o 1175453696
2732.68/3335.81	o 1174405120
2732.98/3336.15	o 1174010880
2956.43/3566.32	o 1173994496
2956.43/3566.32	o 1173986304
2956.43/3566.32	o 1173982208
2956.43/3566.32	o 1173980160
2956.43/3566.32	o 1173979136
2956.43/3566.33	o 1173913600
2956.43/3566.33	o 1173880832
2956.43/3566.38	o 1173847040
3082.53/3700.01	c Program interrupted by user.
3082.53/3700.01	s SATISFIABLE
3082.53/3700.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -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 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 x6631 x6632 x6633 x6634 x6635 -x6636 x6637 x6638 x6639 -x6640 x6641 x6642 x6643 x6644 x6645 -x6646 x6647 -x6648 -x6649 -x6650 x6651

Verifier Data 

OK	1173847040

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: 63968 MiB (60456 MiB free)
  memory of node 1: 64473 MiB (62614 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440633-1723986219/watcher-4440633-1723986219 -o /tmp/evaluation-result-4440633-1723986219/solver-4440633-1723986219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1723986219-891760 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440633-1723986219 --seed=827070195 HOME/instance-4440633-1723986219.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 419430400 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=891811, runsolver pid=891805
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 0.06 0.08 0.09 2/258 891823
/proc/meminfo: memFree=126022052/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 1078198272 123 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.206544 s]*
/proc/loadavg: 0.06 0.08 0.09 4/258 891823
/proc/meminfo: memFree=126021252/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 1078198272 123 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.305573 s]*
/proc/loadavg: 0.06 0.08 0.09 3/258 891823
/proc/meminfo: memFree=126020804/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 1078198272 123 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+0.700152 s]
/proc/loadavg: 0.06 0.08 0.09 3/258 891823
/proc/meminfo: memFree=126020236/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=25224 memory=2476 CPUtime=0 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 1078198272 123 0 0 0 0 0 0 0 20 0 1 0 165222151 25829376 619 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 6306 619 595 747 0 5369 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 2476 KiB

[startup+1.50023 s]
/proc/loadavg: 0.06 0.08 0.09 3/258 891823
/proc/meminfo: memFree=125985888/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=48896 memory=31744 CPUtime=0.5 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 6603 0 0 0 49 1 0 0 20 0 1 0 165222151 50069504 7936 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 12224 7936 850 747 0 11287 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 48896 KiB
Current children cumulated memory: 31744 KiB

[startup+3.10663 s]
/proc/loadavg: 0.06 0.08 0.09 6/258 891825
/proc/meminfo: memFree=125463096/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=62460 memory=50508 CPUtime=2.09 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 10058 0 0 0 206 3 0 0 20 0 1 0 165222151 63959040 12627 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 15615 12627 850 747 0 14678 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 62460 KiB
Current children cumulated memory: 50508 KiB
heavy processes:

[startup+6.30019 s]
/proc/loadavg: 0.37 0.15 0.11 6/258 891825
/proc/meminfo: memFree=124873572/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=95988 memory=88040 CPUtime=5.27 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 16097 0 0 0 517 10 0 0 20 0 1 0 165222151 98291712 22010 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 23997 22010 850 747 0 23060 0
Current children cumulated CPU time: 5.27 s
Current children cumulated vsize: 95988 KiB
Current children cumulated memory: 88040 KiB

[startup+12.7003 s]
/proc/loadavg: 0.66 0.21 0.13 1/261 891829
/proc/meminfo: memFree=123883020/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=162080 memory=152564 CPUtime=10.2 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 4194304 27778 0 0 0 1001 19 0 0 20 0 1 0 165222151 165969920 38141 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 40520 38141 850 747 0 39583 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 162080 KiB
Current children cumulated memory: 152564 KiB

[startup+25.5002 s]
/proc/loadavg: 1.55 0.43 0.20 6/261 891832
/proc/meminfo: memFree=122641560/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=361420 memory=290948 CPUtime=21.09 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 48228 0 0 0 2076 33 0 0 20 0 1 0 165222151 370094080 72737 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 334 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 90355 72737 850 747 0 89418 0
Current children cumulated CPU time: 21.09 s
Current children cumulated vsize: 361420 KiB
Current children cumulated memory: 290948 KiB

[startup+51.1065 s]
/proc/loadavg: 2.39 0.72 0.30 2/261 891835
/proc/meminfo: memFree=119584652/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=427924 memory=405640 CPUtime=38.61 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 4194304 66852 0 0 0 3811 50 0 0 20 0 1 0 165222151 438194176 101410 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 334 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 106981 101410 850 747 0 106044 0
Current children cumulated CPU time: 38.61 s
Current children cumulated vsize: 427924 KiB
Current children cumulated memory: 405640 KiB
heavy processes:

[startup+102.3 s]
/proc/loadavg: 3.35 1.24 0.51 6/259 891845
/proc/meminfo: memFree=118256980/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=614972 memory=485372 CPUtime=48.44 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 81238 0 0 0 4780 64 0 0 20 0 1 0 165222151 629731328 121343 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5272 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 153743 121343 850 747 0 152806 0
Current children cumulated CPU time: 48.44 s
Current children cumulated vsize: 614972 KiB
Current children cumulated memory: 485372 KiB
heavy processes:

[startup+162.3 s]
/proc/loadavg: 3.88 1.78 0.74 5/259 891855
/proc/meminfo: memFree=113910984/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=709116 memory=670104 CPUtime=103.15 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 4194304 105665 0 0 0 10210 105 0 0 20 0 1 0 165222151 726134784 167526 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 5728 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 177279 167526 850 747 0 176342 0
Current children cumulated CPU time: 103.15 s
Current children cumulated vsize: 709116 KiB
Current children cumulated memory: 670104 KiB
heavy processes:

[startup+222.3 s]
/proc/loadavg: 4.01 2.20 0.95 3/259 891866
/proc/meminfo: memFree=108162940/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=1183016 memory=996704 CPUtime=156.34 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 161690 0 0 0 15487 147 0 0 20 0 1 0 165222151 1211408384 249176 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6454 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 295754 249176 850 747 0 294817 0
Current children cumulated CPU time: 156.34 s
Current children cumulated vsize: 1183016 KiB
Current children cumulated memory: 996704 KiB
heavy processes:

[startup+282.3 s]
/proc/loadavg: 4.10 2.56 1.15 5/260 891878
/proc/meminfo: memFree=106272960/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=1269524 memory=1133984 CPUtime=192 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 183274 0 0 0 19011 189 0 0 20 0 1 0 165222151 1299992576 283496 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8878 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 317381 283496 850 747 0 316444 0
Current children cumulated CPU time: 192 s
Current children cumulated vsize: 1269524 KiB
Current children cumulated memory: 1133984 KiB
heavy processes:

[startup+342.3 s]
/proc/loadavg: 4.13 2.85 1.35 1/260 891893
/proc/meminfo: memFree=104986044/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=1269524 memory=1133984 CPUtime=194.82 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 4194304 183275 0 0 0 19293 189 0 0 20 0 1 0 165222151 1299992576 283496 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 8878 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 317381 283496 850 747 0 316444 0
Current children cumulated CPU time: 194.82 s
Current children cumulated vsize: 1269524 KiB
Current children cumulated memory: 1133984 KiB
heavy processes:

[startup+402.3 s]
/proc/loadavg: 4.10 3.08 1.52 6/260 891906
/proc/meminfo: memFree=102697716/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=1270612 memory=1134924 CPUtime=216.73 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 183602 0 0 0 21466 207 0 0 20 0 1 0 165222151 1301106688 283731 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 18397 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 317653 283731 850 747 0 316716 0
Current children cumulated CPU time: 216.73 s
Current children cumulated vsize: 1270612 KiB
Current children cumulated memory: 1134924 KiB

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

Current children cumulated memory: 1218080 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.15 4.04 5/259 892996
/proc/meminfo: memFree=549568/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2419.1 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 205016 0 0 0 240066 1844 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 55550 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2419.1 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.04 5/260 893007
/proc/meminfo: memFree=650276/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2471.21 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 205342 0 0 0 245244 1877 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 56323 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2471.21 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.04 6/262 893403
/proc/meminfo: memFree=542320/131524600 swapFree=131071996/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2527.62 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 205864 0 0 0 250861 1901 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 56666 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2527.62 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.15 4.05 6/261 893414
/proc/meminfo: memFree=663512/131524600 swapFree=131071984/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2582 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 206151 0 0 0 256264 1936 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 57214 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2582 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3222.3 s]
/proc/loadavg: 4.35 4.19 4.07 4/261 893424
/proc/meminfo: memFree=609264/131524600 swapFree=131071984/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2635.6 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 4194304 206616 0 0 0 261562 1998 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 57700 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2635.6 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.38 4.22 4.09 4/262 893605
/proc/meminfo: memFree=552240/131524600 swapFree=131071984/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2684.89 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 206885 0 0 0 266464 2025 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 58894 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2684.89 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.21 4.09 4/261 893616
/proc/meminfo: memFree=575796/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2739.16 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 207337 0 0 0 271835 2081 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 59448 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2739.16 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.23 4.10 3/264 893631
/proc/meminfo: memFree=570000/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2798.33 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 207767 0 0 0 277726 2107 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 59518 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2798.33 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.21 4.10 6/263 893653
/proc/meminfo: memFree=675728/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2856.31 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 208293 0 0 0 283480 2151 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 59706 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2856.31 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.10 6/265 893666
/proc/meminfo: memFree=574268/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2913.95 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 208631 0 0 0 289191 2204 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 59928 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.10 6/266 893678
/proc/meminfo: memFree=616600/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=2969.2 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 209029 0 0 0 294656 2264 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 60391 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 2969.2 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

[startup+3642.3 s]
/proc/loadavg: 4.19 4.19 4.10 6/265 893688
/proc/meminfo: memFree=536344/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=3026.86 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 209369 0 0 0 300391 2295 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 60611 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 3026.86 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.21 4.20 4.11 6/264 893698
/proc/meminfo: memFree=500644/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=1291456 memory=1218080 CPUtime=3082.53 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) R 891805 891811 891749 0 -1 4194304 209904 0 0 0 305937 2316 0 0 20 0 1 0 165222151 1322450944 304520 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 60799 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 322864 304520 850 747 0 321927 0
Current children cumulated CPU time: 3082.53 s
Current children cumulated vsize: 1291456 KiB
Current children cumulated memory: 1218080 KiB

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

[startup+3700.24 s]
# the end of solver process 891811 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3059.39 s, system=23.1736 s

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

[startup+3700.2 s]
/proc/loadavg: 4.21 4.20 4.11 6/264 893698
/proc/meminfo: memFree=500644/131524600 swapFree=131071728/131071996
[pid=891811] ppid=891805 vsize=213856 memory=209436 CPUtime=3082.56 cores=4,6
/proc/891811/stat : 891811 (Exact_veripb2_n) D 891805 891811 891749 0 -1 1077936128 209904 0 0 0 305939 2317 0 0 20 0 1 0 165222151 218988544 52359 134679101440 4194304 7250417 140734069689152 0 0 0 0 0 8404994 0 0 0 17 6 0 0 60818 0 0 7950792 8015128 30167040 140734069691189 140734069691477 140734069691477 140734069698494 0
/proc/891811/statm: 53464 52359 850 747 0 52527 0
Current children cumulated CPU time: 3082.56 s
Current children cumulated vsize: 213856 KiB
Current children cumulated memory: 209436 KiB

Child status: 10

Real time (s): 3700.24
CPU time (s): 3082.57
CPU user time (s): 3059.39
CPU system time (s): 23.1736
CPU usage (%): 83.3073
Max. virtual memory (cumulated for all children) (KiB): 1291456
Max. memory (cumulated for all children) (KiB): 1218080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3059.39
system time used= 23.1736
maximum resident set size= 1218080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209904
page faults= 1
swaps= 0
block input operations= 2512
block output operations= 91161968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 513
involuntary context switches= 5010


# summary of solver processes directly reported to runsolver:
#   pid: 891811
#   total CPU time (s): 3082.57
#   total CPU user time (s): 3059.39
#   total CPU system time (s): 23.1736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81979 second user time and 21.7972 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-08-18 15:03:39
IDJOB=4440633
IDBENCH=146783
IDSOLVER=3080
FILE ID=nodeC026/4440633-1723986219
RUNJOBID= nodeC026-1723986219-891760
SLURM_JOB_ID= 8268150
Free space on /tmp= 890080 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 409600 -w /tmp/evaluation-result-4440633-1723986219/watcher-4440633-1723986219 -o /tmp/evaluation-result-4440633-1723986219/solver-4440633-1723986219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1723986219-891760 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440633-1723986219 --seed=827070195 HOME/instance-4440633-1723986219.opb

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

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=827070195

nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3455.593
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
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		: 3279.296
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
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		: 3175.007
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
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		: 3625.900
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
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		: 3300.429
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
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		: 3535.686
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
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		: 3107.762
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.59
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		: 3341.628
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126024916 kB
MemAvailable:   129747896 kB
Buffers:          396424 kB
Cached:          4169908 kB
SwapCached:            0 kB
Active:           852000 kB
Inactive:        4047680 kB
Active(anon):       1428 kB
Inactive(anon):   377968 kB
Active(file):     850572 kB
Inactive(file):  3669712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             31388 kB
Writeback:             0 kB
AnonPages:        331208 kB
Mapped:           109468 kB
Shmem:             45912 kB
KReclaimable:      85036 kB
Slab:             194964 kB
SReclaimable:      85036 kB
SUnreclaim:       109928 kB
KernelStack:        3888 kB
PageTables:         9928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     701756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      303828 kB
DirectMap2M:    36169728 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC026 at 2024-08-18 16:05:20