Trace number 4101341

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
Sat4j PB 2.3.6 Resolution PB16No Cert. 1800.09 1776.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb
MD5SUMc2512385eceb0464b223bc1effdca67c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7962
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6502
Optimality of the best value was proved YES
Number of variables10757
Total number of constraints124
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3861
Number of terms in the objective function 10757
Biggest coefficient in the objective function 263
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 529632
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 263
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 529632
Number of bits of the biggest sum of numbers20
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4101341-1466222247.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.72/0.43	c ... done. Wall clock time 0.327s.
0.72/0.43	c declared #vars     10757
0.72/0.44	c #constraints  248
0.72/0.44	c constraints type 
0.72/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 122
0.72/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 122
0.72/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
0.72/0.44	c 248 constraints processed.
0.72/0.44	c objective function length is 10757 literals
1.31/0.78	c SATISFIABLE
1.31/0.78	c OPTIMIZING...
1.31/0.78	c Got one! Elapsed wall clock time (in seconds):0.672
1.31/0.78	o 9642
3.70/2.79	c cleaning 2821 clauses out of 5646 with flag 27027/5646
6.38/5.35	c cleaning 4413 clauses out of 8825 with flag 73709/11646
9.47/8.35	c cleaning 5703 clauses out of 11409 with flag 143137/18643
12.89/11.67	c cleaning 6831 clauses out of 13706 with flag 219323/26643
15.90/14.61	c cleaning 7851 clauses out of 15875 with flag 297055/35643
20.54/18.94	c cleaning 9007 clauses out of 18026 with flag 421629/45645
21.74/20.17	c Got one! Elapsed wall clock time (in seconds):20.064
21.74/20.17	o 9545
22.52/20.88	c cleaning 7289 clauses out of 14669 with flag 11858/51295
25.14/23.24	c cleaning 6645 clauses out of 13377 with flag 60906/57292
28.52/26.11	c cleaning 6856 clauses out of 13732 with flag 114540/64292
32.73/30.31	c cleaning 7430 clauses out of 14876 with flag 171840/72292
36.33/33.89	c cleaning 8190 clauses out of 16446 with flag 230903/81292
40.13/37.61	c cleaning 9082 clauses out of 18256 with flag 311712/91292
44.14/41.68	c cleaning 10069 clauses out of 20174 with flag 396995/102292
48.34/45.80	c cleaning 11042 clauses out of 22105 with flag 504008/114292
54.29/51.31	c cleaning 12019 clauses out of 24063 with flag 627220/127292
60.49/57.56	c cleaning 13019 clauses out of 26046 with flag 820748/141294
67.19/64.26	c cleaning 14003 clauses out of 28025 with flag 1006502/156292
73.09/70.16	c cleaning 14984 clauses out of 30023 with flag 1195411/172293
80.96/77.49	c cleaning 15964 clauses out of 32038 with flag 1321428/189292
87.86/84.30	c cleaning 17016 clauses out of 34074 with flag 1469093/207292
89.06/85.59	c Got one! Elapsed wall clock time (in seconds):85.481
89.06/85.59	o 9538
90.00/86.48	c cleaning 11461 clauses out of 22942 with flag 14163/213176
93.30/89.78	c cleaning 8720 clauses out of 17480 with flag 54819/219175
96.60/93.07	c cleaning 7871 clauses out of 15760 with flag 113836/226175
99.50/95.98	c cleaning 7944 clauses out of 15890 with flag 178454/234176
102.61/99.04	c cleaning 8447 clauses out of 16945 with flag 265854/243175
106.50/102.99	c cleaning 9144 clauses out of 18498 with flag 332527/253175
110.60/107.02	c cleaning 10161 clauses out of 20354 with flag 413487/264175
117.46/113.12	c cleaning 11093 clauses out of 22193 with flag 510190/276175
121.96/117.62	c cleaning 11973 clauses out of 24100 with flag 633950/289175
127.96/123.60	c cleaning 13053 clauses out of 26130 with flag 772936/303178
133.86/129.54	c cleaning 14021 clauses out of 28075 with flag 931479/318176
141.06/136.02	c cleaning 15014 clauses out of 30053 with flag 1103574/334175
147.66/142.63	c cleaning 16000 clauses out of 32039 with flag 1261974/351175
154.86/149.83	c cleaning 17009 clauses out of 34039 with flag 1447558/369175
162.96/157.95	c cleaning 18007 clauses out of 36030 with flag 1606876/388175
171.76/166.71	c cleaning 18900 clauses out of 38023 with flag 1809986/408175
174.47/169.45	c Got one! Elapsed wall clock time (in seconds):169.34
174.47/169.45	o 9244
174.47/169.49	c Got one! Elapsed wall clock time (in seconds):169.385
174.47/169.49	o 9100
176.29/171.27	c cleaning 15759 clauses out of 31602 with flag 49457/420654
178.39/173.33	c cleaning 10862 clauses out of 21845 with flag 127409/426656
180.89/175.81	c cleaning 8974 clauses out of 17981 with flag 190857/433654
184.19/179.13	c cleaning 8476 clauses out of 17007 with flag 255009/441654
187.49/182.47	c cleaning 8745 clauses out of 17536 with flag 315580/450659
191.69/186.67	c cleaning 9335 clauses out of 18786 with flag 395417/460654
197.41/191.47	c cleaning 10177 clauses out of 20451 with flag 507033/471654
202.50/196.51	c cleaning 11129 clauses out of 22279 with flag 616215/483659
208.00/202.07	c cleaning 12071 clauses out of 24147 with flag 750283/496656
213.70/207.74	c cleaning 12989 clauses out of 26074 with flag 892272/510654
219.60/213.66	c cleaning 14012 clauses out of 28085 with flag 1027260/525654
226.30/220.31	c cleaning 15025 clauses out of 30073 with flag 1212377/541654
233.00/227.04	c cleaning 16001 clauses out of 32049 with flag 1499670/558655
238.71/232.77	c Got one! Elapsed wall clock time (in seconds):232.664
238.71/232.77	o 9088
240.51/234.52	c cleaning 18668 clauses out of 37363 with flag 50064/579970
243.11/237.20	c cleaning 12288 clauses out of 24696 with flag 108991/585971
245.71/239.78	c cleaning 9668 clauses out of 19407 with flag 157347/592970
249.69/243.29	c cleaning 8844 clauses out of 17739 with flag 230507/600970
253.78/247.38	c cleaning 8853 clauses out of 17895 with flag 299437/609970
257.48/251.01	c cleaning 9508 clauses out of 19042 with flag 398960/619970
261.69/255.22	c cleaning 10254 clauses out of 20536 with flag 475975/630972
266.19/259.71	c cleaning 11132 clauses out of 22280 with flag 593921/642970
270.80/264.33	c cleaning 12067 clauses out of 24148 with flag 747978/655970
275.70/269.24	c cleaning 13023 clauses out of 26081 with flag 877783/669970
281.52/275.08	c cleaning 14027 clauses out of 28059 with flag 1022477/684971
287.71/281.24	c cleaning 15013 clauses out of 30034 with flag 1171953/700973
295.41/288.92	c cleaning 16005 clauses out of 32020 with flag 1327733/717972
303.25/296.21	c cleaning 16983 clauses out of 34013 with flag 1550613/735970
310.95/303.97	c cleaning 18011 clauses out of 36030 with flag 1760226/754970
320.05/313.06	c cleaning 18978 clauses out of 38019 with flag 1971279/774970
325.95/319.00	c Got one! Elapsed wall clock time (in seconds):318.895
325.95/319.00	o 8824
328.15/321.11	c cleaning 19366 clauses out of 38770 with flag 53804/794699
330.85/323.85	c cleaning 12687 clauses out of 25404 with flag 106892/800699
333.25/326.29	c cleaning 9845 clauses out of 19717 with flag 181198/807699
336.24/329.25	c cleaning 8918 clauses out of 17873 with flag 247562/815700
339.65/332.68	c cleaning 8974 clauses out of 17958 with flag 321535/824703
343.25/336.21	c cleaning 9473 clauses out of 18982 with flag 399666/834701
347.15/340.12	c cleaning 10247 clauses out of 20507 with flag 483383/845699
351.95/344.95	c cleaning 11116 clauses out of 22260 with flag 591272/857699
357.61/350.35	c cleaning 12066 clauses out of 24147 with flag 719307/870702
363.11/355.83	c cleaning 13026 clauses out of 26078 with flag 971241/884699
368.51/361.25	c cleaning 13997 clauses out of 28053 with flag 1237356/899700
374.51/367.24	c cleaning 15015 clauses out of 30056 with flag 1432756/915700
380.51/373.22	c cleaning 15987 clauses out of 32042 with flag 1596501/932701
388.60/381.35	c cleaning 17008 clauses out of 34054 with flag 1779386/950700
397.40/390.15	c cleaning 18002 clauses out of 36045 with flag 1960357/969699
405.99/398.28	c cleaning 19008 clauses out of 38044 with flag 2131486/989700
417.09/409.34	c cleaning 19946 clauses out of 40035 with flag 2290402/1010699
426.48/418.74	c cleaning 20992 clauses out of 42089 with flag 2497658/1032699
436.78/429.00	c cleaning 22031 clauses out of 44097 with flag 2706518/1055699
439.18/431.41	c Got one! Elapsed wall clock time (in seconds):431.297
439.18/431.41	o 8668
439.18/431.48	c Got one! Elapsed wall clock time (in seconds):431.369
439.18/431.48	o 8224
441.07/433.35	c cleaning 16268 clauses out of 32541 with flag 45716/1066174
442.97/435.21	c cleaning 11117 clauses out of 22274 with flag 110423/1072175
444.87/437.19	c cleaning 9072 clauses out of 18156 with flag 180400/1079174
447.78/440.03	c cleaning 8499 clauses out of 17084 with flag 292307/1087174
451.93/443.96	c cleaning 8786 clauses out of 17587 with flag 439370/1096176
455.53/447.53	c cleaning 9385 clauses out of 18800 with flag 538871/1106175
458.93/450.92	c cleaning 10191 clauses out of 20414 with flag 659677/1117174
462.93/454.96	c cleaning 11068 clauses out of 22226 with flag 823566/1129177
467.63/459.65	c cleaning 12057 clauses out of 24155 with flag 1044767/1142174
472.93/464.94	c cleaning 13000 clauses out of 26098 with flag 1218884/1156174
479.32/471.37	c cleaning 14050 clauses out of 28100 with flag 1342162/1171176
487.85/479.44	c cleaning 15006 clauses out of 30050 with flag 1511274/1187176
496.15/487.78	c cleaning 15990 clauses out of 32046 with flag 1702671/1204178
504.94/496.59	c cleaning 16989 clauses out of 34054 with flag 1970497/1222176
513.84/505.49	c cleaning 18029 clauses out of 36067 with flag 2213231/1241178
522.18/513.54	c cleaning 19018 clauses out of 38036 with flag 2391709/1261176
530.58/521.98	c cleaning 19978 clauses out of 40016 with flag 2633100/1282174
538.89/530.30	c cleaning 21013 clauses out of 42039 with flag 2859954/1304175
549.08/540.44	c cleaning 22013 clauses out of 44027 with flag 3095704/1327176
559.59/550.41	c cleaning 22953 clauses out of 46013 with flag 3344768/1351175
570.39/561.24	c cleaning 24007 clauses out of 48059 with flag 3613951/1376174
581.29/572.18	c cleaning 25013 clauses out of 50054 with flag 3847919/1402176
592.48/583.34	c cleaning 25895 clauses out of 52039 with flag 4127347/1429174
604.14/594.61	c cleaning 27072 clauses out of 54149 with flag 4395257/1457179
615.34/605.86	c cleaning 28016 clauses out of 56072 with flag 4792394/1486174
627.14/617.66	c cleaning 29029 clauses out of 58057 with flag 5180576/1516175
639.34/629.82	c cleaning 29992 clauses out of 60028 with flag 5632838/1547175
654.78/644.73	c cleaning 30997 clauses out of 62035 with flag 6010798/1579174
668.78/658.76	c cleaning 31923 clauses out of 64039 with flag 6451616/1612175
683.08/672.75	c cleaning 33034 clauses out of 66115 with flag 6907324/1646174
698.08/687.79	c cleaning 34017 clauses out of 68081 with flag 7466567/1681174
713.77/703.44	c cleaning 34958 clauses out of 70064 with flag 7937686/1717174
731.56/720.86	c cleaning 36043 clauses out of 72106 with flag 8442067/1754174
747.96/737.27	c cleaning 37022 clauses out of 74063 with flag 9029930/1792174
763.97/753.08	c cleaning 37999 clauses out of 76043 with flag 9501247/1831176
781.47/770.58	c cleaning 39007 clauses out of 78042 with flag 9978881/1871174
798.61/787.33	c cleaning 39989 clauses out of 80036 with flag 10462757/1912175
818.22/806.67	c cleaning 40991 clauses out of 82050 with flag 11048705/1954178
838.72/827.19	c cleaning 41953 clauses out of 84055 with flag 11665395/1997174
863.02/851.10	c cleaning 43034 clauses out of 86102 with flag 12404800/2041174
886.68/874.44	c cleaning 44019 clauses out of 88070 with flag 13129132/2086176
909.02/896.31	c cleaning 44873 clauses out of 90049 with flag 13657920/2132174
932.23/919.21	c cleaning 46046 clauses out of 92176 with flag 14222128/2179174
954.91/941.31	c cleaning 47023 clauses out of 94132 with flag 14759288/2227176
977.21/963.66	c cleaning 48028 clauses out of 96107 with flag 15479884/2276174
998.56/984.84	c cleaning 49026 clauses out of 98081 with flag 16235591/2326176
1024.85/1010.83	c cleaning 49995 clauses out of 100054 with flag 16932617/2377175
1052.60/1037.96	c cleaning 51003 clauses out of 102061 with flag 18161407/2429177
1076.77/1061.95	c cleaning 52002 clauses out of 104058 with flag 18925869/2482177
1105.77/1090.64	c cleaning 53015 clauses out of 106053 with flag 19820856/2536174
1133.31/1117.68	c cleaning 53978 clauses out of 108038 with flag 20550753/2591174
1162.94/1146.90	c cleaning 55008 clauses out of 110060 with flag 21341558/2647174
1191.97/1175.65	c cleaning 55984 clauses out of 112053 with flag 22347185/2704175
1220.06/1203.48	c cleaning 57021 clauses out of 114071 with flag 23090063/2762177
1249.01/1231.98	c cleaning 58008 clauses out of 116047 with flag 24101385/2821174
1282.01/1264.64	c cleaning 59014 clauses out of 118039 with flag 24987772/2881174
1311.60/1293.75	c cleaning 59997 clauses out of 120026 with flag 25945968/2942175
1331.28/1313.22	c Got one! Elapsed wall clock time (in seconds):1313.11
1331.28/1313.22	o 8223
1334.38/1316.30	c cleaning 53951 clauses out of 107923 with flag 56358/2990069
1336.88/1318.86	c cleaning 29958 clauses out of 59970 with flag 149902/2996067
1339.38/1321.38	c cleaning 18410 clauses out of 37011 with flag 231988/3003066
1342.70/1324.57	c cleaning 13278 clauses out of 26603 with flag 333321/3011068
1345.79/1327.66	c cleaning 11038 clauses out of 22326 with flag 418430/3020069
1350.29/1332.14	c cleaning 10583 clauses out of 21285 with flag 480111/3030066
1354.49/1336.34	c cleaning 10837 clauses out of 21702 with flag 557495/3041066
1359.97/1341.79	c cleaning 11407 clauses out of 22865 with flag 654968/3053066
1365.97/1347.72	c cleaning 12197 clauses out of 24458 with flag 778000/3066066
1371.47/1353.25	c cleaning 13004 clauses out of 26262 with flag 897200/3080067
1377.93/1359.61	c cleaning 14006 clauses out of 28257 with flag 1048812/3095066
1384.12/1365.83	c cleaning 15078 clauses out of 30251 with flag 1206640/3111066
1391.41/1373.02	c cleaning 16084 clauses out of 32175 with flag 1336800/3128068
1397.11/1378.78	c Got one! Elapsed wall clock time (in seconds):1378.672
1397.11/1378.78	o 8070
1399.51/1381.11	c cleaning 18533 clauses out of 37135 with flag 56084/3149112
1401.56/1383.20	c cleaning 12259 clauses out of 24602 with flag 130216/3155112
1404.57/1386.13	c cleaning 9610 clauses out of 19344 with flag 215948/3162113
1408.16/1389.72	c cleaning 8823 clauses out of 17737 with flag 291068/3170116
1412.15/1393.66	c cleaning 8904 clauses out of 17910 with flag 363606/3179112
1416.66/1398.18	c cleaning 9458 clauses out of 19006 with flag 466786/3189112
1420.75/1402.25	c cleaning 10262 clauses out of 20548 with flag 567548/3200112
1426.13/1407.50	c cleaning 11108 clauses out of 22286 with flag 660079/3212112
1431.13/1412.51	c cleaning 12077 clauses out of 24180 with flag 768954/3225114
1436.43/1417.80	c cleaning 13042 clauses out of 26101 with flag 945266/3239112
1443.01/1424.30	c cleaning 14031 clauses out of 28062 with flag 1061370/3254115
1449.21/1430.51	c cleaning 15009 clauses out of 30029 with flag 1191765/3270113
1455.68/1436.94	c cleaning 15998 clauses out of 32019 with flag 1373451/3287112
1464.57/1445.71	c cleaning 16982 clauses out of 34024 with flag 1506282/3305115
1474.37/1455.31	c cleaning 18006 clauses out of 36041 with flag 1663035/3324114
1483.97/1464.69	c cleaning 18981 clauses out of 38034 with flag 1827554/3344113
1494.94/1475.35	c cleaning 20002 clauses out of 40053 with flag 2050462/3365113
1505.98/1486.21	c cleaning 21013 clauses out of 42050 with flag 2301845/3387112
1516.28/1496.46	c cleaning 21996 clauses out of 44038 with flag 2602201/3410113
1526.40/1506.40	c cleaning 22944 clauses out of 46042 with flag 2820538/3434113
1538.04/1517.90	c cleaning 24030 clauses out of 48098 with flag 3045878/3459113
1551.23/1530.91	c cleaning 24994 clauses out of 50067 with flag 3352545/3485112
1563.69/1543.30	c cleaning 25999 clauses out of 52074 with flag 3613631/3512113
1575.69/1555.16	c cleaning 27026 clauses out of 54077 with flag 3903465/3540115
1588.00/1567.26	c cleaning 28019 clauses out of 56048 with flag 4227161/3569112
1600.06/1579.04	c cleaning 28972 clauses out of 58029 with flag 4686768/3599112
1613.50/1592.30	c cleaning 30005 clauses out of 60057 with flag 5166366/3630112
1626.26/1604.92	c cleaning 31023 clauses out of 62053 with flag 5549347/3662113
1641.46/1619.86	c cleaning 32005 clauses out of 64031 with flag 5932985/3695114
1661.90/1639.97	c cleaning 32973 clauses out of 66025 with flag 6261237/3729113
1678.85/1656.67	c cleaning 34021 clauses out of 68054 with flag 6669388/3764115
1693.71/1671.23	c cleaning 34946 clauses out of 70034 with flag 7099792/3800116
1710.49/1687.62	c cleaning 35984 clauses out of 72089 with flag 7554171/3837117
1727.78/1704.79	c cleaning 37033 clauses out of 74100 with flag 8016743/3875112
1744.39/1721.18	c cleaning 38018 clauses out of 76068 with flag 8455891/3914113
1761.93/1738.59	c cleaning 38880 clauses out of 78051 with flag 8980062/3954114
1767.32/1743.89	c Got one! Elapsed wall clock time (in seconds):1743.778
1767.32/1743.89	o 8067
1769.12/1745.70	c cleaning 29019 clauses out of 58152 with flag 64047/3973095
1771.48/1747.94	c cleaning 17560 clauses out of 35133 with flag 136823/3979095
1773.87/1750.36	c cleaning 12198 clauses out of 24576 with flag 225553/3986098
1776.83/1753.22	c cleaning 10158 clauses out of 20375 with flag 283737/3994095
1779.72/1756.11	c cleaning 9521 clauses out of 19217 with flag 347008/4003095
1783.16/1759.59	c cleaning 9811 clauses out of 19696 with flag 423927/4013095
1788.07/1764.45	c cleaning 10383 clauses out of 20886 with flag 509319/4024096
1792.56/1768.87	c cleaning 11204 clauses out of 22502 with flag 660496/4036095
1797.16/1773.45	c cleaning 12148 clauses out of 24302 with flag 767898/4049099
1800.09/1776.30	c starts		: 6479
1800.09/1776.30	c conflicts		: 4056455
1800.09/1776.30	c decisions		: 42070295
1800.09/1776.30	c propagations		: 573618389
1800.09/1776.30	c inspects		: 5160481687
1800.09/1776.30	c shortcuts		: 0
1800.09/1776.30	c learnt literals	: 0
1800.09/1776.30	c learnt binary clauses	: 655
1800.09/1776.30	c learnt ternary clauses	: 1829
1800.09/1776.30	c learnt constraints	: 4056455
1800.09/1776.30	c ignored constraints	: 0
1800.09/1776.30	c root simplifications	: 0
1800.09/1776.30	c removed literals (reason simplification)	: 0
1800.09/1776.30	c reason swapping (by a shorter reason)	: 0
1800.09/1776.30	c Calls to reduceDB	: 199
1800.09/1776.30	c Number of update (reduction) of LBD	: 3076490
1800.09/1776.30	c Imported unit clauses	: 0
1800.09/1776.30	c number of reductions to clauses (during analyze)	: 0
1800.09/1776.30	c number of learned constraints concerned by reduction	: 0
1800.09/1776.30	c number of learning phase by resolution	: 0
1800.09/1776.30	c number of learning phase by cutting planes	: 0
1800.09/1776.30	c speed (assignments/second)	: 323013.15493097337
1800.09/1776.30	c non guided choices	19209
1800.09/1776.31	c learnt constraints type 
1800.09/1776.31	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 655
1800.09/1776.31	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18855
1800.09/1776.31	s SATISFIABLE
1800.09/1776.31	c Found 12 solution(s)
1800.09/1776.32	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 -xc timeout
1800.09/1776.33	2181 -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 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 x10752 -x10753 -x10754 -x10755 -x10756 -x10757 
1800.09/1776.33	c objective function=8067
1800.09/1776.33	c Total wall clock time (in seconds): 1776.227

