Trace number 3710129

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)1074999808 1800.09 1784.66

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-rout.opb
MD5SUM00504f72d4d33ef46136a0269c782c15
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1074949888
Best CPU time to get the best result obtained on this benchmark1800.85
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1074976000
Optimality of the best value was proved NO
Number of variables7561
Total number of constraints306
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint2
Maximum length of a constraint917
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 26904326400
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 81230087655
Number of bits of the biggest sum of numbers37
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.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710129-1338149936.opb
0.10/0.12	c reading problem ... 
0.57/0.38	c ... done. Wall clock time 0.258s.
0.57/0.38	c declared #vars     7561
0.57/0.38	c #constraints  337
0.57/0.38	c constraints type 
0.57/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
0.57/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15
0.57/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 308
0.57/0.38	c 337 constraints processed.
0.87/0.48	c SATISFIABLE
0.87/0.48	c OPTIMIZING...
0.87/0.48	c Got one! Elapsed wall clock time (in seconds):0.363
0.87/0.48	o 1076173056
1.08/0.58	c Got one! Elapsed wall clock time (in seconds):0.466
1.08/0.58	o 1076018176
2.82/1.83	c Got one! Elapsed wall clock time (in seconds):1.717
2.82/1.83	o 1075294208
4.00/2.98	c cleaning 2976 clauses out of 5963 with flag 3000/5986
4.38/3.28	c Got one! Elapsed wall clock time (in seconds):3.165
4.38/3.28	o 1075218176
6.12/4.94	c cleaning 4340 clauses out of 8684 with flag 5001/11700
8.02/6.89	c cleaning 5168 clauses out of 10344 with flag 11001/17700
10.04/8.85	c cleaning 6085 clauses out of 12174 with flag 18001/24700
12.29/11.07	c cleaning 7045 clauses out of 14089 with flag 26001/32700
14.42/13.16	c Got one! Elapsed wall clock time (in seconds):13.046
14.42/13.16	o 1075183104
16.34/15.00	c cleaning 9245 clauses out of 18503 with flag 5000/44163
16.57/15.25	c Got one! Elapsed wall clock time (in seconds):15.134
16.57/15.25	o 1075175424
17.97/16.69	c cleaning 7507 clauses out of 15037 with flag 5000/49947
20.18/18.80	c Got one! Elapsed wall clock time (in seconds):18.68
20.18/18.80	o 1075126784
22.18/20.80	c cleaning 9151 clauses out of 18329 with flag 5002/60766
24.28/22.93	c cleaning 7573 clauses out of 15177 with flag 11001/66765
26.59/25.27	c cleaning 7282 clauses out of 14603 with flag 18000/73764
28.59/27.27	c Got one! Elapsed wall clock time (in seconds):27.154
28.59/27.27	o 1075059456
30.29/28.99	c cleaning 9091 clauses out of 18191 with flag 5000/84634
32.11/30.79	c cleaning 7533 clauses out of 15100 with flag 11000/90634
34.31/33.00	c cleaning 7277 clauses out of 14567 with flag 18000/97634
37.63/36.23	c cleaning 7628 clauses out of 15291 with flag 26001/105635
41.53/40.17	c cleaning 8324 clauses out of 16663 with flag 35001/114635
45.38/43.92	c cleaning 9162 clauses out of 18338 with flag 45000/124634
49.20/47.75	c cleaning 10091 clauses out of 20185 with flag 56009/135643
53.91/52.44	c cleaning 11036 clauses out of 22086 with flag 68001/147635
59.12/57.62	c cleaning 12020 clauses out of 24049 with flag 81000/160634
65.25/63.73	c cleaning 13009 clauses out of 26029 with flag 95000/174634
70.97/69.41	c cleaning 14004 clauses out of 28023 with flag 110003/189637
77.69/76.10	c cleaning 15000 clauses out of 30017 with flag 126001/205635
80.92/79.37	c Got one! Elapsed wall clock time (in seconds):79.249
80.92/79.37	o 1075046144
82.93/81.39	c cleaning 13842 clauses out of 27722 with flag 5003/218340
85.33/83.75	c cleaning 9919 clauses out of 19882 with flag 11005/224342
87.75/86.17	c cleaning 8450 clauses out of 16958 with flag 18000/231337
90.86/89.20	c cleaning 8250 clauses out of 16509 with flag 26001/239338
93.86/92.26	c cleaning 8623 clauses out of 17258 with flag 35000/248337
97.48/95.84	c cleaning 9312 clauses out of 18635 with flag 45000/258337
101.49/99.82	c cleaning 10150 clauses out of 20323 with flag 56000/269337
103.09/101.42	c Got one! Elapsed wall clock time (in seconds):101.303
103.09/101.42	o 1075043072
103.39/101.78	c cleaning 8023 clauses out of 16064 with flag 1002/275228
105.70/104.04	c cleaning 7002 clauses out of 14041 with flag 7002/281228
108.11/106.40	c cleaning 6989 clauses out of 14037 with flag 14000/288226
110.91/109.27	c cleaning 7507 clauses out of 15048 with flag 22000/296226
114.32/112.64	c cleaning 8267 clauses out of 16544 with flag 31003/305229
117.23/115.52	c cleaning 9136 clauses out of 18275 with flag 41001/315227
120.54/118.89	c cleaning 10063 clauses out of 20138 with flag 52000/326226
124.88/123.13	c cleaning 11037 clauses out of 22077 with flag 64002/338228
129.69/127.98	c cleaning 12014 clauses out of 24038 with flag 77000/351226
134.51/132.78	c cleaning 13008 clauses out of 26026 with flag 91002/365228
139.34/137.58	c cleaning 14006 clauses out of 28018 with flag 106002/380228
145.86/144.02	c Got one! Elapsed wall clock time (in seconds):143.902
145.86/144.02	o 1075008256
148.05/146.26	c cleaning 16743 clauses out of 33494 with flag 5000/399710
150.68/148.80	c cleaning 11370 clauses out of 22751 with flag 11000/405710
153.21/151.33	c cleaning 9180 clauses out of 18381 with flag 18000/412710
155.73/153.84	c cleaning 8587 clauses out of 17201 with flag 26000/420710
158.53/156.61	c cleaning 8793 clauses out of 17614 with flag 35000/429710
162.13/160.27	c cleaning 9406 clauses out of 18821 with flag 45000/439710
166.73/164.87	c cleaning 10203 clauses out of 20416 with flag 56001/450711
171.64/169.77	c cleaning 11095 clauses out of 22212 with flag 68000/462710
177.06/175.13	c cleaning 12048 clauses out of 24118 with flag 81001/475711
182.67/180.78	c cleaning 13027 clauses out of 26069 with flag 95000/489710
189.30/187.39	c cleaning 14014 clauses out of 28043 with flag 110001/504711
196.61/194.66	c cleaning 15005 clauses out of 30028 with flag 126000/520710
203.66/201.66	c cleaning 16000 clauses out of 32026 with flag 143003/537713
211.79/209.70	c cleaning 17001 clauses out of 34023 with flag 161000/555710
220.92/218.83	c cleaning 18005 clauses out of 36026 with flag 180004/574714
229.74/227.68	c cleaning 19001 clauses out of 38018 with flag 200001/594711
238.36/236.24	c cleaning 20004 clauses out of 40017 with flag 221001/615711
249.10/246.97	c cleaning 21002 clauses out of 42012 with flag 243000/637710
260.21/258.00	c cleaning 22000 clauses out of 44011 with flag 266001/660711
271.24/269.06	c cleaning 22999 clauses out of 46010 with flag 290000/684710
283.78/281.59	c cleaning 23995 clauses out of 48011 with flag 315000/709710
294.62/292.37	c Got one! Elapsed wall clock time (in seconds):292.25
294.62/292.37	o 1075004928
296.72/294.40	c cleaning 26164 clauses out of 52331 with flag 5000/738025
298.80/296.41	c cleaning 16061 clauses out of 32168 with flag 11001/744026
301.80/299.44	c cleaning 11536 clauses out of 23106 with flag 18000/751025
304.61/302.20	c cleaning 9763 clauses out of 19571 with flag 26001/759026
308.01/305.61	c cleaning 9386 clauses out of 18807 with flag 35000/768025
312.11/309.71	c cleaning 9698 clauses out of 19423 with flag 45002/778027
316.61/314.20	c cleaning 10357 clauses out of 20723 with flag 56000/789025
321.12/318.80	c cleaning 11180 clauses out of 22366 with flag 68000/801025
326.33/323.95	c cleaning 12092 clauses out of 24187 with flag 81001/814026
331.43/329.06	c cleaning 13047 clauses out of 26097 with flag 95003/828028
337.86/335.40	c cleaning 14023 clauses out of 28050 with flag 110003/843028
345.28/342.85	c cleaning 15008 clauses out of 30025 with flag 126001/859026
353.49/351.08	c cleaning 16008 clauses out of 32016 with flag 143000/876025
360.82/358.35	c cleaning 16999 clauses out of 34009 with flag 161001/894026
368.74/366.26	c cleaning 18000 clauses out of 36012 with flag 180003/913028
376.47/373.93	c cleaning 18998 clauses out of 38010 with flag 200001/933026
384.59/382.08	c cleaning 19991 clauses out of 40012 with flag 221001/954026
394.81/392.22	c cleaning 21001 clauses out of 42020 with flag 243000/976025
407.24/404.63	c cleaning 21998 clauses out of 44020 with flag 266001/999026
418.97/416.38	c cleaning 23002 clauses out of 46021 with flag 290000/1023025
428.10/425.49	c cleaning 24005 clauses out of 48020 with flag 315001/1048026
439.83/437.11	c cleaning 25001 clauses out of 50016 with flag 341002/1074027
450.97/448.27	c cleaning 25998 clauses out of 52013 with flag 368000/1101025
464.80/462.02	c cleaning 27002 clauses out of 54015 with flag 396000/1129025
479.15/476.31	c cleaning 28001 clauses out of 56016 with flag 425003/1158028
493.54/490.63	c cleaning 28995 clauses out of 58012 with flag 455000/1188025
507.68/504.73	c cleaning 30008 clauses out of 60019 with flag 486002/1219027
522.27/519.25	c cleaning 31005 clauses out of 62012 with flag 518003/1251028
538.31/535.22	c cleaning 31992 clauses out of 64004 with flag 551000/1284025
555.82/552.67	c cleaning 32994 clauses out of 66012 with flag 585000/1318025
571.99/568.80	c cleaning 34003 clauses out of 68018 with flag 620000/1353025
592.87/589.59	c cleaning 35003 clauses out of 70016 with flag 656001/1389026
611.66/608.26	c cleaning 35991 clauses out of 72012 with flag 693000/1426025
632.17/628.63	c cleaning 36997 clauses out of 74021 with flag 731000/1464025
659.36/655.62	c cleaning 37997 clauses out of 76025 with flag 770001/1503026
681.52/677.68	c cleaning 39003 clauses out of 78028 with flag 810001/1543026
706.22/702.25	c cleaning 40002 clauses out of 80025 with flag 851001/1584026
732.25/728.15	c cleaning 41006 clauses out of 82022 with flag 893000/1626025
757.84/753.51	c cleaning 41998 clauses out of 84017 with flag 936001/1669026
786.34/781.90	c cleaning 43002 clauses out of 86018 with flag 980000/1713025
817.80/813.15	c cleaning 44006 clauses out of 88018 with flag 1025002/1758027
849.17/844.32	c cleaning 44990 clauses out of 90012 with flag 1071002/1804027
884.02/878.93	c cleaning 45994 clauses out of 92021 with flag 1118001/1851026
919.93/914.63	c cleaning 47006 clauses out of 94028 with flag 1166002/1899027
953.15/947.67	c cleaning 48003 clauses out of 96020 with flag 1215000/1948025
988.00/982.36	c cleaning 48998 clauses out of 98017 with flag 1265000/1998025
998.59/992.85	c Got one! Elapsed wall clock time (in seconds):992.729
998.59/992.85	o 1074999808
1002.25/996.40	c cleaning 37399 clauses out of 74838 with flag 5001/2023844
1005.47/999.70	c cleaning 21692 clauses out of 43438 with flag 11000/2029843
1008.37/1002.57	c cleaning 14350 clauses out of 28747 with flag 18001/2036844
1011.39/1005.55	c cleaning 11176 clauses out of 22398 with flag 26002/2044845
1014.90/1009.00	c cleaning 10090 clauses out of 20220 with flag 35000/2053843
1019.45/1013.56	c cleaning 10038 clauses out of 20134 with flag 45004/2063847
1024.89/1018.94	c cleaning 10519 clauses out of 21092 with flag 56000/2074843
1029.53/1023.57	c cleaning 11274 clauses out of 22575 with flag 68002/2086845
1034.35/1028.39	c cleaning 12149 clauses out of 24303 with flag 81004/2099847
1039.68/1033.65	c cleaning 13075 clauses out of 26150 with flag 95000/2113843
1045.82/1039.71	c cleaning 14031 clauses out of 28075 with flag 110000/2128843
1052.97/1046.82	c cleaning 15018 clauses out of 30044 with flag 126000/2144843
1061.02/1054.86	c cleaning 16008 clauses out of 32027 with flag 143001/2161844
1069.31/1063.09	c cleaning 16998 clauses out of 34018 with flag 161000/2179843
1076.96/1070.67	c cleaning 18002 clauses out of 36021 with flag 180001/2198844
1084.34/1077.99	c cleaning 19008 clauses out of 38020 with flag 200002/2218845
1091.50/1085.07	c cleaning 19997 clauses out of 40010 with flag 221000/2239843
1100.16/1093.65	c cleaning 21003 clauses out of 42015 with flag 243002/2261845
1111.07/1104.49	c cleaning 21991 clauses out of 43988 with flag 266000/2284843
1124.49/1117.73	c cleaning 22995 clauses out of 45997 with flag 290000/2308843
1137.37/1130.53	c cleaning 23995 clauses out of 48004 with flag 315002/2333845
1150.48/1143.57	c cleaning 25001 clauses out of 50009 with flag 341002/2359845
1162.71/1155.65	c cleaning 25990 clauses out of 52006 with flag 368000/2386843
1175.92/1168.75	c cleaning 27005 clauses out of 54017 with flag 396001/2414844
1191.09/1183.74	c cleaning 27997 clauses out of 56012 with flag 425001/2443844
1208.93/1201.46	c cleaning 28994 clauses out of 58014 with flag 455000/2473843
1223.58/1215.93	c cleaning 30012 clauses out of 60024 with flag 486004/2504847
1239.84/1232.01	c cleaning 30991 clauses out of 62008 with flag 518000/2536843
1256.80/1248.81	c cleaning 32003 clauses out of 64019 with flag 551002/2569845
1276.84/1268.67	c cleaning 33004 clauses out of 66016 with flag 585002/2603845
1300.43/1292.08	c cleaning 34006 clauses out of 68011 with flag 620001/2638844
1323.18/1314.58	c cleaning 34999 clauses out of 70004 with flag 656000/2674843
1348.90/1339.91	c cleaning 35998 clauses out of 72008 with flag 693003/2711846
1368.58/1359.31	c cleaning 37001 clauses out of 74008 with flag 731001/2749844
1391.00/1381.54	c cleaning 37998 clauses out of 76006 with flag 770000/2788843
1412.19/1402.50	c cleaning 38998 clauses out of 78009 with flag 810001/2828844
1434.96/1424.91	c cleaning 40003 clauses out of 80010 with flag 851000/2869843
1459.29/1448.98	c cleaning 40999 clauses out of 82009 with flag 893002/2911845
1485.42/1474.72	c cleaning 41999 clauses out of 84009 with flag 936001/2954844
1515.63/1504.55	c cleaning 42997 clauses out of 86009 with flag 980000/2998843
1544.96/1533.56	c cleaning 44007 clauses out of 88013 with flag 1025001/3043844
1571.89/1560.08	c cleaning 44995 clauses out of 90008 with flag 1071003/3089846
1600.62/1588.35	c cleaning 46006 clauses out of 92013 with flag 1118003/3136846
1629.24/1616.44	c cleaning 46993 clauses out of 94004 with flag 1166000/3184843
1656.39/1643.08	c cleaning 48001 clauses out of 96013 with flag 1215002/3233845
1681.99/1668.25	c cleaning 48994 clauses out of 98011 with flag 1265001/3283844
1712.14/1698.09	c cleaning 49994 clauses out of 100017 with flag 1316001/3334844
1739.02/1724.39	c cleaning 51005 clauses out of 102024 with flag 1368002/3386845
1784.13/1768.97	c cleaning 52008 clauses out of 104017 with flag 1421000/3439843
1800.09/1784.61	c starts		: 263
1800.09/1784.61	c conflicts		: 3463910
1800.09/1784.61	c decisions		: 3851331
1800.09/1784.61	c propagations		: 194658848
1800.09/1784.61	c inspects		: 8108965425
1800.09/1784.61	c shortcuts		: 0
1800.09/1784.61	c learnt literals	: 10
1800.09/1784.61	c learnt binary clauses	: 422
1800.09/1784.61	c learnt ternary clauses	: 779
1800.09/1784.61	c learnt constraints	: 3463900
1800.09/1784.61	c ignored constraints	: 0
1800.09/1784.61	c root simplifications	: 273
1800.09/1784.61	c removed literals (reason simplification)	: 63684324
1800.09/1784.61	c reason swapping (by a shorter reason)	: 0
1800.09/1784.61	c Calls to reduceDB	: 156
1800.09/1784.61	c number of reductions to clauses (during analyze)	: 0
1800.09/1784.61	c number of learned constraints concerned by reduction	: 0
1800.09/1784.61	c number of learning phase by resolution	: 0
1800.09/1784.61	c number of learning phase by cutting planes	: 0
1800.09/1784.61	c speed (assignments/second)	: 109101.29004378986
1800.09/1784.61	c non guided choices	3162
1800.09/1784.64	c learnt constraints type 
1800.09/1784.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 416
1800.09/1784.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 75699
1800.09/1784.64	c constraints type 
1800.09/1784.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
1800.09/1784.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15
1800.09/1784.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 309
1800.09/1784.64	c 338 constraints processed.
1800.09/1784.64	s SATISFIABLE
1800.09/1784.65	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 -x761 x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 x1683 x1684 x1685 x1686 x1687 x1688 x1689 x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 x2073 x2074 x2075 x2076 x2077 x2078 x2079 x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 x2702 x2703 x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 x3032 x3033 x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 x3513 x3514 x3515 x3516 x3517 x3518 x3519 x3520 x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 x3872 x3873 x3874 x3875 x3876 x3877 x3878 x3879 x3880 -x3881 x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x4750 -x4751 -x4752 x4753 x4754 -x4755 -x4756 x4757 x4758 -x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 x4772 x4773 x4774 x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 x5094 -x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638 x6639 x6640 x6641 x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 
1800.09/1784.65	c objective function=1074999808
1800.09/1784.65	c Total wall clock time (in seconds): 1784.537

