Trace number 3710487

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotOPT 419.09 415.856

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_8_mh.opb
MD5SUM3e5afedaafc5782c8b438b74f31dd2ae
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4415664
Best CPU time to get the best result obtained on this benchmark146.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 88121125
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4352625637
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 88121125
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4352625637
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.07/0.10	c version 2.3.2.v20120418
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.14	c read org.sat4j.minisat.orders.VarOrderHeap
0.07/0.14	c configuring ORDERS
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=true
0.07/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3710487-1338251411.opb
0.07/0.14	c reading problem ... 
0.65/0.44	c ... done. Wall clock time 0.3s.
0.65/0.44	c declared #vars     6810
0.65/0.44	c #constraints  15626
0.65/0.44	c constraints type 
0.65/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
0.65/0.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.65/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.65/0.44	c ignored satisfied constraints => 3
0.65/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
0.65/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.65/0.44	c 15629 constraints processed.
2.90/2.11	c cleaning 2489 clauses out of 5002 with flag 5002/5002
4.31/3.43	c cleaning 4250 clauses out of 8511 with flag 11000/11000
5.61/4.76	c cleaning 5629 clauses out of 11261 with flag 18000/18000
7.33/6.44	c cleaning 6810 clauses out of 13632 with flag 26000/26000
8.08/7.19	c SATISFIABLE
8.08/7.19	c OPTIMIZING...
8.08/7.19	c Got one! Elapsed wall clock time (in seconds):7.05
8.08/7.19	o 252772224
8.76/7.70	c cleaning 6012 clauses out of 12039 with flag 3002/31217
9.46/8.49	c Got one! Elapsed wall clock time (in seconds):8.353
9.46/8.49	o 129221162
10.10/9.02	c cleaning 5882 clauses out of 11790 with flag 3000/36981
10.80/9.70	c Got one! Elapsed wall clock time (in seconds):9.561
10.80/9.70	o 124823547
10.97/9.84	c cleaning 5452 clauses out of 10910 with flag 1000/41985
11.67/10.56	c cleaning 5720 clauses out of 11460 with flag 7002/47987
12.67/11.51	c cleaning 6363 clauses out of 12739 with flag 14001/54986
13.78/12.63	c cleaning 7188 clauses out of 14375 with flag 22000/62985
14.88/13.76	c cleaning 8079 clauses out of 16187 with flag 31000/71985
16.38/15.28	c cleaning 9046 clauses out of 18108 with flag 41000/81985
17.99/16.84	c cleaning 10025 clauses out of 20063 with flag 52001/92986
19.69/18.51	c cleaning 11011 clauses out of 22037 with flag 64000/104985
22.10/20.92	c cleaning 12010 clauses out of 24026 with flag 77000/117985
23.80/22.68	c cleaning 12996 clauses out of 26017 with flag 91001/131986
26.21/25.04	c cleaning 13990 clauses out of 28020 with flag 106000/146985
28.93/27.71	c cleaning 15004 clauses out of 30031 with flag 122001/162986
31.24/30.06	c cleaning 16001 clauses out of 32026 with flag 139000/179985
33.64/32.49	c Got one! Elapsed wall clock time (in seconds):32.353
33.64/32.49	o 117014800
34.38/33.17	c cleaning 19091 clauses out of 38205 with flag 5002/202165
35.09/33.87	c cleaning 12551 clauses out of 25117 with flag 11005/208168
35.99/34.79	c cleaning 9768 clauses out of 19561 with flag 18000/215163
36.80/35.57	c cleaning 8879 clauses out of 17793 with flag 26000/223163
37.90/36.62	c cleaning 8951 clauses out of 17914 with flag 35000/232163
39.40/38.12	c cleaning 9467 clauses out of 18965 with flag 45002/242165
41.00/39.70	c cleaning 10230 clauses out of 20496 with flag 56000/253163
43.11/41.82	c cleaning 11126 clauses out of 22267 with flag 68001/265164
44.62/43.34	c cleaning 12067 clauses out of 24140 with flag 81000/278163
46.52/45.27	c cleaning 13027 clauses out of 26074 with flag 95001/292164
48.46/47.15	c cleaning 14007 clauses out of 28046 with flag 110000/307163
51.36/50.03	c cleaning 15008 clauses out of 30041 with flag 126002/323165
53.97/52.65	c cleaning 16011 clauses out of 32032 with flag 143001/340164
56.29/54.95	c cleaning 17007 clauses out of 34024 with flag 161004/358167
58.00/56.69	c Got one! Elapsed wall clock time (in seconds):56.548
58.00/56.69	o 108526750
58.73/57.36	c cleaning 17677 clauses out of 35370 with flag 5000/376520
59.45/58.08	c cleaning 11837 clauses out of 23696 with flag 11003/382523
60.37/58.95	c cleaning 9413 clauses out of 18859 with flag 18003/389523
61.58/60.16	c cleaning 8701 clauses out of 17443 with flag 26000/397520
62.71/61.24	c cleaning 8850 clauses out of 17734 with flag 35001/406521
64.81/63.30	c cleaning 9429 clauses out of 18885 with flag 45002/416522
66.21/64.74	c cleaning 10216 clauses out of 20454 with flag 56000/427520
67.82/66.36	c cleaning 11105 clauses out of 22239 with flag 68001/439521
69.42/67.96	c cleaning 12056 clauses out of 24139 with flag 81006/452526
71.22/69.79	c cleaning 13031 clauses out of 26077 with flag 95000/466520
72.83/71.34	c cleaning 14014 clauses out of 28046 with flag 110000/481520
74.65/73.17	c cleaning 15011 clauses out of 30033 with flag 126001/497521
76.45/74.93	c cleaning 16005 clauses out of 32025 with flag 143004/514524
78.46/76.92	c cleaning 16988 clauses out of 34016 with flag 161000/532520
80.77/79.27	c cleaning 17999 clauses out of 36028 with flag 180000/551520
81.27/79.71	c Got one! Elapsed wall clock time (in seconds):79.573
81.27/79.71	o 95990543
81.67/80.11	c cleaning 11837 clauses out of 23687 with flag 3000/557204
82.37/80.84	c cleaning 8885 clauses out of 17850 with flag 9000/563204
83.18/81.68	c cleaning 7928 clauses out of 15965 with flag 16000/570204
84.18/82.65	c cleaning 7989 clauses out of 16038 with flag 24001/578205
85.28/83.77	c cleaning 8515 clauses out of 17051 with flag 33003/587207
86.59/85.10	c cleaning 9257 clauses out of 18533 with flag 43000/597204
88.19/86.66	c cleaning 10126 clauses out of 20276 with flag 54000/608204
90.31/88.70	c cleaning 11067 clauses out of 22151 with flag 66001/620205
91.82/90.21	c Got one! Elapsed wall clock time (in seconds):90.074
91.82/90.21	o 44717490
92.51/90.90	c cleaning 12119 clauses out of 24251 with flag 5002/633500
93.21/91.65	c Got one! Elapsed wall clock time (in seconds):91.508
93.21/91.65	o 27347184
93.71/92.16	c cleaning 11139 clauses out of 22300 with flag 5001/643927
94.52/92.90	c cleaning 8551 clauses out of 17141 with flag 11000/649926
95.13/93.53	c Got one! Elapsed wall clock time (in seconds):93.386
95.13/93.53	o 26516483
95.13/93.58	c Got one! Elapsed wall clock time (in seconds):93.444
95.13/93.58	o 11286989
96.13/94.51	c cleaning 9591 clauses out of 19197 with flag 5000/660668
97.25/95.65	c cleaning 7772 clauses out of 15606 with flag 11000/666668
98.56/96.90	c cleaning 7241 clauses out of 14526 with flag 18000/673668
100.17/98.53	c cleaning 7636 clauses out of 15285 with flag 26000/681668
101.97/100.33	c cleaning 8314 clauses out of 16651 with flag 35002/690670
103.07/101.44	c cleaning 9161 clauses out of 18335 with flag 45003/700671
104.20/102.58	c cleaning 10078 clauses out of 20174 with flag 56003/711671
105.70/104.05	c cleaning 10083 clauses out of 20170 with flag 68000/723668
107.10/105.46	c cleaning 11532 clauses out of 23087 with flag 81000/736668
108.71/107.07	c cleaning 12771 clauses out of 25559 with flag 95004/750672
110.41/108.78	c cleaning 13885 clauses out of 27786 with flag 110002/765670
111.32/109.63	c Got one! Elapsed wall clock time (in seconds):109.487
111.32/109.63	o 8639561
111.82/110.13	c cleaning 12046 clauses out of 24104 with flag 5000/776112
112.53/110.87	c cleaning 8996 clauses out of 18058 with flag 11000/782112
113.53/111.80	c cleaning 7993 clauses out of 16065 with flag 18003/789115
114.54/112.88	c cleaning 7989 clauses out of 16072 with flag 26003/797115
115.84/114.18	c cleaning 8526 clauses out of 17081 with flag 35001/806113
117.34/115.62	c cleaning 9266 clauses out of 18554 with flag 45000/816112
118.76/117.08	c cleaning 10131 clauses out of 20288 with flag 56000/827112
120.57/118.88	c cleaning 11078 clauses out of 22155 with flag 68000/839112
122.97/121.26	c cleaning 12025 clauses out of 24078 with flag 81001/852113
125.60/123.81	c cleaning 13012 clauses out of 26052 with flag 95000/866112
128.42/126.65	c cleaning 14009 clauses out of 28042 with flag 110002/881114
131.42/129.69	c cleaning 14984 clauses out of 30032 with flag 126001/897113
134.74/132.98	c cleaning 16009 clauses out of 32048 with flag 143001/914113
137.49/135.64	c cleaning 17007 clauses out of 34038 with flag 161000/932112
138.79/136.95	c Got one! Elapsed wall clock time (in seconds):136.811
138.79/136.95	o 8013118
139.30/137.47	c Got one! Elapsed wall clock time (in seconds):137.329
139.30/137.47	o 7871039
139.69/137.88	c cleaning 15518 clauses out of 31055 with flag 2000/946760
140.60/138.73	c cleaning 10746 clauses out of 21537 with flag 8000/952760
140.70/138.85	c Got one! Elapsed wall clock time (in seconds):138.708
140.70/138.85	o 7597452
141.60/139.77	c cleaning 8229 clauses out of 16504 with flag 5000/958487
142.30/140.49	c cleaning 7118 clauses out of 14275 with flag 11000/964487
143.24/141.35	c cleaning 7061 clauses out of 14158 with flag 18001/971488
144.34/142.44	c cleaning 7538 clauses out of 15096 with flag 26000/979487
145.64/143.78	c cleaning 8275 clauses out of 16560 with flag 35002/988489
147.25/145.34	c cleaning 9134 clauses out of 18285 with flag 45002/998489
147.85/145.91	c Got one! Elapsed wall clock time (in seconds):145.764
147.85/145.91	o 7550606
148.05/146.11	c cleaning 7223 clauses out of 14492 with flag 2001/1003830
148.66/146.71	c cleaning 6613 clauses out of 13269 with flag 8001/1009830
149.27/147.39	c cleaning 6808 clauses out of 13657 with flag 15002/1016831
150.16/148.21	c cleaning 7404 clauses out of 14848 with flag 23001/1024830
151.26/149.35	c cleaning 8203 clauses out of 16443 with flag 32000/1033829
152.57/150.61	c cleaning 9112 clauses out of 18241 with flag 42001/1043830
153.87/151.94	c cleaning 10047 clauses out of 20127 with flag 53000/1054829
155.19/153.27	c cleaning 11026 clauses out of 22082 with flag 65002/1066831
156.61/154.69	c cleaning 12010 clauses out of 24057 with flag 78003/1079832
158.45/156.42	c cleaning 13011 clauses out of 26044 with flag 92000/1093829
160.57/158.55	c cleaning 14006 clauses out of 28033 with flag 107000/1108829
162.78/160.72	c cleaning 15001 clauses out of 30029 with flag 123002/1124831
165.18/163.14	c cleaning 15997 clauses out of 32028 with flag 140002/1141831
167.69/165.66	c cleaning 17014 clauses out of 34031 with flag 158002/1159831
171.40/169.31	c cleaning 17998 clauses out of 36015 with flag 177000/1178829
175.20/173.17	c cleaning 19000 clauses out of 38017 with flag 197000/1198829
179.21/177.14	c cleaning 20000 clauses out of 40020 with flag 218003/1219832
183.52/181.44	c cleaning 21003 clauses out of 42018 with flag 240001/1241830
187.22/185.18	c cleaning 21990 clauses out of 44014 with flag 263000/1264829
190.25/188.13	c cleaning 23000 clauses out of 46025 with flag 287001/1288830
194.05/191.91	c cleaning 23994 clauses out of 48025 with flag 312001/1313830
197.46/195.38	c cleaning 25002 clauses out of 50031 with flag 338001/1339830
201.20/199.08	c cleaning 26006 clauses out of 52028 with flag 365000/1366829
205.62/203.48	c cleaning 26991 clauses out of 54024 with flag 393002/1394831
207.21/205.05	c Got one! Elapsed wall clock time (in seconds):204.906
207.21/205.05	o 7509242
208.11/205.97	c cleaning 21212 clauses out of 42455 with flag 5000/1410253
208.95/206.73	c Got one! Elapsed wall clock time (in seconds):206.588
208.95/206.73	o 7491979
208.95/206.76	c Got one! Elapsed wall clock time (in seconds):206.614
208.95/206.76	o 5211639
209.15/206.98	c cleaning 13222 clauses out of 26474 with flag 1000/1415507
210.25/208.03	c cleaning 9617 clauses out of 19254 with flag 7002/1421509
211.17/208.98	c cleaning 8298 clauses out of 16635 with flag 14000/1428507
212.17/210.00	c Got one! Elapsed wall clock time (in seconds):209.86
212.17/210.00	o 5178506
212.38/210.10	c Got one! Elapsed wall clock time (in seconds):209.964
212.38/210.10	o 5093509
213.17/210.98	c cleaning 9728 clauses out of 19480 with flag 5005/1439650
213.99/211.72	c Got one! Elapsed wall clock time (in seconds):211.584
213.99/211.72	o 5085803
214.23/211.91	c cleaning 7335 clauses out of 14733 with flag 1000/1444646
214.33/212.00	c Got one! Elapsed wall clock time (in seconds):211.859
214.33/212.00	o 5078225
214.54/212.21	c Got one! Elapsed wall clock time (in seconds):212.074
214.54/212.21	o 5017721
214.83/212.55	c Got one! Elapsed wall clock time (in seconds):212.408
214.83/212.55	o 5015145
214.93/212.60	c Got one! Elapsed wall clock time (in seconds):212.461
214.93/212.60	o 4856066
215.14/212.84	c Got one! Elapsed wall clock time (in seconds):212.701
215.14/212.84	o 4552714
215.35/213.00	c cleaning 4735 clauses out of 9477 with flag 1000/1451565
216.25/213.93	c cleaning 5366 clauses out of 10743 with flag 7001/1457566
216.36/214.09	c Got one! Elapsed wall clock time (in seconds):213.945
216.36/214.09	o 4551531
217.16/214.82	c cleaning 5562 clauses out of 11155 with flag 5000/1463344
218.16/215.80	c cleaning 5783 clauses out of 11593 with flag 11000/1469344
218.27/215.90	c Got one! Elapsed wall clock time (in seconds):215.76
218.27/215.90	o 4547011
218.37/216.05	c Got one! Elapsed wall clock time (in seconds):215.909
218.37/216.05	o 4540171
219.17/216.84	c cleaning 6051 clauses out of 12133 with flag 5000/1475669
219.57/217.25	c Got one! Elapsed wall clock time (in seconds):217.109
219.57/217.25	o 4523531
219.77/217.40	c Got one! Elapsed wall clock time (in seconds):217.26
219.77/217.40	o 4517662
219.87/217.51	c Got one! Elapsed wall clock time (in seconds):217.37
219.87/217.51	o 4510010
220.27/217.96	c cleaning 6405 clauses out of 12835 with flag 3000/1482422
221.30/218.92	c cleaning 6210 clauses out of 12430 with flag 9000/1488422
222.30/219.99	c cleaning 6599 clauses out of 13220 with flag 16000/1495422
223.60/221.22	c cleaning 7308 clauses out of 14622 with flag 24001/1503423
225.00/222.66	c cleaning 8150 clauses out of 16316 with flag 33003/1512425
226.61/224.21	c cleaning 9072 clauses out of 18163 with flag 43000/1522422
228.31/225.92	c cleaning 10039 clauses out of 20091 with flag 54000/1533422
229.81/227.44	c Got one! Elapsed wall clock time (in seconds):227.301
229.81/227.44	o 4495575
230.61/228.22	c cleaning 12451 clauses out of 24924 with flag 5001/1548294
231.51/229.13	c cleaning 9231 clauses out of 18475 with flag 11003/1554296
232.62/230.21	c cleaning 8113 clauses out of 16243 with flag 18002/1561295
233.83/231.45	c cleaning 8044 clauses out of 16128 with flag 26000/1569293
235.24/232.81	c cleaning 8530 clauses out of 17084 with flag 35000/1578293
236.86/234.41	c cleaning 9258 clauses out of 18554 with flag 45000/1588293
238.56/236.17	c cleaning 10133 clauses out of 20296 with flag 56000/1599293
240.36/237.92	c cleaning 11070 clauses out of 22163 with flag 68000/1611293
242.48/240.04	c cleaning 12039 clauses out of 24093 with flag 81000/1624293
244.70/242.26	c cleaning 13020 clauses out of 26055 with flag 95001/1638294
245.52/243.03	c Got one! Elapsed wall clock time (in seconds):242.887
245.52/243.03	o 4495330
245.62/243.19	c cleaning 9409 clauses out of 18842 with flag 1000/1644101
246.63/244.14	c cleaning 7704 clauses out of 15433 with flag 7000/1650101
247.75/245.22	c cleaning 7356 clauses out of 14729 with flag 14000/1657101
248.95/246.44	c cleaning 7676 clauses out of 15374 with flag 22001/1665102
250.26/247.75	c cleaning 8337 clauses out of 16697 with flag 31000/1674101
251.76/249.27	c cleaning 9165 clauses out of 18364 with flag 41004/1684105
253.27/250.76	c Got one! Elapsed wall clock time (in seconds):250.616
253.27/250.76	o 4492808
253.56/251.01	c Got one! Elapsed wall clock time (in seconds):250.869
253.56/251.01	o 4488397
254.16/251.64	c cleaning 12184 clauses out of 24380 with flag 4000/1699286
254.27/251.73	c Got one! Elapsed wall clock time (in seconds):251.59
254.27/251.73	o 4483669
254.97/252.48	c cleaning 8764 clauses out of 17549 with flag 5000/1704639
255.99/253.42	c cleaning 7379 clauses out of 14785 with flag 11000/1710639
256.99/254.50	c cleaning 7196 clauses out of 14407 with flag 18001/1717640
257.09/254.53	c Got one! Elapsed wall clock time (in seconds):254.394
257.09/254.53	o 4476273
257.80/255.27	c cleaning 6127 clauses out of 12264 with flag 5001/1722693
258.69/256.18	c cleaning 6046 clauses out of 12136 with flag 11000/1728692
259.60/257.01	c Got one! Elapsed wall clock time (in seconds):256.874
259.60/257.01	o 4472107
260.30/257.77	c cleaning 8180 clauses out of 16383 with flag 5000/1738985
261.31/258.72	c cleaning 7090 clauses out of 14204 with flag 11001/1744986
262.41/259.83	c cleaning 7038 clauses out of 14114 with flag 18001/1751986
263.63/261.08	c cleaning 7525 clauses out of 15075 with flag 26000/1759985
265.13/262.51	c cleaning 8264 clauses out of 16550 with flag 35000/1768985
266.54/263.99	c Got one! Elapsed wall clock time (in seconds):263.854
266.54/263.99	o 4464718
267.33/264.77	c cleaning 11352 clauses out of 22717 with flag 5001/1783416
268.24/265.69	c cleaning 8672 clauses out of 17364 with flag 11000/1789415
269.45/266.80	c cleaning 7827 clauses out of 15692 with flag 18000/1796415
270.66/268.00	c cleaning 7917 clauses out of 15865 with flag 26000/1804415
271.97/269.31	c cleaning 8468 clauses out of 16948 with flag 35000/1813415
273.47/270.87	c cleaning 9224 clauses out of 18481 with flag 45001/1823416
275.21/272.59	c cleaning 10112 clauses out of 20256 with flag 56000/1834415
277.13/274.47	c cleaning 11058 clauses out of 22145 with flag 68001/1846416
279.15/276.43	c Got one! Elapsed wall clock time (in seconds):276.292
279.15/276.43	o 4456726
279.96/277.25	c cleaning 14453 clauses out of 28908 with flag 5001/1864237
280.96/278.21	c cleaning 10219 clauses out of 20455 with flag 11001/1870237
281.95/279.29	c cleaning 8606 clauses out of 17235 with flag 18000/1877236
283.26/280.53	c cleaning 8303 clauses out of 16629 with flag 26000/1885236
284.67/281.98	c cleaning 8662 clauses out of 17328 with flag 35002/1894238
286.29/283.54	c cleaning 9322 clauses out of 18664 with flag 45000/1904236
288.09/285.32	c cleaning 10160 clauses out of 20342 with flag 56000/1915236
289.99/287.21	c cleaning 11088 clauses out of 22182 with flag 68000/1927236
292.01/289.29	c cleaning 12040 clauses out of 24094 with flag 81000/1940236
294.21/291.50	c cleaning 13023 clauses out of 26054 with flag 95000/1954236
296.61/293.86	c cleaning 14008 clauses out of 28031 with flag 110000/1969236
299.23/296.43	c cleaning 15007 clauses out of 30024 with flag 126001/1985237
302.04/299.26	c cleaning 16000 clauses out of 32016 with flag 143000/2002236
304.95/302.19	c cleaning 17005 clauses out of 34016 with flag 161000/2020236
305.76/302.90	c Got one! Elapsed wall clock time (in seconds):302.761
305.76/302.90	o 4450277
305.86/303.08	c cleaning 11034 clauses out of 22077 with flag 1000/2025302
306.76/303.99	c cleaning 8510 clauses out of 17044 with flag 7001/2031303
307.87/305.08	c cleaning 7751 clauses out of 15534 with flag 14001/2038303
309.07/306.29	c cleaning 7879 clauses out of 15782 with flag 22000/2046302
310.49/307.68	c cleaning 8442 clauses out of 16903 with flag 31000/2055302
312.10/309.23	c cleaning 9222 clauses out of 18462 with flag 41001/2065303
313.71/310.87	c cleaning 10104 clauses out of 20239 with flag 52000/2076302
313.91/311.08	c Got one! Elapsed wall clock time (in seconds):310.941
313.91/311.08	o 4446693
314.61/311.73	c cleaning 7642 clauses out of 15312 with flag 4000/2081479
315.53/312.69	c cleaning 6816 clauses out of 13670 with flag 10000/2087479
316.66/313.78	c cleaning 6916 clauses out of 13854 with flag 17000/2094479
317.97/315.07	c cleaning 7458 clauses out of 14938 with flag 25000/2102479
319.36/316.49	c cleaning 8234 clauses out of 16481 with flag 34001/2111480
320.97/318.07	c cleaning 9118 clauses out of 18246 with flag 44000/2121479
321.47/318.55	c Got one! Elapsed wall clock time (in seconds):318.409
321.47/318.55	o 4425973
321.77/318.85	c cleaning 7079 clauses out of 14174 with flag 2000/2126525
322.68/319.78	c cleaning 6542 clauses out of 13095 with flag 8000/2132525
323.79/320.87	c cleaning 6770 clauses out of 13554 with flag 15001/2139526
324.99/322.09	c cleaning 7378 clauses out of 14783 with flag 23000/2147525
326.43/323.43	c cleaning 8191 clauses out of 16406 with flag 32001/2156526
328.06/325.01	c cleaning 8920 clauses out of 17857 with flag 42000/2166525
329.77/326.77	c cleaning 9957 clauses out of 19938 with flag 53001/2177526
331.67/328.61	c cleaning 10977 clauses out of 21982 with flag 65002/2189527
333.67/330.65	c cleaning 11985 clauses out of 24003 with flag 78000/2202525
335.87/332.80	c cleaning 13002 clauses out of 26018 with flag 92000/2216525
338.17/335.13	c cleaning 13996 clauses out of 28017 with flag 107001/2231526
340.68/337.63	c cleaning 14995 clauses out of 30020 with flag 123000/2247525
343.37/340.32	c cleaning 16003 clauses out of 32026 with flag 140001/2264526
346.20/343.14	c cleaning 16999 clauses out of 34022 with flag 158000/2282525
349.31/346.26	c cleaning 18000 clauses out of 36023 with flag 177000/2301525
352.72/349.62	c cleaning 18992 clauses out of 38025 with flag 197002/2321527
356.23/353.14	c cleaning 19998 clauses out of 40031 with flag 218000/2342525
357.04/353.97	c Got one! Elapsed wall clock time (in seconds):353.826
357.04/353.97	o 4419796
357.25/354.15	c cleaning 12842 clauses out of 25694 with flag 1000/2348186
358.26/355.10	c cleaning 9414 clauses out of 18852 with flag 7000/2354186
359.36/356.25	c cleaning 8211 clauses out of 16438 with flag 14001/2361187
360.69/357.50	c cleaning 8108 clauses out of 16226 with flag 22000/2369186
362.08/358.94	c cleaning 8551 clauses out of 17118 with flag 31000/2378186
363.58/360.48	c cleaning 9276 clauses out of 18567 with flag 41000/2388186
365.38/362.20	c cleaning 10142 clauses out of 20293 with flag 52002/2399188
367.19/364.10	c cleaning 11065 clauses out of 22149 with flag 64000/2411186
369.39/366.21	c cleaning 12030 clauses out of 24084 with flag 77000/2424186
371.69/368.56	c cleaning 13014 clauses out of 26054 with flag 91000/2438186
374.10/370.95	c cleaning 14012 clauses out of 28040 with flag 106000/2453186
376.70/373.57	c cleaning 15010 clauses out of 30028 with flag 122000/2469186
377.00/373.82	c Got one! Elapsed wall clock time (in seconds):373.683
377.00/373.82	o 4415664
377.60/374.45	c cleaning 10123 clauses out of 20279 with flag 4000/2474447
378.62/375.42	c cleaning 8053 clauses out of 16142 with flag 10000/2480447
379.81/376.60	c cleaning 7529 clauses out of 15089 with flag 17000/2487447
381.01/377.88	c cleaning 7759 clauses out of 15561 with flag 25001/2495448
382.52/379.31	c cleaning 8391 clauses out of 16801 with flag 34000/2504447
384.14/380.93	c cleaning 9198 clauses out of 18410 with flag 44000/2514447
385.84/382.67	c cleaning 10094 clauses out of 20214 with flag 55002/2525449
387.75/384.58	c cleaning 11044 clauses out of 22118 with flag 67000/2537447
389.75/386.59	c cleaning 12025 clauses out of 24074 with flag 80000/2550447
392.06/388.83	c cleaning 13022 clauses out of 26049 with flag 94000/2564447
394.36/391.19	c cleaning 13996 clauses out of 28027 with flag 109000/2579447
397.06/393.81	c cleaning 15008 clauses out of 30031 with flag 125000/2595447
399.96/396.70	c cleaning 16008 clauses out of 32024 with flag 142001/2612448
402.96/399.71	c cleaning 16999 clauses out of 34015 with flag 160000/2630447
406.16/402.91	c cleaning 17992 clauses out of 36017 with flag 179001/2649448
409.67/406.41	c cleaning 19010 clauses out of 38025 with flag 199001/2669448
413.17/409.98	c cleaning 11736 clauses out of 23473 with flag 220002/2690449
416.89/413.61	c cleaning 12754 clauses out of 25516 with flag 242000/2712447
419.09/415.82	c starts		: 276
419.09/415.82	c conflicts		: 2725360
419.09/415.82	c decisions		: 5495884
419.09/415.82	c propagations		: 492476127
419.09/415.82	c inspects		: 1807795304
419.09/415.82	c shortcuts		: 0
419.09/415.82	c learnt literals	: 96
419.09/415.82	c learnt binary clauses	: 779
419.09/415.82	c learnt ternary clauses	: 6568
419.09/415.82	c learnt constraints	: 2725263
419.09/415.82	c ignored constraints	: 0
419.09/415.82	c root simplifications	: 371
419.09/415.82	c removed literals (reason simplification)	: 23074529
419.09/415.82	c reason swapping (by a shorter reason)	: 0
419.09/415.82	c Calls to reduceDB	: 243
419.09/415.82	c number of reductions to clauses (during analyze)	: 0
419.09/415.82	c number of learned constraints concerned by reduction	: 0
419.09/415.82	c number of learning phase by resolution	: 0
419.09/415.82	c number of learning phase by cutting planes	: 0
419.09/415.82	c speed (assignments/second)	: 1185640.956070174
419.09/415.82	c non guided choices	15111
419.09/415.82	c learnt constraints type 
419.09/415.82	c constraints type 
419.09/415.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
419.09/415.82	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
419.09/415.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
419.09/415.82	c ignored satisfied constraints => 3
419.09/415.82	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
419.09/415.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
419.09/415.82	c 15629 constraints processed.
419.09/415.82	s OPTIMUM FOUND
419.09/415.83	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 -x6496 x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 x6572 -x6573 -x6574 -x6575 x6576 -x6577 -x6578 -x6579 -x6580 -x6581 x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 x6617 -x6618 -x6619 -x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 x6628 -x6629 -x6630 -x6631 x6632 -x6633 -x6634 -x6635 x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 x6702 x6703 -x6704 x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 
419.09/415.84	c objective function=4415664
419.09/415.84	c Total wall clock time (in seconds): 415.698

