Trace number 3744270

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0OPT 459.874 235.276

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.1.v20110525
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		9996466904
0.03/0.09	c Max memory 		10048897024
0.03/0.09	c Total memory 		10048897024
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
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@5495fd19
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 --- 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@ae94e92
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.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3744270-1338799771.opb
0.09/0.12	c reading problem ... 
0.78/0.48	c ... done. Wall clock time 0.369s.
0.78/0.48	c #vars     6810
0.78/0.48	c #constraints  15671
0.78/0.48	c constraints type 
0.78/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
0.78/0.48	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.78/0.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.78/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
0.78/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.78/0.48	c constraints type 
0.78/0.48	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465
0.78/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061
0.78/0.48	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.78/0.48	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
0.78/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075
1.41/0.64	c  And the winner is Resolution
1.68/1.00	c SATISFIABLE
1.68/1.00	c OPTIMIZING...
1.68/1.00	c Got one! Elapsed wall clock time (in seconds):0.887
1.68/1.00	o 7123999
1.70/1.03	c  And the winner is Resolution
2.18/1.53	c Got one! Elapsed wall clock time (in seconds):1.418
2.18/1.53	o 7083366
2.18/1.56	c  And the winner is Resolution
2.36/2.05	c Got one! Elapsed wall clock time (in seconds):1.94
2.36/2.05	o 7050420
3.91/2.60	c  And the winner is Resolution
4.27/3.07	c Got one! Elapsed wall clock time (in seconds):2.958
4.27/3.07	o 7044324
6.74/4.35	c cleaning 2670 clauses out of 5343 with flag 4003/5359
10.68/6.26	c cleaning 4331 clauses out of 8670 with flag 10000/11356
14.85/8.33	c cleaning 5665 clauses out of 11340 with flag 17001/18357
19.93/10.89	c cleaning 6835 clauses out of 13678 with flag 25004/26360
25.79/13.74	c cleaning 7907 clauses out of 15840 with flag 34001/35357
31.95/16.86	c cleaning 8960 clauses out of 17932 with flag 44000/45356
38.32/20.07	c cleaning 9983 clauses out of 19974 with flag 55002/56358
39.89/20.87	c  And the winner is Resolution
40.57/21.43	c Got one! Elapsed wall clock time (in seconds):21.315
40.57/21.43	o 7041565
40.57/21.48	c  And the winner is Resolution
41.31/22.10	c Got one! Elapsed wall clock time (in seconds):21.983
41.31/22.10	o 7010560
42.51/22.73	c cleaning 7747 clauses out of 15514 with flag 3000/61881
46.24/24.64	c cleaning 6874 clauses out of 13767 with flag 9000/67881
52.01/27.58	c cleaning 6940 clauses out of 13895 with flag 16002/74883
57.55/30.30	c cleaning 7465 clauses out of 14952 with flag 24000/82881
62.52/32.89	c cleaning 8234 clauses out of 16487 with flag 33000/91881
67.84/35.52	c  And the winner is CuttingPlanes
67.90/35.66	c Got one! Elapsed wall clock time (in seconds):35.541
67.90/35.66	o 7001941
70.81/37.16	c cleaning 10940 clauses out of 21898 with flag 5001/105526
74.55/39.00	c cleaning 8469 clauses out of 16957 with flag 11000/111525
78.70/41.12	c cleaning 7735 clauses out of 15490 with flag 18002/118527
83.44/43.56	c cleaning 7872 clauses out of 15753 with flag 26000/126525
88.77/46.23	c cleaning 8438 clauses out of 16881 with flag 35000/135525
94.69/49.29	c cleaning 9221 clauses out of 18447 with flag 45004/145529
101.83/52.89	c cleaning 10108 clauses out of 20222 with flag 56000/156525
108.56/56.20	c cleaning 11043 clauses out of 22114 with flag 68001/168526
109.85/57.00	c  And the winner is Resolution
110.28/57.34	c Got one! Elapsed wall clock time (in seconds):57.224
110.28/57.34	o 6962197
111.48/57.92	c cleaning 8213 clauses out of 16448 with flag 3000/173903
113.99/59.23	c cleaning 7103 clauses out of 14234 with flag 9000/179903
117.92/61.24	c cleaning 7051 clauses out of 14132 with flag 16001/186904
122.45/63.57	c cleaning 7530 clauses out of 15081 with flag 24001/194904
127.74/66.26	c cleaning 8263 clauses out of 16550 with flag 33000/203903
133.77/69.25	c cleaning 9134 clauses out of 18287 with flag 43000/213903
139.88/72.38	c cleaning 10072 clauses out of 20153 with flag 54000/224903
146.80/75.81	c cleaning 11029 clauses out of 22082 with flag 66001/236904
154.69/79.88	c cleaning 12024 clauses out of 24054 with flag 79002/249905
162.79/83.96	c cleaning 13006 clauses out of 26029 with flag 93001/263904
171.70/88.40	c cleaning 14009 clauses out of 28023 with flag 108001/278904
181.80/93.58	c cleaning 14999 clauses out of 30015 with flag 124002/294905
191.84/98.69	c cleaning 15490 clauses out of 31014 with flag 140000/310903
201.75/103.68	c cleaning 15750 clauses out of 31525 with flag 156001/326904
211.24/108.46	c cleaning 15882 clauses out of 31776 with flag 172002/342905
220.77/113.21	c cleaning 15938 clauses out of 31894 with flag 188002/358905
230.41/118.16	c cleaning 15975 clauses out of 31956 with flag 204002/374905
240.32/123.13	c cleaning 15983 clauses out of 31978 with flag 220000/390903
250.39/128.25	c cleaning 15980 clauses out of 31996 with flag 236001/406904
259.70/132.97	c cleaning 16002 clauses out of 32015 with flag 252000/422903
262.32/134.31	c  And the winner is Resolution
262.85/134.83	c Got one! Elapsed wall clock time (in seconds):134.714
262.85/134.83	o 6925310
263.27/135.04	c cleaning 10684 clauses out of 21385 with flag 1001/428275
265.97/136.50	c cleaning 8334 clauses out of 16702 with flag 7002/434276
269.25/138.12	c cleaning 7666 clauses out of 15366 with flag 14000/441274
272.93/140.05	c cleaning 7840 clauses out of 15702 with flag 22002/449276
278.15/142.74	c cleaning 8422 clauses out of 16859 with flag 31000/458274
284.23/145.82	c cleaning 9207 clauses out of 18437 with flag 41000/468274
291.11/149.38	c cleaning 10112 clauses out of 20230 with flag 52000/479274
299.19/153.42	c cleaning 11052 clauses out of 22118 with flag 64000/491274
308.22/158.02	c cleaning 12022 clauses out of 24067 with flag 77001/504275
317.31/162.64	c cleaning 13014 clauses out of 26045 with flag 91001/518275
327.41/167.71	c cleaning 14005 clauses out of 28033 with flag 106003/533277
337.48/172.83	c cleaning 15010 clauses out of 30025 with flag 122000/549274
347.50/177.97	c cleaning 15500 clauses out of 31015 with flag 138000/565274
357.37/182.96	c cleaning 15740 clauses out of 31515 with flag 154000/581274
367.43/188.05	c cleaning 15875 clauses out of 31774 with flag 170000/597274
377.68/193.24	c cleaning 15940 clauses out of 31904 with flag 186005/613279
387.88/198.41	c cleaning 15975 clauses out of 31960 with flag 202001/629275
398.14/203.65	c cleaning 15960 clauses out of 31984 with flag 218000/645274
409.01/209.13	c cleaning 16005 clauses out of 32025 with flag 234001/661275
419.27/214.31	c cleaning 16004 clauses out of 32020 with flag 250001/677275
429.87/219.78	c cleaning 15990 clauses out of 32016 with flag 266001/693275
440.95/225.31	c cleaning 16007 clauses out of 32025 with flag 282000/709274
451.80/230.80	c cleaning 16006 clauses out of 32021 with flag 298004/725278
459.43/234.72	c  And the winner is Resolution
459.68/235.23	c starts		: 251
459.68/235.23	c conflicts		: 736932
459.68/235.23	c decisions		: 1652656
459.68/235.23	c propagations		: 159276262
459.68/235.23	c inspects		: 673128109
459.68/235.23	c shortcuts		: 0
459.68/235.23	c learnt literals	: 35
459.68/235.23	c learnt binary clauses	: 539
459.68/235.23	c learnt ternary clauses	: 3529
459.68/235.23	c learnt constraints	: 736896
459.68/235.23	c ignored constraints	: 0
459.68/235.23	c root simplifications	: 0
459.68/235.23	c removed literals (reason simplification)	: 5021428
459.68/235.23	c reason swapping (by a shorter reason)	: 0
459.68/235.23	c Calls to reduceDB	: 63
459.68/235.23	c number of reductions to clauses (during analyze)	: 0
459.68/235.23	c number of learned constraints concerned by reduction	: 0
459.68/235.23	c number of learning phase by resolution	: 0
459.68/235.23	c number of learning phase by cutting planes	: 0
459.68/235.23	c speed (assignments/second)	: 1586527.5666630142
459.68/235.23	c non guided choices	1568
459.68/235.23	c learnt constraints type 
459.68/235.23	c constraints type 
459.68/235.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
459.68/235.23	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
459.68/235.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
459.68/235.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
459.68/235.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
459.68/235.23	c constraints type 
459.68/235.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465
459.68/235.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061
459.68/235.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
459.68/235.23	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
459.68/235.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075
459.68/235.23	s OPTIMUM FOUND
459.68/235.24	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 
459.68/235.25	c objective function=6925310
459.68/235.25	c Total wall clock time (in seconds): 235.133

