Trace number 3458487

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)29 1800.23 1797.99

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458487-1307156270.opb
0.10/0.11	c reading problem ... 
0.74/0.47	c ... done. Wall clock time 0.353s.
0.74/0.47	c #vars     7343
0.74/0.47	c #constraints  22903
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3792
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18558
1.04/0.57	c SATISFIABLE
1.04/0.57	c OPTIMIZING...
1.04/0.57	c Got one! Elapsed wall clock time (in seconds):0.457
1.04/0.57	o 40
1.59/0.72	c Got one! Elapsed wall clock time (in seconds):0.604
1.59/0.72	o 30
3.95/2.98	c cleaning 2550 clauses out of 5107 with flag 5001/5107
6.21/5.11	c cleaning 4277 clauses out of 8557 with flag 11001/11107
8.51/7.42	c cleaning 5632 clauses out of 11279 with flag 18000/18106
11.42/10.36	c cleaning 6818 clauses out of 13647 with flag 26000/26106
14.27/13.14	c cleaning 7907 clauses out of 15830 with flag 35001/35107
17.57/16.46	c cleaning 8957 clauses out of 17923 with flag 45001/45107
21.56/20.48	c cleaning 9976 clauses out of 19966 with flag 56001/56107
26.07/24.94	c cleaning 10989 clauses out of 21989 with flag 68000/68106
30.89/29.73	c cleaning 11997 clauses out of 24001 with flag 81001/81107
36.39/35.24	c cleaning 12994 clauses out of 26003 with flag 95000/95106
41.67/40.57	c cleaning 14000 clauses out of 28009 with flag 110000/110106
47.17/46.02	c cleaning 15002 clauses out of 30012 with flag 126003/126109
52.79/51.70	c cleaning 16000 clauses out of 32008 with flag 143001/143107
58.88/57.78	c cleaning 16999 clauses out of 34007 with flag 161000/161106
65.28/64.11	c cleaning 17998 clauses out of 36008 with flag 180000/180106
72.29/71.19	c cleaning 18999 clauses out of 38010 with flag 200000/200106
79.89/78.71	c cleaning 20001 clauses out of 40011 with flag 221000/221106
87.30/86.18	c cleaning 20997 clauses out of 42010 with flag 243000/243106
96.00/94.86	c cleaning 22000 clauses out of 44013 with flag 266000/266106
103.70/102.53	c cleaning 22503 clauses out of 45013 with flag 289000/289106
111.41/110.29	c cleaning 22742 clauses out of 45510 with flag 312000/312106
119.71/118.54	c cleaning 22878 clauses out of 45769 with flag 335001/335107
127.52/126.39	c cleaning 22939 clauses out of 45890 with flag 358000/358106
135.12/133.90	c cleaning 22960 clauses out of 45951 with flag 381000/381106
143.04/141.90	c cleaning 22988 clauses out of 45991 with flag 404000/404106
150.63/149.46	c cleaning 22983 clauses out of 46003 with flag 427000/427106
159.54/158.39	c cleaning 23003 clauses out of 46020 with flag 450000/450106
167.54/166.30	c cleaning 22995 clauses out of 46017 with flag 473000/473106
176.16/174.95	c cleaning 23000 clauses out of 46022 with flag 496000/496106
185.14/183.95	c cleaning 23000 clauses out of 46022 with flag 519000/519106
192.75/191.52	c cleaning 23006 clauses out of 46023 with flag 542001/542107
200.05/198.80	c cleaning 22995 clauses out of 46016 with flag 565000/565106
207.06/205.88	c cleaning 23007 clauses out of 46022 with flag 588001/588107
215.56/214.35	c cleaning 23003 clauses out of 46014 with flag 611000/611106
223.56/222.40	c cleaning 22998 clauses out of 46011 with flag 634000/634106
231.86/230.66	c cleaning 22997 clauses out of 46013 with flag 657000/657106
240.18/238.95	c cleaning 23000 clauses out of 46017 with flag 680001/680107
249.38/248.11	c cleaning 22995 clauses out of 46016 with flag 703000/703106
258.70/257.47	c cleaning 23004 clauses out of 46022 with flag 726001/726107
267.40/266.14	c cleaning 22999 clauses out of 46018 with flag 749001/749107
275.60/274.37	c cleaning 22999 clauses out of 46019 with flag 772001/772107
283.70/282.49	c cleaning 22999 clauses out of 46021 with flag 795002/795108
292.40/291.19	c cleaning 22995 clauses out of 46020 with flag 818000/818106
301.31/300.06	c cleaning 22998 clauses out of 46025 with flag 841000/841106
310.21/308.97	c cleaning 22999 clauses out of 46028 with flag 864001/864107
318.82/317.57	c cleaning 23008 clauses out of 46028 with flag 887000/887106
326.94/325.63	c cleaning 23004 clauses out of 46020 with flag 910000/910106
334.92/333.60	c cleaning 22998 clauses out of 46016 with flag 933000/933106
343.13/341.81	c cleaning 23000 clauses out of 46018 with flag 956000/956106
350.73/349.49	c cleaning 23001 clauses out of 46019 with flag 979001/979107
358.44/357.16	c cleaning 23001 clauses out of 46018 with flag 1002001/1002107
366.35/365.03	c cleaning 23002 clauses out of 46017 with flag 1025001/1025107
374.75/373.47	c cleaning 22997 clauses out of 46014 with flag 1048000/1048106
382.75/381.49	c cleaning 23001 clauses out of 46017 with flag 1071000/1071106
390.78/389.44	c cleaning 22995 clauses out of 46016 with flag 1094000/1094106
398.96/397.68	c cleaning 23002 clauses out of 46021 with flag 1117000/1117106
407.67/406.33	c cleaning 22993 clauses out of 46019 with flag 1140000/1140106
416.57/415.21	c cleaning 23000 clauses out of 46026 with flag 1163000/1163106
425.07/423.77	c cleaning 23004 clauses out of 46026 with flag 1186000/1186106
433.98/432.67	c cleaning 23004 clauses out of 46022 with flag 1209000/1209106
443.18/441.85	c cleaning 22997 clauses out of 46018 with flag 1232000/1232106
452.19/450.88	c cleaning 23002 clauses out of 46021 with flag 1255000/1255106
461.21/459.87	c cleaning 23006 clauses out of 46019 with flag 1278000/1278106
470.59/469.21	c cleaning 23000 clauses out of 46013 with flag 1301000/1301106
479.50/478.16	c cleaning 23000 clauses out of 46013 with flag 1324000/1324106
487.70/486.32	c cleaning 22996 clauses out of 46013 with flag 1347000/1347106
495.00/493.61	c cleaning 22997 clauses out of 46018 with flag 1370001/1370107
503.13/501.79	c cleaning 22998 clauses out of 46020 with flag 1393000/1393106
510.34/508.94	c Got one! Elapsed wall clock time (in seconds):508.831
510.34/508.94	o 29
511.56/510.19	c cleaning 24061 clauses out of 48134 with flag 5000/1418218
513.07/511.68	c cleaning 15029 clauses out of 30074 with flag 11001/1424219
514.87/513.48	c cleaning 11009 clauses out of 22045 with flag 18001/1431219
516.97/515.59	c cleaning 9510 clauses out of 19035 with flag 26000/1439218
519.27/517.87	c cleaning 9258 clauses out of 18525 with flag 35000/1448218
521.87/520.44	c cleaning 9628 clauses out of 19267 with flag 45000/1458218
525.78/524.37	c cleaning 10309 clauses out of 20643 with flag 56004/1469222
530.60/529.12	c cleaning 11157 clauses out of 22330 with flag 68000/1481218
535.48/534.01	c cleaning 12079 clauses out of 24173 with flag 81000/1494218
540.50/539.09	c cleaning 13044 clauses out of 26095 with flag 95001/1508219
545.79/544.41	c cleaning 14017 clauses out of 28050 with flag 110000/1523218
552.50/551.03	c cleaning 15006 clauses out of 30033 with flag 126000/1539218
559.59/558.10	c cleaning 15999 clauses out of 32027 with flag 143000/1556218
566.00/564.56	c cleaning 17011 clauses out of 34029 with flag 161001/1574219
573.52/572.04	c cleaning 18001 clauses out of 36017 with flag 180000/1593218
581.30/579.81	c cleaning 19003 clauses out of 38017 with flag 200001/1613219
588.61/587.16	c cleaning 19997 clauses out of 40013 with flag 221000/1634218
595.81/594.39	c cleaning 20997 clauses out of 42016 with flag 243000/1656218
603.82/602.37	c cleaning 21999 clauses out of 44020 with flag 266001/1679219
611.72/610.29	c cleaning 22495 clauses out of 45021 with flag 289001/1702219
619.92/618.47	c cleaning 22752 clauses out of 45525 with flag 312000/1725218
628.23/626.76	c cleaning 22876 clauses out of 45773 with flag 335000/1748218
635.84/634.34	c cleaning 22941 clauses out of 45897 with flag 358000/1771218
644.04/642.57	c cleaning 22970 clauses out of 45958 with flag 381002/1794220
652.44/650.99	c cleaning 22977 clauses out of 45986 with flag 404000/1817218
660.55/659.09	c cleaning 22994 clauses out of 46009 with flag 427000/1840218
668.85/667.37	c cleaning 23000 clauses out of 46016 with flag 450001/1863219
676.05/674.55	c cleaning 23003 clauses out of 46016 with flag 473001/1886219
682.96/681.45	c cleaning 22997 clauses out of 46012 with flag 496000/1909218
690.36/688.90	c cleaning 23000 clauses out of 46015 with flag 519000/1932218
698.37/696.87	c cleaning 22999 clauses out of 46016 with flag 542001/1955219
705.97/704.46	c cleaning 22995 clauses out of 46016 with flag 565000/1978218
714.29/712.75	c cleaning 23000 clauses out of 46021 with flag 588000/2001218
722.28/720.80	c cleaning 23001 clauses out of 46021 with flag 611000/2024218
730.18/728.64	c cleaning 23006 clauses out of 46021 with flag 634001/2047219
738.99/737.49	c cleaning 22996 clauses out of 46014 with flag 657000/2070218
746.99/745.49	c cleaning 23001 clauses out of 46018 with flag 680000/2093218
755.20/753.65	c cleaning 22997 clauses out of 46018 with flag 703001/2116219
763.71/762.11	c cleaning 23007 clauses out of 46021 with flag 726001/2139219
771.64/770.05	c cleaning 22992 clauses out of 46013 with flag 749000/2162218
779.24/777.70	c cleaning 23005 clauses out of 46021 with flag 772000/2185218
786.73/785.10	c cleaning 23000 clauses out of 46018 with flag 795002/2208220
794.34/792.79	c cleaning 22998 clauses out of 46018 with flag 818002/2231220
802.04/800.45	c cleaning 23000 clauses out of 46018 with flag 841000/2254218
809.75/808.11	c cleaning 22990 clauses out of 46019 with flag 864001/2277219
817.45/815.88	c cleaning 23002 clauses out of 46029 with flag 887001/2300219
825.46/823.84	c cleaning 23007 clauses out of 46026 with flag 910000/2323218
833.66/832.00	c cleaning 23004 clauses out of 46019 with flag 933000/2346218
841.56/839.97	c cleaning 23003 clauses out of 46016 with flag 956001/2369219
850.37/848.71	c cleaning 22999 clauses out of 46012 with flag 979000/2392218
858.97/857.34	c cleaning 22994 clauses out of 46013 with flag 1002000/2415218
867.18/865.50	c cleaning 23006 clauses out of 46019 with flag 1025000/2438218
874.79/873.12	c cleaning 23000 clauses out of 46013 with flag 1048000/2461218
882.89/881.25	c cleaning 23003 clauses out of 46014 with flag 1071001/2484219
890.80/889.16	c cleaning 22994 clauses out of 46010 with flag 1094000/2507218
898.80/897.11	c cleaning 22999 clauses out of 46016 with flag 1117000/2530218
906.31/904.64	c cleaning 22995 clauses out of 46019 with flag 1140002/2553220
913.41/911.72	c cleaning 22999 clauses out of 46023 with flag 1163001/2576219
920.62/918.91	c cleaning 22997 clauses out of 46023 with flag 1186000/2599218
927.83/926.18	c cleaning 22996 clauses out of 46026 with flag 1209000/2622218
935.43/933.75	c cleaning 23007 clauses out of 46030 with flag 1232000/2645218
944.73/943.07	c cleaning 23002 clauses out of 46023 with flag 1255000/2668218
955.74/954.01	c cleaning 23002 clauses out of 46021 with flag 1278000/2691218
967.24/965.56	c cleaning 23001 clauses out of 46020 with flag 1301001/2714219
978.84/977.12	c cleaning 22998 clauses out of 46019 with flag 1324001/2737219
990.67/988.92	c cleaning 22997 clauses out of 46020 with flag 1347000/2760218
1003.05/1001.36	c cleaning 23001 clauses out of 46024 with flag 1370001/2783219
1014.77/1013.06	c cleaning 22996 clauses out of 46022 with flag 1393000/2806218
1027.26/1025.58	c cleaning 23001 clauses out of 46027 with flag 1416001/2829219
1038.87/1037.18	c cleaning 23006 clauses out of 46025 with flag 1439000/2852218
1048.58/1046.89	c cleaning 23001 clauses out of 46020 with flag 1462001/2875219
1058.48/1056.75	c cleaning 23003 clauses out of 46019 with flag 1485001/2898219
1068.29/1066.53	c cleaning 22997 clauses out of 46015 with flag 1508000/2921218
1078.30/1076.59	c cleaning 22997 clauses out of 46018 with flag 1531000/2944218
1088.00/1086.29	c cleaning 22995 clauses out of 46021 with flag 1554000/2967218
1098.00/1096.24	c cleaning 23011 clauses out of 46027 with flag 1577001/2990219
1106.41/1104.64	c cleaning 23002 clauses out of 46015 with flag 1600000/3013218
1114.61/1112.87	c cleaning 23003 clauses out of 46014 with flag 1623001/3036219
1123.22/1121.49	c cleaning 22996 clauses out of 46010 with flag 1646000/3059218
1131.83/1130.04	c cleaning 23004 clauses out of 46015 with flag 1669001/3082219
1140.24/1138.43	c cleaning 22988 clauses out of 46010 with flag 1692000/3105218
1148.43/1146.66	c cleaning 22998 clauses out of 46022 with flag 1715000/3128218
1156.54/1154.78	c cleaning 23005 clauses out of 46027 with flag 1738003/3151221
1164.74/1162.98	c cleaning 23000 clauses out of 46019 with flag 1761000/3174218
1172.85/1171.08	c cleaning 23002 clauses out of 46019 with flag 1784000/3197218
1181.35/1179.57	c cleaning 23000 clauses out of 46017 with flag 1807000/3220218
1189.96/1188.14	c cleaning 22997 clauses out of 46018 with flag 1830001/3243219
1197.76/1195.92	c cleaning 23002 clauses out of 46020 with flag 1853000/3266218
1205.36/1203.53	c cleaning 23001 clauses out of 46019 with flag 1876001/3289219
1213.46/1211.69	c cleaning 22999 clauses out of 46017 with flag 1899000/3312218
1222.07/1220.29	c cleaning 23003 clauses out of 46020 with flag 1922002/3335220
1231.07/1229.20	c cleaning 23001 clauses out of 46017 with flag 1945002/3358220
1240.28/1238.42	c cleaning 22994 clauses out of 46014 with flag 1968000/3381218
1248.88/1247.09	c cleaning 22997 clauses out of 46020 with flag 1991000/3404218
1257.18/1255.31	c cleaning 23002 clauses out of 46023 with flag 2014000/3427218
1264.48/1262.61	c cleaning 23001 clauses out of 46022 with flag 2037001/3450219
1271.69/1269.87	c cleaning 22998 clauses out of 46020 with flag 2060000/3473218
1279.19/1277.32	c cleaning 23004 clauses out of 46022 with flag 2083000/3496218
1286.40/1284.52	c cleaning 23003 clauses out of 46018 with flag 2106000/3519218
1293.70/1291.87	c cleaning 22988 clauses out of 46015 with flag 2129000/3542218
1300.92/1299.10	c cleaning 23001 clauses out of 46027 with flag 2152000/3565218
1308.62/1306.75	c cleaning 23002 clauses out of 46026 with flag 2175000/3588218
1316.21/1314.36	c cleaning 22992 clauses out of 46025 with flag 2198001/3611219
1323.61/1321.77	c cleaning 23000 clauses out of 46032 with flag 2221000/3634218
1330.81/1328.98	c cleaning 23011 clauses out of 46033 with flag 2244001/3657219
1338.52/1336.64	c cleaning 23005 clauses out of 46025 with flag 2267004/3680222
1346.32/1344.49	c cleaning 22992 clauses out of 46017 with flag 2290001/3703219
1354.53/1352.69	c cleaning 22996 clauses out of 46024 with flag 2313000/3726218
1362.54/1360.69	c cleaning 23005 clauses out of 46029 with flag 2336001/3749219
1370.54/1368.62	c cleaning 22999 clauses out of 46023 with flag 2359000/3772218
1378.44/1376.52	c cleaning 23000 clauses out of 46024 with flag 2382000/3795218
1386.95/1385.04	c cleaning 23005 clauses out of 46024 with flag 2405000/3818218
1395.05/1393.16	c cleaning 22996 clauses out of 46019 with flag 2428000/3841218
1403.06/1401.13	c cleaning 23003 clauses out of 46025 with flag 2451002/3864220
1411.08/1409.17	c cleaning 22996 clauses out of 46020 with flag 2474000/3887218
1418.97/1417.03	c cleaning 22995 clauses out of 46024 with flag 2497000/3910218
1426.97/1425.10	c cleaning 23001 clauses out of 46030 with flag 2520001/3933219
1435.07/1433.10	c cleaning 23000 clauses out of 46028 with flag 2543000/3956218
1443.00/1441.03	c cleaning 23003 clauses out of 46029 with flag 2566001/3979219
1450.89/1448.97	c cleaning 23002 clauses out of 46025 with flag 2589000/4002218
1458.90/1456.94	c cleaning 23006 clauses out of 46023 with flag 2612000/4025218
1466.40/1464.41	c cleaning 23000 clauses out of 46017 with flag 2635000/4048218
1473.51/1471.51	c cleaning 22996 clauses out of 46019 with flag 2658002/4071220
1481.11/1479.10	c cleaning 22994 clauses out of 46021 with flag 2681000/4094218
1488.41/1486.49	c cleaning 23000 clauses out of 46028 with flag 2704001/4117219
1495.83/1493.85	c cleaning 23004 clauses out of 46027 with flag 2727000/4140218
1503.54/1501.57	c cleaning 23002 clauses out of 46023 with flag 2750000/4163218
1511.24/1509.24	c cleaning 23002 clauses out of 46021 with flag 2773000/4186218
1518.63/1516.67	c cleaning 23000 clauses out of 46019 with flag 2796000/4209218
1526.03/1524.05	c cleaning 22999 clauses out of 46019 with flag 2819000/4232218
1533.53/1531.54	c cleaning 22990 clauses out of 46020 with flag 2842000/4255218
1541.83/1539.80	c cleaning 23005 clauses out of 46030 with flag 2865000/4278218
1549.54/1547.55	c cleaning 23006 clauses out of 46027 with flag 2888002/4301220
1557.24/1555.26	c cleaning 23004 clauses out of 46019 with flag 2911000/4324218
1565.06/1563.02	c cleaning 22998 clauses out of 46015 with flag 2934000/4347218
1573.15/1571.17	c cleaning 23001 clauses out of 46018 with flag 2957001/4370219
1581.25/1579.26	c cleaning 22998 clauses out of 46017 with flag 2980001/4393219
1589.16/1587.21	c cleaning 22997 clauses out of 46018 with flag 3003000/4416218
1597.56/1595.56	c cleaning 22998 clauses out of 46022 with flag 3026001/4439219
1605.46/1603.42	c cleaning 23003 clauses out of 46023 with flag 3049000/4462218
1613.36/1611.30	c cleaning 23009 clauses out of 46021 with flag 3072001/4485219
1621.29/1619.28	c cleaning 23001 clauses out of 46011 with flag 3095000/4508218
1629.47/1627.47	c cleaning 22997 clauses out of 46010 with flag 3118000/4531218
1638.18/1636.18	c cleaning 22994 clauses out of 46013 with flag 3141000/4554218
1646.08/1644.07	c cleaning 23002 clauses out of 46020 with flag 3164001/4577219
1655.09/1653.07	c cleaning 23003 clauses out of 46017 with flag 3187000/4600218
1663.49/1661.48	c cleaning 23001 clauses out of 46014 with flag 3210000/4623218
1671.39/1669.38	c cleaning 23000 clauses out of 46014 with flag 3233001/4646219
1678.90/1676.88	c cleaning 22991 clauses out of 46013 with flag 3256000/4669218
1686.61/1684.53	c cleaning 22994 clauses out of 46022 with flag 3279000/4692218
1695.12/1693.03	c cleaning 23002 clauses out of 46028 with flag 3302000/4715218
1703.73/1701.64	c cleaning 23009 clauses out of 46028 with flag 3325002/4738220
1712.23/1710.19	c cleaning 22992 clauses out of 46017 with flag 3348000/4761218
1720.13/1718.04	c cleaning 23002 clauses out of 46026 with flag 3371001/4784219
1727.53/1725.47	c cleaning 23001 clauses out of 46023 with flag 3394000/4807218
1735.34/1733.27	c cleaning 23006 clauses out of 46022 with flag 3417000/4830218
1743.04/1740.92	c cleaning 22999 clauses out of 46017 with flag 3440001/4853219
1750.64/1748.55	c cleaning 22995 clauses out of 46017 with flag 3463000/4876218
1758.35/1756.30	c cleaning 23007 clauses out of 46023 with flag 3486001/4899219
1766.35/1764.28	c cleaning 23003 clauses out of 46017 with flag 3509002/4922220
1775.66/1773.56	c cleaning 22999 clauses out of 46013 with flag 3532001/4945219
1785.06/1782.93	c cleaning 22996 clauses out of 46013 with flag 3555000/4968218
1794.56/1792.40	c cleaning 22993 clauses out of 46017 with flag 3578000/4991218
1800.08/1797.92	c starts		: 276
1800.08/1797.92	c conflicts		: 5004692
1800.08/1797.92	c decisions		: 16957423
1800.08/1797.92	c propagations		: 7501968696
1800.08/1797.92	c inspects		: 8534110971
1800.08/1797.92	c shortcuts		: 0
1800.08/1797.92	c learnt literals	: 0
1800.08/1797.92	c learnt binary clauses	: 0
1800.08/1797.92	c learnt ternary clauses	: 3
1800.08/1797.92	c learnt constraints	: 5004692
1800.08/1797.92	c ignored constraints	: 0
1800.08/1797.92	c root simplifications	: 0
1800.08/1797.92	c removed literals (reason simplification)	: 8507405
1800.08/1797.92	c reason swapping (by a shorter reason)	: 0
1800.08/1797.92	c Calls to reduceDB	: 231
1800.08/1797.92	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.92	c number of learned constraints concerned by reduction	: 0
1800.08/1797.92	c number of learning phase by resolution	: 0
1800.08/1797.92	c number of learning phase by cutting planes	: 0
1800.08/1797.92	c speed (assignments/second)	: 5820091.047325865
1800.08/1797.92	c non guided choices	37618
1800.08/1797.95	c learnt constraints type 
1800.08/1797.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36556
1800.08/1797.95	c constraints type 
1800.08/1797.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3792
1800.08/1797.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1797.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18558
1800.08/1797.95	s SATISFIABLE
1800.08/1797.97	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 
1800.08/1797.98	c objective function=29
1800.08/1797.98	c Total wall clock time (in seconds): 1797.866