Verifier Data 

OK	4415664

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 9929
/proc/meminfo: memFree=28484716/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/9929/stat : 9929 (runsolver) D 9927 9929 8308 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 291265507 12095488 51 33554432000 4194304 5436572 140735900604080 140735900600376 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/9929/statm: 2953 51 31 304 0 2645 0

[startup+0.0562881 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 9929
/proc/meminfo: memFree=28484716/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 3073 0 1 0 2 1 0 0 20 0 13 0 291265507 9446973440 3259 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2306390 3259 1696 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100323 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 9929
/proc/meminfo: memFree=28484716/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 3523 0 1 0 6 1 0 0 20 0 18 0 291265507 9787842560 4220 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2389610 4220 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440

[startup+0.300182 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 9929
/proc/meminfo: memFree=28484716/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9558440 CPUtime=0.45 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 5192 0 1 0 43 2 0 0 20 0 18 0 291265507 9787842560 8697 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2389610 8697 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440

[startup+0.700309 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 9929
/proc/meminfo: memFree=28484716/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 7911 0 1 0 133 4 0 0 20 0 19 0 291265507 9856004096 17659 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2406251 17659 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625004

[startup+1.5008 s]
/proc/loadavg: 2.01 2.00 2.00 2/194 9948
/proc/meminfo: memFree=28422588/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9625004 CPUtime=2.27 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 8311 0 1 0 223 4 0 0 20 0 19 0 291265507 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2406251 18193 2264 9 0 2396937 0
[pid=9929/tid=9931] ppid=9927 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/9929/task/9931/stat : 9931 (java) R 9927 9929 8308 0 -1 4202560 2594 0 1 0 143 2 0 0 20 0 19 0 291265509 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031714361784 140031586613959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031558286248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031557233704 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9934] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031556180648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9935] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031555128104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031554075048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031553022504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9938] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031551969448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031550916904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 8308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031538506600 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9941] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9941/stat : 9941 (java) S 9927 9929 8308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031537452920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9942] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9942/stat : 9942 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031536399752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031535348496 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9944] ppid=9927 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/9929/task/9944/stat : 9944 (java) S 9927 9929 8308 0 -1 4202560 2207 0 0 0 39 0 0 0 20 0 19 0 291265515 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031534295352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9945] ppid=9927 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/9929/task/9945/stat : 9945 (java) S 9927 9929 8308 0 -1 4202560 2314 0 0 0 39 0 0 0 20 0 19 0 291265515 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031533242808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9946] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9946/stat : 9946 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031532189944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9947] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9947/stat : 9947 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031531137608 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9948] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9948/stat : 9948 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265553 9856004096 18193 33554432000 1073741824 1073778376 140733328788656 140031530083880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9625004

