Trace number 3689613

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT 1639.07 1618.86

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K97.opb
MD5SUM43f0e9fb1c8ca4724fdfde37689b9cda
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark650.612
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6596
Total number of constraints6792
Number of constraints which are clauses6695
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint97
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 98
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c version 2.3.2.v20120418
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		501472288
0.02/0.07	c Max memory 		7480803328
0.02/0.07	c Total memory 		504102912
0.02/0.07	c Number of processors 	8
0.02/0.09	c Pseudo Boolean Optimization by upper bound
0.02/0.09	c --- Begin Solver configuration ---
0.02/0.09	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.09	c No reason simplification
0.02/0.09	c Armin Biere (Picosat) restarts strategy
0.02/0.09	c Glucose learned constraints deletion strategy
0.02/0.09	c timeout=2147483s
0.02/0.09	c DB Simplification allowed=false
0.02/0.09	c c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3689613-1337891782.opb
0.02/0.09	c reading problem ... 
0.60/0.36	c ... done. Wall clock time 0.267s.
0.60/0.36	c declared #vars     6596
0.60/0.36	c #constraints  6792
0.60/0.36	c constraints type 
0.60/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5445
0.60/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
0.60/0.36	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.60/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1248
0.60/0.36	c 6792 constraints processed.
1.72/1.17	c cleaning 2484 clauses out of 4992 with flag 5000/5000
3.08/2.00	c cleaning 4242 clauses out of 8502 with flag 11000/11000
3.99/2.94	c cleaning 5582 clauses out of 11256 with flag 18000/18000
5.11/4.01	c cleaning 6810 clauses out of 13669 with flag 26000/26000
6.35/5.27	c cleaning 7835 clauses out of 15861 with flag 35002/35002
7.77/6.65	c cleaning 8940 clauses out of 18024 with flag 45000/45000
9.27/8.12	c cleaning 9882 clauses out of 20082 with flag 56000/56000
10.88/9.75	c cleaning 11010 clauses out of 22198 with flag 68000/68000
12.59/11.46	c cleaning 11971 clauses out of 24188 with flag 81000/81000
14.60/13.45	c cleaning 13051 clauses out of 26218 with flag 95003/95003
16.73/15.51	c cleaning 13954 clauses out of 28165 with flag 110001/110001
19.05/17.86	c cleaning 14930 clauses out of 30210 with flag 126000/126000
21.58/20.31	c cleaning 16048 clauses out of 32280 with flag 143000/143000
24.20/22.93	c cleaning 17074 clauses out of 34230 with flag 161000/161000
26.81/25.59	c cleaning 17920 clauses out of 36158 with flag 180002/180002
29.95/28.63	c cleaning 19068 clauses out of 38236 with flag 200000/200000
33.17/31.83	c cleaning 19956 clauses out of 40168 with flag 221000/221000
36.68/35.34	c cleaning 20922 clauses out of 42210 with flag 243000/243000
40.51/39.18	c cleaning 21975 clauses out of 44290 with flag 266002/266002
45.03/43.67	c cleaning 23039 clauses out of 46313 with flag 290000/290000
48.98/47.52	c cleaning 24001 clauses out of 48274 with flag 315000/315000
52.91/51.46	c cleaning 25079 clauses out of 50272 with flag 341001/341001
58.04/56.53	c cleaning 25947 clauses out of 52192 with flag 368000/368000
63.77/62.20	c cleaning 26981 clauses out of 54247 with flag 396002/396002
69.04/67.49	c cleaning 27994 clauses out of 56264 with flag 425000/425000
74.08/72.49	c cleaning 28984 clauses out of 58272 with flag 455002/455002
79.50/77.88	c cleaning 29982 clauses out of 60286 with flag 486000/486000
85.14/83.44	c cleaning 30988 clauses out of 62305 with flag 518002/518002
90.87/89.16	c cleaning 32012 clauses out of 64316 with flag 551001/551001
96.70/94.98	c cleaning 32969 clauses out of 66302 with flag 585000/585000
104.06/102.25	c cleaning 33944 clauses out of 68333 with flag 620000/620000
111.86/109.99	c cleaning 35039 clauses out of 70390 with flag 656001/656001
118.20/116.25	c cleaning 35862 clauses out of 72352 with flag 693002/693002
125.72/123.76	c cleaning 36515 clauses out of 74487 with flag 731000/731000
133.05/131.09	c cleaning 37425 clauses out of 76974 with flag 770002/770002
141.10/139.07	c cleaning 38388 clauses out of 79548 with flag 810001/810001
151.54/149.49	c cleaning 40318 clauses out of 82159 with flag 851000/851000
160.41/158.23	c cleaning 40253 clauses out of 83840 with flag 893000/893000
175.07/172.82	c cleaning 41773 clauses out of 86594 with flag 936007/936007
186.29/183.91	c cleaning 42518 clauses out of 88814 with flag 980000/980000
194.88/192.45	c cleaning 43465 clauses out of 91296 with flag 1025000/1025000
204.43/201.90	c cleaning 44268 clauses out of 93831 with flag 1071000/1071000
215.18/212.62	c cleaning 45912 clauses out of 96563 with flag 1118000/1118000
227.05/224.44	c cleaning 46446 clauses out of 98652 with flag 1166001/1166001
236.14/233.49	c cleaning 46998 clauses out of 101209 with flag 1215004/1215004
247.68/244.94	c cleaning 48539 clauses out of 104208 with flag 1265001/1265001
259.21/256.42	c cleaning 49358 clauses out of 106671 with flag 1316003/1316003
271.32/268.44	c cleaning 50490 clauses out of 109310 with flag 1368000/1368000
282.40/279.47	c cleaning 51399 clauses out of 111822 with flag 1421002/1421002
293.73/290.78	c cleaning 51973 clauses out of 114425 with flag 1475004/1475004
305.16/302.19	c cleaning 53126 clauses out of 117448 with flag 1530000/1530000
318.40/315.34	c cleaning 54573 clauses out of 120322 with flag 1586000/1586000
334.27/331.10	c cleaning 56022 clauses out of 122749 with flag 1643000/1643000
349.61/346.31	c cleaning 56245 clauses out of 124729 with flag 1701002/1701002
362.60/359.28	c cleaning 57594 clauses out of 127483 with flag 1760001/1760001
377.87/374.31	c cleaning 58415 clauses out of 129888 with flag 1820000/1820000
392.20/388.63	c cleaning 59487 clauses out of 132474 with flag 1881001/1881001
409.28/405.55	c cleaning 60122 clauses out of 134986 with flag 1943000/1943000
424.41/420.42	c cleaning 61327 clauses out of 137863 with flag 2006000/2006000
439.13/435.16	c cleaning 62200 clauses out of 140537 with flag 2070001/2070001
459.90/455.77	c cleaning 64027 clauses out of 143336 with flag 2135000/2135000
479.49/475.06	c cleaning 65070 clauses out of 145311 with flag 2201002/2201002
494.64/490.04	c cleaning 65150 clauses out of 147239 with flag 2268000/2268000
512.15/507.30	c cleaning 66456 clauses out of 150089 with flag 2336000/2336000
537.93/532.93	c cleaning 67893 clauses out of 152634 with flag 2405001/2405001
561.56/556.38	c cleaning 68207 clauses out of 154740 with flag 2475000/2475000
585.76/580.33	c cleaning 69918 clauses out of 157534 with flag 2546001/2546001
613.02/607.28	c cleaning 71114 clauses out of 159616 with flag 2618001/2618001
634.45/628.40	c cleaning 71298 clauses out of 161501 with flag 2691000/2691000
660.31/653.91	c cleaning 72470 clauses out of 164207 with flag 2765004/2765004
689.19/682.52	c cleaning 73776 clauses out of 166735 with flag 2840002/2840002
709.54/702.73	c cleaning 75130 clauses out of 168956 with flag 2916000/2916000
739.91/732.88	c cleaning 75696 clauses out of 170831 with flag 2993005/2993005
764.77/757.54	c cleaning 76216 clauses out of 173130 with flag 3071000/3071000
795.80/788.12	c cleaning 77915 clauses out of 175914 with flag 3150000/3150000
828.90/820.89	c cleaning 78749 clauses out of 177999 with flag 3230000/3230000
851.16/842.81	c cleaning 80068 clauses out of 180250 with flag 3311000/3311000
873.64/864.95	c cleaning 80016 clauses out of 182182 with flag 3393000/3393000
900.28/891.09	c cleaning 81757 clauses out of 185167 with flag 3476001/3476001
928.01/918.15	c cleaning 82730 clauses out of 187410 with flag 3560001/3560001
956.87/946.68	c cleaning 83611 clauses out of 189679 with flag 3645000/3645000
989.80/979.12	c cleaning 84875 clauses out of 192068 with flag 3731000/3731000
1016.49/1005.45	c cleaning 85588 clauses out of 194194 with flag 3818001/3818001
1046.17/1034.70	c cleaning 86648 clauses out of 196609 with flag 3906004/3906004
1079.10/1067.23	c cleaning 88118 clauses out of 198958 with flag 3995001/3995001
1108.94/1096.79	c cleaning 89031 clauses out of 200840 with flag 4085001/4085001
1144.75/1132.00	c cleaning 89918 clauses out of 202808 with flag 4176000/4176000
1180.80/1167.62	c cleaning 90994 clauses out of 204890 with flag 4268000/4268000
1218.97/1205.27	c cleaning 91961 clauses out of 206896 with flag 4361000/4361000
1251.36/1237.03	c cleaning 92602 clauses out of 208935 with flag 4455000/4455000
1293.90/1279.03	c cleaning 94449 clauses out of 211333 with flag 4550000/4550000
1324.17/1308.93	c cleaning 94505 clauses out of 212884 with flag 4646000/4646000
1361.76/1345.81	c cleaning 96107 clauses out of 215383 with flag 4743004/4743004
1390.90/1374.62	c cleaning 96338 clauses out of 217272 with flag 4841000/4841000
1426.39/1409.68	c cleaning 97554 clauses out of 219934 with flag 4940000/4940000
1471.29/1453.94	c cleaning 99206 clauses out of 222380 with flag 5040000/5040000
1518.42/1500.42	c cleaning 99703 clauses out of 224174 with flag 5141000/5141000
1562.54/1544.05	c cleaning 101443 clauses out of 226472 with flag 5243001/5243001
1625.43/1606.18	c cleaning 102576 clauses out of 228028 with flag 5346000/5346000
1638.44/1618.79	c starts		: 273
1638.44/1618.79	c conflicts		: 5381114
1638.44/1618.79	c decisions		: 39583673
1638.44/1618.79	c propagations		: 1727318720
1638.44/1618.79	c inspects		: 10539495032
1638.44/1618.79	c shortcuts		: 0
1638.44/1618.79	c learnt literals	: 41
1638.44/1618.79	c learnt binary clauses	: 107128
1638.44/1618.79	c learnt ternary clauses	: 141042
1638.44/1618.79	c learnt constraints	: 5381073
1638.44/1618.79	c ignored constraints	: 0
1638.44/1618.79	c root simplifications	: 0
1638.44/1618.79	c removed literals (reason simplification)	: 0
1638.44/1618.79	c reason swapping (by a shorter reason)	: 0
1638.44/1618.79	c Calls to reduceDB	: 99
1638.44/1618.79	c number of reductions to clauses (during analyze)	: 0
1638.44/1618.79	c number of learned constraints concerned by reduction	: 0
1638.44/1618.79	c number of learning phase by resolution	: 0
1638.44/1618.79	c number of learning phase by cutting planes	: 0
1638.44/1618.79	c speed (assignments/second)	: 1067289.0361383995
1638.44/1618.79	c non guided choices	6853
1638.53/1618.84	c learnt constraints type 
1638.53/1618.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 107128
1638.53/1618.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 53438
1638.53/1618.84	c constraints type 
1638.53/1618.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5445
1638.53/1618.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 97
1638.53/1618.84	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
1638.53/1618.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1248
1638.53/1618.84	c 6792 constraints processed.
1638.53/1618.84	s SATISFIABLE
1638.53/1618.85	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 
1638.53/1618.85	c Total wall clock time (in seconds): 1618.759