Verifier Data 

OK	6925310

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-3744270-1338799771/watcher-3744270-1338799771 -o /tmp/evaluation-result-3744270-1338799771/solver-3744270-1338799771 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744270-1338799771.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.99 3.96 3.80 3/197 25481
/proc/meminfo: memFree=27728068/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=336 CPUtime=0 cores=0,2,4,6
/proc/25481/stat : 25481 (java) R 25479 25481 22704 0 -1 4202496 293 0 0 0 0 0 0 0 20 0 1 0 346103121 344064 42 33554432000 1073741824 1073778376 140737468469248 140736745314888 217401355559 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25481/statm: 625 47 37 9 0 29 0

[startup+0.0573421 s]
/proc/loadavg: 3.99 3.96 3.80 3/197 25481
/proc/meminfo: memFree=27728068/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11253516 CPUtime=0.03 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 3790 0 1 0 2 1 0 0 20 0 13 0 346103121 11523600384 12153 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2813379 12153 1706 9 0 2804080 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11253516

[startup+0.10019 s]
/proc/loadavg: 3.99 3.96 3.80 3/197 25481
/proc/meminfo: memFree=27728068/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 4752 0 1 0 8 1 0 0 20 0 18 0 346103121 11864465408 13605 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2896598 13605 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300163 s]
/proc/loadavg: 3.99 3.96 3.80 3/197 25481
/proc/meminfo: memFree=27728068/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11586392 CPUtime=0.53 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 6417 0 1 0 51 2 0 0 20 0 18 0 346103121 11864465408 17455 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2896598 17455 2235 9 0 2887285 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 11586392

