Trace number 3688470

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)22 1800.73 942.155

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark618.033
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
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 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3688470-1337877773.opb
0.09/0.11	c reading problem ... 
1.39/0.67	c ... done. Wall clock time 0.558s.
1.39/0.67	c declared #vars     8901
1.39/0.67	c #constraints  32298
1.39/0.67	c constraints type 
1.39/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099
1.39/0.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1.39/0.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193
1.39/0.67	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1.39/0.67	c 32298 constraints processed.
1.39/0.67	c constraints type 
1.39/0.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193
1.39/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099
1.39/0.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.39/0.67	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.39/0.67	c 32298 constraints processed.
1.39/0.67	c objective function length is 790 literals
1.71/0.79	c  And the winner is solver0
2.73/1.18	c SATISFIABLE
2.73/1.18	c OPTIMIZING...
2.73/1.18	c Got one! Elapsed wall clock time (in seconds):1.065
2.73/1.18	o 27
2.86/1.21	c  And the winner is solver0
3.00/1.69	c Got one! Elapsed wall clock time (in seconds):1.571
3.00/1.69	o 26
8.77/4.05	c cleaning 2499 clauses out of 5010 with flag 5000/5010
12.00/5.60	c  And the winner is solver1
12.00/5.69	c Got one! Elapsed wall clock time (in seconds):5.577
12.00/5.69	o 25
13.81/6.58	c cleaning 3772 clauses out of 7552 with flag 2000/10051
19.65/9.40	c cleaning 4880 clauses out of 9780 with flag 8000/16051
25.81/12.58	c cleaning 5941 clauses out of 11900 with flag 15000/23051
33.32/16.35	c cleaning 6963 clauses out of 13959 with flag 23000/31051
34.61/17.06	c  And the winner is solver1
34.75/17.27	c Got one! Elapsed wall clock time (in seconds):17.158
34.75/17.27	o 24
38.85/19.37	c cleaning 6483 clauses out of 12970 with flag 5000/37025
44.73/22.32	c cleaning 6237 clauses out of 12487 with flag 11000/43025
50.79/25.40	c cleaning 6621 clauses out of 13250 with flag 18000/50025
56.76/28.52	c cleaning 7309 clauses out of 14629 with flag 26000/58025
63.82/32.13	c cleaning 8137 clauses out of 16320 with flag 35000/67025
73.44/37.09	c cleaning 9076 clauses out of 18183 with flag 45000/77025
83.86/42.38	c cleaning 10049 clauses out of 20107 with flag 56000/88025
89.07/45.15	c  And the winner is solver1
89.17/45.36	c Got one! Elapsed wall clock time (in seconds):45.245
89.17/45.36	o 23
93.47/47.56	c cleaning 10615 clauses out of 21240 with flag 5000/99207
98.98/50.49	c cleaning 8304 clauses out of 16625 with flag 11000/105207
105.07/53.68	c cleaning 7658 clauses out of 15321 with flag 18000/112207
112.35/57.46	c cleaning 7819 clauses out of 15663 with flag 26000/120207
120.81/61.91	c cleaning 8421 clauses out of 16844 with flag 35000/129207
129.48/66.48	c cleaning 9182 clauses out of 18423 with flag 45000/139207
139.75/71.76	c cleaning 10111 clauses out of 20242 with flag 56001/150208
150.01/77.06	c cleaning 11058 clauses out of 22130 with flag 68000/162207
162.56/83.66	c cleaning 12031 clauses out of 24072 with flag 81000/175207
175.41/90.26	c cleaning 12994 clauses out of 26041 with flag 95000/189207
188.93/97.21	c cleaning 14013 clauses out of 28047 with flag 110000/204207
204.16/105.03	c cleaning 15018 clauses out of 30035 with flag 126001/220208
220.67/113.77	c cleaning 15999 clauses out of 32016 with flag 143000/237207
237.05/122.67	c cleaning 16949 clauses out of 34017 with flag 161000/255207
254.21/131.50	c cleaning 18015 clauses out of 36068 with flag 180000/274207
274.02/141.86	c cleaning 19023 clauses out of 38053 with flag 200000/294207
294.40/152.31	c cleaning 20002 clauses out of 40030 with flag 221000/315207
315.71/163.36	c cleaning 21007 clauses out of 42028 with flag 243000/337207
336.02/173.85	c cleaning 21985 clauses out of 44021 with flag 266000/360207
361.25/187.08	c cleaning 23011 clauses out of 46039 with flag 290003/384210
385.46/199.46	c cleaning 23997 clauses out of 48025 with flag 315000/409207
412.19/213.16	c cleaning 25006 clauses out of 50028 with flag 341000/435207
417.64/216.37	c  And the winner is solver1
417.86/216.74	c Got one! Elapsed wall clock time (in seconds):216.623
417.86/216.74	o 22
419.02/217.31	c cleaning 15048 clauses out of 30095 with flag 1000/440280
426.13/221.69	c cleaning 10524 clauses out of 21047 with flag 7000/446280
433.95/226.03	c cleaning 8762 clauses out of 17523 with flag 14000/453280
442.23/230.70	c cleaning 8365 clauses out of 16762 with flag 22001/461281
451.93/235.98	c cleaning 8698 clauses out of 17396 with flag 31000/470280
462.99/242.27	c cleaning 9342 clauses out of 18698 with flag 41000/480280
474.60/249.12	c cleaning 10167 clauses out of 20356 with flag 52000/491280
486.66/255.68	c cleaning 11084 clauses out of 22189 with flag 64000/503280
501.50/263.82	c cleaning 12035 clauses out of 24105 with flag 77000/516280
516.03/271.51	c cleaning 13031 clauses out of 26070 with flag 91000/530280
532.49/280.24	c cleaning 13985 clauses out of 28039 with flag 106000/545280
551.44/290.12	c cleaning 15020 clauses out of 30054 with flag 122000/561280
574.68/302.32	c cleaning 16008 clauses out of 32034 with flag 139000/578280
600.74/315.74	c cleaning 17013 clauses out of 34026 with flag 157000/596280
626.61/329.10	c cleaning 17993 clauses out of 36014 with flag 176001/615281
653.69/343.16	c cleaning 19000 clauses out of 38020 with flag 196000/635280
682.85/358.53	c cleaning 19951 clauses out of 40020 with flag 217000/656280
710.85/373.01	c cleaning 21007 clauses out of 42069 with flag 239000/678280
737.13/386.77	c cleaning 22016 clauses out of 44062 with flag 262000/701280
768.68/403.06	c cleaning 22981 clauses out of 46046 with flag 286000/725280
802.00/420.79	c cleaning 24014 clauses out of 48065 with flag 311000/750280
836.22/438.49	c cleaning 24994 clauses out of 50051 with flag 337000/776280
869.21/455.70	c cleaning 26002 clauses out of 52057 with flag 364000/803280
903.28/473.35	c cleaning 27021 clauses out of 54060 with flag 392005/831285
942.88/494.25	c cleaning 27981 clauses out of 56035 with flag 421001/860281
977.01/511.96	c cleaning 29007 clauses out of 58053 with flag 451000/890280
1008.24/528.25	c cleaning 29965 clauses out of 60046 with flag 482000/921280
1038.84/544.28	c cleaning 30978 clauses out of 62081 with flag 514000/953280
1080.59/566.32	c cleaning 32029 clauses out of 64103 with flag 547000/986280
1124.23/588.87	c cleaning 33010 clauses out of 66074 with flag 581000/1020280
1167.48/611.10	c cleaning 33979 clauses out of 68064 with flag 616000/1055280
1215.11/635.52	c cleaning 35001 clauses out of 70085 with flag 652000/1091280
1256.01/657.25	c cleaning 0 clauses out of 6409 with flag 0/6409
1265.93/662.88	c cleaning 36013 clauses out of 72084 with flag 689000/1128280
1310.07/685.62	c cleaning 37021 clauses out of 74071 with flag 727000/1166280
1355.51/709.12	c cleaning 37985 clauses out of 76050 with flag 766000/1205280
1405.73/736.64	c cleaning 39032 clauses out of 78065 with flag 806000/1245280
1447.47/758.39	c cleaning 39977 clauses out of 80033 with flag 847000/1286280
1492.31/781.66	c cleaning 40987 clauses out of 82056 with flag 889000/1328280
1546.46/810.14	c cleaning 42025 clauses out of 84069 with flag 932000/1371280
1596.67/836.02	c cleaning 43015 clauses out of 86044 with flag 976000/1415280
1647.00/862.08	c cleaning 44013 clauses out of 88033 with flag 1021004/1460284
1701.84/890.31	c cleaning 44931 clauses out of 90016 with flag 1067000/1506280
1760.37/921.21	c cleaning 46036 clauses out of 92087 with flag 1114002/1553282
1800.13/942.11	c starts		: 34
1800.13/942.11	c conflicts		: 8252
1800.13/942.11	c decisions		: 115217
1800.13/942.11	c propagations		: 1840465
1800.13/942.11	c inspects		: 487833121
1800.13/942.11	c shortcuts		: 0
1800.13/942.11	c learnt literals	: 0
1800.13/942.11	c learnt binary clauses	: 0
1800.13/942.11	c learnt ternary clauses	: 0
1800.13/942.11	c learnt constraints	: 8251
1800.13/942.11	c ignored constraints	: 0
1800.13/942.11	c root simplifications	: 0
1800.13/942.11	c removed literals (reason simplification)	: 0
1800.13/942.11	c reason swapping (by a shorter reason)	: 0
1800.13/942.11	c Calls to reduceDB	: 1
1800.13/942.11	c number of reductions to clauses (during analyze)	: 0
1800.13/942.11	c number of learned constraints concerned by reduction	: 0
1800.13/942.11	c number of learning phase by resolution	: 0
1800.13/942.11	c number of learning phase by cutting planes	: 0
1800.13/942.11	c speed (assignments/second)	: 1957.0691362041814
1800.13/942.11	c non guided choices	0
1800.13/942.11	c learnt constraints type 
1800.13/942.11	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 113
1800.13/942.11	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 19
1800.13/942.11	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8119
1800.13/942.11	c constraints type 
1800.13/942.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099
1800.13/942.11	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.13/942.11	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193
1800.13/942.11	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1800.13/942.11	c 32299 constraints processed.
1800.13/942.11	c constraints type 
1800.13/942.11	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 24193
1800.13/942.11	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8099
1800.13/942.11	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.13/942.11	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1800.13/942.11	c 32299 constraints processed.
1800.13/942.11	s SATISFIABLE
1800.13/942.13	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 x860 x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 -x3291 -x3292 x3293 -x3294 x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 x3420 -x3421 -x3422 x3423 x3424 x3425 x3426 -x3427 -x3428 -x3429 x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 x3553 -x3554 x3555 -x3556 x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 x5545 -x5546 x5547 x5548 -x5549 -x5550 -x5551 x5552 -x5553 -x5554 x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 x5698 -x5699 -x5700 -x5701 x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 x5783 -x5784 -x5785 -x5786 x5787 x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 x5829 -x5830 x5831 x5832 x5833 -x5834 -x5835 -x5836 x5837 x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 x5862 x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 x6203 x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 x6323 x6324 -x6325 -x6326 -x6327 x6328 -x6329 x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 x6337 x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 x6496 x6497 -x6498 -x6499 -x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 x6531 x6532 -x6533 -x6534 -x6535 x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 x6556 x6557 x6558 x6559 x6560 -x6561 -x6562 -x6563 x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 x7108 x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 x7433 -x7434 -x7435 x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 x7622 -x7623 x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 x7878 -x7879 x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 x7892 -x7893 x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 x7994 -x7995 x7996 -x7997 -x7998 -x7999 -x8000 -x8001 x8002 -x8003 -x8004 -x8005 -x8006 -x8007 x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 x8328 -x8329 x8330 -x8331 -x8332 x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 x8370 -x8371 x8372 -x8373 -x8374 x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 x8496 -x8497 x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 x8630 -x8631 x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 x8660 -x8661 x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 x8710 -x8711 x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 x8740 -x8741 x8742 -x8743 x8744 x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 x8770 -x8771 -x8772 x8773 -x8774 x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 x8810 -x8811 -x8812 x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 x8897 -x8898 x8899 -x8900 x8901 
1800.13/942.14	c objective function=22
1800.13/942.14	c Total wall clock time (in seconds): 942.023

