Trace number 3458970

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)5479497 1800.14 1798.16

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUMe99162fa0a9c8caac0a04031bf39653d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4382720
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4815872
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c 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.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3458970-1307149480.opb
0.00/0.11	c reading problem ... 
0.57/0.36	c ... done. Wall clock time 0.255s.
0.57/0.36	c #vars     7812
0.57/0.36	c #constraints  4288
0.57/0.36	c constraints type 
0.57/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316
1.70/0.92	c SATISFIABLE
1.70/0.92	c OPTIMIZING...
1.70/0.92	c Got one! Elapsed wall clock time (in seconds):0.81
1.70/0.92	o 11131126
3.91/3.00	c Got one! Elapsed wall clock time (in seconds):2.892
3.91/3.00	o 11066702
4.43/3.55	c Got one! Elapsed wall clock time (in seconds):3.439
4.43/3.55	o 8886098
4.56/3.65	c Got one! Elapsed wall clock time (in seconds):3.538
4.56/3.65	o 5479497
6.37/5.50	c cleaning 3342 clauses out of 6715 with flag 2001/6715
10.52/9.59	c cleaning 4677 clauses out of 9373 with flag 8001/12715
17.82/16.87	c cleaning 5826 clauses out of 11695 with flag 15000/19714
27.44/26.44	c cleaning 6914 clauses out of 13870 with flag 23001/27715
37.99/37.00	c cleaning 7968 clauses out of 15956 with flag 32001/36715
47.69/46.61	c cleaning 8978 clauses out of 17988 with flag 42001/46715
56.90/55.86	c cleaning 9488 clauses out of 19010 with flag 52001/56715
67.40/66.39	c cleaning 9753 clauses out of 19521 with flag 62000/66714
79.00/77.99	c cleaning 9877 clauses out of 19770 with flag 72002/76716
89.81/88.78	c cleaning 9934 clauses out of 19891 with flag 82000/86714
96.41/95.35	c cleaning 9972 clauses out of 19958 with flag 92001/96715
101.42/100.37	c cleaning 9984 clauses out of 19986 with flag 102001/106715
111.92/110.86	c cleaning 9984 clauses out of 20004 with flag 112003/116717
119.62/118.58	c cleaning 9998 clauses out of 20018 with flag 122001/126715
129.94/128.86	c cleaning 9986 clauses out of 20022 with flag 132003/136717
139.74/138.66	c cleaning 10009 clauses out of 20036 with flag 142003/146717
151.13/150.09	c cleaning 9989 clauses out of 20024 with flag 152000/156714
163.84/162.70	c cleaning 9993 clauses out of 20037 with flag 162002/166716
175.35/174.23	c cleaning 10005 clauses out of 20042 with flag 172000/176714
185.65/184.50	c cleaning 10007 clauses out of 20037 with flag 182000/186714
194.45/193.34	c cleaning 9996 clauses out of 20031 with flag 192001/196715
203.57/202.47	c cleaning 9998 clauses out of 20034 with flag 202000/206714
213.47/212.36	c cleaning 10008 clauses out of 20036 with flag 212000/216714
223.96/222.87	c cleaning 9997 clauses out of 20028 with flag 222000/226714
234.57/233.44	c cleaning 9999 clauses out of 20034 with flag 232003/236717
244.97/243.80	c cleaning 9993 clauses out of 20032 with flag 242000/246714
254.07/252.93	c cleaning 9995 clauses out of 20039 with flag 252000/256714
263.78/262.63	c cleaning 10007 clauses out of 20044 with flag 262000/266714
275.20/274.04	c cleaning 9999 clauses out of 20037 with flag 272000/276714
285.49/284.37	c cleaning 10010 clauses out of 20039 with flag 282001/286715
295.29/294.19	c cleaning 9981 clauses out of 20028 with flag 292000/296714
304.70/303.51	c cleaning 10002 clauses out of 20048 with flag 302001/306715
314.90/313.73	c cleaning 9986 clauses out of 20045 with flag 312000/316714
325.91/324.74	c cleaning 10005 clauses out of 20061 with flag 322002/326716
337.21/336.04	c cleaning 9994 clauses out of 20054 with flag 332000/336714
348.71/347.50	c cleaning 9994 clauses out of 20060 with flag 342000/346714
357.63/356.42	c cleaning 10017 clauses out of 20067 with flag 352001/356715
367.12/365.99	c cleaning 9992 clauses out of 20050 with flag 362001/366715
375.93/374.73	c cleaning 10009 clauses out of 20059 with flag 372002/376716
384.24/383.07	c cleaning 10004 clauses out of 20048 with flag 382000/386714
393.04/391.84	c cleaning 10002 clauses out of 20044 with flag 392000/396714
402.55/401.38	c cleaning 10004 clauses out of 20042 with flag 402000/406714
414.26/413.01	c cleaning 10007 clauses out of 20038 with flag 412000/416714
423.36/422.13	c cleaning 10002 clauses out of 20032 with flag 422001/426715
432.77/431.57	c cleaning 9982 clauses out of 20029 with flag 432000/436714
441.77/440.55	c cleaning 9995 clauses out of 20047 with flag 442000/446714
451.29/450.02	c cleaning 10010 clauses out of 20052 with flag 452000/456714
459.88/458.67	c cleaning 9992 clauses out of 20042 with flag 462000/466714
468.68/467.42	c cleaning 10002 clauses out of 20051 with flag 472001/476715
482.59/481.35	c cleaning 10012 clauses out of 20048 with flag 482000/486714
495.90/494.69	c cleaning 10000 clauses out of 20037 with flag 492001/496715
508.30/507.07	c cleaning 10002 clauses out of 20038 with flag 502002/506716
521.41/520.15	c cleaning 9997 clauses out of 20036 with flag 512002/516716
533.91/532.68	c cleaning 10008 clauses out of 20038 with flag 522001/526715
544.72/543.51	c cleaning 9993 clauses out of 20030 with flag 532001/536715
553.32/552.01	c cleaning 10004 clauses out of 20036 with flag 542000/546714
560.72/559.45	c cleaning 10004 clauses out of 20032 with flag 552000/556714
569.33/568.06	c cleaning 9985 clauses out of 20028 with flag 562000/566714
577.43/576.15	c cleaning 10003 clauses out of 20044 with flag 572001/576715
585.73/584.43	c cleaning 10002 clauses out of 20040 with flag 582000/586714
595.54/594.27	c cleaning 10007 clauses out of 20038 with flag 592000/596714
604.34/603.02	c cleaning 9995 clauses out of 20031 with flag 602000/606714
612.24/610.98	c cleaning 9995 clauses out of 20036 with flag 612000/616714
623.34/622.09	c cleaning 9996 clauses out of 20041 with flag 622000/626714
632.55/631.20	c cleaning 10001 clauses out of 20048 with flag 632003/636717
642.05/640.71	c cleaning 10010 clauses out of 20046 with flag 642002/646716
655.26/653.90	c cleaning 9995 clauses out of 20034 with flag 652000/656714
667.17/665.81	c cleaning 9998 clauses out of 20040 with flag 662001/666715
680.68/679.36	c cleaning 10004 clauses out of 20043 with flag 672002/676716
692.98/691.70	c cleaning 9988 clauses out of 20037 with flag 682000/686714
703.59/702.22	c cleaning 9991 clauses out of 20049 with flag 692000/696714
713.29/711.96	c cleaning 9995 clauses out of 20058 with flag 702000/706714
723.50/722.12	c cleaning 9999 clauses out of 20063 with flag 712000/716714
731.50/730.14	c cleaning 10013 clauses out of 20065 with flag 722001/726715
738.61/737.23	c cleaning 9998 clauses out of 20051 with flag 732000/736714
745.31/743.90	c cleaning 9998 clauses out of 20053 with flag 742000/746714
752.83/751.44	c cleaning 10004 clauses out of 20055 with flag 752000/756714
761.12/759.79	c cleaning 9996 clauses out of 20052 with flag 762001/766715
769.63/768.26	c cleaning 9997 clauses out of 20055 with flag 772000/776714
778.63/777.22	c cleaning 10017 clauses out of 20058 with flag 782000/786714
785.74/784.36	c cleaning 9985 clauses out of 20041 with flag 792000/796714
793.13/791.74	c cleaning 9997 clauses out of 20056 with flag 802000/806714
800.15/798.78	c cleaning 9992 clauses out of 20059 with flag 812000/816714
807.14/805.79	c cleaning 9986 clauses out of 20069 with flag 822002/826716
813.75/812.34	c cleaning 9996 clauses out of 20082 with flag 832001/836715
821.25/819.86	c cleaning 10011 clauses out of 20085 with flag 842000/846714
828.85/827.49	c cleaning 10018 clauses out of 20075 with flag 852001/856715
840.96/839.51	c cleaning 10007 clauses out of 20056 with flag 862000/866714
852.56/851.19	c cleaning 9996 clauses out of 20049 with flag 872000/876714
861.17/859.72	c cleaning 10018 clauses out of 20053 with flag 882000/886714
871.97/870.52	c cleaning 10006 clauses out of 20035 with flag 892000/896714
879.29/877.88	c cleaning 10003 clauses out of 20029 with flag 902000/906714
890.89/889.41	c cleaning 9967 clauses out of 20026 with flag 912000/916714
902.50/901.06	c cleaning 9990 clauses out of 20060 with flag 922001/926715
913.19/911.76	c cleaning 9997 clauses out of 20069 with flag 932000/936714
924.81/923.31	c cleaning 10022 clauses out of 20074 with flag 942002/946716
938.31/936.84	c cleaning 10011 clauses out of 20050 with flag 952000/956714
950.71/949.21	c cleaning 10006 clauses out of 20040 with flag 962001/966715
960.92/959.49	c cleaning 9989 clauses out of 20033 with flag 972000/976714
969.42/968.00	c cleaning 9994 clauses out of 20045 with flag 982001/986715
979.55/978.04	c cleaning 10006 clauses out of 20051 with flag 992001/996715
989.63/988.19	c cleaning 10007 clauses out of 20044 with flag 1002000/1006714
998.54/997.07	c cleaning 10004 clauses out of 20039 with flag 1012002/1016716
1009.65/1008.11	c cleaning 9992 clauses out of 20035 with flag 1022002/1026716
1020.45/1018.93	c cleaning 10001 clauses out of 20041 with flag 1032000/1036714
1030.76/1029.24	c cleaning 9995 clauses out of 20040 with flag 1042000/1046714
1041.46/1039.99	c cleaning 9987 clauses out of 20046 with flag 1052001/1056715
1052.37/1050.89	c cleaning 9998 clauses out of 20058 with flag 1062000/1066714
1062.87/1061.36	c cleaning 10004 clauses out of 20061 with flag 1072001/1076715
1074.37/1072.86	c cleaning 10006 clauses out of 20056 with flag 1082000/1086714
1084.98/1083.45	c cleaning 9984 clauses out of 20050 with flag 1092000/1096714
1094.59/1093.06	c cleaning 10006 clauses out of 20066 with flag 1102000/1106714
1105.01/1103.45	c cleaning 10007 clauses out of 20062 with flag 1112002/1116716
1114.99/1113.46	c cleaning 10002 clauses out of 20054 with flag 1122001/1126715
1125.10/1123.60	c cleaning 9998 clauses out of 20052 with flag 1132001/1136715
1135.50/1133.92	c cleaning 10000 clauses out of 20053 with flag 1142000/1146714
1145.20/1143.62	c cleaning 10008 clauses out of 20055 with flag 1152002/1156716
1156.31/1154.70	c cleaning 10008 clauses out of 20048 with flag 1162003/1166717
1167.81/1166.26	c cleaning 9988 clauses out of 20040 with flag 1172003/1176717
1177.52/1175.92	c cleaning 9975 clauses out of 20050 with flag 1182001/1186715
1187.32/1185.77	c cleaning 10015 clauses out of 20076 with flag 1192002/1196716
1196.83/1195.24	c cleaning 10006 clauses out of 20059 with flag 1202000/1206714
1205.72/1204.15	c cleaning 9999 clauses out of 20053 with flag 1212000/1216714
1215.23/1213.62	c cleaning 9987 clauses out of 20055 with flag 1222001/1226715
1223.23/1221.66	c cleaning 9999 clauses out of 20067 with flag 1232000/1236714
1232.04/1230.44	c cleaning 9995 clauses out of 20068 with flag 1242000/1246714
1240.44/1238.87	c cleaning 10001 clauses out of 20074 with flag 1252001/1256715
1249.65/1248.07	c cleaning 10006 clauses out of 20072 with flag 1262000/1266714
1259.15/1257.55	c cleaning 10006 clauses out of 20067 with flag 1272001/1276715
1268.66/1267.05	c cleaning 10001 clauses out of 20062 with flag 1282002/1286716
1277.96/1276.36	c cleaning 9987 clauses out of 20060 with flag 1292001/1296715
1286.58/1284.96	c cleaning 9995 clauses out of 20072 with flag 1302000/1306714
1295.67/1294.03	c cleaning 10007 clauses out of 20078 with flag 1312001/1316715
1305.97/1304.38	c cleaning 10025 clauses out of 20070 with flag 1322000/1326714
1317.08/1315.49	c cleaning 10006 clauses out of 20046 with flag 1332001/1336715
1326.39/1324.76	c cleaning 9994 clauses out of 20040 with flag 1342001/1346715
1337.20/1335.58	c cleaning 10006 clauses out of 20046 with flag 1352001/1356715
1348.30/1346.68	c cleaning 10002 clauses out of 20040 with flag 1362001/1366715
1358.01/1356.41	c cleaning 9999 clauses out of 20037 with flag 1372000/1376714
1368.11/1366.46	c cleaning 10005 clauses out of 20039 with flag 1382001/1386715
1379.42/1377.76	c cleaning 9998 clauses out of 20036 with flag 1392003/1396717
1391.32/1389.67	c cleaning 9998 clauses out of 20037 with flag 1402002/1406716
1402.83/1401.10	c cleaning 10002 clauses out of 20038 with flag 1412001/1416715
1412.05/1410.39	c cleaning 9999 clauses out of 20035 with flag 1422000/1426714
1421.95/1420.23	c cleaning 9996 clauses out of 20036 with flag 1432000/1436714
1431.05/1429.39	c cleaning 10000 clauses out of 20042 with flag 1442002/1446716
1439.05/1437.34	c cleaning 9996 clauses out of 20040 with flag 1452000/1456714
1449.16/1447.40	c cleaning 10008 clauses out of 20044 with flag 1462000/1466714
1458.18/1456.48	c cleaning 10007 clauses out of 20038 with flag 1472002/1476716
1466.98/1465.24	c cleaning 9998 clauses out of 20030 with flag 1482001/1486715
1475.89/1474.14	c cleaning 10001 clauses out of 20033 with flag 1492002/1496716
1484.69/1482.97	c cleaning 9988 clauses out of 20030 with flag 1502000/1506714
1494.28/1492.51	c cleaning 9998 clauses out of 20042 with flag 1512000/1516714
1503.68/1501.92	c cleaning 10004 clauses out of 20044 with flag 1522000/1526714
1513.99/1512.22	c cleaning 9991 clauses out of 20040 with flag 1532000/1536714
1524.20/1522.48	c cleaning 10005 clauses out of 20049 with flag 1542000/1546714
1534.10/1532.33	c cleaning 9998 clauses out of 20045 with flag 1552001/1556715
1544.90/1543.10	c cleaning 10004 clauses out of 20046 with flag 1562000/1566714
1556.80/1555.03	c cleaning 9991 clauses out of 20042 with flag 1572000/1576714
1569.81/1568.05	c cleaning 10002 clauses out of 20052 with flag 1582001/1586715
1580.71/1578.93	c cleaning 10004 clauses out of 20052 with flag 1592003/1596717
1592.01/1590.23	c cleaning 10003 clauses out of 20045 with flag 1602000/1606714
1603.31/1601.54	c cleaning 9993 clauses out of 20042 with flag 1612000/1616714
1614.11/1612.32	c cleaning 10002 clauses out of 20049 with flag 1622000/1626714
1624.22/1622.48	c cleaning 10000 clauses out of 20049 with flag 1632002/1636716
1633.73/1631.93	c cleaning 10003 clauses out of 20047 with flag 1642000/1646714
1643.93/1642.13	c cleaning 9998 clauses out of 20045 with flag 1652001/1656715
1653.93/1652.15	c cleaning 10000 clauses out of 20046 with flag 1662000/1666714
1664.54/1662.70	c cleaning 9996 clauses out of 20047 with flag 1672001/1676715
1674.54/1672.75	c cleaning 9994 clauses out of 20051 with flag 1682001/1686715
1686.64/1684.87	c cleaning 10009 clauses out of 20057 with flag 1692001/1696715
1697.06/1695.28	c cleaning 10000 clauses out of 20047 with flag 1702000/1706714
1707.15/1705.34	c cleaning 9993 clauses out of 20047 with flag 1712000/1716714
1715.35/1713.50	c cleaning 9992 clauses out of 20055 with flag 1722001/1726715
1723.66/1721.89	c cleaning 9996 clauses out of 20063 with flag 1732001/1736715
1731.57/1729.72	c cleaning 9997 clauses out of 20066 with flag 1742000/1746714
1740.77/1738.98	c cleaning 10001 clauses out of 20070 with flag 1752001/1756715
1749.08/1747.28	c cleaning 10001 clauses out of 20069 with flag 1762001/1766715
1757.68/1755.80	c cleaning 10021 clauses out of 20069 with flag 1772002/1776716
1766.09/1764.27	c cleaning 10003 clauses out of 20048 with flag 1782002/1786716
1774.69/1772.82	c cleaning 10006 clauses out of 20045 with flag 1792002/1796716
1782.10/1780.29	c cleaning 9995 clauses out of 20037 with flag 1802000/1806714
1791.61/1789.73	c cleaning 9996 clauses out of 20042 with flag 1812000/1816714
1800.01/1798.12	c starts		: 214
1800.01/1798.12	c conflicts		: 1825834
1800.01/1798.12	c decisions		: 3323567
1800.01/1798.12	c propagations		: 196287174
1800.01/1798.12	c inspects		: 710485207
1800.01/1798.12	c shortcuts		: 0
1800.01/1798.12	c learnt literals	: 0
1800.01/1798.12	c learnt binary clauses	: 0
1800.01/1798.12	c learnt ternary clauses	: 0
1800.01/1798.12	c learnt constraints	: 1825834
1800.01/1798.12	c ignored constraints	: 0
1800.01/1798.12	c root simplifications	: 0
1800.01/1798.12	c removed literals (reason simplification)	: 106300661
1800.01/1798.12	c reason swapping (by a shorter reason)	: 0
1800.01/1798.12	c Calls to reduceDB	: 183
1800.01/1798.12	c number of reductions to clauses (during analyze)	: 0
1800.01/1798.12	c number of learned constraints concerned by reduction	: 0
1800.01/1798.12	c number of learning phase by resolution	: 0
1800.01/1798.12	c number of learning phase by cutting planes	: 0
1800.01/1798.12	c speed (assignments/second)	: 109384.65104978188
1800.01/1798.12	c non guided choices	18449
1800.01/1798.13	c learnt constraints type 
1800.01/1798.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19180
1800.01/1798.13	c constraints type 
1800.01/1798.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 317
1800.01/1798.13	s SATISFIABLE
1800.01/1798.14	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 -x906 x907 x908 -x909 x910 x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 x964 x965 -x966 x967 x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 x1149 -x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 x2282 x2283 x2284 x2285 x2286 x2287 x2288 x2289 x2290 x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 x2403 x2404 x2405 -x2406 x2407 x2408 -x2409 x2410 x2411 -x2412 x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 x2502 x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 x3182 x3183 x3184 x3185 x3186 x3187 x3188 x3189 x3190 -x3191 x3192 x3193 x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 x3633 x3634 x3635 x3636 x3637 x3638 x3639 x3640 x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 -x3662 -x3663 -x3664 -x3665 x3666 x3667 x3668 x3669 x3670 -x3671 x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 x4142 x4143 x4144 x4145 -x4146 x4147 x4148 -x4149 x4150 x4151 x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 x4262 x4263 x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 x4442 x4443 x4444 x4445 x4446 x4447 x4448 -x4449 -x4450 -x4451 x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 x4592 x4593 x4594 x4595 -x4596 x4597 x4598 x4599 x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x4772 x4773 x4774 x4775 x4776 x4777 x4778 x4779 x4780 -x4781 -x4782 x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 x4929 x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 -x5108 x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 x5282 x5283 x5284 x5285 x5286 x5287 x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 x5379 x5380 -x5381 x5382 -x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 x5971 x5972 x5973 x5974 x5975 x5976 x5977 x5978 x5979 x5980 x5981 x5982 x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 x6511 x6512 x6513 x6514 x6515 x6516 x6517 x6518 x6519 x6520 x6521 -x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 x7092 x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 x7441 x7442 x7443 x7444 x7445 x7446 x7447 x7448 x7449 x7450 x7451 x7452 x7453 x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 x7581 -x7582 -x7583 -x7584 x7585 -x7586 -x7587 -x7588 -x7589 x7590 x7591 -x7592 x7593 -x7594 -x7595 -x7596 -x7597 -x7598 x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 x7633 -x7634 -x7635 -x7636 x7637 -x7638 -x7639 -x7640 x7641 -x7642 -x7643 x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 x7664 -x7665 -x7666 x7667 -x7668 -x7669 -x7670 -x7671 -x7672 x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 x7700 -x7701 -x7702 x7703 -x7704 -x7705 -x7706 -x7707 -x7708 x7709 -x7710 -x7711 -x7712 -x7713 x7714 -x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 x7724 x7725 -x7726 -x7727 -x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 -x7735 -x7736 x7737 -x7738 -x7739 x7740 -x7741 -x7742 -x7743 x7744 -x7745 -x7746 x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 x7809 -x7810 -x7811 x7812 
1800.01/1798.15	c objective function=5479497
1800.01/1798.15	c Total wall clock time (in seconds): 1798.041