Verifier Data 

OK	29

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

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

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


[startup+0 s]
/proc/loadavg: 1.91 2.00 1.99 3/512 14454
/proc/meminfo: memFree=23136464/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 1618 0 1 0 0 0 0 0 17 0 2 0 905857673 13833195520 1319 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3377245 1331 906 9 0 3368401 0
[pid=14454/tid=14455] ppid=14452 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 5513 0 1 0 0 0 0 0 18 0 2 0 905857674 13850947584 6329 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.084499 s]
/proc/loadavg: 1.91 2.00 1.99 3/512 14454
/proc/meminfo: memFree=23136464/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 14463 0 1 0 5 1 0 0 17 0 18 0 905857673 13880410112 14159 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3388772 14160 1755 9 0 3379506 0
[pid=14454/tid=14455] ppid=14452 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 13290 0 1 0 5 1 0 0 25 0 18 0 905857674 13880410112 14160 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 47915753294372 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088

[startup+0.100426 s]
/proc/loadavg: 1.91 2.00 1.99 3/512 14454
/proc/meminfo: memFree=23136464/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13622008 CPUtime=0.1 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 15453 0 1 0 9 1 0 0 17 0 18 0 905857673 13948936192 15149 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3405502 15151 2092 9 0 3396236 0
[pid=14454/tid=14455] ppid=14452 vsize=13622008 CPUtime=0.08 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 13559 0 1 0 7 1 0 0 18 0 18 0 905857674 13948936192 15151 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427218379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622008