Verifier Data 

OK	22

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-3688470-1337877773/watcher-3688470-1337877773 -o /tmp/evaluation-result-3688470-1337877773/solver-3688470-1337877773 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688470-1337877773.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.78 3.94 3.86 4/197 24657
/proc/meminfo: memFree=27851624/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24657/stat : 24657 (java) D 24655 24657 22184 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253903311 9515008 185 33554432000 1073741824 1073778376 140733307003872 140733306995096 226084154807 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/24657/statm: 2323 185 142 9 0 71 0

[startup+0.0345331 s]
/proc/loadavg: 3.78 3.94 3.86 4/197 24657
/proc/meminfo: memFree=27851624/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 2917 0 1 0 1 0 0 0 20 0 11 0 253903311 9310650368 3617 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2273108 3617 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100205 s]
/proc/loadavg: 3.78 3.94 3.86 4/197 24657
/proc/meminfo: memFree=27851624/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 4317 0 1 0 8 1 0 0 20 0 18 0 253903311 9787813888 5513 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2389603 5513 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.30017 s]
/proc/loadavg: 3.78 3.94 3.86 4/197 24657
/proc/meminfo: memFree=27851624/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9558816 CPUtime=0.49 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 6175 0 1 0 47 2 0 0 20 0 18 0 253903311 9788227584 9182 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2389704 9182 2217 9 0 2380397 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558816