Verifier Data 

OK	0

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-3689613-1337891782/watcher-3689613-1337891782 -o /tmp/evaluation-result-3689613-1337891782/solver-3689613-1337891782 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689613-1337891782.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: 2.03 2.01 2.09 3/194 29132
/proc/meminfo: memFree=28505352/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=96268 CPUtime=0 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 1288 0 0 0 0 0 0 0 20 0 2 0 255304151 98578432 989 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 24334 990 755 9 0 16773 0
[pid=29132/tid=29133] ppid=29130 vsize=97336 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 2 0 255304152 99672064 995 33554432000 1073741824 1073778376 140733637742816 140544484156088 226075130419 0 0 0 16784584 0 0 0 -1 0 0 0 0 0 0

[startup+0.034284 s]
/proc/loadavg: 2.03 2.01 2.09 3/194 29132
/proc/meminfo: memFree=28505352/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 3079 0 1 0 2 0 0 0 20 0 13 0 255304151 9446973440 3266 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2306390 3266 1699 9 0 2297091 0
[pid=29132/tid=29133] ppid=29130 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 1898 0 1 0 1 0 0 0 20 0 13 0 255304152 9446973440 3266 33554432000 1073741824 1073778376 140733637742816 140544484155632 226087724301 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.10023 s]
/proc/loadavg: 2.03 2.01 2.09 3/194 29132
/proc/meminfo: memFree=28505352/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 4538 0 1 0 10 1 0 0 20 0 18 0 255304151 9787813888 5664 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2389603 5664 2149 9 0 2380296 0
[pid=29132/tid=29133] ppid=29130 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2485 0 1 0 6 2 0 0 20 0 18 0 255304152 9787813888 5664 33554432000 1073741824 1073778376 140733637742816 140544484158232 226084657350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300188 s]
/proc/loadavg: 2.03 2.01 2.09 3/194 29132
/proc/meminfo: memFree=28505352/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9558412 CPUtime=0.6 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 7433 0 1 0 58 2 0 0 20 0 18 0 255304151 9787813888 10467 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2389603 10467 2222 9 0 2380296 0
[pid=29132/tid=29133] ppid=29130 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2499 0 1 0 26 2 0 0 20 0 18 0 255304152 9787813888 10467 33554432000 1073741824 1073778376 140733637742816 140544484151136 226087724301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9558412

