Trace number 3710913

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)44 1800.08 1797.17

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.08/0.30	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.08/0.30	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.30	c See www.sat4j.org for details.
0.08/0.30	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.08/0.30	c version 2.3.2.v20120418
0.08/0.30	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.30	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.30	c java.vm.version	19.1-b02
0.08/0.30	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.30	c sun.arch.data.model	64
0.08/0.30	c java.version		1.6.0_24
0.08/0.30	c os.name		Linux
0.08/0.30	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.30	c os.arch		amd64
0.08/0.30	c Free memory 		501472288
0.08/0.30	c Max memory 		7480803328
0.08/0.30	c Total memory 		504102912
0.08/0.31	c Number of processors 	8
0.08/0.36	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.36	c configuring ORDERS
0.08/0.37	c --- Begin Solver configuration ---
0.08/0.37	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.37	c Learn all clauses as in MiniSAT
0.08/0.37	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.37	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.37	c Expensive reason simplification
0.08/0.37	c Armin Biere (Picosat) restarts strategy
0.08/0.37	c Glucose learned constraints deletion strategy
0.08/0.37	c timeout=2147483s
0.08/0.37	c DB Simplification allowed=true
0.08/0.37	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.37	c --- End Solver configuration ---
0.08/0.37	c solving HOME/instance-3710913-1338158197.opb
0.08/0.37	c reading problem ... 
0.63/0.67	c ... done. Wall clock time 0.3s.
0.63/0.67	c declared #vars     5828
0.63/0.67	c #constraints  17411
0.63/0.67	c constraints type 
0.63/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020
0.63/0.67	c org.sat4j.minisat.constraints.cnf.UnitClause => 283
0.63/0.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108
0.63/0.67	c 17411 constraints processed.
0.89/0.76	c SATISFIABLE
0.89/0.76	c OPTIMIZING...
0.89/0.76	c Got one! Elapsed wall clock time (in seconds):0.395
0.89/0.76	o 65
1.32/0.96	c Got one! Elapsed wall clock time (in seconds):0.59
1.32/0.96	o 64
1.57/1.02	c Got one! Elapsed wall clock time (in seconds):0.651
1.57/1.02	o 63
2.52/1.95	c Got one! Elapsed wall clock time (in seconds):1.581
2.70/2.03	o 62
2.70/2.03	c Got one! Elapsed wall clock time (in seconds):1.594
2.70/2.03	o 61
2.70/2.03	c Got one! Elapsed wall clock time (in seconds):1.602
2.70/2.03	o 60
2.70/2.03	c Got one! Elapsed wall clock time (in seconds):1.61
2.70/2.03	o 59
2.70/2.03	c Got one! Elapsed wall clock time (in seconds):1.62
2.70/2.03	o 58
2.70/2.08	c Got one! Elapsed wall clock time (in seconds):1.712
2.70/2.08	o 57
2.91/2.28	c Got one! Elapsed wall clock time (in seconds):1.918
2.91/2.28	o 56
3.11/2.41	c Got one! Elapsed wall clock time (in seconds):2.044
3.11/2.41	o 55
3.11/2.41	c Got one! Elapsed wall clock time (in seconds):2.048
3.11/2.41	o 54
3.11/2.42	c Got one! Elapsed wall clock time (in seconds):2.053
3.11/2.42	o 53
3.11/2.42	c Got one! Elapsed wall clock time (in seconds):2.057
3.11/2.42	o 52
3.11/2.43	c Got one! Elapsed wall clock time (in seconds):2.062
3.11/2.43	o 51
3.11/2.43	c Got one! Elapsed wall clock time (in seconds):2.066
3.11/2.43	o 50
3.11/2.44	c Got one! Elapsed wall clock time (in seconds):2.071
3.11/2.44	o 49
3.11/2.44	c Got one! Elapsed wall clock time (in seconds):2.075
3.11/2.44	o 48
3.11/2.45	c Got one! Elapsed wall clock time (in seconds):2.08
3.11/2.45	o 47
3.11/2.49	c Got one! Elapsed wall clock time (in seconds):2.125
3.11/2.49	o 46
4.24/3.57	c cleaning 3447 clauses out of 6894 with flag 3001/6894
6.50/5.71	c cleaning 4719 clauses out of 9446 with flag 9000/12893
8.81/8.09	c cleaning 5861 clauses out of 11727 with flag 16000/19893
11.73/10.95	c cleaning 6928 clauses out of 13866 with flag 24000/27893
15.06/14.24	c cleaning 7964 clauses out of 15943 with flag 33005/36898
18.76/17.99	c cleaning 8969 clauses out of 17974 with flag 43000/46893
22.67/21.86	c cleaning 9992 clauses out of 20005 with flag 54000/57893
23.67/22.82	c Got one! Elapsed wall clock time (in seconds):22.457
23.67/22.82	o 45
24.27/23.47	c cleaning 7569 clauses out of 15159 with flag 2000/63039
26.08/25.24	c cleaning 6791 clauses out of 13591 with flag 8001/69040
28.17/27.39	c cleaning 6897 clauses out of 13800 with flag 15001/76040
30.79/29.97	c cleaning 7444 clauses out of 14902 with flag 23000/84039
33.91/33.09	c cleaning 8225 clauses out of 16459 with flag 32001/93040
37.01/36.17	c cleaning 9112 clauses out of 18233 with flag 42000/103039
40.31/39.50	c cleaning 10054 clauses out of 20121 with flag 53000/114039
44.32/43.43	c Got one! Elapsed wall clock time (in seconds):43.06
44.32/43.43	o 44
46.42/45.55	c cleaning 13007 clauses out of 26030 with flag 5000/130002
48.72/47.88	c cleaning 9504 clauses out of 19025 with flag 11002/136004
51.43/50.59	c cleaning 8252 clauses out of 16519 with flag 18000/143002
54.62/53.78	c cleaning 8123 clauses out of 16267 with flag 26000/151002
57.53/56.61	c cleaning 8554 clauses out of 17144 with flag 35000/160002
60.73/59.87	c cleaning 9288 clauses out of 18590 with flag 45000/170002
64.55/63.67	c cleaning 10146 clauses out of 20302 with flag 56000/181002
68.75/67.81	c cleaning 11067 clauses out of 22157 with flag 68001/193003
73.68/72.79	c cleaning 12040 clauses out of 24089 with flag 81000/206002
78.99/78.09	c cleaning 13016 clauses out of 26049 with flag 95000/220002
83.99/83.08	c cleaning 14011 clauses out of 28033 with flag 110000/235002
87.41/86.40	c cleaning 15004 clauses out of 30022 with flag 126000/251002
92.13/91.10	c cleaning 16003 clauses out of 32019 with flag 143001/268003
97.95/96.92	c cleaning 17001 clauses out of 34016 with flag 161001/286003
104.56/103.55	c cleaning 17994 clauses out of 36014 with flag 180000/305002
112.18/111.17	c cleaning 18995 clauses out of 38020 with flag 200000/325002
118.27/117.25	c cleaning 20006 clauses out of 40025 with flag 221000/346002
125.48/124.47	c cleaning 21002 clauses out of 42023 with flag 243004/368006
133.80/132.78	c cleaning 22005 clauses out of 44018 with flag 266001/391003
143.43/142.38	c cleaning 23002 clauses out of 46013 with flag 290001/415003
153.43/152.34	c cleaning 23995 clauses out of 48010 with flag 315000/440002
163.54/162.49	c cleaning 24997 clauses out of 50015 with flag 341000/466002
174.56/173.46	c cleaning 25995 clauses out of 52018 with flag 368000/493002
187.07/185.99	c cleaning 26994 clauses out of 54023 with flag 396000/521002
197.07/195.92	c cleaning 28000 clauses out of 56029 with flag 425000/550002
207.19/206.04	c cleaning 29005 clauses out of 58030 with flag 455001/580003
219.19/218.07	c cleaning 30006 clauses out of 60026 with flag 486002/611004
232.00/230.85	c cleaning 30996 clauses out of 62018 with flag 518000/643002
246.43/245.24	c cleaning 31996 clauses out of 64022 with flag 551000/676002
259.16/257.99	c cleaning 32995 clauses out of 66026 with flag 585000/710002
273.87/272.69	c cleaning 34012 clauses out of 68031 with flag 620000/745002
291.18/289.94	c cleaning 34993 clauses out of 70019 with flag 656000/781002
303.72/302.48	c cleaning 35993 clauses out of 72026 with flag 693000/818002
315.83/314.55	c cleaning 37003 clauses out of 74033 with flag 731000/856002
329.55/328.22	c cleaning 38009 clauses out of 76031 with flag 770001/895003
344.36/343.01	c cleaning 39004 clauses out of 78021 with flag 810000/935002
359.99/358.66	c cleaning 39997 clauses out of 80017 with flag 851000/976002
376.54/375.17	c cleaning 40998 clauses out of 82020 with flag 893000/1018002
391.37/389.99	c cleaning 41999 clauses out of 84022 with flag 936000/1061002
407.29/405.88	c cleaning 42997 clauses out of 86023 with flag 980000/1105002
424.60/423.15	c cleaning 43990 clauses out of 88026 with flag 1025000/1150002
442.43/440.92	c cleaning 45016 clauses out of 90037 with flag 1071001/1196003
460.54/459.02	c cleaning 45991 clauses out of 92020 with flag 1118000/1243002
480.47/478.98	c cleaning 47007 clauses out of 94029 with flag 1166000/1291002
499.81/498.21	c cleaning 48007 clauses out of 96022 with flag 1215000/1340002
516.53/514.91	c cleaning 48989 clauses out of 98016 with flag 1265001/1390003
534.74/533.10	c cleaning 50005 clauses out of 100027 with flag 1316001/1441003
554.80/553.19	c cleaning 50995 clauses out of 102021 with flag 1368000/1493002
574.72/573.10	c cleaning 52006 clauses out of 104026 with flag 1421000/1546002
597.83/596.13	c cleaning 53001 clauses out of 106020 with flag 1475000/1600002
619.26/617.50	c cleaning 53995 clauses out of 108020 with flag 1530001/1655003
642.98/641.24	c cleaning 55000 clauses out of 110024 with flag 1586000/1711002
667.00/665.26	c cleaning 55993 clauses out of 112025 with flag 1643001/1768003
690.43/688.63	c cleaning 56995 clauses out of 114031 with flag 1701000/1826002
714.94/713.14	c cleaning 58012 clauses out of 116037 with flag 1760001/1885003
740.86/739.10	c cleaning 59002 clauses out of 118026 with flag 1820002/1945004
766.00/764.19	c cleaning 60004 clauses out of 120022 with flag 1881000/2006002
789.52/787.68	c cleaning 60990 clauses out of 122018 with flag 1943000/2068002
814.05/812.16	c cleaning 62007 clauses out of 124028 with flag 2006000/2131002
838.69/836.79	c cleaning 63004 clauses out of 126022 with flag 2070001/2195003
864.72/862.70	c cleaning 63997 clauses out of 128020 with flag 2135003/2260005
889.95/887.92	c cleaning 64994 clauses out of 130021 with flag 2201001/2326003
914.67/912.62	c cleaning 65997 clauses out of 132027 with flag 2268001/2393003
939.50/937.41	c cleaning 67003 clauses out of 134029 with flag 2336000/2461002
965.51/963.44	c cleaning 67992 clauses out of 136026 with flag 2405000/2530002
992.55/990.40	c cleaning 69000 clauses out of 138035 with flag 2475001/2600003
1020.69/1018.52	c cleaning 70009 clauses out of 140034 with flag 2546000/2671002
1045.33/1043.15	c cleaning 71003 clauses out of 142025 with flag 2618000/2743002
1070.67/1068.42	c cleaning 71992 clauses out of 144022 with flag 2691000/2816002
1095.59/1093.31	c cleaning 72991 clauses out of 146030 with flag 2765000/2890002
1120.11/1117.88	c cleaning 73989 clauses out of 148039 with flag 2840000/2965002
1148.63/1146.30	c cleaning 75014 clauses out of 150050 with flag 2916000/3041002
1178.34/1176.00	c cleaning 75992 clauses out of 152036 with flag 2993000/3118002
1208.89/1206.58	c cleaning 77012 clauses out of 154045 with flag 3071001/3196003
1234.61/1232.25	c cleaning 78009 clauses out of 156032 with flag 3150000/3275002
1270.16/1267.73	c cleaning 79000 clauses out of 158023 with flag 3230000/3355002
1309.40/1306.96	c cleaning 79992 clauses out of 160023 with flag 3311000/3436002
1338.25/1335.79	c cleaning 81008 clauses out of 162031 with flag 3393000/3518002
1369.09/1366.54	c cleaning 82001 clauses out of 164023 with flag 3476000/3601002
1399.02/1396.44	c cleaning 83001 clauses out of 166022 with flag 3560000/3685002
1433.84/1431.23	c cleaning 83995 clauses out of 168021 with flag 3645000/3770002
1469.96/1467.40	c cleaning 85005 clauses out of 170028 with flag 3731002/3856004
1507.70/1505.08	c cleaning 86005 clauses out of 172022 with flag 3818001/3943003
1543.44/1540.74	c cleaning 87002 clauses out of 174019 with flag 3906003/4031005
1576.28/1573.56	c cleaning 87989 clauses out of 176014 with flag 3995000/4120002
1611.79/1609.00	c cleaning 88998 clauses out of 178025 with flag 4085000/4210002
1645.33/1642.52	c cleaning 90000 clauses out of 180029 with flag 4176002/4301004
1680.76/1677.96	c cleaning 90997 clauses out of 182027 with flag 4268000/4393002
1718.28/1715.44	c cleaning 92009 clauses out of 184030 with flag 4361000/4486002
1755.53/1752.66	c cleaning 93000 clauses out of 186022 with flag 4455001/4580003
1796.35/1793.46	c cleaning 94001 clauses out of 188021 with flag 4550000/4675002
1800.08/1797.11	c starts		: 293
1800.08/1797.11	c conflicts		: 4684076
1800.08/1797.11	c decisions		: 11840001
1800.08/1797.11	c propagations		: 8721235003
1800.08/1797.11	c inspects		: 10008161829
1800.08/1797.11	c shortcuts		: 0
1800.08/1797.11	c learnt literals	: 0
1800.08/1797.11	c learnt binary clauses	: 0
1800.08/1797.11	c learnt ternary clauses	: 3
1800.08/1797.11	c learnt constraints	: 4684076
1800.08/1797.11	c ignored constraints	: 0
1800.08/1797.11	c root simplifications	: 293
1800.08/1797.11	c removed literals (reason simplification)	: 3029086
1800.08/1797.11	c reason swapping (by a shorter reason)	: 0
1800.08/1797.11	c Calls to reduceDB	: 105
1800.08/1797.11	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.11	c number of learned constraints concerned by reduction	: 0
1800.08/1797.11	c number of learning phase by resolution	: 0
1800.08/1797.11	c number of learning phase by cutting planes	: 0
1800.08/1797.11	c speed (assignments/second)	: 4854756.839533498
1800.08/1797.11	c non guided choices	6675
1800.08/1797.14	c learnt constraints type 
1800.08/1797.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 103156
1800.08/1797.14	c constraints type 
1800.08/1797.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020
1800.08/1797.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1797.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 283
1800.08/1797.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108
1800.08/1797.14	c 17412 constraints processed.
1800.08/1797.14	s SATISFIABLE
1800.08/1797.15	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 
1800.08/1797.16	c objective function=44
1800.08/1797.16	c Total wall clock time (in seconds): 1796.793