Verifier Data 

OK	5479497

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-3458970-1307149480/watcher-3458970-1307149480 -o /tmp/evaluation-result-3458970-1307149480/solver-3458970-1307149480 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458970-1307149480.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.03 1.89 3/433 4973
/proc/meminfo: memFree=25917760/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 1368 0 1 0 0 0 0 0 25 0 2 0 282557366 37810176 1071 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 9231 1071 832 9 0 387 0
[pid=4973/tid=4974] ppid=4971 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 5015 0 1 0 0 0 0 0 25 0 2 0 282557367 13850947584 5830 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.113746 s]
/proc/loadavg: 2.03 2.03 1.89 3/433 4973
/proc/meminfo: memFree=25917760/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13622236 CPUtime=0.12 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 15794 0 1 0 11 1 0 0 25 0 18 0 282557366 13949169664 15437 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3405559 15437 2125 9 0 3396293 0
[pid=4973/tid=4974] ppid=4971 vsize=13622236 CPUtime=0.1 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 13771 0 1 0 9 1 0 0 18 0 18 0 282557367 13949169664 15437 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218880561076 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13622236

[startup+0.200672 s]
/proc/loadavg: 2.03 2.03 1.89 3/433 4973
/proc/meminfo: memFree=25917760/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13622916 CPUtime=0.3 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 16909 0 1 0 29 1 0 0 25 0 18 0 282557366 13949865984 16459 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3405729 16459 2190 9 0 3396463 0
[pid=4973/tid=4974] ppid=4971 vsize=13622916 CPUtime=0.18 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 14494 0 1 0 17 1 0 0 18 0 18 0 282557367 13949865984 16459 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 47547610015338 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13622916