[startup+3.10065 s]
/proc/loadavg: 2.01 2.00 2.00 6/214 10004
/proc/meminfo: memFree=28363544/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9625004 CPUtime=3.97 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 8376 0 1 0 393 4 0 0 20 0 19 0 291265507 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2406251 21315 2289 9 0 2396937 0
[pid=9929/tid=9931] ppid=9927 vsize=9625004 CPUtime=3.01 cores=1,3,5,7
/proc/9929/task/9931/stat : 9931 (java) R 9927 9929 8308 0 -1 4202560 2597 0 1 0 299 2 0 0 20 0 19 0 291265509 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031714361832 140031586541291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031558286248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 8308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031557233704 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9934] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031556180648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9935] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 8308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031555128104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031554075048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 8308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031553022504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9938] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 8308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031551969448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031550916904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 8308 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031538506600 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9941] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9941/stat : 9941 (java) S 9927 9929 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031537452920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9942] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9942/stat : 9942 (java) S 9927 9929 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031536399752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031535348496 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9944] ppid=9927 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/9929/task/9944/stat : 9944 (java) S 9927 9929 8308 0 -1 4202560 2212 0 0 0 41 0 0 0 20 0 19 0 291265515 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031534295352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9945] ppid=9927 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/9929/task/9945/stat : 9945 (java) S 9927 9929 8308 0 -1 4202560 2322 0 0 0 42 0 0 0 20 0 19 0 291265515 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031533242808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9946] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9946/stat : 9946 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031532189944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9947] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9947/stat : 9947 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031531137608 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9948] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9948/stat : 9948 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265553 9856004096 21315 33554432000 1073741824 1073778376 140733328788656 140031530083880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10004
/proc/meminfo: memFree=28325240/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9625004 CPUtime=7.22 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 8395 0 1 0 718 4 0 0 20 0 19 0 291265507 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2406251 22316 2289 9 0 2396937 0
[pid=9929/tid=9931] ppid=9927 vsize=9625004 CPUtime=6.16 cores=1,3,5,7
/proc/9929/task/9931/stat : 9931 (java) R 9927 9929 8308 0 -1 4202560 2600 0 1 0 614 2 0 0 20 0 19 0 291265509 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031714361896 140031586662960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 8308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031558286248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 8308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031557233704 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9934] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031556180648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9935] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031555128104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 8308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031554075048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031553022504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9938] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 8308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031551969448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265510 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031550916904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 8308 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291265512 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031538506600 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9941] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9941/stat : 9941 (java) S 9927 9929 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031537452920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9942] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9942/stat : 9942 (java) S 9927 9929 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031536399752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031535348496 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9944] ppid=9927 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/9929/task/9944/stat : 9944 (java) S 9927 9929 8308 0 -1 4202560 2215 0 0 0 43 0 0 0 20 0 19 0 291265515 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031534295352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9945] ppid=9927 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/9929/task/9945/stat : 9945 (java) S 9927 9929 8308 0 -1 4202560 2323 0 0 0 45 0 0 0 20 0 19 0 291265515 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031533242808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9946] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9946/stat : 9946 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031532189944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9947] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9947/stat : 9947 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031531137608 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9948] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9948/stat : 9948 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265553 9856004096 22316 33554432000 1073741824 1073778376 140733328788656 140031530083880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 8308 0 -1 4202560 24 0 0 0 35 2 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031550916904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=9625004 CPUtime=7.28 cores=1,3,5,7
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 8308 0 -1 4202560 89 0 0 0 727 1 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031538506600 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9941] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9941/stat : 9941 (java) S 9927 9929 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031537452920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9942] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9942/stat : 9942 (java) S 9927 9929 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031536399752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031535348496 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9944] ppid=9927 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/9929/task/9944/stat : 9944 (java) S 9927 9929 8308 0 -1 4202560 3678 0 0 0 70 2 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031534295352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9945] ppid=9927 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/9929/task/9945/stat : 9945 (java) S 9927 9929 8308 0 -1 4202560 2337 0 0 0 56 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031533242808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9946] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9946/stat : 9946 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031532189944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9947] ppid=9927 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/9929/task/9947/stat : 9947 (java) S 9927 9929 8308 0 -1 4202560 25 0 0 0 3 4 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031531137608 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9948] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9948/stat : 9948 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265553 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031530083880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 418.38
Current children cumulated vsize (KiB) 9625004