Verifier Data 

OK	1074999808

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710129-1338149936/watcher-3710129-1338149936 -o /tmp/evaluation-result-3710129-1338149936/solver-3710129-1338149936 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710129-1338149936.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.95 1.98 1.99 3/194 17883
/proc/meminfo: memFree=28873200/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/17883/stat : 17883 (java) R 17881 17883 14200 0 -1 4202496 1017 0 0 0 0 0 0 0 20 0 1 0 281118628 23793664 745 33554432000 1073741824 1073778376 140733708507056 140733708496120 139641467879012 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 5809 760 558 9 0 128 0

[startup+0.038698 s]
/proc/loadavg: 1.95 1.98 1.99 3/194 17883
/proc/meminfo: memFree=28873200/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 3076 0 1 0 2 0 0 0 20 0 13 0 281118628 9446973440 3262 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2306390 3263 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100308 s]
/proc/loadavg: 1.95 1.98 1.99 3/194 17883
/proc/meminfo: memFree=28873200/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 4328 0 1 0 9 1 0 0 20 0 18 0 281118628 9787842560 5535 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2389610 5535 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300165 s]
/proc/loadavg: 1.95 1.98 1.99 3/194 17883
/proc/meminfo: memFree=28873200/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9558440 CPUtime=0.57 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 8976 0 1 0 55 2 0 0 20 0 18 0 281118628 9787842560 11761 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2389610 11761 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558440