[startup+0.304705 s]
/proc/loadavg: 2.03 2.03 1.89 3/433 4973
/proc/meminfo: memFree=25917760/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13628176 CPUtime=0.57 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 21626 0 1 0 55 2 0 0 25 0 18 0 282557366 13955252224 19988 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407044 19990 2203 9 0 3397778 0
[pid=4973/tid=4974] ppid=4971 vsize=13628176 CPUtime=0.29 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 16375 0 1 0 27 2 0 0 18 0 18 0 282557367 13955252224 19991 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13628176

[startup+0.700633 s]
/proc/loadavg: 2.03 2.03 1.89 3/433 4973
/proc/meminfo: memFree=25917760/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13629204 CPUtime=1.48 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 26535 0 1 0 145 3 0 0 25 0 19 0 282557366 13956304896 24636 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407301 24636 2223 9 0 3398035 0
[pid=4973/tid=4974] ppid=4971 vsize=13629204 CPUtime=0.68 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 19949 0 1 0 66 2 0 0 19 0 19 0 282557367 13956304896 24636 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505703940 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13629204

[startup+1.50149 s]
/proc/loadavg: 2.03 2.03 1.89 3/452 4992
/proc/meminfo: memFree=25819780/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13629204 CPUtime=2.36 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 27439 0 1 0 233 3 0 0 25 0 19 0 282557366 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407301 25539 2225 9 0 3398035 0
[pid=4973/tid=4974] ppid=4971 vsize=13629204 CPUtime=1.48 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 20844 0 1 0 146 2 0 0 18 0 19 0 282557367 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505748421 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4979] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4981] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4982] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4983] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4983/stat : 4983 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4984] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4984/stat : 4984 (java) S 4971 4973 2869 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 282557370 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 0 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4985] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4985/stat : 4985 (java) S 4971 4973 2869 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 282557370 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4986] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4986/stat : 4986 (java) S 4971 4973 2869 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 282557370 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4987] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4987/stat : 4987 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557372 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892388785 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4988] ppid=4971 vsize=13629204 CPUtime=0.42 cores=0,2,4,6
/proc/4973/task/4988/stat : 4988 (java) S 4971 4973 2869 0 -1 4202560 2591 0 0 0 42 0 0 0 15 0 19 0 282557372 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4989] ppid=4971 vsize=13629204 CPUtime=0.44 cores=0,2,4,6
/proc/4973/task/4989/stat : 4989 (java) S 4971 4973 2869 0 -1 4202560 2845 0 0 0 44 0 0 0 15 0 19 0 282557373 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4990] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4990/stat : 4990 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557373 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4991] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4991/stat : 4991 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 282557373 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4992] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4992/stat : 4992 (java) S 4971 4973 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 282557407 13956304896 25539 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 13629204

