Trace number 3458482

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)27 1800.19 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM0b594d74f3df9901bfa97fac996b1847
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark15.5586
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458482-1307156122.opb
0.10/0.11	c reading problem ... 
0.76/0.46	c ... done. Wall clock time 0.357s.
0.76/0.46	c #vars     7437
0.76/0.46	c #constraints  23270
0.76/0.46	c constraints type 
0.76/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832
0.76/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842
1.06/0.57	c SATISFIABLE
1.06/0.57	c OPTIMIZING...
1.06/0.57	c Got one! Elapsed wall clock time (in seconds):0.459
1.06/0.57	o 39
1.30/0.64	c Got one! Elapsed wall clock time (in seconds):0.529
1.30/0.64	o 38
1.30/0.68	c Got one! Elapsed wall clock time (in seconds):0.571
1.30/0.68	o 37
1.60/0.79	c Got one! Elapsed wall clock time (in seconds):0.679
1.60/0.79	o 33
1.83/0.84	c Got one! Elapsed wall clock time (in seconds):0.736
1.83/0.84	o 30
3.01/1.93	c Got one! Elapsed wall clock time (in seconds):1.822
3.01/1.93	o 29
4.32/3.23	c cleaning 2905 clauses out of 5819 with flag 3001/5819
6.59/5.45	c cleaning 4453 clauses out of 8913 with flag 9000/11818
9.49/8.32	c cleaning 5725 clauses out of 11460 with flag 16000/18818
12.60/11.48	c cleaning 6863 clauses out of 13736 with flag 24001/26819
16.14/14.93	c cleaning 7928 clauses out of 15872 with flag 33000/35818
19.96/18.78	c cleaning 8968 clauses out of 17946 with flag 43002/45820
24.37/23.15	c cleaning 9978 clauses out of 19976 with flag 54000/56818
29.35/28.12	c cleaning 10994 clauses out of 21998 with flag 66000/68818
34.65/33.44	c cleaning 11996 clauses out of 24006 with flag 79002/81820
40.05/38.88	c cleaning 13000 clauses out of 26009 with flag 93001/95819
46.07/44.82	c cleaning 13996 clauses out of 28009 with flag 108001/110819
50.07/48.83	c Got one! Elapsed wall clock time (in seconds):48.726
50.07/48.83	o 28
51.37/50.16	c cleaning 14977 clauses out of 29966 with flag 5001/126772
53.97/52.71	c cleaning 10485 clauses out of 20988 with flag 11000/132771
56.29/55.11	c cleaning 8746 clauses out of 17504 with flag 18001/139772
59.47/58.31	c cleaning 8368 clauses out of 16757 with flag 26000/147771
63.17/61.96	c cleaning 8685 clauses out of 17389 with flag 35000/156771
67.18/65.90	c cleaning 9342 clauses out of 18704 with flag 45000/166771
71.28/70.06	c cleaning 10178 clauses out of 20363 with flag 56001/177772
75.68/74.42	c cleaning 11087 clauses out of 22186 with flag 68002/189773
80.78/79.55	c cleaning 12043 clauses out of 24097 with flag 81000/202771
85.68/84.44	c cleaning 13022 clauses out of 26054 with flag 95000/216771
91.19/89.91	c cleaning 14009 clauses out of 28033 with flag 110001/231772
97.49/96.28	c cleaning 15006 clauses out of 30023 with flag 126000/247771
104.59/103.40	c cleaning 16001 clauses out of 32017 with flag 143000/264771
111.50/110.29	c cleaning 17002 clauses out of 34017 with flag 161001/282772
118.80/117.52	c cleaning 17999 clauses out of 36015 with flag 180001/301772
127.20/125.92	c cleaning 18999 clauses out of 38015 with flag 200000/321771
135.12/133.81	c cleaning 20000 clauses out of 40017 with flag 221001/342772
143.24/141.96	c cleaning 20998 clauses out of 42017 with flag 243001/364772
152.04/150.80	c cleaning 22000 clauses out of 44019 with flag 266001/387772
160.73/159.47	c cleaning 22508 clauses out of 45019 with flag 289001/410772
168.93/167.64	c cleaning 22749 clauses out of 45510 with flag 312000/433771
178.04/176.71	c cleaning 22874 clauses out of 45761 with flag 335000/456771
187.84/186.56	c cleaning 22940 clauses out of 45889 with flag 358002/479773
197.45/196.15	c cleaning 22963 clauses out of 45947 with flag 381000/502771
207.35/206.06	c cleaning 22984 clauses out of 45984 with flag 404000/525771
216.46/215.12	c cleaning 22991 clauses out of 46000 with flag 427000/548771
225.56/224.20	c cleaning 22996 clauses out of 46009 with flag 450000/571771
234.36/233.06	c cleaning 22996 clauses out of 46013 with flag 473000/594771
243.87/242.52	c cleaning 23000 clauses out of 46020 with flag 496003/617774
253.17/251.82	c cleaning 22999 clauses out of 46017 with flag 519000/640771
262.37/261.06	c cleaning 23001 clauses out of 46018 with flag 542000/663771
271.68/270.31	c cleaning 23001 clauses out of 46017 with flag 565000/686771
281.18/279.84	c cleaning 23003 clauses out of 46018 with flag 588002/709773
289.71/288.37	c cleaning 23001 clauses out of 46013 with flag 611000/732771
298.19/296.81	c cleaning 23000 clauses out of 46013 with flag 634001/755772
306.29/304.92	c cleaning 22996 clauses out of 46012 with flag 657000/778771
315.60/314.24	c cleaning 23001 clauses out of 46016 with flag 680000/801771
324.92/323.54	c cleaning 23001 clauses out of 46016 with flag 703001/824772
334.51/333.17	c cleaning 22994 clauses out of 46014 with flag 726000/847771
344.52/343.12	c cleaning 22999 clauses out of 46020 with flag 749000/870771
353.92/352.52	c cleaning 23006 clauses out of 46022 with flag 772001/893772
361.92/360.56	c cleaning 23003 clauses out of 46016 with flag 795001/916772
370.53/369.11	c cleaning 23000 clauses out of 46014 with flag 818002/939773
379.03/377.68	c cleaning 22997 clauses out of 46016 with flag 841004/962775
387.65/386.28	c cleaning 22999 clauses out of 46015 with flag 864000/985771
396.14/394.71	c cleaning 22996 clauses out of 46016 with flag 887000/1008771
404.54/403.15	c cleaning 22995 clauses out of 46020 with flag 910000/1031771
413.66/412.20	c cleaning 23005 clauses out of 46025 with flag 933000/1054771
423.26/421.83	c cleaning 22999 clauses out of 46021 with flag 956001/1077772
431.59/430.19	c cleaning 23003 clauses out of 46021 with flag 979000/1100771
440.27/438.87	c cleaning 23003 clauses out of 46021 with flag 1002003/1123774
448.38/446.99	c cleaning 23003 clauses out of 46015 with flag 1025000/1146771
456.40/454.98	c cleaning 22999 clauses out of 46012 with flag 1048000/1169771
464.40/462.95	c cleaning 22998 clauses out of 46013 with flag 1071000/1192771
472.61/471.11	c cleaning 22993 clauses out of 46015 with flag 1094000/1215771
480.91/479.49	c cleaning 23001 clauses out of 46022 with flag 1117000/1238771
489.42/488.00	c cleaning 23002 clauses out of 46021 with flag 1140000/1261771
498.13/496.62	c cleaning 23000 clauses out of 46019 with flag 1163000/1284771
506.45/504.93	c cleaning 23001 clauses out of 46019 with flag 1186000/1307771
514.83/513.35	c cleaning 23001 clauses out of 46018 with flag 1209000/1330771
523.74/522.29	c cleaning 23005 clauses out of 46017 with flag 1232000/1353771
532.04/530.55	c cleaning 22999 clauses out of 46014 with flag 1255002/1376773
540.25/538.76	c cleaning 22996 clauses out of 46013 with flag 1278000/1399771
548.65/547.11	c cleaning 23003 clauses out of 46018 with flag 1301001/1422772
557.75/556.23	c cleaning 22999 clauses out of 46014 with flag 1324000/1445771
565.97/564.46	c cleaning 23002 clauses out of 46015 with flag 1347000/1468771
573.96/572.45	c cleaning 22991 clauses out of 46013 with flag 1370000/1491771
583.16/581.63	c cleaning 23004 clauses out of 46022 with flag 1393000/1514771
591.97/590.43	c cleaning 23000 clauses out of 46018 with flag 1416000/1537771
600.27/598.74	c cleaning 22996 clauses out of 46018 with flag 1439000/1560771
608.79/607.29	c cleaning 23000 clauses out of 46022 with flag 1462000/1583771
617.60/616.10	c cleaning 23003 clauses out of 46022 with flag 1485000/1606771
626.18/624.61	c cleaning 22999 clauses out of 46019 with flag 1508000/1629771
635.59/634.01	c cleaning 23003 clauses out of 46022 with flag 1531002/1652773
644.11/642.55	c cleaning 23000 clauses out of 46018 with flag 1554001/1675772
652.59/651.01	c cleaning 23006 clauses out of 46017 with flag 1577000/1698771
661.30/659.71	c cleaning 22997 clauses out of 46011 with flag 1600000/1721771
670.43/668.87	c cleaning 23002 clauses out of 46017 with flag 1623003/1744774
679.80/678.26	c cleaning 22993 clauses out of 46013 with flag 1646001/1767772
688.51/686.98	c cleaning 23006 clauses out of 46022 with flag 1669003/1790774
697.62/696.04	c cleaning 23000 clauses out of 46013 with flag 1692000/1813771
706.43/704.86	c cleaning 22999 clauses out of 46013 with flag 1715000/1836771
715.43/713.83	c cleaning 23000 clauses out of 46014 with flag 1738000/1859771
724.13/722.52	c cleaning 22994 clauses out of 46014 with flag 1761000/1882771
733.03/731.40	c cleaning 23006 clauses out of 46022 with flag 1784002/1905773
741.54/739.91	c cleaning 22993 clauses out of 46014 with flag 1807000/1928771
750.14/748.58	c cleaning 23005 clauses out of 46021 with flag 1830000/1951771
759.44/757.82	c cleaning 22993 clauses out of 46016 with flag 1853000/1974771
768.15/766.51	c cleaning 23006 clauses out of 46023 with flag 1876000/1997771
776.85/775.27	c cleaning 23005 clauses out of 46018 with flag 1899001/2020772
785.55/783.96	c cleaning 23001 clauses out of 46013 with flag 1922001/2043772
793.85/792.20	c cleaning 22998 clauses out of 46011 with flag 1945000/2066771
802.16/800.52	c cleaning 23000 clauses out of 46013 with flag 1968000/2089771
810.66/809.05	c cleaning 23001 clauses out of 46013 with flag 1991000/2112771
818.76/817.17	c cleaning 22999 clauses out of 46012 with flag 2014000/2135771
827.47/825.83	c cleaning 23001 clauses out of 46015 with flag 2037002/2158773
836.87/835.26	c cleaning 22999 clauses out of 46013 with flag 2060001/2181772
846.18/844.53	c cleaning 23001 clauses out of 46014 with flag 2083001/2204772
855.40/853.79	c cleaning 22996 clauses out of 46012 with flag 2106000/2227771
864.88/863.21	c cleaning 23003 clauses out of 46016 with flag 2129000/2250771
874.98/873.32	c cleaning 22995 clauses out of 46013 with flag 2152000/2273771
884.29/882.65	c cleaning 22999 clauses out of 46018 with flag 2175000/2296771
892.82/891.16	c cleaning 23005 clauses out of 46021 with flag 2198002/2319773
901.20/899.55	c cleaning 23001 clauses out of 46017 with flag 2221003/2342774
909.51/907.89	c cleaning 22997 clauses out of 46014 with flag 2244001/2365772
918.21/916.58	c cleaning 22997 clauses out of 46016 with flag 2267000/2388771
927.31/925.69	c cleaning 22999 clauses out of 46020 with flag 2290001/2411772
936.52/934.85	c cleaning 23009 clauses out of 46021 with flag 2313001/2434772
945.32/943.69	c cleaning 23001 clauses out of 46014 with flag 2336003/2457774
953.93/952.21	c cleaning 22996 clauses out of 46010 with flag 2359000/2480771
962.63/960.92	c cleaning 22994 clauses out of 46014 with flag 2382000/2503771
971.43/969.74	c cleaning 23004 clauses out of 46021 with flag 2405001/2526772
979.44/977.74	c cleaning 22997 clauses out of 46016 with flag 2428000/2549771
987.24/985.56	c cleaning 23001 clauses out of 46020 with flag 2451001/2572772
995.06/993.38	c cleaning 23003 clauses out of 46019 with flag 2474001/2595772
1003.25/1001.55	c cleaning 22988 clauses out of 46015 with flag 2497000/2618771
1011.15/1009.46	c cleaning 23002 clauses out of 46027 with flag 2520000/2641771
1019.27/1017.57	c cleaning 23008 clauses out of 46025 with flag 2543000/2664771
1028.66/1026.93	c cleaning 22998 clauses out of 46017 with flag 2566000/2687771
1038.26/1036.53	c cleaning 22999 clauses out of 46019 with flag 2589000/2710771
1048.07/1046.32	c cleaning 22998 clauses out of 46020 with flag 2612000/2733771
1058.07/1056.31	c cleaning 23003 clauses out of 46022 with flag 2635000/2756771
1067.69/1065.98	c cleaning 23006 clauses out of 46019 with flag 2658000/2779771
1077.60/1075.88	c cleaning 22992 clauses out of 46013 with flag 2681000/2802771
1087.79/1086.01	c cleaning 23004 clauses out of 46023 with flag 2704002/2825773
1097.99/1096.25	c cleaning 23001 clauses out of 46018 with flag 2727001/2848772
1107.59/1105.87	c cleaning 22998 clauses out of 46016 with flag 2750000/2871771
1117.22/1115.45	c cleaning 22999 clauses out of 46019 with flag 2773001/2894772
1126.80/1125.08	c cleaning 22999 clauses out of 46019 with flag 2796000/2917771
1136.03/1134.28	c cleaning 23003 clauses out of 46021 with flag 2819001/2940772
1145.31/1143.54	c cleaning 22998 clauses out of 46017 with flag 2842000/2963771
1154.11/1152.37	c cleaning 23000 clauses out of 46019 with flag 2865000/2986771
1163.21/1161.48	c cleaning 23005 clauses out of 46021 with flag 2888002/3009773
1172.41/1170.64	c cleaning 23000 clauses out of 46015 with flag 2911001/3032772
1181.82/1180.09	c cleaning 22998 clauses out of 46014 with flag 2934000/3055771
1191.62/1189.89	c cleaning 23006 clauses out of 46017 with flag 2957001/3078772
1200.03/1198.29	c cleaning 22999 clauses out of 46012 with flag 2980002/3101773
1208.33/1206.52	c cleaning 22998 clauses out of 46011 with flag 3003000/3124771
1217.94/1216.18	c cleaning 22999 clauses out of 46013 with flag 3026000/3147771
1228.36/1226.60	c cleaning 22998 clauses out of 46014 with flag 3049000/3170771
1237.65/1235.84	c cleaning 22995 clauses out of 46016 with flag 3072000/3193771
1246.85/1245.04	c cleaning 23002 clauses out of 46022 with flag 3095001/3216772
1255.26/1253.40	c cleaning 23001 clauses out of 46019 with flag 3118000/3239771
1263.68/1261.83	c cleaning 23001 clauses out of 46018 with flag 3141000/3262771
1272.56/1270.74	c cleaning 22997 clauses out of 46018 with flag 3164001/3285772
1281.67/1279.84	c cleaning 23005 clauses out of 46023 with flag 3187003/3308774
1290.77/1288.94	c cleaning 22999 clauses out of 46015 with flag 3210000/3331771
1299.90/1298.03	c cleaning 22995 clauses out of 46016 with flag 3233000/3354771
1308.88/1307.08	c cleaning 23000 clauses out of 46023 with flag 3256002/3377773
1317.98/1316.18	c cleaning 22998 clauses out of 46021 with flag 3279000/3400771
1327.10/1325.21	c cleaning 23005 clauses out of 46023 with flag 3302000/3423771
1336.10/1334.22	c cleaning 23005 clauses out of 46018 with flag 3325000/3446771
1345.80/1343.98	c cleaning 22997 clauses out of 46013 with flag 3348000/3469771
1356.03/1354.13	c cleaning 23000 clauses out of 46016 with flag 3371000/3492771
1366.41/1364.51	c cleaning 23001 clauses out of 46017 with flag 3394001/3515772
1375.83/1373.92	c cleaning 22991 clauses out of 46016 with flag 3417001/3538772
1385.32/1383.42	c cleaning 23000 clauses out of 46024 with flag 3440000/3561771
1394.82/1392.90	c cleaning 23004 clauses out of 46025 with flag 3463001/3584772
1400.52/1398.68	c Got one! Elapsed wall clock time (in seconds):1398.575
1400.52/1398.68	o 27
1402.12/1400.22	c cleaning 21052 clauses out of 42119 with flag 5000/3603870
1403.93/1402.08	c cleaning 13529 clauses out of 27069 with flag 11002/3609872
1405.73/1403.90	c cleaning 10261 clauses out of 20538 with flag 18000/3616870
1407.93/1406.01	c cleaning 9129 clauses out of 18278 with flag 26001/3624871
1410.14/1408.28	c cleaning 9051 clauses out of 18148 with flag 35000/3633870
1412.94/1411.02	c cleaning 9537 clauses out of 19098 with flag 45001/3643871
1415.56/1413.68	c cleaning 10266 clauses out of 20560 with flag 56000/3654870
1418.44/1416.56	c cleaning 11138 clauses out of 22295 with flag 68001/3666871
1422.07/1420.17	c cleaning 12070 clauses out of 24157 with flag 81001/3679871
1425.95/1424.01	c cleaning 13030 clauses out of 26086 with flag 95000/3693870
1429.77/1427.91	c cleaning 14011 clauses out of 28056 with flag 110000/3708870
1434.18/1432.25	c cleaning 15004 clauses out of 30045 with flag 126000/3724870
1438.86/1436.92	c cleaning 15993 clauses out of 32041 with flag 143000/3741870
1443.86/1441.95	c cleaning 17013 clauses out of 34049 with flag 161001/3759871
1449.87/1447.91	c cleaning 18003 clauses out of 36035 with flag 180000/3778870
1455.37/1453.47	c cleaning 19005 clauses out of 38032 with flag 200000/3798870
1461.87/1459.90	c cleaning 20001 clauses out of 40028 with flag 221001/3819871
1470.18/1468.24	c cleaning 21005 clauses out of 42026 with flag 243000/3841870
1479.40/1477.45	c cleaning 22007 clauses out of 44023 with flag 266002/3864872
1488.69/1486.78	c cleaning 22502 clauses out of 45016 with flag 289002/3887872
1497.69/1495.78	c cleaning 22747 clauses out of 45512 with flag 312000/3910870
1506.50/1504.57	c cleaning 22872 clauses out of 45765 with flag 335000/3933870
1515.40/1513.47	c cleaning 22939 clauses out of 45894 with flag 358001/3956871
1525.21/1523.25	c cleaning 22967 clauses out of 45955 with flag 381001/3979871
1534.51/1532.56	c cleaning 22978 clauses out of 45988 with flag 404001/4002871
1543.63/1541.65	c cleaning 22995 clauses out of 46009 with flag 427000/4025870
1552.53/1550.54	c cleaning 22998 clauses out of 46015 with flag 450001/4048871
1561.74/1559.79	c cleaning 22998 clauses out of 46016 with flag 473000/4071870
1570.66/1568.70	c cleaning 23002 clauses out of 46020 with flag 496002/4094872
1579.65/1577.63	c cleaning 22993 clauses out of 46016 with flag 519000/4117870
1588.15/1586.12	c cleaning 23003 clauses out of 46024 with flag 542001/4140871
1596.07/1594.08	c cleaning 23005 clauses out of 46023 with flag 565003/4163873
1604.16/1602.10	c cleaning 23002 clauses out of 46015 with flag 588000/4186870
1612.86/1610.83	c cleaning 22996 clauses out of 46014 with flag 611001/4209871
1622.07/1620.05	c cleaning 23000 clauses out of 46018 with flag 634001/4232871
1630.67/1628.60	c cleaning 23001 clauses out of 46020 with flag 657003/4255873
1639.57/1637.50	c cleaning 23004 clauses out of 46019 with flag 680003/4278873
1648.08/1646.05	c cleaning 22996 clauses out of 46012 with flag 703000/4301870
1656.88/1654.83	c cleaning 22997 clauses out of 46017 with flag 726001/4324871
1665.58/1663.50	c cleaning 23005 clauses out of 46021 with flag 749002/4347872
1674.21/1672.16	c cleaning 23000 clauses out of 46015 with flag 772001/4370871
1682.91/1680.85	c cleaning 22996 clauses out of 46014 with flag 795000/4393870
1691.50/1689.45	c cleaning 22998 clauses out of 46018 with flag 818000/4416870
1700.40/1698.37	c cleaning 22999 clauses out of 46020 with flag 841000/4439870
1709.71/1707.66	c cleaning 23004 clauses out of 46021 with flag 864000/4462870
1718.71/1716.63	c cleaning 23000 clauses out of 46019 with flag 887002/4485872
1727.71/1725.66	c cleaning 22998 clauses out of 46017 with flag 910000/4508870
1736.42/1734.31	c cleaning 23002 clauses out of 46020 with flag 933001/4531871
1745.12/1743.06	c cleaning 22997 clauses out of 46017 with flag 956000/4554870
1754.12/1752.05	c cleaning 23000 clauses out of 46020 with flag 979000/4577870
1762.63/1760.55	c cleaning 23006 clauses out of 46021 with flag 1002001/4600871
1771.73/1769.69	c cleaning 22996 clauses out of 46014 with flag 1025000/4623870
1780.43/1778.36	c cleaning 22996 clauses out of 46018 with flag 1048000/4646870
1789.04/1786.94	c cleaning 23006 clauses out of 46022 with flag 1071000/4669870
1797.64/1795.55	c cleaning 23000 clauses out of 46016 with flag 1094000/4692870
1800.07/1797.92	c starts		: 275
1800.07/1797.92	c conflicts		: 4699051
1800.07/1797.92	c decisions		: 15636206
1800.07/1797.92	c propagations		: 7427237295
1800.07/1797.92	c inspects		: 8409726405
1800.07/1797.92	c shortcuts		: 0
1800.07/1797.92	c learnt literals	: 0
1800.07/1797.92	c learnt binary clauses	: 0
1800.07/1797.92	c learnt ternary clauses	: 3
1800.07/1797.92	c learnt constraints	: 4699052
1800.07/1797.92	c ignored constraints	: 0
1800.07/1797.92	c root simplifications	: 0
1800.07/1797.92	c removed literals (reason simplification)	: 8042085
1800.07/1797.92	c reason swapping (by a shorter reason)	: 0
1800.07/1797.92	c Calls to reduceDB	: 224
1800.07/1797.92	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.92	c number of learned constraints concerned by reduction	: 0
1800.07/1797.92	c number of learning phase by resolution	: 0
1800.07/1797.92	c number of learning phase by cutting planes	: 0
1800.07/1797.92	c speed (assignments/second)	: 1.8603446984270114E7
1800.07/1797.92	c non guided choices	27630
1800.07/1797.94	c learnt constraints type 
1800.07/1797.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 29232
1800.07/1797.94	c constraints type 
1800.07/1797.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832
1800.07/1797.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1797.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842
1800.07/1797.94	s SATISFIABLE
1800.07/1797.95	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 
1800.07/1797.95	c objective function=27
1800.07/1797.95	c Total wall clock time (in seconds): 1797.848