[startup+0.700184 s]
/proc/loadavg: 2.03 2.01 2.09 3/194 29132
/proc/meminfo: memFree=28505352/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9624976 CPUtime=1.31 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 8383 0 1 0 129 2 0 0 20 0 19 0 255304151 9855975424 15664 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2406244 15664 2247 9 0 2396937 0
[pid=29132/tid=29133] ppid=29130 vsize=9624976 CPUtime=0.68 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2521 0 1 0 66 2 0 0 20 0 19 0 255304152 9855975424 15664 33554432000 1073741824 1073778376 140733637742816 140544484160216 140544424543017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976

[startup+1.50063 s]
/proc/loadavg: 2.03 2.01 2.09 3/213 29151
/proc/meminfo: memFree=28442852/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9624976 CPUtime=2.48 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 14477 0 1 0 244 4 0 0 20 0 19 0 255304151 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2406244 23213 2275 9 0 2396937 0
[pid=29132/tid=29133] ppid=29130 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2528 0 1 0 144 2 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544484159896 140544424539367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29135] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29135/stat : 29135 (java) S 29130 29132 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544422890024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29136] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29136/stat : 29136 (java) S 29130 29132 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544421837224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29137] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29137/stat : 29137 (java) S 29130 29132 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544420784424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29138] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29138/stat : 29138 (java) S 29130 29132 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544419731624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29139] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29139/stat : 29139 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544418679848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29140] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29140/stat : 29140 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544417627048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29141] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29141/stat : 29141 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544321469224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29142] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29142/stat : 29142 (java) S 29130 29132 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544320416424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29143] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29143/stat : 29143 (java) S 29130 29132 22184 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255304153 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544308218344 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29144] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29144/stat : 29144 (java) S 29130 29132 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544307164408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29145] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29145/stat : 29145 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544306111496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29146] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29146/stat : 29146 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544305059984 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29147] ppid=29130 vsize=9624976 CPUtime=0.37 cores=0,2,4,6
/proc/29132/task/29147/stat : 29147 (java) S 29130 29132 22184 0 -1 4202560 2224 0 0 0 37 0 0 0 20 0 19 0 255304156 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544304008120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29148] ppid=29130 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/29132/task/29148/stat : 29148 (java) R 29130 29132 22184 0 -1 4202560 8473 0 0 0 60 0 0 0 20 0 19 0 255304156 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544302938672 140544490002814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29149] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29149/stat : 29149 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544301902712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29150] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29150/stat : 29150 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544300850120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29151] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29151/stat : 29151 (java) S 29130 29132 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255304189 9855975424 23213 33554432000 1073741824 1073778376 140733637742816 140544299795624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9624976

