Trace number 3710452

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 NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO) 1800.02 1793.85

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_5_mh_ic.opb
MD5SUM2c36639357988247c648b63af301f230
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2814188
Best CPU time to get the best result obtained on this benchmark710.67
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 90518849
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4575401133
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 90518849
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4575401133
Number of bits of the biggest sum of numbers33
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710452-1338248237.opb
0.08/0.13	c reading problem ... 
0.67/0.48	c ... done. Wall clock time 0.342s.
0.67/0.48	c declared #vars     9765
0.67/0.48	c #constraints  21927
0.67/0.48	c constraints type 
0.67/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
0.67/0.48	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
0.67/0.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.67/0.48	c ignored satisfied constraints => 4
0.67/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
0.67/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015
0.67/0.48	c 21931 constraints processed.
2.38/1.74	c SATISFIABLE
2.38/1.74	c OPTIMIZING...
2.38/1.74	c Got one! Elapsed wall clock time (in seconds):1.605
2.38/1.74	o 32228902
3.71/2.99	c cleaning 2955 clauses out of 5921 with flag 3000/5936
5.05/4.19	c cleaning 4475 clauses out of 8958 with flag 9000/11936
5.36/4.48	c Got one! Elapsed wall clock time (in seconds):4.343
5.36/4.48	o 25685815
6.37/5.35	c cleaning 4973 clauses out of 9960 with flag 4000/17416
6.98/5.94	c Got one! Elapsed wall clock time (in seconds):5.81
6.98/5.94	o 20444850
7.52/6.45	c cleaning 5441 clauses out of 10896 with flag 2000/23357
8.87/7.76	c cleaning 5718 clauses out of 11456 with flag 8002/29359
10.46/9.36	c cleaning 6368 clauses out of 12736 with flag 15000/36357
11.77/10.61	c Got one! Elapsed wall clock time (in seconds):10.472
11.77/10.61	o 19465039
11.98/10.83	c Got one! Elapsed wall clock time (in seconds):10.699
11.98/10.83	o 18091836
12.12/10.94	c Got one! Elapsed wall clock time (in seconds):10.81
12.12/10.94	o 10845665
12.82/11.65	c cleaning 9078 clauses out of 18155 with flag 4000/49438
14.23/13.00	c cleaning 7533 clauses out of 15072 with flag 10000/55438
15.64/14.43	c cleaning 7012 clauses out of 14035 with flag 17000/62438
17.75/16.59	c cleaning 7497 clauses out of 15022 with flag 25000/70438
19.34/18.13	c cleaning 8252 clauses out of 16526 with flag 34001/79439
20.95/19.78	c cleaning 9126 clauses out of 18260 with flag 44003/89441
22.95/21.78	c cleaning 10062 clauses out of 20132 with flag 55001/100439
24.86/23.65	c cleaning 11031 clauses out of 22071 with flag 67002/112440
27.17/25.96	c cleaning 12011 clauses out of 24042 with flag 80004/125442
29.58/28.37	c cleaning 13009 clauses out of 26029 with flag 94002/139440
30.99/29.74	c Got one! Elapsed wall clock time (in seconds):29.608
30.99/29.74	o 8422690
31.79/30.55	c cleaning 14327 clauses out of 28666 with flag 5000/155086
32.79/31.59	c cleaning 10158 clauses out of 20339 with flag 11000/161086
34.10/32.80	c cleaning 8578 clauses out of 17181 with flag 18000/168086
35.30/34.02	c cleaning 8294 clauses out of 16603 with flag 26000/176086
35.70/34.48	c Got one! Elapsed wall clock time (in seconds):34.346
35.70/34.48	o 8171642
36.30/35.01	c cleaning 6840 clauses out of 13697 with flag 3000/181507
37.01/35.76	c cleaning 6413 clauses out of 12860 with flag 9003/187510
38.13/36.86	c cleaning 6713 clauses out of 13444 with flag 16000/194507
39.63/38.30	c cleaning 7357 clauses out of 14731 with flag 24000/202507
41.23/39.91	c cleaning 8178 clauses out of 16374 with flag 33000/211507
43.04/41.78	c cleaning 9098 clauses out of 18203 with flag 43007/221514
45.44/44.10	c cleaning 10039 clauses out of 20098 with flag 54000/232507
47.34/46.01	c cleaning 11022 clauses out of 22058 with flag 66000/244507
49.34/48.10	c cleaning 12010 clauses out of 24037 with flag 79001/257508
51.96/50.64	c cleaning 12995 clauses out of 26007 with flag 93001/271508
54.46/53.16	c cleaning 13946 clauses out of 27896 with flag 108000/286507
57.49/56.12	c cleaning 14971 clauses out of 29950 with flag 124000/302507
60.69/59.36	c cleaning 15981 clauses out of 31979 with flag 141000/319507
63.71/62.38	c cleaning 16994 clauses out of 33998 with flag 159000/337507
66.82/65.47	c cleaning 17998 clauses out of 36008 with flag 178004/356511
71.23/69.82	c cleaning 18991 clauses out of 38006 with flag 198000/376507
75.24/73.88	c cleaning 19991 clauses out of 40015 with flag 219000/397507
78.85/77.46	c cleaning 21003 clauses out of 42024 with flag 241000/419507
82.55/81.19	c cleaning 21919 clauses out of 43852 with flag 264002/442509
86.37/84.90	c cleaning 22957 clauses out of 45933 with flag 288002/466509
89.79/88.35	c cleaning 23977 clauses out of 47973 with flag 313001/491508
93.90/92.46	c cleaning 24995 clauses out of 49996 with flag 339001/517508
99.72/98.22	c cleaning 25989 clauses out of 52000 with flag 366000/544507
104.54/103.03	c cleaning 26999 clauses out of 54012 with flag 394001/572508
109.05/107.54	c cleaning 28000 clauses out of 56012 with flag 423000/601507
114.07/112.56	c cleaning 28992 clauses out of 58010 with flag 453000/631507
118.98/117.48	c cleaning 29999 clauses out of 60018 with flag 484001/662508
124.31/122.70	c cleaning 31003 clauses out of 62018 with flag 516000/694507
129.33/127.76	c cleaning 31996 clauses out of 64015 with flag 549000/727507
135.23/133.67	c cleaning 32996 clauses out of 66019 with flag 583000/761507
141.46/139.83	c cleaning 34002 clauses out of 68025 with flag 618002/796509
147.30/145.67	c cleaning 34998 clauses out of 70021 with flag 654000/832507
155.12/153.42	c cleaning 36003 clauses out of 72023 with flag 691000/869507
162.55/160.80	c cleaning 37001 clauses out of 74020 with flag 729000/907507
169.86/168.17	c cleaning 37941 clauses out of 75910 with flag 768000/946507
176.17/174.42	c cleaning 38974 clauses out of 77971 with flag 808002/986509
178.17/176.40	c Got one! Elapsed wall clock time (in seconds):176.269
178.17/176.40	o 7315634
178.97/177.27	c cleaning 28081 clauses out of 56184 with flag 5000/1003696
180.09/178.32	c cleaning 17039 clauses out of 34103 with flag 11000/1009696
181.49/179.70	c cleaning 12007 clauses out of 24076 with flag 18012/1016708
183.01/181.24	c cleaning 10012 clauses out of 20059 with flag 26002/1024698
184.61/182.81	c cleaning 9496 clauses out of 19046 with flag 35001/1033697
186.62/184.88	c cleaning 9728 clauses out of 19550 with flag 45001/1043697
188.93/187.15	c cleaning 10394 clauses out of 20823 with flag 56002/1054698
191.74/189.90	c cleaning 11207 clauses out of 22427 with flag 68000/1066696
194.35/192.54	c cleaning 12097 clauses out of 24220 with flag 81000/1079696
197.45/195.65	c cleaning 13042 clauses out of 26123 with flag 95000/1093696
200.35/198.51	c cleaning 14027 clauses out of 28081 with flag 110000/1108696
202.76/200.94	c cleaning 15010 clauses out of 30054 with flag 126000/1124696
205.57/203.73	c cleaning 16011 clauses out of 32044 with flag 143000/1141696
208.77/206.92	c cleaning 17003 clauses out of 34033 with flag 161000/1159696
211.29/209.46	c cleaning 18002 clauses out of 36031 with flag 180001/1178697
214.80/212.98	c cleaning 18997 clauses out of 38028 with flag 200000/1198696
218.30/216.47	c cleaning 20013 clauses out of 40031 with flag 221000/1219696
221.91/220.01	c cleaning 20992 clauses out of 42018 with flag 243000/1241696
225.92/224.02	c cleaning 21999 clauses out of 44027 with flag 266001/1264697
230.52/228.62	c cleaning 23009 clauses out of 46029 with flag 290002/1288698
235.83/233.93	c cleaning 23998 clauses out of 48018 with flag 315000/1313696
241.33/239.40	c cleaning 24991 clauses out of 50021 with flag 341001/1339697
246.15/244.27	c cleaning 26006 clauses out of 52032 with flag 368003/1366699
248.55/246.60	c Got one! Elapsed wall clock time (in seconds):246.468
248.55/246.60	o 6136538
249.45/247.59	c cleaning 22752 clauses out of 45509 with flag 5001/1386182
250.25/248.37	c cleaning 14364 clauses out of 28757 with flag 11001/1392182
251.47/249.57	c cleaning 10674 clauses out of 21392 with flag 18000/1399181
252.58/250.69	c Got one! Elapsed wall clock time (in seconds):250.551
252.58/250.69	o 6078180
253.48/251.58	c cleaning 10919 clauses out of 21859 with flag 5006/1410322
254.48/252.53	c cleaning 8447 clauses out of 16937 with flag 11003/1416319
255.99/254.09	c cleaning 7693 clauses out of 15487 with flag 18000/1423316
257.70/255.73	c cleaning 7888 clauses out of 15795 with flag 26001/1431317
259.50/257.56	c cleaning 8440 clauses out of 16907 with flag 35001/1440317
261.92/259.90	c cleaning 9221 clauses out of 18466 with flag 45000/1450316
264.62/262.69	c cleaning 10099 clauses out of 20245 with flag 56000/1461316
267.92/265.91	c cleaning 11053 clauses out of 22146 with flag 68000/1473316
271.33/269.32	c cleaning 12036 clauses out of 24095 with flag 81002/1486318
274.84/272.88	c cleaning 13018 clauses out of 26059 with flag 95002/1500318
278.74/276.71	c cleaning 14002 clauses out of 28041 with flag 110002/1515318
282.45/280.41	c cleaning 15008 clauses out of 30038 with flag 126001/1531317
286.25/284.27	c cleaning 16000 clauses out of 32029 with flag 143000/1548316
289.75/287.74	c cleaning 17003 clauses out of 34027 with flag 161001/1566317
294.06/292.09	c cleaning 17992 clauses out of 36023 with flag 180000/1585316
299.16/297.13	c cleaning 19001 clauses out of 38032 with flag 200001/1605317
303.77/301.74	c cleaning 20005 clauses out of 40030 with flag 221000/1626316
307.67/305.67	c cleaning 21005 clauses out of 42026 with flag 243001/1648317
310.77/308.76	c Got one! Elapsed wall clock time (in seconds):308.622
310.77/308.76	o 6035015
312.07/310.04	c cleaning 20329 clauses out of 40688 with flag 5001/1668064
313.58/311.57	c cleaning 13171 clauses out of 26359 with flag 11001/1674064
315.28/313.23	c cleaning 10066 clauses out of 20187 with flag 18000/1681063
317.19/315.12	c cleaning 9011 clauses out of 18121 with flag 26000/1689063
319.39/317.34	c cleaning 9015 clauses out of 18110 with flag 35000/1698063
321.79/319.70	c cleaning 9534 clauses out of 19095 with flag 45000/1708063
324.59/322.53	c cleaning 10267 clauses out of 20566 with flag 56005/1719068
327.30/325.28	c cleaning 11128 clauses out of 22295 with flag 68001/1731064
330.30/328.26	c cleaning 12061 clauses out of 24166 with flag 81000/1744063
333.71/331.65	c cleaning 13030 clauses out of 26108 with flag 95003/1758066
337.41/335.37	c cleaning 14021 clauses out of 28075 with flag 110000/1773063
341.02/338.92	c cleaning 15014 clauses out of 30056 with flag 126002/1789065
345.33/343.22	c cleaning 16008 clauses out of 32040 with flag 143000/1806063
349.63/347.57	c cleaning 17012 clauses out of 34032 with flag 161000/1824063
352.03/349.90	c Got one! Elapsed wall clock time (in seconds):349.77
352.03/349.90	o 6022319
353.13/351.09	c cleaning 15362 clauses out of 30754 with flag 5000/1837919
354.54/352.47	c cleaning 10676 clauses out of 21392 with flag 11000/1843919
355.94/353.85	c cleaning 8829 clauses out of 17716 with flag 18000/1850919
357.84/355.78	c cleaning 8414 clauses out of 16887 with flag 26000/1858919
359.84/357.72	c cleaning 8716 clauses out of 17473 with flag 35000/1867919
362.35/360.26	c cleaning 9358 clauses out of 18757 with flag 45000/1877919
365.17/363.01	c cleaning 10184 clauses out of 20399 with flag 56000/1888919
368.07/365.95	c cleaning 11078 clauses out of 22215 with flag 68000/1900919
370.87/368.72	c cleaning 12045 clauses out of 24137 with flag 81000/1913919
374.09/371.97	c cleaning 13027 clauses out of 26092 with flag 95000/1927919
377.59/375.44	c cleaning 14025 clauses out of 28065 with flag 110000/1942919
381.31/379.11	c cleaning 14998 clauses out of 30041 with flag 126001/1958920
385.02/382.89	c cleaning 16011 clauses out of 32042 with flag 143000/1975919
389.03/386.87	c cleaning 17001 clauses out of 34031 with flag 161000/1993919
393.13/390.91	c cleaning 17995 clauses out of 36032 with flag 180002/2012921
397.74/395.58	c cleaning 18999 clauses out of 38035 with flag 200000/2032919
403.35/401.10	c cleaning 20008 clauses out of 40038 with flag 221002/2053921
408.37/406.15	c cleaning 20969 clauses out of 41974 with flag 243003/2075922
413.99/411.79	c cleaning 21980 clauses out of 44002 with flag 266000/2098919
420.39/418.17	c cleaning 22992 clauses out of 46022 with flag 290000/2122919
426.71/424.47	c cleaning 24005 clauses out of 48030 with flag 315000/2147919
433.84/431.54	c cleaning 25004 clauses out of 50027 with flag 341002/2173921
440.66/438.34	c cleaning 25998 clauses out of 52023 with flag 368002/2200921
447.69/445.40	c cleaning 27005 clauses out of 54023 with flag 396000/2228919
454.70/452.37	c cleaning 27980 clauses out of 56018 with flag 425000/2257919
461.61/459.25	c cleaning 29002 clauses out of 58038 with flag 455000/2287919
468.44/466.09	c cleaning 29991 clauses out of 60036 with flag 486000/2318919
475.76/473.34	c cleaning 31017 clauses out of 62045 with flag 518000/2350919
484.28/481.83	c cleaning 31995 clauses out of 64028 with flag 551000/2383919
492.58/490.10	c cleaning 32992 clauses out of 66033 with flag 585000/2417919
500.59/498.11	c cleaning 33990 clauses out of 68041 with flag 620000/2452919
510.10/507.69	c cleaning 35012 clauses out of 70052 with flag 656001/2488920
519.32/516.85	c cleaning 36006 clauses out of 72040 with flag 693001/2525920
528.54/526.07	c cleaning 36999 clauses out of 74036 with flag 731003/2563922
538.26/535.76	c cleaning 38001 clauses out of 76035 with flag 770001/2602920
548.47/545.92	c cleaning 38997 clauses out of 78036 with flag 810003/2642922
558.39/555.84	c cleaning 39992 clauses out of 80036 with flag 851000/2683919
568.40/565.86	c cleaning 41004 clauses out of 82045 with flag 893001/2725920
579.82/577.21	c cleaning 41986 clauses out of 84040 with flag 936000/2768919
592.14/589.57	c cleaning 43010 clauses out of 86054 with flag 980000/2812919
604.18/601.50	c cleaning 43993 clauses out of 88044 with flag 1025000/2857919
615.98/613.31	c cleaning 45002 clauses out of 90051 with flag 1071000/2903919
626.51/623.82	c cleaning 45991 clauses out of 92049 with flag 1118000/2950919
638.22/635.56	c cleaning 46999 clauses out of 94058 with flag 1166000/2998919
650.45/647.74	c cleaning 48006 clauses out of 96060 with flag 1215001/3047920
663.47/660.74	c cleaning 49007 clauses out of 98053 with flag 1265000/3097919
674.89/672.13	c cleaning 50016 clauses out of 100046 with flag 1316000/3148919
681.44/678.66	c cleaning 51002 clauses out of 102032 with flag 1368002/3200921
688.85/686.08	c Got one! Elapsed wall clock time (in seconds):685.949
688.85/686.08	o 5492364
690.15/687.33	c cleaning 52117 clauses out of 104246 with flag 5000/3254137
691.18/688.38	c cleaning 29016 clauses out of 58129 with flag 11000/3260137
692.49/689.61	c cleaning 18001 clauses out of 36114 with flag 18001/3267138
693.89/691.00	c cleaning 13004 clauses out of 26112 with flag 26000/3275137
695.39/692.55	c cleaning 10999 clauses out of 22109 with flag 35001/3284138
697.19/694.33	c cleaning 10538 clauses out of 21110 with flag 45001/3294138
698.89/696.06	c cleaning 10768 clauses out of 21572 with flag 56001/3305138
700.70/697.84	c cleaning 11386 clauses out of 22805 with flag 68002/3317139
702.62/699.76	c cleaning 12194 clauses out of 24420 with flag 81003/3330140
705.64/702.75	c cleaning 13107 clauses out of 26223 with flag 95000/3344137
707.56/704.64	c Got one! Elapsed wall clock time (in seconds):704.509
707.56/704.64	o 5429349
708.96/706.08	c cleaning 13654 clauses out of 27332 with flag 5000/3358353
710.89/707.92	c cleaning 9768 clauses out of 19678 with flag 11000/3364353
712.79/709.86	c cleaning 8435 clauses out of 16911 with flag 18001/3371354
714.70/711.78	c cleaning 8206 clauses out of 16475 with flag 26000/3379353
716.80/713.85	c cleaning 8607 clauses out of 17269 with flag 35000/3388353
719.11/716.19	c cleaning 9318 clauses out of 18664 with flag 45002/3398355
721.81/718.86	c cleaning 10136 clauses out of 20344 with flag 56000/3409353
724.63/721.66	c cleaning 11077 clauses out of 22208 with flag 68000/3421353
726.84/723.82	c Got one! Elapsed wall clock time (in seconds):723.683
726.84/723.82	o 5420103
728.03/725.04	c cleaning 12760 clauses out of 25533 with flag 5000/3435755
729.56/726.54	c cleaning 9359 clauses out of 18773 with flag 11000/3441755
731.28/728.24	c cleaning 8195 clauses out of 16414 with flag 18000/3448755
733.28/730.21	c cleaning 8090 clauses out of 16219 with flag 26000/3456755
735.49/732.41	c cleaning 8561 clauses out of 17131 with flag 35002/3465757
737.89/734.84	c cleaning 9279 clauses out of 18568 with flag 45000/3475755
740.51/737.43	c cleaning 10123 clauses out of 20289 with flag 56000/3486755
743.11/740.05	c cleaning 11070 clauses out of 22167 with flag 68001/3498756
745.65/742.57	c cleaning 12031 clauses out of 24096 with flag 81000/3511755
748.55/745.40	c cleaning 13014 clauses out of 26065 with flag 95000/3525755
751.35/748.25	c cleaning 14018 clauses out of 28052 with flag 110001/3540756
754.76/751.68	c cleaning 15007 clauses out of 30034 with flag 126001/3556756
758.46/755.34	c cleaning 15993 clauses out of 32026 with flag 143000/3573755
762.07/759.00	c cleaning 16998 clauses out of 34033 with flag 161000/3591755
765.77/762.66	c cleaning 17993 clauses out of 36036 with flag 180001/3610756
769.78/766.61	c cleaning 18999 clauses out of 38042 with flag 200000/3630755
773.88/770.74	c cleaning 20006 clauses out of 40044 with flag 221001/3651756
778.28/775.14	c cleaning 20998 clauses out of 42037 with flag 243000/3673755
782.88/779.75	c cleaning 21995 clauses out of 44039 with flag 266000/3696755
788.09/784.97	c cleaning 23007 clauses out of 46044 with flag 290000/3720755
794.51/791.38	c cleaning 24011 clauses out of 48037 with flag 315000/3745755
801.21/798.09	c cleaning 24993 clauses out of 50027 with flag 341001/3771756
808.52/805.34	c cleaning 25999 clauses out of 52033 with flag 368000/3798755
815.74/812.54	c cleaning 26984 clauses out of 54034 with flag 396000/3826755
822.95/819.79	c cleaning 28012 clauses out of 56050 with flag 425000/3855755
830.55/827.37	c cleaning 28992 clauses out of 58038 with flag 455000/3885755
837.77/834.57	c cleaning 30013 clauses out of 60046 with flag 486000/3916755
843.78/840.51	c cleaning 30995 clauses out of 62035 with flag 518002/3948757
850.39/847.13	c cleaning 31990 clauses out of 64038 with flag 551000/3981755
857.59/854.38	c cleaning 33013 clauses out of 66048 with flag 585000/4015755
864.71/861.49	c cleaning 34007 clauses out of 68035 with flag 620000/4050755
870.03/866.79	c cleaning 34999 clauses out of 70029 with flag 656001/4086756
875.04/871.75	c cleaning 36005 clauses out of 72032 with flag 693003/4123758
880.65/877.34	c cleaning 37006 clauses out of 74024 with flag 731000/4161755
886.37/883.06	c cleaning 37992 clauses out of 76020 with flag 770002/4200757
892.08/888.75	c cleaning 38989 clauses out of 78026 with flag 810000/4240755
898.48/895.18	c cleaning 39992 clauses out of 80037 with flag 851000/4281755
905.30/901.96	c cleaning 41005 clauses out of 82045 with flag 893000/4323755
912.70/909.35	c cleaning 42008 clauses out of 84045 with flag 936005/4366760
918.95/915.54	c cleaning 43002 clauses out of 86032 with flag 980000/4410755
927.46/924.05	c cleaning 43996 clauses out of 88030 with flag 1025000/4455755
935.27/931.87	c cleaning 45006 clauses out of 90034 with flag 1071000/4501755
943.08/939.62	c cleaning 46011 clauses out of 92028 with flag 1118000/4548755
945.30/941.85	c Got one! Elapsed wall clock time (in seconds):941.72
945.30/941.85	o 5384076
946.44/942.97	c cleaning 30294 clauses out of 60636 with flag 5000/4563374
947.96/944.40	c cleaning 18139 clauses out of 36342 with flag 11000/4569374
949.76/946.23	c cleaning 12564 clauses out of 25203 with flag 18000/4576374
951.79/948.26	c cleaning 10300 clauses out of 20639 with flag 26000/4584374
954.09/950.54	c cleaning 9656 clauses out of 19340 with flag 35001/4593375
956.40/952.89	c cleaning 9823 clauses out of 19683 with flag 45000/4603374
959.24/955.67	c cleaning 10407 clauses out of 20860 with flag 56000/4614374
962.46/958.84	c cleaning 11208 clauses out of 22453 with flag 68000/4626374
964.99/961.36	c Got one! Elapsed wall clock time (in seconds):961.229
964.99/961.36	o 5082476
966.09/962.42	c Got one! Elapsed wall clock time (in seconds):962.282
966.09/962.42	o 5081117
966.48/962.85	c cleaning 13558 clauses out of 27139 with flag 2000/4642268
967.89/964.26	c cleaning 9717 clauses out of 19581 with flag 8000/4648268
969.52/965.89	c cleaning 8375 clauses out of 16864 with flag 15000/4655268
971.52/967.85	c cleaning 8180 clauses out of 16489 with flag 23000/4663268
973.52/969.88	c cleaning 8638 clauses out of 17309 with flag 32000/4672268
976.03/972.30	c cleaning 9328 clauses out of 18671 with flag 42000/4682268
978.93/975.22	c cleaning 10155 clauses out of 20343 with flag 53000/4693268
982.04/978.31	c cleaning 11083 clauses out of 22188 with flag 65000/4705268
985.14/981.43	c cleaning 12043 clauses out of 24106 with flag 78001/4718269
988.66/984.91	c cleaning 13016 clauses out of 26062 with flag 92000/4732268
992.27/988.59	c cleaning 14019 clauses out of 28046 with flag 107000/4747268
996.59/992.86	c cleaning 14988 clauses out of 30027 with flag 123000/4763268
1001.10/997.30	c cleaning 15997 clauses out of 32039 with flag 140000/4780268
1001.21/997.50	c Got one! Elapsed wall clock time (in seconds):997.361
1001.21/997.50	o 5004446
1002.41/998.64	c cleaning 10804 clauses out of 21636 with flag 5000/4785862
1003.74/999.94	c cleaning 8398 clauses out of 16834 with flag 11002/4791864
1005.15/1001.30	c cleaning 7705 clauses out of 15437 with flag 18003/4798865
1006.75/1002.92	c cleaning 7834 clauses out of 15733 with flag 26004/4806866
1008.56/1004.78	c cleaning 8426 clauses out of 16895 with flag 35000/4815862
1010.96/1007.18	c cleaning 9223 clauses out of 18469 with flag 45000/4825862
1013.76/1009.99	c cleaning 10110 clauses out of 20246 with flag 56000/4836862
1016.77/1012.98	c cleaning 11055 clauses out of 22136 with flag 68000/4848862
1019.58/1015.79	c cleaning 12024 clauses out of 24081 with flag 81000/4861862
1022.68/1018.82	c cleaning 13016 clauses out of 26059 with flag 95002/4875864
1025.99/1022.14	c cleaning 13980 clauses out of 28041 with flag 110000/4890862
1029.69/1025.81	c cleaning 15006 clauses out of 30062 with flag 126001/4906863
1033.90/1030.05	c cleaning 16010 clauses out of 32056 with flag 143001/4923863
1038.21/1034.38	c cleaning 17015 clauses out of 34045 with flag 161000/4941862
1042.92/1039.05	c cleaning 18009 clauses out of 36030 with flag 180000/4960862
1048.03/1044.19	c cleaning 18996 clauses out of 38021 with flag 200000/4980862
1050.93/1047.05	c Got one! Elapsed wall clock time (in seconds):1046.914
1050.93/1047.05	o 4940152
1052.24/1048.32	c cleaning 17382 clauses out of 34794 with flag 5000/4996631
1053.64/1049.76	c cleaning 11686 clauses out of 23412 with flag 11000/5002631
1055.35/1051.41	c cleaning 9349 clauses out of 18726 with flag 18000/5009631
1057.27/1053.32	c cleaning 8665 clauses out of 17381 with flag 26004/5017635
1059.48/1055.53	c cleaning 8837 clauses out of 17714 with flag 35002/5026633
1062.09/1058.11	c cleaning 9413 clauses out of 18875 with flag 45000/5036631
1064.79/1060.89	c cleaning 10217 clauses out of 20462 with flag 56000/5047631
1068.00/1064.04	c cleaning 11111 clauses out of 22245 with flag 68000/5059631
1071.42/1067.42	c cleaning 12037 clauses out of 24136 with flag 81002/5072633
1075.13/1071.16	c Got one! Elapsed wall clock time (in seconds):1071.026
1075.13/1071.16	o 4821593
1076.23/1072.29	c cleaning 15376 clauses out of 30775 with flag 5000/5091309
1077.64/1073.67	c cleaning 10685 clauses out of 21399 with flag 11000/5097309
1079.35/1075.32	c cleaning 8832 clauses out of 17715 with flag 18001/5104310
1081.36/1077.39	c cleaning 8418 clauses out of 16885 with flag 26003/5112312
1083.67/1079.60	c cleaning 8717 clauses out of 17464 with flag 35000/5121309
1086.28/1082.25	c cleaning 9361 clauses out of 18748 with flag 45001/5131310
1089.08/1085.08	c cleaning 10168 clauses out of 20386 with flag 56000/5142309
1092.18/1088.19	c cleaning 11095 clauses out of 22220 with flag 68002/5154311
1095.70/1091.61	c cleaning 12052 clauses out of 24123 with flag 81000/5167309
1099.11/1095.08	c cleaning 13020 clauses out of 26071 with flag 95000/5181309
1102.63/1098.57	c cleaning 14010 clauses out of 28051 with flag 110000/5196309
1106.73/1102.63	c cleaning 15010 clauses out of 30041 with flag 126000/5212309
1110.84/1106.75	c cleaning 15996 clauses out of 32032 with flag 143001/5229310
1115.45/1111.35	c cleaning 17001 clauses out of 34035 with flag 161000/5247309
1120.25/1116.14	c cleaning 18006 clauses out of 36034 with flag 180000/5266309
1125.25/1121.15	c cleaning 19001 clauses out of 38028 with flag 200000/5286309
1130.47/1126.40	c cleaning 19997 clauses out of 40028 with flag 221001/5307310
1136.26/1132.16	c cleaning 20987 clauses out of 42030 with flag 243000/5329309
1142.37/1138.20	c cleaning 22016 clauses out of 44043 with flag 266000/5352309
1149.07/1144.93	c cleaning 22992 clauses out of 46027 with flag 290000/5376309
1155.90/1151.77	c cleaning 24008 clauses out of 48035 with flag 315000/5401309
1162.71/1158.53	c cleaning 24999 clauses out of 50027 with flag 341000/5427309
1169.32/1165.12	c cleaning 25996 clauses out of 52028 with flag 368000/5454309
1176.13/1171.92	c cleaning 26995 clauses out of 54033 with flag 396001/5482310
1183.05/1178.89	c cleaning 27988 clauses out of 56037 with flag 425000/5511309
1190.37/1186.10	c cleaning 29014 clauses out of 58050 with flag 455001/5541310
1193.18/1188.96	c Got one! Elapsed wall clock time (in seconds):1188.828
1193.18/1188.96	o 4067285
1194.08/1189.87	c cleaning 23332 clauses out of 46698 with flag 5000/5558973
1195.20/1190.93	c cleaning 14664 clauses out of 29367 with flag 11001/5564974
1196.11/1191.88	c cleaning 10806 clauses out of 21702 with flag 18000/5571973
1197.83/1193.56	c cleaning 9380 clauses out of 18899 with flag 26003/5579976
1199.75/1195.44	c cleaning 9197 clauses out of 18520 with flag 35004/5588977
1201.66/1197.34	c cleaning 9647 clauses out of 19319 with flag 45000/5598973
1203.79/1199.47	c cleaning 10328 clauses out of 20673 with flag 56001/5609974
1206.50/1202.10	c cleaning 11149 clauses out of 22345 with flag 68001/5621974
1208.31/1203.98	c Got one! Elapsed wall clock time (in seconds):1203.843
1208.31/1203.98	o 3987163
1209.61/1205.23	c cleaning 11860 clauses out of 23744 with flag 5000/5634522
1211.03/1206.67	c cleaning 8932 clauses out of 17885 with flag 11001/5640523
1212.73/1208.37	c cleaning 7946 clauses out of 15952 with flag 18000/5647522
1214.74/1210.31	c cleaning 7974 clauses out of 16006 with flag 26000/5655522
1216.86/1212.41	c cleaning 8501 clauses out of 17033 with flag 35001/5664523
1219.06/1214.66	c cleaning 9240 clauses out of 18531 with flag 45000/5674522
1221.46/1217.03	c cleaning 10139 clauses out of 20291 with flag 56000/5685522
1224.28/1219.85	c cleaning 11060 clauses out of 22152 with flag 68000/5697522
1227.29/1222.84	c cleaning 12031 clauses out of 24092 with flag 81000/5710522
1230.49/1226.01	c cleaning 13012 clauses out of 26061 with flag 95000/5724522
1233.92/1229.40	c cleaning 14006 clauses out of 28049 with flag 110000/5739522
1237.82/1233.31	c cleaning 15007 clauses out of 30044 with flag 126001/5755523
1241.84/1237.39	c cleaning 16010 clauses out of 32038 with flag 143002/5772524
1245.95/1241.43	c cleaning 17000 clauses out of 34028 with flag 161002/5790524
1250.17/1245.63	c cleaning 17994 clauses out of 36026 with flag 180000/5809522
1254.37/1249.83	c cleaning 18982 clauses out of 38033 with flag 200001/5829523
1259.09/1254.52	c cleaning 20014 clauses out of 40050 with flag 221000/5850522
1264.11/1259.56	c cleaning 20992 clauses out of 42040 with flag 243004/5872526
1269.11/1264.59	c cleaning 22000 clauses out of 44044 with flag 266000/5895522
1274.41/1269.86	c cleaning 23003 clauses out of 46045 with flag 290001/5919523
1280.02/1275.45	c cleaning 24008 clauses out of 48041 with flag 315000/5944522
1285.84/1281.22	c cleaning 24992 clauses out of 50034 with flag 341001/5970523
1291.86/1287.20	c cleaning 26006 clauses out of 52041 with flag 368000/5997522
1297.56/1292.94	c cleaning 26996 clauses out of 54035 with flag 396000/6025522
1303.37/1298.79	c cleaning 28006 clauses out of 56039 with flag 425000/6054522
1310.47/1305.80	c cleaning 28994 clauses out of 58034 with flag 455001/6084523
1318.18/1313.56	c cleaning 29996 clauses out of 60039 with flag 486000/6115522
1325.09/1320.49	c Got one! Elapsed wall clock time (in seconds):1320.361
1325.09/1320.49	o 3911843
1326.49/1321.88	c cleaning 31624 clauses out of 63263 with flag 5000/6148742
1328.23/1323.54	c cleaning 18801 clauses out of 37639 with flag 11000/6154742
1330.05/1325.35	c cleaning 12887 clauses out of 25838 with flag 18000/6161742
1331.95/1327.29	c cleaning 10457 clauses out of 20951 with flag 26000/6169742
1334.27/1329.50	c cleaning 9716 clauses out of 19494 with flag 35000/6178742
1336.58/1331.80	c cleaning 9863 clauses out of 19779 with flag 45001/6188743
1339.30/1334.50	c cleaning 10433 clauses out of 20915 with flag 56000/6199742
1342.11/1337.36	c cleaning 11208 clauses out of 22483 with flag 68001/6211743
1345.51/1340.70	c cleaning 12123 clauses out of 24274 with flag 81000/6224742
1349.31/1344.59	c cleaning 13060 clauses out of 26152 with flag 95001/6238743
1353.23/1348.41	c cleaning 14021 clauses out of 28091 with flag 110000/6253742
1357.24/1352.49	c cleaning 15013 clauses out of 30071 with flag 126001/6269743
1361.64/1356.90	c cleaning 15999 clauses out of 32057 with flag 143000/6286742
1366.57/1361.76	c cleaning 17010 clauses out of 34059 with flag 161001/6304743
1371.67/1366.88	c cleaning 18004 clauses out of 36049 with flag 180001/6323743
1377.08/1372.26	c cleaning 19008 clauses out of 38045 with flag 200001/6343743
1382.49/1377.62	c cleaning 20002 clauses out of 40037 with flag 221001/6364743
1387.90/1383.08	c cleaning 20998 clauses out of 42035 with flag 243001/6386743
1394.11/1389.21	c cleaning 22007 clauses out of 44037 with flag 266001/6409743
1400.52/1395.66	c cleaning 22994 clauses out of 46029 with flag 290000/6433742
1407.45/1402.53	c cleaning 24000 clauses out of 48035 with flag 315000/6458742
1414.65/1409.78	c cleaning 24995 clauses out of 50035 with flag 341000/6484742
1422.27/1417.32	c cleaning 25999 clauses out of 52040 with flag 368000/6511742
1428.97/1424.08	c cleaning 27000 clauses out of 54041 with flag 396000/6539742
1435.88/1430.90	c cleaning 28001 clauses out of 56041 with flag 425000/6568742
1444.00/1439.01	c cleaning 28999 clauses out of 58040 with flag 455000/6598742
1451.62/1446.66	c cleaning 30001 clauses out of 60041 with flag 486000/6629742
1460.92/1455.93	c cleaning 30990 clauses out of 62040 with flag 518000/6661742
1469.73/1464.73	c cleaning 32001 clauses out of 64050 with flag 551000/6694742
1478.83/1473.82	c cleaning 33004 clauses out of 66049 with flag 585000/6728742
1488.24/1483.24	c cleaning 34009 clauses out of 68049 with flag 620004/6763746
1498.45/1493.48	c cleaning 34995 clauses out of 70037 with flag 656001/6799743
1508.79/1503.79	c cleaning 36007 clauses out of 72042 with flag 693001/6836743
1518.41/1513.31	c cleaning 36995 clauses out of 74035 with flag 731001/6874743
1528.13/1523.04	c cleaning 38002 clauses out of 76039 with flag 770000/6913742
1538.63/1533.50	c cleaning 38999 clauses out of 78041 with flag 810004/6953746
1544.14/1539.04	c Got one! Elapsed wall clock time (in seconds):1538.909
1544.14/1539.04	o 3867814
1545.34/1540.24	c cleaning 33224 clauses out of 66474 with flag 5000/6981178
1546.75/1541.68	c cleaning 19595 clauses out of 39251 with flag 11001/6987179
1548.48/1543.35	c cleaning 13300 clauses out of 26655 with flag 18000/6994178
1550.39/1545.22	c cleaning 10657 clauses out of 21355 with flag 26000/7002178
1552.80/1547.62	c cleaning 9828 clauses out of 19701 with flag 35003/7011181
1555.41/1550.21	c cleaning 9912 clauses out of 19870 with flag 45000/7021178
1557.61/1552.40	c cleaning 10471 clauses out of 20958 with flag 56000/7032178
1559.93/1554.76	c cleaning 11225 clauses out of 22487 with flag 68000/7044178
1562.84/1557.70	c cleaning 12123 clauses out of 24262 with flag 81000/7057178
1566.26/1561.09	c cleaning 13060 clauses out of 26139 with flag 95000/7071178
1566.57/1561.31	c Got one! Elapsed wall clock time (in seconds):1561.181
1566.57/1561.31	o 3666676
1567.97/1562.77	c cleaning 9369 clauses out of 18809 with flag 5001/7076908
1569.69/1564.42	c cleaning 7702 clauses out of 15439 with flag 11000/7082907
1571.70/1566.41	c cleaning 7340 clauses out of 14737 with flag 18000/7089907
1573.80/1568.58	c cleaning 7688 clauses out of 15397 with flag 26000/7097907
1574.32/1569.07	c Got one! Elapsed wall clock time (in seconds):1568.934
1574.32/1569.07	o 3621423
1575.32/1570.02	c cleaning 6801 clauses out of 13623 with flag 4003/7103821
1576.74/1571.48	c cleaning 6390 clauses out of 12819 with flag 10000/7109818
1578.48/1573.12	c cleaning 6705 clauses out of 13431 with flag 17002/7116820
1580.28/1574.96	c cleaning 7339 clauses out of 14724 with flag 25000/7124818
1582.40/1577.08	c cleaning 8179 clauses out of 16385 with flag 34000/7133818
1584.71/1579.34	c cleaning 9095 clauses out of 18207 with flag 44001/7143819
1587.23/1581.81	c cleaning 10035 clauses out of 20111 with flag 55000/7154818
1589.94/1584.53	c cleaning 11022 clauses out of 22076 with flag 67000/7166818
1592.65/1587.26	c cleaning 12002 clauses out of 24054 with flag 80000/7179818
1595.85/1590.43	c cleaning 13011 clauses out of 26054 with flag 94002/7193820
1599.65/1594.20	c cleaning 14003 clauses out of 28041 with flag 109000/7208818
1603.67/1598.24	c cleaning 14994 clauses out of 30038 with flag 125000/7224818
1608.11/1602.63	c cleaning 15996 clauses out of 32044 with flag 142000/7241818
1610.91/1605.41	c Got one! Elapsed wall clock time (in seconds):1605.274
1610.91/1605.41	o 3607086
1611.81/1606.30	c cleaning 15900 clauses out of 31830 with flag 5000/7257600
1612.04/1606.55	c Got one! Elapsed wall clock time (in seconds):1606.413
1612.04/1606.55	o 3416924
1613.04/1607.50	c cleaning 10424 clauses out of 20873 with flag 4001/7262762
1614.46/1608.97	c cleaning 8206 clauses out of 16448 with flag 10000/7268761
1616.06/1610.57	c cleaning 7599 clauses out of 15242 with flag 17000/7275761
1617.97/1612.49	c cleaning 7801 clauses out of 15644 with flag 25001/7283762
1619.79/1614.29	c Got one! Elapsed wall clock time (in seconds):1614.155
1619.79/1614.29	o 3360583
1621.09/1615.52	c cleaning 10135 clauses out of 20280 with flag 5000/7296199
1622.61/1617.04	c cleaning 8048 clauses out of 16145 with flag 11000/7302199
1624.51/1618.94	c cleaning 7533 clauses out of 15097 with flag 18000/7309199
1626.52/1620.93	c cleaning 7752 clauses out of 15564 with flag 26000/7317199
1628.82/1623.25	c cleaning 8392 clauses out of 16813 with flag 35001/7326200
1631.44/1625.83	c cleaning 9193 clauses out of 18420 with flag 45000/7336199
1634.35/1628.74	c cleaning 10093 clauses out of 20227 with flag 56000/7347199
1637.65/1632.07	c cleaning 11041 clauses out of 22134 with flag 68000/7359199
1640.96/1635.30	c cleaning 12028 clauses out of 24094 with flag 81001/7372200
1643.98/1638.34	c cleaning 13018 clauses out of 26067 with flag 95002/7386201
1646.69/1641.03	c Got one! Elapsed wall clock time (in seconds):1640.9
1646.69/1641.03	o 3308600
1647.79/1642.11	c cleaning 14882 clauses out of 29779 with flag 5000/7402931
1647.90/1642.28	c Got one! Elapsed wall clock time (in seconds):1642.145
1647.90/1642.28	o 3271328
1649.19/1643.53	c cleaning 10207 clauses out of 20459 with flag 5001/7408493
1650.61/1644.95	c cleaning 8120 clauses out of 16252 with flag 11001/7414493
1652.33/1646.69	c cleaning 7543 clauses out of 15133 with flag 18002/7421494
1654.28/1648.56	c cleaning 7764 clauses out of 15588 with flag 26000/7429492
1656.48/1650.72	c cleaning 8392 clauses out of 16825 with flag 35001/7438493
1658.88/1653.19	c cleaning 9197 clauses out of 18432 with flag 45000/7448492
1661.79/1656.06	c cleaning 10105 clauses out of 20236 with flag 56001/7459493
1664.79/1659.02	c cleaning 11047 clauses out of 22130 with flag 68000/7471492
1667.30/1661.53	c Got one! Elapsed wall clock time (in seconds):1661.398
1667.30/1661.53	o 3211050
1668.60/1662.82	c cleaning 13360 clauses out of 26740 with flag 5000/7487149
1668.91/1663.19	c Got one! Elapsed wall clock time (in seconds):1663.059
1668.91/1663.19	o 3132750
1669.91/1664.19	c cleaning 9405 clauses out of 18815 with flag 4000/7492584
1671.62/1665.80	c cleaning 7689 clauses out of 15414 with flag 10004/7498588
1673.53/1667.70	c cleaning 7344 clauses out of 14722 with flag 17001/7505585
1675.65/1669.80	c cleaning 7677 clauses out of 15378 with flag 25001/7513585
1677.95/1672.15	c cleaning 8339 clauses out of 16700 with flag 34000/7522584
1680.56/1674.75	c cleaning 9161 clauses out of 18361 with flag 44000/7532584
1683.37/1677.54	c cleaning 10081 clauses out of 20200 with flag 55000/7543584
1686.47/1680.62	c cleaning 11048 clauses out of 22120 with flag 67001/7555585
1689.79/1683.94	c cleaning 12014 clauses out of 24071 with flag 80000/7568584
1693.52/1687.64	c cleaning 13015 clauses out of 26057 with flag 94000/7582584
1697.43/1691.58	c cleaning 14004 clauses out of 28042 with flag 109000/7597584
1701.55/1695.63	c cleaning 15001 clauses out of 30038 with flag 125000/7613584
1705.67/1699.79	c cleaning 16001 clauses out of 32037 with flag 142000/7630584
1708.48/1702.57	c Got one! Elapsed wall clock time (in seconds):1702.438
1708.48/1702.57	o 3108870
1709.78/1703.87	c cleaning 16405 clauses out of 32841 with flag 5000/7647479
1711.40/1705.46	c cleaning 11212 clauses out of 22436 with flag 11000/7653479
1713.31/1707.34	c cleaning 9093 clauses out of 18224 with flag 18000/7660479
1715.32/1709.40	c cleaning 8542 clauses out of 17131 with flag 26000/7668479
1717.94/1711.90	c cleaning 8768 clauses out of 17589 with flag 35000/7677479
1720.64/1714.63	c cleaning 9401 clauses out of 18821 with flag 45000/7687479
1723.55/1717.53	c cleaning 10200 clauses out of 20420 with flag 56000/7698479
1726.76/1720.78	c cleaning 11107 clauses out of 22224 with flag 68004/7710483
1730.27/1724.28	c cleaning 12047 clauses out of 24114 with flag 81001/7723480
1733.87/1727.85	c cleaning 13019 clauses out of 26067 with flag 95001/7737480
1737.68/1731.64	c cleaning 14019 clauses out of 28048 with flag 110001/7752480
1741.69/1735.67	c cleaning 14997 clauses out of 30028 with flag 126000/7768479
1746.10/1740.03	c cleaning 16009 clauses out of 32031 with flag 143000/7785479
1750.72/1744.64	c cleaning 16995 clauses out of 34022 with flag 161000/7803479
1755.41/1749.33	c cleaning 18005 clauses out of 36031 with flag 180004/7822483
1760.34/1754.20	c cleaning 19006 clauses out of 38026 with flag 200004/7842483
1765.45/1759.31	c cleaning 19988 clauses out of 40016 with flag 221000/7863479
1771.85/1765.70	c cleaning 21005 clauses out of 42028 with flag 243000/7885479
1778.17/1772.06	c cleaning 21983 clauses out of 44023 with flag 266000/7908479
1784.88/1778.78	c cleaning 23010 clauses out of 46041 with flag 290001/7932480
1791.18/1785.03	c cleaning 24000 clauses out of 48031 with flag 315001/7957480
1798.01/1791.82	c cleaning 24995 clauses out of 50030 with flag 341000/7983479
1800.02/1793.81	c starts		: 334
1800.02/1793.81	c conflicts		: 7991264
1800.02/1793.81	c decisions		: 17646735
1800.02/1793.81	c propagations		: 2083642752
1800.02/1793.81	c inspects		: 8582974351
1800.02/1793.81	c shortcuts		: 0
1800.02/1793.81	c learnt literals	: 71
1800.02/1793.81	c learnt binary clauses	: 647
1800.02/1793.81	c learnt ternary clauses	: 643
1800.02/1793.81	c learnt constraints	: 7991194
1800.02/1793.81	c ignored constraints	: 0
1800.02/1793.81	c root simplifications	: 405
1800.02/1793.81	c removed literals (reason simplification)	: 174028883
1800.02/1793.81	c reason swapping (by a shorter reason)	: 0
1800.02/1793.81	c Calls to reduceDB	: 453
1800.02/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.02/1793.81	c number of learned constraints concerned by reduction	: 0
1800.02/1793.81	c number of learning phase by resolution	: 0
1800.02/1793.81	c number of learning phase by cutting planes	: 0
1800.02/1793.81	c speed (assignments/second)	: 1161892.643691749
1800.02/1793.81	c non guided choices	13826
1800.02/1793.82	c learnt constraints type 
1800.02/1793.82	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 502
1800.02/1793.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32361
1800.02/1793.82	c constraints type 
1800.02/1793.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1800.02/1793.82	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
1800.02/1793.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.02/1793.82	c ignored satisfied constraints => 4
1800.02/1793.82	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1800.02/1793.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016
1800.02/1793.82	c 21932 constraints processed.
1800.02/1793.82	s SATISFIABLE
1800.02/1793.83	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 x6144 -x6145 -x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 -x6279 -x6280 -x6281 -x6282 -x6283 x6284 -x6285 x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -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 
1800.02/1793.85	c objective function=3108870
1800.02/1793.85	c Total wall clock time (in seconds): 1793.711