Verifier Data 

OK	44

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-3710913-1338158197/watcher-3710913-1338158197 -o /tmp/evaluation-result-3710913-1338158197/solver-3710913-1338158197 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710913-1338158197.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.05 2.03 2.00 3/172 31352
/proc/meminfo: memFree=31259464/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/31352/stat : 31352 (java) D 31349 31352 31312 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 281945296 278528 33 33554432000 1073741824 1073778376 140736112146368 140736112143544 214360485159 0 0 4096 0 18446744071580397875 0 0 17 5 0 0 0 0 0
/proc/31352/statm: 68 33 25 9 0 25 0

[startup+0.084491 s]
/proc/loadavg: 2.05 2.03 2.00 3/172 31352
/proc/meminfo: memFree=31259464/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/31352/stat : 31352 (java) D 31349 31352 31312 0 -1 4202496 1037 0 12 0 0 0 0 0 20 0 1 0 281945296 23793664 777 33554432000 1073741824 1073778376 140735432697488 140735432687480 140153779952096 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 5 0 0
/proc/31352/statm: 5809 777 574 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.100311 s]
/proc/loadavg: 2.05 2.03 2.00 3/172 31352
/proc/meminfo: memFree=31259464/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/31352/stat : 31352 (java) D 31349 31352 31312 0 -1 4202496 1066 0 17 0 0 0 0 0 20 0 1 0 281945296 23793664 811 33554432000 1073741824 1073778376 140735432697488 140735432687480 140153781467616 0 0 4096 0 18446744071579943789 0 0 17 7 0 0 7 0 0
/proc/31352/statm: 5809 811 605 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.300232 s]
/proc/loadavg: 2.05 2.03 2.00 3/172 31352
/proc/meminfo: memFree=31259464/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 3498 0 25 0 6 2 0 0 20 0 18 0 281945296 9787842560 4220 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2389610 4220 1779 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.70026 s]
/proc/loadavg: 2.05 2.03 2.00 3/172 31352
/proc/meminfo: memFree=31259464/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 7350 0 26 0 85 4 0 0 20 0 19 0 281945296 9856004096 16504 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2406251 16504 2248 9 0 2396937 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 9625004