[startup+3.10062 s]
/proc/loadavg: 2.03 2.01 2.09 3/213 29151
/proc/meminfo: memFree=28407800/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9624976 CPUtime=4.21 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 14814 0 1 0 417 4 0 0 20 0 19 0 255304151 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2406244 25468 2275 9 0 2396937 0
[pid=29132/tid=29133] ppid=29130 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2529 0 1 0 300 2 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544484159896 140544424461089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29135] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29135/stat : 29135 (java) S 29130 29132 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544422890024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29136] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29136/stat : 29136 (java) S 29130 29132 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544421837224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29137] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29137/stat : 29137 (java) S 29130 29132 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544420784424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29138] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29138/stat : 29138 (java) S 29130 29132 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544419731624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29139] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29139/stat : 29139 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544418679848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29140] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29140/stat : 29140 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544417627048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29141] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29141/stat : 29141 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544321469224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29142] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29142/stat : 29142 (java) S 29130 29132 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544320416424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29143] ppid=29130 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/29132/task/29143/stat : 29143 (java) S 29130 29132 22184 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255304153 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544308218344 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29144] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29144/stat : 29144 (java) S 29130 29132 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544307164408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29145] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29145/stat : 29145 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544306111496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29146] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29146/stat : 29146 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544305059984 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29147] ppid=29130 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/29132/task/29147/stat : 29147 (java) S 29130 29132 22184 0 -1 4202560 2224 0 0 0 38 0 0 0 20 0 19 0 255304156 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544304008120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29148] ppid=29130 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/29132/task/29148/stat : 29148 (java) S 29130 29132 22184 0 -1 4202560 8792 0 0 0 69 0 0 0 20 0 19 0 255304156 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544302955320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29149] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29149/stat : 29149 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544301902712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29150] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29150/stat : 29150 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544300850120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29151] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29151/stat : 29151 (java) S 29130 29132 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255304189 9855975424 25468 33554432000 1073741824 1073778376 140733637742816 140544299795624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 9624976