[startup+415.501 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 10007
/proc/meminfo: memFree=28273328/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9625004 CPUtime=418.78 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 10387 0 1 0 41862 16 0 0 20 0 19 0 291265507 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2406251 28423 2292 9 0 2396937 0
[pid=9929/tid=9931] ppid=9927 vsize=9625004 CPUtime=406.02 cores=1,3,5,7
/proc/9929/task/9931/stat : 9931 (java) R 9927 9929 8308 0 -1 4202560 2841 0 1 0 40593 9 0 0 20 0 19 0 291265509 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031714361680 140031586614587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 8308 0 -1 4202560 59 0 0 0 40 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031558286248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 8308 0 -1 4202560 18 0 0 0 33 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031557233704 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9934] ppid=9927 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 8308 0 -1 4202560 18 0 0 0 41 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031556180648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9935] ppid=9927 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 8308 0 -1 4202560 28 0 0 0 39 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031555128104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 8308 0 -1 4202560 40 0 0 0 36 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031554075048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 8308 0 -1 4202560 24 0 0 0 35 2 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031553022504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9938] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 8308 0 -1 4202560 25 0 0 0 37 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031551969448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 8308 0 -1 4202560 24 0 0 0 35 2 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031550916904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=9625004 CPUtime=7.28 cores=1,3,5,7
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 8308 0 -1 4202560 89 0 0 0 727 1 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031538506600 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9941] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9941/stat : 9941 (java) S 9927 9929 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031537452920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9942] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9942/stat : 9942 (java) S 9927 9929 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031536399752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031535348496 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9944] ppid=9927 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/9929/task/9944/stat : 9944 (java) S 9927 9929 8308 0 -1 4202560 3678 0 0 0 70 2 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031534295352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9945] ppid=9927 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/9929/task/9945/stat : 9945 (java) S 9927 9929 8308 0 -1 4202560 2337 0 0 0 56 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031533242808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9946] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9946/stat : 9946 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031532189944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9947] ppid=9927 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/9929/task/9947/stat : 9947 (java) S 9927 9929 8308 0 -1 4202560 25 0 0 0 3 4 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031531137608 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9948] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9948/stat : 9948 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265553 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031530083880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 418.78
Current children cumulated vsize (KiB) 9625004