[startup+0.700178 s]
/proc/loadavg: 3.99 3.96 3.80 3/197 25481
/proc/meminfo: memFree=27728068/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11852648 CPUtime=1.68 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 11272 0 1 0 162 6 0 0 20 0 19 0 346103121 12137111552 30519 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2963162 30519 2261 9 0 2953849 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 11852648

[startup+1.50055 s]
/proc/loadavg: 3.83 3.93 3.79 4/216 25503
/proc/meminfo: memFree=27613200/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11852648 CPUtime=2.18 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 17756 0 1 0 209 9 0 0 20 0 19 0 346103121 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2963162 36850 2261 9 0 2953849 0
[pid=25481/tid=25483] ppid=25479 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/25481/task/25483/stat : 25483 (java) S 25479 25481 22704 0 -1 4202560 2895 0 1 0 46 3 0 0 20 0 19 0 346103122 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352068248728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25484] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25484/stat : 25484 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352023002024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25485] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25485/stat : 25485 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352021949480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25486] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25486/stat : 25486 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352020896424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25487] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25487/stat : 25487 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352019843880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25488] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25488/stat : 25488 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352018790824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25489] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25489/stat : 25489 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352017738280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25490] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25490/stat : 25490 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140352016685224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25491] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25491/stat : 25491 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346103124 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351897594152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25492] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25492/stat : 25492 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346103125 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351885396840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25493] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25493/stat : 25493 (java) S 25479 25481 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346103125 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351884343160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25494] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25494/stat : 25494 (java) S 25479 25481 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346103125 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351883289992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25495] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25495/stat : 25495 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103128 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351882238736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25496] ppid=25479 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/25481/task/25496/stat : 25496 (java) S 25479 25481 22704 0 -1 4202560 7158 0 0 0 66 0 0 0 20 0 19 0 346103128 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351142619448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25497] ppid=25479 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/25481/task/25497/stat : 25497 (java) S 25479 25481 22704 0 -1 4202560 6401 0 0 0 64 1 0 0 20 0 19 0 346103128 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351141566904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25498] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25498/stat : 25498 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103128 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351140514040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25499] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25499/stat : 25499 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103128 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351139461704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25503] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25503/stat : 25503 (java) S 25479 25481 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346103172 12137111552 36850 33554432000 1073741824 1073778376 140737468469248 140351135249832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 11852648