[startup+6.30063 s]
/proc/loadavg: 2.03 2.01 2.09 3/213 29151
/proc/meminfo: memFree=28406680/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9624976 CPUtime=7.46 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 14839 0 1 0 742 4 0 0 20 0 19 0 255304151 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2406244 24100 2275 9 0 2396937 0
[pid=29132/tid=29133] ppid=29130 vsize=9624976 CPUtime=6.18 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2531 0 1 0 616 2 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544484160008 140544424542824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29135] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29135/stat : 29135 (java) S 29130 29132 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544422890024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29136] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29136/stat : 29136 (java) S 29130 29132 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544421837224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29137] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29137/stat : 29137 (java) S 29130 29132 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544420784424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29138] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29138/stat : 29138 (java) S 29130 29132 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544419731624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29139] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29139/stat : 29139 (java) S 29130 29132 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544418679848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29140] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29140/stat : 29140 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544417627048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29141] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29141/stat : 29141 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544321469224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29142] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29142/stat : 29142 (java) S 29130 29132 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255304152 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544320416424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29143] ppid=29130 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/29132/task/29143/stat : 29143 (java) S 29130 29132 22184 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 255304153 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544308218344 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29144] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29144/stat : 29144 (java) S 29130 29132 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544307164408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29145] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29145/stat : 29145 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544306111496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29146] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29146/stat : 29146 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544305059984 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29147] ppid=29130 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/29132/task/29147/stat : 29147 (java) S 29130 29132 22184 0 -1 4202560 2231 0 0 0 39 0 0 0 20 0 19 0 255304156 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544304008120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29148] ppid=29130 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/29132/task/29148/stat : 29148 (java) S 29130 29132 22184 0 -1 4202560 8802 0 0 0 73 0 0 0 20 0 19 0 255304156 9855975424 24100 33554432000 1073741824 1073778376 140733637742816 140544302955320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

/proc/29132/task/29135/stat : 29135 (java) S 29130 29132 22184 0 -1 4202560 625 0 0 0 311 15 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544422890024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29136] ppid=29130 vsize=9624976 CPUtime=2.88 cores=0,2,4,6
/proc/29132/task/29136/stat : 29136 (java) S 29130 29132 22184 0 -1 4202560 832 0 0 0 278 10 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544421837224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29137] ppid=29130 vsize=9624976 CPUtime=3.35 cores=0,2,4,6
/proc/29132/task/29137/stat : 29137 (java) S 29130 29132 22184 0 -1 4202560 810 0 0 0 323 12 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544420784424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29138] ppid=29130 vsize=9624976 CPUtime=3.13 cores=0,2,4,6
/proc/29132/task/29138/stat : 29138 (java) S 29130 29132 22184 0 -1 4202560 562 0 0 0 299 14 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544419731624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29139] ppid=29130 vsize=9624976 CPUtime=3.12 cores=0,2,4,6
/proc/29132/task/29139/stat : 29139 (java) S 29130 29132 22184 0 -1 4202560 889 0 0 0 295 17 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544418679848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29140] ppid=29130 vsize=9624976 CPUtime=3.21 cores=0,2,4,6
/proc/29132/task/29140/stat : 29140 (java) S 29130 29132 22184 0 -1 4202560 1000 0 0 0 308 13 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544417627048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29141] ppid=29130 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/29132/task/29141/stat : 29141 (java) S 29130 29132 22184 0 -1 4202560 805 0 0 0 292 13 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544321469224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29142] ppid=29130 vsize=9624976 CPUtime=3.36 cores=0,2,4,6
/proc/29132/task/29142/stat : 29142 (java) S 29130 29132 22184 0 -1 4202560 1071 0 0 0 319 17 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544320416424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29143] ppid=29130 vsize=9624976 CPUtime=4.47 cores=0,2,4,6
/proc/29132/task/29143/stat : 29143 (java) S 29130 29132 22184 0 -1 4202560 872 0 0 0 442 5 0 0 20 0 19 0 255304153 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544308218344 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29144] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29144/stat : 29144 (java) S 29130 29132 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544307164408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29145] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29145/stat : 29145 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544306111496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29146] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29146/stat : 29146 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544305059984 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29147] ppid=29130 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/29132/task/29147/stat : 29147 (java) S 29130 29132 22184 0 -1 4202560 2397 0 0 0 41 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544304008120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29148] ppid=29130 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/29132/task/29148/stat : 29148 (java) S 29130 29132 22184 0 -1 4202560 8802 0 0 0 73 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544302955320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29149] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29149/stat : 29149 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544301902712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29150] ppid=29130 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/29132/task/29150/stat : 29150 (java) S 29130 29132 22184 0 -1 4202560 93 0 0 0 23 25 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544300850120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29151] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29151/stat : 29151 (java) S 29130 29132 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255304189 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544299795624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1637.24
Current children cumulated vsize (KiB) 9624976