[startup+415.701 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 10007
/proc/meminfo: memFree=28273204/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9625004 CPUtime=418.99 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 10387 0 1 0 41883 16 0 0 20 0 19 0 291265507 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2406251 28423 2292 9 0 2396937 0
[pid=9929/tid=9931] ppid=9927 vsize=9625004 CPUtime=406.23 cores=1,3,5,7
/proc/9929/task/9931/stat : 9931 (java) R 9927 9929 8308 0 -1 4202560 2841 0 1 0 40614 9 0 0 20 0 19 0 291265509 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031714361680 140031586541944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 8308 0 -1 4202560 59 0 0 0 40 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031558286248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 8308 0 -1 4202560 18 0 0 0 33 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031557233704 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9934] ppid=9927 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 8308 0 -1 4202560 18 0 0 0 41 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031556180648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9935] ppid=9927 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 8308 0 -1 4202560 28 0 0 0 39 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031555128104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 8308 0 -1 4202560 40 0 0 0 36 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031554075048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 8308 0 -1 4202560 24 0 0 0 35 2 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031553022504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9938] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 8308 0 -1 4202560 25 0 0 0 37 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031551969448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 8308 0 -1 4202560 24 0 0 0 35 2 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031550916904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=9625004 CPUtime=7.28 cores=1,3,5,7
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 8308 0 -1 4202560 89 0 0 0 727 1 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031538506600 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9941] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9941/stat : 9941 (java) S 9927 9929 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031537452920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9942] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9942/stat : 9942 (java) S 9927 9929 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031536399752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031535348496 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9944] ppid=9927 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/9929/task/9944/stat : 9944 (java) S 9927 9929 8308 0 -1 4202560 3678 0 0 0 70 2 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031534295352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9945] ppid=9927 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/9929/task/9945/stat : 9945 (java) S 9927 9929 8308 0 -1 4202560 2337 0 0 0 56 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031533242808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9946] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9946/stat : 9946 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031532189944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9947] ppid=9927 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/9929/task/9947/stat : 9947 (java) S 9927 9929 8308 0 -1 4202560 25 0 0 0 3 4 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031531137608 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9948] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9948/stat : 9948 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265553 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031530083880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 418.99
Current children cumulated vsize (KiB) 9625004