[startup+3.10063 s]
/proc/loadavg: 3.83 3.93 3.79 7/219 25512
/proc/meminfo: memFree=27569764/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11852648 CPUtime=4.34 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 18328 0 1 0 414 20 0 0 20 0 22 0 346103121 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2963162 161879 2266 9 0 2953849 0
[pid=25481/tid=25483] ppid=25479 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/25481/task/25483/stat : 25483 (java) S 25479 25481 22704 0 -1 4202560 2898 0 1 0 52 3 0 0 20 0 22 0 346103122 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352068248744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25484] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25484/stat : 25484 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352023002024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25485] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25485/stat : 25485 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352021949480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25486] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25486/stat : 25486 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352020896424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25487] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25487/stat : 25487 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352019843880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25488] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25488/stat : 25488 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352018790824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25489] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25489/stat : 25489 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352017738280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25490] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25490/stat : 25490 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140352016685224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25491] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25491/stat : 25491 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351897594152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25492] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25492/stat : 25492 (java) S 25479 25481 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351885396840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25493] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25493/stat : 25493 (java) S 25479 25481 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351884343160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25494] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25494/stat : 25494 (java) S 25479 25481 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351883289992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25495] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25495/stat : 25495 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351882238736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25496] ppid=25479 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/25481/task/25496/stat : 25496 (java) S 25479 25481 22704 0 -1 4202560 7217 0 0 0 94 0 0 0 20 0 22 0 346103128 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351142619448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25497] ppid=25479 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/25481/task/25497/stat : 25497 (java) R 25479 25481 22704 0 -1 4202560 6644 0 0 0 95 1 0 0 20 0 22 0 346103128 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351141566904 140352072092101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25498] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25498/stat : 25498 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351140514040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25499] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25499/stat : 25499 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351139461704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25503] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25503/stat : 25503 (java) S 25479 25481 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346103172 12137111552 161879 33554432000 1073741824 1073778376 140737468469248 140351135249832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 11852648