[startup+0.700281 s]
/proc/loadavg: 1.95 1.98 1.99 3/194 17883
/proc/meminfo: memFree=28873200/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9625004 CPUtime=1.54 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 10142 0 1 0 151 3 0 0 20 0 19 0 281118628 9856004096 15507 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2406251 15507 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 9625004

[startup+1.50075 s]
/proc/loadavg: 1.95 1.98 1.99 3/213 17902
/proc/meminfo: memFree=28815896/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9625004 CPUtime=2.45 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 10268 0 1 0 241 4 0 0 20 0 19 0 281118628 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2406251 18083 2264 9 0 2396937 0
[pid=17883/tid=17885] ppid=17881 vsize=9625004 CPUtime=1.48 cores=0,2,4,6
/proc/17883/task/17885/stat : 17885 (java) R 17881 17883 14200 0 -1 4202560 2573 0 1 0 146 2 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641459888744 139641400244784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641303808680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641302756136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641301703592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641300651048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17890] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641299597480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641298544936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17892] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17892/stat : 17892 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641297492392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17893] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17893/stat : 17893 (java) S 17881 17883 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641296439848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17894] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17894/stat : 17894 (java) S 17881 17883 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281118630 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641284029032 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17895] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17895/stat : 17895 (java) S 17881 17883 14200 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641282975352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17896] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17896/stat : 17896 (java) S 17881 17883 14200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641281922696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17897] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17897/stat : 17897 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641280871440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17898] ppid=17881 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/17883/task/17898/stat : 17898 (java) S 17881 17883 14200 0 -1 4202560 3719 0 0 0 46 0 0 0 20 0 19 0 281118633 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641279817784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17899] ppid=17881 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/17883/task/17899/stat : 17899 (java) S 17881 17883 14200 0 -1 4202560 2775 0 0 0 45 2 0 0 20 0 19 0 281118633 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641278765240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17900] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17900/stat : 17900 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641277712888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17901] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17901/stat : 17901 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641276660552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17902] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17902/stat : 17902 (java) S 17881 17883 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281118669 9856004096 18083 33554432000 1073741824 1073778376 140733708507056 139641275606312 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625004