[startup+1.50065 s]
/proc/loadavg: 2.20 2.07 2.01 5/213 31393
/proc/meminfo: memFree=31090380/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9625004 CPUtime=2.12 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 7939 0 26 0 208 4 0 0 20 0 19 0 281945296 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2406251 17162 2261 9 0 2396937 0
[pid=31352/tid=31359] ppid=31349 vsize=9625004 CPUtime=1.23 cores=1,3,5,7
/proc/31352/task/31359/stat : 31359 (java) R 31349 31352 31312 0 -1 4202560 2581 0 5 0 120 3 0 0 20 0 19 0 281945307 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153776713800 140153649930509 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=31352/tid=31360] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31360/stat : 31360 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153620786216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31361] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31361/stat : 31361 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153619733416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31362] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31362/stat : 31362 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153618680616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31352/tid=31363] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31363/stat : 31363 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153617627816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31364] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31364/stat : 31364 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153616575016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31366] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31366/stat : 31366 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153615522216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31368] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31368/stat : 31368 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153614469416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31370] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31370/stat : 31370 (java) S 31349 31352 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153613416616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31376] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31376/stat : 31376 (java) S 31349 31352 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281945313 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153601006568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31379] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31379/stat : 31379 (java) S 31349 31352 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153599952632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31381] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31381/stat : 31381 (java) S 31349 31352 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153598899720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31382] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31382/stat : 31382 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153597848208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31385] ppid=31349 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/31352/task/31385/stat : 31385 (java) S 31349 31352 31312 0 -1 4202560 1476 0 0 0 42 0 0 0 20 0 19 0 281945321 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153596795320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31387] ppid=31349 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31352/task/31387/stat : 31387 (java) S 31349 31352 31312 0 -1 4202560 2703 0 1 0 41 0 0 0 20 0 19 0 281945321 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153595742520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31389] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31389/stat : 31389 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153594689912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31391] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31391/stat : 31391 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153593637320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31392] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31392/stat : 31392 (java) S 31349 31352 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281945364 9856004096 17162 33554432000 1073741824 1073778376 140735432697488 140153592522408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 2.20 2.07 2.01 3/213 31393
/proc/meminfo: memFree=31080700/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9625004 CPUtime=3.84 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 8080 0 26 0 379 5 0 0 20 0 19 0 281945296 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2406251 20766 2264 9 0 2396937 0
[pid=31352/tid=31359] ppid=31349 vsize=9625004 CPUtime=2.82 cores=1,3,5,7
/proc/31352/task/31359/stat : 31359 (java) R 31349 31352 31312 0 -1 4202560 2590 0 5 0 279 3 0 0 20 0 19 0 281945307 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153776712224 140153649980225 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=31352/tid=31360] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31360/stat : 31360 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153620786216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31361] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31361/stat : 31361 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153619733416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31362] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31362/stat : 31362 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153618680616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31352/tid=31363] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31363/stat : 31363 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153617627816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31364] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31364/stat : 31364 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153616575016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31366] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31366/stat : 31366 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153615522216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31368] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31368/stat : 31368 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153614469416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31370] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31370/stat : 31370 (java) S 31349 31352 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153613416616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31376] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31376/stat : 31376 (java) S 31349 31352 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281945313 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153601006568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31379] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31379/stat : 31379 (java) S 31349 31352 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153599952632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31381] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31381/stat : 31381 (java) S 31349 31352 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153598899720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31382] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31382/stat : 31382 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153597848208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31385] ppid=31349 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/31352/task/31385/stat : 31385 (java) S 31349 31352 31312 0 -1 4202560 1595 0 0 0 47 0 0 0 20 0 19 0 281945321 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153596795320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31387] ppid=31349 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/31352/task/31387/stat : 31387 (java) S 31349 31352 31312 0 -1 4202560 2715 0 1 0 48 0 0 0 20 0 19 0 281945321 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153595742520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31389] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31389/stat : 31389 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153594689912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31391] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31391/stat : 31391 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153593637320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31392] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31392/stat : 31392 (java) S 31349 31352 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281945364 9856004096 20766 33554432000 1073741824 1073778376 140735432697488 140153592522408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625004