[startup+0.30039 s]
/proc/loadavg: 1.91 2.00 1.99 3/512 14454
/proc/meminfo: memFree=23136464/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13624736 CPUtime=0.5 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 19374 0 1 0 48 2 0 0 17 0 18 0 905857673 13951729664 18530 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3406184 18531 2201 9 0 3396918 0
[pid=14454/tid=14455] ppid=14452 vsize=13624736 CPUtime=0.28 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 15885 0 1 0 26 2 0 0 18 0 18 0 905857674 13951729664 18532 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505582986 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624736

[startup+0.700315 s]
/proc/loadavg: 1.91 2.00 1.99 3/512 14454
/proc/meminfo: memFree=23136464/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13628240 CPUtime=1.59 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 32634 0 1 0 155 4 0 0 17 0 19 0 905857673 13955317760 29817 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3407060 29817 2236 9 0 3397794 0
[pid=14454/tid=14455] ppid=14452 vsize=13628240 CPUtime=0.67 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 25411 0 1 0 65 2 0 0 19 0 19 0 905857674 13955317760 29817 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505919749 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 13628240

[startup+1.50124 s]
/proc/loadavg: 1.91 2.00 1.99 4/552 14497
/proc/meminfo: memFree=22861736/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13628240 CPUtime=2.55 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 33032 0 1 0 251 4 0 0 17 0 19 0 905857673 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3407060 30215 2238 9 0 3397794 0
[pid=14454/tid=14455] ppid=14452 vsize=13628240 CPUtime=1.47 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 25779 0 1 0 145 2 0 0 20 0 19 0 905857674 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505916560 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14454/tid=14462] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14462/stat : 14462 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14463] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14463/stat : 14463 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14464] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14464/stat : 14464 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14465] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14465/stat : 14465 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14466] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14466/stat : 14466 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14467] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14467/stat : 14467 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14468] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14468/stat : 14468 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14469] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14469/stat : 14469 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 905857676 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14471] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14471/stat : 14471 (java) S 14452 14454 10738 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 905857677 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14472] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14472/stat : 14472 (java) S 14452 14454 10738 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 905857678 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14473] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14473/stat : 14473 (java) S 14452 14454 10738 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 905857678 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14486] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14486/stat : 14486 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14487] ppid=14452 vsize=13628240 CPUtime=0.51 cores=1,3,5,7
/proc/14454/task/14487/stat : 14487 (java) S 14452 14454 10738 0 -1 4202560 2474 0 0 0 51 0 0 0 18 0 19 0 905857680 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14488] ppid=14452 vsize=13628240 CPUtime=0.54 cores=1,3,5,7
/proc/14454/task/14488/stat : 14488 (java) S 14452 14454 10738 0 -1 4202560 3618 0 0 0 54 0 0 0 19 0 19 0 905857680 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14489] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14489/stat : 14489 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14490] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14490/stat : 14490 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905857680 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14496] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14496/stat : 14496 (java) S 14452 14454 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905857724 13955317760 30215 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 13628240