[startup+0.700181 s]
/proc/loadavg: 3.78 3.94 3.86 4/197 24657
/proc/meminfo: memFree=27851624/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9691540 CPUtime=1.71 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 23562 0 1 0 165 6 0 0 20 0 20 0 253903311 9924136960 38011 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2422885 38011 2242 9 0 2413578 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9691540

[startup+1.50063 s]
/proc/loadavg: 3.78 3.94 3.86 5/216 24679
/proc/meminfo: memFree=27704640/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9824668 CPUtime=3 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 25480 0 1 0 290 10 0 0 20 0 19 0 253903311 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2456167 39747 2256 9 0 2446860 0
[pid=24657/tid=24659] ppid=24655 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/24657/task/24659/stat : 24659 (java) S 24655 24657 22184 0 -1 4202560 2488 0 1 0 62 3 0 0 20 0 19 0 253903312 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939191157752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24660] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24660/stat : 24660 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939163610024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24661] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24661/stat : 24661 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939162557480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24662] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24662/stat : 24662 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939032902312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24663] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24663/stat : 24663 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939031849768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24664] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24664/stat : 24664 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939030796712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24665] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24665/stat : 24665 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939029744168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24666] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24666/stat : 24666 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139939028691112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24667] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24667/stat : 24667 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253903313 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938557323560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24668] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24668/stat : 24668 (java) S 24655 24657 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253903314 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938545126248 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24669] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24669/stat : 24669 (java) S 24655 24657 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253903315 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938544072568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24670] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24670/stat : 24670 (java) S 24655 24657 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253903315 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938543019400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24671] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24671/stat : 24671 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903317 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938541968144 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24672] ppid=24655 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/24657/task/24672/stat : 24672 (java) S 24655 24657 22184 0 -1 4202560 11754 0 0 0 95 2 0 0 20 0 19 0 253903317 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938540915000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24673] ppid=24655 vsize=9824668 CPUtime=1 cores=0,2,4,6
/proc/24657/task/24673/stat : 24673 (java) S 24655 24657 22184 0 -1 4202560 9903 0 0 0 98 2 0 0 20 0 19 0 253903317 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938539862456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24674] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24674/stat : 24674 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903317 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938538809592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24675] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24675/stat : 24675 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253903317 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938537757256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24679] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24679/stat : 24679 (java) S 24655 24657 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253903383 10060460032 39747 33554432000 1073741824 1073778376 140734792486688 139938533512616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 9824668