Verifier Data

OK	3108870

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3710452-1338248237/watcher-3710452-1338248237 -o /tmp/evaluation-result-3710452-1338248237/solver-3710452-1338248237 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710452-1338248237.opb 

running on 4 cores: 1,3,5,7

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: 1.92 1.98 1.99 2/194 1371
/proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/1371/stat : 1371 (java) D 1369 1371 32222 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 290890743 2560000 46 33554432000 1073741824 1073778376 140735763210848 140735763207976 209088245031 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1371/statm: 625 46 37 9 0 29 0

[startup+0.0161321 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1371
/proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 2 0 290890743 98578432 989 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 24067 989 755 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268

[startup+0.100279 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1371
/proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 3701 0 1 0 7 1 0 0 20 0 18 0 290890743 9787842560 4909 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2389610 4909 1940 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300314 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1371
/proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 5353 0 1 0 45 2 0 0 20 0 18 0 290890743 9787842560 9666 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2389610 9666 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440

[startup+0.700299 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1371
/proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 7881 0 1 0 126 4 0 0 20 0 19 0 290890743 9856004096 22737 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2406251 22737 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625004

[startup+1.5008 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 1391
/proc/meminfo: memFree=30897236/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 7890 0 1 0 213 4 0 0 20 0 19 0 290890743 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2406251 22744 2258 9 0 2396937 0
[pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2547 0 1 0 143 3 0 0 20 0 19 0 290890744 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888215954056 139888041784092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290890746 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1936 0 0 0 33 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 2206 0 0 0 34 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625004

[startup+3.10082 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 1391
/proc/meminfo: memFree=30893576/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9625004 CPUtime=4 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 8880 0 1 0 396 4 0 0 20 0 19 0 290890743 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2406251 28467 2289 9 0 2396937 0
[pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=3.01 cores=1,3,5,7
/proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2553 0 1 0 298 3 0 0 20 0 19 0 290890744 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888215953832 139888041939110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 290890746 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1946 0 0 0 39 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 3128 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 9625004

[startup+6.30075 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 1391
/proc/meminfo: memFree=30870552/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9625004 CPUtime=7.42 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 9568 0 1 0 737 5 0 0 20 0 19 0 290890743 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2406251 28851 2291 9 0 2396937 0
[pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=6.15 cores=1,3,5,7
/proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2556 0 1 0 612 3 0 0 20 0 19 0 290890744 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888215953256 139888041828770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 43 0 0 0 6 0 0 0 20 0 19 0 290890746 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1987 0 0 0 46 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 3759 0 0 0 60 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 95 0 0 0 17 12 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1668.1
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1499
/proc/meminfo: memFree=31018744/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9625004 CPUtime=1728.37 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 11452 0 1 0 172806 31 0 0 20 0 19 0 290890743 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2406251 38588 2292 9 0 2396937 0
[pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1696.18 cores=1,3,5,7
/proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2991 0 1 0 169588 30 0 0 20 0 19 0 290890744 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888215953744 139888041773796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 91 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 23 0 0 0 88 1 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 56 0 0 0 89 0 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 76 0 0 0 91 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 24 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 27 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 88 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 63 0 0 0 92 1 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=19.05 cores=1,3,5,7
/proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 151 0 0 0 1902 3 0 0 20 0 19 0 290890746 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 99 0 0 0 18 12 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.37
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1499
/proc/meminfo: memFree=31018744/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9625004 CPUtime=1788.48 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 11476 0 1 0 178817 31 0 0 20 0 19 0 290890743 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2406251 38592 2292 9 0 2396937 0
[pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1755.37 cores=1,3,5,7
/proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 3003 0 1 0 175506 31 0 0 20 0 19 0 290890744 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888215953744 139888041970041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 23 0 0 0 90 1 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 90 0 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 76 0 0 0 94 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 24 0 0 0 96 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 27 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 91 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 63 0 0 0 95 1 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=19.63 cores=1,3,5,7
/proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 155 0 0 0 1960 3 0 0 20 0 19 0 290890746 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 103 0 0 0 18 12 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1499
/proc/meminfo: memFree=31016448/32873844 swapFree=6872/6872
[pid=1371] ppid=1369 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7
/proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 11482 0 1 0 179971 31 0 0 20 0 19 0 290890743 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1371/statm: 2406251 38596 2292 9 0 2396937 0
[pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1766.72 cores=1,3,5,7
/proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 3005 0 1 0 176641 31 0 0 20 0 19 0 290890744 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888215953744 139888041677708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 94 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 23 0 0 0 91 1 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 91 0 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 80 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 24 0 0 0 97 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 27 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 91 0 0 0 96 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 63 0 0 0 95 1 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=19.75 cores=1,3,5,7
/proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 155 0 0 0 1972 3 0 0 20 0 19 0 290890746 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 103 0 0 0 18 12 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1371 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=289074
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=723889
# CPU time returned by wait4() is 1796.01
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.85
CPU time (s): 1800.02
CPU user time (s): 1799.71
CPU system time (s): 0.31
CPU usage (%): 100.344
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.29
system time used= 0.723889
maximum resident set size= 154508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11515
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49807
involuntary context switches= 45295

runsolver used 5.8901 second user time and 14.0549 second system time

The end

Launcher Data

Begin job on node105 at 2012-05-29 01:37:17
IDJOB=3710452
IDBENCH=92664
IDSOLVER=2289
FILE ID=node105/3710452-1338248237
RUNJOBID= node105-1338228444-32239
PBS_JOBID= 14624634
Free space on /tmp= 71580 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710452-1338248237/watcher-3710452-1338248237 -o /tmp/evaluation-result-3710452-1338248237/solver-3710452-1338248237 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710452-1338248237.opb

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

MD5SUM BENCH= 2c36639357988247c648b63af301f230
RANDOM SEED=1371276183

node105.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.882
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.76
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.882
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	: 5331.91
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.882
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	: 5331.91
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.882
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	: 5331.91
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.882
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	: 5438.54
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.882
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	: 5331.91
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.882
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	: 5331.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30978892 kB
Buffers:          411516 kB
Cached:           295044 kB
SwapCached:         1708 kB
Active:           725792 kB
Inactive:         312952 kB
Active(anon):     328120 kB
Inactive(anon):     4812 kB
Active(file):     397672 kB
Inactive(file):   308140 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100448 kB
Dirty:              1624 kB
Writeback:             0 kB
AnonPages:        335556 kB
Mapped:            17100 kB
Shmem:                 0 kB
Slab:             717496 kB
SReclaimable:     159208 kB
SUnreclaim:       558288 kB
KernelStack:        1600 kB
PageTables:         4916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     826808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71584 MiB
End job on node105 at 2012-05-29 02:07:13