[startup+3.10121 s]
/proc/loadavg: 2.03 2.03 1.89 3/452 4992
/proc/meminfo: memFree=25808696/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13629204 CPUtime=4.03 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 29008 0 1 0 399 4 0 0 25 0 19 0 282557366 13956304896 27107 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407301 27107 2227 9 0 3398035 0
[pid=4973/tid=4974] ppid=4971 vsize=13629204 CPUtime=3.09 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 22401 0 1 0 306 3 0 0 20 0 19 0 282557367 13956304896 27107 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505857557 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27107 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27107 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27107 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4979] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27107 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4981] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4982] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4983] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4983/stat : 4983 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557369 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4984] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4984/stat : 4984 (java) S 4971 4973 2869 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 282557370 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 0 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4985] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4985/stat : 4985 (java) S 4971 4973 2869 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 282557370 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4986] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4986/stat : 4986 (java) S 4971 4973 2869 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 282557370 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4987] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4987/stat : 4987 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557372 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892388785 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4988] ppid=4971 vsize=13629204 CPUtime=0.43 cores=0,2,4,6
/proc/4973/task/4988/stat : 4988 (java) S 4971 4973 2869 0 -1 4202560 2591 0 0 0 43 0 0 0 15 0 19 0 282557372 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4989] ppid=4971 vsize=13629204 CPUtime=0.49 cores=0,2,4,6
/proc/4973/task/4989/stat : 4989 (java) S 4971 4973 2869 0 -1 4202560 2857 0 0 0 49 0 0 0 15 0 19 0 282557373 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4990] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4990/stat : 4990 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557373 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4991] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4991/stat : 4991 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 282557373 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4992] ppid=4971 vsize=13629204 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4992/stat : 4992 (java) S 4971 4973 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 282557407 13956304896 27108 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13629204