Verifier Data 

OK	27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458482-1307156122/watcher-3458482-1307156122 -o /tmp/evaluation-result-3458482-1307156122/solver-3458482-1307156122 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458482-1307156122.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 2.01 1.99 3/550 27425
/proc/meminfo: memFree=21155976/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 9875 0 1 0 0 0 0 0 22 0 2 0 827212599 13850947584 9577 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3381579 9592 917 9 0 3372735 0
[pid=27425/tid=27427] ppid=27423 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 8826 0 1 0 0 0 0 0 25 0 2 0 827212599 13850947584 9643 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253640553531 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.101443 s]
/proc/loadavg: 1.92 2.01 1.99 3/550 27425
/proc/meminfo: memFree=21155976/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13622456 CPUtime=0.1 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 15625 0 1 0 9 1 0 0 22 0 18 0 827212599 13949394944 15291 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3405614 15291 2093 9 0 3396348 0
[pid=27425/tid=27427] ppid=27423 vsize=13622456 CPUtime=0.08 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 13663 0 1 0 7 1 0 0 25 0 18 0 827212599 13949394944 15292 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622456

[startup+0.200474 s]
/proc/loadavg: 1.92 2.01 1.99 3/550 27425
/proc/meminfo: memFree=21155976/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13622896 CPUtime=0.29 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 16919 0 1 0 27 2 0 0 22 0 18 0 827212599 13949845504 16368 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3405724 16368 2187 9 0 3396458 0
[pid=27425/tid=27427] ppid=27423 vsize=13622896 CPUtime=0.18 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 14462 0 1 0 17 1 0 0 25 0 18 0 827212599 13949845504 16369 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13622896