[startup+3.10093 s]
/proc/loadavg: 1.91 2.00 1.99 3/552 14497
/proc/meminfo: memFree=22851936/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13628240 CPUtime=4.18 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 35367 0 1 0 414 4 0 0 17 0 19 0 905857673 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3407060 32545 2264 9 0 3397794 0
[pid=14454/tid=14455] ppid=14452 vsize=13628240 CPUtime=3.04 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 26012 0 1 0 302 2 0 0 19 0 19 0 905857674 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505825309 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14454/tid=14462] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14462/stat : 14462 (java) S 14452 14454 10738 0 -1 4202560 626 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14463] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14463/stat : 14463 (java) S 14452 14454 10738 0 -1 4202560 417 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14464] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14464/stat : 14464 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14465] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14465/stat : 14465 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14466] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14466/stat : 14466 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14467] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14467/stat : 14467 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14468] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14468/stat : 14468 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14469] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14469/stat : 14469 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14471] ppid=14452 vsize=13628240 CPUtime=0.02 cores=1,3,5,7
/proc/14454/task/14471/stat : 14471 (java) S 14452 14454 10738 0 -1 4202560 1050 0 0 0 2 0 0 0 15 0 19 0 905857677 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14472] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14472/stat : 14472 (java) S 14452 14454 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14473] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14473/stat : 14473 (java) S 14452 14454 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14486] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14486/stat : 14486 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14487] ppid=14452 vsize=13628240 CPUtime=0.52 cores=1,3,5,7
/proc/14454/task/14487/stat : 14487 (java) S 14452 14454 10738 0 -1 4202560 2479 0 0 0 52 0 0 0 17 0 19 0 905857680 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14488] ppid=14452 vsize=13628240 CPUtime=0.55 cores=1,3,5,7
/proc/14454/task/14488/stat : 14488 (java) S 14452 14454 10738 0 -1 4202560 3625 0 0 0 55 0 0 0 17 0 19 0 905857680 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14489] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14489/stat : 14489 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14490] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14490/stat : 14490 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905857680 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14496] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14496/stat : 14496 (java) S 14452 14454 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905857724 13955317760 32545 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 13628240