[startup+6.30065 s]
/proc/loadavg: 2.03 2.03 1.89 4/452 4992
/proc/meminfo: memFree=25791044/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13628072 CPUtime=7.29 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 36224 0 1 0 725 4 0 0 25 0 19 0 282557366 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407018 34008 2253 9 0 3397752 0
[pid=4973/tid=4974] ppid=4971 vsize=13628072 CPUtime=6.26 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 24704 0 1 0 623 3 0 0 18 0 19 0 282557367 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505857493 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 2869 0 -1 4202560 1216 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 2869 0 -1 4202560 480 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 2869 0 -1 4202560 714 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4979] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4981] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4982] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4983] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4983/stat : 4983 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 282557369 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4984] ppid=4971 vsize=13628072 CPUtime=0.02 cores=0,2,4,6
/proc/4973/task/4984/stat : 4984 (java) S 4971 4973 2869 0 -1 4202560 2493 0 0 0 2 0 0 0 16 0 19 0 282557370 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 0 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4985] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4985/stat : 4985 (java) S 4971 4973 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4986] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4986/stat : 4986 (java) S 4971 4973 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4987] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4987/stat : 4987 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557372 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892388785 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4988] ppid=4971 vsize=13628072 CPUtime=0.46 cores=0,2,4,6
/proc/4973/task/4988/stat : 4988 (java) S 4971 4973 2869 0 -1 4202560 2595 0 0 0 46 0 0 0 15 0 19 0 282557372 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4989] ppid=4971 vsize=13628072 CPUtime=0.53 cores=0,2,4,6
/proc/4973/task/4989/stat : 4989 (java) S 4971 4973 2869 0 -1 4202560 2866 0 0 0 53 0 0 0 15 0 19 0 282557373 13955145728 34008 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0

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