[startup+3.10071 s]
/proc/loadavg: 3.78 3.94 3.86 7/219 24685
/proc/meminfo: memFree=27682656/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9824668 CPUtime=6.96 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 29972 0 1 0 683 13 0 0 20 0 22 0 253903311 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2456167 53241 2274 9 0 2446860 0
[pid=24657/tid=24659] ppid=24655 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/24657/task/24659/stat : 24659 (java) S 24655 24657 22184 0 -1 4202560 2489 0 1 0 63 3 0 0 20 0 22 0 253903312 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939191157752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24660] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24660/stat : 24660 (java) S 24655 24657 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939163610024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24661] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24661/stat : 24661 (java) S 24655 24657 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939162557480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24662] ppid=24655 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24657/task/24662/stat : 24662 (java) S 24655 24657 22184 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939032902312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24663] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24663/stat : 24663 (java) S 24655 24657 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939031849768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24664] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24664/stat : 24664 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939030796712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24665] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24665/stat : 24665 (java) S 24655 24657 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939029744168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24666] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24666/stat : 24666 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139939028691112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24667] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24667/stat : 24667 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938557323560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24668] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24668/stat : 24668 (java) S 24655 24657 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253903314 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938545126248 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24669] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24669/stat : 24669 (java) S 24655 24657 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938544072568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24670] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24670/stat : 24670 (java) S 24655 24657 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938543019400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24671] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24671/stat : 24671 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938541968144 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24672] ppid=24655 vsize=9824668 CPUtime=1.56 cores=0,2,4,6
/proc/24657/task/24672/stat : 24672 (java) S 24655 24657 22184 0 -1 4202560 15718 0 0 0 153 3 0 0 20 0 22 0 253903317 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938540915000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24673] ppid=24655 vsize=9824668 CPUtime=1.54 cores=0,2,4,6
/proc/24657/task/24673/stat : 24673 (java) S 24655 24657 22184 0 -1 4202560 10352 0 0 0 152 2 0 0 20 0 22 0 253903317 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938539862456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24674] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24674/stat : 24674 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938538809592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24675] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24675/stat : 24675 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938537757256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24679] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24679/stat : 24679 (java) S 24655 24657 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253903383 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938533512616 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24683] ppid=24655 vsize=9824668 CPUtime=1.36 cores=0,2,4,6
/proc/24657/task/24683/stat : 24683 (java) R 24655 24657 22184 0 -1 4202560 3 0 0 0 136 0 0 0 20 0 22 0 253903480 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938536669640 139939045128240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24684] ppid=24655 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/24657/task/24684/stat : 24684 (java) R 24655 24657 22184 0 -1 4202560 24 0 0 0 137 0 0 0 20 0 22 0 253903480 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938535617256 139939045311062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24685] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24685/stat : 24685 (java) S 24655 24657 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253903481 10060460032 53241 33554432000 1073741824 1073778376 140734792486688 139938534565544 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 9824668