[startup+0.300436 s]
/proc/loadavg: 1.92 2.01 1.99 3/550 27425
/proc/meminfo: memFree=21155976/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13624440 CPUtime=0.52 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 19518 0 1 0 50 2 0 0 22 0 18 0 827212599 13951426560 18629 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3406110 18630 2202 9 0 3396844 0
[pid=27425/tid=27427] ppid=27423 vsize=13624440 CPUtime=0.29 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 15977 0 1 0 27 2 0 0 25 0 18 0 827212599 13951426560 18630 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505587214 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13624440

[startup+0.700337 s]
/proc/loadavg: 1.92 2.01 1.99 3/550 27425
/proc/meminfo: memFree=21155976/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13628464 CPUtime=1.6 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 34452 0 1 0 156 4 0 0 22 0 19 0 827212599 13955547136 30401 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3407116 30401 2236 9 0 3397850 0
[pid=27425/tid=27427] ppid=27423 vsize=13628464 CPUtime=0.68 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 26084 0 1 0 65 3 0 0 25 0 19 0 827212599 13955547136 30401 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505164273 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 13628464

[startup+1.50122 s]
/proc/loadavg: 1.92 2.01 1.99 3/587 27462
/proc/meminfo: memFree=20960640/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13628464 CPUtime=2.61 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 35377 0 1 0 257 4 0 0 22 0 19 0 827212599 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3407116 31059 2238 9 0 3397850 0
[pid=27425/tid=27427] ppid=27423 vsize=13628464 CPUtime=1.48 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 26747 0 1 0 145 3 0 0 25 0 19 0 827212599 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505912705 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27425/tid=27438] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27438/stat : 27438 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27439] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27439/stat : 27439 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27440] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27440/stat : 27440 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27441] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27441/stat : 27441 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27442] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27442/stat : 27442 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27443] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27443/stat : 27443 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27444] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27444/stat : 27444 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27445] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27445/stat : 27445 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27448] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27448/stat : 27448 (java) S 27423 27425 24519 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827212602 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27449] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27449/stat : 27449 (java) S 27423 27425 24519 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827212603 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27450] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27450/stat : 27450 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212603 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27456] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27456/stat : 27456 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27457] ppid=27423 vsize=13628464 CPUtime=0.61 cores=1,3,5,7
/proc/27425/task/27457/stat : 27457 (java) S 27423 27425 24519 0 -1 4202560 2799 0 0 0 61 0 0 0 20 0 19 0 827212605 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27458] ppid=27423 vsize=13628464 CPUtime=0.5 cores=1,3,5,7
/proc/27425/task/27458/stat : 27458 (java) S 27423 27425 24519 0 -1 4202560 4670 0 0 0 50 0 0 0 15 0 19 0 827212605 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27459] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27459/stat : 27459 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27460] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27460/stat : 27460 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827212605 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27462] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27462/stat : 27462 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212649 13955547136 31059 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 13628464