[startup+415.807 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 10007
/proc/meminfo: memFree=28273204/32873844 swapFree=7620/7620
[pid=9929] ppid=9927 vsize=9625004 CPUtime=419.09 cores=1,3,5,7
/proc/9929/stat : 9929 (java) S 9927 9929 8308 0 -1 4202496 10387 0 1 0 41893 16 0 0 20 0 19 0 291265507 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140733328779792 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9929/statm: 2406251 28423 2292 9 0 2396937 0
[pid=9929/tid=9931] ppid=9927 vsize=9625004 CPUtime=406.32 cores=1,3,5,7
/proc/9929/task/9931/stat : 9931 (java) R 9927 9929 8308 0 -1 4202560 2841 0 1 0 40623 9 0 0 20 0 19 0 291265509 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031714361680 140031586558900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 8308 0 -1 4202560 59 0 0 0 40 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031558286248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 8308 0 -1 4202560 18 0 0 0 33 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031557233704 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9934] ppid=9927 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 8308 0 -1 4202560 18 0 0 0 41 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031556180648 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9935] ppid=9927 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 8308 0 -1 4202560 28 0 0 0 39 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031555128104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 8308 0 -1 4202560 40 0 0 0 36 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031554075048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 8308 0 -1 4202560 24 0 0 0 35 2 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031553022504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9938] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 8308 0 -1 4202560 25 0 0 0 37 0 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031551969448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 8308 0 -1 4202560 24 0 0 0 35 2 0 0 20 0 19 0 291265510 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031550916904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=9625004 CPUtime=7.28 cores=1,3,5,7
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 8308 0 -1 4202560 89 0 0 0 727 1 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031538506600 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9941] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9941/stat : 9941 (java) S 9927 9929 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031537452920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9942] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9942/stat : 9942 (java) S 9927 9929 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291265512 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031536399752 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031535348496 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9929/tid=9944] ppid=9927 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/9929/task/9944/stat : 9944 (java) S 9927 9929 8308 0 -1 4202560 3678 0 0 0 70 2 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031534295352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9945] ppid=9927 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/9929/task/9945/stat : 9945 (java) S 9927 9929 8308 0 -1 4202560 2337 0 0 0 56 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031533242808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9929/tid=9946] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9946/stat : 9946 (java) S 9927 9929 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031532189944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9929/tid=9947] ppid=9927 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/9929/task/9947/stat : 9947 (java) S 9927 9929 8308 0 -1 4202560 25 0 0 0 3 4 0 0 20 0 19 0 291265515 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031531137608 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9929/tid=9948] ppid=9927 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/9929/task/9948/stat : 9948 (java) S 9927 9929 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291265553 9856004096 28423 33554432000 1073741824 1073778376 140733328788656 140031530083880 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 419.09
Current children cumulated vsize (KiB) 9625004

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9929 and gives
#  childrusage.ru_utime.tv_sec=417
#  childrusage.ru_utime.tv_usec=926465
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=346947
# CPU time returned by wait4() is 418.273
# while last known CPU time is 419.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 415.856
CPU time (s): 419.09
CPU user time (s): 418.93
CPU system time (s): 0.16
CPU usage (%): 100.778
Max. virtual memory (cumulated for all children) (KiB): 9625328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 417.926
system time used= 0.346947
maximum resident set size= 113736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10400
page faults= 1
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15309
involuntary context switches= 12221