[startup+6.30066 s]
/proc/loadavg: 3.80 3.94 3.86 5/219 24685
/proc/meminfo: memFree=27606636/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9824668 CPUtime=13.36 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 30084 0 1 0 1317 19 0 0 20 0 22 0 253903311 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2456167 63350 2287 9 0 2446860 0
[pid=24657/tid=24659] ppid=24655 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/24657/task/24659/stat : 24659 (java) S 24655 24657 22184 0 -1 4202560 2489 0 1 0 63 3 0 0 20 0 22 0 253903312 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939191157752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24660] ppid=24655 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24657/task/24660/stat : 24660 (java) S 24655 24657 22184 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939163610024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24661] ppid=24655 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/24657/task/24661/stat : 24661 (java) S 24655 24657 22184 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939162557480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24662] ppid=24655 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/24657/task/24662/stat : 24662 (java) S 24655 24657 22184 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939032902312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24663] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24663/stat : 24663 (java) S 24655 24657 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939031849768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24664] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24664/stat : 24664 (java) S 24655 24657 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939030796712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24665] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24665/stat : 24665 (java) S 24655 24657 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939029744168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24666] ppid=24655 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24657/task/24666/stat : 24666 (java) S 24655 24657 22184 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139939028691112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24667] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24667/stat : 24667 (java) S 24655 24657 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253903313 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938557323560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24668] ppid=24655 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/24657/task/24668/stat : 24668 (java) S 24655 24657 22184 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 22 0 253903314 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938545126248 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24669] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24669/stat : 24669 (java) S 24655 24657 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938544072568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24670] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24670/stat : 24670 (java) S 24655 24657 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938543019400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24671] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24671/stat : 24671 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938541968144 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24672] ppid=24655 vsize=9824668 CPUtime=1.61 cores=0,2,4,6
/proc/24657/task/24672/stat : 24672 (java) S 24655 24657 22184 0 -1 4202560 15722 0 0 0 158 3 0 0 20 0 22 0 253903317 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938540915000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24673] ppid=24655 vsize=9824668 CPUtime=1.68 cores=0,2,4,6
/proc/24657/task/24673/stat : 24673 (java) S 24655 24657 22184 0 -1 4202560 10373 0 0 0 166 2 0 0 20 0 22 0 253903317 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938539862456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24674] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24674/stat : 24674 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938538809592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24675] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24675/stat : 24675 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 63350 33554432000 1073741824 1073778376 140734792486688 139938537757256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=24657/tid=24699] ppid=24655 vsize=9824668 CPUtime=524.09 cores=0,2,4,6
/proc/24657/task/24699/stat : 24699 (java) R 24655 24657 22184 0 -1 4202560 80 0 0 0 52402 7 0 0 20 0 22 0 253924986 10060460032 573716 33554432000 1073741824 1073778376 140734792486688 139938536668912 139939045133617 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24700] ppid=24655 vsize=9824668 CPUtime=524.03 cores=0,2,4,6
/proc/24657/task/24700/stat : 24700 (java) R 24655 24657 22184 0 -1 4202560 94 0 0 0 52396 7 0 0 20 0 22 0 253924986 10060460032 573716 33554432000 1073741824 1073778376 140734792486688 139938535615208 139939045549690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24701] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24701/stat : 24701 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253924986 10060460032 573716 33554432000 1073741824 1073778376 140734792486688 139938533512360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1568.9
Current children cumulated vsize (KiB) 9824668