[startup+3.10094 s]
/proc/loadavg: 1.93 2.01 1.99 3/587 27462
/proc/meminfo: memFree=20956180/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13628464 CPUtime=4.22 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 35910 0 1 0 418 4 0 0 22 0 19 0 827212599 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3407116 31590 2238 9 0 3397850 0
[pid=27425/tid=27427] ppid=27423 vsize=13628464 CPUtime=3.08 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 27279 0 1 0 305 3 0 0 25 0 19 0 827212599 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912506095349 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27425/tid=27438] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27438/stat : 27438 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27439] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27439/stat : 27439 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27440] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27440/stat : 27440 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27441] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27441/stat : 27441 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27442] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27442/stat : 27442 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27443] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27443/stat : 27443 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27444] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27444/stat : 27444 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27445] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27445/stat : 27445 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212601 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27448] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27448/stat : 27448 (java) S 27423 27425 24519 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827212602 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27449] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27449/stat : 27449 (java) S 27423 27425 24519 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827212603 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27450] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27450/stat : 27450 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212603 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27456] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27456/stat : 27456 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27457] ppid=27423 vsize=13628464 CPUtime=0.61 cores=1,3,5,7
/proc/27425/task/27457/stat : 27457 (java) S 27423 27425 24519 0 -1 4202560 2799 0 0 0 61 0 0 0 15 0 19 0 827212605 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27458] ppid=27423 vsize=13628464 CPUtime=0.5 cores=1,3,5,7
/proc/27425/task/27458/stat : 27458 (java) S 27423 27425 24519 0 -1 4202560 4670 0 0 0 50 0 0 0 15 0 19 0 827212605 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27459] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27459/stat : 27459 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27460] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27460/stat : 27460 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827212605 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27462] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27462/stat : 27462 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212649 13955547136 31590 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13628464