[startup+6.30064 s]
/proc/loadavg: 2.20 2.07 2.01 3/213 31393
/proc/meminfo: memFree=31043092/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9625004 CPUtime=7.11 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 8146 0 26 0 706 5 0 0 20 0 19 0 281945296 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2406251 24232 2289 9 0 2396937 0
[pid=31352/tid=31359] ppid=31349 vsize=9625004 CPUtime=5.97 cores=1,3,5,7
/proc/31352/task/31359/stat : 31359 (java) R 31349 31352 31312 0 -1 4202560 2594 0 5 0 594 3 0 0 20 0 19 0 281945307 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153776714296 140153649980230 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=31352/tid=31360] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31360/stat : 31360 (java) S 31349 31352 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153620786216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31361] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31361/stat : 31361 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153619733416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31362] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31362/stat : 31362 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153618680616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31352/tid=31363] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31363/stat : 31363 (java) S 31349 31352 31312 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153617627816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31364] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31364/stat : 31364 (java) S 31349 31352 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153616575016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31366] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31366/stat : 31366 (java) S 31349 31352 31312 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153615522216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31352/tid=31368] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31368/stat : 31368 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153614469416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31370] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31370/stat : 31370 (java) S 31349 31352 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281945309 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153613416616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31376] ppid=31349 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/31352/task/31376/stat : 31376 (java) S 31349 31352 31312 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 281945313 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153601006568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31379] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31379/stat : 31379 (java) S 31349 31352 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153599952632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31381] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31381/stat : 31381 (java) S 31349 31352 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153598899720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31382] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31382/stat : 31382 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153597848208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31385] ppid=31349 vsize=9625004 CPUtime=0.5 cores=1,3,5,7
/proc/31352/task/31385/stat : 31385 (java) S 31349 31352 31312 0 -1 4202560 1597 0 0 0 50 0 0 0 20 0 19 0 281945321 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153596795320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31387] ppid=31349 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/31352/task/31387/stat : 31387 (java) S 31349 31352 31312 0 -1 4202560 2723 0 1 0 51 0 0 0 20 0 19 0 281945321 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153595742520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31389] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31389/stat : 31389 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153594689912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31391] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31391/stat : 31391 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153593637320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31392] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31392/stat : 31392 (java) S 31349 31352 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281945364 9856004096 24232 33554432000 1073741824 1073778376 140735432697488 140153592522408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=31352/tid=31385] ppid=31349 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/31352/task/31385/stat : 31385 (java) S 31349 31352 31312 0 -1 4202560 1598 0 0 0 51 0 0 0 20 0 19 0 281945321 9856004096 44294 33554432000 1073741824 1073778376 140735432697488 140153596795320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31387] ppid=31349 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/31352/task/31387/stat : 31387 (java) S 31349 31352 31312 0 -1 4202560 3488 0 1 0 58 0 0 0 20 0 19 0 281945321 9856004096 44294 33554432000 1073741824 1073778376 140735432697488 140153595742520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31389] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31389/stat : 31389 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 44294 33554432000 1073741824 1073778376 140735432697488 140153594689912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31391] ppid=31349 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/31352/task/31391/stat : 31391 (java) S 31349 31352 31312 0 -1 4202560 99 0 0 0 20 14 0 0 20 0 19 0 281945321 9856004096 44294 33554432000 1073741824 1073778376 140735432697488 140153593637320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31392] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31392/stat : 31392 (java) S 31349 31352 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281945364 9856004096 44294 33554432000 1073741824 1073778376 140735432697488 140153592522408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.24
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31432
/proc/meminfo: memFree=30889416/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9625004 CPUtime=1785.25 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 9844 0 26 0 178495 30 0 0 20 0 19 0 281945296 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2406251 44297 2290 9 0 2396937 0
[pid=31352/tid=31359] ppid=31349 vsize=9625004 CPUtime=1772.33 cores=1,3,5,7
/proc/31352/task/31359/stat : 31359 (java) R 31349 31352 31312 0 -1 4202560 2693 0 5 0 177203 30 0 0 20 0 19 0 281945307 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153776714096 140153649930159 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=31352/tid=31360] ppid=31349 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/31352/task/31360/stat : 31360 (java) S 31349 31352 31312 0 -1 4202560 141 0 0 0 31 0 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153620786216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31361] ppid=31349 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/31352/task/31361/stat : 31361 (java) S 31349 31352 31312 0 -1 4202560 85 0 0 0 40 0 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153619733416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31362] ppid=31349 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/31352/task/31362/stat : 31362 (java) S 31349 31352 31312 0 -1 4202560 64 0 0 0 33 0 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153618680616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31363] ppid=31349 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/31352/task/31363/stat : 31363 (java) S 31349 31352 31312 0 -1 4202560 49 0 0 0 35 2 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153617627816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31364] ppid=31349 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/31352/task/31364/stat : 31364 (java) S 31349 31352 31312 0 -1 4202560 85 0 0 0 36 0 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153616575016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31366] ppid=31349 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/31352/task/31366/stat : 31366 (java) S 31349 31352 31312 0 -1 4202560 112 0 0 0 31 0 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153615522216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31368] ppid=31349 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/31352/task/31368/stat : 31368 (java) S 31349 31352 31312 0 -1 4202560 26 0 0 0 34 0 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153614469416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31352/tid=31370] ppid=31349 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/31352/task/31370/stat : 31370 (java) S 31349 31352 31312 0 -1 4202560 47 0 0 0 40 0 0 0 20 0 19 0 281945309 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153613416616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31376] ppid=31349 vsize=9625004 CPUtime=4.14 cores=1,3,5,7
/proc/31352/task/31376/stat : 31376 (java) S 31349 31352 31312 0 -1 4202560 188 0 0 0 412 2 0 0 20 0 19 0 281945313 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153601006568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31379] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31379/stat : 31379 (java) S 31349 31352 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153599952632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31381] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31381/stat : 31381 (java) S 31349 31352 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153598899720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31382] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31382/stat : 31382 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153597848208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31385] ppid=31349 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/31352/task/31385/stat : 31385 (java) S 31349 31352 31312 0 -1 4202560 1598 0 0 0 51 0 0 0 20 0 19 0 281945321 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153596795320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31387] ppid=31349 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/31352/task/31387/stat : 31387 (java) S 31349 31352 31312 0 -1 4202560 3488 0 1 0 58 0 0 0 20 0 19 0 281945321 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153595742520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31389] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31389/stat : 31389 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153594689912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31391] ppid=31349 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/31352/task/31391/stat : 31391 (java) S 31349 31352 31312 0 -1 4202560 103 0 0 0 20 14 0 0 20 0 19 0 281945321 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153593637320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31392] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31392/stat : 31392 (java) S 31349 31352 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281945364 9856004096 44297 33554432000 1073741824 1073778376 140735432697488 140153592522408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 31432
/proc/meminfo: memFree=30885196/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 9860 0 26 0 179978 30 0 0 20 0 19 0 281945296 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2406251 44310 2290 9 0 2396937 0
[pid=31352/tid=31359] ppid=31349 vsize=9625004 CPUtime=1787.02 cores=1,3,5,7
/proc/31352/task/31359/stat : 31359 (java) R 31349 31352 31312 0 -1 4202560 2694 0 5 0 178671 31 0 0 20 0 19 0 281945307 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153776714096 140153649873901 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=31352/tid=31360] ppid=31349 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/31352/task/31360/stat : 31360 (java) S 31349 31352 31312 0 -1 4202560 141 0 0 0 31 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153620786216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31361] ppid=31349 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/31352/task/31361/stat : 31361 (java) S 31349 31352 31312 0 -1 4202560 85 0 0 0 40 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153619733416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31362] ppid=31349 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/31352/task/31362/stat : 31362 (java) S 31349 31352 31312 0 -1 4202560 64 0 0 0 33 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153618680616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31363] ppid=31349 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/31352/task/31363/stat : 31363 (java) S 31349 31352 31312 0 -1 4202560 49 0 0 0 36 2 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153617627816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31364] ppid=31349 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/31352/task/31364/stat : 31364 (java) S 31349 31352 31312 0 -1 4202560 98 0 0 0 37 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153616575016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31366] ppid=31349 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/31352/task/31366/stat : 31366 (java) S 31349 31352 31312 0 -1 4202560 112 0 0 0 32 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153615522216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31368] ppid=31349 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/31352/task/31368/stat : 31368 (java) S 31349 31352 31312 0 -1 4202560 26 0 0 0 35 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153614469416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31352/tid=31370] ppid=31349 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31352/task/31370/stat : 31370 (java) S 31349 31352 31312 0 -1 4202560 47 0 0 0 41 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153613416616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31376] ppid=31349 vsize=9625004 CPUtime=4.21 cores=1,3,5,7
/proc/31352/task/31376/stat : 31376 (java) S 31349 31352 31312 0 -1 4202560 190 0 0 0 419 2 0 0 20 0 19 0 281945313 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153601006568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31379] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31379/stat : 31379 (java) S 31349 31352 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153599952632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31381] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31381/stat : 31381 (java) S 31349 31352 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153598899720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31382] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31382/stat : 31382 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153597848208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31385] ppid=31349 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/31352/task/31385/stat : 31385 (java) S 31349 31352 31312 0 -1 4202560 1598 0 0 0 51 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153596795320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31387] ppid=31349 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/31352/task/31387/stat : 31387 (java) S 31349 31352 31312 0 -1 4202560 3488 0 1 0 58 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153595742520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31389] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31389/stat : 31389 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153594689912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31391] ppid=31349 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/31352/task/31391/stat : 31391 (java) S 31349 31352 31312 0 -1 4202560 103 0 0 0 20 15 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153593637320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31392] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31392/stat : 31392 (java) S 31349 31352 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281945364 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153592522408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 31432
/proc/meminfo: memFree=30885196/32873844 swapFree=7624/7624
[pid=31352] ppid=31349 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/31352/stat : 31352 (java) S 31349 31352 31312 0 -1 4202496 9860 0 26 0 179978 30 0 0 20 0 19 0 281945296 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140735432688624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 8 0 0
/proc/31352/statm: 2406251 44310 2290 9 0 2396937 0
[pid=31352/tid=31359] ppid=31349 vsize=9625004 CPUtime=1787.02 cores=1,3,5,7
/proc/31352/task/31359/stat : 31359 (java) R 31349 31352 31312 0 -1 4202560 2694 0 5 0 178671 31 0 0 20 0 19 0 281945307 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153776714096 140153649873901 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0
[pid=31352/tid=31360] ppid=31349 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/31352/task/31360/stat : 31360 (java) S 31349 31352 31312 0 -1 4202560 141 0 0 0 31 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153620786216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31361] ppid=31349 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/31352/task/31361/stat : 31361 (java) S 31349 31352 31312 0 -1 4202560 85 0 0 0 40 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153619733416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31362] ppid=31349 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/31352/task/31362/stat : 31362 (java) S 31349 31352 31312 0 -1 4202560 64 0 0 0 33 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153618680616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31363] ppid=31349 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/31352/task/31363/stat : 31363 (java) S 31349 31352 31312 0 -1 4202560 49 0 0 0 36 2 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153617627816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31364] ppid=31349 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/31352/task/31364/stat : 31364 (java) S 31349 31352 31312 0 -1 4202560 98 0 0 0 37 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153616575016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31366] ppid=31349 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/31352/task/31366/stat : 31366 (java) S 31349 31352 31312 0 -1 4202560 112 0 0 0 32 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153615522216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31368] ppid=31349 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/31352/task/31368/stat : 31368 (java) S 31349 31352 31312 0 -1 4202560 26 0 0 0 35 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153614469416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31352/tid=31370] ppid=31349 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31352/task/31370/stat : 31370 (java) S 31349 31352 31312 0 -1 4202560 47 0 0 0 41 0 0 0 20 0 19 0 281945309 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153613416616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31376] ppid=31349 vsize=9625004 CPUtime=4.21 cores=1,3,5,7
/proc/31352/task/31376/stat : 31376 (java) S 31349 31352 31312 0 -1 4202560 190 0 0 0 419 2 0 0 20 0 19 0 281945313 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153601006568 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31379] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31379/stat : 31379 (java) S 31349 31352 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153599952632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31381] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31381/stat : 31381 (java) S 31349 31352 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281945314 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153598899720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31382] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31382/stat : 31382 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153597848208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31385] ppid=31349 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/31352/task/31385/stat : 31385 (java) S 31349 31352 31312 0 -1 4202560 1598 0 0 0 51 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153596795320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31352/tid=31387] ppid=31349 vsize=9625004 CPUtime=0.58 cores=1,3,5,7
/proc/31352/task/31387/stat : 31387 (java) S 31349 31352 31312 0 -1 4202560 3488 0 1 0 58 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153595742520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31389] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31389/stat : 31389 (java) S 31349 31352 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153594689912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31352/tid=31391] ppid=31349 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/31352/task/31391/stat : 31391 (java) S 31349 31352 31312 0 -1 4202560 103 0 0 0 20 15 0 0 20 0 19 0 281945321 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153593637320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31352/tid=31392] ppid=31349 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31352/task/31392/stat : 31392 (java) S 31349 31352 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281945364 9856004096 44310 33554432000 1073741824 1073778376 140735432697488 140153592522408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31352 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=308071
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=649901
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.17
CPU time (s): 1800.08
CPU user time (s): 1799.78
CPU system time (s): 0.3
CPU usage (%): 100.162
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.31
system time used= 0.649901
maximum resident set size= 177360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9892
page faults= 26
swaps= 0
block input operations= 9176
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41077
involuntary context switches= 14668

runsolver used 7.41087 second user time and 13.133 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-28 00:36:37
IDJOB=3710913
IDBENCH=24974
IDSOLVER=2289
FILE ID=node130/3710913-1338158197
RUNJOBID= node130-1338158197-31329
PBS_JOBID= 14624537
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.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-3710913-1338158197/watcher-3710913-1338158197 -o /tmp/evaluation-result-3710913-1338158197/solver-3710913-1338158197 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710913-1338158197.opb

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

MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b
RANDOM SEED=299319961

node130.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.875
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.75
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.875
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.875
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.875
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.86
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.875
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31260108 kB
Buffers:          299704 kB
Cached:           469116 kB
SwapCached:         4512 kB
Active:           696324 kB
Inactive:          84952 kB
Active(anon):       2268 kB
Inactive(anon):     9016 kB
Active(file):     694056 kB
Inactive(file):    75936 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099912 kB
Dirty:              3192 kB
Writeback:             0 kB
AnonPages:         12768 kB
Mapped:            10852 kB
Shmem:                 8 kB
Slab:             693020 kB
SReclaimable:     134544 kB
SUnreclaim:       558476 kB
KernelStack:        1376 kB
PageTables:         3916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71468 MiB
End job on node130 at 2012-05-28 01:06:36