[startup+6.30073 s]
/proc/loadavg: 3.83 3.93 3.79 5/219 25515
/proc/meminfo: memFree=25842636/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11852648 CPUtime=10.85 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 19057 0 1 0 1042 43 0 0 20 0 22 0 346103121 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2963162 493914 2290 9 0 2953849 0
[pid=25481/tid=25483] ppid=25479 vsize=11852648 CPUtime=0.55 cores=0,2,4,6
/proc/25481/task/25483/stat : 25483 (java) S 25479 25481 22704 0 -1 4202560 2898 0 1 0 52 3 0 0 20 0 22 0 346103122 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352068248744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25484] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25484/stat : 25484 (java) S 25479 25481 22704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352023002024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25485] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25485/stat : 25485 (java) S 25479 25481 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352021949480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25486] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25486/stat : 25486 (java) S 25479 25481 22704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352020896424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25487] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25487/stat : 25487 (java) S 25479 25481 22704 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352019843880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25488] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25488/stat : 25488 (java) S 25479 25481 22704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352018790824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25489] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25489/stat : 25489 (java) S 25479 25481 22704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352017738280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25490] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25490/stat : 25490 (java) S 25479 25481 22704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140352016685224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25491] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25491/stat : 25491 (java) S 25479 25481 22704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346103124 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351897594152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25492] ppid=25479 vsize=11852648 CPUtime=0.07 cores=0,2,4,6
/proc/25481/task/25492/stat : 25492 (java) R 25479 25481 22704 0 -1 4202560 36 0 0 0 6 1 0 0 20 0 22 0 346103125 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351885395696 140352076015131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25493] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25493/stat : 25493 (java) S 25479 25481 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351884343160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25494] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25494/stat : 25494 (java) S 25479 25481 22704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351883289992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25495] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25495/stat : 25495 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351882238736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25496] ppid=25479 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/25481/task/25496/stat : 25496 (java) S 25479 25481 22704 0 -1 4202560 7221 0 0 0 99 0 0 0 20 0 22 0 346103128 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351142619448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25497] ppid=25479 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/25481/task/25497/stat : 25497 (java) S 25479 25481 22704 0 -1 4202560 6647 0 0 0 109 1 0 0 20 0 22 0 346103128 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351141566904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25498] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25498/stat : 25498 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351140514040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25499] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25499/stat : 25499 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351139461704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25503] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25503/stat : 25503 (java) S 25479 25481 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346103172 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351135249832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25513] ppid=25479 vsize=11852648 CPUtime=3.08 cores=0,2,4,6
/proc/25481/task/25513/stat : 25513 (java) S 25479 25481 22704 0 -1 4202560 7 0 0 0 308 0 0 0 20 0 22 0 346103429 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351136301624 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25514] ppid=25479 vsize=11852648 CPUtime=3.08 cores=0,2,4,6
/proc/25481/task/25514/stat : 25514 (java) S 25479 25481 22704 0 -1 4202560 640 0 0 0 288 20 0 0 20 0 22 0 346103429 12137111552 493914 33554432000 1073741824 1073778376 140737468469248 140351137351608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

/proc/25481/task/25490/stat : 25490 (java) S 25479 25481 22704 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352016685224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25491] ppid=25479 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/25481/task/25491/stat : 25491 (java) S 25479 25481 22704 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351897594152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25492] ppid=25479 vsize=11852648 CPUtime=7.15 cores=0,2,4,6
/proc/25481/task/25492/stat : 25492 (java) S 25479 25481 22704 0 -1 4202560 101 0 0 0 708 7 0 0 20 0 22 0 346103125 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351885396840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25493] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25493/stat : 25493 (java) S 25479 25481 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351884343160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25494] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25494/stat : 25494 (java) S 25479 25481 22704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351883289992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25495] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25495/stat : 25495 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351882238736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25496] ppid=25479 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/25481/task/25496/stat : 25496 (java) S 25479 25481 22704 0 -1 4202560 7234 0 0 0 142 0 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351142619448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25497] ppid=25479 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/25481/task/25497/stat : 25497 (java) S 25479 25481 22704 0 -1 4202560 6652 0 0 0 136 1 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351141566904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25498] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25498/stat : 25498 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351140514040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25499] ppid=25479 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/25481/task/25499/stat : 25499 (java) S 25479 25481 22704 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351139461704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25589] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25589/stat : 25589 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346106687 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351135249960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25596] ppid=25479 vsize=11852648 CPUtime=95.4 cores=0,2,4,6
/proc/25481/task/25596/stat : 25596 (java) R 25479 25481 22704 0 -1 4202560 16 0 0 0 9539 1 0 0 20 0 22 0 346116605 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351138406752 140351898526375 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25597] ppid=25479 vsize=11852648 CPUtime=95.44 cores=0,2,4,6
/proc/25481/task/25597/stat : 25597 (java) R 25479 25481 22704 0 -1 4202560 16 0 0 0 9543 1 0 0 20 0 22 0 346116605 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351137351968 140351898584318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25598] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25598/stat : 25598 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346116610 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351136301864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 458.65
Current children cumulated vsize (KiB) 11852648