[startup+1618.3 s]
/proc/loadavg: 2.13 2.12 2.04 3/213 29245
/proc/meminfo: memFree=27585116/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9624976 CPUtime=1638.04 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 22750 0 1 0 163660 144 0 0 20 0 19 0 255304151 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2406244 163261 2276 9 0 2396937 0
[pid=29132/tid=29133] ppid=29130 vsize=9624976 CPUtime=1606.76 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2807 0 1 0 160646 30 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544484158848 140544424548576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29135] ppid=29130 vsize=9624976 CPUtime=3.26 cores=0,2,4,6
/proc/29132/task/29135/stat : 29135 (java) S 29130 29132 22184 0 -1 4202560 625 0 0 0 311 15 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544422890024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29136] ppid=29130 vsize=9624976 CPUtime=2.88 cores=0,2,4,6
/proc/29132/task/29136/stat : 29136 (java) S 29130 29132 22184 0 -1 4202560 832 0 0 0 278 10 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544421837224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29137] ppid=29130 vsize=9624976 CPUtime=3.35 cores=0,2,4,6
/proc/29132/task/29137/stat : 29137 (java) S 29130 29132 22184 0 -1 4202560 810 0 0 0 323 12 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544420784424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29138] ppid=29130 vsize=9624976 CPUtime=3.13 cores=0,2,4,6
/proc/29132/task/29138/stat : 29138 (java) S 29130 29132 22184 0 -1 4202560 562 0 0 0 299 14 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544419731624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29139] ppid=29130 vsize=9624976 CPUtime=3.12 cores=0,2,4,6
/proc/29132/task/29139/stat : 29139 (java) S 29130 29132 22184 0 -1 4202560 889 0 0 0 295 17 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544418679848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29140] ppid=29130 vsize=9624976 CPUtime=3.21 cores=0,2,4,6
/proc/29132/task/29140/stat : 29140 (java) S 29130 29132 22184 0 -1 4202560 1000 0 0 0 308 13 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544417627048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29141] ppid=29130 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/29132/task/29141/stat : 29141 (java) S 29130 29132 22184 0 -1 4202560 805 0 0 0 292 13 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544321469224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29142] ppid=29130 vsize=9624976 CPUtime=3.36 cores=0,2,4,6
/proc/29132/task/29142/stat : 29142 (java) S 29130 29132 22184 0 -1 4202560 1071 0 0 0 319 17 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544320416424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29143] ppid=29130 vsize=9624976 CPUtime=4.47 cores=0,2,4,6
/proc/29132/task/29143/stat : 29143 (java) S 29130 29132 22184 0 -1 4202560 872 0 0 0 442 5 0 0 20 0 19 0 255304153 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544308218344 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29144] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29144/stat : 29144 (java) S 29130 29132 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544307164408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29145] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29145/stat : 29145 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544306111496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29146] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29146/stat : 29146 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544305059984 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29147] ppid=29130 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/29132/task/29147/stat : 29147 (java) S 29130 29132 22184 0 -1 4202560 2397 0 0 0 41 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544304008120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29148] ppid=29130 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/29132/task/29148/stat : 29148 (java) S 29130 29132 22184 0 -1 4202560 8802 0 0 0 73 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544302955320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29149] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29149/stat : 29149 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544301902712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29150] ppid=29130 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/29132/task/29150/stat : 29150 (java) S 29130 29132 22184 0 -1 4202560 93 0 0 0 23 25 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544300850120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29151] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29151/stat : 29151 (java) S 29130 29132 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255304189 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544299795624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1638.04
Current children cumulated vsize (KiB) 9624976