[startup+6.30132 s]
/proc/loadavg: 1.92 2.00 1.99 3/552 14498
/proc/meminfo: memFree=22822376/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13628240 CPUtime=7.41 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 35875 0 1 0 737 4 0 0 17 0 19 0 905857673 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3407060 33035 2264 9 0 3397794 0
[pid=14454/tid=14455] ppid=14452 vsize=13628240 CPUtime=6.22 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 26014 0 1 0 620 2 0 0 25 0 19 0 905857674 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505895238 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14454/tid=14462] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14462/stat : 14462 (java) S 14452 14454 10738 0 -1 4202560 626 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14463] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14463/stat : 14463 (java) S 14452 14454 10738 0 -1 4202560 417 0 0 0 0 0 0 0 18 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14464] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14464/stat : 14464 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14465] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14465/stat : 14465 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14466] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14466/stat : 14466 (java) S 14452 14454 10738 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14467] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14467/stat : 14467 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14468] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14468/stat : 14468 (java) S 14452 14454 10738 0 -1 4202560 358 0 0 0 0 0 0 0 15 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14469] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14469/stat : 14469 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905857676 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14471] ppid=14452 vsize=13628240 CPUtime=0.04 cores=1,3,5,7
/proc/14454/task/14471/stat : 14471 (java) S 14452 14454 10738 0 -1 4202560 1193 0 0 0 4 0 0 0 15 0 19 0 905857677 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14472] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14472/stat : 14472 (java) S 14452 14454 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14473] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14473/stat : 14473 (java) S 14452 14454 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14486] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14486/stat : 14486 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14487] ppid=14452 vsize=13628240 CPUtime=0.54 cores=1,3,5,7
/proc/14454/task/14487/stat : 14487 (java) S 14452 14454 10738 0 -1 4202560 2481 0 0 0 54 0 0 0 16 0 19 0 905857680 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14488] ppid=14452 vsize=13628240 CPUtime=0.57 cores=1,3,5,7
/proc/14454/task/14488/stat : 14488 (java) S 14452 14454 10738 0 -1 4202560 3628 0 0 0 57 0 0 0 15 0 19 0 905857680 13955317760 33035 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0

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