[startup+6.30135 s]
/proc/loadavg: 1.93 2.01 1.99 3/587 27463
/proc/meminfo: memFree=20935440/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13628464 CPUtime=7.49 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 38653 0 1 0 744 5 0 0 22 0 19 0 827212599 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3407116 34302 2264 9 0 3397850 0
[pid=27425/tid=27427] ppid=27423 vsize=13628464 CPUtime=6.23 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 27309 0 1 0 620 3 0 0 25 0 19 0 827212599 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505935443 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27425/tid=27438] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27438/stat : 27438 (java) S 27423 27425 24519 0 -1 4202560 310 0 0 0 0 0 0 0 15 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27439] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27439/stat : 27439 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27440] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27440/stat : 27440 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27441] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27441/stat : 27441 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27442] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27442/stat : 27442 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27443] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27443/stat : 27443 (java) S 27423 27425 24519 0 -1 4202560 197 0 0 0 0 0 0 0 18 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27444] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27444/stat : 27444 (java) S 27423 27425 24519 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27445] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27445/stat : 27445 (java) S 27423 27425 24519 0 -1 4202560 522 0 0 0 0 0 0 0 18 0 19 0 827212601 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27448] ppid=27423 vsize=13628464 CPUtime=0.04 cores=1,3,5,7
/proc/27425/task/27448/stat : 27448 (java) S 27423 27425 24519 0 -1 4202560 1210 0 0 0 4 0 0 0 16 0 19 0 827212602 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27449] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27449/stat : 27449 (java) S 27423 27425 24519 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27450] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27450/stat : 27450 (java) S 27423 27425 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27456] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27456/stat : 27456 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27457] ppid=27423 vsize=13628464 CPUtime=0.64 cores=1,3,5,7
/proc/27425/task/27457/stat : 27457 (java) S 27423 27425 24519 0 -1 4202560 2807 0 0 0 64 0 0 0 16 0 19 0 827212605 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27458] ppid=27423 vsize=13628464 CPUtime=0.53 cores=1,3,5,7
/proc/27425/task/27458/stat : 27458 (java) S 27423 27425 24519 0 -1 4202560 4693 0 0 0 53 0 0 0 15 0 19 0 827212605 13955547136 34302 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0

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