Verifier Data

FAILED
ERROR: unsatisfied constraint on line 53
	0=1

Falsified constraint is:
+1*x189[=0] +1*x190[=0] +1*x616[=0] +1*x617[=0] +1*x618[=0] +1*x619[=0] +1*x620[=0] +1*x798[=0] +1*x799[=0] +1*x800[=0] +1*x801[=0] +1*x802[=0] +1*x803[=0] +1*x804[=0] +1*x805[=0] +1*x806[=0] +1*x1493[=0] +1*x1686[=0] +1*x2098[=0] +1*x2099[=0] +1*x2100[=0] +1*x2101[=0] +1*x2102[=0] +1*x2103[=0] +1*x2104[=0] +1*x2105[=0] +1*x2106[=0] +1*x2107[=0] +1*x2108[=0] +1*x2109[=0] +1*x2110[=0] +1*x2111[=0] +1*x2112[=0] +1*x2113[=0] +1*x2114[=0] +1*x2115[=0] +1*x2116[=0] +1*x2117[=0] +1*x2118[=0] +1*x2119[=0] +1*x2120[=0] +1*x2121[=0] +1*x2122[=0] +1*x2123[=0] +1*x2124[=0] +1*x2125[=0] +1*x2126[=0] +1*x2127[=0] +1*x2128[=0] +1*x2129[=0] +1*x2130[=0] +1*x2131[=0] +1*x2132[=0] +1*x2133[=0] +1*x2134[=0] +1*x2135[=0] +1*x2136[=0] +1*x2137[=0] +1*x2138[=0] +1*x2139[=0] +1*x2140[=0] +1*x2141[=0] +1*x2142[=0] +1*x2143[=0] +1*x2144[=0] +1*x2145[=0] +1*x2146[=0] +1*x2147[=0] +1*x2148[=0] +1*x2149[=0] +1*x2150[=0] +1*x2151[=0] +1*x2152[=0] +1*x2153[=0] +1*x2154[=0] +1*x2155[=0] +1*x2156[=0] +1*x2157[=0] +1*x2158[=0] +1*x2159[=0] +1*x2160[=0] +1*x2161[=0] +1*x2162[=0] +1*x2163[=0] +1*x2164[=0] +1*x2165[=0] +1*x2166[=0] +1*x2167[=0] +1*x2168[=0] +1*x2169[=0] +1*x2170[=0] +1*x2171[=0] +1*x2172[=0] +1*x2173[=0] +1*x2174[=0] +1*x2175[=0] +1*x2176[=0] +1*x2177[=0] +1*x2178[=0] +1*x2179[=0] +1*x2180[=0] +1*x2181[=0] +1*x2182[=0] +1*x2183[=0] +1*x2184[=0] +1*x2185[=0] +1*x2186[=0] +1*x2187[=0] +1*x2188[=0] +1*x2189[=0] +1*x2190[=0] +1*x2191[=0] +1*x2192[=0] +1*x2193[=0] +1*x2194[=0] +1*x2195[=0] +1*x2196[=0] +1*x2197[=0] +1*x2198[=0] +1*x2199[=0] +1*x2200[=0] +1*x2201[=0] +1*x2202[=0] +1*x2203[=0] +1*x2204[=0] +1*x2205[=0] +1*x2206[=0] +1*x2207[=0] +1*x2208[=0] +1*x2209[=0] +1*x2210[=0] +1*x2211[=0] +1*x2212[=0] +1*x2213[=0] +1*x2214[=0] +1*x2215[=0] +1*x2216[=0] +1*x2217[=0] +1*x2218[=0] +1*x2219[=0] +1*x2220[=0] +1*x2221[=0] +1*x2222[=0] +1*x2223[=0] +1*x2224[=0] +1*x2225[=0] +1*x2226[=0] +1*x2227[=0] +1*x2228[=0] +1*x2229[=0] +1*x2230[=0] +1*x2231[=0] +1*x2232[=0] +1*x2233[=0] +1*x2234[=0] +1*x2235[=0] +1*x2236[=0] +1*x2237[=0] +1*x2238[=0] +1*x2239[=0] +1*x2240[=0] +1*x2241[=0] +1*x2242[=0] +1*x2243[=0] +1*x2244[=0] +1*x2245[=0] +1*x2246[=0] +1*x2247[=0] +1*x2248[=0] +1*x2249[=0] +1*x2250[=0] +1*x2251[=0] +1*x2252[=0] +1*x2253[=0] +1*x2254[=0] +1*x2255[=0] +1*x2256[=0] +1*x2257[=0] +1*x2258[=0] +1*x2259[=0] +1*x2260[=0] +1*x2261[=0] +1*x2262[=0] +1*x2263[=0] +1*x2264[=0] +1*x2265[=0] +1*x2266[=0] +1*x2267[=0] +1*x2268[=0] +1*x2269[=0] +1*x2270[=0] +1*x2271[=0] +1*x2272[=0] +1*x2273[=0] +1*x2274[=0] +1*x2275[=0] +1*x2276[=0] +1*x2277[=0] +1*x2278[=0] +1*x2279[=0] +1*x2280[=0] +1*x2281[=0] +1*x2282[=0] +1*x2283[=0] +1*x2284[=0] +1*x2285[=0] +1*x2286[=0] +1*x2287[=0] +1*x2288[=0] +1*x2289[=0] +1*x2290[=0] +1*x2291[=0] +1*x2292[=0] +1*x2293[=0] +1*x2294[=0] +1*x2295[=0] +1*x2296[=0] +1*x2297[=0] +1*x2298[=0] +1*x2299[=0] +1*x2300[=0] +1*x2301[=0] +1*x2302[=0] +1*x2303[=0] +1*x2304[=0] = 1 

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101341-1466222247/watcher-4101341-1466222247 -o /tmp/evaluation-result-4101341-1466222247/solver-4101341-1466222247 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101341-1466222247.opb 