[pid=14454/tid=14467] ppid=14452 vsize=13628240 CPUtime=0.17 cores=1,3,5,7
/proc/14454/task/14467/stat : 14467 (java) S 14452 14454 10738 0 -1 4202560 196 0 0 0 17 0 0 0 15 0 19 0 905857676 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14468] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14468/stat : 14468 (java) S 14452 14454 10738 0 -1 4202560 545 0 0 0 18 0 0 0 15 0 19 0 905857676 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14469] ppid=14452 vsize=13628240 CPUtime=0.16 cores=1,3,5,7
/proc/14454/task/14469/stat : 14469 (java) S 14452 14454 10738 0 -1 4202560 44 0 0 0 16 0 0 0 15 0 19 0 905857676 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14471] ppid=14452 vsize=13628240 CPUtime=6.89 cores=1,3,5,7
/proc/14454/task/14471/stat : 14471 (java) S 14452 14454 10738 0 -1 4202560 5142 0 0 0 684 5 0 0 15 0 19 0 905857677 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14472] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14472/stat : 14472 (java) S 14452 14454 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14473] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14473/stat : 14473 (java) S 14452 14454 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14486] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14486/stat : 14486 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14487] ppid=14452 vsize=13628240 CPUtime=0.62 cores=1,3,5,7
/proc/14454/task/14487/stat : 14487 (java) S 14452 14454 10738 0 -1 4202560 2486 0 0 0 62 0 0 0 16 0 19 0 905857680 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14488] ppid=14452 vsize=13628240 CPUtime=0.57 cores=1,3,5,7
/proc/14454/task/14488/stat : 14488 (java) S 14452 14454 10738 0 -1 4202560 3628 0 0 0 57 0 0 0 15 0 19 0 905857680 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14489] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14489/stat : 14489 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14490] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14490/stat : 14490 (java) S 14452 14454 10738 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905857680 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14496] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14496/stat : 14496 (java) S 14452 14454 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905857724 13955317760 38617 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.43
Current children cumulated vsize (KiB) 13628240

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/552 14554
/proc/meminfo: memFree=22749496/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13628240 CPUtime=1784.46 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 41967 0 1 0 178434 12 0 0 17 0 19 0 905857673 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3407060 38685 2265 9 0 3397794 0
[pid=14454/tid=14455] ppid=14452 vsize=13628240 CPUtime=1774.56 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 26240 0 1 0 177453 3 0 0 25 0 19 0 905857674 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505936516 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14454/tid=14462] ppid=14452 vsize=13628240 CPUtime=0.21 cores=1,3,5,7
/proc/14454/task/14462/stat : 14462 (java) S 14452 14454 10738 0 -1 4202560 977 0 0 0 21 0 0 0 15 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14463] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14463/stat : 14463 (java) S 14452 14454 10738 0 -1 4202560 472 0 0 0 18 0 0 0 15 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14464] ppid=14452 vsize=13628240 CPUtime=0.2 cores=1,3,5,7
/proc/14454/task/14464/stat : 14464 (java) S 14452 14454 10738 0 -1 4202560 289 0 0 0 20 0 0 0 15 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14465] ppid=14452 vsize=13628240 CPUtime=0.2 cores=1,3,5,7
/proc/14454/task/14465/stat : 14465 (java) S 14452 14454 10738 0 -1 4202560 268 0 0 0 20 0 0 0 15 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14466] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14466/stat : 14466 (java) S 14452 14454 10738 0 -1 4202560 356 0 0 0 18 0 0 0 16 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14467] ppid=14452 vsize=13628240 CPUtime=0.17 cores=1,3,5,7
/proc/14454/task/14467/stat : 14467 (java) S 14452 14454 10738 0 -1 4202560 196 0 0 0 17 0 0 0 16 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14468] ppid=14452 vsize=13628240 CPUtime=0.19 cores=1,3,5,7
/proc/14454/task/14468/stat : 14468 (java) S 14452 14454 10738 0 -1 4202560 545 0 0 0 19 0 0 0 15 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14469] ppid=14452 vsize=13628240 CPUtime=0.17 cores=1,3,5,7
/proc/14454/task/14469/stat : 14469 (java) S 14452 14454 10738 0 -1 4202560 44 0 0 0 17 0 0 0 16 0 19 0 905857676 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14471] ppid=14452 vsize=13628240 CPUtime=7.12 cores=1,3,5,7
/proc/14454/task/14471/stat : 14471 (java) S 14452 14454 10738 0 -1 4202560 5212 0 0 0 707 5 0 0 15 0 19 0 905857677 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14472] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14472/stat : 14472 (java) S 14452 14454 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14473] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14473/stat : 14473 (java) S 14452 14454 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14486] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14486/stat : 14486 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14487] ppid=14452 vsize=13628240 CPUtime=0.62 cores=1,3,5,7
/proc/14454/task/14487/stat : 14487 (java) S 14452 14454 10738 0 -1 4202560 2486 0 0 0 62 0 0 0 16 0 19 0 905857680 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14488] ppid=14452 vsize=13628240 CPUtime=0.57 cores=1,3,5,7
/proc/14454/task/14488/stat : 14488 (java) S 14452 14454 10738 0 -1 4202560 3628 0 0 0 57 0 0 0 15 0 19 0 905857680 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14489] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14489/stat : 14489 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14490] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14490/stat : 14490 (java) S 14452 14454 10738 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905857680 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14496] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14496/stat : 14496 (java) S 14452 14454 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905857724 13955317760 38685 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (KiB) 13628240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.00 2.04 2.00 3/552 14554
/proc/meminfo: memFree=22749492/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13628240 CPUtime=1800.08 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 41998 0 1 0 179996 12 0 0 17 0 19 0 905857673 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3407060 38710 2265 9 0 3397794 0
[pid=14454/tid=14455] ppid=14452 vsize=13628240 CPUtime=1790.11 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 26242 0 1 0 179008 3 0 0 25 0 19 0 905857674 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505932989 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14454/tid=14462] ppid=14452 vsize=13628240 CPUtime=0.21 cores=1,3,5,7
/proc/14454/task/14462/stat : 14462 (java) S 14452 14454 10738 0 -1 4202560 977 0 0 0 21 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14463] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14463/stat : 14463 (java) S 14452 14454 10738 0 -1 4202560 472 0 0 0 18 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14464] ppid=14452 vsize=13628240 CPUtime=0.2 cores=1,3,5,7
/proc/14454/task/14464/stat : 14464 (java) S 14452 14454 10738 0 -1 4202560 289 0 0 0 20 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14465] ppid=14452 vsize=13628240 CPUtime=0.2 cores=1,3,5,7
/proc/14454/task/14465/stat : 14465 (java) S 14452 14454 10738 0 -1 4202560 268 0 0 0 20 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14466] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14466/stat : 14466 (java) S 14452 14454 10738 0 -1 4202560 362 0 0 0 18 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14467] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14467/stat : 14467 (java) S 14452 14454 10738 0 -1 4202560 196 0 0 0 18 0 0 0 16 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14468] ppid=14452 vsize=13628240 CPUtime=0.19 cores=1,3,5,7
/proc/14454/task/14468/stat : 14468 (java) S 14452 14454 10738 0 -1 4202560 545 0 0 0 19 0 0 0 16 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14469] ppid=14452 vsize=13628240 CPUtime=0.17 cores=1,3,5,7
/proc/14454/task/14469/stat : 14469 (java) S 14452 14454 10738 0 -1 4202560 44 0 0 0 17 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14471] ppid=14452 vsize=13628240 CPUtime=7.18 cores=1,3,5,7
/proc/14454/task/14471/stat : 14471 (java) S 14452 14454 10738 0 -1 4202560 5233 0 0 0 713 5 0 0 15 0 19 0 905857677 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14472] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14472/stat : 14472 (java) S 14452 14454 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14473] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14473/stat : 14473 (java) S 14452 14454 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14486] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14486/stat : 14486 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14487] ppid=14452 vsize=13628240 CPUtime=0.62 cores=1,3,5,7
/proc/14454/task/14487/stat : 14487 (java) S 14452 14454 10738 0 -1 4202560 2486 0 0 0 62 0 0 0 16 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14488] ppid=14452 vsize=13628240 CPUtime=0.57 cores=1,3,5,7
/proc/14454/task/14488/stat : 14488 (java) S 14452 14454 10738 0 -1 4202560 3628 0 0 0 57 0 0 0 15 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14489] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14489/stat : 14489 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14490] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14490/stat : 14490 (java) S 14452 14454 10738 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14496] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14496/stat : 14496 (java) S 14452 14454 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905857724 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13628240

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

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