[startup+234.701 s]
/proc/loadavg: 3.91 3.95 3.82 5/219 25599
/proc/meminfo: memFree=23954712/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11852648 CPUtime=459.43 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 20267 0 1 0 45850 93 0 0 20 0 22 0 346103121 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2963162 901157 2292 9 0 2953849 0
[pid=25481/tid=25483] ppid=25479 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/25481/task/25483/stat : 25483 (java) S 25479 25481 22704 0 -1 4202560 2917 0 1 0 60 3 0 0 20 0 22 0 346103122 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352068248712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25484] ppid=25479 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/25481/task/25484/stat : 25484 (java) S 25479 25481 22704 0 -1 4202560 42 0 0 0 29 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352023002024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25485] ppid=25479 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/25481/task/25485/stat : 25485 (java) S 25479 25481 22704 0 -1 4202560 44 0 0 0 25 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352021949480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25486] ppid=25479 vsize=11852648 CPUtime=0.23 cores=0,2,4,6
/proc/25481/task/25486/stat : 25486 (java) S 25479 25481 22704 0 -1 4202560 34 0 0 0 23 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352020896424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25487] ppid=25479 vsize=11852648 CPUtime=0.26 cores=0,2,4,6
/proc/25481/task/25487/stat : 25487 (java) S 25479 25481 22704 0 -1 4202560 39 0 0 0 25 1 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352019843880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25488] ppid=25479 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/25481/task/25488/stat : 25488 (java) S 25479 25481 22704 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352018790824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25489] ppid=25479 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/25481/task/25489/stat : 25489 (java) S 25479 25481 22704 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352017738280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25490] ppid=25479 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/25481/task/25490/stat : 25490 (java) S 25479 25481 22704 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140352016685224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25491] ppid=25479 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/25481/task/25491/stat : 25491 (java) S 25479 25481 22704 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 22 0 346103124 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351897594152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25492] ppid=25479 vsize=11852648 CPUtime=7.15 cores=0,2,4,6
/proc/25481/task/25492/stat : 25492 (java) S 25479 25481 22704 0 -1 4202560 101 0 0 0 708 7 0 0 20 0 22 0 346103125 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351885396840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25493] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25493/stat : 25493 (java) S 25479 25481 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351884343160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25494] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25494/stat : 25494 (java) S 25479 25481 22704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346103125 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351883289992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25495] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25495/stat : 25495 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351882238736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25496] ppid=25479 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/25481/task/25496/stat : 25496 (java) S 25479 25481 22704 0 -1 4202560 7234 0 0 0 142 0 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351142619448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25497] ppid=25479 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/25481/task/25497/stat : 25497 (java) S 25479 25481 22704 0 -1 4202560 6652 0 0 0 136 1 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351141566904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25498] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25498/stat : 25498 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351140514040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25499] ppid=25479 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/25481/task/25499/stat : 25499 (java) S 25479 25481 22704 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 22 0 346103128 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351139461704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25589] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25589/stat : 25589 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346106687 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351135249960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25596] ppid=25479 vsize=11852648 CPUtime=95.8 cores=0,2,4,6
/proc/25481/task/25596/stat : 25596 (java) R 25479 25481 22704 0 -1 4202560 16 0 0 0 9579 1 0 0 20 0 22 0 346116605 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351138406752 140351898441403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25597] ppid=25479 vsize=11852648 CPUtime=95.83 cores=0,2,4,6
/proc/25481/task/25597/stat : 25597 (java) R 25479 25481 22704 0 -1 4202560 16 0 0 0 9582 1 0 0 20 0 22 0 346116605 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351137351968 140351898666538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25598] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25598/stat : 25598 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346116610 12137111552 901157 33554432000 1073741824 1073778376 140737468469248 140351136301864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 459.43
Current children cumulated vsize (KiB) 11852648