[startup+882.327 s]
/proc/loadavg: 3.77 3.83 3.81 5/219 24783
/proc/meminfo: memFree=25628356/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9824668 CPUtime=1685.68 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 42539 0 1 0 168391 177 0 0 20 0 22 0 253903311 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2456167 604094 2288 9 0 2446860 0
[pid=24657/tid=24659] ppid=24655 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24657/task/24659/stat : 24659 (java) S 24655 24657 22184 0 -1 4202560 2544 0 1 0 66 4 0 0 20 0 22 0 253903312 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939191157752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24660] ppid=24655 vsize=9824668 CPUtime=5.26 cores=0,2,4,6
/proc/24657/task/24660/stat : 24660 (java) R 24655 24657 22184 0 -1 4202560 837 0 0 0 513 13 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939163610200 139939197665715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24661] ppid=24655 vsize=9824668 CPUtime=5 cores=0,2,4,6
/proc/24657/task/24661/stat : 24661 (java) R 24655 24657 22184 0 -1 4202560 1035 0 0 0 485 15 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939162557480 139939197665711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24662] ppid=24655 vsize=9824668 CPUtime=4.93 cores=0,2,4,6
/proc/24657/task/24662/stat : 24662 (java) R 24655 24657 22184 0 -1 4202560 861 0 0 0 478 15 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939032902440 226084293767 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24663] ppid=24655 vsize=9824668 CPUtime=5 cores=0,2,4,6
/proc/24657/task/24663/stat : 24663 (java) R 24655 24657 22184 0 -1 4202560 642 0 0 0 490 10 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939031849768 139939197665664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24664] ppid=24655 vsize=9824668 CPUtime=4.76 cores=0,2,4,6
/proc/24657/task/24664/stat : 24664 (java) R 24655 24657 22184 0 -1 4202560 831 0 0 0 465 11 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939030796888 139939194913992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24665] ppid=24655 vsize=9824668 CPUtime=4.71 cores=0,2,4,6
/proc/24657/task/24665/stat : 24665 (java) R 24655 24657 22184 0 -1 4202560 582 0 0 0 460 11 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939029744344 139939195332783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24666] ppid=24655 vsize=9824668 CPUtime=4.71 cores=0,2,4,6
/proc/24657/task/24666/stat : 24666 (java) R 24655 24657 22184 0 -1 4202560 903 0 0 0 463 8 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139939028691288 139939193628299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24667] ppid=24655 vsize=9824668 CPUtime=4.86 cores=0,2,4,6
/proc/24657/task/24667/stat : 24667 (java) R 24655 24657 22184 0 -1 4202560 854 0 0 0 472 14 0 0 20 0 22 0 253903313 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938557323736 139939195332783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24668] ppid=24655 vsize=9824668 CPUtime=97.63 cores=0,2,4,6
/proc/24657/task/24668/stat : 24668 (java) S 24655 24657 22184 0 -1 4202560 4093 0 0 0 9729 34 0 0 20 0 22 0 253903314 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938545125128 226087711804 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24669] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24669/stat : 24669 (java) S 24655 24657 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938544072568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24670] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24670/stat : 24670 (java) S 24655 24657 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938543019400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24671] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24671/stat : 24671 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938541968144 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24672] ppid=24655 vsize=9824668 CPUtime=2.69 cores=0,2,4,6
/proc/24657/task/24672/stat : 24672 (java) S 24655 24657 22184 0 -1 4202560 16412 0 0 0 266 3 0 0 20 0 22 0 253903317 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938540915000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24673] ppid=24655 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/24657/task/24673/stat : 24673 (java) S 24655 24657 22184 0 -1 4202560 10399 0 0 0 184 2 0 0 20 0 22 0 253903317 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938539862456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24674] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24674/stat : 24674 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938538809592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24675] ppid=24655 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/24657/task/24675/stat : 24675 (java) S 24655 24657 22184 0 -1 4202560 50 0 0 0 11 18 0 0 20 0 22 0 253903317 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938537757256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24685] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24685/stat : 24685 (java) S 24655 24657 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253903481 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938534565544 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24699] ppid=24655 vsize=9824668 CPUtime=578.63 cores=0,2,4,6
/proc/24657/task/24699/stat : 24699 (java) S 24655 24657 22184 0 -1 4202560 88 0 0 0 57853 10 0 0 20 0 22 0 253924986 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938536669032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24700] ppid=24655 vsize=9824668 CPUtime=578.59 cores=0,2,4,6
/proc/24657/task/24700/stat : 24700 (java) S 24655 24657 22184 0 -1 4202560 98 0 0 0 57849 10 0 0 20 0 22 0 253924986 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938535615112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24701] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24701/stat : 24701 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253924986 10060460032 604094 33554432000 1073741824 1073778376 140734792486688 139938533512360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1685.68
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+942.101 s]
/proc/loadavg: 3.82 3.81 3.81 5/219 24786
/proc/meminfo: memFree=24433192/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9824668 CPUtime=1800.13 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 42751 0 1 0 179833 180 0 0 20 0 22 0 253903311 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2456167 619041 2288 9 0 2446860 0
[pid=24657/tid=24659] ppid=24655 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24657/task/24659/stat : 24659 (java) S 24655 24657 22184 0 -1 4202560 2546 0 1 0 66 4 0 0 20 0 22 0 253903312 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939191157752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24660] ppid=24655 vsize=9824668 CPUtime=5.6 cores=0,2,4,6
/proc/24657/task/24660/stat : 24660 (java) S 24655 24657 22184 0 -1 4202560 851 0 0 0 547 13 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939163610024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24661] ppid=24655 vsize=9824668 CPUtime=5.34 cores=0,2,4,6
/proc/24657/task/24661/stat : 24661 (java) S 24655 24657 22184 0 -1 4202560 1038 0 0 0 519 15 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939162557480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24662] ppid=24655 vsize=9824668 CPUtime=5.36 cores=0,2,4,6
/proc/24657/task/24662/stat : 24662 (java) S 24655 24657 22184 0 -1 4202560 899 0 0 0 521 15 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939032902312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24663] ppid=24655 vsize=9824668 CPUtime=5.25 cores=0,2,4,6
/proc/24657/task/24663/stat : 24663 (java) S 24655 24657 22184 0 -1 4202560 678 0 0 0 515 10 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939031849768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24664] ppid=24655 vsize=9824668 CPUtime=5.22 cores=0,2,4,6
/proc/24657/task/24664/stat : 24664 (java) S 24655 24657 22184 0 -1 4202560 835 0 0 0 511 11 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939030796712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24665] ppid=24655 vsize=9824668 CPUtime=5 cores=0,2,4,6
/proc/24657/task/24665/stat : 24665 (java) S 24655 24657 22184 0 -1 4202560 594 0 0 0 488 12 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939029744168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24666] ppid=24655 vsize=9824668 CPUtime=5.17 cores=0,2,4,6
/proc/24657/task/24666/stat : 24666 (java) S 24655 24657 22184 0 -1 4202560 905 0 0 0 509 8 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939028691112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24667] ppid=24655 vsize=9824668 CPUtime=5.16 cores=0,2,4,6
/proc/24657/task/24667/stat : 24667 (java) S 24655 24657 22184 0 -1 4202560 856 0 0 0 502 14 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938557323560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24668] ppid=24655 vsize=9824668 CPUtime=104.1 cores=0,2,4,6
/proc/24657/task/24668/stat : 24668 (java) S 24655 24657 22184 0 -1 4202560 4178 0 0 0 10374 36 0 0 20 0 22 0 253903314 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938545126248 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24669] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24669/stat : 24669 (java) S 24655 24657 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938544072568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24670] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24670/stat : 24670 (java) S 24655 24657 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938543019400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24671] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24671/stat : 24671 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938541968144 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24672] ppid=24655 vsize=9824668 CPUtime=2.69 cores=0,2,4,6
/proc/24657/task/24672/stat : 24672 (java) S 24655 24657 22184 0 -1 4202560 16412 0 0 0 266 3 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938540915000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24673] ppid=24655 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/24657/task/24673/stat : 24673 (java) S 24655 24657 22184 0 -1 4202560 10399 0 0 0 184 2 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938539862456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24674] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24674/stat : 24674 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938538809592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24675] ppid=24655 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/24657/task/24675/stat : 24675 (java) S 24655 24657 22184 0 -1 4202560 54 0 0 0 13 18 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938537757256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24685] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24685/stat : 24685 (java) S 24655 24657 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253903481 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938534565544 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24699] ppid=24655 vsize=9824668 CPUtime=631.2 cores=0,2,4,6
/proc/24657/task/24699/stat : 24699 (java) R 24655 24657 22184 0 -1 4202560 96 0 0 0 63109 11 0 0 20 0 22 0 253924986 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938536668912 139939045103151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24700] ppid=24655 vsize=9824668 CPUtime=631.16 cores=0,2,4,6
/proc/24657/task/24700/stat : 24700 (java) R 24655 24657 22184 0 -1 4202560 100 0 0 0 63105 11 0 0 20 0 22 0 253924986 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938535614624 139939045678495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24701] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24701/stat : 24701 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253924986 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938533512360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668

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

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