[startup+3.10077 s]
/proc/loadavg: 1.95 1.98 1.99 3/213 17902
/proc/meminfo: memFree=28800940/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9625004 CPUtime=4.27 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 10761 0 1 0 422 5 0 0 20 0 19 0 281118628 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2406251 27377 2291 9 0 2396937 0
[pid=17883/tid=17885] ppid=17881 vsize=9625004 CPUtime=3.04 cores=0,2,4,6
/proc/17883/task/17885/stat : 17885 (java) R 17881 17883 14200 0 -1 4202560 2585 0 1 0 302 2 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641459888552 139641400244957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 14200 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641303808680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641302756136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641301703592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641300651048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17890] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641299597480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641298544936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17892] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17892/stat : 17892 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641297492392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17893] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17893/stat : 17893 (java) S 17881 17883 14200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641296439848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17894] ppid=17881 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/17883/task/17894/stat : 17894 (java) S 17881 17883 14200 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 281118630 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641284029032 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17895] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17895/stat : 17895 (java) S 17881 17883 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641282975352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17896] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17896/stat : 17896 (java) S 17881 17883 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641281922696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17897] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17897/stat : 17897 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641280871440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17898] ppid=17881 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/17883/task/17898/stat : 17898 (java) S 17881 17883 14200 0 -1 4202560 3728 0 0 0 52 0 0 0 20 0 19 0 281118633 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641279817784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17899] ppid=17881 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/17883/task/17899/stat : 17899 (java) S 17881 17883 14200 0 -1 4202560 3191 0 0 0 60 2 0 0 20 0 19 0 281118633 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641278765240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17900] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17900/stat : 17900 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641277712888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17901] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17901/stat : 17901 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641276660552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17902] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17902/stat : 17902 (java) S 17881 17883 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281118669 9856004096 27377 33554432000 1073741824 1073778376 140733708507056 139641275606312 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9625004