[startup+235.101 s]
/proc/loadavg: 3.91 3.95 3.82 5/219 25599
/proc/meminfo: memFree=23954712/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11852648 CPUtime=459.57 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 20268 0 1 0 45860 97 0 0 20 0 19 0 346103121 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2963162 901149 2292 9 0 2953849 0
[pid=25481/tid=25483] ppid=25479 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/25481/task/25483/stat : 25483 (java) R 25479 25481 22704 0 -1 4202560 2917 0 1 0 62 3 0 0 20 0 19 0 346103122 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352068248712 217413893176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25484] ppid=25479 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/25481/task/25484/stat : 25484 (java) S 25479 25481 22704 0 -1 4202560 42 0 0 0 29 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352023002024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25485] ppid=25479 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/25481/task/25485/stat : 25485 (java) S 25479 25481 22704 0 -1 4202560 44 0 0 0 25 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352021949480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25486] ppid=25479 vsize=11852648 CPUtime=0.23 cores=0,2,4,6
/proc/25481/task/25486/stat : 25486 (java) S 25479 25481 22704 0 -1 4202560 34 0 0 0 23 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352020896424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25487] ppid=25479 vsize=11852648 CPUtime=0.26 cores=0,2,4,6
/proc/25481/task/25487/stat : 25487 (java) S 25479 25481 22704 0 -1 4202560 39 0 0 0 25 1 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352019843880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25488] ppid=25479 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/25481/task/25488/stat : 25488 (java) S 25479 25481 22704 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352018790824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25489] ppid=25479 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/25481/task/25489/stat : 25489 (java) S 25479 25481 22704 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352017738280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25490] ppid=25479 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/25481/task/25490/stat : 25490 (java) S 25479 25481 22704 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352016685224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25491] ppid=25479 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/25481/task/25491/stat : 25491 (java) S 25479 25481 22704 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351897594152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25492] ppid=25479 vsize=11852648 CPUtime=7.15 cores=0,2,4,6
/proc/25481/task/25492/stat : 25492 (java) S 25479 25481 22704 0 -1 4202560 101 0 0 0 708 7 0 0 20 0 19 0 346103125 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351885396840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25493] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25493/stat : 25493 (java) S 25479 25481 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346103125 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351884343160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25494] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25494/stat : 25494 (java) S 25479 25481 22704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346103125 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351883289992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25495] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25495/stat : 25495 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351882238736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25496] ppid=25479 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/25481/task/25496/stat : 25496 (java) S 25479 25481 22704 0 -1 4202560 7235 0 0 0 142 0 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351142619448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25497] ppid=25479 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/25481/task/25497/stat : 25497 (java) R 25479 25481 22704 0 -1 4202560 6652 0 0 0 136 1 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351141566904 140352070983335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25498] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25498/stat : 25498 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351140514040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25499] ppid=25479 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/25481/task/25499/stat : 25499 (java) S 25479 25481 22704 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351139461704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25589] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25589/stat : 25589 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346106687 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351135249960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 459.57
Current children cumulated vsize (KiB) 11852648