[pid=27425/tid=27443] ppid=27423 vsize=13628464 CPUtime=0.15 cores=1,3,5,7
/proc/27425/task/27443/stat : 27443 (java) S 27423 27425 24519 0 -1 4202560 416 0 0 0 15 0 0 0 15 0 19 0 827212601 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27444] ppid=27423 vsize=13628464 CPUtime=0.15 cores=1,3,5,7
/proc/27425/task/27444/stat : 27444 (java) S 27423 27425 24519 0 -1 4202560 481 0 0 0 15 0 0 0 15 0 19 0 827212601 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27445] ppid=27423 vsize=13628464 CPUtime=0.19 cores=1,3,5,7
/proc/27425/task/27445/stat : 27445 (java) S 27423 27425 24519 0 -1 4202560 967 0 0 0 19 0 0 0 15 0 19 0 827212601 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27448] ppid=27423 vsize=13628464 CPUtime=6.46 cores=1,3,5,7
/proc/27425/task/27448/stat : 27448 (java) S 27423 27425 24519 0 -1 4202560 5256 0 0 0 642 4 0 0 15 0 19 0 827212602 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 1 0 0 0
[pid=27425/tid=27449] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27449/stat : 27449 (java) S 27423 27425 24519 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27450] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27450/stat : 27450 (java) S 27423 27425 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27456] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27456/stat : 27456 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27457] ppid=27423 vsize=13628464 CPUtime=0.7 cores=1,3,5,7
/proc/27425/task/27457/stat : 27457 (java) S 27423 27425 24519 0 -1 4202560 2819 0 0 0 70 0 0 0 15 0 19 0 827212605 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27458] ppid=27423 vsize=13628464 CPUtime=0.53 cores=1,3,5,7
/proc/27425/task/27458/stat : 27458 (java) S 27423 27425 24519 0 -1 4202560 4693 0 0 0 53 0 0 0 15 0 19 0 827212605 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27459] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27459/stat : 27459 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27460] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27460/stat : 27460 (java) S 27423 27425 24519 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827212605 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27462] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27462/stat : 27462 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212649 13955547136 40107 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1664.38
Current children cumulated vsize (KiB) 13628464