runsolver used 1.83672 second user time and 4.41033 second system time

The end

Launcher Data 

Begin job on node143 at 2012-05-29 02:30:11
IDJOB=3710487
IDBENCH=92696
IDSOLVER=2289
FILE ID=node143/3710487-1338251411
RUNJOBID= node143-1338231615-8325
PBS_JOBID= 14624659
Free space on /tmp= 69356 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_8_mh.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-3710487-1338251411/watcher-3710487-1338251411 -o /tmp/evaluation-result-3710487-1338251411/solver-3710487-1338251411 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710487-1338251411.opb

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

MD5SUM BENCH= 3e5afedaafc5782c8b438b74f31dd2ae
RANDOM SEED=106371366

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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:        28485360 kB
Buffers:          441072 kB
Cached:          3064724 kB
SwapCached:            0 kB
Active:          3041792 kB
Inactive:         478648 kB
Active(anon):       5540 kB
Inactive(anon):    11300 kB
Active(file):    3036252 kB
Inactive(file):   467348 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:        140852 kB
Mapped:            14336 kB
Shmem:               200 kB
Slab:             729288 kB
SReclaimable:     171260 kB
SUnreclaim:       558028 kB
KernelStack:        1496 kB
PageTables:         3660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     139224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 69360 MiB
End job on node143 at 2012-05-29 02:37:07