[startup+1618.7 s]
/proc/loadavg: 2.13 2.12 2.04 3/213 29245
/proc/meminfo: memFree=27585116/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9624976 CPUtime=1638.44 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 22750 0 1 0 163700 144 0 0 20 0 19 0 255304151 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2406244 163261 2276 9 0 2396937 0
[pid=29132/tid=29133] ppid=29130 vsize=9624976 CPUtime=1607.16 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) R 29130 29132 22184 0 -1 4202560 2807 0 1 0 160686 30 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544484158848 140544424459783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29135] ppid=29130 vsize=9624976 CPUtime=3.26 cores=0,2,4,6
/proc/29132/task/29135/stat : 29135 (java) S 29130 29132 22184 0 -1 4202560 625 0 0 0 311 15 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544422890024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29136] ppid=29130 vsize=9624976 CPUtime=2.88 cores=0,2,4,6
/proc/29132/task/29136/stat : 29136 (java) S 29130 29132 22184 0 -1 4202560 832 0 0 0 278 10 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544421837224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29137] ppid=29130 vsize=9624976 CPUtime=3.35 cores=0,2,4,6
/proc/29132/task/29137/stat : 29137 (java) S 29130 29132 22184 0 -1 4202560 810 0 0 0 323 12 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544420784424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29138] ppid=29130 vsize=9624976 CPUtime=3.13 cores=0,2,4,6
/proc/29132/task/29138/stat : 29138 (java) S 29130 29132 22184 0 -1 4202560 562 0 0 0 299 14 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544419731624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29139] ppid=29130 vsize=9624976 CPUtime=3.12 cores=0,2,4,6
/proc/29132/task/29139/stat : 29139 (java) S 29130 29132 22184 0 -1 4202560 889 0 0 0 295 17 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544418679848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29140] ppid=29130 vsize=9624976 CPUtime=3.21 cores=0,2,4,6
/proc/29132/task/29140/stat : 29140 (java) S 29130 29132 22184 0 -1 4202560 1000 0 0 0 308 13 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544417627048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29141] ppid=29130 vsize=9624976 CPUtime=3.05 cores=0,2,4,6
/proc/29132/task/29141/stat : 29141 (java) S 29130 29132 22184 0 -1 4202560 805 0 0 0 292 13 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544321469224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29142] ppid=29130 vsize=9624976 CPUtime=3.36 cores=0,2,4,6
/proc/29132/task/29142/stat : 29142 (java) S 29130 29132 22184 0 -1 4202560 1071 0 0 0 319 17 0 0 20 0 19 0 255304152 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544320416424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29143] ppid=29130 vsize=9624976 CPUtime=4.47 cores=0,2,4,6
/proc/29132/task/29143/stat : 29143 (java) S 29130 29132 22184 0 -1 4202560 872 0 0 0 442 5 0 0 20 0 19 0 255304153 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544308218344 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29144] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29144/stat : 29144 (java) S 29130 29132 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544307164408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29145] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29145/stat : 29145 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255304154 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544306111496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29146] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29146/stat : 29146 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544305059984 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29147] ppid=29130 vsize=9624976 CPUtime=0.41 cores=0,2,4,6
/proc/29132/task/29147/stat : 29147 (java) S 29130 29132 22184 0 -1 4202560 2397 0 0 0 41 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544304008120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29148] ppid=29130 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/29132/task/29148/stat : 29148 (java) S 29130 29132 22184 0 -1 4202560 8802 0 0 0 73 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544302955320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29149] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29149/stat : 29149 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544301902712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29150] ppid=29130 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/29132/task/29150/stat : 29150 (java) S 29130 29132 22184 0 -1 4202560 93 0 0 0 23 25 0 0 20 0 19 0 255304156 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544300850120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29151] ppid=29130 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29151/stat : 29151 (java) S 29130 29132 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255304189 9855975424 163261 33554432000 1073741824 1073778376 140733637742816 140544299795624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1638.44
Current children cumulated vsize (KiB) 9624976