[pid=4973/tid=4981] ppid=4971 vsize=13628072 CPUtime=0.17 cores=0,2,4,6
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 2869 0 -1 4202560 302 0 0 0 17 0 0 0 15 0 19 0 282557369 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4982] ppid=4971 vsize=13628072 CPUtime=0.17 cores=0,2,4,6
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 2869 0 -1 4202560 1451 0 0 0 17 0 0 0 15 0 19 0 282557369 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4983] ppid=4971 vsize=13628072 CPUtime=0.15 cores=0,2,4,6
/proc/4973/task/4983/stat : 4983 (java) S 4971 4973 2869 0 -1 4202560 1237 0 0 0 15 0 0 0 15 0 19 0 282557369 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4984] ppid=4971 vsize=13628072 CPUtime=4.91 cores=0,2,4,6
/proc/4973/task/4984/stat : 4984 (java) S 4971 4973 2869 0 -1 4202560 7383 0 0 0 488 3 0 0 15 0 19 0 282557370 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 0 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4985] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4985/stat : 4985 (java) S 4971 4973 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4986] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4986/stat : 4986 (java) S 4971 4973 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4987] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4987/stat : 4987 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557372 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892388785 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4988] ppid=4971 vsize=13628072 CPUtime=0.54 cores=0,2,4,6
/proc/4973/task/4988/stat : 4988 (java) S 4971 4973 2869 0 -1 4202560 2602 0 0 0 54 0 0 0 15 0 19 0 282557372 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4989] ppid=4971 vsize=13628072 CPUtime=0.55 cores=0,2,4,6
/proc/4973/task/4989/stat : 4989 (java) S 4971 4973 2869 0 -1 4202560 2869 0 0 0 55 0 0 0 15 0 19 0 282557373 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4990] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4990/stat : 4990 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557373 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4991] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4991/stat : 4991 (java) S 4971 4973 2869 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 282557373 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4992] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4992/stat : 4992 (java) S 4971 4973 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 282557407 13955145728 42992 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.14
Current children cumulated vsize (KiB) 13628072

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/452 5041
/proc/meminfo: memFree=25692292/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13628072 CPUtime=1724.17 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 45787 0 1 0 172406 11 0 0 25 0 19 0 282557366 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407018 43195 2254 9 0 3397752 0
[pid=4973/tid=4974] ppid=4971 vsize=13628072 CPUtime=1716.45 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 24877 0 1 0 171641 4 0 0 25 0 19 0 282557367 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505857498 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=13628072 CPUtime=0.21 cores=0,2,4,6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 2869 0 -1 4202560 1590 0 0 0 21 0 0 0 15 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=13628072 CPUtime=0.18 cores=0,2,4,6
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 2869 0 -1 4202560 646 0 0 0 18 0 0 0 15 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=13628072 CPUtime=0.18 cores=0,2,4,6
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 2869 0 -1 4202560 849 0 0 0 18 0 0 0 15 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4979] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 2869 0 -1 4202560 376 0 0 0 16 0 0 0 16 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=13628072 CPUtime=0.15 cores=0,2,4,6
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 2869 0 -1 4202560 152 0 0 0 15 0 0 0 16 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4981] ppid=4971 vsize=13628072 CPUtime=0.17 cores=0,2,4,6
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 2869 0 -1 4202560 302 0 0 0 17 0 0 0 15 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4982] ppid=4971 vsize=13628072 CPUtime=0.18 cores=0,2,4,6
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 2869 0 -1 4202560 1454 0 0 0 18 0 0 0 16 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4983] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4983/stat : 4983 (java) S 4971 4973 2869 0 -1 4202560 1237 0 0 0 16 0 0 0 15 0 19 0 282557369 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4984] ppid=4971 vsize=13628072 CPUtime=5.13 cores=0,2,4,6
/proc/4973/task/4984/stat : 4984 (java) S 4971 4973 2869 0 -1 4202560 7582 0 0 0 510 3 0 0 15 0 19 0 282557370 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 0 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4985] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4985/stat : 4985 (java) S 4971 4973 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4986] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4986/stat : 4986 (java) S 4971 4973 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4987] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4987/stat : 4987 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557372 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892388785 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4988] ppid=4971 vsize=13628072 CPUtime=0.54 cores=0,2,4,6
/proc/4973/task/4988/stat : 4988 (java) S 4971 4973 2869 0 -1 4202560 2602 0 0 0 54 0 0 0 15 0 19 0 282557372 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4989] ppid=4971 vsize=13628072 CPUtime=0.55 cores=0,2,4,6
/proc/4973/task/4989/stat : 4989 (java) S 4971 4973 2869 0 -1 4202560 2869 0 0 0 55 0 0 0 15 0 19 0 282557373 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4990] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4990/stat : 4990 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557373 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4991] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4991/stat : 4991 (java) S 4971 4973 2869 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 282557373 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4992] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4992/stat : 4992 (java) S 4971 4973 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 282557407 13955145728 43195 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.17
Current children cumulated vsize (KiB) 13628072

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/452 5043
/proc/meminfo: memFree=25691272/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13628072 CPUtime=1784.2 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 45802 0 1 0 178409 11 0 0 25 0 19 0 282557366 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407018 43199 2254 9 0 3397752 0
[pid=4973/tid=4974] ppid=4971 vsize=13628072 CPUtime=1776.19 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 24884 0 1 0 177615 4 0 0 25 0 19 0 282557367 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505872281 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=13628072 CPUtime=0.22 cores=0,2,4,6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 2869 0 -1 4202560 1590 0 0 0 22 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=13628072 CPUtime=0.19 cores=0,2,4,6
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 2869 0 -1 4202560 646 0 0 0 19 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=13628072 CPUtime=0.19 cores=0,2,4,6
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 2869 0 -1 4202560 849 0 0 0 19 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4979] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 2869 0 -1 4202560 377 0 0 0 16 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 2869 0 -1 4202560 152 0 0 0 16 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4981] ppid=4971 vsize=13628072 CPUtime=0.18 cores=0,2,4,6
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 2869 0 -1 4202560 305 0 0 0 18 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4982] ppid=4971 vsize=13628072 CPUtime=0.19 cores=0,2,4,6
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 2869 0 -1 4202560 1454 0 0 0 19 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4983] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4983/stat : 4983 (java) S 4971 4973 2869 0 -1 4202560 1237 0 0 0 16 0 0 0 16 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4984] ppid=4971 vsize=13628072 CPUtime=5.36 cores=0,2,4,6
/proc/4973/task/4984/stat : 4984 (java) S 4971 4973 2869 0 -1 4202560 7584 0 0 0 533 3 0 0 15 0 19 0 282557370 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 0 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4985] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4985/stat : 4985 (java) S 4971 4973 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4986] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4986/stat : 4986 (java) S 4971 4973 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4987] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4987/stat : 4987 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557372 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892388785 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4988] ppid=4971 vsize=13628072 CPUtime=0.54 cores=0,2,4,6
/proc/4973/task/4988/stat : 4988 (java) S 4971 4973 2869 0 -1 4202560 2602 0 0 0 54 0 0 0 15 0 19 0 282557372 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4989] ppid=4971 vsize=13628072 CPUtime=0.55 cores=0,2,4,6
/proc/4973/task/4989/stat : 4989 (java) S 4971 4973 2869 0 -1 4202560 2869 0 0 0 55 0 0 0 15 0 19 0 282557373 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4990] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4990/stat : 4990 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557373 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4991] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4991/stat : 4991 (java) S 4971 4973 2869 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 282557373 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4992] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4992/stat : 4992 (java) S 4971 4973 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 282557407 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.2
Current children cumulated vsize (KiB) 13628072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 1.92 1.99 1.96 2/432 5046
/proc/meminfo: memFree=25825716/32950928 swapFree=52006644/67111528
[pid=4973] ppid=4971 vsize=13628072 CPUtime=1800.01 cores=0,2,4,6
/proc/4973/stat : 4973 (java) S 4971 4973 2869 0 -1 4202496 45807 0 1 0 179990 11 0 0 25 0 19 0 282557366 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4973/statm: 3407018 43199 2254 9 0 3397752 0
[pid=4973/tid=4974] ppid=4971 vsize=13628072 CPUtime=1791.98 cores=0,2,4,6
/proc/4973/task/4974/stat : 4974 (java) R 4971 4973 2869 0 -1 4202560 24885 0 1 0 179194 4 0 0 25 0 19 0 282557367 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 46912505703808 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4973/tid=4976] ppid=4971 vsize=13628072 CPUtime=0.22 cores=0,2,4,6
/proc/4973/task/4976/stat : 4976 (java) S 4971 4973 2869 0 -1 4202560 1590 0 0 0 22 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4977] ppid=4971 vsize=13628072 CPUtime=0.19 cores=0,2,4,6
/proc/4973/task/4977/stat : 4977 (java) S 4971 4973 2869 0 -1 4202560 646 0 0 0 19 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4978] ppid=4971 vsize=13628072 CPUtime=0.19 cores=0,2,4,6
/proc/4973/task/4978/stat : 4978 (java) S 4971 4973 2869 0 -1 4202560 849 0 0 0 19 0 0 0 16 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4979] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4979/stat : 4979 (java) S 4971 4973 2869 0 -1 4202560 377 0 0 0 16 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4980] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4980/stat : 4980 (java) S 4971 4973 2869 0 -1 4202560 152 0 0 0 16 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4981] ppid=4971 vsize=13628072 CPUtime=0.18 cores=0,2,4,6
/proc/4973/task/4981/stat : 4981 (java) S 4971 4973 2869 0 -1 4202560 305 0 0 0 18 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4982] ppid=4971 vsize=13628072 CPUtime=0.19 cores=0,2,4,6
/proc/4973/task/4982/stat : 4982 (java) S 4971 4973 2869 0 -1 4202560 1454 0 0 0 19 0 0 0 16 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4983] ppid=4971 vsize=13628072 CPUtime=0.16 cores=0,2,4,6
/proc/4973/task/4983/stat : 4983 (java) S 4971 4973 2869 0 -1 4202560 1237 0 0 0 16 0 0 0 15 0 19 0 282557369 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4984] ppid=4971 vsize=13628072 CPUtime=5.39 cores=0,2,4,6
/proc/4973/task/4984/stat : 4984 (java) S 4971 4973 2869 0 -1 4202560 7586 0 0 0 536 3 0 0 15 0 19 0 282557370 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 0 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4985] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4985/stat : 4985 (java) S 4971 4973 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4986] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4986/stat : 4986 (java) S 4971 4973 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 282557370 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4987] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4987/stat : 4987 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557372 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892388785 0 4 0 16800975 18446604452497646848 0 0 -1 2 0 0 0
[pid=4973/tid=4988] ppid=4971 vsize=13628072 CPUtime=0.54 cores=0,2,4,6
/proc/4973/task/4988/stat : 4988 (java) S 4971 4973 2869 0 -1 4202560 2602 0 0 0 54 0 0 0 15 0 19 0 282557372 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
[pid=4973/tid=4989] ppid=4971 vsize=13628072 CPUtime=0.55 cores=0,2,4,6
/proc/4973/task/4989/stat : 4989 (java) S 4971 4973 2869 0 -1 4202560 2869 0 0 0 55 0 0 0 15 0 19 0 282557373 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 4 0 0 0
[pid=4973/tid=4990] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4990/stat : 4990 (java) S 4971 4973 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 282557373 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381081 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4991] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4991/stat : 4991 (java) S 4971 4973 2869 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 282557373 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 0 0 0 0
[pid=4973/tid=4992] ppid=4971 vsize=13628072 CPUtime=0 cores=0,2,4,6
/proc/4973/task/4992/stat : 4992 (java) S 4971 4973 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 282557407 13955145728 43199 33554432000 1073741824 1073778376 140734253900160 18446744073709551615 218892381696 0 4 0 16800975 18446604452497646848 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13628072

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): 1798.16
CPU time (s): 1800.14
CPU user time (s): 1800.02
CPU system time (s): 0.121981
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 13629204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45962
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= 41267
involuntary context switches= 28828

runsolver used 7.97079 second user time and 16.4885 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-04 03:04:40
IDJOB=3458970
IDBENCH=2310
IDSOLVER=1952
FILE ID=node112/3458970-1307149480
RUNJOBID= node112-1307147679-4680
PBS_JOBID= 13508804
Free space on /tmp= 73832 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458970-1307149480/watcher-3458970-1307149480 -o /tmp/evaluation-result-3458970-1307149480/solver-3458970-1307149480 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458970-1307149480.opb

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

MD5SUM BENCH= e99162fa0a9c8caac0a04031bf39653d
RANDOM SEED=1291891517

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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:     32950928 kB
MemFree:      25918040 kB
Buffers:        330200 kB
Cached:        5659480 kB
SwapCached:      31280 kB
Active:         988380 kB
Inactive:      5762400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25918040 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:            1344 kB
Writeback:           0 kB
AnonPages:      738064 kB
Mapped:          20668 kB
Slab:           157112 kB
PageTables:      59508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 112055716 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= 73832 MiB
End job on node112 at 2011-06-04 03:34:40