[startup+235.201 s]
/proc/loadavg: 3.91 3.95 3.82 5/219 25599
/proc/meminfo: memFree=23954712/32873648 swapFree=7628/7628
[pid=25481] ppid=25479 vsize=11852648 CPUtime=459.68 cores=0,2,4,6
/proc/25481/stat : 25481 (java) S 25479 25481 22704 0 -1 4202496 20268 0 1 0 45871 97 0 0 20 0 19 0 346103121 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140737468460384 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25481/statm: 2963162 901149 2292 9 0 2953849 0
[pid=25481/tid=25483] ppid=25479 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/25481/task/25483/stat : 25483 (java) R 25479 25481 22704 0 -1 4202560 2917 0 1 0 72 3 0 0 20 0 19 0 346103122 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352068248328 140351897868214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25484] ppid=25479 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/25481/task/25484/stat : 25484 (java) S 25479 25481 22704 0 -1 4202560 42 0 0 0 29 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352023002024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25485] ppid=25479 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/25481/task/25485/stat : 25485 (java) S 25479 25481 22704 0 -1 4202560 44 0 0 0 25 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352021949480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25486] ppid=25479 vsize=11852648 CPUtime=0.23 cores=0,2,4,6
/proc/25481/task/25486/stat : 25486 (java) S 25479 25481 22704 0 -1 4202560 34 0 0 0 23 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352020896424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25487] ppid=25479 vsize=11852648 CPUtime=0.26 cores=0,2,4,6
/proc/25481/task/25487/stat : 25487 (java) S 25479 25481 22704 0 -1 4202560 39 0 0 0 25 1 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352019843880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25488] ppid=25479 vsize=11852648 CPUtime=0.24 cores=0,2,4,6
/proc/25481/task/25488/stat : 25488 (java) S 25479 25481 22704 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352018790824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25489] ppid=25479 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/25481/task/25489/stat : 25489 (java) S 25479 25481 22704 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352017738280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25490] ppid=25479 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/25481/task/25490/stat : 25490 (java) S 25479 25481 22704 0 -1 4202560 29 0 0 0 27 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140352016685224 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25491] ppid=25479 vsize=11852648 CPUtime=0.25 cores=0,2,4,6
/proc/25481/task/25491/stat : 25491 (java) S 25479 25481 22704 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 19 0 346103124 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351897594152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25492] ppid=25479 vsize=11852648 CPUtime=7.15 cores=0,2,4,6
/proc/25481/task/25492/stat : 25492 (java) S 25479 25481 22704 0 -1 4202560 101 0 0 0 708 7 0 0 20 0 19 0 346103125 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351885396840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25493] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25493/stat : 25493 (java) S 25479 25481 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346103125 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351884343160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25481/tid=25494] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25494/stat : 25494 (java) S 25479 25481 22704 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 346103125 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351883289992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25495] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25495/stat : 25495 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351882238736 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25496] ppid=25479 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/25481/task/25496/stat : 25496 (java) S 25479 25481 22704 0 -1 4202560 7235 0 0 0 142 0 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351142619448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25481/tid=25497] ppid=25479 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/25481/task/25497/stat : 25497 (java) S 25479 25481 22704 0 -1 4202560 6652 0 0 0 137 1 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351141566904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25498] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25498/stat : 25498 (java) S 25479 25481 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351140514040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25481/tid=25499] ppid=25479 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/25481/task/25499/stat : 25499 (java) S 25479 25481 22704 0 -1 4202560 13 0 0 0 2 4 0 0 20 0 19 0 346103128 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351139461704 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25481/tid=25589] ppid=25479 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/25481/task/25589/stat : 25589 (java) S 25479 25481 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346106687 12137111552 901149 33554432000 1073741824 1073778376 140737468469248 140351135249960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 459.68
Current children cumulated vsize (KiB) 11852648

Child status: 30
Real time (s): 235.276
CPU time (s): 459.874
CPU user time (s): 458.811
CPU system time (s): 1.06284
CPU usage (%): 195.462
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 458.811
system time used= 1.06284
maximum resident set size= 3604628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20279
page faults= 1
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8541
involuntary context switches= 9603

runsolver used 1.06884 second user time and 2.55161 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-04 10:49:31
IDJOB=3744270
IDBENCH=92716
IDSOLVER=2328
FILE ID=node122/3744270-1338799771
RUNJOBID= node122-1338785055-22720
PBS_JOBID= 14636854
Free space on /tmp= 71184 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_9_mh.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744270-1338799771/watcher-3744270-1338799771 -o /tmp/evaluation-result-3744270-1338799771/solver-3744270-1338799771 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744270-1338799771.opb

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

MD5SUM BENCH= dceb2101253472cec95359fbc82f66a4
RANDOM SEED=1571568702

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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.533
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	: 5438.54
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.533
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.533
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:        27728332 kB
Buffers:          279836 kB
Cached:           313504 kB
SwapCached:         1584 kB
Active:          4060540 kB
Inactive:         225084 kB
Active(anon):    3689988 kB
Inactive(anon):     5436 kB
Active(file):     370552 kB
Inactive(file):   219648 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100244 kB
Dirty:              1060 kB
Writeback:             0 kB
AnonPages:       3703536 kB
Mapped:            17024 kB
Shmem:                 0 kB
Slab:             713876 kB
SReclaimable:     157676 kB
SUnreclaim:       556200 kB
KernelStack:        1616 kB
PageTables:        11444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10495528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3637248 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= 71160 MiB
End job on node122 at 2012-06-04 10:53:27