[startup+942.101 s]
/proc/loadavg: 3.82 3.81 3.81 5/219 24786
/proc/meminfo: memFree=24433192/32873648 swapFree=6864/6864
[pid=24657] ppid=24655 vsize=9824668 CPUtime=1800.13 cores=0,2,4,6
/proc/24657/stat : 24657 (java) S 24655 24657 22184 0 -1 4202496 42751 0 1 0 179833 180 0 0 20 0 22 0 253903311 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 140734792477824 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24657/statm: 2456167 619041 2288 9 0 2446860 0
[pid=24657/tid=24659] ppid=24655 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/24657/task/24659/stat : 24659 (java) S 24655 24657 22184 0 -1 4202560 2546 0 1 0 66 4 0 0 20 0 22 0 253903312 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939191157752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24660] ppid=24655 vsize=9824668 CPUtime=5.6 cores=0,2,4,6
/proc/24657/task/24660/stat : 24660 (java) S 24655 24657 22184 0 -1 4202560 851 0 0 0 547 13 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939163610024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24661] ppid=24655 vsize=9824668 CPUtime=5.34 cores=0,2,4,6
/proc/24657/task/24661/stat : 24661 (java) S 24655 24657 22184 0 -1 4202560 1038 0 0 0 519 15 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939162557480 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24662] ppid=24655 vsize=9824668 CPUtime=5.36 cores=0,2,4,6
/proc/24657/task/24662/stat : 24662 (java) S 24655 24657 22184 0 -1 4202560 899 0 0 0 521 15 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939032902312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24663] ppid=24655 vsize=9824668 CPUtime=5.25 cores=0,2,4,6
/proc/24657/task/24663/stat : 24663 (java) S 24655 24657 22184 0 -1 4202560 678 0 0 0 515 10 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939031849768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24664] ppid=24655 vsize=9824668 CPUtime=5.22 cores=0,2,4,6
/proc/24657/task/24664/stat : 24664 (java) S 24655 24657 22184 0 -1 4202560 835 0 0 0 511 11 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939030796712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24665] ppid=24655 vsize=9824668 CPUtime=5 cores=0,2,4,6
/proc/24657/task/24665/stat : 24665 (java) S 24655 24657 22184 0 -1 4202560 594 0 0 0 488 12 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939029744168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24666] ppid=24655 vsize=9824668 CPUtime=5.17 cores=0,2,4,6
/proc/24657/task/24666/stat : 24666 (java) S 24655 24657 22184 0 -1 4202560 905 0 0 0 509 8 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139939028691112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24667] ppid=24655 vsize=9824668 CPUtime=5.16 cores=0,2,4,6
/proc/24657/task/24667/stat : 24667 (java) S 24655 24657 22184 0 -1 4202560 856 0 0 0 502 14 0 0 20 0 22 0 253903313 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938557323560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24668] ppid=24655 vsize=9824668 CPUtime=104.1 cores=0,2,4,6
/proc/24657/task/24668/stat : 24668 (java) S 24655 24657 22184 0 -1 4202560 4178 0 0 0 10374 36 0 0 20 0 22 0 253903314 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938545126248 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24669] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24669/stat : 24669 (java) S 24655 24657 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938544072568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24670] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24670/stat : 24670 (java) S 24655 24657 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253903315 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938543019400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24671] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24671/stat : 24671 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938541968144 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24672] ppid=24655 vsize=9824668 CPUtime=2.69 cores=0,2,4,6
/proc/24657/task/24672/stat : 24672 (java) S 24655 24657 22184 0 -1 4202560 16412 0 0 0 266 3 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938540915000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24673] ppid=24655 vsize=9824668 CPUtime=1.86 cores=0,2,4,6
/proc/24657/task/24673/stat : 24673 (java) S 24655 24657 22184 0 -1 4202560 10399 0 0 0 184 2 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938539862456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24674] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24674/stat : 24674 (java) S 24655 24657 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938538809592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24657/tid=24675] ppid=24655 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/24657/task/24675/stat : 24675 (java) S 24655 24657 22184 0 -1 4202560 54 0 0 0 13 18 0 0 20 0 22 0 253903317 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938537757256 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24657/tid=24685] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24685/stat : 24685 (java) S 24655 24657 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253903481 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938534565544 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24699] ppid=24655 vsize=9824668 CPUtime=631.2 cores=0,2,4,6
/proc/24657/task/24699/stat : 24699 (java) R 24655 24657 22184 0 -1 4202560 96 0 0 0 63109 11 0 0 20 0 22 0 253924986 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938536668912 139939045103151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24657/tid=24700] ppid=24655 vsize=9824668 CPUtime=631.16 cores=0,2,4,6
/proc/24657/task/24700/stat : 24700 (java) R 24655 24657 22184 0 -1 4202560 100 0 0 0 63105 11 0 0 20 0 22 0 253924986 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938535614624 139939045678495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24657/tid=24701] ppid=24655 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24657/task/24701/stat : 24701 (java) S 24655 24657 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253924986 10060460032 619041 33554432000 1073741824 1073778376 140734792486688 139938533512360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 942.155
CPU time (s): 1800.73
CPU user time (s): 1798.52
CPU system time (s): 2.21166
CPU usage (%): 191.129
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 2.21166
maximum resident set size= 2476284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42783
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31427
involuntary context switches= 70199

runsolver used 3.88141 second user time and 8.18375 second system time

The end

Launcher Data 

Begin job on node120 at 2012-05-24 18:42:53
IDJOB=3688470
IDBENCH=25018
IDSOLVER=2268
FILE ID=node120/3688470-1337877773
RUNJOBID= node120-1337871880-22200
PBS_JOBID= 14620084
Free space on /tmp= 71632 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688470-1337877773/watcher-3688470-1337877773 -o /tmp/evaluation-result-3688470-1337877773/solver-3688470-1337877773 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688470-1337877773.opb

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1445735046

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27851252 kB
Buffers:          182108 kB
Cached:          3229788 kB
SwapCached:          492 kB
Active:          1371600 kB
Inactive:        2877444 kB
Active(anon):     826728 kB
Inactive(anon):    12956 kB
Active(file):     544872 kB
Inactive(file):  2864488 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:              1268 kB
Writeback:             0 kB
AnonPages:        853620 kB
Mapped:            21612 kB
Shmem:               120 kB
Slab:             625680 kB
SReclaimable:      69944 kB
SUnreclaim:       555736 kB
KernelStack:        1632 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1085540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    788480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node120 at 2012-05-24 18:58:37