pid=5053
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 5056
/proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 24275245 98570240 978 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 24065 978 744 9 0 16771 0
[pid=5056/tid=5057] ppid=5053 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 24275246 98570240 978 33554432000 1073741824 1073778376 140733656988032 139895109815848 249650038144 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 5056
/proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 4414 0 1 0 8 2 0 0 20 0 18 0 24275245 9787879424 6044 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2389619 6048 2131 9 0 2380296 0
[pid=5056/tid=5057] ppid=5053 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2379 0 1 0 6 1 0 0 20 0 18 0 24275246 9787879424 6048 33554432000 1073741824 1073778376 140733656988032 139895109819296 249653421325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200352 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 5056
/proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 4991 0 1 0 28 2 0 0 20 0 18 0 24275245 9787879424 6990 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2389619 6990 2222 9 0 2380296 0
[pid=5056/tid=5057] ppid=5053 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2396 0 1 0 16 1 0 0 20 0 18 0 24275246 9787879424 6990 33554432000 1073741824 1073778376 140733656988032 139895109813144 139894953428481 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300366 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 5056
/proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 7254 0 1 0 51 3 0 0 20 0 18 0 24275245 9787879424 12514 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2389619 12514 2234 9 0 2380296 0
[pid=5056/tid=5057] ppid=5053 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 18 0 24275246 9787879424 12514 33554432000 1073741824 1073778376 140733656988032 139895109797760 139894953872786 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700284 s]
/proc/loadavg: 2.06 2.12 2.06 3/194 5056
/proc/meminfo: memFree=30656620/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9625040 CPUtime=1.31 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 9458 0 1 0 127 4 0 0 20 0 19 0 24275245 9856040960 28791 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2406260 28791 2250 9 0 2396937 0
[pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2453 0 1 0 65 2 0 0 20 0 19 0 24275246 9856040960 28791 33554432000 1073741824 1073778376 140733656988032 139895109820792 139894953987517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.05 2.11 2.06 3/213 5075
/proc/meminfo: memFree=30517708/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 11135 0 1 0 234 5 0 0 20 0 19 0 24275245 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2406260 33663 2259 9 0 2396937 0
[pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2468 0 1 0 144 3 0 0 20 0 19 0 24275246 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139895109819640 139894954151800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 4689 0 0 0 52 1 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 2701 0 0 0 35 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 33663 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.05 2.11 2.06 3/213 5075
/proc/meminfo: memFree=30461916/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9625040 CPUtime=4.16 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 12183 0 1 0 405 11 0 0 20 0 19 0 24275245 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2406260 52695 2277 9 0 2396937 0
[pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2486 0 1 0 300 3 0 0 20 0 19 0 24275246 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139895109820264 139894954033181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 32 0 0 0 1 1 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 5535 0 0 0 57 1 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 2705 0 0 0 36 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.05 2.11 2.06 3/213 5075
/proc/meminfo: memFree=30333956/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9625040 CPUtime=7.39 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 12186 0 1 0 728 11 0 0 20 0 19 0 24275245 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2406260 52695 2277 9 0 2396937 0
[pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 2489 0 1 0 619 3 0 0 20 0 19 0 24275246 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139895109818704 139894954179176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 32 0 0 0 1 1 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275247 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 5535 0 0 0 59 2 0 0 20 0 19 0 24275251 9856040960 52695 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=0.37 cores=0,2,4,6

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

[pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 268440 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1684.62
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.08 3/213 5141
/proc/meminfo: memFree=28790500/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9625040 CPUtime=1745.62 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 40257 0 1 0 174187 375 0 0 20 0 19 0 24275245 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2406260 271282 2288 9 0 2396937 0
[pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1707.51 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 3470 0 1 0 170714 37 0 0 20 0 19 0 24275246 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139895109819616 139894954198812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1279 0 0 0 340 47 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1226 0 0 0 294 31 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=3.75 cores=0,2,4,6
/proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 2510 0 0 0 330 45 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1914 0 0 0 309 45 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1280 0 0 0 342 38 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=3.6 cores=0,2,4,6
/proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1391 0 0 0 313 47 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=3.29 cores=0,2,4,6
/proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 2000 0 0 0 292 37 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 2003 0 0 0 316 45 0 0 20 0 19 0 24275247 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 2904 0 0 0 276 5 0 0 20 0 19 0 24275248 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 6238 0 0 0 80 2 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 12680 0 0 0 106 2 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 99 0 0 0 18 23 0 0 20 0 19 0 24275251 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 271282 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1745.62
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/213 5209
/proc/meminfo: memFree=30513368/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 40294 0 1 0 179633 376 0 0 20 0 19 0 24275245 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2406260 271028 2288 9 0 2396937 0
[pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1761.18 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 3477 0 1 0 176079 39 0 0 20 0 19 0 24275246 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139895109819616 139894954028717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=3.92 cores=0,2,4,6
/proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1282 0 0 0 345 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1226 0 0 0 303 32 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 2513 0 0 0 336 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6
/proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1918 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1280 0 0 0 351 38 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1392 0 0 0 323 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=3.37 cores=0,2,4,6
/proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 2003 0 0 0 300 37 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6
/proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 2007 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 2912 0 0 0 276 5 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 6238 0 0 0 80 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 12680 0 0 0 106 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5056 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1776.3 s]
/proc/loadavg: 2.09 2.08 2.08 3/213 5209
/proc/meminfo: memFree=30513368/32872528 swapFree=190484/190484
[pid=5056] ppid=5053 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/5056/stat : 5056 (java) S 5053 5056 2916 0 -1 4202496 40294 0 1 0 179633 376 0 0 20 0 19 0 24275245 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 140733656979168 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5056/statm: 2406260 271028 2288 9 0 2396937 0
[pid=5056/tid=5057] ppid=5053 vsize=9625040 CPUtime=1761.18 cores=0,2,4,6
/proc/5056/task/5057/stat : 5057 (java) R 5053 5056 2916 0 -1 4202560 3477 0 1 0 176079 39 0 0 20 0 19 0 24275246 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139895109819616 139894954028717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5059] ppid=5053 vsize=9625040 CPUtime=3.92 cores=0,2,4,6
/proc/5056/task/5059/stat : 5059 (java) S 5053 5056 2916 0 -1 4202560 1282 0 0 0 345 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894953339944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5060] ppid=5053 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/5056/task/5060/stat : 5060 (java) S 5053 5056 2916 0 -1 4202560 1226 0 0 0 303 32 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894952287144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5061] ppid=5053 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/5056/task/5061/stat : 5061 (java) S 5053 5056 2916 0 -1 4202560 2513 0 0 0 336 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894951234344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5056/tid=5062] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6
/proc/5056/task/5062/stat : 5062 (java) S 5053 5056 2916 0 -1 4202560 1918 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894950181544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5063] ppid=5053 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/5056/task/5063/stat : 5063 (java) S 5053 5056 2916 0 -1 4202560 1280 0 0 0 351 38 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894949128744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5064] ppid=5053 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/5056/task/5064/stat : 5064 (java) S 5053 5056 2916 0 -1 4202560 1392 0 0 0 323 47 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894948075944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5065] ppid=5053 vsize=9625040 CPUtime=3.37 cores=0,2,4,6
/proc/5056/task/5065/stat : 5065 (java) S 5053 5056 2916 0 -1 4202560 2003 0 0 0 300 37 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894947023144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5066] ppid=5053 vsize=9625040 CPUtime=3.67 cores=0,2,4,6
/proc/5056/task/5066/stat : 5066 (java) S 5053 5056 2916 0 -1 4202560 2007 0 0 0 322 45 0 0 20 0 19 0 24275247 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894945970344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5067] ppid=5053 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/5056/task/5067/stat : 5067 (java) S 5053 5056 2916 0 -1 4202560 2912 0 0 0 276 5 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894463642600 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5056/tid=5068] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5068/stat : 5068 (java) S 5053 5056 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894462588664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5069] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5069/stat : 5069 (java) S 5053 5056 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24275248 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894461535752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5070] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5070/stat : 5070 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894460484240 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5071] ppid=5053 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/5056/task/5071/stat : 5071 (java) S 5053 5056 2916 0 -1 4202560 6238 0 0 0 80 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894459431352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5072] ppid=5053 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/5056/task/5072/stat : 5072 (java) S 5053 5056 2916 0 -1 4202560 12680 0 0 0 106 2 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894458378552 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5073] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5073/stat : 5073 (java) S 5053 5056 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894457325944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5056/tid=5074] ppid=5053 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/5056/task/5074/stat : 5074 (java) S 5053 5056 2916 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 24275251 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894456273352 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5056/tid=5075] ppid=5053 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5056/task/5075/stat : 5075 (java) S 5053 5056 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24275292 9856040960 271028 33554432000 1073741824 1073778376 140733656988032 139894455219880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5056 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=829600
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=221358
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1776.34
CPU time (s): 1800.09
CPU user time (s): 1796.33
CPU system time (s): 3.76
CPU usage (%): 101.337
Max. virtual memory (cumulated for all children) (KiB): 9626516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.83
system time used= 4.22136
maximum resident set size= 2998816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40339
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40713
involuntary context switches= 24643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7624 second user time and 12.834 second system time

The end

Launcher Data

Begin job on node102 at 2016-06-18 05:57:27
IDJOB=4101341
IDBENCH=1732
IDSOLVER=2546
FILE ID=node102/4101341-1466222247
RUNJOBID= node102-1466206108-2932
PBS_JOBID= 19918170
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air03.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101341-1466222247/watcher-4101341-1466222247 -o /tmp/evaluation-result-4101341-1466222247/solver-4101341-1466222247 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101341-1466222247.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c2512385eceb0464b223bc1effdca67c
RANDOM SEED=1684796143

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30656776 kB
Buffers:           97344 kB
Cached:           108596 kB
SwapCached:         1828 kB
Active:          1139512 kB
Inactive:         129072 kB
Active(anon):    1063104 kB
Inactive(anon):     1504 kB
Active(file):      76408 kB
Inactive(file):   127568 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099020 kB
Dirty:              1368 kB
Writeback:             0 kB
AnonPages:       1345984 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             599872 kB
SReclaimable:      43392 kB
SUnreclaim:       556480 kB
KernelStack:        1760 kB
PageTables:         6992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2001632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1124352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node102 at 2016-06-18 06:27:04