[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/587 27520
/proc/meminfo: memFree=20891788/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13628464 CPUtime=1724.41 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 44878 0 1 0 172428 13 0 0 22 0 19 0 827212599 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3407116 40113 2265 9 0 3397850 0
[pid=27425/tid=27427] ppid=27423 vsize=13628464 CPUtime=1715.08 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 27521 0 1 0 171505 3 0 0 25 0 19 0 827212599 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912506034613 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27425/tid=27438] ppid=27423 vsize=13628464 CPUtime=0.14 cores=1,3,5,7
/proc/27425/task/27438/stat : 27438 (java) S 27423 27425 24519 0 -1 4202560 380 0 0 0 14 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27439] ppid=27423 vsize=13628464 CPUtime=0.14 cores=1,3,5,7
/proc/27425/task/27439/stat : 27439 (java) S 27423 27425 24519 0 -1 4202560 267 0 0 0 14 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27440] ppid=27423 vsize=13628464 CPUtime=0.17 cores=1,3,5,7
/proc/27425/task/27440/stat : 27440 (java) S 27423 27425 24519 0 -1 4202560 272 0 0 0 17 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27441] ppid=27423 vsize=13628464 CPUtime=0.16 cores=1,3,5,7
/proc/27425/task/27441/stat : 27441 (java) S 27423 27425 24519 0 -1 4202560 412 0 0 0 16 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27442] ppid=27423 vsize=13628464 CPUtime=0.18 cores=1,3,5,7
/proc/27425/task/27442/stat : 27442 (java) S 27423 27425 24519 0 -1 4202560 134 0 0 0 18 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27443] ppid=27423 vsize=13628464 CPUtime=0.15 cores=1,3,5,7
/proc/27425/task/27443/stat : 27443 (java) S 27423 27425 24519 0 -1 4202560 420 0 0 0 15 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27444] ppid=27423 vsize=13628464 CPUtime=0.16 cores=1,3,5,7
/proc/27425/task/27444/stat : 27444 (java) S 27423 27425 24519 0 -1 4202560 481 0 0 0 16 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27445] ppid=27423 vsize=13628464 CPUtime=0.2 cores=1,3,5,7
/proc/27425/task/27445/stat : 27445 (java) S 27423 27425 24519 0 -1 4202560 969 0 0 0 20 0 0 0 15 0 19 0 827212601 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27448] ppid=27423 vsize=13628464 CPUtime=6.69 cores=1,3,5,7
/proc/27425/task/27448/stat : 27448 (java) S 27423 27425 24519 0 -1 4202560 5260 0 0 0 665 4 0 0 15 0 19 0 827212602 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 1 0 0 0
[pid=27425/tid=27449] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27449/stat : 27449 (java) S 27423 27425 24519 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27450] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27450/stat : 27450 (java) S 27423 27425 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27456] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27456/stat : 27456 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27457] ppid=27423 vsize=13628464 CPUtime=0.7 cores=1,3,5,7
/proc/27425/task/27457/stat : 27457 (java) S 27423 27425 24519 0 -1 4202560 2819 0 0 0 70 0 0 0 15 0 19 0 827212605 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27458] ppid=27423 vsize=13628464 CPUtime=0.53 cores=1,3,5,7
/proc/27425/task/27458/stat : 27458 (java) S 27423 27425 24519 0 -1 4202560 4693 0 0 0 53 0 0 0 15 0 19 0 827212605 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27459] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27459/stat : 27459 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27460] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27460/stat : 27460 (java) S 27423 27425 24519 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827212605 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27462] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27462/stat : 27462 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212649 13955547136 40113 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1724.41
Current children cumulated vsize (KiB) 13628464