[startup+6.30077 s]
/proc/loadavg: 1.95 1.98 1.99 3/213 17902
/proc/meminfo: memFree=28763332/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9625004 CPUtime=7.52 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 10778 0 1 0 747 5 0 0 20 0 19 0 281118628 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2406251 29413 2291 9 0 2396937 0
[pid=17883/tid=17885] ppid=17881 vsize=9625004 CPUtime=6.21 cores=0,2,4,6
/proc/17883/task/17885/stat : 17885 (java) R 17881 17883 14200 0 -1 4202560 2588 0 1 0 619 2 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641459888616 139641400244925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 14200 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641303808680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641302756136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641301703592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641300651048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17890] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641299597480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641298544936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17892] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17892/stat : 17892 (java) S 17881 17883 14200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641297492392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17893] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17893/stat : 17893 (java) S 17881 17883 14200 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281118629 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641296439848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17894] ppid=17881 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/17883/task/17894/stat : 17894 (java) S 17881 17883 14200 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 281118630 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641284029032 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17895] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17895/stat : 17895 (java) S 17881 17883 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641282975352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17896] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17896/stat : 17896 (java) S 17881 17883 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641281922696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17897] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17897/stat : 17897 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641280871440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17898] ppid=17881 vsize=9625004 CPUtime=0.54 cores=0,2,4,6
/proc/17883/task/17898/stat : 17898 (java) S 17881 17883 14200 0 -1 4202560 3729 0 0 0 54 0 0 0 20 0 19 0 281118633 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641279817784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17899] ppid=17881 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/17883/task/17899/stat : 17899 (java) S 17881 17883 14200 0 -1 4202560 3192 0 0 0 63 2 0 0 20 0 19 0 281118633 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641278765240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17900] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17900/stat : 17900 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641277712888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17901] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17901/stat : 17901 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641276660552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17902] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17902/stat : 17902 (java) S 17881 17883 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281118669 9856004096 29413 33554432000 1073741824 1073778376 140733708507056 139641275606312 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=17883/tid=17898] ppid=17881 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/17883/task/17898/stat : 17898 (java) S 17881 17883 14200 0 -1 4202560 3729 0 0 0 55 0 0 0 20 0 19 0 281118633 9856004096 55422 33554432000 1073741824 1073778376 140733708507056 139641279817784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17899] ppid=17881 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/17883/task/17899/stat : 17899 (java) S 17881 17883 14200 0 -1 4202560 3218 0 0 0 74 2 0 0 20 0 19 0 281118633 9856004096 55422 33554432000 1073741824 1073778376 140733708507056 139641278765240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17900] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17900/stat : 17900 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 55422 33554432000 1073741824 1073778376 140733708507056 139641277712888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17901] ppid=17881 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/17883/task/17901/stat : 17901 (java) S 17881 17883 14200 0 -1 4202560 94 0 0 0 24 16 0 0 20 0 19 0 281118633 9856004096 55422 33554432000 1073741824 1073778376 140733708507056 139641276660552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17902] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17902/stat : 17902 (java) S 17881 17883 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281118669 9856004096 55422 33554432000 1073741824 1073778376 140733708507056 139641275606312 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1675.96
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 17918
/proc/meminfo: memFree=27638308/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9625004 CPUtime=1736.99 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 16779 0 1 0 173631 68 0 0 20 0 19 0 281118628 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2406251 57505 2292 9 0 2396937 0
[pid=17883/tid=17885] ppid=17881 vsize=9625004 CPUtime=1706.24 cores=0,2,4,6
/proc/17883/task/17885/stat : 17885 (java) R 17881 17883 14200 0 -1 4202560 3178 0 1 0 170593 31 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641459887440 139641400244885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=9625004 CPUtime=2.48 cores=0,2,4,6
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 14200 0 -1 4202560 1028 0 0 0 242 6 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641303808680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=9625004 CPUtime=2.44 cores=0,2,4,6
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 14200 0 -1 4202560 129 0 0 0 240 4 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641302756136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=9625004 CPUtime=2.32 cores=0,2,4,6
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 14200 0 -1 4202560 448 0 0 0 226 6 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641301703592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=9625004 CPUtime=2.48 cores=0,2,4,6
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 14200 0 -1 4202560 386 0 0 0 242 6 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641300651048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17890] ppid=17881 vsize=9625004 CPUtime=2.47 cores=0,2,4,6
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 14200 0 -1 4202560 676 0 0 0 242 5 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641299597480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=9625004 CPUtime=2.38 cores=0,2,4,6
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 14200 0 -1 4202560 732 0 0 0 233 5 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641298544936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17892] ppid=17881 vsize=9625004 CPUtime=2.26 cores=0,2,4,6
/proc/17883/task/17892/stat : 17892 (java) S 17881 17883 14200 0 -1 4202560 780 0 0 0 221 5 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641297492392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17893] ppid=17881 vsize=9625004 CPUtime=2.48 cores=0,2,4,6
/proc/17883/task/17893/stat : 17893 (java) S 17881 17883 14200 0 -1 4202560 923 0 0 0 242 6 0 0 20 0 19 0 281118629 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641296439848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17894] ppid=17881 vsize=9625004 CPUtime=5.47 cores=0,2,4,6
/proc/17883/task/17894/stat : 17894 (java) S 17881 17883 14200 0 -1 4202560 268 0 0 0 543 4 0 0 20 0 19 0 281118630 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641284029032 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17895] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17895/stat : 17895 (java) S 17881 17883 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641282975352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17896] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17896/stat : 17896 (java) S 17881 17883 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641281922696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17897] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17897/stat : 17897 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641280871440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17898] ppid=17881 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/17883/task/17898/stat : 17898 (java) S 17881 17883 14200 0 -1 4202560 3729 0 0 0 55 0 0 0 20 0 19 0 281118633 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641279817784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17899] ppid=17881 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/17883/task/17899/stat : 17899 (java) S 17881 17883 14200 0 -1 4202560 3218 0 0 0 74 2 0 0 20 0 19 0 281118633 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641278765240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17900] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17900/stat : 17900 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641277712888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17901] ppid=17881 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/17883/task/17901/stat : 17901 (java) S 17881 17883 14200 0 -1 4202560 98 0 0 0 25 17 0 0 20 0 19 0 281118633 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641276660552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17902] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17902/stat : 17902 (java) S 17881 17883 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281118669 9856004096 57505 33554432000 1073741824 1073778376 140733708507056 139641275606312 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1736.99
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 17977
/proc/meminfo: memFree=28856552/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9625004 CPUtime=1797.78 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 16869 0 1 0 179704 74 0 0 20 0 19 0 281118628 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2406251 63839 2292 9 0 2396937 0
[pid=17883/tid=17885] ppid=17881 vsize=9625004 CPUtime=1765.59 cores=0,2,4,6
/proc/17883/task/17885/stat : 17885 (java) R 17881 17883 14200 0 -1 4202560 3215 0 1 0 176527 32 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641459887512 139641400442385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=9625004 CPUtime=2.63 cores=0,2,4,6
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 14200 0 -1 4202560 1035 0 0 0 257 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641303808680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=9625004 CPUtime=2.6 cores=0,2,4,6
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 14200 0 -1 4202560 132 0 0 0 256 4 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641302756136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=9625004 CPUtime=2.48 cores=0,2,4,6
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 14200 0 -1 4202560 454 0 0 0 242 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641301703592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=9625004 CPUtime=2.64 cores=0,2,4,6
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 14200 0 -1 4202560 394 0 0 0 258 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641300651048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17890] ppid=17881 vsize=9625004 CPUtime=2.64 cores=0,2,4,6
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 14200 0 -1 4202560 683 0 0 0 258 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641299597480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=9625004 CPUtime=2.5 cores=0,2,4,6
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 14200 0 -1 4202560 735 0 0 0 245 5 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641298544936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17892] ppid=17881 vsize=9625004 CPUtime=2.39 cores=0,2,4,6
/proc/17883/task/17892/stat : 17892 (java) S 17881 17883 14200 0 -1 4202560 784 0 0 0 234 5 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641297492392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17893] ppid=17881 vsize=9625004 CPUtime=2.59 cores=0,2,4,6
/proc/17883/task/17893/stat : 17893 (java) S 17881 17883 14200 0 -1 4202560 929 0 0 0 252 7 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641296439848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17894] ppid=17881 vsize=9625004 CPUtime=5.61 cores=0,2,4,6
/proc/17883/task/17894/stat : 17894 (java) S 17881 17883 14200 0 -1 4202560 273 0 0 0 556 5 0 0 20 0 19 0 281118630 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641284029032 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17895] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17895/stat : 17895 (java) S 17881 17883 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641282975352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17896] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17896/stat : 17896 (java) S 17881 17883 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641281922696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17897] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17897/stat : 17897 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641280871440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17898] ppid=17881 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/17883/task/17898/stat : 17898 (java) S 17881 17883 14200 0 -1 4202560 3729 0 0 0 55 0 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641279817784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17899] ppid=17881 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/17883/task/17899/stat : 17899 (java) S 17881 17883 14200 0 -1 4202560 3218 0 0 0 74 2 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641278765240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17900] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17900/stat : 17900 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641277712888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17901] ppid=17881 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/17883/task/17901/stat : 17901 (java) S 17881 17883 14200 0 -1 4202560 102 0 0 0 26 18 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641276660552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17902] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17902/stat : 17902 (java) S 17881 17883 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281118669 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641275606312 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.6 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 17977
/proc/meminfo: memFree=28854504/32873844 swapFree=7116/7116
[pid=17883] ppid=17881 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/17883/stat : 17883 (java) S 17881 17883 14200 0 -1 4202496 16870 0 1 0 179935 74 0 0 20 0 19 0 281118628 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 140733708498192 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17883/statm: 2406251 63839 2292 9 0 2396937 0
[pid=17883/tid=17885] ppid=17881 vsize=9625004 CPUtime=1767.89 cores=0,2,4,6
/proc/17883/task/17885/stat : 17885 (java) R 17881 17883 14200 0 -1 4202560 3216 0 1 0 176757 32 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641459887440 139641400331132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17886] ppid=17881 vsize=9625004 CPUtime=2.63 cores=0,2,4,6
/proc/17883/task/17886/stat : 17886 (java) S 17881 17883 14200 0 -1 4202560 1035 0 0 0 257 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641303808680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17887] ppid=17881 vsize=9625004 CPUtime=2.6 cores=0,2,4,6
/proc/17883/task/17887/stat : 17887 (java) S 17881 17883 14200 0 -1 4202560 132 0 0 0 256 4 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641302756136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17888] ppid=17881 vsize=9625004 CPUtime=2.48 cores=0,2,4,6
/proc/17883/task/17888/stat : 17888 (java) S 17881 17883 14200 0 -1 4202560 454 0 0 0 242 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641301703592 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17889] ppid=17881 vsize=9625004 CPUtime=2.65 cores=0,2,4,6
/proc/17883/task/17889/stat : 17889 (java) S 17881 17883 14200 0 -1 4202560 394 0 0 0 259 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641300651048 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17890] ppid=17881 vsize=9625004 CPUtime=2.64 cores=0,2,4,6
/proc/17883/task/17890/stat : 17890 (java) S 17881 17883 14200 0 -1 4202560 683 0 0 0 258 6 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641299597480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17891] ppid=17881 vsize=9625004 CPUtime=2.5 cores=0,2,4,6
/proc/17883/task/17891/stat : 17891 (java) S 17881 17883 14200 0 -1 4202560 735 0 0 0 245 5 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641298544936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17892] ppid=17881 vsize=9625004 CPUtime=2.39 cores=0,2,4,6
/proc/17883/task/17892/stat : 17892 (java) S 17881 17883 14200 0 -1 4202560 784 0 0 0 234 5 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641297492392 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17893] ppid=17881 vsize=9625004 CPUtime=2.6 cores=0,2,4,6
/proc/17883/task/17893/stat : 17893 (java) S 17881 17883 14200 0 -1 4202560 929 0 0 0 253 7 0 0 20 0 19 0 281118629 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641296439848 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17894] ppid=17881 vsize=9625004 CPUtime=5.61 cores=0,2,4,6
/proc/17883/task/17894/stat : 17894 (java) S 17881 17883 14200 0 -1 4202560 273 0 0 0 556 5 0 0 20 0 19 0 281118630 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641284029032 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17895] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17895/stat : 17895 (java) S 17881 17883 14200 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641282975352 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17896] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17896/stat : 17896 (java) S 17881 17883 14200 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281118631 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641281922696 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17897] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17897/stat : 17897 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641280871440 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17883/tid=17898] ppid=17881 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/17883/task/17898/stat : 17898 (java) S 17881 17883 14200 0 -1 4202560 3729 0 0 0 55 0 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641279817784 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17899] ppid=17881 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/17883/task/17899/stat : 17899 (java) S 17881 17883 14200 0 -1 4202560 3218 0 0 0 74 2 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641278765240 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17883/tid=17900] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17900/stat : 17900 (java) S 17881 17883 14200 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641277712888 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17883/tid=17901] ppid=17881 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/17883/task/17901/stat : 17901 (java) S 17881 17883 14200 0 -1 4202560 102 0 0 0 26 18 0 0 20 0 19 0 281118633 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641276660552 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17883/tid=17902] ppid=17881 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/17883/task/17902/stat : 17902 (java) S 17881 17883 14200 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281118669 9856004096 63839 33554432000 1073741824 1073778376 140733708507056 139641275606312 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17883 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=968123
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=162823
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.66
CPU time (s): 1800.09
CPU user time (s): 1799.35
CPU system time (s): 0.74
CPU usage (%): 100.864
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.97
system time used= 1.16282
maximum resident set size= 335828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16902
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56017
involuntary context switches= 55996

runsolver used 7.2519 second user time and 12.5031 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-27 22:18:56
IDJOB=3710129
IDBENCH=2513
IDSOLVER=2289
FILE ID=node138/3710129-1338149936
RUNJOBID= node138-1338139170-16910
PBS_JOBID= 14624507
Free space on /tmp= 71492 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710129-1338149936/watcher-3710129-1338149936 -o /tmp/evaluation-result-3710129-1338149936/solver-3710129-1338149936 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710129-1338149936.opb

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

MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15
RANDOM SEED=1230236880

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28873464 kB
Buffers:          430256 kB
Cached:          2399600 kB
SwapCached:          212 kB
Active:          1177968 kB
Inactive:        1931792 kB
Active(anon):     271148 kB
Inactive(anon):    11368 kB
Active(file):     906820 kB
Inactive(file):  1920424 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108644 kB
Dirty:              1264 kB
Writeback:             4 kB
AnonPages:        305480 kB
Mapped:            22424 kB
Shmem:               200 kB
Slab:             732660 kB
SReclaimable:     174832 kB
SUnreclaim:       557828 kB
KernelStack:        1608 kB
PageTables:         4400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     825360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71496 MiB
End job on node138 at 2012-05-27 22:48:42