[startup+1618.8 s]
/proc/loadavg: 2.13 2.12 2.04 3/213 29245
/proc/meminfo: memFree=27585116/32873648 swapFree=6864/6864
[pid=29132] ppid=29130 vsize=9691540 CPUtime=1638.53 cores=0,2,4,6
/proc/29132/stat : 29132 (java) S 29130 29132 22184 0 -1 4202496 22761 0 1 0 163709 144 0 0 20 0 20 0 255304151 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140733637733952 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29132/statm: 2422885 163271 2276 9 0 2413578 0
[pid=29132/tid=29133] ppid=29130 vsize=9691540 CPUtime=1607.25 cores=0,2,4,6
/proc/29132/task/29133/stat : 29133 (java) S 29130 29132 22184 0 -1 4202560 2809 0 1 0 160695 30 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544484160216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29135] ppid=29130 vsize=9691540 CPUtime=3.26 cores=0,2,4,6
/proc/29132/task/29135/stat : 29135 (java) S 29130 29132 22184 0 -1 4202560 625 0 0 0 311 15 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544422890024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29136] ppid=29130 vsize=9691540 CPUtime=2.88 cores=0,2,4,6
/proc/29132/task/29136/stat : 29136 (java) S 29130 29132 22184 0 -1 4202560 832 0 0 0 278 10 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544421837224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29137] ppid=29130 vsize=9691540 CPUtime=3.35 cores=0,2,4,6
/proc/29132/task/29137/stat : 29137 (java) S 29130 29132 22184 0 -1 4202560 810 0 0 0 323 12 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544420784424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29138] ppid=29130 vsize=9691540 CPUtime=3.13 cores=0,2,4,6
/proc/29132/task/29138/stat : 29138 (java) S 29130 29132 22184 0 -1 4202560 562 0 0 0 299 14 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544419731624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29139] ppid=29130 vsize=9691540 CPUtime=3.12 cores=0,2,4,6
/proc/29132/task/29139/stat : 29139 (java) S 29130 29132 22184 0 -1 4202560 889 0 0 0 295 17 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544418679848 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29140] ppid=29130 vsize=9691540 CPUtime=3.21 cores=0,2,4,6
/proc/29132/task/29140/stat : 29140 (java) S 29130 29132 22184 0 -1 4202560 1000 0 0 0 308 13 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544417627048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29141] ppid=29130 vsize=9691540 CPUtime=3.05 cores=0,2,4,6
/proc/29132/task/29141/stat : 29141 (java) S 29130 29132 22184 0 -1 4202560 805 0 0 0 292 13 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544321469224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29142] ppid=29130 vsize=9691540 CPUtime=3.36 cores=0,2,4,6
/proc/29132/task/29142/stat : 29142 (java) S 29130 29132 22184 0 -1 4202560 1071 0 0 0 319 17 0 0 20 0 20 0 255304152 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544320416424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29143] ppid=29130 vsize=9691540 CPUtime=4.47 cores=0,2,4,6
/proc/29132/task/29143/stat : 29143 (java) S 29130 29132 22184 0 -1 4202560 872 0 0 0 442 5 0 0 20 0 20 0 255304153 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544308218344 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29144] ppid=29130 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29144/stat : 29144 (java) S 29130 29132 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 255304154 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544307164408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29145] ppid=29130 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29145/stat : 29145 (java) S 29130 29132 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 255304154 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544306111496 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29146] ppid=29130 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29146/stat : 29146 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255304156 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544305059984 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29147] ppid=29130 vsize=9691540 CPUtime=0.41 cores=0,2,4,6
/proc/29132/task/29147/stat : 29147 (java) S 29130 29132 22184 0 -1 4202560 2398 0 0 0 41 0 0 0 20 0 20 0 255304156 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544304008120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29132/tid=29148] ppid=29130 vsize=9691540 CPUtime=0.73 cores=0,2,4,6
/proc/29132/task/29148/stat : 29148 (java) S 29130 29132 22184 0 -1 4202560 8802 0 0 0 73 0 0 0 20 0 20 0 255304156 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544302955320 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29132/tid=29149] ppid=29130 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29149/stat : 29149 (java) S 29130 29132 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255304156 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544301902712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29132/tid=29150] ppid=29130 vsize=9691540 CPUtime=0.48 cores=0,2,4,6
/proc/29132/task/29150/stat : 29150 (java) S 29130 29132 22184 0 -1 4202560 93 0 0 0 23 25 0 0 20 0 20 0 255304156 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544300850120 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29132/tid=29151] ppid=29130 vsize=9691540 CPUtime=0 cores=0,2,4,6
/proc/29132/task/29151/stat : 29151 (java) S 29130 29132 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 255304189 9924136960 163271 33554432000 1073741824 1073778376 140733637742816 140544299795624 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1638.53
Current children cumulated vsize (KiB) 9691540

Child status: 10
Real time (s): 1618.86
CPU time (s): 1639.07
CPU user time (s): 1637.22
CPU system time (s): 1.85072
CPU usage (%): 101.249
Max. virtual memory (cumulated for all children) (KiB): 9691540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1637.22
system time used= 1.85072
maximum resident set size= 795844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22964
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41296
involuntary context switches= 45337

runsolver used 6.86696 second user time and 17.1664 second system time

The end

Launcher Data 

Begin job on node120 at 2012-05-24 22:36:22
IDJOB=3689613
IDBENCH=90122
IDSOLVER=2269
FILE ID=node120/3689613-1337891782
RUNJOBID= node120-1337889964-28725
PBS_JOBID= 14620084
Free space on /tmp= 71632 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K97.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689613-1337891782/watcher-3689613-1337891782 -o /tmp/evaluation-result-3689613-1337891782/solver-3689613-1337891782 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689613-1337891782.opb

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

MD5SUM BENCH= 43f0e9fb1c8ca4724fdfde37689b9cda
RANDOM SEED=4891355

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28505880 kB
Buffers:          198076 kB
Cached:          3294632 kB
SwapCached:          492 kB
Active:           645000 kB
Inactive:        2953768 kB
Active(anon):      96220 kB
Inactive(anon):    12388 kB
Active(file):     548780 kB
Inactive(file):  2941380 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:              1592 kB
Writeback:             0 kB
AnonPages:        118556 kB
Mapped:            21648 kB
Shmem:               120 kB
Slab:             627476 kB
SReclaimable:      71652 kB
SUnreclaim:       555824 kB
KernelStack:        1600 kB
PageTables:         4176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node120 at 2012-05-24 23:03:21