[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/587 27522
/proc/meminfo: memFree=20891004/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13628464 CPUtime=1784.44 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 44890 0 1 0 178431 13 0 0 22 0 19 0 827212599 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3407116 40114 2265 9 0 3397850 0
[pid=27425/tid=27427] ppid=27423 vsize=13628464 CPUtime=1774.83 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 27528 0 1 0 177480 3 0 0 25 0 19 0 827212599 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505885145 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27425/tid=27438] ppid=27423 vsize=13628464 CPUtime=0.14 cores=1,3,5,7
/proc/27425/task/27438/stat : 27438 (java) S 27423 27425 24519 0 -1 4202560 380 0 0 0 14 0 0 0 15 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27439] ppid=27423 vsize=13628464 CPUtime=0.14 cores=1,3,5,7
/proc/27425/task/27439/stat : 27439 (java) S 27423 27425 24519 0 -1 4202560 267 0 0 0 14 0 0 0 15 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27440] ppid=27423 vsize=13628464 CPUtime=0.18 cores=1,3,5,7
/proc/27425/task/27440/stat : 27440 (java) S 27423 27425 24519 0 -1 4202560 272 0 0 0 18 0 0 0 15 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27441] ppid=27423 vsize=13628464 CPUtime=0.16 cores=1,3,5,7
/proc/27425/task/27441/stat : 27441 (java) S 27423 27425 24519 0 -1 4202560 412 0 0 0 16 0 0 0 16 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27442] ppid=27423 vsize=13628464 CPUtime=0.18 cores=1,3,5,7
/proc/27425/task/27442/stat : 27442 (java) S 27423 27425 24519 0 -1 4202560 134 0 0 0 18 0 0 0 15 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27443] ppid=27423 vsize=13628464 CPUtime=0.15 cores=1,3,5,7
/proc/27425/task/27443/stat : 27443 (java) S 27423 27425 24519 0 -1 4202560 420 0 0 0 15 0 0 0 16 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27444] ppid=27423 vsize=13628464 CPUtime=0.16 cores=1,3,5,7
/proc/27425/task/27444/stat : 27444 (java) S 27423 27425 24519 0 -1 4202560 481 0 0 0 16 0 0 0 16 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27445] ppid=27423 vsize=13628464 CPUtime=0.2 cores=1,3,5,7
/proc/27425/task/27445/stat : 27445 (java) S 27423 27425 24519 0 -1 4202560 970 0 0 0 20 0 0 0 15 0 19 0 827212601 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27448] ppid=27423 vsize=13628464 CPUtime=6.94 cores=1,3,5,7
/proc/27425/task/27448/stat : 27448 (java) S 27423 27425 24519 0 -1 4202560 5262 0 0 0 689 5 0 0 15 0 19 0 827212602 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 1 0 0 0
[pid=27425/tid=27449] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27449/stat : 27449 (java) S 27423 27425 24519 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27450] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27450/stat : 27450 (java) S 27423 27425 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27456] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27456/stat : 27456 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27457] ppid=27423 vsize=13628464 CPUtime=0.7 cores=1,3,5,7
/proc/27425/task/27457/stat : 27457 (java) S 27423 27425 24519 0 -1 4202560 2819 0 0 0 70 0 0 0 15 0 19 0 827212605 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27458] ppid=27423 vsize=13628464 CPUtime=0.53 cores=1,3,5,7
/proc/27425/task/27458/stat : 27458 (java) S 27423 27425 24519 0 -1 4202560 4693 0 0 0 53 0 0 0 15 0 19 0 827212605 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27459] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27459/stat : 27459 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27460] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27460/stat : 27460 (java) S 27423 27425 24519 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827212605 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27462] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27462/stat : 27462 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212649 13955547136 40114 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (KiB) 13628464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.08 2.05 2.01 2/567 27525
/proc/meminfo: memFree=21009200/32951124 swapFree=53733252/67111528
[pid=27425] ppid=27423 vsize=13628464 CPUtime=1800.07 cores=1,3,5,7
/proc/27425/stat : 27425 (java) S 27423 27425 24519 0 -1 4202496 44897 0 1 0 179994 13 0 0 22 0 19 0 827212599 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27425/statm: 3407116 40115 2265 9 0 3397850 0
[pid=27425/tid=27427] ppid=27423 vsize=13628464 CPUtime=1790.37 cores=1,3,5,7
/proc/27425/task/27427/stat : 27427 (java) R 27423 27425 24519 0 -1 4202560 27530 0 1 0 179034 3 0 0 25 0 19 0 827212599 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 46912505935581 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27425/tid=27438] ppid=27423 vsize=13628464 CPUtime=0.14 cores=1,3,5,7
/proc/27425/task/27438/stat : 27438 (java) S 27423 27425 24519 0 -1 4202560 380 0 0 0 14 0 0 0 15 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27439] ppid=27423 vsize=13628464 CPUtime=0.15 cores=1,3,5,7
/proc/27425/task/27439/stat : 27439 (java) S 27423 27425 24519 0 -1 4202560 267 0 0 0 15 0 0 0 15 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27440] ppid=27423 vsize=13628464 CPUtime=0.18 cores=1,3,5,7
/proc/27425/task/27440/stat : 27440 (java) S 27423 27425 24519 0 -1 4202560 272 0 0 0 18 0 0 0 15 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27441] ppid=27423 vsize=13628464 CPUtime=0.16 cores=1,3,5,7
/proc/27425/task/27441/stat : 27441 (java) S 27423 27425 24519 0 -1 4202560 412 0 0 0 16 0 0 0 15 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27442] ppid=27423 vsize=13628464 CPUtime=0.18 cores=1,3,5,7
/proc/27425/task/27442/stat : 27442 (java) S 27423 27425 24519 0 -1 4202560 134 0 0 0 18 0 0 0 15 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27443] ppid=27423 vsize=13628464 CPUtime=0.16 cores=1,3,5,7
/proc/27425/task/27443/stat : 27443 (java) S 27423 27425 24519 0 -1 4202560 421 0 0 0 16 0 0 0 16 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27444] ppid=27423 vsize=13628464 CPUtime=0.17 cores=1,3,5,7
/proc/27425/task/27444/stat : 27444 (java) S 27423 27425 24519 0 -1 4202560 481 0 0 0 17 0 0 0 15 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27445] ppid=27423 vsize=13628464 CPUtime=0.2 cores=1,3,5,7
/proc/27425/task/27445/stat : 27445 (java) S 27423 27425 24519 0 -1 4202560 970 0 0 0 20 0 0 0 15 0 19 0 827212601 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27448] ppid=27423 vsize=13628464 CPUtime=7.01 cores=1,3,5,7
/proc/27425/task/27448/stat : 27448 (java) S 27423 27425 24519 0 -1 4202560 5264 0 0 0 696 5 0 0 15 0 19 0 827212602 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 0 0 16800975 18446604468954801280 0 0 -1 1 0 0 0
[pid=27425/tid=27449] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27449/stat : 27449 (java) S 27423 27425 24519 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27450] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27450/stat : 27450 (java) S 27423 27425 24519 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827212603 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27456] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27456/stat : 27456 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652683185 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27457] ppid=27423 vsize=13628464 CPUtime=0.7 cores=1,3,5,7
/proc/27425/task/27457/stat : 27457 (java) S 27423 27425 24519 0 -1 4202560 2819 0 0 0 70 0 0 0 15 0 19 0 827212605 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 7 0 0 0
[pid=27425/tid=27458] ppid=27423 vsize=13628464 CPUtime=0.53 cores=1,3,5,7
/proc/27425/task/27458/stat : 27458 (java) S 27423 27425 24519 0 -1 4202560 4693 0 0 0 53 0 0 0 15 0 19 0 827212605 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27459] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27459/stat : 27459 (java) S 27423 27425 24519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827212605 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652675481 0 4 0 16800975 18446604468954801280 0 0 -1 5 0 0 0
[pid=27425/tid=27460] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27460/stat : 27460 (java) S 27423 27425 24519 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827212605 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
[pid=27425/tid=27462] ppid=27423 vsize=13628464 CPUtime=0 cores=1,3,5,7
/proc/27425/task/27462/stat : 27462 (java) S 27423 27425 24519 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827212649 13955547136 40115 33554432000 1073741824 1073778376 140737056812496 18446744073709551615 253652676096 0 4 0 16800975 18446604468954801280 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13628464

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

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

Child status: 143
Real time (s): 1797.97
CPU time (s): 1800.19
CPU user time (s): 1800.05
CPU system time (s): 0.144977
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 13629044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.144977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45036
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43452
involuntary context switches= 9731

runsolver used 9.63753 second user time and 23.1085 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-04 04:55:22
IDJOB=3458482
IDBENCH=24984
IDSOLVER=1952
FILE ID=node106/3458482-1307156122
RUNJOBID= node106-1307156122-27406
PBS_JOBID= 13508810
Free space on /tmp= 73760 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458482-1307156122/watcher-3458482-1307156122 -o /tmp/evaluation-result-3458482-1307156122/solver-3458482-1307156122 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458482-1307156122.opb

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

MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847
RANDOM SEED=2038053526

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21160968 kB
Buffers:        396676 kB
Cached:        5983196 kB
SwapCached:      22744 kB
Active:        5895612 kB
Inactive:      5553180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21160968 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            1752 kB
Writeback:           0 kB
AnonPages:     5065260 kB
Mapped:          28936 kB
Slab:           191768 kB
PageTables:      77736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 171982312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73760 MiB
End job on node106 at 2011-06-04 05:25:22