[startup+1797.9 s]
/proc/loadavg: 2.00 2.04 2.00 3/552 14554
/proc/meminfo: memFree=22749492/32950928 swapFree=58671692/67111528
[pid=14454] ppid=14452 vsize=13628240 CPUtime=1800.08 cores=1,3,5,7
/proc/14454/stat : 14454 (java) S 14452 14454 10738 0 -1 4202496 41998 0 1 0 179996 12 0 0 17 0 19 0 905857673 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14454/statm: 3407060 38710 2265 9 0 3397794 0
[pid=14454/tid=14455] ppid=14452 vsize=13628240 CPUtime=1790.11 cores=1,3,5,7
/proc/14454/task/14455/stat : 14455 (java) R 14452 14454 10738 0 -1 4202560 26242 0 1 0 179008 3 0 0 25 0 19 0 905857674 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 46912505932989 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14454/tid=14462] ppid=14452 vsize=13628240 CPUtime=0.21 cores=1,3,5,7
/proc/14454/task/14462/stat : 14462 (java) S 14452 14454 10738 0 -1 4202560 977 0 0 0 21 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14463] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14463/stat : 14463 (java) S 14452 14454 10738 0 -1 4202560 472 0 0 0 18 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14464] ppid=14452 vsize=13628240 CPUtime=0.2 cores=1,3,5,7
/proc/14454/task/14464/stat : 14464 (java) S 14452 14454 10738 0 -1 4202560 289 0 0 0 20 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14465] ppid=14452 vsize=13628240 CPUtime=0.2 cores=1,3,5,7
/proc/14454/task/14465/stat : 14465 (java) S 14452 14454 10738 0 -1 4202560 268 0 0 0 20 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14466] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14466/stat : 14466 (java) S 14452 14454 10738 0 -1 4202560 362 0 0 0 18 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14467] ppid=14452 vsize=13628240 CPUtime=0.18 cores=1,3,5,7
/proc/14454/task/14467/stat : 14467 (java) S 14452 14454 10738 0 -1 4202560 196 0 0 0 18 0 0 0 16 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14468] ppid=14452 vsize=13628240 CPUtime=0.19 cores=1,3,5,7
/proc/14454/task/14468/stat : 14468 (java) S 14452 14454 10738 0 -1 4202560 545 0 0 0 19 0 0 0 16 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14469] ppid=14452 vsize=13628240 CPUtime=0.17 cores=1,3,5,7
/proc/14454/task/14469/stat : 14469 (java) S 14452 14454 10738 0 -1 4202560 44 0 0 0 17 0 0 0 15 0 19 0 905857676 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14471] ppid=14452 vsize=13628240 CPUtime=7.18 cores=1,3,5,7
/proc/14454/task/14471/stat : 14471 (java) S 14452 14454 10738 0 -1 4202560 5233 0 0 0 713 5 0 0 15 0 19 0 905857677 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14472] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14472/stat : 14472 (java) S 14452 14454 10738 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14473] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14473/stat : 14473 (java) S 14452 14454 10738 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905857678 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14486] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14486/stat : 14486 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14487] ppid=14452 vsize=13628240 CPUtime=0.62 cores=1,3,5,7
/proc/14454/task/14487/stat : 14487 (java) S 14452 14454 10738 0 -1 4202560 2486 0 0 0 62 0 0 0 16 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=14454/tid=14488] ppid=14452 vsize=13628240 CPUtime=0.57 cores=1,3,5,7
/proc/14454/task/14488/stat : 14488 (java) S 14452 14454 10738 0 -1 4202560 3628 0 0 0 57 0 0 0 15 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=14454/tid=14489] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14489/stat : 14489 (java) S 14452 14454 10738 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=14454/tid=14490] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14490/stat : 14490 (java) S 14452 14454 10738 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905857680 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=14454/tid=14496] ppid=14452 vsize=13628240 CPUtime=0 cores=1,3,5,7
/proc/14454/task/14496/stat : 14496 (java) S 14452 14454 10738 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905857724 13955317760 38710 33554432000 1073741824 1073778376 140734424743632 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 13628240

Child status: 143
Real time (s): 1797.99
CPU time (s): 1800.23
CPU user time (s): 1800.09
CPU system time (s): 0.132979
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 13628332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42136
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= 43563
involuntary context switches= 8074

runsolver used 9.72752 second user time and 21.4367 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 04:57:50
IDJOB=3458487
IDBENCH=24989
IDSOLVER=1952
FILE ID=node115/3458487-1307156270
RUNJOBID= node115-1307156270-14441
PBS_JOBID= 13508801
Free space on /tmp= 73840 MiB

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

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

MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1
RANDOM SEED=1054832943

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.75
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.811
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.77
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.811
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.74
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.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23136744 kB
Buffers:        174560 kB
Cached:         304752 kB
SwapCached:      65796 kB
Active:        1075052 kB
Inactive:      8498020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23136744 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:            2056 kB
Writeback:          24 kB
AnonPages:     9031896 kB
Mapped:          26816 kB
Slab:            96736 kB
PageTables:      75808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 151812528 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= 73836 MiB
End job on node115 at 2011-06-04 05:27:50